blob: 8ff7d1d8099dd409b130ed2b32f73850fc0d8224 [file] [log] [blame]
Bill Wendlingfb3e5ca2009-02-09 12:31:40 +00001//===- llvm/unittest/ADT/APInt.cpp - APInt unit tests ---------------------===//
Nick Lewycky1999ff12009-01-19 18:08:33 +00002//
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
Misha Brukman2e734262009-03-24 21:36:09 +000010#include <ostream>
11#include "llvm/Support/raw_ostream.h"
Nick Lewycky1999ff12009-01-19 18:08:33 +000012#include "gtest/gtest.h"
13#include "llvm/ADT/APInt.h"
Misha Brukman2e734262009-03-24 21:36:09 +000014#include "llvm/ADT/SmallString.h"
Nick Lewycky1999ff12009-01-19 18:08:33 +000015
16using namespace llvm;
17
18namespace {
19
Misha Brukman2e734262009-03-24 21:36:09 +000020// Make the Google Test failure output equivalent to APInt::dump()
21std::ostream& operator<<(std::ostream &OS, const llvm::APInt& I) {
22 llvm::raw_os_ostream raw_os(OS);
23
24 SmallString<40> S, U;
25 I.toStringUnsigned(U);
26 I.toStringSigned(S);
27 raw_os << "APInt(" << I.getBitWidth()<< "b, "
28 << U.c_str() << "u " << S.c_str() << "s)";
29 raw_os.flush();
30 return OS;
31}
32
Nick Lewycky1999ff12009-01-19 18:08:33 +000033// Test that APInt shift left works when bitwidth > 64 and shiftamt == 0
34TEST(APIntTest, ShiftLeftByZero) {
35 APInt One = APInt::getNullValue(65) + 1;
36 APInt Shl = One.shl(0);
Torok Edwin2d0f1c52009-01-27 18:06:03 +000037 EXPECT_EQ(true, Shl[0]);
38 EXPECT_EQ(false, Shl[1]);
39}
40
Misha Brukman2e734262009-03-24 21:36:09 +000041TEST(APIntTest, i128_NegativeCount) {
Misha Brukmane3bc46e2009-04-08 16:17:23 +000042 APInt Minus3(128, static_cast<uint64_t>(-3), true);
Torok Edwin2d0f1c52009-01-27 18:06:03 +000043 EXPECT_EQ(126u, Minus3.countLeadingOnes());
44 EXPECT_EQ(-3, Minus3.getSExtValue());
45
Misha Brukmane3bc46e2009-04-08 16:17:23 +000046 APInt Minus1(128, static_cast<uint64_t>(-1), true);
Torok Edwin2d0f1c52009-01-27 18:06:03 +000047 EXPECT_EQ(0u, Minus1.countLeadingZeros());
48 EXPECT_EQ(128u, Minus1.countLeadingOnes());
49 EXPECT_EQ(128u, Minus1.getActiveBits());
50 EXPECT_EQ(0u, Minus1.countTrailingZeros());
51 EXPECT_EQ(128u, Minus1.countTrailingOnes());
52 EXPECT_EQ(128u, Minus1.countPopulation());
53 EXPECT_EQ(-1, Minus1.getSExtValue());
54}
55
Misha Brukman2e734262009-03-24 21:36:09 +000056TEST(APIntTest, i33_Count) {
Misha Brukmane3bc46e2009-04-08 16:17:23 +000057 APInt i33minus2(33, static_cast<uint64_t>(-2), true);
Torok Edwin2d0f1c52009-01-27 18:06:03 +000058 EXPECT_EQ(0u, i33minus2.countLeadingZeros());
59 EXPECT_EQ(32u, i33minus2.countLeadingOnes());
60 EXPECT_EQ(33u, i33minus2.getActiveBits());
61 EXPECT_EQ(1u, i33minus2.countTrailingZeros());
62 EXPECT_EQ(32u, i33minus2.countPopulation());
63 EXPECT_EQ(-2, i33minus2.getSExtValue());
64 EXPECT_EQ(((uint64_t)-2)&((1ull<<33) -1), i33minus2.getZExtValue());
65}
66
Misha Brukman2e734262009-03-24 21:36:09 +000067TEST(APIntTest, i65_Count) {
Torok Edwin2d0f1c52009-01-27 18:06:03 +000068 APInt i65minus(65, 0, true);
69 i65minus.set(64);
70 EXPECT_EQ(0u, i65minus.countLeadingZeros());
71 EXPECT_EQ(1u, i65minus.countLeadingOnes());
72 EXPECT_EQ(65u, i65minus.getActiveBits());
73 EXPECT_EQ(64u, i65minus.countTrailingZeros());
74 EXPECT_EQ(1u, i65minus.countPopulation());
75}
76
Misha Brukman2e734262009-03-24 21:36:09 +000077TEST(APIntTest, i128_PositiveCount) {
Torok Edwin2d0f1c52009-01-27 18:06:03 +000078 APInt u128max = APInt::getAllOnesValue(128);
79 EXPECT_EQ(128u, u128max.countLeadingOnes());
80 EXPECT_EQ(0u, u128max.countLeadingZeros());
81 EXPECT_EQ(128u, u128max.getActiveBits());
82 EXPECT_EQ(0u, u128max.countTrailingZeros());
83 EXPECT_EQ(128u, u128max.countTrailingOnes());
84 EXPECT_EQ(128u, u128max.countPopulation());
85
Misha Brukmane3bc46e2009-04-08 16:17:23 +000086 APInt u64max(128, static_cast<uint64_t>(-1), false);
Torok Edwin2d0f1c52009-01-27 18:06:03 +000087 EXPECT_EQ(64u, u64max.countLeadingZeros());
88 EXPECT_EQ(0u, u64max.countLeadingOnes());
89 EXPECT_EQ(64u, u64max.getActiveBits());
90 EXPECT_EQ(0u, u64max.countTrailingZeros());
91 EXPECT_EQ(64u, u64max.countTrailingOnes());
92 EXPECT_EQ(64u, u64max.countPopulation());
93 EXPECT_EQ((uint64_t)~0ull, u64max.getZExtValue());
94
95 APInt zero(128, 0, true);
96 EXPECT_EQ(128u, zero.countLeadingZeros());
97 EXPECT_EQ(0u, zero.countLeadingOnes());
98 EXPECT_EQ(0u, zero.getActiveBits());
99 EXPECT_EQ(128u, zero.countTrailingZeros());
100 EXPECT_EQ(0u, zero.countTrailingOnes());
101 EXPECT_EQ(0u, zero.countPopulation());
102 EXPECT_EQ(0u, zero.getSExtValue());
103 EXPECT_EQ(0u, zero.getZExtValue());
104
105 APInt one(128, 1, true);
106 EXPECT_EQ(127u, one.countLeadingZeros());
107 EXPECT_EQ(0u, one.countLeadingOnes());
108 EXPECT_EQ(1u, one.getActiveBits());
109 EXPECT_EQ(0u, one.countTrailingZeros());
110 EXPECT_EQ(1u, one.countTrailingOnes());
111 EXPECT_EQ(1u, one.countPopulation());
112 EXPECT_EQ(1, one.getSExtValue());
113 EXPECT_EQ(1u, one.getZExtValue());
Nick Lewycky1999ff12009-01-19 18:08:33 +0000114}
115
Misha Brukman2e734262009-03-24 21:36:09 +0000116TEST(APIntTest, i1) {
Misha Brukmane3bc46e2009-04-08 16:17:23 +0000117 const APInt neg_two(1, static_cast<uint64_t>(-2), true);
118 const APInt neg_one(1, static_cast<uint64_t>(-1), true);
Misha Brukman2e734262009-03-24 21:36:09 +0000119 const APInt zero(1, 0);
120 const APInt one(1, 1);
121 const APInt two(1, 2);
122
123 EXPECT_EQ(0, neg_two.getSExtValue());
124 EXPECT_EQ(-1, neg_one.getSExtValue());
125 EXPECT_EQ(1u, neg_one.getZExtValue());
126 EXPECT_EQ(0u, zero.getZExtValue());
127 EXPECT_EQ(-1, one.getSExtValue());
128 EXPECT_EQ(1u, one.getZExtValue());
129 EXPECT_EQ(0u, two.getZExtValue());
130 EXPECT_EQ(0, two.getSExtValue());
131
132 // Basic equalities for 1-bit values.
133 EXPECT_EQ(zero, two);
134 EXPECT_EQ(zero, neg_two);
135 EXPECT_EQ(one, neg_one);
136 EXPECT_EQ(two, neg_two);
137
138 // Additions.
139 EXPECT_EQ(two, one + one);
140 EXPECT_EQ(zero, neg_one + one);
141 EXPECT_EQ(neg_two, neg_one + neg_one);
142
143 // Subtractions.
144 EXPECT_EQ(neg_two, neg_one - one);
145 EXPECT_EQ(two, one - neg_one);
146 EXPECT_EQ(zero, one - one);
147
148 // Shifts.
149 EXPECT_EQ(zero, one << one);
150 EXPECT_EQ(one, one << zero);
151 EXPECT_EQ(zero, one.shl(1));
152 EXPECT_EQ(one, one.shl(0));
153 EXPECT_EQ(zero, one.lshr(1));
154 EXPECT_EQ(zero, one.ashr(1));
155
156 // Multiplies.
157 EXPECT_EQ(neg_one, neg_one * one);
158 EXPECT_EQ(neg_one, one * neg_one);
159 EXPECT_EQ(one, neg_one * neg_one);
160 EXPECT_EQ(one, one * one);
161
162 // Divides.
163 EXPECT_EQ(neg_one, one.sdiv(neg_one));
164 EXPECT_EQ(neg_one, neg_one.sdiv(one));
165 EXPECT_EQ(one, neg_one.sdiv(neg_one));
166 EXPECT_EQ(one, one.sdiv(one));
167
168 EXPECT_EQ(neg_one, one.udiv(neg_one));
169 EXPECT_EQ(neg_one, neg_one.udiv(one));
170 EXPECT_EQ(one, neg_one.udiv(neg_one));
171 EXPECT_EQ(one, one.udiv(one));
172
173 // Remainders.
174 EXPECT_EQ(zero, neg_one.srem(one));
175 EXPECT_EQ(zero, neg_one.urem(one));
176 EXPECT_EQ(zero, one.srem(neg_one));
177}
178
Chris Lattner38300e92009-04-25 18:34:04 +0000179TEST(APIntTest, fromString) {
180 EXPECT_EQ(APInt(1, 0), APInt(1, "0", 1, 10));
181 EXPECT_EQ(APInt(1, 1), APInt(1, "1", 1, 10));
182 EXPECT_EQ(APInt(1, 1), APInt(1, "-1", 2, 10));
183 EXPECT_EQ(APInt(1, 1), APInt(1, "1", 1, 2));
184 EXPECT_EQ(APInt(1, 1), APInt(1, "1", 1, 8));
185 EXPECT_EQ(APInt(1, 1), APInt(1, "1", 1, 16));
186}
187
Nick Lewycky1999ff12009-01-19 18:08:33 +0000188}