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
13using namespace llvm;
14
15namespace {
16
17TEST(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
44TEST(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
55TEST(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
66TEST(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
81TEST(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
146TEST(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
156TEST(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