Lines Matching defs:Full
21 static ConstantRange Full;
28 ConstantRange ConstantRangeTest::Full(16);
35 EXPECT_TRUE(Full.isFullSet());
36 EXPECT_FALSE(Full.isEmptySet());
37 EXPECT_TRUE(Full.inverse().isEmptySet());
38 EXPECT_FALSE(Full.isWrappedSet());
39 EXPECT_TRUE(Full.contains(APInt(16, 0x0)));
40 EXPECT_TRUE(Full.contains(APInt(16, 0x9)));
41 EXPECT_TRUE(Full.contains(APInt(16, 0xa)));
42 EXPECT_TRUE(Full.contains(APInt(16, 0xaa9)));
43 EXPECT_TRUE(Full.contains(APInt(16, 0xaaa)));
85 EXPECT_EQ(Full, Full);
90 EXPECT_NE(Full, Empty);
91 EXPECT_NE(Full, One);
92 EXPECT_NE(Full, Some);
93 EXPECT_NE(Full, Wrap);
103 EXPECT_EQ(Full.getSingleElement(), static_cast<APInt *>(NULL));
109 EXPECT_FALSE(Full.isSingleElement());
117 EXPECT_EQ(Full.getSetSize(), APInt(16, 0));
125 EXPECT_EQ(Full.getUnsignedMax(), APInt(16, UINT16_MAX));
130 EXPECT_EQ(Full.getUnsignedMin(), APInt(16, 0));
135 EXPECT_EQ(Full.getSignedMax(), APInt(16, INT16_MAX));
140 EXPECT_EQ(Full.getSignedMin(), APInt(16, (uint64_t)INT16_MIN));
151 EXPECT_TRUE(Full.isSignWrappedSet());
167 ConstantRange TFull = Full.truncate(10);
180 ConstantRange ZFull = Full.zeroExtend(20);
195 ConstantRange SFull = Full.signExtend(20);
215 EXPECT_EQ(Empty.intersectWith(Full), Empty);
220 EXPECT_EQ(Full.intersectWith(Full), Full);
223 EXPECT_EQ(Full.intersectWith(One), One);
224 EXPECT_EQ(Full.intersectWith(Some), Some);
242 EXPECT_EQ(Full.unionWith(Full), Full);
243 EXPECT_EQ(Some.unionWith(Wrap), Full);
258 EXPECT_EQ(Full.subtract(APInt(16, 4)), Full);
269 EXPECT_EQ(Full.add(APInt(16, 4)), Full);
270 EXPECT_EQ(Full.add(Full), Full);
271 EXPECT_EQ(Full.add(Empty), Empty);
272 EXPECT_EQ(Full.add(One), Full);
273 EXPECT_EQ(Full.add(Some), Full);
274 EXPECT_EQ(Full.add(Wrap), Full);
289 EXPECT_EQ(Full.sub(APInt(16, 4)), Full);
290 EXPECT_EQ(Full.sub(Full), Full);
291 EXPECT_EQ(Full.sub(Empty), Empty);
292 EXPECT_EQ(Full.sub(One), Full);
293 EXPECT_EQ(Full.sub(Some), Full);
294 EXPECT_EQ(Full.sub(Wrap), Full);
311 EXPECT_EQ(Full.multiply(Full), Full);
312 EXPECT_EQ(Full.multiply(Empty), Empty);
313 EXPECT_EQ(Full.multiply(One), Full);
314 EXPECT_EQ(Full.multiply(Some), Full);
315 EXPECT_EQ(Full.multiply(Wrap), Full);
324 EXPECT_EQ(One.multiply(Wrap), Full);
325 EXPECT_EQ(Some.multiply(Some), Full);
326 EXPECT_EQ(Some.multiply(Wrap), Full);
327 EXPECT_EQ(Wrap.multiply(Wrap), Full);
336 EXPECT_EQ(Full.umax(Full), Full);
337 EXPECT_EQ(Full.umax(Empty), Empty);
338 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
339 EXPECT_EQ(Full.umax(Wrap), Full);
340 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
349 EXPECT_EQ(Wrap.umax(Wrap), Full);
355 EXPECT_EQ(Full.smax(Full), Full);
356 EXPECT_EQ(Full.smax(Empty), Empty);
357 EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa),
359 EXPECT_EQ(Full.smax(Wrap), Full);
360 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa),
376 EXPECT_EQ(Full.udiv(Full), Full);
377 EXPECT_EQ(Full.udiv(Empty), Empty);
378 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0),
380 EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0),
382 EXPECT_EQ(Full.udiv(Wrap), Full);
392 EXPECT_EQ(Wrap.udiv(Wrap), Full);
396 EXPECT_EQ(Full.shl(Full), Full);
397 EXPECT_EQ(Full.shl(Empty), Empty);
398 EXPECT_EQ(Full.shl(One), Full); // TODO: [0, (-1 << 0xa) + 1)
399 EXPECT_EQ(Full.shl(Some), Full); // TODO: [0, (-1 << 0xa) + 1)
400 EXPECT_EQ(Full.shl(Wrap), Full);
407 EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0)
408 EXPECT_EQ(One.shl(Wrap), Full); // TODO: [0xa, 0xa << 14 + 1)
409 Full); // TODO: [0xa << 0xa, 0xfc01)
410 EXPECT_EQ(Some.shl(Wrap), Full); // TODO: [0xa, 0x7ff << 0x5 + 1)
411 EXPECT_EQ(Wrap.shl(Wrap), Full);
415 EXPECT_EQ(Full.lshr(Full), Full);
416 EXPECT_EQ(Full.lshr(Empty), Empty);
417 EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0),
419 EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0),
421 EXPECT_EQ(Full.lshr(Wrap), Full);
432 EXPECT_EQ(Wrap.lshr(Wrap), Full);
