Lines Matching refs:One

22   static ConstantRange One;
29 ConstantRange ConstantRangeTest::One(APInt(16, 0xa));
54 EXPECT_FALSE(One.isFullSet());
55 EXPECT_FALSE(One.isEmptySet());
56 EXPECT_FALSE(One.isWrappedSet());
57 EXPECT_FALSE(One.contains(APInt(16, 0x0)));
58 EXPECT_FALSE(One.contains(APInt(16, 0x9)));
59 EXPECT_TRUE(One.contains(APInt(16, 0xa)));
60 EXPECT_FALSE(One.contains(APInt(16, 0xaa9)));
61 EXPECT_FALSE(One.contains(APInt(16, 0xaaa)));
62 EXPECT_FALSE(One.inverse().contains(APInt(16, 0xa)));
86 EXPECT_EQ(One, One);
90 EXPECT_NE(Full, One);
93 EXPECT_NE(Empty, One);
96 EXPECT_NE(One, Some);
97 EXPECT_NE(One, Wrap);
104 EXPECT_EQ(*One.getSingleElement(), APInt(16, 0xa));
110 EXPECT_TRUE(One.isSingleElement());
118 EXPECT_EQ(One.getSetSize(), APInt(17, 1));
129 EXPECT_EQ(One.getUnsignedMax(), APInt(16, 0xa));
134 EXPECT_EQ(One.getUnsignedMin(), APInt(16, 0xa));
139 EXPECT_EQ(One.getSignedMax(), APInt(16, 0xa));
144 EXPECT_EQ(One.getSignedMin(), APInt(16, 0xa));
156 EXPECT_FALSE(One.isSignWrappedSet());
172 ConstantRange TOne = One.truncate(10);
177 EXPECT_EQ(TOne, ConstantRange(One.getLower().trunc(10),
178 One.getUpper().trunc(10)));
185 ConstantRange ZOne = One.zeroExtend(20);
190 EXPECT_EQ(ZOne, ConstantRange(One.getLower().zext(20),
191 One.getUpper().zext(20)));
204 ConstantRange SOne = One.signExtend(20);
210 EXPECT_EQ(SOne, ConstantRange(One.getLower().sext(20),
211 One.getUpper().sext(20)));
227 EXPECT_EQ(Empty.intersectWith(One), Empty);
232 EXPECT_EQ(Some.intersectWith(One), One);
233 EXPECT_EQ(Full.intersectWith(One), One);
236 EXPECT_EQ(One.intersectWith(Wrap), Empty);
237 EXPECT_EQ(One.intersectWith(Wrap), Wrap.intersectWith(One));
283 EXPECT_EQ(Wrap.unionWith(One),
285 EXPECT_EQ(One.unionWith(Wrap), Wrap.unionWith(One));
326 EXPECT_EQ(One.subtract(APInt(16, 4)),
334 EXPECT_EQ(Full.add(One), Full);
338 EXPECT_EQ(Empty.add(One), Empty);
346 EXPECT_EQ(One.add(APInt(16, 4)),
354 EXPECT_EQ(Full.sub(One), Full);
358 EXPECT_EQ(Empty.sub(One), Empty);
368 EXPECT_EQ(One.sub(APInt(16, 4)),
375 EXPECT_EQ(Full.multiply(One), Full);
379 EXPECT_EQ(Empty.multiply(One), Empty);
382 EXPECT_EQ(One.multiply(One), ConstantRange(APInt(16, 0xa*0xa),
384 EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa),
386 EXPECT_EQ(One.multiply(Wrap), Full);
414 EXPECT_EQ(Empty.umax(One), Empty);
417 EXPECT_EQ(Some.umax(One), Some);
420 EXPECT_EQ(Wrap.umax(One), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
421 EXPECT_EQ(One.umax(One), One);
430 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa),
435 EXPECT_EQ(Empty.smax(One), Empty);
439 EXPECT_EQ(Some.smax(One), Some);
440 EXPECT_EQ(Wrap.smax(One), ConstantRange(APInt(16, 0xa),
442 EXPECT_EQ(One.smax(One), One);
448 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0),
454 EXPECT_EQ(Empty.udiv(One), Empty);
457 EXPECT_EQ(One.udiv(One), ConstantRange(APInt(16, 1)));
458 EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2)));
459 EXPECT_EQ(One.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb)));
468 EXPECT_EQ(Full.shl(One), Full); // TODO: [0, (-1 << 0xa) + 1)
472 EXPECT_EQ(Empty.shl(One), Empty);
475 EXPECT_EQ(One.shl(One), ConstantRange(APInt(16, 0xa << 0xa),
477 EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0)
478 EXPECT_EQ(One.shl(Wrap), Full); // TODO: [0xa, 0xa << 14 + 1)
487 EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0),
493 EXPECT_EQ(Empty.lshr(One), Empty);
496 EXPECT_EQ(One.lshr(One), ConstantRange(APInt(16, 0)));
497 EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0)));
498 EXPECT_EQ(One.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb)));