30         Known.One.setAllBits();  in TEST()
38               Known.One &= Add;  in TEST()
58       Known.One.setAllBits();  in TestAddSubExhaustive()
60       KnownNSW.One.setAllBits();  in TestAddSubExhaustive()
71           Known.One &= Res;  in TestAddSubExhaustive()
75             KnownNSW.One &= Res;  in TestAddSubExhaustive()
90       EXPECT_TRUE(KnownNSWComputed.One.isSubsetOf(KnownNSW.One));  in TestAddSubExhaustive()
106       KnownAnd.One.setAllBits();  in TEST()
128           KnownAnd.One &= Res;  in TEST()
132           KnownOr.One &= Res;  in TEST()
136           KnownXor.One &= Res;  in TEST()
140           KnownUMax.One &= Res;  in TEST()
144           KnownUMin.One &= Res;  in TEST()
148           KnownSMax.One &= Res;  in TEST()
152           KnownSMin.One &= Res;  in TEST()
156           KnownMul.One &= Res;  in TEST()
160           KnownMulHS.One &= Res;  in TEST()
164           KnownMulHU.One &= Res;  in TEST()
169             KnownUDiv.One &= Res;  in TEST()
173             KnownURem.One &= Res;  in TEST()
177             KnownSRem.One &= Res;  in TEST()
183             KnownShl.One &= Res;  in TEST()
187             KnownLShr.One &= Res;  in TEST()
191             KnownAShr.One &= Res;  in TEST()
226       EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One));  in TEST()
230       EXPECT_TRUE(ComputedMulHS.One.isSubsetOf(KnownMulHS.One));  in TEST()
234       EXPECT_TRUE(ComputedMulHU.One.isSubsetOf(KnownMulHU.One));  in TEST()
238       EXPECT_TRUE(ComputedUDiv.One.isSubsetOf(KnownUDiv.One));  in TEST()
242       EXPECT_TRUE(ComputedURem.One.isSubsetOf(KnownURem.One));  in TEST()
246       EXPECT_TRUE(ComputedSRem.One.isSubsetOf(KnownSRem.One));  in TEST()
250       EXPECT_TRUE(ComputedShl.One.isSubsetOf(KnownShl.One));  in TEST()
254       EXPECT_TRUE(ComputedLShr.One.isSubsetOf(KnownLShr.One));  in TEST()
258       EXPECT_TRUE(ComputedAShr.One.isSubsetOf(KnownAShr.One));  in TEST()
266     KnownMul.One.setAllBits();  in TEST()
270       KnownMul.One &= Res;  in TEST()
276     EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One));  in TEST()
285     KnownAbs.One.setAllBits();  in TEST()
290       KnownAbs.One &= Res;  in TEST()
294         KnownAbsPoison.One &= Res;  in TEST()
302     EXPECT_TRUE(ComputedAbs.One.isSubsetOf(KnownAbs.One));  in TEST()
306     EXPECT_TRUE(ComputedAbsPoison.One.isSubsetOf(KnownAbsPoison.One));  in TEST()
457     Res.One = Input;  in TEST()
489       EXPECT_EQ(CommonOne, KnownSExtInReg.One);  in TEST()