Lines Matching defs:ConstantRangeTest
1 //===- ConstantRangeTest.cpp - ConstantRange tests ------------------------===//
22 class ConstantRangeTest : public ::testing::Test {
262 ConstantRange ConstantRangeTest::Full(16, true);
263 ConstantRange ConstantRangeTest::Empty(16, false);
264 ConstantRange ConstantRangeTest::One(APInt(16, 0xa));
265 ConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa));
266 ConstantRange ConstantRangeTest::Wrap(APInt(16, 0xaaa), APInt(16, 0xa));
268 TEST_F(ConstantRangeTest, Basics) {
318 TEST_F(ConstantRangeTest, Equality) {
336 TEST_F(ConstantRangeTest, SingleElement) {
359 TEST_F(ConstantRangeTest, GetMinsAndMaxes) {
385 TEST_F(ConstantRangeTest, SignWrapped) {
401 TEST_F(ConstantRangeTest, UpperWrapped) {
424 TEST_F(ConstantRangeTest, Trunc) {
454 TEST_F(ConstantRangeTest, ZExt) {
473 TEST_F(ConstantRangeTest, SExt) {
496 TEST_F(ConstantRangeTest, IntersectWith) {
583 TEST_F(ConstantRangeTest, IntersectWithExhaustive) {
597 TEST_F(ConstantRangeTest, UnionWithExhaustive) {
611 TEST_F(ConstantRangeTest, UnionWith) {
631 TEST_F(ConstantRangeTest, SetDifference) {
648 TEST_F(ConstantRangeTest, getActiveBits) {
659 TEST_F(ConstantRangeTest, losslessUnsignedTruncationZeroext) {
674 TEST_F(ConstantRangeTest, getMinSignedBits) {
685 TEST_F(ConstantRangeTest, losslessSignedTruncationSignext) {
699 TEST_F(ConstantRangeTest, SubtractAPInt) {
710 TEST_F(ConstantRangeTest, Add) {
738 TEST_F(ConstantRangeTest, AddWithNoWrap) {
901 TEST_F(ConstantRangeTest, Sub) {
931 TEST_F(ConstantRangeTest, SubWithNoWrap) {
973 TEST_F(ConstantRangeTest, Multiply) {
1038 TEST_F(ConstantRangeTest, MultiplyWithNoWrap) {
1145 TEST_F(ConstantRangeTest, smul_fast) {
1154 TEST_F(ConstantRangeTest, UMax) {
1181 TEST_F(ConstantRangeTest, SMax) {
1211 TEST_F(ConstantRangeTest, UMin) {
1237 TEST_F(ConstantRangeTest, SMin) {
1266 TEST_F(ConstantRangeTest, UDiv) {
1296 TEST_F(ConstantRangeTest, SDiv) {
1356 TEST_F(ConstantRangeTest, URem) {
1394 TEST_F(ConstantRangeTest, SRem) {
1469 TEST_F(ConstantRangeTest, Shl) {
1517 TEST_F(ConstantRangeTest, ShlWithNoWrap) {
1586 TEST_F(ConstantRangeTest, Lshr) {
1607 TEST_F(ConstantRangeTest, Ashr) {
2138 TEST_F(ConstantRangeTest, UnsignedAddOverflow) {
2172 TEST_F(ConstantRangeTest, UnsignedSubOverflow) {
2207 TEST_F(ConstantRangeTest, SignedAddOverflow) {
2259 TEST_F(ConstantRangeTest, SignedSubOverflow) {
2357 TEST_F(ConstantRangeTest, UnsignedAddOverflowExhaustive) {
2370 TEST_F(ConstantRangeTest, UnsignedSubOverflowExhaustive) {
2383 TEST_F(ConstantRangeTest, UnsignedMulOverflowExhaustive) {
2396 TEST_F(ConstantRangeTest, SignedAddOverflowExhaustive) {
2409 TEST_F(ConstantRangeTest, SignedSubOverflowExhaustive) {
2422 TEST_F(ConstantRangeTest, FromKnownBits) {
2452 TEST_F(ConstantRangeTest, FromKnownBitsExhaustive) {
2479 TEST_F(ConstantRangeTest, ToKnownBits) {
2496 TEST_F(ConstantRangeTest, Negative) {
2530 TEST_F(ConstantRangeTest, UAddSat) {
2541 TEST_F(ConstantRangeTest, USubSat) {
2552 TEST_F(ConstantRangeTest, UMulSat) {
2561 TEST_F(ConstantRangeTest, UShlSat) {
2570 TEST_F(ConstantRangeTest, SAddSat) {
2581 TEST_F(ConstantRangeTest, SSubSat) {
2592 TEST_F(ConstantRangeTest, SMulSat) {
2601 TEST_F(ConstantRangeTest, SShlSat) {
2610 TEST_F(ConstantRangeTest, Abs) {
2624 TEST_F(ConstantRangeTest, Ctlz) {
2638 TEST_F(ConstantRangeTest, Cttz) {
2652 TEST_F(ConstantRangeTest, Ctpop) {
2658 TEST_F(ConstantRangeTest, castOps) {
2699 TEST_F(ConstantRangeTest, binaryAnd) {
2762 TEST_F(ConstantRangeTest, binaryOr) {
2800 TEST_F(ConstantRangeTest, binaryXor) {
2831 TEST_F(ConstantRangeTest, binaryNot) {
2872 TEST_F(ConstantRangeTest, areInsensitiveToSignednessOfICmpPredicate) {
2888 TEST_F(ConstantRangeTest, areInsensitiveToSignednessOfInvertedICmpPredicate) {
2906 TEST_F(ConstantRangeTest, getEquivalentPredWithFlippedSignedness) {
2920 TEST_F(ConstantRangeTest, isSizeLargerThan) {
2931 TEST_F(ConstantRangeTest, MakeMaskNotEqualRange) {
2956 TEST_F(ConstantRangeTest, MakeMaskNotEqualRangeExhaustive) {