Lines Matching refs:KnownMul
113 KnownBits KnownMul(KnownAnd); in TEST() local
156 KnownMul.One &= Res; in TEST()
157 KnownMul.Zero &= ~Res; in TEST()
225 EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero)); in TEST()
226 EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One)); in TEST()
264 KnownBits KnownMul(Bits); in TEST() local
265 KnownMul.Zero.setAllBits(); in TEST()
266 KnownMul.One.setAllBits(); in TEST()
270 KnownMul.One &= Res; in TEST()
271 KnownMul.Zero &= ~Res; in TEST()
275 EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero)); in TEST()
276 EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One)); in TEST()