Searched refs:KnownUDiv (Results 1 – 1 of 1) sorted by relevance
116 KnownBits KnownUDiv(KnownAnd); in TEST() local169 KnownUDiv.One &= Res; in TEST()170 KnownUDiv.Zero &= ~Res; in TEST()237 EXPECT_TRUE(ComputedUDiv.Zero.isSubsetOf(KnownUDiv.Zero)); in TEST()238 EXPECT_TRUE(ComputedUDiv.One.isSubsetOf(KnownUDiv.One)); in TEST()