• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===- llvm/unittest/ADT/APSIntTest.cpp - APSInt 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/APSInt.h"
11 #include "gtest/gtest.h"
12 
13 using namespace llvm;
14 
15 namespace {
16 
TEST(APSIntTest,MoveTest)17 TEST(APSIntTest, MoveTest) {
18   APSInt A(32, true);
19   EXPECT_TRUE(A.isUnsigned());
20 
21   APSInt B(128, false);
22   A = B;
23   EXPECT_FALSE(A.isUnsigned());
24 
25   APSInt C(B);
26   EXPECT_FALSE(C.isUnsigned());
27 
28   APInt Wide(256, 0);
29   const uint64_t *Bits = Wide.getRawData();
30   APSInt D(std::move(Wide));
31   EXPECT_TRUE(D.isUnsigned());
32   EXPECT_EQ(Bits, D.getRawData()); // Verify that "Wide" was really moved.
33 
34   A = APSInt(64, true);
35   EXPECT_TRUE(A.isUnsigned());
36 
37   Wide = APInt(128, 1);
38   Bits = Wide.getRawData();
39   A = std::move(Wide);
40   EXPECT_TRUE(A.isUnsigned());
41   EXPECT_EQ(Bits, A.getRawData()); // Verify that "Wide" was really moved.
42 }
43 
TEST(APSIntTest,get)44 TEST(APSIntTest, get) {
45   EXPECT_TRUE(APSInt::get(7).isSigned());
46   EXPECT_EQ(64u, APSInt::get(7).getBitWidth());
47   EXPECT_EQ(7u, APSInt::get(7).getZExtValue());
48   EXPECT_EQ(7, APSInt::get(7).getSExtValue());
49   EXPECT_TRUE(APSInt::get(-7).isSigned());
50   EXPECT_EQ(64u, APSInt::get(-7).getBitWidth());
51   EXPECT_EQ(-7, APSInt::get(-7).getSExtValue());
52   EXPECT_EQ(UINT64_C(0) - 7, APSInt::get(-7).getZExtValue());
53 }
54 
TEST(APSIntTest,getUnsigned)55 TEST(APSIntTest, getUnsigned) {
56   EXPECT_TRUE(APSInt::getUnsigned(7).isUnsigned());
57   EXPECT_EQ(64u, APSInt::getUnsigned(7).getBitWidth());
58   EXPECT_EQ(7u, APSInt::getUnsigned(7).getZExtValue());
59   EXPECT_EQ(7, APSInt::getUnsigned(7).getSExtValue());
60   EXPECT_TRUE(APSInt::getUnsigned(-7).isUnsigned());
61   EXPECT_EQ(64u, APSInt::getUnsigned(-7).getBitWidth());
62   EXPECT_EQ(-7, APSInt::getUnsigned(-7).getSExtValue());
63   EXPECT_EQ(UINT64_C(0) - 7, APSInt::getUnsigned(-7).getZExtValue());
64 }
65 
TEST(APSIntTest,getExtValue)66 TEST(APSIntTest, getExtValue) {
67   EXPECT_TRUE(APSInt(APInt(3, 7), true).isUnsigned());
68   EXPECT_TRUE(APSInt(APInt(3, 7), false).isSigned());
69   EXPECT_TRUE(APSInt(APInt(4, 7), true).isUnsigned());
70   EXPECT_TRUE(APSInt(APInt(4, 7), false).isSigned());
71   EXPECT_TRUE(APSInt(APInt(4, -7), true).isUnsigned());
72   EXPECT_TRUE(APSInt(APInt(4, -7), false).isSigned());
73   EXPECT_EQ(7, APSInt(APInt(3, 7), true).getExtValue());
74   EXPECT_EQ(-1, APSInt(APInt(3, 7), false).getExtValue());
75   EXPECT_EQ(7, APSInt(APInt(4, 7), true).getExtValue());
76   EXPECT_EQ(7, APSInt(APInt(4, 7), false).getExtValue());
77   EXPECT_EQ(9, APSInt(APInt(4, -7), true).getExtValue());
78   EXPECT_EQ(-7, APSInt(APInt(4, -7), false).getExtValue());
79 }
80 
TEST(APSIntTest,compareValues)81 TEST(APSIntTest, compareValues) {
82   auto U = [](uint64_t V) { return APSInt::getUnsigned(V); };
83   auto S = [](int64_t V) { return APSInt::get(V); };
84 
85   // Bit-width matches and is-signed.
86   EXPECT_TRUE(APSInt::compareValues(S(7), S(8)) < 0);
87   EXPECT_TRUE(APSInt::compareValues(S(8), S(7)) > 0);
88   EXPECT_TRUE(APSInt::compareValues(S(7), S(7)) == 0);
89   EXPECT_TRUE(APSInt::compareValues(S(-7), S(8)) < 0);
90   EXPECT_TRUE(APSInt::compareValues(S(8), S(-7)) > 0);
91   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7)) == 0);
92   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-8)) > 0);
93   EXPECT_TRUE(APSInt::compareValues(S(-8), S(-7)) < 0);
94   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7)) == 0);
95 
96   // Bit-width matches and not is-signed.
97   EXPECT_TRUE(APSInt::compareValues(U(7), U(8)) < 0);
98   EXPECT_TRUE(APSInt::compareValues(U(8), U(7)) > 0);
99   EXPECT_TRUE(APSInt::compareValues(U(7), U(7)) == 0);
100 
101   // Bit-width matches and mixed signs.
102   EXPECT_TRUE(APSInt::compareValues(U(7), S(8)) < 0);
103   EXPECT_TRUE(APSInt::compareValues(U(8), S(7)) > 0);
104   EXPECT_TRUE(APSInt::compareValues(U(7), S(7)) == 0);
105   EXPECT_TRUE(APSInt::compareValues(U(8), S(-7)) > 0);
106 
107   // Bit-width mismatch and is-signed.
108   EXPECT_TRUE(APSInt::compareValues(S(7).trunc(32), S(8)) < 0);
109   EXPECT_TRUE(APSInt::compareValues(S(8).trunc(32), S(7)) > 0);
110   EXPECT_TRUE(APSInt::compareValues(S(7).trunc(32), S(7)) == 0);
111   EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(8)) < 0);
112   EXPECT_TRUE(APSInt::compareValues(S(8).trunc(32), S(-7)) > 0);
113   EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-7)) == 0);
114   EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-8)) > 0);
115   EXPECT_TRUE(APSInt::compareValues(S(-8).trunc(32), S(-7)) < 0);
116   EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-7)) == 0);
117   EXPECT_TRUE(APSInt::compareValues(S(7), S(8).trunc(32)) < 0);
118   EXPECT_TRUE(APSInt::compareValues(S(8), S(7).trunc(32)) > 0);
119   EXPECT_TRUE(APSInt::compareValues(S(7), S(7).trunc(32)) == 0);
120   EXPECT_TRUE(APSInt::compareValues(S(-7), S(8).trunc(32)) < 0);
121   EXPECT_TRUE(APSInt::compareValues(S(8), S(-7).trunc(32)) > 0);
122   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7).trunc(32)) == 0);
123   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-8).trunc(32)) > 0);
124   EXPECT_TRUE(APSInt::compareValues(S(-8), S(-7).trunc(32)) < 0);
125   EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7).trunc(32)) == 0);
126 
127   // Bit-width mismatch and not is-signed.
128   EXPECT_TRUE(APSInt::compareValues(U(7), U(8).trunc(32)) < 0);
129   EXPECT_TRUE(APSInt::compareValues(U(8), U(7).trunc(32)) > 0);
130   EXPECT_TRUE(APSInt::compareValues(U(7), U(7).trunc(32)) == 0);
131   EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), U(8)) < 0);
132   EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), U(7)) > 0);
133   EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), U(7)) == 0);
134 
135   // Bit-width mismatch and mixed signs.
136   EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), S(8)) < 0);
137   EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), S(7)) > 0);
138   EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), S(7)) == 0);
139   EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), S(-7)) > 0);
140   EXPECT_TRUE(APSInt::compareValues(U(7), S(8).trunc(32)) < 0);
141   EXPECT_TRUE(APSInt::compareValues(U(8), S(7).trunc(32)) > 0);
142   EXPECT_TRUE(APSInt::compareValues(U(7), S(7).trunc(32)) == 0);
143   EXPECT_TRUE(APSInt::compareValues(U(8), S(-7).trunc(32)) > 0);
144 }
145 
TEST(APSIntTest,FromString)146 TEST(APSIntTest, FromString) {
147   EXPECT_EQ(APSInt("1").getExtValue(), 1);
148   EXPECT_EQ(APSInt("-1").getExtValue(), -1);
149   EXPECT_EQ(APSInt("0").getExtValue(), 0);
150   EXPECT_EQ(APSInt("56789").getExtValue(), 56789);
151   EXPECT_EQ(APSInt("-1234").getExtValue(), -1234);
152 }
153 
154 #if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG)
155 
TEST(APSIntTest,StringDeath)156 TEST(APSIntTest, StringDeath) {
157   EXPECT_DEATH(APSInt(""), "Invalid string length");
158   EXPECT_DEATH(APSInt("1a"), "Invalid character in digit string");
159 }
160 
161 #endif
162 
163 } // end anonymous namespace
164