Searched refs:KnownMul (Results 1 – 1 of 1) sorted by relevance
113 KnownBits KnownMul(KnownAnd); in TEST() local156 KnownMul.One &= Res; in TEST()157 KnownMul.Zero &= ~Res; in TEST()226 EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One)); in TEST()264 KnownBits KnownMul(Bits); in TEST() local265 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()[all …]