Lines Matching refs:Full
24 static ConstantRange Full; member in __anon9f542f3d0111::ConstantRangeTest
245 ConstantRange ConstantRangeTest::Full(16, true); member in __anon9f542f3d0111::ConstantRangeTest
252 EXPECT_TRUE(Full.isFullSet()); in TEST_F()
253 EXPECT_FALSE(Full.isEmptySet()); in TEST_F()
254 EXPECT_TRUE(Full.inverse().isEmptySet()); in TEST_F()
255 EXPECT_FALSE(Full.isWrappedSet()); in TEST_F()
256 EXPECT_TRUE(Full.contains(APInt(16, 0x0))); in TEST_F()
257 EXPECT_TRUE(Full.contains(APInt(16, 0x9))); in TEST_F()
258 EXPECT_TRUE(Full.contains(APInt(16, 0xa))); in TEST_F()
259 EXPECT_TRUE(Full.contains(APInt(16, 0xaa9))); in TEST_F()
260 EXPECT_TRUE(Full.contains(APInt(16, 0xaaa))); in TEST_F()
302 EXPECT_EQ(Full, Full); in TEST_F()
307 EXPECT_NE(Full, Empty); in TEST_F()
308 EXPECT_NE(Full, One); in TEST_F()
309 EXPECT_NE(Full, Some); in TEST_F()
310 EXPECT_NE(Full, Wrap); in TEST_F()
320 EXPECT_EQ(Full.getSingleElement(), static_cast<APInt *>(nullptr)); in TEST_F()
322 EXPECT_EQ(Full.getSingleMissingElement(), static_cast<APInt *>(nullptr)); in TEST_F()
335 EXPECT_FALSE(Full.isSingleElement()); in TEST_F()
343 EXPECT_EQ(Full.getUnsignedMax(), APInt(16, UINT16_MAX)); in TEST_F()
348 EXPECT_EQ(Full.getUnsignedMin(), APInt(16, 0)); in TEST_F()
353 EXPECT_EQ(Full.getSignedMax(), APInt(16, INT16_MAX)); in TEST_F()
358 EXPECT_EQ(Full.getSignedMin(), APInt(16, (uint64_t)INT16_MIN)); in TEST_F()
369 EXPECT_FALSE(Full.isSignWrappedSet()); in TEST_F()
386 EXPECT_FALSE(Full.isUpperWrapped()); in TEST_F()
391 EXPECT_FALSE(Full.isUpperSignWrapped()); in TEST_F()
408 ConstantRange TFull = Full.truncate(10); in TEST_F()
438 ConstantRange ZFull = Full.zeroExtend(20); in TEST_F()
457 ConstantRange SFull = Full.signExtend(20); in TEST_F()
480 EXPECT_EQ(Empty.intersectWith(Full), Empty); in TEST_F()
485 EXPECT_EQ(Full.intersectWith(Full), Full); in TEST_F()
488 EXPECT_EQ(Full.intersectWith(One), One); in TEST_F()
489 EXPECT_EQ(Full.intersectWith(Some), Some); in TEST_F()
599 EXPECT_EQ(Full.unionWith(Full), Full); in TEST_F()
600 EXPECT_EQ(Some.unionWith(Wrap), Full); in TEST_F()
615 EXPECT_EQ(Full.difference(Empty), Full); in TEST_F()
616 EXPECT_EQ(Full.difference(Full), Empty); in TEST_F()
618 EXPECT_EQ(Empty.difference(Full), Empty); in TEST_F()
685 EXPECT_EQ(Full.subtract(APInt(16, 4)), Full); in TEST_F()
696 EXPECT_EQ(Full.add(APInt(16, 4)), Full); in TEST_F()
697 EXPECT_EQ(Full.add(Full), Full); in TEST_F()
698 EXPECT_EQ(Full.add(Empty), Empty); in TEST_F()
699 EXPECT_EQ(Full.add(One), Full); in TEST_F()
700 EXPECT_EQ(Full.add(Some), Full); in TEST_F()
701 EXPECT_EQ(Full.add(Wrap), Full); in TEST_F()
727 EXPECT_EQ(Full.addWithNoWrap(Full, OBO::NoSignedWrap), Full); 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()
730 EXPECT_EQ(Full.addWithNoWrap(ConstantRange(APInt(16, 1), APInt(16, 2)), in TEST_F()
734 .addWithNoWrap(Full, OBO::NoSignedWrap), in TEST_F()
736 EXPECT_EQ(Full.addWithNoWrap(ConstantRange(APInt(16, -1), APInt(16, 0)), in TEST_F()
788 EXPECT_EQ(Full.addWithNoWrap(Full, OBO::NoUnsignedWrap), Full); 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()
791 EXPECT_EQ(Full.addWithNoWrap(ConstantRange(APInt(16, 1), APInt(16, 2)), in TEST_F()
795 .addWithNoWrap(Full, OBO::NoUnsignedWrap), in TEST_F()
884 EXPECT_EQ(Full.sub(APInt(16, 4)), Full); in TEST_F()
885 EXPECT_EQ(Full.sub(Full), Full); in TEST_F()
886 EXPECT_EQ(Full.sub(Empty), Empty); in TEST_F()
887 EXPECT_EQ(Full.sub(One), Full); in TEST_F()
888 EXPECT_EQ(Full.sub(Some), Full); in TEST_F()
889 EXPECT_EQ(Full.sub(Wrap), Full); in TEST_F()
959 EXPECT_EQ(Full.multiply(Full), Full); in TEST_F()
960 EXPECT_EQ(Full.multiply(Empty), Empty); in TEST_F()
961 EXPECT_EQ(Full.multiply(One), Full); in TEST_F()
962 EXPECT_EQ(Full.multiply(Some), Full); in TEST_F()
963 EXPECT_EQ(Full.multiply(Wrap), Full); in TEST_F()
972 EXPECT_EQ(One.multiply(Wrap), Full); in TEST_F()
973 EXPECT_EQ(Some.multiply(Some), Full); in TEST_F()
974 EXPECT_EQ(Some.multiply(Wrap), Full); in TEST_F()
975 EXPECT_EQ(Wrap.multiply(Wrap), Full); in TEST_F()
978 EXPECT_EQ(Zero.multiply(Full), Zero); in TEST_F()
981 EXPECT_EQ(Full.multiply(Zero), Zero); in TEST_F()
1018 EXPECT_EQ(Full.umax(Full), Full); in TEST_F()
1019 EXPECT_EQ(Full.umax(Empty), Empty); in TEST_F()
1020 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
1021 EXPECT_EQ(Full.umax(Wrap), Full); in TEST_F()
1022 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
1045 EXPECT_EQ(Full.smax(Full), Full); in TEST_F()
1046 EXPECT_EQ(Full.smax(Empty), Empty); in TEST_F()
1047 EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa), in TEST_F()
1049 EXPECT_EQ(Full.smax(Wrap), Full); in TEST_F()
1050 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa), in TEST_F()
1075 EXPECT_EQ(Full.umin(Full), Full); in TEST_F()
1076 EXPECT_EQ(Full.umin(Empty), Empty); in TEST_F()
1077 EXPECT_EQ(Full.umin(Some), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); in TEST_F()
1078 EXPECT_EQ(Full.umin(Wrap), Full); in TEST_F()
1101 EXPECT_EQ(Full.smin(Full), Full); in TEST_F()
1102 EXPECT_EQ(Full.smin(Empty), Empty); in TEST_F()
1103 EXPECT_EQ(Full.smin(Some), ConstantRange(APInt(16, (uint64_t)INT16_MIN), in TEST_F()
1105 EXPECT_EQ(Full.smin(Wrap), Full); in TEST_F()
1130 EXPECT_EQ(Full.udiv(Full), Full); in TEST_F()
1131 EXPECT_EQ(Full.udiv(Empty), Empty); in TEST_F()
1132 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0), in TEST_F()
1134 EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0), in TEST_F()
1136 EXPECT_EQ(Full.udiv(Wrap), Full); in TEST_F()
1146 EXPECT_EQ(Wrap.udiv(Wrap), Full); in TEST_F()
1151 EXPECT_EQ(Zero.udiv(Full), Zero); in TEST_F()
1153 EXPECT_EQ(ConstantRange(APInt(16, 0), APInt(16, 99)).udiv(Full), in TEST_F()
1155 EXPECT_EQ(ConstantRange(APInt(16, 10), APInt(16, 99)).udiv(Full), 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()
1225 EXPECT_EQ(Full.urem(Full), ConstantRange(APInt(16, 0), APInt(16, 0xffff))); in TEST_F()
1227 EXPECT_EQ(Full.urem(ConstantRange(APInt(16, 0), APInt(16, 123))), in TEST_F()
1230 EXPECT_EQ(ConstantRange(APInt(16, 0), APInt(16, 123)).urem(Full), 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()
1264 EXPECT_EQ(Full.srem(Full), ConstantRange(APInt::getSignedMinValue(16) + 1, in TEST_F()
1337 EXPECT_EQ(Full.shl(Full), Full); in TEST_F()
1338 EXPECT_EQ(Full.shl(Empty), Empty); in TEST_F()
1339 EXPECT_EQ(Full.shl(One), ConstantRange(APInt(16, 0), in TEST_F()
1341 EXPECT_EQ(Full.shl(Some), Full); // TODO: [0, (-1 << 0xa) + 1) in TEST_F()
1342 EXPECT_EQ(Full.shl(Wrap), Full); in TEST_F()
1349 EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0) in TEST_F()
1350 EXPECT_EQ(One.shl(Wrap), Full); // TODO: [0xa, 0xa << 14 + 1) 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()
1353 EXPECT_EQ(Wrap.shl(Wrap), Full); in TEST_F()
1357 EXPECT_EQ(One.shl(WrapNullMax), Full); in TEST_F()
1376 EXPECT_EQ(Full.lshr(Full), Full); in TEST_F()
1377 EXPECT_EQ(Full.lshr(Empty), Empty); in TEST_F()
1378 EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0), in TEST_F()
1380 EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0), in TEST_F()
1382 EXPECT_EQ(Full.lshr(Wrap), Full); in TEST_F()
1393 EXPECT_EQ(Wrap.lshr(Wrap), Full); in TEST_F()
1397 EXPECT_EQ(Full.ashr(Full), Full); in TEST_F()
1398 EXPECT_EQ(Full.ashr(Empty), Empty); in TEST_F()
1399 EXPECT_EQ(Full.ashr(One), ConstantRange(APInt(16, 0xffe0), in TEST_F()
1402 EXPECT_EQ(Full.ashr(Small), ConstantRange(APInt(16, 0xffe0), in TEST_F()
1404 EXPECT_EQ(Full.ashr(Some), ConstantRange(APInt(16, 0xffe0), in TEST_F()
1406 EXPECT_EQ(Full.ashr(Wrap), Full); in TEST_F()
1417 EXPECT_EQ(Wrap.ashr(Wrap), Full); in TEST_F()
1932 EXPECT_NEVER_OVERFLOWS(Full.unsignedAddMayOverflow(Zero)); in TEST_F()
1934 EXPECT_NEVER_OVERFLOWS(Zero.unsignedAddMayOverflow(Full)); in TEST_F()
1938 EXPECT_MAY_OVERFLOW(Full.unsignedAddMayOverflow(One)); in TEST_F()
1940 EXPECT_MAY_OVERFLOW(One.unsignedAddMayOverflow(Full)); in TEST_F()
1967 EXPECT_NEVER_OVERFLOWS(Full.unsignedSubMayOverflow(Zero)); in TEST_F()
1969 EXPECT_NEVER_OVERFLOWS(Max.unsignedSubMayOverflow(Full)); in TEST_F()
1973 EXPECT_MAY_OVERFLOW(Full.unsignedSubMayOverflow(One)); in TEST_F()
1975 EXPECT_MAY_OVERFLOW(One.unsignedSubMayOverflow(Full)); in TEST_F()
2001 EXPECT_NEVER_OVERFLOWS(Full.signedAddMayOverflow(Zero)); in TEST_F()
2003 EXPECT_NEVER_OVERFLOWS(Zero.signedAddMayOverflow(Full)); in TEST_F()
2007 EXPECT_MAY_OVERFLOW(Full.signedAddMayOverflow(One)); in TEST_F()
2009 EXPECT_MAY_OVERFLOW(One.signedAddMayOverflow(Full)); in TEST_F()
2053 EXPECT_NEVER_OVERFLOWS(Full.signedSubMayOverflow(Zero)); in TEST_F()
2057 EXPECT_MAY_OVERFLOW(Full.signedSubMayOverflow(One)); in TEST_F()
2059 EXPECT_MAY_OVERFLOW(One.signedSubMayOverflow(Full)); in TEST_F()
2212 EXPECT_EQ(Full, ConstantRange::fromKnownBits(Unknown, /*signed*/false)); in TEST_F()
2213 EXPECT_EQ(Full, ConstantRange::fromKnownBits(Unknown, /*signed*/true)); in TEST_F()
2291 EXPECT_FALSE(Full.isAllNegative()); in TEST_F()
2292 EXPECT_FALSE(Full.isAllNonNegative()); in TEST_F()
2617 EXPECT_TRUE(Full.isSizeLargerThan(0)); in TEST_F()
2618 EXPECT_TRUE(Full.isSizeLargerThan(65535)); in TEST_F()
2619 EXPECT_FALSE(Full.isSizeLargerThan(65536)); in TEST_F()