unittests/ADT/APIntTest.cpp

   1 //===- llvm/unittest/ADT/APInt.cpp - APInt unit tests ---------------------===//
   2 //
   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
  10 #include "llvm/ADT/APInt.h"
  11 #include "llvm/ADT/SmallString.h"
  12 #include "gtest/gtest.h"
  13 #include <array>
  14 #include <ostream>
  15
  16 using namespace llvm;
  17
  18 namespace {
  19
  20 // Test that APInt shift left works when bitwidth > 64 and shiftamt == 0
  21 TEST(APIntTest, ShiftLeftByZero) {
  22   APInt One = APInt::getNullValue(65) + 1;
  23   APInt Shl = One.shl(0);
  24   EXPECT_TRUE(Shl[0]);
  25   EXPECT_FALSE(Shl[1]);
  26 }
  27
  28 TEST(APIntTest, i128_NegativeCount) {
  29   APInt Minus3(128, static_cast<uint64_t>(-3), true);
  30   EXPECT_EQ(126u, Minus3.countLeadingOnes());
  31   EXPECT_EQ(-3, Minus3.getSExtValue());
  32
  33   APInt Minus1(128, static_cast<uint64_t>(-1), true);
  34   EXPECT_EQ(0u, Minus1.countLeadingZeros());
  35   EXPECT_EQ(128u, Minus1.countLeadingOnes());
  36   EXPECT_EQ(128u, Minus1.getActiveBits());
  37   EXPECT_EQ(0u, Minus1.countTrailingZeros());
  38   EXPECT_EQ(128u, Minus1.countTrailingOnes());
  39   EXPECT_EQ(128u, Minus1.countPopulation());
  40   EXPECT_EQ(-1, Minus1.getSExtValue());
  41 }
  42
  43 // XFAIL this test on FreeBSD where the system gcc-4.2.1 seems to miscompile it.
  44 #if defined(__llvm__) || !defined(__FreeBSD__)
  45
  46 TEST(APIntTest, i33_Count) {
  47   APInt i33minus2(33, static_cast<uint64_t>(-2), true);
  48   EXPECT_EQ(0u, i33minus2.countLeadingZeros());
  49   EXPECT_EQ(32u, i33minus2.countLeadingOnes());
  50   EXPECT_EQ(33u, i33minus2.getActiveBits());
  51   EXPECT_EQ(1u, i33minus2.countTrailingZeros());
  52   EXPECT_EQ(32u, i33minus2.countPopulation());
  53   EXPECT_EQ(-2, i33minus2.getSExtValue());
  54   EXPECT_EQ(((uint64_t)-2)&((1ull<<33) -1), i33minus2.getZExtValue());
  55 }
  56
  57 #endif
  58
  59 TEST(APIntTest, i65_Count) {
  60   APInt i65(65, 0, true);
  61   EXPECT_EQ(65u, i65.countLeadingZeros());
  62   EXPECT_EQ(0u, i65.countLeadingOnes());
  63   EXPECT_EQ(0u, i65.getActiveBits());
  64   EXPECT_EQ(1u, i65.getActiveWords());
  65   EXPECT_EQ(65u, i65.countTrailingZeros());
  66   EXPECT_EQ(0u, i65.countPopulation());
  67
  68   APInt i65minus(65, 0, true);
  69   i65minus.setBit(64);
  70   EXPECT_EQ(0u, i65minus.countLeadingZeros());
  71   EXPECT_EQ(1u, i65minus.countLeadingOnes());
  72   EXPECT_EQ(65u, i65minus.getActiveBits());
  73   EXPECT_EQ(64u, i65minus.countTrailingZeros());
  74   EXPECT_EQ(1u, i65minus.countPopulation());
  75 }
  76
  77 TEST(APIntTest, i128_PositiveCount) {
  78   APInt u128max = APInt::getAllOnesValue(128);
  79   EXPECT_EQ(128u, u128max.countLeadingOnes());
  80   EXPECT_EQ(0u, u128max.countLeadingZeros());
  81   EXPECT_EQ(128u, u128max.getActiveBits());
  82   EXPECT_EQ(0u, u128max.countTrailingZeros());
  83   EXPECT_EQ(128u, u128max.countTrailingOnes());
  84   EXPECT_EQ(128u, u128max.countPopulation());
  85
  86   APInt u64max(128, static_cast<uint64_t>(-1), false);
  87   EXPECT_EQ(64u, u64max.countLeadingZeros());
  88   EXPECT_EQ(0u, u64max.countLeadingOnes());
  89   EXPECT_EQ(64u, u64max.getActiveBits());
  90   EXPECT_EQ(0u, u64max.countTrailingZeros());
  91   EXPECT_EQ(64u, u64max.countTrailingOnes());
  92   EXPECT_EQ(64u, u64max.countPopulation());
  93   EXPECT_EQ((uint64_t)~0ull, u64max.getZExtValue());
  94
  95   APInt zero(128, 0, true);
  96   EXPECT_EQ(128u, zero.countLeadingZeros());
  97   EXPECT_EQ(0u, zero.countLeadingOnes());
  98   EXPECT_EQ(0u, zero.getActiveBits());
  99   EXPECT_EQ(128u, zero.countTrailingZeros());
 100   EXPECT_EQ(0u, zero.countTrailingOnes());
 101   EXPECT_EQ(0u, zero.countPopulation());
 102   EXPECT_EQ(0u, zero.getSExtValue());
 103   EXPECT_EQ(0u, zero.getZExtValue());
 104
 105   APInt one(128, 1, true);
 106   EXPECT_EQ(127u, one.countLeadingZeros());
 107   EXPECT_EQ(0u, one.countLeadingOnes());
 108   EXPECT_EQ(1u, one.getActiveBits());
 109   EXPECT_EQ(0u, one.countTrailingZeros());
 110   EXPECT_EQ(1u, one.countTrailingOnes());
 111   EXPECT_EQ(1u, one.countPopulation());
 112   EXPECT_EQ(1, one.getSExtValue());
 113   EXPECT_EQ(1u, one.getZExtValue());
 114 }
 115
 116 TEST(APIntTest, i1) {
 117   const APInt neg_two(1, static_cast<uint64_t>(-2), true);
 118   const APInt neg_one(1, static_cast<uint64_t>(-1), true);
 119   const APInt zero(1, 0);
 120   const APInt one(1, 1);
 121   const APInt two(1, 2);
 122
 123   EXPECT_EQ(0, neg_two.getSExtValue());
 124   EXPECT_EQ(-1, neg_one.getSExtValue());
 125   EXPECT_EQ(1u, neg_one.getZExtValue());
 126   EXPECT_EQ(0u, zero.getZExtValue());
 127   EXPECT_EQ(-1, one.getSExtValue());
 128   EXPECT_EQ(1u, one.getZExtValue());
 129   EXPECT_EQ(0u, two.getZExtValue());
 130   EXPECT_EQ(0, two.getSExtValue());
 131
 132   // Basic equalities for 1-bit values.
 133   EXPECT_EQ(zero, two);
 134   EXPECT_EQ(zero, neg_two);
 135   EXPECT_EQ(one, neg_one);
 136   EXPECT_EQ(two, neg_two);
 137
 138   // Min/max signed values.
 139   EXPECT_TRUE(zero.isMaxSignedValue());
 140   EXPECT_FALSE(one.isMaxSignedValue());
 141   EXPECT_FALSE(zero.isMinSignedValue());
 142   EXPECT_TRUE(one.isMinSignedValue());
 143
 144   // Additions.
 145   EXPECT_EQ(two, one + one);
 146   EXPECT_EQ(zero, neg_one + one);
 147   EXPECT_EQ(neg_two, neg_one + neg_one);
 148
 149   // Subtractions.
 150   EXPECT_EQ(neg_two, neg_one - one);
 151   EXPECT_EQ(two, one - neg_one);
 152   EXPECT_EQ(zero, one - one);
 153
 154   // Shifts.
 155   EXPECT_EQ(zero, one << one);
 156   EXPECT_EQ(one, one << zero);
 157   EXPECT_EQ(zero, one.shl(1));
 158   EXPECT_EQ(one, one.shl(0));
 159   EXPECT_EQ(zero, one.lshr(1));
 160   EXPECT_EQ(zero, one.ashr(1));
 161
 162   // Rotates.
 163   EXPECT_EQ(one, one.rotl(0));
 164   EXPECT_EQ(one, one.rotl(1));
 165   EXPECT_EQ(one, one.rotr(0));
 166   EXPECT_EQ(one, one.rotr(1));
 167
 168   // Multiplies.
 169   EXPECT_EQ(neg_one, neg_one * one);
 170   EXPECT_EQ(neg_one, one * neg_one);
 171   EXPECT_EQ(one, neg_one * neg_one);
 172   EXPECT_EQ(one, one * one);
 173
 174   // Divides.
 175   EXPECT_EQ(neg_one, one.sdiv(neg_one));
 176   EXPECT_EQ(neg_one, neg_one.sdiv(one));
 177   EXPECT_EQ(one, neg_one.sdiv(neg_one));
 178   EXPECT_EQ(one, one.sdiv(one));
 179
 180   EXPECT_EQ(neg_one, one.udiv(neg_one));
 181   EXPECT_EQ(neg_one, neg_one.udiv(one));
 182   EXPECT_EQ(one, neg_one.udiv(neg_one));
 183   EXPECT_EQ(one, one.udiv(one));
 184
 185   // Remainders.
 186   EXPECT_EQ(zero, neg_one.srem(one));
 187   EXPECT_EQ(zero, neg_one.urem(one));
 188   EXPECT_EQ(zero, one.srem(neg_one));
 189
 190   // sdivrem
 191   {
 192   APInt q(8, 0);
 193   APInt r(8, 0);
 194   APInt one(8, 1);
 195   APInt two(8, 2);
 196   APInt nine(8, 9);
 197   APInt four(8, 4);
 198
 199   EXPECT_EQ(nine.srem(two), one);
 200   EXPECT_EQ(nine.srem(-two), one);
 201   EXPECT_EQ((-nine).srem(two), -one);
 202   EXPECT_EQ((-nine).srem(-two), -one);
 203
 204   APInt::sdivrem(nine, two, q, r);
 205   EXPECT_EQ(four, q);
 206   EXPECT_EQ(one, r);
 207   APInt::sdivrem(-nine, two, q, r);
 208   EXPECT_EQ(-four, q);
 209   EXPECT_EQ(-one, r);
 210   APInt::sdivrem(nine, -two, q, r);
 211   EXPECT_EQ(-four, q);
 212   EXPECT_EQ(one, r);
 213   APInt::sdivrem(-nine, -two, q, r);
 214   EXPECT_EQ(four, q);
 215   EXPECT_EQ(-one, r);
 216   }
 217 }
 218
 219 TEST(APIntTest, compare) {
 220   std::array<APInt, 5> testVals{{
 221     APInt{16, 2},
 222     APInt{16, 1},
 223     APInt{16, 0},
 224     APInt{16, (uint64_t)-1, true},
 225     APInt{16, (uint64_t)-2, true},
 226   }};
 227
 228   for (auto &arg1 : testVals)
 229     for (auto &arg2 : testVals) {
 230       auto uv1 = arg1.getZExtValue();
 231       auto uv2 = arg2.getZExtValue();
 232       auto sv1 = arg1.getSExtValue();
 233       auto sv2 = arg2.getSExtValue();
 234
 235       EXPECT_EQ(uv1 <  uv2, arg1.ult(arg2));
 236       EXPECT_EQ(uv1 <= uv2, arg1.ule(arg2));
 237       EXPECT_EQ(uv1 >  uv2, arg1.ugt(arg2));
 238       EXPECT_EQ(uv1 >= uv2, arg1.uge(arg2));
 239
 240       EXPECT_EQ(sv1 <  sv2, arg1.slt(arg2));
 241       EXPECT_EQ(sv1 <= sv2, arg1.sle(arg2));
 242       EXPECT_EQ(sv1 >  sv2, arg1.sgt(arg2));
 243       EXPECT_EQ(sv1 >= sv2, arg1.sge(arg2));
 244
 245       EXPECT_EQ(uv1 <  uv2, arg1.ult(uv2));
 246       EXPECT_EQ(uv1 <= uv2, arg1.ule(uv2));
 247       EXPECT_EQ(uv1 >  uv2, arg1.ugt(uv2));
 248       EXPECT_EQ(uv1 >= uv2, arg1.uge(uv2));
 249
 250       EXPECT_EQ(sv1 <  sv2, arg1.slt(sv2));
 251       EXPECT_EQ(sv1 <= sv2, arg1.sle(sv2));
 252       EXPECT_EQ(sv1 >  sv2, arg1.sgt(sv2));
 253       EXPECT_EQ(sv1 >= sv2, arg1.sge(sv2));
 254     }
 255 }
 256
 257 TEST(APIntTest, compareWithRawIntegers) {
 258   EXPECT_TRUE(!APInt(8, 1).uge(256));
 259   EXPECT_TRUE(!APInt(8, 1).ugt(256));
 260   EXPECT_TRUE( APInt(8, 1).ule(256));
 261   EXPECT_TRUE( APInt(8, 1).ult(256));
 262   EXPECT_TRUE(!APInt(8, 1).sge(256));
 263   EXPECT_TRUE(!APInt(8, 1).sgt(256));
 264   EXPECT_TRUE( APInt(8, 1).sle(256));
 265   EXPECT_TRUE( APInt(8, 1).slt(256));
 266   EXPECT_TRUE(!(APInt(8, 0) == 256));
 267   EXPECT_TRUE(  APInt(8, 0) != 256);
 268   EXPECT_TRUE(!(APInt(8, 1) == 256));
 269   EXPECT_TRUE(  APInt(8, 1) != 256);
 270
 271   auto uint64max = UINT64_MAX;
 272   auto int64max  = INT64_MAX;
 273   auto int64min  = INT64_MIN;
 274
 275   auto u64 = APInt{128, uint64max};
 276   auto s64 = APInt{128, static_cast<uint64_t>(int64max), true};
 277   auto big = u64 + 1;
 278
 279   EXPECT_TRUE( u64.uge(uint64max));
 280   EXPECT_TRUE(!u64.ugt(uint64max));
 281   EXPECT_TRUE( u64.ule(uint64max));
 282   EXPECT_TRUE(!u64.ult(uint64max));
 283   EXPECT_TRUE( u64.sge(int64max));
 284   EXPECT_TRUE( u64.sgt(int64max));
 285   EXPECT_TRUE(!u64.sle(int64max));
 286   EXPECT_TRUE(!u64.slt(int64max));
 287   EXPECT_TRUE( u64.sge(int64min));
 288   EXPECT_TRUE( u64.sgt(int64min));
 289   EXPECT_TRUE(!u64.sle(int64min));
 290   EXPECT_TRUE(!u64.slt(int64min));
 291
 292   EXPECT_TRUE(u64 == uint64max);
 293   EXPECT_TRUE(u64 != int64max);
 294   EXPECT_TRUE(u64 != int64min);
 295
 296   EXPECT_TRUE(!s64.uge(uint64max));
 297   EXPECT_TRUE(!s64.ugt(uint64max));
 298   EXPECT_TRUE( s64.ule(uint64max));
 299   EXPECT_TRUE( s64.ult(uint64max));
 300   EXPECT_TRUE( s64.sge(int64max));
 301   EXPECT_TRUE(!s64.sgt(int64max));
 302   EXPECT_TRUE( s64.sle(int64max));
 303   EXPECT_TRUE(!s64.slt(int64max));
 304   EXPECT_TRUE( s64.sge(int64min));
 305   EXPECT_TRUE( s64.sgt(int64min));
 306   EXPECT_TRUE(!s64.sle(int64min));
 307   EXPECT_TRUE(!s64.slt(int64min));
 308
 309   EXPECT_TRUE(s64 != uint64max);
 310   EXPECT_TRUE(s64 == int64max);
 311   EXPECT_TRUE(s64 != int64min);
 312
 313   EXPECT_TRUE( big.uge(uint64max));
 314   EXPECT_TRUE( big.ugt(uint64max));
 315   EXPECT_TRUE(!big.ule(uint64max));
 316   EXPECT_TRUE(!big.ult(uint64max));
 317   EXPECT_TRUE( big.sge(int64max));
 318   EXPECT_TRUE( big.sgt(int64max));
 319   EXPECT_TRUE(!big.sle(int64max));
 320   EXPECT_TRUE(!big.slt(int64max));
 321   EXPECT_TRUE( big.sge(int64min));
 322   EXPECT_TRUE( big.sgt(int64min));
 323   EXPECT_TRUE(!big.sle(int64min));
 324   EXPECT_TRUE(!big.slt(int64min));
 325
 326   EXPECT_TRUE(big != uint64max);
 327   EXPECT_TRUE(big != int64max);
 328   EXPECT_TRUE(big != int64min);
 329 }
 330
 331 TEST(APIntTest, compareWithInt64Min) {
 332   int64_t edge = INT64_MIN;
 333   int64_t edgeP1 = edge + 1;
 334   int64_t edgeM1 = INT64_MAX;
 335   auto a = APInt{64, static_cast<uint64_t>(edge), true};
 336
 337   EXPECT_TRUE(!a.slt(edge));
 338   EXPECT_TRUE( a.sle(edge));
 339   EXPECT_TRUE(!a.sgt(edge));
 340   EXPECT_TRUE( a.sge(edge));
 341   EXPECT_TRUE( a.slt(edgeP1));
 342   EXPECT_TRUE( a.sle(edgeP1));
 343   EXPECT_TRUE(!a.sgt(edgeP1));
 344   EXPECT_TRUE(!a.sge(edgeP1));
 345   EXPECT_TRUE( a.slt(edgeM1));
 346   EXPECT_TRUE( a.sle(edgeM1));
 347   EXPECT_TRUE(!a.sgt(edgeM1));
 348   EXPECT_TRUE(!a.sge(edgeM1));
 349 }
 350
 351 TEST(APIntTest, compareWithHalfInt64Max) {
 352   uint64_t edge = 0x4000000000000000;
 353   uint64_t edgeP1 = edge + 1;
 354   uint64_t edgeM1 = edge - 1;
 355   auto a = APInt{64, edge};
 356
 357   EXPECT_TRUE(!a.ult(edge));
 358   EXPECT_TRUE( a.ule(edge));
 359   EXPECT_TRUE(!a.ugt(edge));
 360   EXPECT_TRUE( a.uge(edge));
 361   EXPECT_TRUE( a.ult(edgeP1));
 362   EXPECT_TRUE( a.ule(edgeP1));
 363   EXPECT_TRUE(!a.ugt(edgeP1));
 364   EXPECT_TRUE(!a.uge(edgeP1));
 365   EXPECT_TRUE(!a.ult(edgeM1));
 366   EXPECT_TRUE(!a.ule(edgeM1));
 367   EXPECT_TRUE( a.ugt(edgeM1));
 368   EXPECT_TRUE( a.uge(edgeM1));
 369
 370   EXPECT_TRUE(!a.slt(edge));
 371   EXPECT_TRUE( a.sle(edge));
 372   EXPECT_TRUE(!a.sgt(edge));
 373   EXPECT_TRUE( a.sge(edge));
 374   EXPECT_TRUE( a.slt(edgeP1));
 375   EXPECT_TRUE( a.sle(edgeP1));
 376   EXPECT_TRUE(!a.sgt(edgeP1));
 377   EXPECT_TRUE(!a.sge(edgeP1));
 378   EXPECT_TRUE(!a.slt(edgeM1));
 379   EXPECT_TRUE(!a.sle(edgeM1));
 380   EXPECT_TRUE( a.sgt(edgeM1));
 381   EXPECT_TRUE( a.sge(edgeM1));
 382 }
 383
 384
 385 // Tests different div/rem varaints using scheme (a * b + c) / a
 386 void testDiv(APInt a, APInt b, APInt c) {
 387   ASSERT_TRUE(a.uge(b)); // Must: a >= b
 388   ASSERT_TRUE(a.ugt(c)); // Must: a > c
 389
 390   auto p = a * b + c;
 391
 392   auto q = p.udiv(a);
 393   auto r = p.urem(a);
 394   EXPECT_EQ(b, q);
 395   EXPECT_EQ(c, r);
 396   APInt::udivrem(p, a, q, r);
 397   EXPECT_EQ(b, q);
 398   EXPECT_EQ(c, r);
 399   q = p.sdiv(a);
 400   r = p.srem(a);
 401   EXPECT_EQ(b, q);
 402   EXPECT_EQ(c, r);
 403   APInt::sdivrem(p, a, q, r);
 404   EXPECT_EQ(b, q);
 405   EXPECT_EQ(c, r);
 406
 407   if (b.ugt(c)) { // Test also symmetric case
 408     q = p.udiv(b);
 409     r = p.urem(b);
 410     EXPECT_EQ(a, q);
 411     EXPECT_EQ(c, r);
 412     APInt::udivrem(p, b, q, r);
 413     EXPECT_EQ(a, q);
 414     EXPECT_EQ(c, r);
 415     q = p.sdiv(b);
 416     r = p.srem(b);
 417     EXPECT_EQ(a, q);
 418     EXPECT_EQ(c, r);
 419     APInt::sdivrem(p, b, q, r);
 420     EXPECT_EQ(a, q);
 421     EXPECT_EQ(c, r);
 422   }
 423 }
 424
 425 TEST(APIntTest, divrem_big1) {
 426   // Tests KnuthDiv rare step D6
 427   testDiv({256, "1ffffffffffffffff", 16},
 428           {256, "1ffffffffffffffff", 16},
 429           {256, 0});
 430 }
 431
 432 TEST(APIntTest, divrem_big2) {
 433   // Tests KnuthDiv rare step D6
 434   testDiv({1024,                       "112233ceff"
 435                  "cecece000000ffffffffffffffffffff"
 436                  "ffffffffffffffffffffffffffffffff"
 437                  "ffffffffffffffffffffffffffffffff"
 438                  "ffffffffffffffffffffffffffffff33", 16},
 439           {1024,           "111111ffffffffffffffff"
 440                  "ffffffffffffffffffffffffffffffff"
 441                  "fffffffffffffffffffffffffffffccf"
 442                  "ffffffffffffffffffffffffffffff00", 16},
 443           {1024, 7919});
 444 }
 445
 446 TEST(APIntTest, divrem_big3) {
 447   // Tests KnuthDiv case without shift
 448   testDiv({256, "80000001ffffffffffffffff", 16},
 449           {256, "ffffffffffffff0000000", 16},
 450           {256, 4219});
 451 }
 452
 453 TEST(APIntTest, divrem_big4) {
 454   // Tests heap allocation in divide() enfoced by huge numbers
 455   testDiv(APInt{4096, 5}.shl(2001),
 456           APInt{4096, 1}.shl(2000),
 457           APInt{4096, 4219*13});
 458 }
 459
 460 TEST(APIntTest, divrem_big5) {
 461   // Tests one word divisor case of divide()
 462   testDiv(APInt{1024, 19}.shl(811),
 463           APInt{1024, 4356013}, // one word
 464           APInt{1024, 1});
 465 }
 466
 467 TEST(APIntTest, divrem_big6) {
 468   // Tests some rare "borrow" cases in D4 step
 469   testDiv(APInt{512, "ffffffffffffffff00000000000000000000000001", 16},
 470           APInt{512, "10000000000000001000000000000001", 16},
 471           APInt{512, "10000000000000000000000000000000", 16});
 472 }
 473
 474 TEST(APIntTest, divrem_big7) {
 475   // Yet another test for KnuthDiv rare step D6.
 476   testDiv({224, "800000008000000200000005", 16},
 477           {224, "fffffffd", 16},
 478           {224, "80000000800000010000000f", 16});
 479 }
 480
 481 TEST(APIntTest, fromString) {
 482   EXPECT_EQ(APInt(32, 0), APInt(32,   "0", 2));
 483   EXPECT_EQ(APInt(32, 1), APInt(32,   "1", 2));
 484   EXPECT_EQ(APInt(32, 2), APInt(32,  "10", 2));
 485   EXPECT_EQ(APInt(32, 3), APInt(32,  "11", 2));
 486   EXPECT_EQ(APInt(32, 4), APInt(32, "100", 2));
 487
 488   EXPECT_EQ(APInt(32, 0), APInt(32,   "+0", 2));
 489   EXPECT_EQ(APInt(32, 1), APInt(32,   "+1", 2));
 490   EXPECT_EQ(APInt(32, 2), APInt(32,  "+10", 2));
 491   EXPECT_EQ(APInt(32, 3), APInt(32,  "+11", 2));
 492   EXPECT_EQ(APInt(32, 4), APInt(32, "+100", 2));
 493
 494   EXPECT_EQ(APInt(32, uint64_t(-0LL)), APInt(32,   "-0", 2));
 495   EXPECT_EQ(APInt(32, uint64_t(-1LL)), APInt(32,   "-1", 2));
 496   EXPECT_EQ(APInt(32, uint64_t(-2LL)), APInt(32,  "-10", 2));
 497   EXPECT_EQ(APInt(32, uint64_t(-3LL)), APInt(32,  "-11", 2));
 498   EXPECT_EQ(APInt(32, uint64_t(-4LL)), APInt(32, "-100", 2));
 499
 500
 501   EXPECT_EQ(APInt(32,  0), APInt(32,  "0",  8));
 502   EXPECT_EQ(APInt(32,  1), APInt(32,  "1",  8));
 503   EXPECT_EQ(APInt(32,  7), APInt(32,  "7",  8));
 504   EXPECT_EQ(APInt(32,  8), APInt(32,  "10", 8));
 505   EXPECT_EQ(APInt(32, 15), APInt(32,  "17", 8));
 506   EXPECT_EQ(APInt(32, 16), APInt(32,  "20", 8));
 507
 508   EXPECT_EQ(APInt(32,  +0), APInt(32,  "+0",  8));
 509   EXPECT_EQ(APInt(32,  +1), APInt(32,  "+1",  8));
 510   EXPECT_EQ(APInt(32,  +7), APInt(32,  "+7",  8));
 511   EXPECT_EQ(APInt(32,  +8), APInt(32,  "+10", 8));
 512   EXPECT_EQ(APInt(32, +15), APInt(32,  "+17", 8));
 513   EXPECT_EQ(APInt(32, +16), APInt(32,  "+20", 8));
 514
 515   EXPECT_EQ(APInt(32,  uint64_t(-0LL)), APInt(32,  "-0",  8));
 516   EXPECT_EQ(APInt(32,  uint64_t(-1LL)), APInt(32,  "-1",  8));
 517   EXPECT_EQ(APInt(32,  uint64_t(-7LL)), APInt(32,  "-7",  8));
 518   EXPECT_EQ(APInt(32,  uint64_t(-8LL)), APInt(32,  "-10", 8));
 519   EXPECT_EQ(APInt(32, uint64_t(-15LL)), APInt(32,  "-17", 8));
 520   EXPECT_EQ(APInt(32, uint64_t(-16LL)), APInt(32,  "-20", 8));
 521
 522
 523   EXPECT_EQ(APInt(32,  0), APInt(32,  "0", 10));
 524   EXPECT_EQ(APInt(32,  1), APInt(32,  "1", 10));
 525   EXPECT_EQ(APInt(32,  9), APInt(32,  "9", 10));
 526   EXPECT_EQ(APInt(32, 10), APInt(32, "10", 10));
 527   EXPECT_EQ(APInt(32, 19), APInt(32, "19", 10));
 528   EXPECT_EQ(APInt(32, 20), APInt(32, "20", 10));
 529
 530   EXPECT_EQ(APInt(32,  uint64_t(-0LL)), APInt(32,  "-0", 10));
 531   EXPECT_EQ(APInt(32,  uint64_t(-1LL)), APInt(32,  "-1", 10));
 532   EXPECT_EQ(APInt(32,  uint64_t(-9LL)), APInt(32,  "-9", 10));
 533   EXPECT_EQ(APInt(32, uint64_t(-10LL)), APInt(32, "-10", 10));
 534   EXPECT_EQ(APInt(32, uint64_t(-19LL)), APInt(32, "-19", 10));
 535   EXPECT_EQ(APInt(32, uint64_t(-20LL)), APInt(32, "-20", 10));
 536
 537
 538   EXPECT_EQ(APInt(32,  0), APInt(32,  "0", 16));
 539   EXPECT_EQ(APInt(32,  1), APInt(32,  "1", 16));
 540   EXPECT_EQ(APInt(32, 15), APInt(32,  "F", 16));
 541   EXPECT_EQ(APInt(32, 16), APInt(32, "10", 16));
 542   EXPECT_EQ(APInt(32, 31), APInt(32, "1F", 16));
 543   EXPECT_EQ(APInt(32, 32), APInt(32, "20", 16));
 544
 545   EXPECT_EQ(APInt(32,  uint64_t(-0LL)), APInt(32,  "-0", 16));
 546   EXPECT_EQ(APInt(32,  uint64_t(-1LL)), APInt(32,  "-1", 16));
 547   EXPECT_EQ(APInt(32, uint64_t(-15LL)), APInt(32,  "-F", 16));
 548   EXPECT_EQ(APInt(32, uint64_t(-16LL)), APInt(32, "-10", 16));
 549   EXPECT_EQ(APInt(32, uint64_t(-31LL)), APInt(32, "-1F", 16));
 550   EXPECT_EQ(APInt(32, uint64_t(-32LL)), APInt(32, "-20", 16));
 551
 552   EXPECT_EQ(APInt(32,  0), APInt(32,  "0", 36));
 553   EXPECT_EQ(APInt(32,  1), APInt(32,  "1", 36));
 554   EXPECT_EQ(APInt(32, 35), APInt(32,  "Z", 36));
 555   EXPECT_EQ(APInt(32, 36), APInt(32, "10", 36));
 556   EXPECT_EQ(APInt(32, 71), APInt(32, "1Z", 36));
 557   EXPECT_EQ(APInt(32, 72), APInt(32, "20", 36));
 558
 559   EXPECT_EQ(APInt(32,  uint64_t(-0LL)), APInt(32,  "-0", 36));
 560   EXPECT_EQ(APInt(32,  uint64_t(-1LL)), APInt(32,  "-1", 36));
 561   EXPECT_EQ(APInt(32, uint64_t(-35LL)), APInt(32,  "-Z", 36));
 562   EXPECT_EQ(APInt(32, uint64_t(-36LL)), APInt(32, "-10", 36));
 563   EXPECT_EQ(APInt(32, uint64_t(-71LL)), APInt(32, "-1Z", 36));
 564   EXPECT_EQ(APInt(32, uint64_t(-72LL)), APInt(32, "-20", 36));
 565 }
 566
 567 TEST(APIntTest, FromArray) {
 568   EXPECT_EQ(APInt(32, uint64_t(1)), APInt(32, ArrayRef<uint64_t>(1)));
 569 }
 570
 571 TEST(APIntTest, StringBitsNeeded2) {
 572   EXPECT_EQ(1U, APInt::getBitsNeeded(  "0", 2));
 573   EXPECT_EQ(1U, APInt::getBitsNeeded(  "1", 2));
 574   EXPECT_EQ(2U, APInt::getBitsNeeded( "10", 2));
 575   EXPECT_EQ(2U, APInt::getBitsNeeded( "11", 2));
 576   EXPECT_EQ(3U, APInt::getBitsNeeded("100", 2));
 577
 578   EXPECT_EQ(1U, APInt::getBitsNeeded(  "+0", 2));
 579   EXPECT_EQ(1U, APInt::getBitsNeeded(  "+1", 2));
 580   EXPECT_EQ(2U, APInt::getBitsNeeded( "+10", 2));
 581   EXPECT_EQ(2U, APInt::getBitsNeeded( "+11", 2));
 582   EXPECT_EQ(3U, APInt::getBitsNeeded("+100", 2));
 583
 584   EXPECT_EQ(2U, APInt::getBitsNeeded(  "-0", 2));
 585   EXPECT_EQ(2U, APInt::getBitsNeeded(  "-1", 2));
 586   EXPECT_EQ(3U, APInt::getBitsNeeded( "-10", 2));
 587   EXPECT_EQ(3U, APInt::getBitsNeeded( "-11", 2));
 588   EXPECT_EQ(4U, APInt::getBitsNeeded("-100", 2));
 589 }
 590
 591 TEST(APIntTest, StringBitsNeeded8) {
 592   EXPECT_EQ(3U, APInt::getBitsNeeded( "0", 8));
 593   EXPECT_EQ(3U, APInt::getBitsNeeded( "7", 8));
 594   EXPECT_EQ(6U, APInt::getBitsNeeded("10", 8));
 595   EXPECT_EQ(6U, APInt::getBitsNeeded("17", 8));
 596   EXPECT_EQ(6U, APInt::getBitsNeeded("20", 8));
 597
 598   EXPECT_EQ(3U, APInt::getBitsNeeded( "+0", 8));
 599   EXPECT_EQ(3U, APInt::getBitsNeeded( "+7", 8));
 600   EXPECT_EQ(6U, APInt::getBitsNeeded("+10", 8));
 601   EXPECT_EQ(6U, APInt::getBitsNeeded("+17", 8));
 602   EXPECT_EQ(6U, APInt::getBitsNeeded("+20", 8));
 603
 604   EXPECT_EQ(4U, APInt::getBitsNeeded( "-0", 8));
 605   EXPECT_EQ(4U, APInt::getBitsNeeded( "-7", 8));
 606   EXPECT_EQ(7U, APInt::getBitsNeeded("-10", 8));
 607   EXPECT_EQ(7U, APInt::getBitsNeeded("-17", 8));
 608   EXPECT_EQ(7U, APInt::getBitsNeeded("-20", 8));
 609 }
 610
 611 TEST(APIntTest, StringBitsNeeded10) {
 612   EXPECT_EQ(1U, APInt::getBitsNeeded( "0", 10));
 613   EXPECT_EQ(2U, APInt::getBitsNeeded( "3", 10));
 614   EXPECT_EQ(4U, APInt::getBitsNeeded( "9", 10));
 615   EXPECT_EQ(4U, APInt::getBitsNeeded("10", 10));
 616   EXPECT_EQ(5U, APInt::getBitsNeeded("19", 10));
 617   EXPECT_EQ(5U, APInt::getBitsNeeded("20", 10));
 618
 619   EXPECT_EQ(1U, APInt::getBitsNeeded( "+0", 10));
 620   EXPECT_EQ(4U, APInt::getBitsNeeded( "+9", 10));
 621   EXPECT_EQ(4U, APInt::getBitsNeeded("+10", 10));
 622   EXPECT_EQ(5U, APInt::getBitsNeeded("+19", 10));
 623   EXPECT_EQ(5U, APInt::getBitsNeeded("+20", 10));
 624
 625   EXPECT_EQ(2U, APInt::getBitsNeeded( "-0", 10));
 626   EXPECT_EQ(5U, APInt::getBitsNeeded( "-9", 10));
 627   EXPECT_EQ(5U, APInt::getBitsNeeded("-10", 10));
 628   EXPECT_EQ(6U, APInt::getBitsNeeded("-19", 10));
 629   EXPECT_EQ(6U, APInt::getBitsNeeded("-20", 10));
 630 }
 631
 632 TEST(APIntTest, StringBitsNeeded16) {
 633   EXPECT_EQ(4U, APInt::getBitsNeeded( "0", 16));
 634   EXPECT_EQ(4U, APInt::getBitsNeeded( "F", 16));
 635   EXPECT_EQ(8U, APInt::getBitsNeeded("10", 16));
 636   EXPECT_EQ(8U, APInt::getBitsNeeded("1F", 16));
 637   EXPECT_EQ(8U, APInt::getBitsNeeded("20", 16));
 638
 639   EXPECT_EQ(4U, APInt::getBitsNeeded( "+0", 16));
 640   EXPECT_EQ(4U, APInt::getBitsNeeded( "+F", 16));
 641   EXPECT_EQ(8U, APInt::getBitsNeeded("+10", 16));
 642   EXPECT_EQ(8U, APInt::getBitsNeeded("+1F", 16));
 643   EXPECT_EQ(8U, APInt::getBitsNeeded("+20", 16));
 644
 645   EXPECT_EQ(5U, APInt::getBitsNeeded( "-0", 16));
 646   EXPECT_EQ(5U, APInt::getBitsNeeded( "-F", 16));
 647   EXPECT_EQ(9U, APInt::getBitsNeeded("-10", 16));
 648   EXPECT_EQ(9U, APInt::getBitsNeeded("-1F", 16));
 649   EXPECT_EQ(9U, APInt::getBitsNeeded("-20", 16));
 650 }
 651
 652 TEST(APIntTest, toString) {
 653   SmallString<16> S;
 654   bool isSigned;
 655
 656   APInt(8, 0).toString(S, 2, true, true);
 657   EXPECT_EQ(S.str().str(), "0b0");
 658   S.clear();
 659   APInt(8, 0).toString(S, 8, true, true);
 660   EXPECT_EQ(S.str().str(), "00");
 661   S.clear();
 662   APInt(8, 0).toString(S, 10, true, true);
 663   EXPECT_EQ(S.str().str(), "0");
 664   S.clear();
 665   APInt(8, 0).toString(S, 16, true, true);
 666   EXPECT_EQ(S.str().str(), "0x0");
 667   S.clear();
 668   APInt(8, 0).toString(S, 36, true, false);
 669   EXPECT_EQ(S.str().str(), "0");
 670   S.clear();
 671
 672   isSigned = false;
 673   APInt(8, 255, isSigned).toString(S, 2, isSigned, true);
 674   EXPECT_EQ(S.str().str(), "0b11111111");
 675   S.clear();
 676   APInt(8, 255, isSigned).toString(S, 8, isSigned, true);
 677   EXPECT_EQ(S.str().str(), "0377");
 678   S.clear();
 679   APInt(8, 255, isSigned).toString(S, 10, isSigned, true);
 680   EXPECT_EQ(S.str().str(), "255");
 681   S.clear();
 682   APInt(8, 255, isSigned).toString(S, 16, isSigned, true);
 683   EXPECT_EQ(S.str().str(), "0xFF");
 684   S.clear();
 685   APInt(8, 255, isSigned).toString(S, 36, isSigned, false);
 686   EXPECT_EQ(S.str().str(), "73");
 687   S.clear();
 688
 689   isSigned = true;
 690   APInt(8, 255, isSigned).toString(S, 2, isSigned, true);
 691   EXPECT_EQ(S.str().str(), "-0b1");
 692   S.clear();
 693   APInt(8, 255, isSigned).toString(S, 8, isSigned, true);
 694   EXPECT_EQ(S.str().str(), "-01");
 695   S.clear();
 696   APInt(8, 255, isSigned).toString(S, 10, isSigned, true);
 697   EXPECT_EQ(S.str().str(), "-1");
 698   S.clear();
 699   APInt(8, 255, isSigned).toString(S, 16, isSigned, true);
 700   EXPECT_EQ(S.str().str(), "-0x1");
 701   S.clear();
 702   APInt(8, 255, isSigned).toString(S, 36, isSigned, false);
 703   EXPECT_EQ(S.str().str(), "-1");
 704   S.clear();
 705 }
 706
 707 TEST(APIntTest, Log2) {
 708   EXPECT_EQ(APInt(15, 7).logBase2(), 2U);
 709   EXPECT_EQ(APInt(15, 7).ceilLogBase2(), 3U);
 710   EXPECT_EQ(APInt(15, 7).exactLogBase2(), -1);
 711   EXPECT_EQ(APInt(15, 8).logBase2(), 3U);
 712   EXPECT_EQ(APInt(15, 8).ceilLogBase2(), 3U);
 713   EXPECT_EQ(APInt(15, 8).exactLogBase2(), 3);
 714   EXPECT_EQ(APInt(15, 9).logBase2(), 3U);
 715   EXPECT_EQ(APInt(15, 9).ceilLogBase2(), 4U);
 716   EXPECT_EQ(APInt(15, 9).exactLogBase2(), -1);
 717 }
 718
 719 TEST(APIntTest, magic) {
 720   EXPECT_EQ(APInt(32, 3).magic().m, APInt(32, "55555556", 16));
 721   EXPECT_EQ(APInt(32, 3).magic().s, 0U);
 722   EXPECT_EQ(APInt(32, 5).magic().m, APInt(32, "66666667", 16));
 723   EXPECT_EQ(APInt(32, 5).magic().s, 1U);
 724   EXPECT_EQ(APInt(32, 7).magic().m, APInt(32, "92492493", 16));
 725   EXPECT_EQ(APInt(32, 7).magic().s, 2U);
 726 }
 727
 728 TEST(APIntTest, magicu) {
 729   EXPECT_EQ(APInt(32, 3).magicu().m, APInt(32, "AAAAAAAB", 16));
 730   EXPECT_EQ(APInt(32, 3).magicu().s, 1U);
 731   EXPECT_EQ(APInt(32, 5).magicu().m, APInt(32, "CCCCCCCD", 16));
 732   EXPECT_EQ(APInt(32, 5).magicu().s, 2U);
 733   EXPECT_EQ(APInt(32, 7).magicu().m, APInt(32, "24924925", 16));
 734   EXPECT_EQ(APInt(32, 7).magicu().s, 3U);
 735   EXPECT_EQ(APInt(64, 25).magicu(1).m, APInt(64, "A3D70A3D70A3D70B", 16));
 736   EXPECT_EQ(APInt(64, 25).magicu(1).s, 4U);
 737 }
 738
 739 #ifdef GTEST_HAS_DEATH_TEST
 740 #ifndef NDEBUG
 741 TEST(APIntTest, StringDeath) {
 742   EXPECT_DEATH(APInt(0, "", 0), "Bitwidth too small");
 743   EXPECT_DEATH(APInt(32, "", 0), "Invalid string length");
 744   EXPECT_DEATH(APInt(32, "0", 0), "Radix should be 2, 8, 10, 16, or 36!");
 745   EXPECT_DEATH(APInt(32, "", 10), "Invalid string length");
 746   EXPECT_DEATH(APInt(32, "-", 10), "String is only a sign, needs a value.");
 747   EXPECT_DEATH(APInt(1, "1234", 10), "Insufficient bit width");
 748   EXPECT_DEATH(APInt(32, "\0", 10), "Invalid string length");
 749   EXPECT_DEATH(APInt(32, StringRef("1\02", 3), 10), "Invalid character in digit string");
 750   EXPECT_DEATH(APInt(32, "1L", 10), "Invalid character in digit string");
 751 }
 752 #endif
 753 #endif
 754
 755 TEST(APIntTest, mul_clear) {
 756   APInt ValA(65, -1ULL);
 757   APInt ValB(65, 4);
 758   APInt ValC(65, 0);
 759   ValC = ValA * ValB;
 760   ValA *= ValB;
 761   EXPECT_EQ(ValA.toString(10, false), ValC.toString(10, false));
 762 }
 763
 764 TEST(APIntTest, Rotate) {
 765   EXPECT_EQ(APInt(8, 1),  APInt(8, 1).rotl(0));
 766   EXPECT_EQ(APInt(8, 2),  APInt(8, 1).rotl(1));
 767   EXPECT_EQ(APInt(8, 4),  APInt(8, 1).rotl(2));
 768   EXPECT_EQ(APInt(8, 16), APInt(8, 1).rotl(4));
 769   EXPECT_EQ(APInt(8, 1),  APInt(8, 1).rotl(8));
 770
 771   EXPECT_EQ(APInt(8, 16), APInt(8, 16).rotl(0));
 772   EXPECT_EQ(APInt(8, 32), APInt(8, 16).rotl(1));
 773   EXPECT_EQ(APInt(8, 64), APInt(8, 16).rotl(2));
 774   EXPECT_EQ(APInt(8, 1),  APInt(8, 16).rotl(4));
 775   EXPECT_EQ(APInt(8, 16), APInt(8, 16).rotl(8));
 776
 777   EXPECT_EQ(APInt(8, 16), APInt(8, 16).rotr(0));
 778   EXPECT_EQ(APInt(8, 8),  APInt(8, 16).rotr(1));
 779   EXPECT_EQ(APInt(8, 4),  APInt(8, 16).rotr(2));
 780   EXPECT_EQ(APInt(8, 1),  APInt(8, 16).rotr(4));
 781   EXPECT_EQ(APInt(8, 16), APInt(8, 16).rotr(8));
 782
 783   EXPECT_EQ(APInt(8, 1),   APInt(8, 1).rotr(0));
 784   EXPECT_EQ(APInt(8, 128), APInt(8, 1).rotr(1));
 785   EXPECT_EQ(APInt(8, 64),  APInt(8, 1).rotr(2));
 786   EXPECT_EQ(APInt(8, 16),  APInt(8, 1).rotr(4));
 787   EXPECT_EQ(APInt(8, 1),   APInt(8, 1).rotr(8));
 788
 789   APInt Big(256, "00004000800000000000000000003fff8000000000000000", 16);
 790   APInt Rot(256, "3fff80000000000000000000000000000000000040008000", 16);
 791   EXPECT_EQ(Rot, Big.rotr(144));
 792 }
 793
 794 TEST(APIntTest, Splat) {
 795   APInt ValA(8, 0x01);
 796   EXPECT_EQ(ValA, APInt::getSplat(8, ValA));
 797   EXPECT_EQ(APInt(64, 0x0101010101010101ULL), APInt::getSplat(64, ValA));
 798
 799   APInt ValB(3, 5);
 800   EXPECT_EQ(APInt(4, 0xD), APInt::getSplat(4, ValB));
 801   EXPECT_EQ(APInt(15, 0xDB6D), APInt::getSplat(15, ValB));
 802 }
 803
 804 TEST(APIntTest, tcDecrement) {
 805   // Test single word decrement.
 806
 807   // No out borrow.
 808   {
 809     integerPart singleWord = ~integerPart(0) << (integerPartWidth - 1);
 810     integerPart carry = APInt::tcDecrement(&singleWord, 1);
 811     EXPECT_EQ(carry, integerPart(0));
 812     EXPECT_EQ(singleWord, ~integerPart(0) >> 1);
 813   }
 814
 815   // With out borrow.
 816   {
 817     integerPart singleWord = 0;
 818     integerPart carry = APInt::tcDecrement(&singleWord, 1);
 819     EXPECT_EQ(carry, integerPart(1));
 820     EXPECT_EQ(singleWord, ~integerPart(0));
 821   }
 822
 823   // Test multiword decrement.
 824
 825   // No across word borrow, no out borrow.
 826   {
 827     integerPart test[4] = {0x1, 0x1, 0x1, 0x1};
 828     integerPart expected[4] = {0x0, 0x1, 0x1, 0x1};
 829     APInt::tcDecrement(test, 4);
 830     EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
 831   }
 832
 833   // 1 across word borrow, no out borrow.
 834   {
 835     integerPart test[4] = {0x0, 0xF, 0x1, 0x1};
 836     integerPart expected[4] = {~integerPart(0), 0xE, 0x1, 0x1};
 837     integerPart carry = APInt::tcDecrement(test, 4);
 838     EXPECT_EQ(carry, integerPart(0));
 839     EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
 840   }
 841
 842   // 2 across word borrow, no out borrow.
 843   {
 844     integerPart test[4] = {0x0, 0x0, 0xC, 0x1};
 845     integerPart expected[4] = {~integerPart(0), ~integerPart(0), 0xB, 0x1};
 846     integerPart carry = APInt::tcDecrement(test, 4);
 847     EXPECT_EQ(carry, integerPart(0));
 848     EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
 849   }
 850
 851   // 3 across word borrow, no out borrow.
 852   {
 853     integerPart test[4] = {0x0, 0x0, 0x0, 0x1};
 854     integerPart expected[4] = {~integerPart(0), ~integerPart(0), ~integerPart(0), 0x0};
 855     integerPart carry = APInt::tcDecrement(test, 4);
 856     EXPECT_EQ(carry, integerPart(0));
 857     EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
 858   }
 859
 860   // 3 across word borrow, with out borrow.
 861   {
 862     integerPart test[4] = {0x0, 0x0, 0x0, 0x0};
 863     integerPart expected[4] = {~integerPart(0), ~integerPart(0), ~integerPart(0), ~integerPart(0)};
 864     integerPart carry = APInt::tcDecrement(test, 4);
 865     EXPECT_EQ(carry, integerPart(1));
 866     EXPECT_EQ(APInt::tcCompare(test, expected, 4), 0);
 867   }
 868 }
 869
 870 TEST(APIntTest, arrayAccess) {
 871   // Single word check.
 872   uint64_t E1 = 0x2CA7F46BF6569915ULL;
 873   APInt A1(64, E1);
 874   for (unsigned i = 0, e = 64; i < e; ++i) {
 875     EXPECT_EQ(bool(E1 & (1ULL << i)),
 876               A1[i]);
 877   }
 878
 879   // Multiword check.
 880   integerPart E2[4] = {
 881     0xEB6EB136591CBA21ULL,
 882     0x7B9358BD6A33F10AULL,
 883     0x7E7FFA5EADD8846ULL,
 884     0x305F341CA00B613DULL
 885   };
 886   APInt A2(integerPartWidth*4, E2);
 887   for (unsigned i = 0; i < 4; ++i) {
 888     for (unsigned j = 0; j < integerPartWidth; ++j) {
 889       EXPECT_EQ(bool(E2[i] & (1ULL << j)),
 890                 A2[i*integerPartWidth + j]);
 891     }
 892   }
 893 }
 894
 895 TEST(APIntTest, LargeAPIntConstruction) {
 896   // Check that we can properly construct very large APInt. It is very
 897   // unlikely that people will ever do this, but it is a legal input,
 898   // so we should not crash on it.
 899   APInt A9(UINT32_MAX, 0);
 900   EXPECT_FALSE(A9.getBoolValue());
 901 }
 902
 903 TEST(APIntTest, nearestLogBase2) {
 904   // Single word check.
 905
 906   // Test round up.
 907   uint64_t I1 = 0x1800001;
 908   APInt A1(64, I1);
 909   EXPECT_EQ(A1.nearestLogBase2(), A1.ceilLogBase2());
 910
 911   // Test round down.
 912   uint64_t I2 = 0x1000011;
 913   APInt A2(64, I2);
 914   EXPECT_EQ(A2.nearestLogBase2(), A2.logBase2());
 915
 916   // Test ties round up.
 917   uint64_t I3 = 0x1800000;
 918   APInt A3(64, I3);
 919   EXPECT_EQ(A3.nearestLogBase2(), A3.ceilLogBase2());
 920
 921   // Multiple word check.
 922
 923   // Test round up.
 924   integerPart I4[4] = {0x0, 0xF, 0x18, 0x0};
 925   APInt A4(integerPartWidth*4, I4);
 926   EXPECT_EQ(A4.nearestLogBase2(), A4.ceilLogBase2());
 927
 928   // Test round down.
 929   integerPart I5[4] = {0x0, 0xF, 0x10, 0x0};
 930   APInt A5(integerPartWidth*4, I5);
 931   EXPECT_EQ(A5.nearestLogBase2(), A5.logBase2());
 932
 933   // Test ties round up.
 934   uint64_t I6[4] = {0x0, 0x0, 0x0, 0x18};
 935   APInt A6(integerPartWidth*4, I6);
 936   EXPECT_EQ(A6.nearestLogBase2(), A6.ceilLogBase2());
 937
 938   // Test BitWidth == 1 special cases.
 939   APInt A7(1, 1);
 940   EXPECT_EQ(A7.nearestLogBase2(), 0ULL);
 941   APInt A8(1, 0);
 942   EXPECT_EQ(A8.nearestLogBase2(), UINT32_MAX);
 943
 944   // Test the zero case when we have a bit width large enough such
 945   // that the bit width is larger than UINT32_MAX-1.
 946   APInt A9(UINT32_MAX, 0);
 947   EXPECT_EQ(A9.nearestLogBase2(), UINT32_MAX);
 948 }
 949
 950 TEST(APIntTest, IsSplat) {
 951   APInt A(32, 0x01010101);
 952   EXPECT_FALSE(A.isSplat(1));
 953   EXPECT_FALSE(A.isSplat(2));
 954   EXPECT_FALSE(A.isSplat(4));
 955   EXPECT_TRUE(A.isSplat(8));
 956   EXPECT_TRUE(A.isSplat(16));
 957   EXPECT_TRUE(A.isSplat(32));
 958
 959   APInt B(24, 0xAAAAAA);
 960   EXPECT_FALSE(B.isSplat(1));
 961   EXPECT_TRUE(B.isSplat(2));
 962   EXPECT_TRUE(B.isSplat(4));
 963   EXPECT_TRUE(B.isSplat(8));
 964   EXPECT_TRUE(B.isSplat(24));
 965
 966   APInt C(24, 0xABAAAB);
 967   EXPECT_FALSE(C.isSplat(1));
 968   EXPECT_FALSE(C.isSplat(2));
 969   EXPECT_FALSE(C.isSplat(4));
 970   EXPECT_FALSE(C.isSplat(8));
 971   EXPECT_TRUE(C.isSplat(24));
 972
 973   APInt D(32, 0xABBAABBA);
 974   EXPECT_FALSE(D.isSplat(1));
 975   EXPECT_FALSE(D.isSplat(2));
 976   EXPECT_FALSE(D.isSplat(4));
 977   EXPECT_FALSE(D.isSplat(8));
 978   EXPECT_TRUE(D.isSplat(16));
 979   EXPECT_TRUE(D.isSplat(32));
 980
 981   APInt E(32, 0);
 982   EXPECT_TRUE(E.isSplat(1));
 983   EXPECT_TRUE(E.isSplat(2));
 984   EXPECT_TRUE(E.isSplat(4));
 985   EXPECT_TRUE(E.isSplat(8));
 986   EXPECT_TRUE(E.isSplat(16));
 987   EXPECT_TRUE(E.isSplat(32));
 988 }
 989
 990 #if defined(__clang__)
 991 // Disable the pragma warning from versions of Clang without -Wself-move
 992 #pragma clang diagnostic push
 993 #pragma clang diagnostic ignored "-Wunknown-pragmas"
 994 // Disable the warning that triggers on exactly what is being tested.
 995 #pragma clang diagnostic push
 996 #pragma clang diagnostic ignored "-Wself-move"
 997 #endif
 998 TEST(APIntTest, SelfMoveAssignment) {
 999   APInt X(32, 0xdeadbeef);
1000   X = std::move(X);
1001   EXPECT_EQ(32u, X.getBitWidth());
1002   EXPECT_EQ(0xdeadbeefULL, X.getLimitedValue());
1003
1004   uint64_t Bits[] = {0xdeadbeefdeadbeefULL, 0xdeadbeefdeadbeefULL};
1005   APInt Y(128, Bits);
1006   Y = std::move(Y);
1007   EXPECT_EQ(128u, Y.getBitWidth());
1008   EXPECT_EQ(~0ULL, Y.getLimitedValue());
1009   const uint64_t *Raw = Y.getRawData();
1010   EXPECT_EQ(2u, Y.getNumWords());
1011   EXPECT_EQ(0xdeadbeefdeadbeefULL, Raw[0]);
1012   EXPECT_EQ(0xdeadbeefdeadbeefULL, Raw[1]);
1013 }
1014 #if defined(__clang__)
1015 #pragma clang diagnostic pop
1016 #pragma clang diagnostic pop
1017 #endif
1018 }