29         Known.Zero.setAllBits();  in TEST()
39               Known.Zero &= ~Add;  in TEST()
57       Known.Zero.setAllBits();  in TestAddSubExhaustive()
59       KnownNSW.Zero.setAllBits();  in TestAddSubExhaustive()
72           Known.Zero &= ~Res;  in TestAddSubExhaustive()
76             KnownNSW.Zero &= ~Res;  in TestAddSubExhaustive()
89       EXPECT_TRUE(KnownNSWComputed.Zero.isSubsetOf(KnownNSW.Zero));  in TestAddSubExhaustive()
105       KnownAnd.Zero.setAllBits();  in TEST()
129           KnownAnd.Zero &= ~Res;  in TEST()
133           KnownOr.Zero &= ~Res;  in TEST()
137           KnownXor.Zero &= ~Res;  in TEST()
141           KnownUMax.Zero &= ~Res;  in TEST()
145           KnownUMin.Zero &= ~Res;  in TEST()
149           KnownSMax.Zero &= ~Res;  in TEST()
153           KnownSMin.Zero &= ~Res;  in TEST()
157           KnownMul.Zero &= ~Res;  in TEST()
161           KnownMulHS.Zero &= ~Res;  in TEST()
165           KnownMulHU.Zero &= ~Res;  in TEST()
170             KnownUDiv.Zero &= ~Res;  in TEST()
174             KnownURem.Zero &= ~Res;  in TEST()
178             KnownSRem.Zero &= ~Res;  in TEST()
184             KnownShl.Zero &= ~Res;  in TEST()
188             KnownLShr.Zero &= ~Res;  in TEST()
192             KnownAShr.Zero &= ~Res;  in TEST()
225       EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero));  in TEST()
229       EXPECT_TRUE(ComputedMulHS.Zero.isSubsetOf(KnownMulHS.Zero));  in TEST()
233       EXPECT_TRUE(ComputedMulHU.Zero.isSubsetOf(KnownMulHU.Zero));  in TEST()
237       EXPECT_TRUE(ComputedUDiv.Zero.isSubsetOf(KnownUDiv.Zero));  in TEST()
241       EXPECT_TRUE(ComputedURem.Zero.isSubsetOf(KnownURem.Zero));  in TEST()
245       EXPECT_TRUE(ComputedSRem.Zero.isSubsetOf(KnownSRem.Zero));  in TEST()
249       EXPECT_TRUE(ComputedShl.Zero.isSubsetOf(KnownShl.Zero));  in TEST()
253       EXPECT_TRUE(ComputedLShr.Zero.isSubsetOf(KnownLShr.Zero));  in TEST()
257       EXPECT_TRUE(ComputedAShr.Zero.isSubsetOf(KnownAShr.Zero));  in TEST()
265     KnownMul.Zero.setAllBits();  in TEST()
271       KnownMul.Zero &= ~Res;  in TEST()
275     EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero));  in TEST()
284     KnownAbs.Zero.setAllBits();  in TEST()
291       KnownAbs.Zero &= ~Res;  in TEST()
295         KnownAbsPoison.Zero &= ~Res;  in TEST()
301     EXPECT_TRUE(ComputedAbs.Zero.isSubsetOf(KnownAbs.Zero));  in TEST()
305     EXPECT_TRUE(ComputedAbsPoison.Zero.isSubsetOf(KnownAbsPoison.Zero));  in TEST()
458     Res.Zero = ~Input;  in TEST()
490       EXPECT_EQ(CommonZero, KnownSExtInReg.Zero);  in TEST()