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
12using namespace llvm;
13
14namespace {
15
16TEST(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
43TEST(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
54TEST(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
65TEST(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}
72TEST(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).isUnsigned());
78 EXPECT_TRUE(APSInt(APInt(4, -7), 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).getExtValue());
84 EXPECT_EQ(-7, APSInt(APInt(4, -7), false).getExtValue());
85}
86TEST(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
97TEST(APSIntTest, compareValues) {
98 auto U = [](uint64_t V) { return APSInt::getUnsigned(X: V); };
99 auto S = [](int64_t V) { return APSInt::get(X: 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
162TEST(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
170TEST(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
195TEST(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
202TEST(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
245TEST(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
289

source code of llvm/unittests/ADT/APSIntTest.cpp