89       EXPECT_TRUE(KnownNSWComputed.Zero.isSubsetOf(KnownNSW.Zero));  in TestAddSubExhaustive()
90       EXPECT_TRUE(KnownNSWComputed.One.isSubsetOf(KnownNSW.One));  in TestAddSubExhaustive()
225       EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero));  in TEST()
226       EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One));  in TEST()
229       EXPECT_TRUE(ComputedMulHS.Zero.isSubsetOf(KnownMulHS.Zero));  in TEST()
230       EXPECT_TRUE(ComputedMulHS.One.isSubsetOf(KnownMulHS.One));  in TEST()
233       EXPECT_TRUE(ComputedMulHU.Zero.isSubsetOf(KnownMulHU.Zero));  in TEST()
234       EXPECT_TRUE(ComputedMulHU.One.isSubsetOf(KnownMulHU.One));  in TEST()
237       EXPECT_TRUE(ComputedUDiv.Zero.isSubsetOf(KnownUDiv.Zero));  in TEST()
238       EXPECT_TRUE(ComputedUDiv.One.isSubsetOf(KnownUDiv.One));  in TEST()
241       EXPECT_TRUE(ComputedURem.Zero.isSubsetOf(KnownURem.Zero));  in TEST()
242       EXPECT_TRUE(ComputedURem.One.isSubsetOf(KnownURem.One));  in TEST()
245       EXPECT_TRUE(ComputedSRem.Zero.isSubsetOf(KnownSRem.Zero));  in TEST()
246       EXPECT_TRUE(ComputedSRem.One.isSubsetOf(KnownSRem.One));  in TEST()
249       EXPECT_TRUE(ComputedShl.Zero.isSubsetOf(KnownShl.Zero));  in TEST()
250       EXPECT_TRUE(ComputedShl.One.isSubsetOf(KnownShl.One));  in TEST()
253       EXPECT_TRUE(ComputedLShr.Zero.isSubsetOf(KnownLShr.Zero));  in TEST()
254       EXPECT_TRUE(ComputedLShr.One.isSubsetOf(KnownLShr.One));  in TEST()
257       EXPECT_TRUE(ComputedAShr.Zero.isSubsetOf(KnownAShr.Zero));  in TEST()
258       EXPECT_TRUE(ComputedAShr.One.isSubsetOf(KnownAShr.One));  in TEST()
275     EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero));  in TEST()
276     EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One));  in TEST()
301     EXPECT_TRUE(ComputedAbs.Zero.isSubsetOf(KnownAbs.Zero));  in TEST()
302     EXPECT_TRUE(ComputedAbs.One.isSubsetOf(KnownAbs.One));  in TEST()
305     EXPECT_TRUE(ComputedAbsPoison.Zero.isSubsetOf(KnownAbsPoison.Zero));  in TEST()
306     EXPECT_TRUE(ComputedAbsPoison.One.isSubsetOf(KnownAbsPoison.One));  in TEST()