91       EXPECT_TRUE(KnownNSWComputed.Zero.isSubsetOf(KnownNSW.Zero));  in TestAddSubExhaustive()
92       EXPECT_TRUE(KnownNSWComputed.One.isSubsetOf(KnownNSW.One));  in TestAddSubExhaustive()
224       EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero));  in TEST()
225       EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One));  in TEST()
228       EXPECT_TRUE(ComputedUDiv.Zero.isSubsetOf(KnownUDiv.Zero));  in TEST()
229       EXPECT_TRUE(ComputedUDiv.One.isSubsetOf(KnownUDiv.One));  in TEST()
232       EXPECT_TRUE(ComputedURem.Zero.isSubsetOf(KnownURem.Zero));  in TEST()
233       EXPECT_TRUE(ComputedURem.One.isSubsetOf(KnownURem.One));  in TEST()
236       EXPECT_TRUE(ComputedSRem.Zero.isSubsetOf(KnownSRem.Zero));  in TEST()
237       EXPECT_TRUE(ComputedSRem.One.isSubsetOf(KnownSRem.One));  in TEST()
240       EXPECT_TRUE(ComputedShl.Zero.isSubsetOf(KnownShl.Zero));  in TEST()
241       EXPECT_TRUE(ComputedShl.One.isSubsetOf(KnownShl.One));  in TEST()
244       EXPECT_TRUE(ComputedLShr.Zero.isSubsetOf(KnownLShr.Zero));  in TEST()
245       EXPECT_TRUE(ComputedLShr.One.isSubsetOf(KnownLShr.One));  in TEST()
248       EXPECT_TRUE(ComputedAShr.Zero.isSubsetOf(KnownAShr.Zero));  in TEST()
249       EXPECT_TRUE(ComputedAShr.One.isSubsetOf(KnownAShr.One));  in TEST()
275     EXPECT_TRUE(ComputedAbs.Zero.isSubsetOf(KnownAbs.Zero));  in TEST()
276     EXPECT_TRUE(ComputedAbs.One.isSubsetOf(KnownAbs.One));  in TEST()
279     EXPECT_TRUE(ComputedAbsPoison.Zero.isSubsetOf(KnownAbsPoison.Zero));  in TEST()
280     EXPECT_TRUE(ComputedAbsPoison.One.isSubsetOf(KnownAbsPoison.One));  in TEST()