Searched refs:ComputedSRem (Results 1 – 1 of 1) sorted by relevance
244 KnownBits ComputedSRem = KnownBits::srem(Known1, Known2); in TEST() local245 EXPECT_TRUE(ComputedSRem.Zero.isSubsetOf(KnownSRem.Zero)); in TEST()246 EXPECT_TRUE(ComputedSRem.One.isSubsetOf(KnownSRem.One)); in TEST()