blob: d24d5800a40db72df7c22686ab6bbabecfb3c2de [file] [log] [blame]
Bill Wendlingb9ad4922009-02-09 12:31:40 +00001//===- llvm/unittest/ADT/APInt.cpp - APInt unit tests ---------------------===//
Nick Lewyckyee226112009-01-19 18:08:33 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Nick Lewyckyee226112009-01-19 18:08:33 +000010#include "llvm/ADT/APInt.h"
Mehdi Amini47b292d2016-04-16 07:51:28 +000011#include "llvm/ADT/ArrayRef.h"
Misha Brukmand1d2c502009-03-24 21:36:09 +000012#include "llvm/ADT/SmallString.h"
Chandler Carruth130cec22012-12-04 10:23:08 +000013#include "gtest/gtest.h"
Pawel Bylica0dda1642015-06-25 10:47:08 +000014#include <array>
Nick Lewyckyee226112009-01-19 18:08:33 +000015
16using namespace llvm;
17
18namespace {
19
Richard Smith55f5e652015-09-04 04:08:36 +000020TEST(APIntTest, ValueInit) {
21 APInt Zero = APInt();
22 EXPECT_TRUE(!Zero);
23 EXPECT_TRUE(!Zero.zext(64));
24 EXPECT_TRUE(!Zero.sext(64));
25}
26
Nick Lewyckyee226112009-01-19 18:08:33 +000027// Test that APInt shift left works when bitwidth > 64 and shiftamt == 0
28TEST(APIntTest, ShiftLeftByZero) {
29 APInt One = APInt::getNullValue(65) + 1;
30 APInt Shl = One.shl(0);
Chandler Carruthbc3e8a72010-07-13 17:28:05 +000031 EXPECT_TRUE(Shl[0]);
32 EXPECT_FALSE(Shl[1]);
Torok Edwinec39eb82009-01-27 18:06:03 +000033}
34
Jonathan Roelofs851b79d2016-08-10 19:50:14 +000035TEST(APIntTest, i64_ArithmeticRightShiftNegative) {
36 const APInt neg_one(64, static_cast<uint64_t>(-1), true);
37 EXPECT_EQ(neg_one, neg_one.ashr(7));
38}
39
Craig Topper9edfb082017-04-16 01:03:51 +000040TEST(APIntTest, i64_LogicalRightShiftNegative) {
41 const APInt neg_one(128, static_cast<uint64_t>(-1), true);
42 EXPECT_EQ(0, neg_one.lshr(257));
43}
44
Misha Brukmand1d2c502009-03-24 21:36:09 +000045TEST(APIntTest, i128_NegativeCount) {
Misha Brukman680336d2009-04-08 16:17:23 +000046 APInt Minus3(128, static_cast<uint64_t>(-3), true);
Torok Edwinec39eb82009-01-27 18:06:03 +000047 EXPECT_EQ(126u, Minus3.countLeadingOnes());
48 EXPECT_EQ(-3, Minus3.getSExtValue());
49
Misha Brukman680336d2009-04-08 16:17:23 +000050 APInt Minus1(128, static_cast<uint64_t>(-1), true);
Torok Edwinec39eb82009-01-27 18:06:03 +000051 EXPECT_EQ(0u, Minus1.countLeadingZeros());
52 EXPECT_EQ(128u, Minus1.countLeadingOnes());
53 EXPECT_EQ(128u, Minus1.getActiveBits());
54 EXPECT_EQ(0u, Minus1.countTrailingZeros());
55 EXPECT_EQ(128u, Minus1.countTrailingOnes());
56 EXPECT_EQ(128u, Minus1.countPopulation());
57 EXPECT_EQ(-1, Minus1.getSExtValue());
58}
59
Misha Brukmand1d2c502009-03-24 21:36:09 +000060TEST(APIntTest, i33_Count) {
Misha Brukman680336d2009-04-08 16:17:23 +000061 APInt i33minus2(33, static_cast<uint64_t>(-2), true);
Torok Edwinec39eb82009-01-27 18:06:03 +000062 EXPECT_EQ(0u, i33minus2.countLeadingZeros());
63 EXPECT_EQ(32u, i33minus2.countLeadingOnes());
64 EXPECT_EQ(33u, i33minus2.getActiveBits());
65 EXPECT_EQ(1u, i33minus2.countTrailingZeros());
66 EXPECT_EQ(32u, i33minus2.countPopulation());
67 EXPECT_EQ(-2, i33minus2.getSExtValue());
68 EXPECT_EQ(((uint64_t)-2)&((1ull<<33) -1), i33minus2.getZExtValue());
69}
70
Simon Pilgrimaed35222017-02-24 10:15:29 +000071TEST(APIntTest, i61_Count) {
72 APInt i61(61, 1 << 15);
73 EXPECT_EQ(45u, i61.countLeadingZeros());
74 EXPECT_EQ(0u, i61.countLeadingOnes());
75 EXPECT_EQ(16u, i61.getActiveBits());
76 EXPECT_EQ(15u, i61.countTrailingZeros());
77 EXPECT_EQ(1u, i61.countPopulation());
Simon Pilgrim4f8a4432017-02-24 11:31:00 +000078 EXPECT_EQ(static_cast<int64_t>(1 << 15), i61.getSExtValue());
79 EXPECT_EQ(static_cast<uint64_t>(1 << 15), i61.getZExtValue());
Simon Pilgrimaed35222017-02-24 10:15:29 +000080
81 i61.setBits(8, 19);
82 EXPECT_EQ(42u, i61.countLeadingZeros());
83 EXPECT_EQ(0u, i61.countLeadingOnes());
84 EXPECT_EQ(19u, i61.getActiveBits());
85 EXPECT_EQ(8u, i61.countTrailingZeros());
86 EXPECT_EQ(11u, i61.countPopulation());
Simon Pilgrim4f8a4432017-02-24 11:31:00 +000087 EXPECT_EQ(static_cast<int64_t>((1 << 19) - (1 << 8)), i61.getSExtValue());
88 EXPECT_EQ(static_cast<uint64_t>((1 << 19) - (1 << 8)), i61.getZExtValue());
Simon Pilgrimaed35222017-02-24 10:15:29 +000089}
90
Misha Brukmand1d2c502009-03-24 21:36:09 +000091TEST(APIntTest, i65_Count) {
Meador Inge32dc7242013-02-07 18:36:50 +000092 APInt i65(65, 0, true);
93 EXPECT_EQ(65u, i65.countLeadingZeros());
94 EXPECT_EQ(0u, i65.countLeadingOnes());
95 EXPECT_EQ(0u, i65.getActiveBits());
96 EXPECT_EQ(1u, i65.getActiveWords());
97 EXPECT_EQ(65u, i65.countTrailingZeros());
98 EXPECT_EQ(0u, i65.countPopulation());
99
Torok Edwinec39eb82009-01-27 18:06:03 +0000100 APInt i65minus(65, 0, true);
Jay Foad25a5e4c2010-12-01 08:53:58 +0000101 i65minus.setBit(64);
Torok Edwinec39eb82009-01-27 18:06:03 +0000102 EXPECT_EQ(0u, i65minus.countLeadingZeros());
103 EXPECT_EQ(1u, i65minus.countLeadingOnes());
104 EXPECT_EQ(65u, i65minus.getActiveBits());
105 EXPECT_EQ(64u, i65minus.countTrailingZeros());
106 EXPECT_EQ(1u, i65minus.countPopulation());
107}
108
Misha Brukmand1d2c502009-03-24 21:36:09 +0000109TEST(APIntTest, i128_PositiveCount) {
Torok Edwinec39eb82009-01-27 18:06:03 +0000110 APInt u128max = APInt::getAllOnesValue(128);
111 EXPECT_EQ(128u, u128max.countLeadingOnes());
112 EXPECT_EQ(0u, u128max.countLeadingZeros());
113 EXPECT_EQ(128u, u128max.getActiveBits());
114 EXPECT_EQ(0u, u128max.countTrailingZeros());
115 EXPECT_EQ(128u, u128max.countTrailingOnes());
116 EXPECT_EQ(128u, u128max.countPopulation());
117
Misha Brukman680336d2009-04-08 16:17:23 +0000118 APInt u64max(128, static_cast<uint64_t>(-1), false);
Torok Edwinec39eb82009-01-27 18:06:03 +0000119 EXPECT_EQ(64u, u64max.countLeadingZeros());
120 EXPECT_EQ(0u, u64max.countLeadingOnes());
121 EXPECT_EQ(64u, u64max.getActiveBits());
122 EXPECT_EQ(0u, u64max.countTrailingZeros());
123 EXPECT_EQ(64u, u64max.countTrailingOnes());
124 EXPECT_EQ(64u, u64max.countPopulation());
125 EXPECT_EQ((uint64_t)~0ull, u64max.getZExtValue());
126
127 APInt zero(128, 0, true);
128 EXPECT_EQ(128u, zero.countLeadingZeros());
129 EXPECT_EQ(0u, zero.countLeadingOnes());
130 EXPECT_EQ(0u, zero.getActiveBits());
131 EXPECT_EQ(128u, zero.countTrailingZeros());
132 EXPECT_EQ(0u, zero.countTrailingOnes());
133 EXPECT_EQ(0u, zero.countPopulation());
134 EXPECT_EQ(0u, zero.getSExtValue());
135 EXPECT_EQ(0u, zero.getZExtValue());
136
137 APInt one(128, 1, true);
138 EXPECT_EQ(127u, one.countLeadingZeros());
139 EXPECT_EQ(0u, one.countLeadingOnes());
140 EXPECT_EQ(1u, one.getActiveBits());
141 EXPECT_EQ(0u, one.countTrailingZeros());
142 EXPECT_EQ(1u, one.countTrailingOnes());
143 EXPECT_EQ(1u, one.countPopulation());
144 EXPECT_EQ(1, one.getSExtValue());
145 EXPECT_EQ(1u, one.getZExtValue());
Simon Pilgrimaed35222017-02-24 10:15:29 +0000146
147 APInt s128(128, 2, true);
148 EXPECT_EQ(126u, s128.countLeadingZeros());
149 EXPECT_EQ(0u, s128.countLeadingOnes());
150 EXPECT_EQ(2u, s128.getActiveBits());
151 EXPECT_EQ(1u, s128.countTrailingZeros());
152 EXPECT_EQ(0u, s128.countTrailingOnes());
153 EXPECT_EQ(1u, s128.countPopulation());
154 EXPECT_EQ(2, s128.getSExtValue());
155 EXPECT_EQ(2u, s128.getZExtValue());
156
157 // NOP Test
158 s128.setBits(42, 42);
159 EXPECT_EQ(126u, s128.countLeadingZeros());
160 EXPECT_EQ(0u, s128.countLeadingOnes());
161 EXPECT_EQ(2u, s128.getActiveBits());
162 EXPECT_EQ(1u, s128.countTrailingZeros());
163 EXPECT_EQ(0u, s128.countTrailingOnes());
164 EXPECT_EQ(1u, s128.countPopulation());
165 EXPECT_EQ(2, s128.getSExtValue());
166 EXPECT_EQ(2u, s128.getZExtValue());
167
168 s128.setBits(3, 32);
169 EXPECT_EQ(96u, s128.countLeadingZeros());
170 EXPECT_EQ(0u, s128.countLeadingOnes());
171 EXPECT_EQ(32u, s128.getActiveBits());
172 EXPECT_EQ(33u, s128.getMinSignedBits());
173 EXPECT_EQ(1u, s128.countTrailingZeros());
174 EXPECT_EQ(0u, s128.countTrailingOnes());
175 EXPECT_EQ(30u, s128.countPopulation());
176 EXPECT_EQ(static_cast<uint32_t>((~0u << 3) | 2), s128.getZExtValue());
177
178 s128.setBits(62, 128);
179 EXPECT_EQ(0u, s128.countLeadingZeros());
180 EXPECT_EQ(66u, s128.countLeadingOnes());
181 EXPECT_EQ(128u, s128.getActiveBits());
182 EXPECT_EQ(63u, s128.getMinSignedBits());
183 EXPECT_EQ(1u, s128.countTrailingZeros());
184 EXPECT_EQ(0u, s128.countTrailingOnes());
185 EXPECT_EQ(96u, s128.countPopulation());
186 EXPECT_EQ(static_cast<int64_t>((3ull << 62) |
187 static_cast<uint32_t>((~0u << 3) | 2)),
188 s128.getSExtValue());
189}
190
191TEST(APIntTest, i256) {
192 APInt s256(256, 15, true);
193 EXPECT_EQ(252u, s256.countLeadingZeros());
194 EXPECT_EQ(0u, s256.countLeadingOnes());
195 EXPECT_EQ(4u, s256.getActiveBits());
196 EXPECT_EQ(0u, s256.countTrailingZeros());
197 EXPECT_EQ(4u, s256.countTrailingOnes());
198 EXPECT_EQ(4u, s256.countPopulation());
199 EXPECT_EQ(15, s256.getSExtValue());
200 EXPECT_EQ(15u, s256.getZExtValue());
201
202 s256.setBits(62, 66);
203 EXPECT_EQ(190u, s256.countLeadingZeros());
204 EXPECT_EQ(0u, s256.countLeadingOnes());
205 EXPECT_EQ(66u, s256.getActiveBits());
206 EXPECT_EQ(67u, s256.getMinSignedBits());
207 EXPECT_EQ(0u, s256.countTrailingZeros());
208 EXPECT_EQ(4u, s256.countTrailingOnes());
209 EXPECT_EQ(8u, s256.countPopulation());
210
211 s256.setBits(60, 256);
212 EXPECT_EQ(0u, s256.countLeadingZeros());
213 EXPECT_EQ(196u, s256.countLeadingOnes());
214 EXPECT_EQ(256u, s256.getActiveBits());
215 EXPECT_EQ(61u, s256.getMinSignedBits());
216 EXPECT_EQ(0u, s256.countTrailingZeros());
217 EXPECT_EQ(4u, s256.countTrailingOnes());
218 EXPECT_EQ(200u, s256.countPopulation());
219 EXPECT_EQ(static_cast<int64_t>((~0ull << 60) | 15), s256.getSExtValue());
Nick Lewyckyee226112009-01-19 18:08:33 +0000220}
221
Misha Brukmand1d2c502009-03-24 21:36:09 +0000222TEST(APIntTest, i1) {
Misha Brukman680336d2009-04-08 16:17:23 +0000223 const APInt neg_two(1, static_cast<uint64_t>(-2), true);
224 const APInt neg_one(1, static_cast<uint64_t>(-1), true);
Misha Brukmand1d2c502009-03-24 21:36:09 +0000225 const APInt zero(1, 0);
226 const APInt one(1, 1);
227 const APInt two(1, 2);
228
229 EXPECT_EQ(0, neg_two.getSExtValue());
230 EXPECT_EQ(-1, neg_one.getSExtValue());
231 EXPECT_EQ(1u, neg_one.getZExtValue());
232 EXPECT_EQ(0u, zero.getZExtValue());
233 EXPECT_EQ(-1, one.getSExtValue());
234 EXPECT_EQ(1u, one.getZExtValue());
235 EXPECT_EQ(0u, two.getZExtValue());
236 EXPECT_EQ(0, two.getSExtValue());
237
238 // Basic equalities for 1-bit values.
239 EXPECT_EQ(zero, two);
240 EXPECT_EQ(zero, neg_two);
241 EXPECT_EQ(one, neg_one);
242 EXPECT_EQ(two, neg_two);
243
Benjamin Kramer886461e2015-06-04 18:19:13 +0000244 // Min/max signed values.
245 EXPECT_TRUE(zero.isMaxSignedValue());
246 EXPECT_FALSE(one.isMaxSignedValue());
247 EXPECT_FALSE(zero.isMinSignedValue());
248 EXPECT_TRUE(one.isMinSignedValue());
249
Misha Brukmand1d2c502009-03-24 21:36:09 +0000250 // Additions.
251 EXPECT_EQ(two, one + one);
252 EXPECT_EQ(zero, neg_one + one);
253 EXPECT_EQ(neg_two, neg_one + neg_one);
254
255 // Subtractions.
256 EXPECT_EQ(neg_two, neg_one - one);
257 EXPECT_EQ(two, one - neg_one);
258 EXPECT_EQ(zero, one - one);
259
Craig Topper9028f052017-01-24 02:10:15 +0000260 // And
261 EXPECT_EQ(zero, zero & zero);
262 EXPECT_EQ(zero, one & zero);
263 EXPECT_EQ(zero, zero & one);
264 EXPECT_EQ(one, one & one);
265 EXPECT_EQ(zero, zero & zero);
266 EXPECT_EQ(zero, neg_one & zero);
267 EXPECT_EQ(zero, zero & neg_one);
268 EXPECT_EQ(neg_one, neg_one & neg_one);
269
270 // Or
271 EXPECT_EQ(zero, zero | zero);
272 EXPECT_EQ(one, one | zero);
273 EXPECT_EQ(one, zero | one);
274 EXPECT_EQ(one, one | one);
275 EXPECT_EQ(zero, zero | zero);
276 EXPECT_EQ(neg_one, neg_one | zero);
277 EXPECT_EQ(neg_one, zero | neg_one);
278 EXPECT_EQ(neg_one, neg_one | neg_one);
279
280 // Xor
281 EXPECT_EQ(zero, zero ^ zero);
282 EXPECT_EQ(one, one ^ zero);
283 EXPECT_EQ(one, zero ^ one);
284 EXPECT_EQ(zero, one ^ one);
285 EXPECT_EQ(zero, zero ^ zero);
286 EXPECT_EQ(neg_one, neg_one ^ zero);
287 EXPECT_EQ(neg_one, zero ^ neg_one);
288 EXPECT_EQ(zero, neg_one ^ neg_one);
289
Misha Brukmand1d2c502009-03-24 21:36:09 +0000290 // Shifts.
291 EXPECT_EQ(zero, one << one);
292 EXPECT_EQ(one, one << zero);
293 EXPECT_EQ(zero, one.shl(1));
294 EXPECT_EQ(one, one.shl(0));
295 EXPECT_EQ(zero, one.lshr(1));
296 EXPECT_EQ(zero, one.ashr(1));
297
Eli Friedmanf70c8622011-12-22 22:11:19 +0000298 // Rotates.
299 EXPECT_EQ(one, one.rotl(0));
300 EXPECT_EQ(one, one.rotl(1));
301 EXPECT_EQ(one, one.rotr(0));
302 EXPECT_EQ(one, one.rotr(1));
303
Misha Brukmand1d2c502009-03-24 21:36:09 +0000304 // Multiplies.
305 EXPECT_EQ(neg_one, neg_one * one);
306 EXPECT_EQ(neg_one, one * neg_one);
307 EXPECT_EQ(one, neg_one * neg_one);
308 EXPECT_EQ(one, one * one);
309
310 // Divides.
311 EXPECT_EQ(neg_one, one.sdiv(neg_one));
312 EXPECT_EQ(neg_one, neg_one.sdiv(one));
313 EXPECT_EQ(one, neg_one.sdiv(neg_one));
314 EXPECT_EQ(one, one.sdiv(one));
315
316 EXPECT_EQ(neg_one, one.udiv(neg_one));
317 EXPECT_EQ(neg_one, neg_one.udiv(one));
318 EXPECT_EQ(one, neg_one.udiv(neg_one));
319 EXPECT_EQ(one, one.udiv(one));
320
321 // Remainders.
322 EXPECT_EQ(zero, neg_one.srem(one));
323 EXPECT_EQ(zero, neg_one.urem(one));
324 EXPECT_EQ(zero, one.srem(neg_one));
Nuno Lopes61b7fa22012-05-22 01:09:48 +0000325
326 // sdivrem
327 {
328 APInt q(8, 0);
329 APInt r(8, 0);
330 APInt one(8, 1);
331 APInt two(8, 2);
332 APInt nine(8, 9);
333 APInt four(8, 4);
334
335 EXPECT_EQ(nine.srem(two), one);
336 EXPECT_EQ(nine.srem(-two), one);
337 EXPECT_EQ((-nine).srem(two), -one);
338 EXPECT_EQ((-nine).srem(-two), -one);
339
340 APInt::sdivrem(nine, two, q, r);
341 EXPECT_EQ(four, q);
342 EXPECT_EQ(one, r);
343 APInt::sdivrem(-nine, two, q, r);
344 EXPECT_EQ(-four, q);
345 EXPECT_EQ(-one, r);
346 APInt::sdivrem(nine, -two, q, r);
347 EXPECT_EQ(-four, q);
348 EXPECT_EQ(one, r);
349 APInt::sdivrem(-nine, -two, q, r);
350 EXPECT_EQ(four, q);
351 EXPECT_EQ(-one, r);
352 }
Misha Brukmand1d2c502009-03-24 21:36:09 +0000353}
354
Pawel Bylica8bebed92015-06-25 10:23:52 +0000355TEST(APIntTest, compare) {
356 std::array<APInt, 5> testVals{{
357 APInt{16, 2},
358 APInt{16, 1},
359 APInt{16, 0},
360 APInt{16, (uint64_t)-1, true},
361 APInt{16, (uint64_t)-2, true},
362 }};
363
364 for (auto &arg1 : testVals)
365 for (auto &arg2 : testVals) {
366 auto uv1 = arg1.getZExtValue();
367 auto uv2 = arg2.getZExtValue();
368 auto sv1 = arg1.getSExtValue();
369 auto sv2 = arg2.getSExtValue();
370
371 EXPECT_EQ(uv1 < uv2, arg1.ult(arg2));
372 EXPECT_EQ(uv1 <= uv2, arg1.ule(arg2));
373 EXPECT_EQ(uv1 > uv2, arg1.ugt(arg2));
374 EXPECT_EQ(uv1 >= uv2, arg1.uge(arg2));
375
376 EXPECT_EQ(sv1 < sv2, arg1.slt(arg2));
377 EXPECT_EQ(sv1 <= sv2, arg1.sle(arg2));
378 EXPECT_EQ(sv1 > sv2, arg1.sgt(arg2));
379 EXPECT_EQ(sv1 >= sv2, arg1.sge(arg2));
380
381 EXPECT_EQ(uv1 < uv2, arg1.ult(uv2));
382 EXPECT_EQ(uv1 <= uv2, arg1.ule(uv2));
383 EXPECT_EQ(uv1 > uv2, arg1.ugt(uv2));
384 EXPECT_EQ(uv1 >= uv2, arg1.uge(uv2));
385
386 EXPECT_EQ(sv1 < sv2, arg1.slt(sv2));
387 EXPECT_EQ(sv1 <= sv2, arg1.sle(sv2));
388 EXPECT_EQ(sv1 > sv2, arg1.sgt(sv2));
389 EXPECT_EQ(sv1 >= sv2, arg1.sge(sv2));
390 }
391}
392
Pawel Bylicaea46a662015-07-01 22:56:43 +0000393TEST(APIntTest, compareWithRawIntegers) {
394 EXPECT_TRUE(!APInt(8, 1).uge(256));
395 EXPECT_TRUE(!APInt(8, 1).ugt(256));
396 EXPECT_TRUE( APInt(8, 1).ule(256));
397 EXPECT_TRUE( APInt(8, 1).ult(256));
398 EXPECT_TRUE(!APInt(8, 1).sge(256));
399 EXPECT_TRUE(!APInt(8, 1).sgt(256));
400 EXPECT_TRUE( APInt(8, 1).sle(256));
401 EXPECT_TRUE( APInt(8, 1).slt(256));
402 EXPECT_TRUE(!(APInt(8, 0) == 256));
403 EXPECT_TRUE( APInt(8, 0) != 256);
404 EXPECT_TRUE(!(APInt(8, 1) == 256));
405 EXPECT_TRUE( APInt(8, 1) != 256);
406
407 auto uint64max = UINT64_MAX;
408 auto int64max = INT64_MAX;
409 auto int64min = INT64_MIN;
410
411 auto u64 = APInt{128, uint64max};
412 auto s64 = APInt{128, static_cast<uint64_t>(int64max), true};
413 auto big = u64 + 1;
414
415 EXPECT_TRUE( u64.uge(uint64max));
416 EXPECT_TRUE(!u64.ugt(uint64max));
417 EXPECT_TRUE( u64.ule(uint64max));
418 EXPECT_TRUE(!u64.ult(uint64max));
419 EXPECT_TRUE( u64.sge(int64max));
420 EXPECT_TRUE( u64.sgt(int64max));
421 EXPECT_TRUE(!u64.sle(int64max));
422 EXPECT_TRUE(!u64.slt(int64max));
423 EXPECT_TRUE( u64.sge(int64min));
424 EXPECT_TRUE( u64.sgt(int64min));
425 EXPECT_TRUE(!u64.sle(int64min));
426 EXPECT_TRUE(!u64.slt(int64min));
427
428 EXPECT_TRUE(u64 == uint64max);
429 EXPECT_TRUE(u64 != int64max);
430 EXPECT_TRUE(u64 != int64min);
431
432 EXPECT_TRUE(!s64.uge(uint64max));
433 EXPECT_TRUE(!s64.ugt(uint64max));
434 EXPECT_TRUE( s64.ule(uint64max));
435 EXPECT_TRUE( s64.ult(uint64max));
436 EXPECT_TRUE( s64.sge(int64max));
437 EXPECT_TRUE(!s64.sgt(int64max));
438 EXPECT_TRUE( s64.sle(int64max));
439 EXPECT_TRUE(!s64.slt(int64max));
440 EXPECT_TRUE( s64.sge(int64min));
441 EXPECT_TRUE( s64.sgt(int64min));
442 EXPECT_TRUE(!s64.sle(int64min));
443 EXPECT_TRUE(!s64.slt(int64min));
444
445 EXPECT_TRUE(s64 != uint64max);
446 EXPECT_TRUE(s64 == int64max);
447 EXPECT_TRUE(s64 != int64min);
448
449 EXPECT_TRUE( big.uge(uint64max));
450 EXPECT_TRUE( big.ugt(uint64max));
451 EXPECT_TRUE(!big.ule(uint64max));
452 EXPECT_TRUE(!big.ult(uint64max));
453 EXPECT_TRUE( big.sge(int64max));
454 EXPECT_TRUE( big.sgt(int64max));
455 EXPECT_TRUE(!big.sle(int64max));
456 EXPECT_TRUE(!big.slt(int64max));
457 EXPECT_TRUE( big.sge(int64min));
458 EXPECT_TRUE( big.sgt(int64min));
459 EXPECT_TRUE(!big.sle(int64min));
460 EXPECT_TRUE(!big.slt(int64min));
461
462 EXPECT_TRUE(big != uint64max);
463 EXPECT_TRUE(big != int64max);
464 EXPECT_TRUE(big != int64min);
465}
466
467TEST(APIntTest, compareWithInt64Min) {
468 int64_t edge = INT64_MIN;
469 int64_t edgeP1 = edge + 1;
470 int64_t edgeM1 = INT64_MAX;
471 auto a = APInt{64, static_cast<uint64_t>(edge), true};
472
473 EXPECT_TRUE(!a.slt(edge));
474 EXPECT_TRUE( a.sle(edge));
475 EXPECT_TRUE(!a.sgt(edge));
476 EXPECT_TRUE( a.sge(edge));
477 EXPECT_TRUE( a.slt(edgeP1));
478 EXPECT_TRUE( a.sle(edgeP1));
479 EXPECT_TRUE(!a.sgt(edgeP1));
480 EXPECT_TRUE(!a.sge(edgeP1));
481 EXPECT_TRUE( a.slt(edgeM1));
482 EXPECT_TRUE( a.sle(edgeM1));
483 EXPECT_TRUE(!a.sgt(edgeM1));
484 EXPECT_TRUE(!a.sge(edgeM1));
485}
486
487TEST(APIntTest, compareWithHalfInt64Max) {
488 uint64_t edge = 0x4000000000000000;
489 uint64_t edgeP1 = edge + 1;
490 uint64_t edgeM1 = edge - 1;
491 auto a = APInt{64, edge};
492
493 EXPECT_TRUE(!a.ult(edge));
494 EXPECT_TRUE( a.ule(edge));
495 EXPECT_TRUE(!a.ugt(edge));
496 EXPECT_TRUE( a.uge(edge));
497 EXPECT_TRUE( a.ult(edgeP1));
498 EXPECT_TRUE( a.ule(edgeP1));
499 EXPECT_TRUE(!a.ugt(edgeP1));
500 EXPECT_TRUE(!a.uge(edgeP1));
501 EXPECT_TRUE(!a.ult(edgeM1));
502 EXPECT_TRUE(!a.ule(edgeM1));
503 EXPECT_TRUE( a.ugt(edgeM1));
504 EXPECT_TRUE( a.uge(edgeM1));
505
506 EXPECT_TRUE(!a.slt(edge));
507 EXPECT_TRUE( a.sle(edge));
508 EXPECT_TRUE(!a.sgt(edge));
509 EXPECT_TRUE( a.sge(edge));
510 EXPECT_TRUE( a.slt(edgeP1));
511 EXPECT_TRUE( a.sle(edgeP1));
512 EXPECT_TRUE(!a.sgt(edgeP1));
513 EXPECT_TRUE(!a.sge(edgeP1));
514 EXPECT_TRUE(!a.slt(edgeM1));
515 EXPECT_TRUE(!a.sle(edgeM1));
516 EXPECT_TRUE( a.sgt(edgeM1));
517 EXPECT_TRUE( a.sge(edgeM1));
518}
519
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000520TEST(APIntTest, compareLargeIntegers) {
521 // Make sure all the combinations of signed comparisons work with big ints.
522 auto One = APInt{128, static_cast<uint64_t>(1), true};
523 auto Two = APInt{128, static_cast<uint64_t>(2), true};
524 auto MinusOne = APInt{128, static_cast<uint64_t>(-1), true};
525 auto MinusTwo = APInt{128, static_cast<uint64_t>(-2), true};
526
527 EXPECT_TRUE(!One.slt(One));
528 EXPECT_TRUE(!Two.slt(One));
529 EXPECT_TRUE(MinusOne.slt(One));
530 EXPECT_TRUE(MinusTwo.slt(One));
531
532 EXPECT_TRUE(One.slt(Two));
533 EXPECT_TRUE(!Two.slt(Two));
534 EXPECT_TRUE(MinusOne.slt(Two));
535 EXPECT_TRUE(MinusTwo.slt(Two));
536
537 EXPECT_TRUE(!One.slt(MinusOne));
538 EXPECT_TRUE(!Two.slt(MinusOne));
539 EXPECT_TRUE(!MinusOne.slt(MinusOne));
540 EXPECT_TRUE(MinusTwo.slt(MinusOne));
541
542 EXPECT_TRUE(!One.slt(MinusTwo));
543 EXPECT_TRUE(!Two.slt(MinusTwo));
544 EXPECT_TRUE(!MinusOne.slt(MinusTwo));
545 EXPECT_TRUE(!MinusTwo.slt(MinusTwo));
546}
547
Amaury Sechetfb1756b2017-02-03 22:54:41 +0000548TEST(APIntTest, binaryOpsWithRawIntegers) {
549 // Single word check.
550 uint64_t E1 = 0x2CA7F46BF6569915ULL;
551 APInt A1(64, E1);
552
553 EXPECT_EQ(A1 & E1, E1);
554 EXPECT_EQ(A1 & 0, 0);
555 EXPECT_EQ(A1 & 1, 1);
556 EXPECT_EQ(A1 & 5, 5);
557 EXPECT_EQ(A1 & UINT64_MAX, E1);
558
559 EXPECT_EQ(A1 | E1, E1);
560 EXPECT_EQ(A1 | 0, E1);
561 EXPECT_EQ(A1 | 1, E1);
562 EXPECT_EQ(A1 | 2, E1 | 2);
563 EXPECT_EQ(A1 | UINT64_MAX, UINT64_MAX);
564
565 EXPECT_EQ(A1 ^ E1, 0);
566 EXPECT_EQ(A1 ^ 0, E1);
567 EXPECT_EQ(A1 ^ 1, E1 ^ 1);
568 EXPECT_EQ(A1 ^ 7, E1 ^ 7);
569 EXPECT_EQ(A1 ^ UINT64_MAX, ~E1);
570
571 // Multiword check.
572 uint64_t N = 0xEB6EB136591CBA21ULL;
Craig Topper55229b72017-04-02 19:17:22 +0000573 APInt::WordType E2[4] = {
Amaury Sechetfb1756b2017-02-03 22:54:41 +0000574 N,
575 0x7B9358BD6A33F10AULL,
576 0x7E7FFA5EADD8846ULL,
577 0x305F341CA00B613DULL
578 };
Craig Topper55229b72017-04-02 19:17:22 +0000579 APInt A2(APInt::APINT_BITS_PER_WORD*4, E2);
Amaury Sechetfb1756b2017-02-03 22:54:41 +0000580
581 EXPECT_EQ(A2 & N, N);
582 EXPECT_EQ(A2 & 0, 0);
583 EXPECT_EQ(A2 & 1, 1);
584 EXPECT_EQ(A2 & 5, 1);
585 EXPECT_EQ(A2 & UINT64_MAX, N);
586
587 EXPECT_EQ(A2 | N, A2);
588 EXPECT_EQ(A2 | 0, A2);
589 EXPECT_EQ(A2 | 1, A2);
590 EXPECT_EQ(A2 | 2, A2 + 2);
591 EXPECT_EQ(A2 | UINT64_MAX, A2 - N + UINT64_MAX);
592
593 EXPECT_EQ(A2 ^ N, A2 - N);
594 EXPECT_EQ(A2 ^ 0, A2);
595 EXPECT_EQ(A2 ^ 1, A2 - 1);
596 EXPECT_EQ(A2 ^ 7, A2 + 5);
597 EXPECT_EQ(A2 ^ UINT64_MAX, A2 - N + ~N);
598}
599
Pete Cooperfea21392016-07-22 20:55:46 +0000600TEST(APIntTest, rvalue_arithmetic) {
601 // Test all combinations of lvalue/rvalue lhs/rhs of add/sub
602
603 // Lamdba to return an APInt by value, but also provide the raw value of the
604 // allocated data.
605 auto getRValue = [](const char *HexString, uint64_t const *&RawData) {
606 APInt V(129, HexString, 16);
607 RawData = V.getRawData();
608 return V;
609 };
610
611 APInt One(129, "1", 16);
612 APInt Two(129, "2", 16);
613 APInt Three(129, "3", 16);
614 APInt MinusOne = -One;
615
616 const uint64_t *RawDataL = nullptr;
617 const uint64_t *RawDataR = nullptr;
618
619 {
620 // 1 + 1 = 2
621 APInt AddLL = One + One;
622 EXPECT_EQ(AddLL, Two);
623
624 APInt AddLR = One + getRValue("1", RawDataR);
625 EXPECT_EQ(AddLR, Two);
626 EXPECT_EQ(AddLR.getRawData(), RawDataR);
627
628 APInt AddRL = getRValue("1", RawDataL) + One;
629 EXPECT_EQ(AddRL, Two);
630 EXPECT_EQ(AddRL.getRawData(), RawDataL);
631
632 APInt AddRR = getRValue("1", RawDataL) + getRValue("1", RawDataR);
633 EXPECT_EQ(AddRR, Two);
634 EXPECT_EQ(AddRR.getRawData(), RawDataR);
635
636 // LValue's and constants
637 APInt AddLK = One + 1;
638 EXPECT_EQ(AddLK, Two);
639
640 APInt AddKL = 1 + One;
641 EXPECT_EQ(AddKL, Two);
642
643 // RValue's and constants
644 APInt AddRK = getRValue("1", RawDataL) + 1;
645 EXPECT_EQ(AddRK, Two);
646 EXPECT_EQ(AddRK.getRawData(), RawDataL);
647
648 APInt AddKR = 1 + getRValue("1", RawDataR);
649 EXPECT_EQ(AddKR, Two);
650 EXPECT_EQ(AddKR.getRawData(), RawDataR);
651 }
652
653 {
654 // 0x0,FFFF...FFFF + 0x2 = 0x100...0001
655 APInt AllOnes(129, "0FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", 16);
656 APInt HighOneLowOne(129, "100000000000000000000000000000001", 16);
657
658 APInt AddLL = AllOnes + Two;
659 EXPECT_EQ(AddLL, HighOneLowOne);
660
661 APInt AddLR = AllOnes + getRValue("2", RawDataR);
662 EXPECT_EQ(AddLR, HighOneLowOne);
663 EXPECT_EQ(AddLR.getRawData(), RawDataR);
664
665 APInt AddRL = getRValue("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", RawDataL) + Two;
666 EXPECT_EQ(AddRL, HighOneLowOne);
667 EXPECT_EQ(AddRL.getRawData(), RawDataL);
668
669 APInt AddRR = getRValue("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", RawDataL) +
670 getRValue("2", RawDataR);
671 EXPECT_EQ(AddRR, HighOneLowOne);
672 EXPECT_EQ(AddRR.getRawData(), RawDataR);
673
674 // LValue's and constants
675 APInt AddLK = AllOnes + 2;
676 EXPECT_EQ(AddLK, HighOneLowOne);
677
678 APInt AddKL = 2 + AllOnes;
679 EXPECT_EQ(AddKL, HighOneLowOne);
680
681 // RValue's and constants
682 APInt AddRK = getRValue("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", RawDataL) + 2;
683 EXPECT_EQ(AddRK, HighOneLowOne);
684 EXPECT_EQ(AddRK.getRawData(), RawDataL);
685
686 APInt AddKR = 2 + getRValue("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", RawDataR);
687 EXPECT_EQ(AddKR, HighOneLowOne);
688 EXPECT_EQ(AddKR.getRawData(), RawDataR);
689 }
690
691 {
692 // 2 - 1 = 1
693 APInt SubLL = Two - One;
694 EXPECT_EQ(SubLL, One);
695
696 APInt SubLR = Two - getRValue("1", RawDataR);
697 EXPECT_EQ(SubLR, One);
698 EXPECT_EQ(SubLR.getRawData(), RawDataR);
699
700 APInt SubRL = getRValue("2", RawDataL) - One;
701 EXPECT_EQ(SubRL, One);
702 EXPECT_EQ(SubRL.getRawData(), RawDataL);
703
704 APInt SubRR = getRValue("2", RawDataL) - getRValue("1", RawDataR);
705 EXPECT_EQ(SubRR, One);
706 EXPECT_EQ(SubRR.getRawData(), RawDataR);
707
708 // LValue's and constants
709 APInt SubLK = Two - 1;
710 EXPECT_EQ(SubLK, One);
711
712 APInt SubKL = 2 - One;
713 EXPECT_EQ(SubKL, One);
714
715 // RValue's and constants
716 APInt SubRK = getRValue("2", RawDataL) - 1;
717 EXPECT_EQ(SubRK, One);
718 EXPECT_EQ(SubRK.getRawData(), RawDataL);
719
720 APInt SubKR = 2 - getRValue("1", RawDataR);
721 EXPECT_EQ(SubKR, One);
722 EXPECT_EQ(SubKR.getRawData(), RawDataR);
723 }
724
725 {
726 // 0x100...0001 - 0x0,FFFF...FFFF = 0x2
727 APInt AllOnes(129, "0FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", 16);
728 APInt HighOneLowOne(129, "100000000000000000000000000000001", 16);
729
730 APInt SubLL = HighOneLowOne - AllOnes;
731 EXPECT_EQ(SubLL, Two);
732
733 APInt SubLR = HighOneLowOne -
734 getRValue("0FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", RawDataR);
735 EXPECT_EQ(SubLR, Two);
736 EXPECT_EQ(SubLR.getRawData(), RawDataR);
737
738 APInt SubRL = getRValue("100000000000000000000000000000001", RawDataL) -
739 AllOnes;
740 EXPECT_EQ(SubRL, Two);
741 EXPECT_EQ(SubRL.getRawData(), RawDataL);
742
743 APInt SubRR = getRValue("100000000000000000000000000000001", RawDataL) -
744 getRValue("0FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", RawDataR);
745 EXPECT_EQ(SubRR, Two);
746 EXPECT_EQ(SubRR.getRawData(), RawDataR);
747
748 // LValue's and constants
749 // 0x100...0001 - 0x2 = 0x0,FFFF...FFFF
750 APInt SubLK = HighOneLowOne - 2;
751 EXPECT_EQ(SubLK, AllOnes);
752
753 // 2 - (-1) = 3
754 APInt SubKL = 2 - MinusOne;
755 EXPECT_EQ(SubKL, Three);
756
757 // RValue's and constants
758 // 0x100...0001 - 0x2 = 0x0,FFFF...FFFF
759 APInt SubRK = getRValue("100000000000000000000000000000001", RawDataL) - 2;
760 EXPECT_EQ(SubRK, AllOnes);
761 EXPECT_EQ(SubRK.getRawData(), RawDataL);
762
763 APInt SubKR = 2 - getRValue("1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", RawDataR);
764 EXPECT_EQ(SubKR, Three);
765 EXPECT_EQ(SubKR.getRawData(), RawDataR);
766 }
767}
768
Craig Topperb60a46f2017-03-07 05:36:19 +0000769TEST(APIntTest, rvalue_bitwise) {
770 // Test all combinations of lvalue/rvalue lhs/rhs of and/or/xor
771
772 // Lamdba to return an APInt by value, but also provide the raw value of the
773 // allocated data.
774 auto getRValue = [](const char *HexString, uint64_t const *&RawData) {
775 APInt V(129, HexString, 16);
776 RawData = V.getRawData();
777 return V;
778 };
779
780 APInt Ten(129, "A", 16);
781 APInt Twelve(129, "C", 16);
782
783 const uint64_t *RawDataL = nullptr;
784 const uint64_t *RawDataR = nullptr;
785
786 {
787 // 12 & 10 = 8
788 APInt AndLL = Ten & Twelve;
789 EXPECT_EQ(AndLL, 0x8);
790
791 APInt AndLR = Ten & getRValue("C", RawDataR);
792 EXPECT_EQ(AndLR, 0x8);
793 EXPECT_EQ(AndLR.getRawData(), RawDataR);
794
795 APInt AndRL = getRValue("A", RawDataL) & Twelve;
796 EXPECT_EQ(AndRL, 0x8);
797 EXPECT_EQ(AndRL.getRawData(), RawDataL);
798
799 APInt AndRR = getRValue("A", RawDataL) & getRValue("C", RawDataR);
800 EXPECT_EQ(AndRR, 0x8);
801 EXPECT_EQ(AndRR.getRawData(), RawDataR);
802
803 // LValue's and constants
804 APInt AndLK = Ten & 0xc;
805 EXPECT_EQ(AndLK, 0x8);
806
807 APInt AndKL = 0xa & Twelve;
808 EXPECT_EQ(AndKL, 0x8);
809
810 // RValue's and constants
811 APInt AndRK = getRValue("A", RawDataL) & 0xc;
812 EXPECT_EQ(AndRK, 0x8);
813 EXPECT_EQ(AndRK.getRawData(), RawDataL);
814
815 APInt AndKR = 0xa & getRValue("C", RawDataR);
816 EXPECT_EQ(AndKR, 0x8);
817 EXPECT_EQ(AndKR.getRawData(), RawDataR);
818 }
819
820 {
821 // 12 | 10 = 14
822 APInt OrLL = Ten | Twelve;
823 EXPECT_EQ(OrLL, 0xe);
824
825 APInt OrLR = Ten | getRValue("C", RawDataR);
826 EXPECT_EQ(OrLR, 0xe);
827 EXPECT_EQ(OrLR.getRawData(), RawDataR);
828
829 APInt OrRL = getRValue("A", RawDataL) | Twelve;
830 EXPECT_EQ(OrRL, 0xe);
831 EXPECT_EQ(OrRL.getRawData(), RawDataL);
832
833 APInt OrRR = getRValue("A", RawDataL) | getRValue("C", RawDataR);
834 EXPECT_EQ(OrRR, 0xe);
835 EXPECT_EQ(OrRR.getRawData(), RawDataR);
836
837 // LValue's and constants
838 APInt OrLK = Ten | 0xc;
839 EXPECT_EQ(OrLK, 0xe);
840
841 APInt OrKL = 0xa | Twelve;
842 EXPECT_EQ(OrKL, 0xe);
843
844 // RValue's and constants
845 APInt OrRK = getRValue("A", RawDataL) | 0xc;
846 EXPECT_EQ(OrRK, 0xe);
847 EXPECT_EQ(OrRK.getRawData(), RawDataL);
848
849 APInt OrKR = 0xa | getRValue("C", RawDataR);
850 EXPECT_EQ(OrKR, 0xe);
851 EXPECT_EQ(OrKR.getRawData(), RawDataR);
852 }
853
854 {
855 // 12 ^ 10 = 6
856 APInt XorLL = Ten ^ Twelve;
857 EXPECT_EQ(XorLL, 0x6);
858
859 APInt XorLR = Ten ^ getRValue("C", RawDataR);
860 EXPECT_EQ(XorLR, 0x6);
861 EXPECT_EQ(XorLR.getRawData(), RawDataR);
862
863 APInt XorRL = getRValue("A", RawDataL) ^ Twelve;
864 EXPECT_EQ(XorRL, 0x6);
865 EXPECT_EQ(XorRL.getRawData(), RawDataL);
866
867 APInt XorRR = getRValue("A", RawDataL) ^ getRValue("C", RawDataR);
868 EXPECT_EQ(XorRR, 0x6);
869 EXPECT_EQ(XorRR.getRawData(), RawDataR);
870
871 // LValue's and constants
872 APInt XorLK = Ten ^ 0xc;
873 EXPECT_EQ(XorLK, 0x6);
874
875 APInt XorKL = 0xa ^ Twelve;
876 EXPECT_EQ(XorKL, 0x6);
877
878 // RValue's and constants
879 APInt XorRK = getRValue("A", RawDataL) ^ 0xc;
880 EXPECT_EQ(XorRK, 0x6);
881 EXPECT_EQ(XorRK.getRawData(), RawDataL);
882
883 APInt XorKR = 0xa ^ getRValue("C", RawDataR);
884 EXPECT_EQ(XorKR, 0x6);
885 EXPECT_EQ(XorKR.getRawData(), RawDataR);
886 }
887}
888
Craig Toppera97f9272017-03-06 06:30:47 +0000889TEST(APIntTest, rvalue_invert) {
890 // Lamdba to return an APInt by value, but also provide the raw value of the
891 // allocated data.
892 auto getRValue = [](const char *HexString, uint64_t const *&RawData) {
893 APInt V(129, HexString, 16);
894 RawData = V.getRawData();
895 return V;
896 };
897
898 APInt One(129, 1);
899 APInt NegativeTwo(129, -2ULL, true);
900
901 const uint64_t *RawData = nullptr;
902
903 {
904 // ~1 = -2
905 APInt NegL = ~One;
906 EXPECT_EQ(NegL, NegativeTwo);
907
908 APInt NegR = ~getRValue("1", RawData);
909 EXPECT_EQ(NegR, NegativeTwo);
910 EXPECT_EQ(NegR.getRawData(), RawData);
911 }
912}
Pawel Bylica86ac4472015-04-24 07:38:39 +0000913
914// Tests different div/rem varaints using scheme (a * b + c) / a
915void testDiv(APInt a, APInt b, APInt c) {
916 ASSERT_TRUE(a.uge(b)); // Must: a >= b
917 ASSERT_TRUE(a.ugt(c)); // Must: a > c
Yaron Keren39fc5a62015-03-26 19:45:19 +0000918
919 auto p = a * b + c;
Pawel Bylica86ac4472015-04-24 07:38:39 +0000920
Yaron Keren39fc5a62015-03-26 19:45:19 +0000921 auto q = p.udiv(a);
922 auto r = p.urem(a);
Pawel Bylica86ac4472015-04-24 07:38:39 +0000923 EXPECT_EQ(b, q);
924 EXPECT_EQ(c, r);
Yaron Keren39fc5a62015-03-26 19:45:19 +0000925 APInt::udivrem(p, a, q, r);
Pawel Bylica86ac4472015-04-24 07:38:39 +0000926 EXPECT_EQ(b, q);
927 EXPECT_EQ(c, r);
Yaron Keren39fc5a62015-03-26 19:45:19 +0000928 q = p.sdiv(a);
929 r = p.srem(a);
Pawel Bylica86ac4472015-04-24 07:38:39 +0000930 EXPECT_EQ(b, q);
931 EXPECT_EQ(c, r);
Yaron Keren39fc5a62015-03-26 19:45:19 +0000932 APInt::sdivrem(p, a, q, r);
Pawel Bylica86ac4472015-04-24 07:38:39 +0000933 EXPECT_EQ(b, q);
934 EXPECT_EQ(c, r);
935
936 if (b.ugt(c)) { // Test also symmetric case
937 q = p.udiv(b);
938 r = p.urem(b);
939 EXPECT_EQ(a, q);
940 EXPECT_EQ(c, r);
941 APInt::udivrem(p, b, q, r);
942 EXPECT_EQ(a, q);
943 EXPECT_EQ(c, r);
944 q = p.sdiv(b);
945 r = p.srem(b);
946 EXPECT_EQ(a, q);
947 EXPECT_EQ(c, r);
948 APInt::sdivrem(p, b, q, r);
949 EXPECT_EQ(a, q);
950 EXPECT_EQ(c, r);
951 }
952}
953
954TEST(APIntTest, divrem_big1) {
955 // Tests KnuthDiv rare step D6
956 testDiv({256, "1ffffffffffffffff", 16},
957 {256, "1ffffffffffffffff", 16},
958 {256, 0});
Yaron Keren39fc5a62015-03-26 19:45:19 +0000959}
960
961TEST(APIntTest, divrem_big2) {
962 // Tests KnuthDiv rare step D6
Pawel Bylica86ac4472015-04-24 07:38:39 +0000963 testDiv({1024, "112233ceff"
964 "cecece000000ffffffffffffffffffff"
965 "ffffffffffffffffffffffffffffffff"
966 "ffffffffffffffffffffffffffffffff"
967 "ffffffffffffffffffffffffffffff33", 16},
968 {1024, "111111ffffffffffffffff"
969 "ffffffffffffffffffffffffffffffff"
970 "fffffffffffffffffffffffffffffccf"
971 "ffffffffffffffffffffffffffffff00", 16},
972 {1024, 7919});
Yaron Keren39fc5a62015-03-26 19:45:19 +0000973}
974
975TEST(APIntTest, divrem_big3) {
976 // Tests KnuthDiv case without shift
Pawel Bylica86ac4472015-04-24 07:38:39 +0000977 testDiv({256, "80000001ffffffffffffffff", 16},
978 {256, "ffffffffffffff0000000", 16},
979 {256, 4219});
Yaron Keren39fc5a62015-03-26 19:45:19 +0000980}
981
982TEST(APIntTest, divrem_big4) {
983 // Tests heap allocation in divide() enfoced by huge numbers
Pawel Bylica86ac4472015-04-24 07:38:39 +0000984 testDiv(APInt{4096, 5}.shl(2001),
985 APInt{4096, 1}.shl(2000),
986 APInt{4096, 4219*13});
Yaron Keren39fc5a62015-03-26 19:45:19 +0000987}
988
989TEST(APIntTest, divrem_big5) {
990 // Tests one word divisor case of divide()
Pawel Bylica86ac4472015-04-24 07:38:39 +0000991 testDiv(APInt{1024, 19}.shl(811),
992 APInt{1024, 4356013}, // one word
993 APInt{1024, 1});
994}
Yaron Keren39fc5a62015-03-26 19:45:19 +0000995
Pawel Bylica86ac4472015-04-24 07:38:39 +0000996TEST(APIntTest, divrem_big6) {
997 // Tests some rare "borrow" cases in D4 step
998 testDiv(APInt{512, "ffffffffffffffff00000000000000000000000001", 16},
999 APInt{512, "10000000000000001000000000000001", 16},
1000 APInt{512, "10000000000000000000000000000000", 16});
Yaron Keren39fc5a62015-03-26 19:45:19 +00001001}
1002
Yaron Keren61ad9d82015-04-22 18:49:59 +00001003TEST(APIntTest, divrem_big7) {
1004 // Yet another test for KnuthDiv rare step D6.
Pawel Bylica86ac4472015-04-24 07:38:39 +00001005 testDiv({224, "800000008000000200000005", 16},
1006 {224, "fffffffd", 16},
1007 {224, "80000000800000010000000f", 16});
Yaron Keren61ad9d82015-04-22 18:49:59 +00001008}
1009
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001010TEST(APIntTest, fromString) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001011 EXPECT_EQ(APInt(32, 0), APInt(32, "0", 2));
1012 EXPECT_EQ(APInt(32, 1), APInt(32, "1", 2));
1013 EXPECT_EQ(APInt(32, 2), APInt(32, "10", 2));
1014 EXPECT_EQ(APInt(32, 3), APInt(32, "11", 2));
1015 EXPECT_EQ(APInt(32, 4), APInt(32, "100", 2));
1016
1017 EXPECT_EQ(APInt(32, 0), APInt(32, "+0", 2));
1018 EXPECT_EQ(APInt(32, 1), APInt(32, "+1", 2));
1019 EXPECT_EQ(APInt(32, 2), APInt(32, "+10", 2));
1020 EXPECT_EQ(APInt(32, 3), APInt(32, "+11", 2));
1021 EXPECT_EQ(APInt(32, 4), APInt(32, "+100", 2));
1022
Daniel Dunbar73e76a12009-09-18 17:48:05 +00001023 EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 2));
1024 EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 2));
1025 EXPECT_EQ(APInt(32, uint64_t(-2LL)), APInt(32, "-10", 2));
1026 EXPECT_EQ(APInt(32, uint64_t(-3LL)), APInt(32, "-11", 2));
1027 EXPECT_EQ(APInt(32, uint64_t(-4LL)), APInt(32, "-100", 2));
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001028
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001029 EXPECT_EQ(APInt(32, 0), APInt(32, "0", 8));
1030 EXPECT_EQ(APInt(32, 1), APInt(32, "1", 8));
1031 EXPECT_EQ(APInt(32, 7), APInt(32, "7", 8));
1032 EXPECT_EQ(APInt(32, 8), APInt(32, "10", 8));
1033 EXPECT_EQ(APInt(32, 15), APInt(32, "17", 8));
1034 EXPECT_EQ(APInt(32, 16), APInt(32, "20", 8));
1035
1036 EXPECT_EQ(APInt(32, +0), APInt(32, "+0", 8));
1037 EXPECT_EQ(APInt(32, +1), APInt(32, "+1", 8));
1038 EXPECT_EQ(APInt(32, +7), APInt(32, "+7", 8));
1039 EXPECT_EQ(APInt(32, +8), APInt(32, "+10", 8));
1040 EXPECT_EQ(APInt(32, +15), APInt(32, "+17", 8));
1041 EXPECT_EQ(APInt(32, +16), APInt(32, "+20", 8));
1042
Daniel Dunbar0ec4ed72009-09-17 17:46:53 +00001043 EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 8));
1044 EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 8));
1045 EXPECT_EQ(APInt(32, uint64_t(-7LL)), APInt(32, "-7", 8));
1046 EXPECT_EQ(APInt(32, uint64_t(-8LL)), APInt(32, "-10", 8));
1047 EXPECT_EQ(APInt(32, uint64_t(-15LL)), APInt(32, "-17", 8));
1048 EXPECT_EQ(APInt(32, uint64_t(-16LL)), APInt(32, "-20", 8));
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001049
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001050 EXPECT_EQ(APInt(32, 0), APInt(32, "0", 10));
1051 EXPECT_EQ(APInt(32, 1), APInt(32, "1", 10));
1052 EXPECT_EQ(APInt(32, 9), APInt(32, "9", 10));
1053 EXPECT_EQ(APInt(32, 10), APInt(32, "10", 10));
1054 EXPECT_EQ(APInt(32, 19), APInt(32, "19", 10));
1055 EXPECT_EQ(APInt(32, 20), APInt(32, "20", 10));
1056
Daniel Dunbar0ec4ed72009-09-17 17:46:53 +00001057 EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 10));
1058 EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 10));
1059 EXPECT_EQ(APInt(32, uint64_t(-9LL)), APInt(32, "-9", 10));
1060 EXPECT_EQ(APInt(32, uint64_t(-10LL)), APInt(32, "-10", 10));
1061 EXPECT_EQ(APInt(32, uint64_t(-19LL)), APInt(32, "-19", 10));
1062 EXPECT_EQ(APInt(32, uint64_t(-20LL)), APInt(32, "-20", 10));
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001063
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001064 EXPECT_EQ(APInt(32, 0), APInt(32, "0", 16));
1065 EXPECT_EQ(APInt(32, 1), APInt(32, "1", 16));
1066 EXPECT_EQ(APInt(32, 15), APInt(32, "F", 16));
1067 EXPECT_EQ(APInt(32, 16), APInt(32, "10", 16));
1068 EXPECT_EQ(APInt(32, 31), APInt(32, "1F", 16));
1069 EXPECT_EQ(APInt(32, 32), APInt(32, "20", 16));
1070
Daniel Dunbar0ec4ed72009-09-17 17:46:53 +00001071 EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 16));
1072 EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 16));
1073 EXPECT_EQ(APInt(32, uint64_t(-15LL)), APInt(32, "-F", 16));
1074 EXPECT_EQ(APInt(32, uint64_t(-16LL)), APInt(32, "-10", 16));
1075 EXPECT_EQ(APInt(32, uint64_t(-31LL)), APInt(32, "-1F", 16));
1076 EXPECT_EQ(APInt(32, uint64_t(-32LL)), APInt(32, "-20", 16));
Douglas Gregor663c0682011-09-14 15:54:46 +00001077
1078 EXPECT_EQ(APInt(32, 0), APInt(32, "0", 36));
1079 EXPECT_EQ(APInt(32, 1), APInt(32, "1", 36));
1080 EXPECT_EQ(APInt(32, 35), APInt(32, "Z", 36));
1081 EXPECT_EQ(APInt(32, 36), APInt(32, "10", 36));
1082 EXPECT_EQ(APInt(32, 71), APInt(32, "1Z", 36));
1083 EXPECT_EQ(APInt(32, 72), APInt(32, "20", 36));
Simon Pilgrim7f81c3d2017-03-07 21:16:38 +00001084
Douglas Gregor663c0682011-09-14 15:54:46 +00001085 EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32, "-0", 36));
1086 EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32, "-1", 36));
1087 EXPECT_EQ(APInt(32, uint64_t(-35LL)), APInt(32, "-Z", 36));
1088 EXPECT_EQ(APInt(32, uint64_t(-36LL)), APInt(32, "-10", 36));
1089 EXPECT_EQ(APInt(32, uint64_t(-71LL)), APInt(32, "-1Z", 36));
1090 EXPECT_EQ(APInt(32, uint64_t(-72LL)), APInt(32, "-20", 36));
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001091}
1092
Jeffrey Yasskin7a162882011-07-18 21:45:40 +00001093TEST(APIntTest, FromArray) {
1094 EXPECT_EQ(APInt(32, uint64_t(1)), APInt(32, ArrayRef<uint64_t>(1)));
1095}
1096
Erick Tryzelaardadb15712009-08-21 03:15:28 +00001097TEST(APIntTest, StringBitsNeeded2) {
1098 EXPECT_EQ(1U, APInt::getBitsNeeded( "0", 2));
1099 EXPECT_EQ(1U, APInt::getBitsNeeded( "1", 2));
1100 EXPECT_EQ(2U, APInt::getBitsNeeded( "10", 2));
1101 EXPECT_EQ(2U, APInt::getBitsNeeded( "11", 2));
1102 EXPECT_EQ(3U, APInt::getBitsNeeded("100", 2));
1103
1104 EXPECT_EQ(1U, APInt::getBitsNeeded( "+0", 2));
1105 EXPECT_EQ(1U, APInt::getBitsNeeded( "+1", 2));
1106 EXPECT_EQ(2U, APInt::getBitsNeeded( "+10", 2));
1107 EXPECT_EQ(2U, APInt::getBitsNeeded( "+11", 2));
1108 EXPECT_EQ(3U, APInt::getBitsNeeded("+100", 2));
1109
1110 EXPECT_EQ(2U, APInt::getBitsNeeded( "-0", 2));
1111 EXPECT_EQ(2U, APInt::getBitsNeeded( "-1", 2));
1112 EXPECT_EQ(3U, APInt::getBitsNeeded( "-10", 2));
1113 EXPECT_EQ(3U, APInt::getBitsNeeded( "-11", 2));
1114 EXPECT_EQ(4U, APInt::getBitsNeeded("-100", 2));
1115}
1116
1117TEST(APIntTest, StringBitsNeeded8) {
1118 EXPECT_EQ(3U, APInt::getBitsNeeded( "0", 8));
1119 EXPECT_EQ(3U, APInt::getBitsNeeded( "7", 8));
1120 EXPECT_EQ(6U, APInt::getBitsNeeded("10", 8));
1121 EXPECT_EQ(6U, APInt::getBitsNeeded("17", 8));
1122 EXPECT_EQ(6U, APInt::getBitsNeeded("20", 8));
1123
1124 EXPECT_EQ(3U, APInt::getBitsNeeded( "+0", 8));
1125 EXPECT_EQ(3U, APInt::getBitsNeeded( "+7", 8));
1126 EXPECT_EQ(6U, APInt::getBitsNeeded("+10", 8));
1127 EXPECT_EQ(6U, APInt::getBitsNeeded("+17", 8));
1128 EXPECT_EQ(6U, APInt::getBitsNeeded("+20", 8));
1129
1130 EXPECT_EQ(4U, APInt::getBitsNeeded( "-0", 8));
1131 EXPECT_EQ(4U, APInt::getBitsNeeded( "-7", 8));
1132 EXPECT_EQ(7U, APInt::getBitsNeeded("-10", 8));
1133 EXPECT_EQ(7U, APInt::getBitsNeeded("-17", 8));
1134 EXPECT_EQ(7U, APInt::getBitsNeeded("-20", 8));
1135}
1136
1137TEST(APIntTest, StringBitsNeeded10) {
1138 EXPECT_EQ(1U, APInt::getBitsNeeded( "0", 10));
1139 EXPECT_EQ(2U, APInt::getBitsNeeded( "3", 10));
1140 EXPECT_EQ(4U, APInt::getBitsNeeded( "9", 10));
1141 EXPECT_EQ(4U, APInt::getBitsNeeded("10", 10));
1142 EXPECT_EQ(5U, APInt::getBitsNeeded("19", 10));
1143 EXPECT_EQ(5U, APInt::getBitsNeeded("20", 10));
1144
1145 EXPECT_EQ(1U, APInt::getBitsNeeded( "+0", 10));
1146 EXPECT_EQ(4U, APInt::getBitsNeeded( "+9", 10));
1147 EXPECT_EQ(4U, APInt::getBitsNeeded("+10", 10));
1148 EXPECT_EQ(5U, APInt::getBitsNeeded("+19", 10));
1149 EXPECT_EQ(5U, APInt::getBitsNeeded("+20", 10));
1150
1151 EXPECT_EQ(2U, APInt::getBitsNeeded( "-0", 10));
1152 EXPECT_EQ(5U, APInt::getBitsNeeded( "-9", 10));
1153 EXPECT_EQ(5U, APInt::getBitsNeeded("-10", 10));
1154 EXPECT_EQ(6U, APInt::getBitsNeeded("-19", 10));
1155 EXPECT_EQ(6U, APInt::getBitsNeeded("-20", 10));
1156}
1157
1158TEST(APIntTest, StringBitsNeeded16) {
1159 EXPECT_EQ(4U, APInt::getBitsNeeded( "0", 16));
1160 EXPECT_EQ(4U, APInt::getBitsNeeded( "F", 16));
1161 EXPECT_EQ(8U, APInt::getBitsNeeded("10", 16));
1162 EXPECT_EQ(8U, APInt::getBitsNeeded("1F", 16));
1163 EXPECT_EQ(8U, APInt::getBitsNeeded("20", 16));
1164
1165 EXPECT_EQ(4U, APInt::getBitsNeeded( "+0", 16));
1166 EXPECT_EQ(4U, APInt::getBitsNeeded( "+F", 16));
1167 EXPECT_EQ(8U, APInt::getBitsNeeded("+10", 16));
1168 EXPECT_EQ(8U, APInt::getBitsNeeded("+1F", 16));
1169 EXPECT_EQ(8U, APInt::getBitsNeeded("+20", 16));
1170
1171 EXPECT_EQ(5U, APInt::getBitsNeeded( "-0", 16));
1172 EXPECT_EQ(5U, APInt::getBitsNeeded( "-F", 16));
1173 EXPECT_EQ(9U, APInt::getBitsNeeded("-10", 16));
1174 EXPECT_EQ(9U, APInt::getBitsNeeded("-1F", 16));
1175 EXPECT_EQ(9U, APInt::getBitsNeeded("-20", 16));
1176}
1177
Dylan Noblesmithc8c184d2011-06-15 23:36:34 +00001178TEST(APIntTest, toString) {
1179 SmallString<16> S;
1180 bool isSigned;
1181
1182 APInt(8, 0).toString(S, 2, true, true);
1183 EXPECT_EQ(S.str().str(), "0b0");
1184 S.clear();
1185 APInt(8, 0).toString(S, 8, true, true);
1186 EXPECT_EQ(S.str().str(), "00");
1187 S.clear();
1188 APInt(8, 0).toString(S, 10, true, true);
1189 EXPECT_EQ(S.str().str(), "0");
1190 S.clear();
1191 APInt(8, 0).toString(S, 16, true, true);
1192 EXPECT_EQ(S.str().str(), "0x0");
1193 S.clear();
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001194 APInt(8, 0).toString(S, 36, true, false);
Douglas Gregor663c0682011-09-14 15:54:46 +00001195 EXPECT_EQ(S.str().str(), "0");
1196 S.clear();
Dylan Noblesmithc8c184d2011-06-15 23:36:34 +00001197
1198 isSigned = false;
1199 APInt(8, 255, isSigned).toString(S, 2, isSigned, true);
1200 EXPECT_EQ(S.str().str(), "0b11111111");
1201 S.clear();
1202 APInt(8, 255, isSigned).toString(S, 8, isSigned, true);
1203 EXPECT_EQ(S.str().str(), "0377");
1204 S.clear();
1205 APInt(8, 255, isSigned).toString(S, 10, isSigned, true);
1206 EXPECT_EQ(S.str().str(), "255");
1207 S.clear();
1208 APInt(8, 255, isSigned).toString(S, 16, isSigned, true);
1209 EXPECT_EQ(S.str().str(), "0xFF");
1210 S.clear();
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001211 APInt(8, 255, isSigned).toString(S, 36, isSigned, false);
Douglas Gregor663c0682011-09-14 15:54:46 +00001212 EXPECT_EQ(S.str().str(), "73");
1213 S.clear();
Dylan Noblesmithc8c184d2011-06-15 23:36:34 +00001214
1215 isSigned = true;
1216 APInt(8, 255, isSigned).toString(S, 2, isSigned, true);
1217 EXPECT_EQ(S.str().str(), "-0b1");
1218 S.clear();
1219 APInt(8, 255, isSigned).toString(S, 8, isSigned, true);
1220 EXPECT_EQ(S.str().str(), "-01");
1221 S.clear();
1222 APInt(8, 255, isSigned).toString(S, 10, isSigned, true);
1223 EXPECT_EQ(S.str().str(), "-1");
1224 S.clear();
1225 APInt(8, 255, isSigned).toString(S, 16, isSigned, true);
1226 EXPECT_EQ(S.str().str(), "-0x1");
1227 S.clear();
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001228 APInt(8, 255, isSigned).toString(S, 36, isSigned, false);
Douglas Gregor663c0682011-09-14 15:54:46 +00001229 EXPECT_EQ(S.str().str(), "-1");
1230 S.clear();
Dylan Noblesmithc8c184d2011-06-15 23:36:34 +00001231}
1232
Dan Gohmanc4e367b2009-10-13 01:49:02 +00001233TEST(APIntTest, Log2) {
Duncan Sandsf7ad6202009-10-13 09:23:11 +00001234 EXPECT_EQ(APInt(15, 7).logBase2(), 2U);
1235 EXPECT_EQ(APInt(15, 7).ceilLogBase2(), 3U);
Dan Gohmanc4e367b2009-10-13 01:49:02 +00001236 EXPECT_EQ(APInt(15, 7).exactLogBase2(), -1);
Duncan Sandsf7ad6202009-10-13 09:23:11 +00001237 EXPECT_EQ(APInt(15, 8).logBase2(), 3U);
1238 EXPECT_EQ(APInt(15, 8).ceilLogBase2(), 3U);
Dan Gohmanc4e367b2009-10-13 01:49:02 +00001239 EXPECT_EQ(APInt(15, 8).exactLogBase2(), 3);
Duncan Sandsf7ad6202009-10-13 09:23:11 +00001240 EXPECT_EQ(APInt(15, 9).logBase2(), 3U);
1241 EXPECT_EQ(APInt(15, 9).ceilLogBase2(), 4U);
Dan Gohmanc4e367b2009-10-13 01:49:02 +00001242 EXPECT_EQ(APInt(15, 9).exactLogBase2(), -1);
1243}
Erick Tryzelaardadb15712009-08-21 03:15:28 +00001244
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001245TEST(APIntTest, magic) {
1246 EXPECT_EQ(APInt(32, 3).magic().m, APInt(32, "55555556", 16));
1247 EXPECT_EQ(APInt(32, 3).magic().s, 0U);
1248 EXPECT_EQ(APInt(32, 5).magic().m, APInt(32, "66666667", 16));
1249 EXPECT_EQ(APInt(32, 5).magic().s, 1U);
1250 EXPECT_EQ(APInt(32, 7).magic().m, APInt(32, "92492493", 16));
1251 EXPECT_EQ(APInt(32, 7).magic().s, 2U);
1252}
1253
1254TEST(APIntTest, magicu) {
1255 EXPECT_EQ(APInt(32, 3).magicu().m, APInt(32, "AAAAAAAB", 16));
1256 EXPECT_EQ(APInt(32, 3).magicu().s, 1U);
1257 EXPECT_EQ(APInt(32, 5).magicu().m, APInt(32, "CCCCCCCD", 16));
1258 EXPECT_EQ(APInt(32, 5).magicu().s, 2U);
1259 EXPECT_EQ(APInt(32, 7).magicu().m, APInt(32, "24924925", 16));
1260 EXPECT_EQ(APInt(32, 7).magicu().s, 3U);
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001261 EXPECT_EQ(APInt(64, 25).magicu(1).m, APInt(64, "A3D70A3D70A3D70B", 16));
1262 EXPECT_EQ(APInt(64, 25).magicu(1).s, 4U);
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001263}
1264
Erick Tryzelaar927191f2009-08-17 00:55:33 +00001265#ifdef GTEST_HAS_DEATH_TEST
Jeffrey Yasskinb5cd0132010-03-17 01:18:45 +00001266#ifndef NDEBUG
Erick Tryzelaar2b01eab2009-08-16 23:36:01 +00001267TEST(APIntTest, StringDeath) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001268 EXPECT_DEATH(APInt(0, "", 0), "Bitwidth too small");
1269 EXPECT_DEATH(APInt(32, "", 0), "Invalid string length");
Douglas Gregor663c0682011-09-14 15:54:46 +00001270 EXPECT_DEATH(APInt(32, "0", 0), "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar2b01eab2009-08-16 23:36:01 +00001271 EXPECT_DEATH(APInt(32, "", 10), "Invalid string length");
Bill Wendlingef793cc2009-08-21 06:35:41 +00001272 EXPECT_DEATH(APInt(32, "-", 10), "String is only a sign, needs a value.");
Erick Tryzelaar2b01eab2009-08-16 23:36:01 +00001273 EXPECT_DEATH(APInt(1, "1234", 10), "Insufficient bit width");
1274 EXPECT_DEATH(APInt(32, "\0", 10), "Invalid string length");
1275 EXPECT_DEATH(APInt(32, StringRef("1\02", 3), 10), "Invalid character in digit string");
1276 EXPECT_DEATH(APInt(32, "1L", 10), "Invalid character in digit string");
1277}
Erick Tryzelaar927191f2009-08-17 00:55:33 +00001278#endif
Jeffrey Yasskinb5cd0132010-03-17 01:18:45 +00001279#endif
Erick Tryzelaar2b01eab2009-08-16 23:36:01 +00001280
Eli Friedman19546412011-10-07 23:40:49 +00001281TEST(APIntTest, mul_clear) {
1282 APInt ValA(65, -1ULL);
1283 APInt ValB(65, 4);
1284 APInt ValC(65, 0);
1285 ValC = ValA * ValB;
1286 ValA *= ValB;
1287 EXPECT_EQ(ValA.toString(10, false), ValC.toString(10, false));
1288}
1289
Eli Friedmanf70c8622011-12-22 22:11:19 +00001290TEST(APIntTest, Rotate) {
1291 EXPECT_EQ(APInt(8, 1), APInt(8, 1).rotl(0));
1292 EXPECT_EQ(APInt(8, 2), APInt(8, 1).rotl(1));
1293 EXPECT_EQ(APInt(8, 4), APInt(8, 1).rotl(2));
1294 EXPECT_EQ(APInt(8, 16), APInt(8, 1).rotl(4));
1295 EXPECT_EQ(APInt(8, 1), APInt(8, 1).rotl(8));
1296
1297 EXPECT_EQ(APInt(8, 16), APInt(8, 16).rotl(0));
1298 EXPECT_EQ(APInt(8, 32), APInt(8, 16).rotl(1));
1299 EXPECT_EQ(APInt(8, 64), APInt(8, 16).rotl(2));
1300 EXPECT_EQ(APInt(8, 1), APInt(8, 16).rotl(4));
1301 EXPECT_EQ(APInt(8, 16), APInt(8, 16).rotl(8));
1302
Joey Gouly51c0ae52017-02-07 11:58:22 +00001303 EXPECT_EQ(APInt(32, 2), APInt(32, 1).rotl(33));
1304 EXPECT_EQ(APInt(32, 2), APInt(32, 1).rotl(APInt(32, 33)));
1305
1306 EXPECT_EQ(APInt(32, 2), APInt(32, 1).rotl(33));
1307 EXPECT_EQ(APInt(32, 2), APInt(32, 1).rotl(APInt(32, 33)));
1308 EXPECT_EQ(APInt(32, 2), APInt(32, 1).rotl(APInt(33, 33)));
1309 EXPECT_EQ(APInt(32, (1 << 8)), APInt(32, 1).rotl(APInt(32, 40)));
1310 EXPECT_EQ(APInt(32, (1 << 30)), APInt(32, 1).rotl(APInt(31, 30)));
1311 EXPECT_EQ(APInt(32, (1 << 31)), APInt(32, 1).rotl(APInt(31, 31)));
1312
1313 EXPECT_EQ(APInt(32, 1), APInt(32, 1).rotl(APInt(1, 0)));
1314 EXPECT_EQ(APInt(32, 2), APInt(32, 1).rotl(APInt(1, 1)));
1315
1316 EXPECT_EQ(APInt(32, 16), APInt(32, 1).rotl(APInt(3, 4)));
1317
1318 EXPECT_EQ(APInt(32, 1), APInt(32, 1).rotl(APInt(64, 64)));
1319 EXPECT_EQ(APInt(32, 2), APInt(32, 1).rotl(APInt(64, 65)));
1320
1321 EXPECT_EQ(APInt(7, 24), APInt(7, 3).rotl(APInt(7, 3)));
1322 EXPECT_EQ(APInt(7, 24), APInt(7, 3).rotl(APInt(7, 10)));
1323 EXPECT_EQ(APInt(7, 24), APInt(7, 3).rotl(APInt(5, 10)));
1324 EXPECT_EQ(APInt(7, 6), APInt(7, 3).rotl(APInt(12, 120)));
1325
Eli Friedmanf70c8622011-12-22 22:11:19 +00001326 EXPECT_EQ(APInt(8, 16), APInt(8, 16).rotr(0));
1327 EXPECT_EQ(APInt(8, 8), APInt(8, 16).rotr(1));
1328 EXPECT_EQ(APInt(8, 4), APInt(8, 16).rotr(2));
1329 EXPECT_EQ(APInt(8, 1), APInt(8, 16).rotr(4));
1330 EXPECT_EQ(APInt(8, 16), APInt(8, 16).rotr(8));
1331
1332 EXPECT_EQ(APInt(8, 1), APInt(8, 1).rotr(0));
1333 EXPECT_EQ(APInt(8, 128), APInt(8, 1).rotr(1));
1334 EXPECT_EQ(APInt(8, 64), APInt(8, 1).rotr(2));
1335 EXPECT_EQ(APInt(8, 16), APInt(8, 1).rotr(4));
1336 EXPECT_EQ(APInt(8, 1), APInt(8, 1).rotr(8));
Benjamin Kramer47ddf602012-02-07 16:27:39 +00001337
Joey Gouly51c0ae52017-02-07 11:58:22 +00001338 EXPECT_EQ(APInt(32, (1 << 31)), APInt(32, 1).rotr(33));
1339 EXPECT_EQ(APInt(32, (1 << 31)), APInt(32, 1).rotr(APInt(32, 33)));
1340
1341 EXPECT_EQ(APInt(32, (1 << 31)), APInt(32, 1).rotr(33));
1342 EXPECT_EQ(APInt(32, (1 << 31)), APInt(32, 1).rotr(APInt(32, 33)));
1343 EXPECT_EQ(APInt(32, (1 << 31)), APInt(32, 1).rotr(APInt(33, 33)));
1344 EXPECT_EQ(APInt(32, (1 << 24)), APInt(32, 1).rotr(APInt(32, 40)));
1345
1346 EXPECT_EQ(APInt(32, (1 << 2)), APInt(32, 1).rotr(APInt(31, 30)));
1347 EXPECT_EQ(APInt(32, (1 << 1)), APInt(32, 1).rotr(APInt(31, 31)));
1348
1349 EXPECT_EQ(APInt(32, 1), APInt(32, 1).rotr(APInt(1, 0)));
1350 EXPECT_EQ(APInt(32, (1 << 31)), APInt(32, 1).rotr(APInt(1, 1)));
1351
1352 EXPECT_EQ(APInt(32, (1 << 28)), APInt(32, 1).rotr(APInt(3, 4)));
1353
1354 EXPECT_EQ(APInt(32, 1), APInt(32, 1).rotr(APInt(64, 64)));
1355 EXPECT_EQ(APInt(32, (1 << 31)), APInt(32, 1).rotr(APInt(64, 65)));
1356
1357 EXPECT_EQ(APInt(7, 48), APInt(7, 3).rotr(APInt(7, 3)));
1358 EXPECT_EQ(APInt(7, 48), APInt(7, 3).rotr(APInt(7, 10)));
1359 EXPECT_EQ(APInt(7, 48), APInt(7, 3).rotr(APInt(5, 10)));
1360 EXPECT_EQ(APInt(7, 65), APInt(7, 3).rotr(APInt(12, 120)));
1361
1362 APInt Big(256, "00004000800000000000000000003fff8000000000000003", 16);
1363 APInt Rot(256, "3fff80000000000000030000000000000000000040008000", 16);
Benjamin Kramer47ddf602012-02-07 16:27:39 +00001364 EXPECT_EQ(Rot, Big.rotr(144));
Joey Gouly51c0ae52017-02-07 11:58:22 +00001365
1366 EXPECT_EQ(APInt(32, 8), APInt(32, 1).rotl(Big));
1367 EXPECT_EQ(APInt(32, (1 << 29)), APInt(32, 1).rotr(Big));
Eli Friedmanf70c8622011-12-22 22:11:19 +00001368}
1369
Benjamin Kramer5c3e21b2013-02-20 13:00:06 +00001370TEST(APIntTest, Splat) {
1371 APInt ValA(8, 0x01);
1372 EXPECT_EQ(ValA, APInt::getSplat(8, ValA));
1373 EXPECT_EQ(APInt(64, 0x0101010101010101ULL), APInt::getSplat(64, ValA));
1374
1375 APInt ValB(3, 5);
1376 EXPECT_EQ(APInt(4, 0xD), APInt::getSplat(4, ValB));
1377 EXPECT_EQ(APInt(15, 0xDB6D), APInt::getSplat(15, ValB));
1378}
1379
Michael Gottesman9d406f42013-05-28 19:50:20 +00001380TEST(APIntTest, tcDecrement) {
1381 // Test single word decrement.
1382
1383 // No out borrow.
1384 {
Craig Topper55229b72017-04-02 19:17:22 +00001385 APInt::WordType singleWord = ~APInt::WordType(0) << (APInt::APINT_BITS_PER_WORD - 1);
1386 APInt::WordType carry = APInt::tcDecrement(&singleWord, 1);
1387 EXPECT_EQ(carry, APInt::WordType(0));
1388 EXPECT_EQ(singleWord, ~APInt::WordType(0) >> 1);
Michael Gottesman9d406f42013-05-28 19:50:20 +00001389 }
1390
1391 // With out borrow.
1392 {
Craig Topper55229b72017-04-02 19:17:22 +00001393 APInt::WordType singleWord = 0;
1394 APInt::WordType carry = APInt::tcDecrement(&singleWord, 1);
1395 EXPECT_EQ(carry, APInt::WordType(1));
1396 EXPECT_EQ(singleWord, ~APInt::WordType(0));
Michael Gottesman9d406f42013-05-28 19:50:20 +00001397 }
1398
1399 // Test multiword decrement.
1400
1401 // No across word borrow, no out borrow.
1402 {
Craig Topper55229b72017-04-02 19:17:22 +00001403 APInt::WordType test[4] = {0x1, 0x1, 0x1, 0x1};
1404 APInt::WordType expected[4] = {0x0, 0x1, 0x1, 0x1};
Michael Gottesman9d406f42013-05-28 19:50:20 +00001405 APInt::tcDecrement(test, 4);
1406 EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
1407 }
1408
1409 // 1 across word borrow, no out borrow.
1410 {
Craig Topper55229b72017-04-02 19:17:22 +00001411 APInt::WordType test[4] = {0x0, 0xF, 0x1, 0x1};
1412 APInt::WordType expected[4] = {~APInt::WordType(0), 0xE, 0x1, 0x1};
1413 APInt::WordType carry = APInt::tcDecrement(test, 4);
1414 EXPECT_EQ(carry, APInt::WordType(0));
Michael Gottesman9d406f42013-05-28 19:50:20 +00001415 EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
1416 }
1417
1418 // 2 across word borrow, no out borrow.
1419 {
Craig Topper55229b72017-04-02 19:17:22 +00001420 APInt::WordType test[4] = {0x0, 0x0, 0xC, 0x1};
1421 APInt::WordType expected[4] = {~APInt::WordType(0), ~APInt::WordType(0), 0xB, 0x1};
1422 APInt::WordType carry = APInt::tcDecrement(test, 4);
1423 EXPECT_EQ(carry, APInt::WordType(0));
Michael Gottesman9d406f42013-05-28 19:50:20 +00001424 EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
1425 }
1426
1427 // 3 across word borrow, no out borrow.
1428 {
Craig Topper55229b72017-04-02 19:17:22 +00001429 APInt::WordType test[4] = {0x0, 0x0, 0x0, 0x1};
1430 APInt::WordType expected[4] = {~APInt::WordType(0), ~APInt::WordType(0), ~APInt::WordType(0), 0x0};
1431 APInt::WordType carry = APInt::tcDecrement(test, 4);
1432 EXPECT_EQ(carry, APInt::WordType(0));
Michael Gottesman9d406f42013-05-28 19:50:20 +00001433 EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
1434 }
1435
1436 // 3 across word borrow, with out borrow.
1437 {
Craig Topper55229b72017-04-02 19:17:22 +00001438 APInt::WordType test[4] = {0x0, 0x0, 0x0, 0x0};
1439 APInt::WordType expected[4] = {~APInt::WordType(0), ~APInt::WordType(0), ~APInt::WordType(0), ~APInt::WordType(0)};
1440 APInt::WordType carry = APInt::tcDecrement(test, 4);
1441 EXPECT_EQ(carry, APInt::WordType(1));
Michael Gottesman9d406f42013-05-28 19:50:20 +00001442 EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
1443 }
1444}
Michael Gottesman4497d962013-12-13 20:47:34 +00001445
Michael Gottesmane1fad2b2013-12-13 22:00:19 +00001446TEST(APIntTest, arrayAccess) {
Michael Gottesman4497d962013-12-13 20:47:34 +00001447 // Single word check.
1448 uint64_t E1 = 0x2CA7F46BF6569915ULL;
1449 APInt A1(64, E1);
Duncan P. N. Exon Smithc47069b2014-01-31 21:45:51 +00001450 for (unsigned i = 0, e = 64; i < e; ++i) {
Michael Gottesman4497d962013-12-13 20:47:34 +00001451 EXPECT_EQ(bool(E1 & (1ULL << i)),
Michael Gottesmane1fad2b2013-12-13 22:00:19 +00001452 A1[i]);
Michael Gottesman4497d962013-12-13 20:47:34 +00001453 }
1454
1455 // Multiword check.
Craig Topper55229b72017-04-02 19:17:22 +00001456 APInt::WordType E2[4] = {
Michael Gottesmanf6d58ff2013-12-13 20:47:37 +00001457 0xEB6EB136591CBA21ULL,
1458 0x7B9358BD6A33F10AULL,
1459 0x7E7FFA5EADD8846ULL,
1460 0x305F341CA00B613DULL
Michael Gottesman4497d962013-12-13 20:47:34 +00001461 };
Craig Topper55229b72017-04-02 19:17:22 +00001462 APInt A2(APInt::APINT_BITS_PER_WORD*4, E2);
Michael Gottesman4497d962013-12-13 20:47:34 +00001463 for (unsigned i = 0; i < 4; ++i) {
Craig Topper55229b72017-04-02 19:17:22 +00001464 for (unsigned j = 0; j < APInt::APINT_BITS_PER_WORD; ++j) {
Michael Gottesman4497d962013-12-13 20:47:34 +00001465 EXPECT_EQ(bool(E2[i] & (1ULL << j)),
Craig Topper55229b72017-04-02 19:17:22 +00001466 A2[i*APInt::APINT_BITS_PER_WORD + j]);
Michael Gottesman4497d962013-12-13 20:47:34 +00001467 }
1468 }
1469}
1470
Michael Gottesman073af742014-01-19 20:33:38 +00001471TEST(APIntTest, LargeAPIntConstruction) {
1472 // Check that we can properly construct very large APInt. It is very
1473 // unlikely that people will ever do this, but it is a legal input,
1474 // so we should not crash on it.
1475 APInt A9(UINT32_MAX, 0);
1476 EXPECT_FALSE(A9.getBoolValue());
1477}
1478
Michael Gottesmanf6d58ff2013-12-13 20:47:37 +00001479TEST(APIntTest, nearestLogBase2) {
Duncan P. N. Exon Smithc47069b2014-01-31 21:45:51 +00001480 // Single word check.
Michael Gottesmanf6d58ff2013-12-13 20:47:37 +00001481
1482 // Test round up.
1483 uint64_t I1 = 0x1800001;
1484 APInt A1(64, I1);
1485 EXPECT_EQ(A1.nearestLogBase2(), A1.ceilLogBase2());
1486
1487 // Test round down.
1488 uint64_t I2 = 0x1000011;
1489 APInt A2(64, I2);
1490 EXPECT_EQ(A2.nearestLogBase2(), A2.logBase2());
1491
1492 // Test ties round up.
1493 uint64_t I3 = 0x1800000;
1494 APInt A3(64, I3);
1495 EXPECT_EQ(A3.nearestLogBase2(), A3.ceilLogBase2());
1496
1497 // Multiple word check.
1498
1499 // Test round up.
Craig Topper55229b72017-04-02 19:17:22 +00001500 APInt::WordType I4[4] = {0x0, 0xF, 0x18, 0x0};
1501 APInt A4(APInt::APINT_BITS_PER_WORD*4, I4);
Michael Gottesmanf6d58ff2013-12-13 20:47:37 +00001502 EXPECT_EQ(A4.nearestLogBase2(), A4.ceilLogBase2());
1503
1504 // Test round down.
Craig Topper55229b72017-04-02 19:17:22 +00001505 APInt::WordType I5[4] = {0x0, 0xF, 0x10, 0x0};
1506 APInt A5(APInt::APINT_BITS_PER_WORD*4, I5);
Michael Gottesmanf6d58ff2013-12-13 20:47:37 +00001507 EXPECT_EQ(A5.nearestLogBase2(), A5.logBase2());
1508
1509 // Test ties round up.
1510 uint64_t I6[4] = {0x0, 0x0, 0x0, 0x18};
Craig Topper55229b72017-04-02 19:17:22 +00001511 APInt A6(APInt::APINT_BITS_PER_WORD*4, I6);
Michael Gottesmanf6d58ff2013-12-13 20:47:37 +00001512 EXPECT_EQ(A6.nearestLogBase2(), A6.ceilLogBase2());
Michael Gottesman84fcbde2014-01-19 20:33:48 +00001513
1514 // Test BitWidth == 1 special cases.
1515 APInt A7(1, 1);
1516 EXPECT_EQ(A7.nearestLogBase2(), 0ULL);
1517 APInt A8(1, 0);
1518 EXPECT_EQ(A8.nearestLogBase2(), UINT32_MAX);
1519
1520 // Test the zero case when we have a bit width large enough such
1521 // that the bit width is larger than UINT32_MAX-1.
1522 APInt A9(UINT32_MAX, 0);
1523 EXPECT_EQ(A9.nearestLogBase2(), UINT32_MAX);
Michael Gottesmanf6d58ff2013-12-13 20:47:37 +00001524}
1525
Benjamin Kramerb4b51502015-03-25 16:49:59 +00001526TEST(APIntTest, IsSplat) {
1527 APInt A(32, 0x01010101);
1528 EXPECT_FALSE(A.isSplat(1));
1529 EXPECT_FALSE(A.isSplat(2));
1530 EXPECT_FALSE(A.isSplat(4));
1531 EXPECT_TRUE(A.isSplat(8));
1532 EXPECT_TRUE(A.isSplat(16));
1533 EXPECT_TRUE(A.isSplat(32));
1534
1535 APInt B(24, 0xAAAAAA);
1536 EXPECT_FALSE(B.isSplat(1));
1537 EXPECT_TRUE(B.isSplat(2));
1538 EXPECT_TRUE(B.isSplat(4));
1539 EXPECT_TRUE(B.isSplat(8));
1540 EXPECT_TRUE(B.isSplat(24));
1541
1542 APInt C(24, 0xABAAAB);
1543 EXPECT_FALSE(C.isSplat(1));
1544 EXPECT_FALSE(C.isSplat(2));
1545 EXPECT_FALSE(C.isSplat(4));
1546 EXPECT_FALSE(C.isSplat(8));
1547 EXPECT_TRUE(C.isSplat(24));
1548
1549 APInt D(32, 0xABBAABBA);
1550 EXPECT_FALSE(D.isSplat(1));
1551 EXPECT_FALSE(D.isSplat(2));
1552 EXPECT_FALSE(D.isSplat(4));
1553 EXPECT_FALSE(D.isSplat(8));
1554 EXPECT_TRUE(D.isSplat(16));
1555 EXPECT_TRUE(D.isSplat(32));
1556
1557 APInt E(32, 0);
1558 EXPECT_TRUE(E.isSplat(1));
1559 EXPECT_TRUE(E.isSplat(2));
1560 EXPECT_TRUE(E.isSplat(4));
1561 EXPECT_TRUE(E.isSplat(8));
1562 EXPECT_TRUE(E.isSplat(16));
1563 EXPECT_TRUE(E.isSplat(32));
1564}
1565
Matt Arsenaultc3943572016-04-12 18:17:23 +00001566TEST(APIntTest, isMask) {
Craig Topperd33ee1b2017-04-03 16:34:59 +00001567 EXPECT_FALSE(APInt(32, 0x01010101).isMask());
1568 EXPECT_FALSE(APInt(32, 0xf0000000).isMask());
1569 EXPECT_FALSE(APInt(32, 0xffff0000).isMask());
1570 EXPECT_FALSE(APInt(32, 0xff << 1).isMask());
Matt Arsenaultc3943572016-04-12 18:17:23 +00001571
1572 for (int N : { 1, 2, 3, 4, 7, 8, 16, 32, 64, 127, 128, 129, 256 }) {
Craig Topperd33ee1b2017-04-03 16:34:59 +00001573 EXPECT_FALSE(APInt(N, 0).isMask());
Matt Arsenaultc3943572016-04-12 18:17:23 +00001574
1575 APInt One(N, 1);
1576 for (int I = 1; I <= N; ++I) {
1577 APInt MaskVal = One.shl(I) - 1;
Craig Topperd33ee1b2017-04-03 16:34:59 +00001578 EXPECT_TRUE(MaskVal.isMask());
1579 EXPECT_TRUE(MaskVal.isMask(I));
Matt Arsenaultc3943572016-04-12 18:17:23 +00001580 }
1581 }
1582}
1583
Craig Toppera4f660b2017-03-31 06:30:25 +00001584TEST(APIntTest, isShiftedMask) {
Craig Topperd33ee1b2017-04-03 16:34:59 +00001585 EXPECT_FALSE(APInt(32, 0x01010101).isShiftedMask());
1586 EXPECT_TRUE(APInt(32, 0xf0000000).isShiftedMask());
1587 EXPECT_TRUE(APInt(32, 0xffff0000).isShiftedMask());
1588 EXPECT_TRUE(APInt(32, 0xff << 1).isShiftedMask());
Craig Toppera4f660b2017-03-31 06:30:25 +00001589
1590 for (int N : { 1, 2, 3, 4, 7, 8, 16, 32, 64, 127, 128, 129, 256 }) {
Craig Topperd33ee1b2017-04-03 16:34:59 +00001591 EXPECT_FALSE(APInt(N, 0).isShiftedMask());
Craig Toppera4f660b2017-03-31 06:30:25 +00001592
1593 APInt One(N, 1);
1594 for (int I = 1; I < N; ++I) {
1595 APInt MaskVal = One.shl(I) - 1;
Craig Topperd33ee1b2017-04-03 16:34:59 +00001596 EXPECT_TRUE(MaskVal.isShiftedMask());
Craig Toppera4f660b2017-03-31 06:30:25 +00001597 }
1598 for (int I = 1; I < N - 1; ++I) {
1599 APInt MaskVal = One.shl(I);
Craig Topperd33ee1b2017-04-03 16:34:59 +00001600 EXPECT_TRUE(MaskVal.isShiftedMask());
Craig Toppera4f660b2017-03-31 06:30:25 +00001601 }
1602 for (int I = 1; I < N; ++I) {
1603 APInt MaskVal = APInt::getHighBitsSet(N, I);
Craig Topperd33ee1b2017-04-03 16:34:59 +00001604 EXPECT_TRUE(MaskVal.isShiftedMask());
Craig Toppera4f660b2017-03-31 06:30:25 +00001605 }
1606 }
1607}
1608
Matt Arsenault155dda92016-03-21 15:00:35 +00001609TEST(APIntTest, reverseBits) {
1610 EXPECT_EQ(1, APInt(1, 1).reverseBits());
1611 EXPECT_EQ(0, APInt(1, 0).reverseBits());
1612
1613 EXPECT_EQ(3, APInt(2, 3).reverseBits());
1614 EXPECT_EQ(3, APInt(2, 3).reverseBits());
1615
1616 EXPECT_EQ(0xb, APInt(4, 0xd).reverseBits());
1617 EXPECT_EQ(0xd, APInt(4, 0xb).reverseBits());
1618 EXPECT_EQ(0xf, APInt(4, 0xf).reverseBits());
1619
1620 EXPECT_EQ(0x30, APInt(7, 0x6).reverseBits());
1621 EXPECT_EQ(0x5a, APInt(7, 0x2d).reverseBits());
1622
1623 EXPECT_EQ(0x0f, APInt(8, 0xf0).reverseBits());
1624 EXPECT_EQ(0xf0, APInt(8, 0x0f).reverseBits());
1625
1626 EXPECT_EQ(0x0f0f, APInt(16, 0xf0f0).reverseBits());
1627 EXPECT_EQ(0xf0f0, APInt(16, 0x0f0f).reverseBits());
1628
1629 EXPECT_EQ(0x0f0f0f0f, APInt(32, 0xf0f0f0f0).reverseBits());
1630 EXPECT_EQ(0xf0f0f0f0, APInt(32, 0x0f0f0f0f).reverseBits());
1631
1632 EXPECT_EQ(0x402880a0 >> 1, APInt(31, 0x05011402).reverseBits());
1633
1634 EXPECT_EQ(0x0f0f0f0f, APInt(32, 0xf0f0f0f0).reverseBits());
1635 EXPECT_EQ(0xf0f0f0f0, APInt(32, 0x0f0f0f0f).reverseBits());
1636
1637 EXPECT_EQ(0x0f0f0f0f0f0f0f0f, APInt(64, 0xf0f0f0f0f0f0f0f0).reverseBits());
1638 EXPECT_EQ(0xf0f0f0f0f0f0f0f0, APInt(64, 0x0f0f0f0f0f0f0f0f).reverseBits());
1639
1640 for (unsigned N : { 1, 8, 16, 24, 31, 32, 33,
1641 63, 64, 65, 127, 128, 257, 1024 }) {
1642 for (unsigned I = 0; I < N; ++I) {
1643 APInt X = APInt::getOneBitSet(N, I);
1644 APInt Y = APInt::getOneBitSet(N, N - (I + 1));
1645 EXPECT_EQ(Y, X.reverseBits());
1646 EXPECT_EQ(X, Y.reverseBits());
1647 }
1648 }
1649}
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +00001650
Simon Pilgrimb02667c2017-03-10 13:44:32 +00001651TEST(APIntTest, insertBits) {
1652 APInt iSrc(31, 0x00123456);
1653
1654 // Direct copy.
1655 APInt i31(31, 0x76543210ull);
1656 i31.insertBits(iSrc, 0);
1657 EXPECT_EQ(static_cast<int64_t>(0x00123456ull), i31.getSExtValue());
1658
1659 // Single word src/dst insertion.
1660 APInt i63(63, 0x01234567FFFFFFFFull);
1661 i63.insertBits(iSrc, 4);
1662 EXPECT_EQ(static_cast<int64_t>(0x012345600123456Full), i63.getSExtValue());
1663
1664 // Insert single word src into one word of dst.
1665 APInt i120(120, UINT64_MAX, true);
1666 i120.insertBits(iSrc, 8);
1667 EXPECT_EQ(static_cast<int64_t>(0xFFFFFF80123456FFull), i120.getSExtValue());
1668
1669 // Insert single word src into two words of dst.
1670 APInt i127(127, UINT64_MAX, true);
1671 i127.insertBits(iSrc, 48);
Simon Pilgrime9313ba2017-03-10 14:16:55 +00001672 EXPECT_EQ(i127.extractBits(64, 0).getZExtValue(), 0x3456FFFFFFFFFFFFull);
1673 EXPECT_EQ(i127.extractBits(63, 64).getZExtValue(), 0x7FFFFFFFFFFF8012ull);
Simon Pilgrimb02667c2017-03-10 13:44:32 +00001674
1675 // Insert on word boundaries.
1676 APInt i128(128, 0);
1677 i128.insertBits(APInt(64, UINT64_MAX, true), 0);
1678 i128.insertBits(APInt(64, UINT64_MAX, true), 64);
1679 EXPECT_EQ(-1, i128.getSExtValue());
1680
1681 APInt i256(256, UINT64_MAX, true);
1682 i256.insertBits(APInt(65, 0), 0);
1683 i256.insertBits(APInt(69, 0), 64);
1684 i256.insertBits(APInt(128, 0), 128);
1685 EXPECT_EQ(0u, i256.getSExtValue());
1686
1687 APInt i257(257, 0);
1688 i257.insertBits(APInt(96, UINT64_MAX, true), 64);
Simon Pilgrime9313ba2017-03-10 14:16:55 +00001689 EXPECT_EQ(i257.extractBits(64, 0).getZExtValue(), 0x0000000000000000ull);
1690 EXPECT_EQ(i257.extractBits(64, 64).getZExtValue(), 0xFFFFFFFFFFFFFFFFull);
1691 EXPECT_EQ(i257.extractBits(64, 128).getZExtValue(), 0x00000000FFFFFFFFull);
1692 EXPECT_EQ(i257.extractBits(65, 192).getZExtValue(), 0x0000000000000000ull);
Simon Pilgrimb02667c2017-03-10 13:44:32 +00001693
1694 // General insertion.
1695 APInt i260(260, UINT64_MAX, true);
1696 i260.insertBits(APInt(129, 1ull << 48), 15);
Simon Pilgrime9313ba2017-03-10 14:16:55 +00001697 EXPECT_EQ(i260.extractBits(64, 0).getZExtValue(), 0x8000000000007FFFull);
1698 EXPECT_EQ(i260.extractBits(64, 64).getZExtValue(), 0x0000000000000000ull);
1699 EXPECT_EQ(i260.extractBits(64, 128).getZExtValue(), 0xFFFFFFFFFFFF0000ull);
1700 EXPECT_EQ(i260.extractBits(64, 192).getZExtValue(), 0xFFFFFFFFFFFFFFFFull);
1701 EXPECT_EQ(i260.extractBits(4, 256).getZExtValue(), 0x000000000000000Full);
Simon Pilgrimb02667c2017-03-10 13:44:32 +00001702}
1703
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +00001704TEST(APIntTest, extractBits) {
1705 APInt i32(32, 0x1234567);
1706 EXPECT_EQ(0x3456, i32.extractBits(16, 4));
1707
1708 APInt i257(257, 0xFFFFFFFFFF0000FFull, true);
1709 EXPECT_EQ(0xFFu, i257.extractBits(16, 0));
1710 EXPECT_EQ((0xFFu >> 1), i257.extractBits(16, 1));
1711 EXPECT_EQ(-1, i257.extractBits(32, 64).getSExtValue());
1712 EXPECT_EQ(-1, i257.extractBits(128, 128).getSExtValue());
1713 EXPECT_EQ(-1, i257.extractBits(66, 191).getSExtValue());
1714 EXPECT_EQ(static_cast<int64_t>(0xFFFFFFFFFF80007Full),
1715 i257.extractBits(128, 1).getSExtValue());
1716 EXPECT_EQ(static_cast<int64_t>(0xFFFFFFFFFF80007Full),
1717 i257.extractBits(129, 1).getSExtValue());
1718}
Craig Toppera8b26b82017-02-26 19:28:45 +00001719
1720TEST(APIntTest, getLowBitsSet) {
1721 APInt i128lo64 = APInt::getLowBitsSet(128, 64);
1722 EXPECT_EQ(0u, i128lo64.countLeadingOnes());
1723 EXPECT_EQ(64u, i128lo64.countLeadingZeros());
1724 EXPECT_EQ(64u, i128lo64.getActiveBits());
1725 EXPECT_EQ(0u, i128lo64.countTrailingZeros());
1726 EXPECT_EQ(64u, i128lo64.countTrailingOnes());
1727 EXPECT_EQ(64u, i128lo64.countPopulation());
1728}
Craig Topper7d7b6d72017-02-26 19:28:48 +00001729
Craig Topper06ec03c2017-03-07 03:16:37 +00001730TEST(APIntTest, getBitsSet) {
Craig Topperdfd91312017-03-07 02:19:45 +00001731 APInt i64hi1lo1 = APInt::getBitsSet(64, 63, 1);
1732 EXPECT_EQ(1u, i64hi1lo1.countLeadingOnes());
1733 EXPECT_EQ(0u, i64hi1lo1.countLeadingZeros());
1734 EXPECT_EQ(64u, i64hi1lo1.getActiveBits());
1735 EXPECT_EQ(0u, i64hi1lo1.countTrailingZeros());
1736 EXPECT_EQ(1u, i64hi1lo1.countTrailingOnes());
1737 EXPECT_EQ(2u, i64hi1lo1.countPopulation());
1738
1739 APInt i127hi1lo1 = APInt::getBitsSet(127, 126, 1);
1740 EXPECT_EQ(1u, i127hi1lo1.countLeadingOnes());
1741 EXPECT_EQ(0u, i127hi1lo1.countLeadingZeros());
1742 EXPECT_EQ(127u, i127hi1lo1.getActiveBits());
1743 EXPECT_EQ(0u, i127hi1lo1.countTrailingZeros());
1744 EXPECT_EQ(1u, i127hi1lo1.countTrailingOnes());
1745 EXPECT_EQ(2u, i127hi1lo1.countPopulation());
1746}
1747
Craig Topper06ec03c2017-03-07 03:16:37 +00001748TEST(APIntTest, getHighBitsSet) {
Craig Topper7d7b6d72017-02-26 19:28:48 +00001749 APInt i64hi32 = APInt::getHighBitsSet(64, 32);
1750 EXPECT_EQ(32u, i64hi32.countLeadingOnes());
1751 EXPECT_EQ(0u, i64hi32.countLeadingZeros());
1752 EXPECT_EQ(64u, i64hi32.getActiveBits());
1753 EXPECT_EQ(32u, i64hi32.countTrailingZeros());
1754 EXPECT_EQ(0u, i64hi32.countTrailingOnes());
1755 EXPECT_EQ(32u, i64hi32.countPopulation());
1756}
Craig Topperbafdd032017-03-07 01:56:01 +00001757
Craig Topperbf1c9ab2017-03-07 02:58:36 +00001758TEST(APIntTest, getBitsSetFrom) {
1759 APInt i64hi31 = APInt::getBitsSetFrom(64, 33);
1760 EXPECT_EQ(31u, i64hi31.countLeadingOnes());
1761 EXPECT_EQ(0u, i64hi31.countLeadingZeros());
1762 EXPECT_EQ(64u, i64hi31.getActiveBits());
1763 EXPECT_EQ(33u, i64hi31.countTrailingZeros());
1764 EXPECT_EQ(0u, i64hi31.countTrailingOnes());
1765 EXPECT_EQ(31u, i64hi31.countPopulation());
1766}
1767
Craig Topperbafdd032017-03-07 01:56:01 +00001768TEST(APIntTest, setLowBits) {
1769 APInt i64lo32(64, 0);
1770 i64lo32.setLowBits(32);
1771 EXPECT_EQ(0u, i64lo32.countLeadingOnes());
1772 EXPECT_EQ(32u, i64lo32.countLeadingZeros());
1773 EXPECT_EQ(32u, i64lo32.getActiveBits());
1774 EXPECT_EQ(0u, i64lo32.countTrailingZeros());
1775 EXPECT_EQ(32u, i64lo32.countTrailingOnes());
1776 EXPECT_EQ(32u, i64lo32.countPopulation());
1777
1778 APInt i128lo64(128, 0);
1779 i128lo64.setLowBits(64);
1780 EXPECT_EQ(0u, i128lo64.countLeadingOnes());
1781 EXPECT_EQ(64u, i128lo64.countLeadingZeros());
1782 EXPECT_EQ(64u, i128lo64.getActiveBits());
1783 EXPECT_EQ(0u, i128lo64.countTrailingZeros());
1784 EXPECT_EQ(64u, i128lo64.countTrailingOnes());
1785 EXPECT_EQ(64u, i128lo64.countPopulation());
1786
1787 APInt i128lo24(128, 0);
1788 i128lo24.setLowBits(24);
1789 EXPECT_EQ(0u, i128lo24.countLeadingOnes());
1790 EXPECT_EQ(104u, i128lo24.countLeadingZeros());
1791 EXPECT_EQ(24u, i128lo24.getActiveBits());
1792 EXPECT_EQ(0u, i128lo24.countTrailingZeros());
1793 EXPECT_EQ(24u, i128lo24.countTrailingOnes());
1794 EXPECT_EQ(24u, i128lo24.countPopulation());
1795
1796 APInt i128lo104(128, 0);
1797 i128lo104.setLowBits(104);
1798 EXPECT_EQ(0u, i128lo104.countLeadingOnes());
1799 EXPECT_EQ(24u, i128lo104.countLeadingZeros());
1800 EXPECT_EQ(104u, i128lo104.getActiveBits());
1801 EXPECT_EQ(0u, i128lo104.countTrailingZeros());
1802 EXPECT_EQ(104u, i128lo104.countTrailingOnes());
1803 EXPECT_EQ(104u, i128lo104.countPopulation());
1804
1805 APInt i128lo0(128, 0);
1806 i128lo0.setLowBits(0);
1807 EXPECT_EQ(0u, i128lo0.countLeadingOnes());
1808 EXPECT_EQ(128u, i128lo0.countLeadingZeros());
1809 EXPECT_EQ(0u, i128lo0.getActiveBits());
1810 EXPECT_EQ(128u, i128lo0.countTrailingZeros());
1811 EXPECT_EQ(0u, i128lo0.countTrailingOnes());
1812 EXPECT_EQ(0u, i128lo0.countPopulation());
1813
1814 APInt i80lo79(80, 0);
1815 i80lo79.setLowBits(79);
1816 EXPECT_EQ(0u, i80lo79.countLeadingOnes());
1817 EXPECT_EQ(1u, i80lo79.countLeadingZeros());
1818 EXPECT_EQ(79u, i80lo79.getActiveBits());
1819 EXPECT_EQ(0u, i80lo79.countTrailingZeros());
1820 EXPECT_EQ(79u, i80lo79.countTrailingOnes());
1821 EXPECT_EQ(79u, i80lo79.countPopulation());
1822}
1823
1824TEST(APIntTest, setHighBits) {
1825 APInt i64hi32(64, 0);
1826 i64hi32.setHighBits(32);
1827 EXPECT_EQ(32u, i64hi32.countLeadingOnes());
1828 EXPECT_EQ(0u, i64hi32.countLeadingZeros());
1829 EXPECT_EQ(64u, i64hi32.getActiveBits());
1830 EXPECT_EQ(32u, i64hi32.countTrailingZeros());
1831 EXPECT_EQ(0u, i64hi32.countTrailingOnes());
1832 EXPECT_EQ(32u, i64hi32.countPopulation());
1833
1834 APInt i128hi64(128, 0);
1835 i128hi64.setHighBits(64);
1836 EXPECT_EQ(64u, i128hi64.countLeadingOnes());
1837 EXPECT_EQ(0u, i128hi64.countLeadingZeros());
1838 EXPECT_EQ(128u, i128hi64.getActiveBits());
1839 EXPECT_EQ(64u, i128hi64.countTrailingZeros());
1840 EXPECT_EQ(0u, i128hi64.countTrailingOnes());
1841 EXPECT_EQ(64u, i128hi64.countPopulation());
1842
1843 APInt i128hi24(128, 0);
1844 i128hi24.setHighBits(24);
1845 EXPECT_EQ(24u, i128hi24.countLeadingOnes());
1846 EXPECT_EQ(0u, i128hi24.countLeadingZeros());
1847 EXPECT_EQ(128u, i128hi24.getActiveBits());
1848 EXPECT_EQ(104u, i128hi24.countTrailingZeros());
1849 EXPECT_EQ(0u, i128hi24.countTrailingOnes());
1850 EXPECT_EQ(24u, i128hi24.countPopulation());
1851
1852 APInt i128hi104(128, 0);
1853 i128hi104.setHighBits(104);
1854 EXPECT_EQ(104u, i128hi104.countLeadingOnes());
1855 EXPECT_EQ(0u, i128hi104.countLeadingZeros());
1856 EXPECT_EQ(128u, i128hi104.getActiveBits());
1857 EXPECT_EQ(24u, i128hi104.countTrailingZeros());
1858 EXPECT_EQ(0u, i128hi104.countTrailingOnes());
1859 EXPECT_EQ(104u, i128hi104.countPopulation());
1860
1861 APInt i128hi0(128, 0);
1862 i128hi0.setHighBits(0);
1863 EXPECT_EQ(0u, i128hi0.countLeadingOnes());
1864 EXPECT_EQ(128u, i128hi0.countLeadingZeros());
1865 EXPECT_EQ(0u, i128hi0.getActiveBits());
1866 EXPECT_EQ(128u, i128hi0.countTrailingZeros());
1867 EXPECT_EQ(0u, i128hi0.countTrailingOnes());
1868 EXPECT_EQ(0u, i128hi0.countPopulation());
1869
1870 APInt i80hi1(80, 0);
1871 i80hi1.setHighBits(1);
1872 EXPECT_EQ(1u, i80hi1.countLeadingOnes());
1873 EXPECT_EQ(0u, i80hi1.countLeadingZeros());
1874 EXPECT_EQ(80u, i80hi1.getActiveBits());
1875 EXPECT_EQ(79u, i80hi1.countTrailingZeros());
1876 EXPECT_EQ(0u, i80hi1.countTrailingOnes());
1877 EXPECT_EQ(1u, i80hi1.countPopulation());
1878
1879 APInt i32hi16(32, 0);
1880 i32hi16.setHighBits(16);
1881 EXPECT_EQ(16u, i32hi16.countLeadingOnes());
1882 EXPECT_EQ(0u, i32hi16.countLeadingZeros());
1883 EXPECT_EQ(32u, i32hi16.getActiveBits());
1884 EXPECT_EQ(16u, i32hi16.countTrailingZeros());
1885 EXPECT_EQ(0u, i32hi16.countTrailingOnes());
1886 EXPECT_EQ(16u, i32hi16.countPopulation());
1887}
Craig Topperbf1c9ab2017-03-07 02:58:36 +00001888
1889TEST(APIntTest, setBitsFrom) {
1890 APInt i64from63(64, 0);
1891 i64from63.setBitsFrom(63);
1892 EXPECT_EQ(1u, i64from63.countLeadingOnes());
1893 EXPECT_EQ(0u, i64from63.countLeadingZeros());
1894 EXPECT_EQ(64u, i64from63.getActiveBits());
1895 EXPECT_EQ(63u, i64from63.countTrailingZeros());
1896 EXPECT_EQ(0u, i64from63.countTrailingOnes());
1897 EXPECT_EQ(1u, i64from63.countPopulation());
1898}
Craig Toppere4c46682017-03-27 17:50:54 +00001899
1900TEST(APIntTest, setAllBits) {
1901 APInt i32(32, 0);
1902 i32.setAllBits();
1903 EXPECT_EQ(32u, i32.countLeadingOnes());
1904 EXPECT_EQ(0u, i32.countLeadingZeros());
1905 EXPECT_EQ(32u, i32.getActiveBits());
1906 EXPECT_EQ(0u, i32.countTrailingZeros());
1907 EXPECT_EQ(32u, i32.countTrailingOnes());
1908 EXPECT_EQ(32u, i32.countPopulation());
1909
1910 APInt i64(64, 0);
1911 i64.setAllBits();
1912 EXPECT_EQ(64u, i64.countLeadingOnes());
1913 EXPECT_EQ(0u, i64.countLeadingZeros());
1914 EXPECT_EQ(64u, i64.getActiveBits());
1915 EXPECT_EQ(0u, i64.countTrailingZeros());
1916 EXPECT_EQ(64u, i64.countTrailingOnes());
1917 EXPECT_EQ(64u, i64.countPopulation());
1918
1919 APInt i96(96, 0);
1920 i96.setAllBits();
1921 EXPECT_EQ(96u, i96.countLeadingOnes());
1922 EXPECT_EQ(0u, i96.countLeadingZeros());
1923 EXPECT_EQ(96u, i96.getActiveBits());
1924 EXPECT_EQ(0u, i96.countTrailingZeros());
1925 EXPECT_EQ(96u, i96.countTrailingOnes());
1926 EXPECT_EQ(96u, i96.countPopulation());
1927
1928 APInt i128(128, 0);
1929 i128.setAllBits();
1930 EXPECT_EQ(128u, i128.countLeadingOnes());
1931 EXPECT_EQ(0u, i128.countLeadingZeros());
1932 EXPECT_EQ(128u, i128.getActiveBits());
1933 EXPECT_EQ(0u, i128.countTrailingZeros());
1934 EXPECT_EQ(128u, i128.countTrailingOnes());
1935 EXPECT_EQ(128u, i128.countPopulation());
1936}
Craig Toppere7e35602017-03-31 18:48:14 +00001937
1938TEST(APIntTest, getLoBits) {
1939 APInt i32(32, 0xfa);
1940 i32.setHighBits(1);
1941 EXPECT_EQ(0xa, i32.getLoBits(4));
1942 APInt i128(128, 0xfa);
1943 i128.setHighBits(1);
1944 EXPECT_EQ(0xa, i128.getLoBits(4));
1945}
1946
1947TEST(APIntTest, getHiBits) {
1948 APInt i32(32, 0xfa);
1949 i32.setHighBits(2);
1950 EXPECT_EQ(0xc, i32.getHiBits(4));
1951 APInt i128(128, 0xfa);
1952 i128.setHighBits(2);
1953 EXPECT_EQ(0xc, i128.getHiBits(4));
1954}
Richard Smith55bd3752017-04-13 20:29:59 +00001955
1956TEST(APIntTest, GCD) {
1957 using APIntOps::GreatestCommonDivisor;
1958
1959 for (unsigned Bits : {1, 2, 32, 63, 64, 65}) {
1960 // Test some corner cases near zero.
1961 APInt Zero(Bits, 0), One(Bits, 1);
1962 EXPECT_EQ(GreatestCommonDivisor(Zero, Zero), Zero);
1963 EXPECT_EQ(GreatestCommonDivisor(Zero, One), One);
1964 EXPECT_EQ(GreatestCommonDivisor(One, Zero), One);
1965 EXPECT_EQ(GreatestCommonDivisor(One, One), One);
1966
1967 if (Bits > 1) {
1968 APInt Two(Bits, 2);
1969 EXPECT_EQ(GreatestCommonDivisor(Zero, Two), Two);
1970 EXPECT_EQ(GreatestCommonDivisor(One, Two), One);
1971 EXPECT_EQ(GreatestCommonDivisor(Two, Two), Two);
1972
1973 // Test some corner cases near the highest representable value.
1974 APInt Max(Bits, 0);
1975 Max.setAllBits();
1976 EXPECT_EQ(GreatestCommonDivisor(Zero, Max), Max);
1977 EXPECT_EQ(GreatestCommonDivisor(One, Max), One);
1978 EXPECT_EQ(GreatestCommonDivisor(Two, Max), One);
1979 EXPECT_EQ(GreatestCommonDivisor(Max, Max), Max);
1980
1981 APInt MaxOver2 = Max.udiv(Two);
1982 EXPECT_EQ(GreatestCommonDivisor(MaxOver2, Max), One);
1983 // Max - 1 == Max / 2 * 2, because Max is odd.
1984 EXPECT_EQ(GreatestCommonDivisor(MaxOver2, Max - 1), MaxOver2);
1985 }
1986 }
1987
1988 // Compute the 20th Mersenne prime.
1989 const unsigned BitWidth = 4450;
1990 APInt HugePrime = APInt::getLowBitsSet(BitWidth, 4423);
1991
1992 // 9931 and 123456 are coprime.
1993 APInt A = HugePrime * APInt(BitWidth, 9931);
1994 APInt B = HugePrime * APInt(BitWidth, 123456);
1995 APInt C = GreatestCommonDivisor(A, B);
1996 EXPECT_EQ(C, HugePrime);
1997}
Craig Topper7abfbdf2017-04-17 18:44:27 +00001998
1999} // end anonymous namespace