Lines Matching refs:Some
27 static ConstantRange Some; member in __anon9f542f3d0111::ConstantRangeTest
248 ConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa)); member in __anon9f542f3d0111::ConstantRangeTest
282 EXPECT_FALSE(Some.isFullSet()); in TEST_F()
283 EXPECT_FALSE(Some.isEmptySet()); in TEST_F()
284 EXPECT_FALSE(Some.isWrappedSet()); in TEST_F()
285 EXPECT_FALSE(Some.contains(APInt(16, 0x0))); in TEST_F()
286 EXPECT_FALSE(Some.contains(APInt(16, 0x9))); in TEST_F()
287 EXPECT_TRUE(Some.contains(APInt(16, 0xa))); in TEST_F()
288 EXPECT_TRUE(Some.contains(APInt(16, 0xaa9))); in TEST_F()
289 EXPECT_FALSE(Some.contains(APInt(16, 0xaaa))); in TEST_F()
305 EXPECT_EQ(Some, Some); in TEST_F()
309 EXPECT_NE(Full, Some); in TEST_F()
312 EXPECT_NE(Empty, Some); in TEST_F()
314 EXPECT_NE(One, Some); in TEST_F()
316 EXPECT_NE(Some, Wrap); in TEST_F()
326 EXPECT_EQ(Some.getSingleElement(), static_cast<APInt *>(nullptr)); in TEST_F()
330 EXPECT_EQ(Some.getSingleMissingElement(), static_cast<APInt *>(nullptr)); in TEST_F()
338 EXPECT_FALSE(Some.isSingleElement()); in TEST_F()
345 EXPECT_EQ(Some.getUnsignedMax(), APInt(16, 0xaa9)); in TEST_F()
350 EXPECT_EQ(Some.getUnsignedMin(), APInt(16, 0xa)); in TEST_F()
355 EXPECT_EQ(Some.getSignedMax(), APInt(16, 0xaa9)); in TEST_F()
360 EXPECT_EQ(Some.getSignedMin(), APInt(16, 0xa)); in TEST_F()
372 EXPECT_FALSE(Some.isSignWrappedSet()); in TEST_F()
389 EXPECT_FALSE(Some.isUpperWrapped()); in TEST_F()
394 EXPECT_FALSE(Some.isUpperSignWrapped()); in TEST_F()
411 ConstantRange TSome = Some.truncate(10); in TEST_F()
441 ConstantRange ZSome = Some.zeroExtend(20); in TEST_F()
447 EXPECT_EQ(ZSome, ConstantRange(Some.getLower().zext(20), in TEST_F()
448 Some.getUpper().zext(20))); in TEST_F()
460 ConstantRange SSome = Some.signExtend(20); in TEST_F()
467 EXPECT_EQ(SSome, ConstantRange(Some.getLower().sext(20), in TEST_F()
468 Some.getUpper().sext(20))); in TEST_F()
483 EXPECT_EQ(Empty.intersectWith(Some), Empty); in TEST_F()
486 EXPECT_EQ(Some.intersectWith(Some), Some); in TEST_F()
487 EXPECT_EQ(Some.intersectWith(One), One); in TEST_F()
489 EXPECT_EQ(Full.intersectWith(Some), Some); in TEST_F()
490 EXPECT_EQ(Some.intersectWith(Wrap), Empty); in TEST_F()
600 EXPECT_EQ(Some.unionWith(Wrap), Full); in TEST_F()
687 EXPECT_EQ(Some.subtract(APInt(16, 4)), in TEST_F()
700 EXPECT_EQ(Full.add(Some), Full); in TEST_F()
704 EXPECT_EQ(Empty.add(Some), Empty); in TEST_F()
707 EXPECT_EQ(Some.add(APInt(16, 4)), 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()
728 EXPECT_NE(Full.addWithNoWrap(Some, OBO::NoSignedWrap), Full); in TEST_F()
729 EXPECT_NE(Some.addWithNoWrap(Full, OBO::NoSignedWrap), Full); 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()
789 EXPECT_NE(Full.addWithNoWrap(Some, OBO::NoUnsignedWrap), Full); in TEST_F()
790 EXPECT_NE(Some.addWithNoWrap(Full, OBO::NoUnsignedWrap), Full); in TEST_F()
888 EXPECT_EQ(Full.sub(Some), Full); in TEST_F()
892 EXPECT_EQ(Empty.sub(Some), Empty); in TEST_F()
895 EXPECT_EQ(Some.sub(APInt(16, 4)), in TEST_F()
897 EXPECT_EQ(Some.sub(Some), in TEST_F()
962 EXPECT_EQ(Full.multiply(Some), Full); in TEST_F()
966 EXPECT_EQ(Empty.multiply(Some), Empty); in TEST_F()
970 EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa), in TEST_F()
973 EXPECT_EQ(Some.multiply(Some), Full); in TEST_F()
974 EXPECT_EQ(Some.multiply(Wrap), Full); in TEST_F()
979 EXPECT_EQ(Zero.multiply(Some), Zero); in TEST_F()
982 EXPECT_EQ(Some.multiply(Zero), Zero); in TEST_F()
1020 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
1022 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
1024 EXPECT_EQ(Empty.umax(Some), Empty); in TEST_F()
1027 EXPECT_EQ(Some.umax(Some), Some); in TEST_F()
1028 EXPECT_EQ(Some.umax(Wrap), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
1029 EXPECT_EQ(Some.umax(One), Some); in TEST_F()
1047 EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa), in TEST_F()
1053 EXPECT_EQ(Empty.smax(Some), Empty); in TEST_F()
1056 EXPECT_EQ(Some.smax(Some), Some); in TEST_F()
1057 EXPECT_EQ(Some.smax(Wrap), ConstantRange(APInt(16, 0xa), in TEST_F()
1059 EXPECT_EQ(Some.smax(One), Some); in TEST_F()
1077 EXPECT_EQ(Full.umin(Some), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); in TEST_F()
1080 EXPECT_EQ(Empty.umin(Some), Empty); in TEST_F()
1083 EXPECT_EQ(Some.umin(Some), Some); in TEST_F()
1084 EXPECT_EQ(Some.umin(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); in TEST_F()
1085 EXPECT_EQ(Some.umin(One), One); in TEST_F()
1103 EXPECT_EQ(Full.smin(Some), ConstantRange(APInt(16, (uint64_t)INT16_MIN), in TEST_F()
1107 EXPECT_EQ(Empty.smin(Some), Empty); in TEST_F()
1110 EXPECT_EQ(Some.smin(Some), Some); in TEST_F()
1111 EXPECT_EQ(Some.smin(Wrap), ConstantRange(APInt(16, (uint64_t)INT16_MIN), in TEST_F()
1113 EXPECT_EQ(Some.smin(One), One); in TEST_F()
1134 EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0), in TEST_F()
1139 EXPECT_EQ(Empty.udiv(Some), Empty); in TEST_F()
1142 EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2))); in TEST_F()
1144 EXPECT_EQ(Some.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 0x111))); in TEST_F()
1145 EXPECT_EQ(Some.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); in TEST_F()
1341 EXPECT_EQ(Full.shl(Some), Full); // TODO: [0, (-1 << 0xa) + 1) in TEST_F()
1345 EXPECT_EQ(Empty.shl(Some), Empty); in TEST_F()
1349 EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0) in TEST_F()
1351 EXPECT_EQ(Some.shl(Some), Full); // TODO: [0xa << 0xa, 0xfc01) in TEST_F()
1352 EXPECT_EQ(Some.shl(Wrap), Full); // TODO: [0xa, 0x7ff << 0x5 + 1) in TEST_F()
1380 EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0), in TEST_F()
1385 EXPECT_EQ(Empty.lshr(Some), Empty); in TEST_F()
1388 EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0))); in TEST_F()
1390 EXPECT_EQ(Some.lshr(Some), ConstantRange(APInt(16, 0), in TEST_F()
1392 EXPECT_EQ(Some.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); in TEST_F()
1404 EXPECT_EQ(Full.ashr(Some), ConstantRange(APInt(16, 0xffe0), in TEST_F()
1409 EXPECT_EQ(Empty.ashr(Some), Empty); in TEST_F()
1412 EXPECT_EQ(One.ashr(Some), ConstantRange(APInt(16, 0))); in TEST_F()
1414 EXPECT_EQ(Some.ashr(Some), ConstantRange(APInt(16, 0), in TEST_F()
1416 EXPECT_EQ(Some.ashr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); 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()