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

Lines Matching defs:Some
23   static ConstantRange Some;
30 ConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa));
64   EXPECT_FALSE(Some.isFullSet());
65   EXPECT_FALSE(Some.isEmptySet());
66   EXPECT_FALSE(Some.isWrappedSet());
67   EXPECT_FALSE(Some.contains(APInt(16, 0x0)));
68   EXPECT_FALSE(Some.contains(APInt(16, 0x9)));
69   EXPECT_TRUE(Some.contains(APInt(16, 0xa)));
70   EXPECT_TRUE(Some.contains(APInt(16, 0xaa9)));
71   EXPECT_FALSE(Some.contains(APInt(16, 0xaaa)));
87   EXPECT_EQ(Some, Some);
91   EXPECT_NE(Full, Some);
94   EXPECT_NE(Empty, Some);
96   EXPECT_NE(One, Some);
98   EXPECT_NE(Some, Wrap);
105   EXPECT_EQ(Some.getSingleElement(), static_cast<APInt *>(nullptr));
111   EXPECT_FALSE(Some.isSingleElement());
119   EXPECT_EQ(Some.getSetSize(), APInt(17, 0xaa0));
130   EXPECT_EQ(Some.getUnsignedMax(), APInt(16, 0xaa9));
135   EXPECT_EQ(Some.getUnsignedMin(), APInt(16, 0xa));
140   EXPECT_EQ(Some.getSignedMax(), APInt(16, 0xaa9));
145   EXPECT_EQ(Some.getSignedMin(), APInt(16, 0xa));
157   EXPECT_FALSE(Some.isSignWrappedSet());
173   ConstantRange TSome = Some.truncate(10);
186   ConstantRange ZSome = Some.zeroExtend(20);
192   EXPECT_EQ(ZSome, ConstantRange(Some.getLower().zext(20),
193                                  Some.getUpper().zext(20)));
205   ConstantRange SSome = Some.signExtend(20);
212   EXPECT_EQ(SSome, ConstantRange(Some.getLower().sext(20),
213                                  Some.getUpper().sext(20)));
228   EXPECT_EQ(Empty.intersectWith(Some), Empty);
231   EXPECT_EQ(Some.intersectWith(Some), Some);
232   EXPECT_EQ(Some.intersectWith(One), One);
234   EXPECT_EQ(Full.intersectWith(Some), Some);
235   EXPECT_EQ(Some.intersectWith(Wrap), Empty);
288   EXPECT_EQ(Some.unionWith(Wrap), Full);
322   EXPECT_EQ(Some.subtract(APInt(16, 4)),
335   EXPECT_EQ(Full.add(Some), Full);
339   EXPECT_EQ(Empty.add(Some), Empty);
342   EXPECT_EQ(Some.add(APInt(16, 4)),
355   EXPECT_EQ(Full.sub(Some), Full);
359   EXPECT_EQ(Empty.sub(Some), Empty);
362   EXPECT_EQ(Some.sub(APInt(16, 4)),
364   EXPECT_EQ(Some.sub(Some),
376   EXPECT_EQ(Full.multiply(Some), Full);
380   EXPECT_EQ(Empty.multiply(Some), Empty);
384   EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa),
387   EXPECT_EQ(Some.multiply(Some), Full);
388   EXPECT_EQ(Some.multiply(Wrap), Full);
393   EXPECT_EQ(Zero.multiply(Some), Zero);
396   EXPECT_EQ(Some.multiply(Zero), Zero);
408   EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
410   EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
412   EXPECT_EQ(Empty.umax(Some), Empty);
415   EXPECT_EQ(Some.umax(Some), Some);
416   EXPECT_EQ(Some.umax(Wrap), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
417   EXPECT_EQ(Some.umax(One), Some);
427   EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa),
433   EXPECT_EQ(Empty.smax(Some), Empty);
436   EXPECT_EQ(Some.smax(Some), Some);
437   EXPECT_EQ(Some.smax(Wrap), ConstantRange(APInt(16, 0xa),
439   EXPECT_EQ(Some.smax(One), Some);
450   EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0),
455   EXPECT_EQ(Empty.udiv(Some), Empty);
458   EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2)));
460   EXPECT_EQ(Some.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 0x111)));
461   EXPECT_EQ(Some.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
469   EXPECT_EQ(Full.shl(Some), Full);   // TODO: [0, (-1 << 0xa) + 1)
473   EXPECT_EQ(Empty.shl(Some), Empty);
477   EXPECT_EQ(One.shl(Some), Full);    // TODO: [0xa << 0xa, 0)
479   EXPECT_EQ(Some.shl(Some), Full);   // TODO: [0xa << 0xa, 0xfc01)
480   EXPECT_EQ(Some.shl(Wrap), Full);   // TODO: [0xa, 0x7ff << 0x5 + 1)
489   EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0),
494   EXPECT_EQ(Empty.lshr(Some), Empty);
497   EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0)));
499   EXPECT_EQ(Some.lshr(Some), ConstantRange(APInt(16, 0),
501   EXPECT_EQ(Some.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));