Lines Matching refs:APInt
30 ConstantRange ConstantRangeTest::One(APInt(16, 0xa));
31 ConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa));
32 ConstantRange ConstantRangeTest::Wrap(APInt(16, 0xaaa), APInt(16, 0xa));
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)));
49 EXPECT_FALSE(Empty.contains(APInt(16, 0x0)));
50 EXPECT_FALSE(Empty.contains(APInt(16, 0x9)));
51 EXPECT_FALSE(Empty.contains(APInt(16, 0xa)));
52 EXPECT_FALSE(Empty.contains(APInt(16, 0xaa9)));
53 EXPECT_FALSE(Empty.contains(APInt(16, 0xaaa)));
58 EXPECT_FALSE(One.contains(APInt(16, 0x0)));
59 EXPECT_FALSE(One.contains(APInt(16, 0x9)));
60 EXPECT_TRUE(One.contains(APInt(16, 0xa)));
61 EXPECT_FALSE(One.contains(APInt(16, 0xaa9)));
62 EXPECT_FALSE(One.contains(APInt(16, 0xaaa)));
63 EXPECT_FALSE(One.inverse().contains(APInt(16, 0xa)));
68 EXPECT_FALSE(Some.contains(APInt(16, 0x0)));
69 EXPECT_FALSE(Some.contains(APInt(16, 0x9)));
70 EXPECT_TRUE(Some.contains(APInt(16, 0xa)));
71 EXPECT_TRUE(Some.contains(APInt(16, 0xaa9)));
72 EXPECT_FALSE(Some.contains(APInt(16, 0xaaa)));
77 EXPECT_TRUE(Wrap.contains(APInt(16, 0x0)));
78 EXPECT_TRUE(Wrap.contains(APInt(16, 0x9)));
79 EXPECT_FALSE(Wrap.contains(APInt(16, 0xa)));
80 EXPECT_FALSE(Wrap.contains(APInt(16, 0xaa9)));
81 EXPECT_TRUE(Wrap.contains(APInt(16, 0xaaa)));
103 EXPECT_EQ(Full.getSingleElement(), static_cast<APInt *>(NULL));
104 EXPECT_EQ(Empty.getSingleElement(), static_cast<APInt *>(NULL));
105 EXPECT_EQ(*One.getSingleElement(), APInt(16, 0xa));
106 EXPECT_EQ(Some.getSingleElement(), static_cast<APInt *>(NULL));
107 EXPECT_EQ(Wrap.getSingleElement(), static_cast<APInt *>(NULL));
117 EXPECT_EQ(Full.getSetSize(), APInt(16, 0));
118 EXPECT_EQ(Empty.getSetSize(), APInt(16, 0));
119 EXPECT_EQ(One.getSetSize(), APInt(16, 1));
120 EXPECT_EQ(Some.getSetSize(), APInt(16, 0xaa0));
121 EXPECT_EQ(Wrap.getSetSize(), APInt(16, 0x10000 - 0xaa0));
125 EXPECT_EQ(Full.getUnsignedMax(), APInt(16, UINT16_MAX));
126 EXPECT_EQ(One.getUnsignedMax(), APInt(16, 0xa));
127 EXPECT_EQ(Some.getUnsignedMax(), APInt(16, 0xaa9));
128 EXPECT_EQ(Wrap.getUnsignedMax(), APInt(16, UINT16_MAX));
130 EXPECT_EQ(Full.getUnsignedMin(), APInt(16, 0));
131 EXPECT_EQ(One.getUnsignedMin(), APInt(16, 0xa));
132 EXPECT_EQ(Some.getUnsignedMin(), APInt(16, 0xa));
133 EXPECT_EQ(Wrap.getUnsignedMin(), APInt(16, 0));
135 EXPECT_EQ(Full.getSignedMax(), APInt(16, INT16_MAX));
136 EXPECT_EQ(One.getSignedMax(), APInt(16, 0xa));
137 EXPECT_EQ(Some.getSignedMax(), APInt(16, 0xaa9));
138 EXPECT_EQ(Wrap.getSignedMax(), APInt(16, INT16_MAX));
140 EXPECT_EQ(Full.getSignedMin(), APInt(16, (uint64_t)INT16_MIN));
141 EXPECT_EQ(One.getSignedMin(), APInt(16, 0xa));
142 EXPECT_EQ(Some.getSignedMin(), APInt(16, 0xa));
143 EXPECT_EQ(Wrap.getSignedMin(), APInt(16, (uint64_t)INT16_MIN));
146 EXPECT_EQ(ConstantRange(APInt(4, 7), APInt(4, 0)).getSignedMax(),
147 APInt(4, 7));
157 EXPECT_FALSE(ConstantRange(APInt(8, 127), APInt(8, 128)).isSignWrappedSet());
158 EXPECT_TRUE(ConstantRange(APInt(8, 127), APInt(8, 129)).isSignWrappedSet());
159 EXPECT_FALSE(ConstantRange(APInt(8, 128), APInt(8, 129)).isSignWrappedSet());
160 EXPECT_TRUE(ConstantRange(APInt(8, 10), APInt(8, 9)).isSignWrappedSet());
161 EXPECT_TRUE(ConstantRange(APInt(8, 10), APInt(8, 250)).isSignWrappedSet());
162 EXPECT_FALSE(ConstantRange(APInt(8, 250), APInt(8, 10)).isSignWrappedSet());
163 EXPECT_FALSE(ConstantRange(APInt(8, 250), APInt(8, 251)).isSignWrappedSet());
185 EXPECT_EQ(ZFull, ConstantRange(APInt(20, 0), APInt(20, 0x10000)));
191 EXPECT_EQ(ZWrap, ConstantRange(APInt(20, 0), APInt(20, 0x10000)));
200 EXPECT_EQ(SFull, ConstantRange(APInt(20, (uint64_t)INT16_MIN, true),
201 APInt(20, INT16_MAX + 1, true)));
207 EXPECT_EQ(SWrap, ConstantRange(APInt(20, (uint64_t)INT16_MIN, true),
208 APInt(20, INT16_MAX + 1, true)));
210 EXPECT_EQ(ConstantRange(APInt(8, 120), APInt(8, 140)).signExtend(16),
211 ConstantRange(APInt(16, -128), APInt(16, 128)));
232 ConstantRange LHS(APInt(16, 4), APInt(16, 2));
233 ConstantRange RHS(APInt(16, 6), APInt(16, 5));
239 ConstantRange(APInt(16, 0xaaa), APInt(16, 0xb)));
246 EXPECT_EQ(ConstantRange(APInt(16, 14), APInt(16, 1)).unionWith(
247 ConstantRange(APInt(16, 0), APInt(16, 8))),
248 ConstantRange(APInt(16, 14), APInt(16, 8)));
249 EXPECT_EQ(ConstantRange(APInt(16, 6), APInt(16, 4)).unionWith(
250 ConstantRange(APInt(16, 4), APInt(16, 0))),
252 EXPECT_EQ(ConstantRange(APInt(16, 1), APInt(16, 0)).unionWith(
253 ConstantRange(APInt(16, 2), APInt(16, 1))),
258 EXPECT_EQ(Full.subtract(APInt(16, 4)), Full);
259 EXPECT_EQ(Empty.subtract(APInt(16, 4)), Empty);
260 EXPECT_EQ(Some.subtract(APInt(16, 4)),
261 ConstantRange(APInt(16, 0x6), APInt(16, 0xaa6)));
262 EXPECT_EQ(Wrap.subtract(APInt(16, 4)),
263 ConstantRange(APInt(16, 0xaa6), APInt(16, 0x6)));
264 EXPECT_EQ(One.subtract(APInt(16, 4)),
265 ConstantRange(APInt(16, 0x6)));
269 EXPECT_EQ(Full.add(APInt(16, 4)), Full);
279 EXPECT_EQ(Empty.add(APInt(16, 4)), Empty);
280 EXPECT_EQ(Some.add(APInt(16, 4)),
281 ConstantRange(APInt(16, 0xe), APInt(16, 0xaae)));
282 EXPECT_EQ(Wrap.add(APInt(16, 4)),
283 ConstantRange(APInt(16, 0xaae), APInt(16, 0xe)));
284 EXPECT_EQ(One.add(APInt(16, 4)),
285 ConstantRange(APInt(16, 0xe)));
289 EXPECT_EQ(Full.sub(APInt(16, 4)), Full);
299 EXPECT_EQ(Empty.sub(APInt(16, 4)), Empty);
300 EXPECT_EQ(Some.sub(APInt(16, 4)),
301 ConstantRange(APInt(16, 0x6), APInt(16, 0xaa6)));
303 ConstantRange(APInt(16, 0xf561), APInt(16, 0xaa0)));
304 EXPECT_EQ(Wrap.sub(APInt(16, 4)),
305 ConstantRange(APInt(16, 0xaa6), APInt(16, 0x6)));
306 EXPECT_EQ(One.sub(APInt(16, 4)),
307 ConstantRange(APInt(16, 0x6)));
320 EXPECT_EQ(One.multiply(One), ConstantRange(APInt(16, 0xa*0xa),
321 APInt(16, 0xa*0xa + 1)));
322 EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa),
323 APInt(16, 0xa*0xaa9 + 1)));
330 EXPECT_EQ(ConstantRange(APInt(4, 1), APInt(4, 6)).multiply(
331 ConstantRange(APInt(4, 6), APInt(4, 2))),
338 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
340 EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
346 EXPECT_EQ(Some.umax(Wrap), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
350 EXPECT_EQ(Wrap.umax(One), ConstantRange(APInt(16, 0xa), APInt(16, 0)));
357 EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa),
358 APInt::getSignedMinValue(16)));
360 EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa),
361 APInt::getSignedMinValue(16)));
367 EXPECT_EQ(Some.smax(Wrap), ConstantRange(APInt(16, 0xa),
368 APInt(16, (uint64_t)INT16_MIN)));
370 EXPECT_EQ(Wrap.smax(One), ConstantRange(APInt(16, 0xa),
371 APInt(16, (uint64_t)INT16_MIN)));
378 EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0),
379 APInt(16, 0xffff / 0xa + 1)));
380 EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0),
381 APInt(16, 0xffff / 0xa + 1)));
387 EXPECT_EQ(One.udiv(One), ConstantRange(APInt(16, 1)));
388 EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2)));
389 EXPECT_EQ(One.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb)));
390 EXPECT_EQ(Some.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 0x111)));
391 EXPECT_EQ(Some.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
405 EXPECT_EQ(One.shl(One), ConstantRange(APInt(16, 0xa << 0xa),
406 APInt(16, (0xa << 0xa) + 1)));
417 EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0),
418 APInt(16, (0xffff >> 0xa) + 1)));
419 EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0),
420 APInt(16, (0xffff >> 0xa) + 1)));
426 EXPECT_EQ(One.lshr(One), ConstantRange(APInt(16, 0)));
427 EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0)));
428 EXPECT_EQ(One.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb)));
429 EXPECT_EQ(Some.lshr(Some), ConstantRange(APInt(16, 0),
430 APInt(16, (0xaaa >> 0xa) + 1)));
431 EXPECT_EQ(Some.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa)));
437 ConstantRange SMax = ConstantRange(APInt::getSignedMaxValue(32));
