Searched refs:KnownAShr (Results 1 – 1 of 1) sorted by relevance
121 KnownBits KnownAShr(KnownAnd); in TEST() local191 KnownAShr.One &= Res; in TEST()192 KnownAShr.Zero &= ~Res; in TEST()196 KnownAShr.resetAll(); in TEST()257 EXPECT_TRUE(ComputedAShr.Zero.isSubsetOf(KnownAShr.Zero)); in TEST()258 EXPECT_TRUE(ComputedAShr.One.isSubsetOf(KnownAShr.One)); in TEST()