llvm/unittests/ADT/APSIntTest.cpp

   1 //===- llvm/unittest/ADT/APSIntTest.cpp - APSInt unit tests ---------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 #include "llvm/ADT/APSInt.h"
  10 #include "gtest/gtest.h"
  11
  12 using namespace llvm;
  13
  14 namespace {
  15
  16 TEST(APSIntTest, MoveTest) {
  17   APSInt A(32, true);
  18   EXPECT_TRUE(A.isUnsigned());
  19
  20   APSInt B(128, false);
  21   A = B;
  22   EXPECT_FALSE(A.isUnsigned());
  23
  24   APSInt C(B);
  25   EXPECT_FALSE(C.isUnsigned());
  26
  27   APInt Wide(256, 0);
  28   const uint64_t *Bits = Wide.getRawData();
  29   APSInt D(std::move(Wide));
  30   EXPECT_TRUE(D.isUnsigned());
  31   EXPECT_EQ(Bits, D.getRawData()); // Verify that "Wide" was really moved.
  32
  33   A = APSInt(64, true);
  34   EXPECT_TRUE(A.isUnsigned());
  35
  36   Wide = APInt(128, 1);
  37   Bits = Wide.getRawData();
  38   A = std::move(Wide);
  39   EXPECT_TRUE(A.isUnsigned());
  40   EXPECT_EQ(Bits, A.getRawData()); // Verify that "Wide" was really moved.
  41 }
  42
  43 TEST(APSIntTest, get) {
  44   EXPECT_TRUE(APSInt::get(7).isSigned());
  45   EXPECT_EQ(64u, APSInt::get(7).getBitWidth());
  46   EXPECT_EQ(7u, APSInt::get(7).getZExtValue());
  47   EXPECT_EQ(7, APSInt::get(7).getSExtValue());
  48   EXPECT_TRUE(APSInt::get(-7).isSigned());
  49   EXPECT_EQ(64u, APSInt::get(-7).getBitWidth());
  50   EXPECT_EQ(-7, APSInt::get(-7).getSExtValue());
  51   EXPECT_EQ(UINT64_C(0) - 7, APSInt::get(-7).getZExtValue());
  52 }
  53
  54 TEST(APSIntTest, getUnsigned) {
  55   EXPECT_TRUE(APSInt::getUnsigned(7).isUnsigned());
  56   EXPECT_EQ(64u, APSInt::getUnsigned(7).getBitWidth());
  57   EXPECT_EQ(7u, APSInt::getUnsigned(7).getZExtValue());
  58   EXPECT_EQ(7, APSInt::getUnsigned(7).getSExtValue());
  59   EXPECT_TRUE(APSInt::getUnsigned(-7).isUnsigned());
  60   EXPECT_EQ(64u, APSInt::getUnsigned(-7).getBitWidth());
  61   EXPECT_EQ(-7, APSInt::getUnsigned(-7).getSExtValue());
  62   EXPECT_EQ(UINT64_C(0) - 7, APSInt::getUnsigned(-7).getZExtValue());
  63 }
  64
  65 TEST(APSIntTest, isRepresentableByInt64) {
  66   ASSERT_TRUE(APSInt(APInt(3, 7), true).isRepresentableByInt64());
  67   ASSERT_TRUE(APSInt(APInt(128, 7), true).isRepresentableByInt64());
  68   ASSERT_TRUE(APSInt(APInt(128, 7), false).isRepresentableByInt64());
  69   ASSERT_TRUE(APSInt(APInt(64, -1), false).isRepresentableByInt64());
  70   ASSERT_FALSE(APSInt(APInt(64, (uint64_t)-1), true).isRepresentableByInt64());
  71 }
  72 TEST(APSIntTest, getExtValue) {
  73   EXPECT_TRUE(APSInt(APInt(3, 7), true).isUnsigned());
  74   EXPECT_TRUE(APSInt(APInt(3, 7), false).isSigned());
  75   EXPECT_TRUE(APSInt(APInt(4, 7), true).isUnsigned());
  76   EXPECT_TRUE(APSInt(APInt(4, 7), false).isSigned());
  77   EXPECT_TRUE(APSInt(APInt(4, -7, true), true).isUnsigned());
  78   EXPECT_TRUE(APSInt(APInt(4, -7, true), false).isSigned());
  79   EXPECT_EQ(7, APSInt(APInt(3, 7), true).getExtValue());
  80   EXPECT_EQ(-1, APSInt(APInt(3, 7), false).getExtValue());
  81   EXPECT_EQ(7, APSInt(APInt(4, 7), true).getExtValue());
  82   EXPECT_EQ(7, APSInt(APInt(4, 7), false).getExtValue());
  83   EXPECT_EQ(9, APSInt(APInt(4, -7, true), true).getExtValue());
  84   EXPECT_EQ(-7, APSInt(APInt(4, -7, true), false).getExtValue());
  85 }
  86 TEST(APSIntTest, tryExtValue) {
  87   ASSERT_EQ(-7, APSInt(APInt(64, -7), false).tryExtValue().value_or(42));
  88   ASSERT_EQ(42, APSInt(APInt(128, -7), false).tryExtValue().value_or(42));
  89   ASSERT_EQ(-1,
  90             APSInt(APInt::getAllOnes(128), false).tryExtValue().value_or(42));
  91   ASSERT_EQ(42, APSInt(APInt(64, -7), true).tryExtValue().value_or(42));
  92   ASSERT_EQ(1, APSInt(APInt(128, 1), true).tryExtValue().value_or(42));
  93   ASSERT_EQ(42,
  94             APSInt(APInt::getAllOnes(128), true).tryExtValue().value_or(42));
  95 }
  96
  97 TEST(APSIntTest, compareValues) {
  98   auto U = [](uint64_t V) { return APSInt::getUnsigned(V); };
  99   auto S = [](int64_t V) { return APSInt::get(V); };
 100
 101   // Bit-width matches and is-signed.
 102   EXPECT_TRUE(APSInt::compareValues(S(7), S(8)) < 0);
 103   EXPECT_TRUE(APSInt::compareValues(S(8), S(7)) > 0);
 104   EXPECT_TRUE(APSInt::compareValues(S(7), S(7)) == 0);
 105   EXPECT_TRUE(APSInt::compareValues(S(-7), S(8)) < 0);
 106   EXPECT_TRUE(APSInt::compareValues(S(8), S(-7)) > 0);
 107   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7)) == 0);
 108   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-8)) > 0);
 109   EXPECT_TRUE(APSInt::compareValues(S(-8), S(-7)) < 0);
 110   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7)) == 0);
 111
 112   // Bit-width matches and not is-signed.
 113   EXPECT_TRUE(APSInt::compareValues(U(7), U(8)) < 0);
 114   EXPECT_TRUE(APSInt::compareValues(U(8), U(7)) > 0);
 115   EXPECT_TRUE(APSInt::compareValues(U(7), U(7)) == 0);
 116
 117   // Bit-width matches and mixed signs.
 118   EXPECT_TRUE(APSInt::compareValues(U(7), S(8)) < 0);
 119   EXPECT_TRUE(APSInt::compareValues(U(8), S(7)) > 0);
 120   EXPECT_TRUE(APSInt::compareValues(U(7), S(7)) == 0);
 121   EXPECT_TRUE(APSInt::compareValues(U(8), S(-7)) > 0);
 122
 123   // Bit-width mismatch and is-signed.
 124   EXPECT_TRUE(APSInt::compareValues(S(7).trunc(32), S(8)) < 0);
 125   EXPECT_TRUE(APSInt::compareValues(S(8).trunc(32), S(7)) > 0);
 126   EXPECT_TRUE(APSInt::compareValues(S(7).trunc(32), S(7)) == 0);
 127   EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(8)) < 0);
 128   EXPECT_TRUE(APSInt::compareValues(S(8).trunc(32), S(-7)) > 0);
 129   EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-7)) == 0);
 130   EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-8)) > 0);
 131   EXPECT_TRUE(APSInt::compareValues(S(-8).trunc(32), S(-7)) < 0);
 132   EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-7)) == 0);
 133   EXPECT_TRUE(APSInt::compareValues(S(7), S(8).trunc(32)) < 0);
 134   EXPECT_TRUE(APSInt::compareValues(S(8), S(7).trunc(32)) > 0);
 135   EXPECT_TRUE(APSInt::compareValues(S(7), S(7).trunc(32)) == 0);
 136   EXPECT_TRUE(APSInt::compareValues(S(-7), S(8).trunc(32)) < 0);
 137   EXPECT_TRUE(APSInt::compareValues(S(8), S(-7).trunc(32)) > 0);
 138   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7).trunc(32)) == 0);
 139   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-8).trunc(32)) > 0);
 140   EXPECT_TRUE(APSInt::compareValues(S(-8), S(-7).trunc(32)) < 0);
 141   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7).trunc(32)) == 0);
 142
 143   // Bit-width mismatch and not is-signed.
 144   EXPECT_TRUE(APSInt::compareValues(U(7), U(8).trunc(32)) < 0);
 145   EXPECT_TRUE(APSInt::compareValues(U(8), U(7).trunc(32)) > 0);
 146   EXPECT_TRUE(APSInt::compareValues(U(7), U(7).trunc(32)) == 0);
 147   EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), U(8)) < 0);
 148   EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), U(7)) > 0);
 149   EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), U(7)) == 0);
 150
 151   // Bit-width mismatch and mixed signs.
 152   EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), S(8)) < 0);
 153   EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), S(7)) > 0);
 154   EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), S(7)) == 0);
 155   EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), S(-7)) > 0);
 156   EXPECT_TRUE(APSInt::compareValues(U(7), S(8).trunc(32)) < 0);
 157   EXPECT_TRUE(APSInt::compareValues(U(8), S(7).trunc(32)) > 0);
 158   EXPECT_TRUE(APSInt::compareValues(U(7), S(7).trunc(32)) == 0);
 159   EXPECT_TRUE(APSInt::compareValues(U(8), S(-7).trunc(32)) > 0);
 160 }
 161
 162 TEST(APSIntTest, FromString) {
 163   EXPECT_EQ(APSInt("1").getExtValue(), 1);
 164   EXPECT_EQ(APSInt("-1").getExtValue(), -1);
 165   EXPECT_EQ(APSInt("0").getExtValue(), 0);
 166   EXPECT_EQ(APSInt("56789").getExtValue(), 56789);
 167   EXPECT_EQ(APSInt("-1234").getExtValue(), -1234);
 168 }
 169
 170 TEST(APSIntTest, FromStringBitWidth) {
 171   EXPECT_EQ(APSInt("0").getBitWidth(), 1U);
 172   EXPECT_EQ(APSInt("000").getBitWidth(), 1U);
 173   EXPECT_EQ(APSInt("1").getBitWidth(), 1U);
 174   EXPECT_EQ(APSInt("2").getBitWidth(), 2U);
 175   EXPECT_EQ(APSInt("3").getBitWidth(), 2U);
 176   EXPECT_EQ(APSInt("003").getBitWidth(), 2U);
 177   EXPECT_EQ(APSInt("15").getBitWidth(), 4U);
 178   EXPECT_EQ(APSInt("16").getBitWidth(), 5U);
 179   EXPECT_EQ(APSInt("17").getBitWidth(), 5U);
 180
 181   EXPECT_EQ(APSInt("-0").getBitWidth(), 1U);
 182   EXPECT_EQ(APSInt("-000").getBitWidth(), 1U);
 183   EXPECT_EQ(APSInt("-1").getBitWidth(), 1U);
 184   EXPECT_EQ(APSInt("-2").getBitWidth(), 2U);
 185   EXPECT_EQ(APSInt("-3").getBitWidth(), 3U);
 186   EXPECT_EQ(APSInt("-003").getBitWidth(), 3U);
 187   EXPECT_EQ(APSInt("-5").getBitWidth(), 4U);
 188   EXPECT_EQ(APSInt("-15").getBitWidth(), 5U);
 189   EXPECT_EQ(APSInt("-16").getBitWidth(), 5U);
 190   EXPECT_EQ(APSInt("-17").getBitWidth(), 6U);
 191 }
 192
 193 #if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG)
 194
 195 TEST(APSIntTest, StringDeath) {
 196   EXPECT_DEATH((void)APSInt(""), "Invalid string length");
 197   EXPECT_DEATH((void)APSInt("1a"), "Invalid character in digit string");
 198 }
 199
 200 #endif
 201
 202 TEST(APSIntTest, SignedHighBit) {
 203   APSInt False(APInt(1, 0), false);
 204   APSInt True(APInt(1, 1), false);
 205   APSInt CharMin(APInt(8, 0), false);
 206   APSInt CharSmall(APInt(8, 0x13), false);
 207   APSInt CharBoundaryUnder(APInt(8, 0x7f), false);
 208   APSInt CharBoundaryOver(APInt(8, 0x80), false);
 209   APSInt CharLarge(APInt(8, 0xd9), false);
 210   APSInt CharMax(APInt(8, 0xff), false);
 211
 212   EXPECT_FALSE(False.isNegative());
 213   EXPECT_TRUE(False.isNonNegative());
 214   EXPECT_FALSE(False.isStrictlyPositive());
 215
 216   EXPECT_TRUE(True.isNegative());
 217   EXPECT_FALSE(True.isNonNegative());
 218   EXPECT_FALSE(True.isStrictlyPositive());
 219
 220   EXPECT_FALSE(CharMin.isNegative());
 221   EXPECT_TRUE(CharMin.isNonNegative());
 222   EXPECT_FALSE(CharMin.isStrictlyPositive());
 223
 224   EXPECT_FALSE(CharSmall.isNegative());
 225   EXPECT_TRUE(CharSmall.isNonNegative());
 226   EXPECT_TRUE(CharSmall.isStrictlyPositive());
 227
 228   EXPECT_FALSE(CharBoundaryUnder.isNegative());
 229   EXPECT_TRUE(CharBoundaryUnder.isNonNegative());
 230   EXPECT_TRUE(CharBoundaryUnder.isStrictlyPositive());
 231
 232   EXPECT_TRUE(CharBoundaryOver.isNegative());
 233   EXPECT_FALSE(CharBoundaryOver.isNonNegative());
 234   EXPECT_FALSE(CharBoundaryOver.isStrictlyPositive());
 235
 236   EXPECT_TRUE(CharLarge.isNegative());
 237   EXPECT_FALSE(CharLarge.isNonNegative());
 238   EXPECT_FALSE(CharLarge.isStrictlyPositive());
 239
 240   EXPECT_TRUE(CharMax.isNegative());
 241   EXPECT_FALSE(CharMax.isNonNegative());
 242   EXPECT_FALSE(CharMax.isStrictlyPositive());
 243 }
 244
 245 TEST(APSIntTest, UnsignedHighBit) {
 246   APSInt False(APInt(1, 0));
 247   APSInt True(APInt(1, 1));
 248   APSInt CharMin(APInt(8, 0));
 249   APSInt CharSmall(APInt(8, 0x13));
 250   APSInt CharBoundaryUnder(APInt(8, 0x7f));
 251   APSInt CharBoundaryOver(APInt(8, 0x80));
 252   APSInt CharLarge(APInt(8, 0xd9));
 253   APSInt CharMax(APInt(8, 0xff));
 254
 255   EXPECT_FALSE(False.isNegative());
 256   EXPECT_TRUE(False.isNonNegative());
 257   EXPECT_FALSE(False.isStrictlyPositive());
 258
 259   EXPECT_FALSE(True.isNegative());
 260   EXPECT_TRUE(True.isNonNegative());
 261   EXPECT_TRUE(True.isStrictlyPositive());
 262
 263   EXPECT_FALSE(CharMin.isNegative());
 264   EXPECT_TRUE(CharMin.isNonNegative());
 265   EXPECT_FALSE(CharMin.isStrictlyPositive());
 266
 267   EXPECT_FALSE(CharSmall.isNegative());
 268   EXPECT_TRUE(CharSmall.isNonNegative());
 269   EXPECT_TRUE(CharSmall.isStrictlyPositive());
 270
 271   EXPECT_FALSE(CharBoundaryUnder.isNegative());
 272   EXPECT_TRUE(CharBoundaryUnder.isNonNegative());
 273   EXPECT_TRUE(CharBoundaryUnder.isStrictlyPositive());
 274
 275   EXPECT_FALSE(CharBoundaryOver.isNegative());
 276   EXPECT_TRUE(CharBoundaryOver.isNonNegative());
 277   EXPECT_TRUE(CharBoundaryOver.isStrictlyPositive());
 278
 279   EXPECT_FALSE(CharLarge.isNegative());
 280   EXPECT_TRUE(CharLarge.isNonNegative());
 281   EXPECT_TRUE(CharLarge.isStrictlyPositive());
 282
 283   EXPECT_FALSE(CharMax.isNegative());
 284   EXPECT_TRUE(CharMax.isNonNegative());
 285   EXPECT_TRUE(CharMax.isStrictlyPositive());
 286 }
 287
 288 } // end anonymous namespace