Lines Matching refs:One
23 static ConstantRange One; member in __anon9c79176e0111::ConstantRangeTest
30 ConstantRange ConstantRangeTest::One(APInt(16, 0xa)); member in __anon9c79176e0111::ConstantRangeTest
55 EXPECT_FALSE(One.isFullSet()); in TEST_F()
56 EXPECT_FALSE(One.isEmptySet()); in TEST_F()
57 EXPECT_FALSE(One.isWrappedSet()); in TEST_F()
58 EXPECT_FALSE(One.contains(APInt(16, 0x0))); in TEST_F()
59 EXPECT_FALSE(One.contains(APInt(16, 0x9))); in TEST_F()
60 EXPECT_TRUE(One.contains(APInt(16, 0xa))); in TEST_F()
61 EXPECT_FALSE(One.contains(APInt(16, 0xaa9))); in TEST_F()
62 EXPECT_FALSE(One.contains(APInt(16, 0xaaa))); in TEST_F()
63 EXPECT_FALSE(One.inverse().contains(APInt(16, 0xa))); in TEST_F()
87 EXPECT_EQ(One, One); in TEST_F()
91 EXPECT_NE(Full, One); in TEST_F()
94 EXPECT_NE(Empty, One); in TEST_F()
97 EXPECT_NE(One, Some); in TEST_F()
98 EXPECT_NE(One, Wrap); in TEST_F()
105 EXPECT_EQ(*One.getSingleElement(), APInt(16, 0xa)); in TEST_F()
111 EXPECT_TRUE(One.isSingleElement()); in TEST_F()
119 EXPECT_EQ(One.getSetSize(), APInt(17, 1)); in TEST_F()
130 EXPECT_EQ(One.getUnsignedMax(), APInt(16, 0xa)); in TEST_F()
135 EXPECT_EQ(One.getUnsignedMin(), APInt(16, 0xa)); in TEST_F()
140 EXPECT_EQ(One.getSignedMax(), APInt(16, 0xa)); in TEST_F()
145 EXPECT_EQ(One.getSignedMin(), APInt(16, 0xa)); in TEST_F()
157 EXPECT_FALSE(One.isSignWrappedSet()); in TEST_F()
173 ConstantRange TOne = One.truncate(10); in TEST_F()
178 EXPECT_EQ(TOne, ConstantRange(One.getLower().trunc(10), in TEST_F()
179 One.getUpper().trunc(10))); in TEST_F()
186 ConstantRange ZOne = One.zeroExtend(20); in TEST_F()
191 EXPECT_EQ(ZOne, ConstantRange(One.getLower().zext(20), in TEST_F()
192 One.getUpper().zext(20))); in TEST_F()
205 ConstantRange SOne = One.signExtend(20); in TEST_F()
211 EXPECT_EQ(SOne, ConstantRange(One.getLower().sext(20), in TEST_F()
212 One.getUpper().sext(20))); in TEST_F()
228 EXPECT_EQ(Empty.intersectWith(One), Empty); in TEST_F()
233 EXPECT_EQ(Some.intersectWith(One), One); in TEST_F()
234 EXPECT_EQ(Full.intersectWith(One), One); in TEST_F()
237 EXPECT_EQ(One.intersectWith(Wrap), Empty); in TEST_F()
238 EXPECT_EQ(One.intersectWith(Wrap), Wrap.intersectWith(One)); in TEST_F()
284 EXPECT_EQ(Wrap.unionWith(One), in TEST_F()
286 EXPECT_EQ(One.unionWith(Wrap), Wrap.unionWith(One)); in TEST_F()
327 EXPECT_EQ(One.subtract(APInt(16, 4)), in TEST_F()
335 EXPECT_EQ(Full.add(One), Full); in TEST_F()
339 EXPECT_EQ(Empty.add(One), Empty); in TEST_F()
347 EXPECT_EQ(One.add(APInt(16, 4)), in TEST_F()
355 EXPECT_EQ(Full.sub(One), Full); in TEST_F()
359 EXPECT_EQ(Empty.sub(One), Empty); in TEST_F()
369 EXPECT_EQ(One.sub(APInt(16, 4)), in TEST_F()
376 EXPECT_EQ(Full.multiply(One), Full); in TEST_F()
380 EXPECT_EQ(Empty.multiply(One), Empty); in TEST_F()
383 EXPECT_EQ(One.multiply(One), ConstantRange(APInt(16, 0xa*0xa), in TEST_F()
385 EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa), in TEST_F()
387 EXPECT_EQ(One.multiply(Wrap), Full); in TEST_F()
422 EXPECT_EQ(Empty.umax(One), Empty); in TEST_F()
425 EXPECT_EQ(Some.umax(One), Some); in TEST_F()
428 EXPECT_EQ(Wrap.umax(One), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
429 EXPECT_EQ(One.umax(One), One); in TEST_F()
438 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa), in TEST_F()
443 EXPECT_EQ(Empty.smax(One), Empty); in TEST_F()
447 EXPECT_EQ(Some.smax(One), Some); in TEST_F()
448 EXPECT_EQ(Wrap.smax(One), ConstantRange(APInt(16, 0xa), in TEST_F()
450 EXPECT_EQ(One.smax(One), One); in TEST_F()
461 EXPECT_EQ(Empty.umin(One), Empty); in TEST_F()
464 EXPECT_EQ(Some.umin(One), One); in TEST_F()
467 EXPECT_EQ(Wrap.umin(One), ConstantRange(APInt(16, 0), APInt(16, 0xb))); in TEST_F()
468 EXPECT_EQ(One.umin(One), One); in TEST_F()
480 EXPECT_EQ(Empty.smin(One), Empty); in TEST_F()
484 EXPECT_EQ(Some.smin(One), One); in TEST_F()
487 EXPECT_EQ(Wrap.smin(One), ConstantRange(APInt(16, (uint64_t)INT16_MIN), in TEST_F()
489 EXPECT_EQ(One.smin(One), One); in TEST_F()
495 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0), in TEST_F()
501 EXPECT_EQ(Empty.udiv(One), Empty); in TEST_F()
504 EXPECT_EQ(One.udiv(One), ConstantRange(APInt(16, 1))); in TEST_F()
505 EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2))); in TEST_F()
506 EXPECT_EQ(One.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb))); in TEST_F()
515 EXPECT_EQ(Full.shl(One), Full); // TODO: [0, (-1 << 0xa) + 1) in TEST_F()
519 EXPECT_EQ(Empty.shl(One), Empty); in TEST_F()
522 EXPECT_EQ(One.shl(One), ConstantRange(APInt(16, 0xa << 0xa), in TEST_F()
524 EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0) in TEST_F()
525 EXPECT_EQ(One.shl(Wrap), Full); // TODO: [0xa, 0xa << 14 + 1) in TEST_F()
534 EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0), in TEST_F()
540 EXPECT_EQ(Empty.lshr(One), Empty); in TEST_F()
543 EXPECT_EQ(One.lshr(One), ConstantRange(APInt(16, 0))); in TEST_F()
544 EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0))); in TEST_F()
545 EXPECT_EQ(One.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb))); in TEST_F()