Lines Matching refs:Empty
25 static ConstantRange Empty; member in __anon9f542f3d0111::ConstantRangeTest
246 ConstantRange ConstantRangeTest::Empty(16, false); member in __anon9f542f3d0111::ConstantRangeTest
262 EXPECT_FALSE(Empty.isFullSet()); in TEST_F()
263 EXPECT_TRUE(Empty.isEmptySet()); in TEST_F()
264 EXPECT_TRUE(Empty.inverse().isFullSet()); in TEST_F()
265 EXPECT_FALSE(Empty.isWrappedSet()); in TEST_F()
266 EXPECT_FALSE(Empty.contains(APInt(16, 0x0))); in TEST_F()
267 EXPECT_FALSE(Empty.contains(APInt(16, 0x9))); in TEST_F()
268 EXPECT_FALSE(Empty.contains(APInt(16, 0xa))); in TEST_F()
269 EXPECT_FALSE(Empty.contains(APInt(16, 0xaa9))); in TEST_F()
270 EXPECT_FALSE(Empty.contains(APInt(16, 0xaaa))); in TEST_F()
303 EXPECT_EQ(Empty, Empty); in TEST_F()
307 EXPECT_NE(Full, Empty); in TEST_F()
311 EXPECT_NE(Empty, One); in TEST_F()
312 EXPECT_NE(Empty, Some); in TEST_F()
313 EXPECT_NE(Empty, Wrap); in TEST_F()
321 EXPECT_EQ(Empty.getSingleElement(), static_cast<APInt *>(nullptr)); in TEST_F()
323 EXPECT_EQ(Empty.getSingleMissingElement(), static_cast<APInt *>(nullptr)); in TEST_F()
336 EXPECT_FALSE(Empty.isSingleElement()); in TEST_F()
370 EXPECT_FALSE(Empty.isSignWrappedSet()); in TEST_F()
387 EXPECT_FALSE(Empty.isUpperWrapped()); in TEST_F()
392 EXPECT_FALSE(Empty.isUpperSignWrapped()); in TEST_F()
409 ConstantRange TEmpty = Empty.truncate(10); in TEST_F()
439 ConstantRange ZEmpty = Empty.zeroExtend(20); in TEST_F()
458 ConstantRange SEmpty = Empty.signExtend(20); in TEST_F()
480 EXPECT_EQ(Empty.intersectWith(Full), Empty); in TEST_F()
481 EXPECT_EQ(Empty.intersectWith(Empty), Empty); in TEST_F()
482 EXPECT_EQ(Empty.intersectWith(One), Empty); in TEST_F()
483 EXPECT_EQ(Empty.intersectWith(Some), Empty); in TEST_F()
484 EXPECT_EQ(Empty.intersectWith(Wrap), Empty); in TEST_F()
490 EXPECT_EQ(Some.intersectWith(Wrap), Empty); in TEST_F()
491 EXPECT_EQ(One.intersectWith(Wrap), Empty); in TEST_F()
598 EXPECT_EQ(Empty.unionWith(Empty), Empty); in TEST_F()
615 EXPECT_EQ(Full.difference(Empty), Full); in TEST_F()
616 EXPECT_EQ(Full.difference(Full), Empty); in TEST_F()
617 EXPECT_EQ(Empty.difference(Empty), Empty); in TEST_F()
618 EXPECT_EQ(Empty.difference(Full), Empty); in TEST_F()
686 EXPECT_EQ(Empty.subtract(APInt(16, 4)), Empty); in TEST_F()
698 EXPECT_EQ(Full.add(Empty), Empty); in TEST_F()
702 EXPECT_EQ(Empty.add(Empty), Empty); in TEST_F()
703 EXPECT_EQ(Empty.add(One), Empty); in TEST_F()
704 EXPECT_EQ(Empty.add(Some), Empty); in TEST_F()
705 EXPECT_EQ(Empty.add(Wrap), Empty); in TEST_F()
706 EXPECT_EQ(Empty.add(APInt(16, 4)), Empty); in TEST_F()
725 EXPECT_EQ(Empty.addWithNoWrap(Some, OBO::NoSignedWrap), Empty); in TEST_F()
726 EXPECT_EQ(Some.addWithNoWrap(Empty, OBO::NoSignedWrap), Empty); in TEST_F()
786 EXPECT_EQ(Empty.addWithNoWrap(Some, OBO::NoUnsignedWrap), Empty); in TEST_F()
787 EXPECT_EQ(Some.addWithNoWrap(Empty, OBO::NoUnsignedWrap), Empty); in TEST_F()
886 EXPECT_EQ(Full.sub(Empty), Empty); in TEST_F()
890 EXPECT_EQ(Empty.sub(Empty), Empty); in TEST_F()
891 EXPECT_EQ(Empty.sub(One), Empty); in TEST_F()
892 EXPECT_EQ(Empty.sub(Some), Empty); in TEST_F()
893 EXPECT_EQ(Empty.sub(Wrap), Empty); in TEST_F()
894 EXPECT_EQ(Empty.sub(APInt(16, 4)), Empty); in TEST_F()
960 EXPECT_EQ(Full.multiply(Empty), Empty); in TEST_F()
964 EXPECT_EQ(Empty.multiply(Empty), Empty); in TEST_F()
965 EXPECT_EQ(Empty.multiply(One), Empty); in TEST_F()
966 EXPECT_EQ(Empty.multiply(Some), Empty); in TEST_F()
967 EXPECT_EQ(Empty.multiply(Wrap), Empty); in TEST_F()
1019 EXPECT_EQ(Full.umax(Empty), Empty); in TEST_F()
1023 EXPECT_EQ(Empty.umax(Empty), Empty); in TEST_F()
1024 EXPECT_EQ(Empty.umax(Some), Empty); in TEST_F()
1025 EXPECT_EQ(Empty.umax(Wrap), Empty); in TEST_F()
1026 EXPECT_EQ(Empty.umax(One), Empty); in TEST_F()
1046 EXPECT_EQ(Full.smax(Empty), Empty); in TEST_F()
1052 EXPECT_EQ(Empty.smax(Empty), Empty); in TEST_F()
1053 EXPECT_EQ(Empty.smax(Some), Empty); in TEST_F()
1054 EXPECT_EQ(Empty.smax(Wrap), Empty); in TEST_F()
1055 EXPECT_EQ(Empty.smax(One), Empty); in TEST_F()
1076 EXPECT_EQ(Full.umin(Empty), Empty); in TEST_F()
1079 EXPECT_EQ(Empty.umin(Empty), Empty); in TEST_F()
1080 EXPECT_EQ(Empty.umin(Some), Empty); in TEST_F()
1081 EXPECT_EQ(Empty.umin(Wrap), Empty); in TEST_F()
1082 EXPECT_EQ(Empty.umin(One), Empty); in TEST_F()
1102 EXPECT_EQ(Full.smin(Empty), Empty); in TEST_F()
1106 EXPECT_EQ(Empty.smin(Empty), Empty); in TEST_F()
1107 EXPECT_EQ(Empty.smin(Some), Empty); in TEST_F()
1108 EXPECT_EQ(Empty.smin(Wrap), Empty); in TEST_F()
1109 EXPECT_EQ(Empty.smin(One), Empty); in TEST_F()
1131 EXPECT_EQ(Full.udiv(Empty), Empty); in TEST_F()
1137 EXPECT_EQ(Empty.udiv(Empty), Empty); in TEST_F()
1138 EXPECT_EQ(Empty.udiv(One), Empty); in TEST_F()
1139 EXPECT_EQ(Empty.udiv(Some), Empty); in TEST_F()
1140 EXPECT_EQ(Empty.udiv(Wrap), Empty); in TEST_F()
1220 EXPECT_EQ(Full.urem(Empty), Empty); in TEST_F()
1221 EXPECT_EQ(Empty.urem(Full), Empty); in TEST_F()
1223 EXPECT_EQ(Full.urem(ConstantRange(APInt(16, 0))), Empty); in TEST_F()
1259 EXPECT_EQ(Full.srem(Empty), Empty); in TEST_F()
1260 EXPECT_EQ(Empty.srem(Full), Empty); in TEST_F()
1262 EXPECT_EQ(Full.srem(ConstantRange(APInt(16, 0))), Empty); in TEST_F()
1338 EXPECT_EQ(Full.shl(Empty), Empty); in TEST_F()
1343 EXPECT_EQ(Empty.shl(Empty), Empty); in TEST_F()
1344 EXPECT_EQ(Empty.shl(One), Empty); in TEST_F()
1345 EXPECT_EQ(Empty.shl(Some), Empty); in TEST_F()
1346 EXPECT_EQ(Empty.shl(Wrap), Empty); in TEST_F()
1377 EXPECT_EQ(Full.lshr(Empty), Empty); in TEST_F()
1383 EXPECT_EQ(Empty.lshr(Empty), Empty); in TEST_F()
1384 EXPECT_EQ(Empty.lshr(One), Empty); in TEST_F()
1385 EXPECT_EQ(Empty.lshr(Some), Empty); in TEST_F()
1386 EXPECT_EQ(Empty.lshr(Wrap), Empty); in TEST_F()
1398 EXPECT_EQ(Full.ashr(Empty), Empty); in TEST_F()
1407 EXPECT_EQ(Empty.ashr(Empty), Empty); in TEST_F()
1408 EXPECT_EQ(Empty.ashr(One), Empty); in TEST_F()
1409 EXPECT_EQ(Empty.ashr(Some), Empty); in TEST_F()
1410 EXPECT_EQ(Empty.ashr(Wrap), Empty); in TEST_F()
1927 EXPECT_MAY_OVERFLOW(Some.unsignedAddMayOverflow(Empty)); in TEST_F()
1928 EXPECT_MAY_OVERFLOW(Empty.unsignedAddMayOverflow(Some)); in TEST_F()
1961 EXPECT_MAY_OVERFLOW(Some.unsignedSubMayOverflow(Empty)); in TEST_F()
1962 EXPECT_MAY_OVERFLOW(Empty.unsignedSubMayOverflow(Some)); in TEST_F()
1996 EXPECT_MAY_OVERFLOW(Some.signedAddMayOverflow(Empty)); in TEST_F()
1997 EXPECT_MAY_OVERFLOW(Empty.signedAddMayOverflow(Some)); in TEST_F()
2048 EXPECT_MAY_OVERFLOW(Some.signedSubMayOverflow(Empty)); in TEST_F()
2049 EXPECT_MAY_OVERFLOW(Empty.signedSubMayOverflow(Some)); in TEST_F()
2289 EXPECT_TRUE(Empty.isAllNegative()); in TEST_F()
2290 EXPECT_TRUE(Empty.isAllNonNegative()); in TEST_F()
2615 EXPECT_FALSE(Empty.isSizeLargerThan(0)); in TEST_F()