1 //===-- ScalarTest.cpp ----------------------------------------------------===//
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
7 //===----------------------------------------------------------------------===//
9 #include "gtest/gtest.h"
11 #include "lldb/Utility/DataExtractor.h"
12 #include "lldb/Utility/Endian.h"
13 #include "lldb/Utility/Scalar.h"
14 #include "lldb/Utility/Status.h"
15 #include "lldb/Utility/StreamString.h"
16 #include "llvm/Testing/Support/Error.h"
20 using namespace lldb_private
;
24 using llvm::Succeeded
;
27 bool checkInequality(T c1
, T c2
) {
28 return (Scalar(c1
) != Scalar(c2
));
32 bool checkEquality(T c1
, T c2
) {
33 return (Scalar(c1
) == Scalar(c2
));
36 TEST(ScalarTest
, Equality
) {
37 ASSERT_TRUE(checkInequality
<int>(23, 24));
38 ASSERT_TRUE(checkEquality
<int>(96, 96));
39 ASSERT_TRUE(checkInequality
<float>(4.0f
, 4.5f
));
40 ASSERT_TRUE(checkEquality
<float>(4.0f
, 4.0f
));
42 auto apint1
= APInt(64, 234);
43 auto apint2
= APInt(64, 246);
44 ASSERT_TRUE(checkInequality
<APInt
>(apint1
, apint2
));
45 ASSERT_TRUE(checkEquality
<APInt
>(apint1
, apint1
));
50 ASSERT_TRUE(void1
== void2
);
51 ASSERT_FALSE(void1
== Scalar(f1
));
54 TEST(ScalarTest
, Comparison
) {
58 ASSERT_TRUE(s1
<= s2
);
60 ASSERT_TRUE(s2
>= s1
);
63 TEST(ScalarTest
, ComparisonFloat
) {
64 auto s1
= Scalar(23.0f
);
65 auto s2
= Scalar(46.0f
);
67 ASSERT_TRUE(s1
<= s2
);
69 ASSERT_TRUE(s2
>= s1
);
72 template <typename T
> static void CheckConversion(T val
) {
73 SCOPED_TRACE("val = " + std::to_string(val
));
74 EXPECT_EQ((signed char)val
, Scalar(val
).SChar());
75 EXPECT_EQ((unsigned char)val
, Scalar(val
).UChar());
76 EXPECT_EQ((short)val
, Scalar(val
).SShort());
77 EXPECT_EQ((unsigned short)val
, Scalar(val
).UShort());
78 EXPECT_EQ((int)val
, Scalar(val
).SInt());
79 EXPECT_EQ((unsigned)val
, Scalar(val
).UInt());
80 EXPECT_EQ((long)val
, Scalar(val
).SLong());
81 EXPECT_EQ((unsigned long)val
, Scalar(val
).ULong());
82 EXPECT_EQ((long long)val
, Scalar(val
).SLongLong());
83 EXPECT_EQ((unsigned long long)val
, Scalar(val
).ULongLong());
84 EXPECT_NEAR((float)val
, Scalar(val
).Float(), std::abs(val
/ 1e6
));
85 EXPECT_NEAR((double)val
, Scalar(val
).Double(), std::abs(val
/ 1e12
));
86 EXPECT_NEAR((long double)val
, Scalar(val
).LongDouble(), std::abs(val
/ 1e12
));
89 TEST(ScalarTest
, Getters
) {
90 CheckConversion
<int>(0x87654321);
91 CheckConversion
<unsigned int>(0x87654321u
);
92 CheckConversion
<long>(0x87654321l
);
93 CheckConversion
<unsigned long>(0x87654321ul
);
94 CheckConversion
<long long>(0x8765432112345678ll
);
95 CheckConversion
<unsigned long long>(0x8765432112345678ull
);
96 CheckConversion
<float>(42.25f
);
97 CheckConversion
<double>(42.25);
98 CheckConversion
<long double>(42.25L);
100 EXPECT_EQ(APInt(128, 1) << 70, Scalar(std::pow(2.0f
, 70.0f
)).SInt128(APInt()));
101 EXPECT_EQ(APInt(128, -1, true) << 70,
102 Scalar(-std::pow(2.0f
, 70.0f
)).SInt128(APInt()));
103 EXPECT_EQ(APInt(128, 1) << 70,
104 Scalar(std::pow(2.0f
, 70.0f
)).UInt128(APInt()));
105 EXPECT_EQ(APInt(128, 0), Scalar(-std::pow(2.0f
, 70.0f
)).UInt128(APInt()));
107 EXPECT_EQ(APInt(128, 1) << 70, Scalar(std::pow(2.0, 70.0)).SInt128(APInt()));
108 EXPECT_EQ(APInt(128, -1, true) << 70,
109 Scalar(-std::pow(2.0, 70.0)).SInt128(APInt()));
110 EXPECT_EQ(APInt(128, 1) << 70, Scalar(std::pow(2.0, 70.0)).UInt128(APInt()));
111 EXPECT_EQ(APInt(128, 0), Scalar(-std::pow(2.0, 70.0)).UInt128(APInt()));
114 TEST(ScalarTest
, RightShiftOperator
) {
121 ASSERT_EQ(a
>> c
, a_scalar
>> c_scalar
);
122 ASSERT_EQ(b
>> c
, b_scalar
>> c_scalar
);
125 TEST(ScalarTest
, GetBytes
) {
126 uint8_t Storage
[256];
128 long long b
= 0x0102030405060708LL
;
129 float c
= 1234567.89e32f
;
130 double d
= 1234567.89e42
;
131 char e
[16] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16};
132 char f
[32] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
133 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32};
140 DataExtractor
e_data(e
, sizeof(e
), endian::InlHostByteOrder(),
142 DataExtractor
f_data(f
, sizeof(f
), endian::InlHostByteOrder(),
144 a_scalar
.GetBytes(Storage
);
145 ASSERT_EQ(0, memcmp(&a
, Storage
, sizeof(a
)));
146 b_scalar
.GetBytes(Storage
);
147 ASSERT_EQ(0, memcmp(&b
, Storage
, sizeof(b
)));
148 c_scalar
.GetBytes(Storage
);
149 ASSERT_EQ(0, memcmp(&c
, Storage
, sizeof(c
)));
150 d_scalar
.GetBytes(Storage
);
151 ASSERT_EQ(0, memcmp(&d
, Storage
, sizeof(d
)));
153 e_scalar
.SetValueFromData(e_data
, lldb::eEncodingUint
, sizeof(e
))
156 e_scalar
.GetBytes(Storage
);
157 ASSERT_EQ(0, memcmp(e
, Storage
, sizeof(e
)));
159 f_scalar
.SetValueFromData(f_data
, lldb::eEncodingUint
, sizeof(f
))
162 f_scalar
.GetBytes(Storage
);
163 ASSERT_EQ(0, memcmp(f
, Storage
, sizeof(f
)));
166 TEST(ScalarTest
, SetValueFromData
) {
167 uint8_t a
[] = {1, 2, 3, 4};
171 DataExtractor(a
, sizeof(a
), lldb::eByteOrderLittle
, sizeof(void *)),
172 lldb::eEncodingSint
, sizeof(a
))
175 EXPECT_EQ(0x04030201, s
);
178 DataExtractor(a
, sizeof(a
), lldb::eByteOrderBig
, sizeof(void *)),
179 lldb::eEncodingSint
, sizeof(a
))
182 EXPECT_EQ(0x01020304, s
);
185 TEST(ScalarTest
, CastOperations
) {
186 long long a
= 0xf1f2f3f4f5f6f7f8LL
;
188 EXPECT_EQ((signed char)a
, a_scalar
.SChar());
189 EXPECT_EQ((unsigned char)a
, a_scalar
.UChar());
190 EXPECT_EQ((signed short)a
, a_scalar
.SShort());
191 EXPECT_EQ((unsigned short)a
, a_scalar
.UShort());
192 EXPECT_EQ((signed int)a
, a_scalar
.SInt());
193 EXPECT_EQ((unsigned int)a
, a_scalar
.UInt());
194 EXPECT_EQ((signed long)a
, a_scalar
.SLong());
195 EXPECT_EQ((unsigned long)a
, a_scalar
.ULong());
196 EXPECT_EQ((signed long long)a
, a_scalar
.SLongLong());
197 EXPECT_EQ((unsigned long long)a
, a_scalar
.ULongLong());
200 Scalar
a2_scalar(a2
);
201 EXPECT_EQ((float)a2
, a2_scalar
.Float());
202 EXPECT_EQ((double)a2
, a2_scalar
.Double());
203 EXPECT_EQ((long double)a2
, a2_scalar
.LongDouble());
205 EXPECT_EQ(std::numeric_limits
<unsigned int>::min(), Scalar(-1.0f
).UInt());
206 EXPECT_EQ(std::numeric_limits
<unsigned int>::max(), Scalar(1e11f
).UInt());
207 EXPECT_EQ(std::numeric_limits
<unsigned long long>::min(),
208 Scalar(-1.0).ULongLong());
209 EXPECT_EQ(std::numeric_limits
<unsigned long long>::max(),
210 Scalar(1e22
).ULongLong());
212 EXPECT_EQ(std::numeric_limits
<int>::min(), Scalar(-1e11f
).SInt());
213 EXPECT_EQ(std::numeric_limits
<int>::max(), Scalar(1e11f
).SInt());
214 EXPECT_EQ(std::numeric_limits
<long long>::min(), Scalar(-1e22
).SLongLong());
215 EXPECT_EQ(std::numeric_limits
<long long>::max(), Scalar(1e22
).SLongLong());
218 TEST(ScalarTest
, ExtractBitfield
) {
219 uint32_t len
= sizeof(long long) * 8;
221 long long a1
= 0xf1f2f3f4f5f6f7f8LL
;
222 long long b1
= 0xff1f2f3f4f5f6f7fLL
;
224 ASSERT_TRUE(s_scalar
.ExtractBitfield(0, 0));
225 EXPECT_EQ(s_scalar
, a1
);
226 ASSERT_TRUE(s_scalar
.ExtractBitfield(len
, 0));
227 EXPECT_EQ(s_scalar
, a1
);
228 ASSERT_TRUE(s_scalar
.ExtractBitfield(len
- 4, 4));
229 EXPECT_EQ(s_scalar
, b1
);
231 unsigned long long a2
= 0xf1f2f3f4f5f6f7f8ULL
;
232 unsigned long long b2
= 0x0f1f2f3f4f5f6f7fULL
;
234 ASSERT_TRUE(u_scalar
.ExtractBitfield(0, 0));
235 EXPECT_EQ(u_scalar
, a2
);
236 ASSERT_TRUE(u_scalar
.ExtractBitfield(len
, 0));
237 EXPECT_EQ(u_scalar
, a2
);
238 ASSERT_TRUE(u_scalar
.ExtractBitfield(len
- 4, 4));
239 EXPECT_EQ(u_scalar
, b2
);
242 template <typename T
> static std::string
ScalarGetValue(T value
) {
244 Scalar(value
).GetValue(stream
, false);
245 return std::string(stream
.GetString());
248 TEST(ScalarTest
, GetValue
) {
249 EXPECT_EQ("12345", ScalarGetValue
<signed short>(12345));
250 EXPECT_EQ("-12345", ScalarGetValue
<signed short>(-12345));
251 EXPECT_EQ("12345", ScalarGetValue
<unsigned short>(12345));
252 EXPECT_EQ(std::to_string(std::numeric_limits
<unsigned short>::max()),
253 ScalarGetValue(std::numeric_limits
<unsigned short>::max()));
255 EXPECT_EQ("12345", ScalarGetValue
<signed int>(12345));
256 EXPECT_EQ("-12345", ScalarGetValue
<signed int>(-12345));
257 EXPECT_EQ("12345", ScalarGetValue
<unsigned int>(12345));
258 EXPECT_EQ(std::to_string(std::numeric_limits
<unsigned int>::max()),
259 ScalarGetValue(std::numeric_limits
<unsigned int>::max()));
261 EXPECT_EQ("12345678", ScalarGetValue
<signed long>(12345678L));
262 EXPECT_EQ("-12345678", ScalarGetValue
<signed long>(-12345678L));
263 EXPECT_EQ("12345678", ScalarGetValue
<unsigned long>(12345678UL));
264 EXPECT_EQ(std::to_string(std::numeric_limits
<unsigned long>::max()),
265 ScalarGetValue(std::numeric_limits
<unsigned long>::max()));
267 EXPECT_EQ("1234567890123", ScalarGetValue
<signed long long>(1234567890123LL));
268 EXPECT_EQ("-1234567890123",
269 ScalarGetValue
<signed long long>(-1234567890123LL));
270 EXPECT_EQ("1234567890123",
271 ScalarGetValue
<unsigned long long>(1234567890123ULL));
272 EXPECT_EQ(std::to_string(std::numeric_limits
<unsigned long long>::max()),
273 ScalarGetValue(std::numeric_limits
<unsigned long long>::max()));
276 TEST(ScalarTest
, LongLongAssigmentOperator
) {
278 ull
= std::numeric_limits
<unsigned long long>::max();
279 EXPECT_EQ(std::numeric_limits
<unsigned long long>::max(), ull
.ULongLong());
282 sll
= std::numeric_limits
<signed long long>::max();
283 EXPECT_EQ(std::numeric_limits
<signed long long>::max(), sll
.SLongLong());
286 TEST(ScalarTest
, Division
) {
289 Scalar r
= lhs
/ rhs
;
290 EXPECT_TRUE(r
.IsValid());
291 EXPECT_EQ(r
, Scalar(2.5));
294 TEST(ScalarTest
, Promotion
) {
296 EXPECT_TRUE(a
.IntegralPromote(64, true));
297 EXPECT_TRUE(a
.IsSigned());
298 EXPECT_EQ(APInt(64, 47), a
.UInt128(APInt()));
300 EXPECT_FALSE(a
.IntegralPromote(32, true));
301 EXPECT_FALSE(a
.IntegralPromote(32, false));
302 EXPECT_TRUE(a
.IsSigned());
304 EXPECT_TRUE(a
.IntegralPromote(64, false));
305 EXPECT_FALSE(a
.IsSigned());
306 EXPECT_EQ(APInt(64, 47), a
.UInt128(APInt()));
308 EXPECT_FALSE(a
.IntegralPromote(64, true));
310 EXPECT_TRUE(a
.FloatPromote(APFloat::IEEEdouble()));
311 EXPECT_EQ(Scalar::e_float
, a
.GetType());
312 EXPECT_EQ(47.0, a
.Double());
314 EXPECT_FALSE(a
.FloatPromote(APFloat::IEEEsingle()));
315 EXPECT_TRUE(a
.FloatPromote(APFloat::x87DoubleExtended()));
316 EXPECT_EQ(47.0L, a
.LongDouble());
319 TEST(ScalarTest
, SetValueFromCString
) {
323 a
.SetValueFromCString("1234567890123", lldb::eEncodingUint
, 8).ToError(),
325 EXPECT_EQ(1234567890123ull, a
);
328 a
.SetValueFromCString("-1234567890123", lldb::eEncodingSint
, 8).ToError(),
330 EXPECT_EQ(-1234567890123ll, a
);
333 a
.SetValueFromCString("asdf", lldb::eEncodingSint
, 8).ToError(),
336 a
.SetValueFromCString("asdf", lldb::eEncodingUint
, 8).ToError(),
339 a
.SetValueFromCString("1234567890123", lldb::eEncodingUint
, 4).ToError(),
341 EXPECT_THAT_ERROR(a
.SetValueFromCString("123456789012345678901234567890",
342 lldb::eEncodingUint
, 8)
346 a
.SetValueFromCString("-123", lldb::eEncodingUint
, 8).ToError(),
349 a
.SetValueFromCString("-2147483648", lldb::eEncodingSint
, 4).ToError(),
351 EXPECT_EQ(-2147483648, a
);
353 a
.SetValueFromCString("-2147483649", lldb::eEncodingSint
, 4).ToError(),
356 a
.SetValueFromCString("47.25", lldb::eEncodingIEEE754
, 4).ToError(),
358 EXPECT_EQ(47.25f
, a
);
360 a
.SetValueFromCString("asdf", lldb::eEncodingIEEE754
, 4).ToError(),
364 TEST(ScalarTest
, APIntConstructor
) {
365 for (auto &width
: {8, 16, 32}) {
366 Scalar
A(APInt(width
, 24));
367 EXPECT_TRUE(A
.IsSigned());
368 EXPECT_EQ(A
.GetType(), Scalar::e_int
);
369 EXPECT_EQ(APInt(width
, 24), A
.UInt128(APInt()));
373 TEST(ScalarTest
, Scalar_512
) {
374 Scalar
Z(APInt(512, 0));
375 ASSERT_TRUE(Z
.IsZero());
377 ASSERT_TRUE(Z
.IsZero());
379 Scalar
S(APInt(512, 2000));
380 ASSERT_STREQ(S
.GetTypeAsCString(), "int");
382 ASSERT_TRUE(S
.MakeUnsigned());
383 EXPECT_EQ(S
.GetType(), Scalar::e_int
);
384 EXPECT_FALSE(S
.IsSigned());
385 ASSERT_STREQ(S
.GetTypeAsCString(), "int");
386 EXPECT_EQ(S
.GetByteSize(), 64U);
388 ASSERT_TRUE(S
.MakeSigned());
389 EXPECT_EQ(S
.GetType(), Scalar::e_int
);
390 EXPECT_TRUE(S
.IsSigned());
391 EXPECT_EQ(S
.GetByteSize(), 64U);
394 TEST(ScalarTest
, TruncOrExtendTo
) {
396 S
.TruncOrExtendTo(12, true);
397 EXPECT_EQ(S
.UInt128(APInt()), APInt(12, 0xfffu
));
398 S
.TruncOrExtendTo(20, true);
399 EXPECT_EQ(S
.UInt128(APInt()), APInt(20, 0xfffffu
));
400 S
.TruncOrExtendTo(24, false);
401 EXPECT_EQ(S
.UInt128(APInt()), APInt(24, 0x0fffffu
));
402 S
.TruncOrExtendTo(16, false);
403 EXPECT_EQ(S
.UInt128(APInt()), APInt(16, 0xffffu
));