Lines Matching refs:ConstantRangeTest
22 class ConstantRangeTest : public ::testing::Test { class
245 ConstantRange ConstantRangeTest::Full(16, true);
246 ConstantRange ConstantRangeTest::Empty(16, false);
247 ConstantRange ConstantRangeTest::One(APInt(16, 0xa));
248 ConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa));
249 ConstantRange ConstantRangeTest::Wrap(APInt(16, 0xaaa), APInt(16, 0xa));
251 TEST_F(ConstantRangeTest, Basics) { in TEST_F() argument
301 TEST_F(ConstantRangeTest, Equality) { in TEST_F() argument
319 TEST_F(ConstantRangeTest, SingleElement) { in TEST_F() argument
342 TEST_F(ConstantRangeTest, GetMinsAndMaxes) { in TEST_F() argument
368 TEST_F(ConstantRangeTest, SignWrapped) { in TEST_F() argument
384 TEST_F(ConstantRangeTest, UpperWrapped) { in TEST_F() argument
407 TEST_F(ConstantRangeTest, Trunc) { in TEST_F() argument
437 TEST_F(ConstantRangeTest, ZExt) { in TEST_F() argument
456 TEST_F(ConstantRangeTest, SExt) { in TEST_F() argument
479 TEST_F(ConstantRangeTest, IntersectWith) { in TEST_F() argument
566 TEST_F(ConstantRangeTest, IntersectWithExhaustive) { in TEST_F() argument
580 TEST_F(ConstantRangeTest, UnionWithExhaustive) { in TEST_F() argument
594 TEST_F(ConstantRangeTest, UnionWith) { in TEST_F() argument
614 TEST_F(ConstantRangeTest, SetDifference) { in TEST_F() argument
631 TEST_F(ConstantRangeTest, getActiveBits) { in TEST_F() argument
643 TEST_F(ConstantRangeTest, losslessUnsignedTruncationZeroext) { in TEST_F() argument
658 TEST_F(ConstantRangeTest, getMinSignedBits) { in TEST_F() argument
670 TEST_F(ConstantRangeTest, losslessSignedTruncationSignext) { in TEST_F() argument
684 TEST_F(ConstantRangeTest, SubtractAPInt) { in TEST_F() argument
695 TEST_F(ConstantRangeTest, Add) { in TEST_F() argument
723 TEST_F(ConstantRangeTest, AddWithNoWrap) { in TEST_F() argument
883 TEST_F(ConstantRangeTest, Sub) { in TEST_F() argument
913 TEST_F(ConstantRangeTest, SubWithNoWrap) { in TEST_F() argument
958 TEST_F(ConstantRangeTest, Multiply) { in TEST_F() argument
1003 TEST_F(ConstantRangeTest, smul_fast) { in TEST_F() argument
1017 TEST_F(ConstantRangeTest, UMax) { in TEST_F() argument
1044 TEST_F(ConstantRangeTest, SMax) { in TEST_F() argument
1074 TEST_F(ConstantRangeTest, UMin) { in TEST_F() argument
1100 TEST_F(ConstantRangeTest, SMin) { in TEST_F() argument
1129 TEST_F(ConstantRangeTest, UDiv) { in TEST_F() argument
1159 TEST_F(ConstantRangeTest, SDiv) { in TEST_F() argument
1219 TEST_F(ConstantRangeTest, URem) { in TEST_F() argument
1258 TEST_F(ConstantRangeTest, SRem) { in TEST_F() argument
1334 TEST_F(ConstantRangeTest, Shl) { in TEST_F() argument
1375 TEST_F(ConstantRangeTest, Lshr) { in TEST_F() argument
1396 TEST_F(ConstantRangeTest, Ashr) { in TEST_F() argument
1925 TEST_F(ConstantRangeTest, UnsignedAddOverflow) { in TEST_F() argument
1959 TEST_F(ConstantRangeTest, UnsignedSubOverflow) { in TEST_F() argument
1994 TEST_F(ConstantRangeTest, SignedAddOverflow) { in TEST_F() argument
2046 TEST_F(ConstantRangeTest, SignedSubOverflow) { in TEST_F() argument
2145 TEST_F(ConstantRangeTest, UnsignedAddOverflowExhaustive) { in TEST_F() argument
2158 TEST_F(ConstantRangeTest, UnsignedSubOverflowExhaustive) { in TEST_F() argument
2171 TEST_F(ConstantRangeTest, UnsignedMulOverflowExhaustive) { in TEST_F() argument
2184 TEST_F(ConstantRangeTest, SignedAddOverflowExhaustive) { in TEST_F() argument
2197 TEST_F(ConstantRangeTest, SignedSubOverflowExhaustive) { in TEST_F() argument
2210 TEST_F(ConstantRangeTest, FromKnownBits) { in TEST_F() argument
2240 TEST_F(ConstantRangeTest, FromKnownBitsExhaustive) { in TEST_F() argument
2267 TEST_F(ConstantRangeTest, ToKnownBits) { in TEST_F() argument
2285 TEST_F(ConstantRangeTest, Negative) { in TEST_F() argument
2312 TEST_F(ConstantRangeTest, UAddSat) { in TEST_F() argument
2323 TEST_F(ConstantRangeTest, USubSat) { in TEST_F() argument
2334 TEST_F(ConstantRangeTest, UMulSat) { in TEST_F() argument
2343 TEST_F(ConstantRangeTest, UShlSat) { in TEST_F() argument
2352 TEST_F(ConstantRangeTest, SAddSat) { in TEST_F() argument
2363 TEST_F(ConstantRangeTest, SSubSat) { in TEST_F() argument
2374 TEST_F(ConstantRangeTest, SMulSat) { in TEST_F() argument
2383 TEST_F(ConstantRangeTest, SShlSat) { in TEST_F() argument
2392 TEST_F(ConstantRangeTest, Abs) { in TEST_F() argument
2406 TEST_F(ConstantRangeTest, castOps) { in TEST_F() argument
2429 TEST_F(ConstantRangeTest, binaryAnd) { in TEST_F() argument
2461 TEST_F(ConstantRangeTest, binaryOr) { in TEST_F() argument
2499 TEST_F(ConstantRangeTest, binaryXor) { in TEST_F() argument
2524 TEST_F(ConstantRangeTest, binaryNot) { in TEST_F() argument
2566 TEST_F(ConstantRangeTest, areInsensitiveToSignednessOfICmpPredicate) { in TEST_F() argument
2582 TEST_F(ConstantRangeTest, areInsensitiveToSignednessOfInvertedICmpPredicate) { in TEST_F() argument
2600 TEST_F(ConstantRangeTest, getEquivalentPredWithFlippedSignedness) { in TEST_F() argument
2614 TEST_F(ConstantRangeTest, isSizeLargerThan) { in TEST_F() argument