blob: 1ad38716c7708a317e1b531ae00e644b083991e4 [file] [log] [blame]
Benjamin Kramer49c8ae22014-03-02 20:56:28 +00001//===- llvm/unittest/ADT/APSIntTest.cpp - APSInt unit tests ---------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Benjamin Kramer49c8ae22014-03-02 20:56:28 +00006//
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
Duncan P. N. Exon Smith5a914a82015-02-05 00:17:43 +000043TEST(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, getExtValue) {
66 EXPECT_TRUE(APSInt(APInt(3, 7), true).isUnsigned());
67 EXPECT_TRUE(APSInt(APInt(3, 7), false).isSigned());
68 EXPECT_TRUE(APSInt(APInt(4, 7), true).isUnsigned());
69 EXPECT_TRUE(APSInt(APInt(4, 7), false).isSigned());
70 EXPECT_TRUE(APSInt(APInt(4, -7), true).isUnsigned());
71 EXPECT_TRUE(APSInt(APInt(4, -7), false).isSigned());
72 EXPECT_EQ(7, APSInt(APInt(3, 7), true).getExtValue());
73 EXPECT_EQ(-1, APSInt(APInt(3, 7), false).getExtValue());
74 EXPECT_EQ(7, APSInt(APInt(4, 7), true).getExtValue());
75 EXPECT_EQ(7, APSInt(APInt(4, 7), false).getExtValue());
76 EXPECT_EQ(9, APSInt(APInt(4, -7), true).getExtValue());
77 EXPECT_EQ(-7, APSInt(APInt(4, -7), false).getExtValue());
78}
79
80TEST(APSIntTest, compareValues) {
81 auto U = [](uint64_t V) { return APSInt::getUnsigned(V); };
82 auto S = [](int64_t V) { return APSInt::get(V); };
83
84 // Bit-width matches and is-signed.
85 EXPECT_TRUE(APSInt::compareValues(S(7), S(8)) < 0);
86 EXPECT_TRUE(APSInt::compareValues(S(8), S(7)) > 0);
87 EXPECT_TRUE(APSInt::compareValues(S(7), S(7)) == 0);
88 EXPECT_TRUE(APSInt::compareValues(S(-7), S(8)) < 0);
89 EXPECT_TRUE(APSInt::compareValues(S(8), S(-7)) > 0);
90 EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7)) == 0);
91 EXPECT_TRUE(APSInt::compareValues(S(-7), S(-8)) > 0);
92 EXPECT_TRUE(APSInt::compareValues(S(-8), S(-7)) < 0);
93 EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7)) == 0);
94
95 // Bit-width matches and not is-signed.
96 EXPECT_TRUE(APSInt::compareValues(U(7), U(8)) < 0);
97 EXPECT_TRUE(APSInt::compareValues(U(8), U(7)) > 0);
98 EXPECT_TRUE(APSInt::compareValues(U(7), U(7)) == 0);
99
100 // Bit-width matches and mixed signs.
101 EXPECT_TRUE(APSInt::compareValues(U(7), S(8)) < 0);
102 EXPECT_TRUE(APSInt::compareValues(U(8), S(7)) > 0);
103 EXPECT_TRUE(APSInt::compareValues(U(7), S(7)) == 0);
104 EXPECT_TRUE(APSInt::compareValues(U(8), S(-7)) > 0);
105
106 // Bit-width mismatch and is-signed.
107 EXPECT_TRUE(APSInt::compareValues(S(7).trunc(32), S(8)) < 0);
108 EXPECT_TRUE(APSInt::compareValues(S(8).trunc(32), S(7)) > 0);
109 EXPECT_TRUE(APSInt::compareValues(S(7).trunc(32), S(7)) == 0);
110 EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(8)) < 0);
111 EXPECT_TRUE(APSInt::compareValues(S(8).trunc(32), S(-7)) > 0);
112 EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-7)) == 0);
113 EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-8)) > 0);
114 EXPECT_TRUE(APSInt::compareValues(S(-8).trunc(32), S(-7)) < 0);
115 EXPECT_TRUE(APSInt::compareValues(S(-7).trunc(32), S(-7)) == 0);
116 EXPECT_TRUE(APSInt::compareValues(S(7), S(8).trunc(32)) < 0);
117 EXPECT_TRUE(APSInt::compareValues(S(8), S(7).trunc(32)) > 0);
118 EXPECT_TRUE(APSInt::compareValues(S(7), S(7).trunc(32)) == 0);
119 EXPECT_TRUE(APSInt::compareValues(S(-7), S(8).trunc(32)) < 0);
120 EXPECT_TRUE(APSInt::compareValues(S(8), S(-7).trunc(32)) > 0);
121 EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7).trunc(32)) == 0);
122 EXPECT_TRUE(APSInt::compareValues(S(-7), S(-8).trunc(32)) > 0);
123 EXPECT_TRUE(APSInt::compareValues(S(-8), S(-7).trunc(32)) < 0);
124 EXPECT_TRUE(APSInt::compareValues(S(-7), S(-7).trunc(32)) == 0);
125
126 // Bit-width mismatch and not is-signed.
127 EXPECT_TRUE(APSInt::compareValues(U(7), U(8).trunc(32)) < 0);
128 EXPECT_TRUE(APSInt::compareValues(U(8), U(7).trunc(32)) > 0);
129 EXPECT_TRUE(APSInt::compareValues(U(7), U(7).trunc(32)) == 0);
130 EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), U(8)) < 0);
131 EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), U(7)) > 0);
132 EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), U(7)) == 0);
133
134 // Bit-width mismatch and mixed signs.
135 EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), S(8)) < 0);
136 EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), S(7)) > 0);
137 EXPECT_TRUE(APSInt::compareValues(U(7).trunc(32), S(7)) == 0);
138 EXPECT_TRUE(APSInt::compareValues(U(8).trunc(32), S(-7)) > 0);
139 EXPECT_TRUE(APSInt::compareValues(U(7), S(8).trunc(32)) < 0);
140 EXPECT_TRUE(APSInt::compareValues(U(8), S(7).trunc(32)) > 0);
141 EXPECT_TRUE(APSInt::compareValues(U(7), S(7).trunc(32)) == 0);
142 EXPECT_TRUE(APSInt::compareValues(U(8), S(-7).trunc(32)) > 0);
143}
144
Alex Lorenz6f8a6be2015-06-23 18:22:10 +0000145TEST(APSIntTest, FromString) {
146 EXPECT_EQ(APSInt("1").getExtValue(), 1);
147 EXPECT_EQ(APSInt("-1").getExtValue(), -1);
148 EXPECT_EQ(APSInt("0").getExtValue(), 0);
149 EXPECT_EQ(APSInt("56789").getExtValue(), 56789);
150 EXPECT_EQ(APSInt("-1234").getExtValue(), -1234);
Benjamin Kramer49c8ae22014-03-02 20:56:28 +0000151}
Alex Lorenz6f8a6be2015-06-23 18:22:10 +0000152
Alex Lorenzcc0a73c2015-06-24 17:05:04 +0000153#if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG)
Alex Lorenz6f8a6be2015-06-23 18:22:10 +0000154
155TEST(APSIntTest, StringDeath) {
156 EXPECT_DEATH(APSInt(""), "Invalid string length");
157 EXPECT_DEATH(APSInt("1a"), "Invalid character in digit string");
158}
159
160#endif
Alex Lorenz6f8a6be2015-06-23 18:22:10 +0000161
Joel E. Denny32348872019-04-23 17:04:15 +0000162TEST(APSIntTest, SignedHighBit) {
163 APSInt False(APInt(1, 0), false);
164 APSInt True(APInt(1, 1), false);
165 APSInt CharMin(APInt(8, 0), false);
166 APSInt CharSmall(APInt(8, 0x13), false);
167 APSInt CharBoundaryUnder(APInt(8, 0x7f), false);
168 APSInt CharBoundaryOver(APInt(8, 0x80), false);
169 APSInt CharLarge(APInt(8, 0xd9), false);
170 APSInt CharMax(APInt(8, 0xff), false);
171
172 EXPECT_FALSE(False.isNegative());
173 EXPECT_TRUE(False.isNonNegative());
174 EXPECT_FALSE(False.isStrictlyPositive());
175
176 EXPECT_TRUE(True.isNegative());
177 EXPECT_FALSE(True.isNonNegative());
178 EXPECT_FALSE(True.isStrictlyPositive());
179
180 EXPECT_FALSE(CharMin.isNegative());
181 EXPECT_TRUE(CharMin.isNonNegative());
182 EXPECT_FALSE(CharMin.isStrictlyPositive());
183
184 EXPECT_FALSE(CharSmall.isNegative());
185 EXPECT_TRUE(CharSmall.isNonNegative());
186 EXPECT_TRUE(CharSmall.isStrictlyPositive());
187
188 EXPECT_FALSE(CharBoundaryUnder.isNegative());
189 EXPECT_TRUE(CharBoundaryUnder.isNonNegative());
190 EXPECT_TRUE(CharBoundaryUnder.isStrictlyPositive());
191
192 EXPECT_TRUE(CharBoundaryOver.isNegative());
193 EXPECT_FALSE(CharBoundaryOver.isNonNegative());
194 EXPECT_FALSE(CharBoundaryOver.isStrictlyPositive());
195
196 EXPECT_TRUE(CharLarge.isNegative());
197 EXPECT_FALSE(CharLarge.isNonNegative());
198 EXPECT_FALSE(CharLarge.isStrictlyPositive());
199
200 EXPECT_TRUE(CharMax.isNegative());
201 EXPECT_FALSE(CharMax.isNonNegative());
202 EXPECT_FALSE(CharMax.isStrictlyPositive());
203}
204
205TEST(APSIntTest, UnsignedHighBit) {
206 APSInt False(APInt(1, 0));
207 APSInt True(APInt(1, 1));
208 APSInt CharMin(APInt(8, 0));
209 APSInt CharSmall(APInt(8, 0x13));
210 APSInt CharBoundaryUnder(APInt(8, 0x7f));
211 APSInt CharBoundaryOver(APInt(8, 0x80));
212 APSInt CharLarge(APInt(8, 0xd9));
213 APSInt CharMax(APInt(8, 0xff));
214
215 EXPECT_FALSE(False.isNegative());
216 EXPECT_TRUE(False.isNonNegative());
217 EXPECT_FALSE(False.isStrictlyPositive());
218
219 EXPECT_FALSE(True.isNegative());
220 EXPECT_TRUE(True.isNonNegative());
221 EXPECT_TRUE(True.isStrictlyPositive());
222
223 EXPECT_FALSE(CharMin.isNegative());
224 EXPECT_TRUE(CharMin.isNonNegative());
225 EXPECT_FALSE(CharMin.isStrictlyPositive());
226
227 EXPECT_FALSE(CharSmall.isNegative());
228 EXPECT_TRUE(CharSmall.isNonNegative());
229 EXPECT_TRUE(CharSmall.isStrictlyPositive());
230
231 EXPECT_FALSE(CharBoundaryUnder.isNegative());
232 EXPECT_TRUE(CharBoundaryUnder.isNonNegative());
233 EXPECT_TRUE(CharBoundaryUnder.isStrictlyPositive());
234
235 EXPECT_FALSE(CharBoundaryOver.isNegative());
236 EXPECT_TRUE(CharBoundaryOver.isNonNegative());
237 EXPECT_TRUE(CharBoundaryOver.isStrictlyPositive());
238
239 EXPECT_FALSE(CharLarge.isNegative());
240 EXPECT_TRUE(CharLarge.isNonNegative());
241 EXPECT_TRUE(CharLarge.isStrictlyPositive());
242
243 EXPECT_FALSE(CharMax.isNegative());
244 EXPECT_TRUE(CharMax.isNonNegative());
245 EXPECT_TRUE(CharMax.isStrictlyPositive());
246}
247
Alex Lorenz6f8a6be2015-06-23 18:22:10 +0000248} // end anonymous namespace