Lines Matching full:full
21 static ConstantRange Full; member in __anon10950d6f0111::ConstantRangeTest
28 ConstantRange ConstantRangeTest::Full(16); member in __anon10950d6f0111::ConstantRangeTest
35 EXPECT_TRUE(Full.isFullSet()); in TEST_F()
36 EXPECT_FALSE(Full.isEmptySet()); in TEST_F()
37 EXPECT_TRUE(Full.inverse().isEmptySet()); in TEST_F()
38 EXPECT_FALSE(Full.isWrappedSet()); in TEST_F()
39 EXPECT_TRUE(Full.contains(APInt(16, 0x0))); in TEST_F()
40 EXPECT_TRUE(Full.contains(APInt(16, 0x9))); in TEST_F()
41 EXPECT_TRUE(Full.contains(APInt(16, 0xa))); in TEST_F()
42 EXPECT_TRUE(Full.contains(APInt(16, 0xaa9))); in TEST_F()
43 EXPECT_TRUE(Full.contains(APInt(16, 0xaaa))); in TEST_F()
85 EXPECT_EQ(Full, Full); in TEST_F()
90 EXPECT_NE(Full, Empty); in TEST_F()
91 EXPECT_NE(Full, One); in TEST_F()
92 EXPECT_NE(Full, Some); in TEST_F()
93 EXPECT_NE(Full, Wrap); in TEST_F()
103 EXPECT_EQ(Full.getSingleElement(), static_cast<APInt *>(nullptr)); in TEST_F()
109 EXPECT_FALSE(Full.isSingleElement()); in TEST_F()
117 EXPECT_EQ(Full.getSetSize(), APInt(17, 65536)); in TEST_F()
129 EXPECT_EQ(Full.getUnsignedMax(), APInt(16, UINT16_MAX)); in TEST_F()
134 EXPECT_EQ(Full.getUnsignedMin(), APInt(16, 0)); in TEST_F()
139 EXPECT_EQ(Full.getSignedMax(), APInt(16, INT16_MAX)); in TEST_F()
144 EXPECT_EQ(Full.getSignedMin(), APInt(16, (uint64_t)INT16_MIN)); in TEST_F()
155 EXPECT_TRUE(Full.isSignWrappedSet()); in TEST_F()
171 ConstantRange TFull = Full.truncate(10); in TEST_F()
184 ConstantRange ZFull = Full.zeroExtend(20); in TEST_F()
203 ConstantRange SFull = Full.signExtend(20); in TEST_F()
226 EXPECT_EQ(Empty.intersectWith(Full), Empty); in TEST_F()
231 EXPECT_EQ(Full.intersectWith(Full), Full); in TEST_F()
234 EXPECT_EQ(Full.intersectWith(One), One); in TEST_F()
235 EXPECT_EQ(Full.intersectWith(Some), Some); in TEST_F()
288 EXPECT_EQ(Full.unionWith(Full), Full); in TEST_F()
289 EXPECT_EQ(Some.unionWith(Wrap), Full); in TEST_F()
304 EXPECT_EQ(Full.difference(Empty), Full); in TEST_F()
305 EXPECT_EQ(Full.difference(Full), Empty); in TEST_F()
307 EXPECT_EQ(Empty.difference(Full), Empty); in TEST_F()
321 EXPECT_EQ(Full.subtract(APInt(16, 4)), Full); in TEST_F()
332 EXPECT_EQ(Full.add(APInt(16, 4)), Full); in TEST_F()
333 EXPECT_EQ(Full.add(Full), Full); in TEST_F()
334 EXPECT_EQ(Full.add(Empty), Empty); in TEST_F()
335 EXPECT_EQ(Full.add(One), Full); in TEST_F()
336 EXPECT_EQ(Full.add(Some), Full); in TEST_F()
337 EXPECT_EQ(Full.add(Wrap), Full); in TEST_F()
352 EXPECT_EQ(Full.sub(APInt(16, 4)), Full); in TEST_F()
353 EXPECT_EQ(Full.sub(Full), Full); in TEST_F()
354 EXPECT_EQ(Full.sub(Empty), Empty); in TEST_F()
355 EXPECT_EQ(Full.sub(One), Full); in TEST_F()
356 EXPECT_EQ(Full.sub(Some), Full); in TEST_F()
357 EXPECT_EQ(Full.sub(Wrap), Full); in TEST_F()
374 EXPECT_EQ(Full.multiply(Full), Full); in TEST_F()
375 EXPECT_EQ(Full.multiply(Empty), Empty); in TEST_F()
376 EXPECT_EQ(Full.multiply(One), Full); in TEST_F()
377 EXPECT_EQ(Full.multiply(Some), Full); in TEST_F()
378 EXPECT_EQ(Full.multiply(Wrap), Full); in TEST_F()
387 EXPECT_EQ(One.multiply(Wrap), Full); in TEST_F()
388 EXPECT_EQ(Some.multiply(Some), Full); in TEST_F()
389 EXPECT_EQ(Some.multiply(Wrap), Full); in TEST_F()
390 EXPECT_EQ(Wrap.multiply(Wrap), Full); in TEST_F()
393 EXPECT_EQ(Zero.multiply(Full), Zero); in TEST_F()
396 EXPECT_EQ(Full.multiply(Zero), Zero); in TEST_F()
414 EXPECT_EQ(Full.umax(Full), Full); in TEST_F()
415 EXPECT_EQ(Full.umax(Empty), Empty); in TEST_F()
416 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
417 EXPECT_EQ(Full.umax(Wrap), Full); in TEST_F()
418 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0))); in TEST_F()
427 EXPECT_EQ(Wrap.umax(Wrap), Full); in TEST_F()
433 EXPECT_EQ(Full.smax(Full), Full); in TEST_F()
434 EXPECT_EQ(Full.smax(Empty), Empty); in TEST_F()
435 EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa), in TEST_F()
437 EXPECT_EQ(Full.smax(Wrap), Full); in TEST_F()
438 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa), in TEST_F()
454 EXPECT_EQ(Full.umin(Full), Full); in TEST_F()
455 EXPECT_EQ(Full.umin(Empty), Empty); in TEST_F()
456 EXPECT_EQ(Full.umin(Some), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); in TEST_F()
457 EXPECT_EQ(Full.umin(Wrap), Full); in TEST_F()
466 EXPECT_EQ(Wrap.umin(Wrap), Full); in TEST_F()
472 EXPECT_EQ(Full.smin(Full), Full); in TEST_F()
473 EXPECT_EQ(Full.smin(Empty), Empty); in TEST_F()
474 EXPECT_EQ(Full.smin(Some), ConstantRange(APInt(16, (uint64_t)INT16_MIN), in TEST_F()
476 EXPECT_EQ(Full.smin(Wrap), Full); in TEST_F()
486 EXPECT_EQ(Wrap.smin(Wrap), Full); in TEST_F()
493 EXPECT_EQ(Full.udiv(Full), Full); in TEST_F()
494 EXPECT_EQ(Full.udiv(Empty), Empty); in TEST_F()
495 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0), in TEST_F()
497 EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0), in TEST_F()
499 EXPECT_EQ(Full.udiv(Wrap), Full); in TEST_F()
509 EXPECT_EQ(Wrap.udiv(Wrap), Full); in TEST_F()
513 EXPECT_EQ(Full.shl(Full), Full); in TEST_F()
514 EXPECT_EQ(Full.shl(Empty), Empty); in TEST_F()
515 EXPECT_EQ(Full.shl(One), Full); // TODO: [0, (-1 << 0xa) + 1) in TEST_F()
516 EXPECT_EQ(Full.shl(Some), Full); // TODO: [0, (-1 << 0xa) + 1) in TEST_F()
517 EXPECT_EQ(Full.shl(Wrap), Full); 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()
526 EXPECT_EQ(Some.shl(Some), Full); // TODO: [0xa << 0xa, 0xfc01) in TEST_F()
527 EXPECT_EQ(Some.shl(Wrap), Full); // TODO: [0xa, 0x7ff << 0x5 + 1) in TEST_F()
528 EXPECT_EQ(Wrap.shl(Wrap), Full); in TEST_F()
532 EXPECT_EQ(Full.lshr(Full), Full); in TEST_F()
533 EXPECT_EQ(Full.lshr(Empty), Empty); in TEST_F()
534 EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0), in TEST_F()
536 EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0), in TEST_F()
538 EXPECT_EQ(Full.lshr(Wrap), Full); in TEST_F()
549 EXPECT_EQ(Wrap.lshr(Wrap), Full); in TEST_F()