Lines Matching defs:Full
20 static ConstantRange Full;
27 ConstantRange ConstantRangeTest::Full(16);
34 EXPECT_TRUE(Full.isFullSet());
35 EXPECT_FALSE(Full.isEmptySet());
36 EXPECT_TRUE(Full.inverse().isEmptySet());
37 EXPECT_FALSE(Full.isWrappedSet());
38 EXPECT_TRUE(Full.contains(APInt(16, 0x0)));
39 EXPECT_TRUE(Full.contains(APInt(16, 0x9)));
40 EXPECT_TRUE(Full.contains(APInt(16, 0xa)));
41 EXPECT_TRUE(Full.contains(APInt(16, 0xaa9)));
42 EXPECT_TRUE(Full.contains(APInt(16, 0xaaa)));
84 EXPECT_EQ(Full, Full);
89 EXPECT_NE(Full, Empty);
90 EXPECT_NE(Full, One);
91 EXPECT_NE(Full, Some);
92 EXPECT_NE(Full, Wrap);
102 EXPECT_EQ(Full.getSingleElement(), static_cast<APInt *>(NULL));
108 EXPECT_FALSE(Full.isSingleElement());
116 EXPECT_EQ(Full.getSetSize(), APInt(17, 65536));
128 EXPECT_EQ(Full.getUnsignedMax(), APInt(16, UINT16_MAX));
133 EXPECT_EQ(Full.getUnsignedMin(), APInt(16, 0));
138 EXPECT_EQ(Full.getSignedMax(), APInt(16, INT16_MAX));
143 EXPECT_EQ(Full.getSignedMin(), APInt(16, (uint64_t)INT16_MIN));
154 EXPECT_TRUE(Full.isSignWrappedSet());
170 ConstantRange TFull = Full.truncate(10);
183 ConstantRange ZFull = Full.zeroExtend(20);
202 ConstantRange SFull = Full.signExtend(20);
222 EXPECT_EQ(Empty.intersectWith(Full), Empty);
227 EXPECT_EQ(Full.intersectWith(Full), Full);
230 EXPECT_EQ(Full.intersectWith(One), One);
231 EXPECT_EQ(Full.intersectWith(Some), Some);
284 EXPECT_EQ(Full.unionWith(Full), Full);
285 EXPECT_EQ(Some.unionWith(Wrap), Full);
300 EXPECT_EQ(Full.difference(Empty), Full);
301 EXPECT_EQ(Full.difference(Full), Empty);
303 EXPECT_EQ(Empty.difference(Full), Empty);
317 EXPECT_EQ(Full.subtract(APInt(16, 4)), Full);
328 EXPECT_EQ(Full.add(APInt(16, 4)), Full);
329 EXPECT_EQ(Full.add(Full), Full);
330 EXPECT_EQ(Full.add(Empty), Empty);
331 EXPECT_EQ(Full.add(One), Full);
332 EXPECT_EQ(Full.add(Some), Full);
333 EXPECT_EQ(Full.add(Wrap), Full);
348 EXPECT_EQ(Full.sub(APInt(16, 4)), Full);
349 EXPECT_EQ(Full.sub(Full), Full);
350 EXPECT_EQ(Full.sub(Empty), Empty);
351 EXPECT_EQ(Full.sub(One), Full);
352 EXPECT_EQ(Full.sub(Some), Full);
353 EXPECT_EQ(Full.sub(Wrap), Full);
370 EXPECT_EQ(Full.multiply(Full), Full);
371 EXPECT_EQ(Full.multiply(Empty), Empty);
372 EXPECT_EQ(Full.multiply(One), Full);
373 EXPECT_EQ(Full.multiply(Some), Full);
374 EXPECT_EQ(Full.multiply(Wrap), Full);
383 EXPECT_EQ(One.multiply(Wrap), Full);
384 EXPECT_EQ(Some.multiply(Some), Full);
385 EXPECT_EQ(Some.multiply(Wrap), Full);
386 EXPECT_EQ(Wrap.multiply(Wrap), Full);
389 EXPECT_EQ(Zero.multiply(Full), Zero);
392 EXPECT_EQ(Full.multiply(Zero), Zero);
403 EXPECT_EQ(Full.umax(Full), Full);
404 EXPECT_EQ(Full.umax(Empty), Empty);
405 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
406 EXPECT_EQ(Full.umax(Wrap), Full);
407 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
416 Full);
422 EXPECT_EQ(Full.smax(Full), Full);
423 EXPECT_EQ(Full.smax(Empty), Empty);
424 EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa),
426 EXPECT_EQ(Full.smax(Wrap), Full);
427 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa),
443 EXPECT_EQ(Full.udiv(Full), Full);
444 EXPECT_EQ(Full.udiv(Empty), Empty);
445 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0),
447 EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0),
449 EXPECT_EQ(Full.udiv(Wrap), Full);
459 EXPECT_EQ(Wrap.udiv(Wrap), Full);
463 EXPECT_EQ(Full.shl(Full), Full);
464 EXPECT_EQ(Full.shl(Empty), Empty);
465 EXPECT_EQ(Full.shl(One), Full); // TODO: [0, (-1 << 0xa) + 1)
466 EXPECT_EQ(Full.shl(Some), Full); // TODO: [0, (-1 << 0xa) + 1)
467 EXPECT_EQ(Full.shl(Wrap), Full);
474 EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0)
475 EXPECT_EQ(One.shl(Wrap), Full); // TODO: [0xa, 0xa << 14 + 1)
476 EXPECT_EQ(Some.shl(Some), Full); // TODO: [0xa << 0xa, 0xfc01)
477 EXPECT_EQ(Some.shl(Wrap), Full); // TODO: [0xa, 0x7ff << 0x5 + 1)
478 EXPECT_EQ(Wrap.shl(Wrap), Full);
482 EXPECT_EQ(Full.lshr(Full), Full);
483 EXPECT_EQ(Full.lshr(Empty), Empty);
484 EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0),
486 EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0),
488 EXPECT_EQ(Full.lshr(Wrap), Full);
499 EXPECT_EQ(Wrap.lshr(Wrap), Full);
