Cross Reference: /external/llvm/unittests/Support/ConstantRangeTest.cpp

Lines Matching defs:Some
24   static ConstantRange Some;
31 ConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa));
65   EXPECT_FALSE(Some.isFullSet());
66   EXPECT_FALSE(Some.isEmptySet());
67   EXPECT_FALSE(Some.isWrappedSet());
68   EXPECT_FALSE(Some.contains(APInt(16, 0x0)));
69   EXPECT_FALSE(Some.contains(APInt(16, 0x9)));
70   EXPECT_TRUE(Some.contains(APInt(16, 0xa)));
71   EXPECT_TRUE(Some.contains(APInt(16, 0xaa9)));
72   EXPECT_FALSE(Some.contains(APInt(16, 0xaaa)));
88   EXPECT_EQ(Some, Some);
92   EXPECT_NE(Full, Some);
95   EXPECT_NE(Empty, Some);
97   EXPECT_NE(One, Some);
99   EXPECT_NE(Some, Wrap);
106   EXPECT_EQ(Some.getSingleElement(), static_cast<APInt *>(NULL));
112   EXPECT_FALSE(Some.isSingleElement());
120   EXPECT_EQ(Some.getSetSize(), APInt(17, 0xaa0));
131   EXPECT_EQ(Some.getUnsignedMax(), APInt(16, 0xaa9));
136   EXPECT_EQ(Some.getUnsignedMin(), APInt(16, 0xa));
141   EXPECT_EQ(Some.getSignedMax(), APInt(16, 0xaa9));
146   EXPECT_EQ(Some.getSignedMin(), APInt(16, 0xa));
158   EXPECT_FALSE(Some.isSignWrappedSet());
174   ConstantRange TSome = Some.truncate(10);
187   ConstantRange ZSome = Some.zeroExtend(20);
193   EXPECT_EQ(ZSome, ConstantRange(Some.getLower().zext(20),
194                                  Some.getUpper().zext(20)));
206   ConstantRange SSome = Some.signExtend(20);
213   EXPECT_EQ(SSome, ConstantRange(Some.getLower().sext(20),
214                                  Some.getUpper().sext(20)));
226   EXPECT_EQ(Empty.intersectWith(Some), Empty);
229   EXPECT_EQ(Some.intersectWith(Some), Some);
230   EXPECT_EQ(Some.intersectWith(One), One);
232   EXPECT_EQ(Full.intersectWith(Some), Some);
233   EXPECT_EQ(Some.intersectWith(Wrap), Empty);
286   EXPECT_EQ(Some.unionWith(Wrap), Full);
320   EXPECT_EQ(Some.subtract(APInt(16, 4)),
333   EXPECT_EQ(Full.add(Some), Full);
337   EXPECT_EQ(Empty.add(Some), Empty);
340   EXPECT_EQ(Some.add(APInt(16, 4)),
353   EXPECT_EQ(Full.sub(Some), Full);
357   EXPECT_EQ(Empty.sub(Some), Empty);
360   EXPECT_EQ(Some.sub(APInt(16, 4)),
362   EXPECT_EQ(Some.sub(Some),
374   EXPECT_EQ(Full.multiply(Some), Full);
378   EXPECT_EQ(Empty.multiply(Some), Empty);
382   EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa),
385   EXPECT_EQ(Some.multiply(Some), Full);
386   EXPECT_EQ(Some.multiply(Wrap), Full);
391   EXPECT_EQ(Zero.multiply(Some), Zero);
394   EXPECT_EQ(Some.multiply(Zero), Zero);
406   EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
408   EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
410   EXPECT_EQ(Empty.umax(Some), Empty);
413   EXPECT_EQ(Some.umax(Some), Some);
414   EXPECT_EQ(Some.umax(Wrap), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
415   EXPECT_EQ(Some.umax(One), Some);
425   EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa),
431   EXPECT_EQ(Empty.smax(Some), Empty);
434   EXPECT_EQ(Some.smax(Some), Some);
435   EXPECT_EQ(Some.smax(Wrap), ConstantRange(APInt(16, 0xa),
437   EXPECT_EQ(Some.smax(One), Some);
448   EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0),
453   EXPECT_EQ(Empty.udiv(Some), Empty);
456   EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2)));
458   EXPECT_EQ(Some.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 0x111)));
459   EXPECT_EQ(Some.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
467   EXPECT_EQ(Full.shl(Some), Full);   // TODO: [0, (-1 << 0xa) + 1)
471   EXPECT_EQ(Empty.shl(Some), Empty);
475   EXPECT_EQ(One.shl(Some), Full);    // TODO: [0xa << 0xa, 0)
477   EXPECT_EQ(Some.shl(Some), Full);   // TODO: [0xa << 0xa, 0xfc01)
478   EXPECT_EQ(Some.shl(Wrap), Full);   // TODO: [0xa, 0x7ff << 0x5 + 1)
487   EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0),
492   EXPECT_EQ(Empty.lshr(Some), Empty);
495   EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0)));
497   EXPECT_EQ(Some.lshr(Some), ConstantRange(APInt(16, 0),
499   EXPECT_EQ(Some.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));