blob: 91895f360a11e0223fc31f4bbe206d347510dbb3 [file] [log] [blame]
Zhou Shengdac63782007-02-06 03:00:16 +00001//===-- APInt.cpp - Implement APInt class ---------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Zhou Shengdac63782007-02-06 03:00:16 +00007//
8//===----------------------------------------------------------------------===//
9//
Reid Spencera41e93b2007-02-25 19:32:03 +000010// This file implements a class to represent arbitrary precision integer
11// constant values and provide a variety of arithmetic operations on them.
Zhou Shengdac63782007-02-06 03:00:16 +000012//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/ADT/APInt.h"
Ted Kremenek5c75d542008-01-19 04:23:33 +000016#include "llvm/ADT/FoldingSet.h"
Chandler Carruth71bd7d12012-03-04 12:02:57 +000017#include "llvm/ADT/Hashing.h"
Chris Lattner17f71652008-08-17 07:19:36 +000018#include "llvm/ADT/SmallString.h"
Chandler Carruth71bd7d12012-03-04 12:02:57 +000019#include "llvm/ADT/StringRef.h"
Reid Spencera5e0d202007-02-24 03:58:46 +000020#include "llvm/Support/Debug.h"
Torok Edwin56d06592009-07-11 20:10:48 +000021#include "llvm/Support/ErrorHandling.h"
Zhou Shengdac63782007-02-06 03:00:16 +000022#include "llvm/Support/MathExtras.h"
Chris Lattner0c19df42008-08-23 22:23:09 +000023#include "llvm/Support/raw_ostream.h"
Chris Lattner17f71652008-08-17 07:19:36 +000024#include <cmath>
Zhou Shengdac63782007-02-06 03:00:16 +000025#include <cstdlib>
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include <cstring>
27#include <limits>
Zhou Shengdac63782007-02-06 03:00:16 +000028using namespace llvm;
29
Chandler Carruth64648262014-04-22 03:07:47 +000030#define DEBUG_TYPE "apint"
31
Reid Spencera41e93b2007-02-25 19:32:03 +000032/// A utility function for allocating memory, checking for allocation failures,
33/// and ensuring the contents are zeroed.
Chris Lattner77527f52009-01-21 18:09:24 +000034inline static uint64_t* getClearedMemory(unsigned numWords) {
Reid Spencera856b6e2007-02-18 18:38:44 +000035 uint64_t * result = new uint64_t[numWords];
36 assert(result && "APInt memory allocation fails!");
37 memset(result, 0, numWords * sizeof(uint64_t));
38 return result;
Zhou Sheng94b623a2007-02-06 06:04:53 +000039}
40
Eric Christopher820256b2009-08-21 04:06:45 +000041/// A utility function for allocating memory and checking for allocation
Reid Spencera41e93b2007-02-25 19:32:03 +000042/// failure. The content is not zeroed.
Chris Lattner77527f52009-01-21 18:09:24 +000043inline static uint64_t* getMemory(unsigned numWords) {
Reid Spencera856b6e2007-02-18 18:38:44 +000044 uint64_t * result = new uint64_t[numWords];
45 assert(result && "APInt memory allocation fails!");
46 return result;
47}
48
Erick Tryzelaardadb15712009-08-21 03:15:28 +000049/// A utility function that converts a character to a digit.
50inline static unsigned getDigit(char cdigit, uint8_t radix) {
Erick Tryzelaar60964092009-08-21 06:48:37 +000051 unsigned r;
52
Douglas Gregor663c0682011-09-14 15:54:46 +000053 if (radix == 16 || radix == 36) {
Erick Tryzelaar60964092009-08-21 06:48:37 +000054 r = cdigit - '0';
55 if (r <= 9)
56 return r;
57
58 r = cdigit - 'A';
Douglas Gregorc98ac852011-09-20 18:33:29 +000059 if (r <= radix - 11U)
Erick Tryzelaar60964092009-08-21 06:48:37 +000060 return r + 10;
61
62 r = cdigit - 'a';
Douglas Gregorc98ac852011-09-20 18:33:29 +000063 if (r <= radix - 11U)
Erick Tryzelaar60964092009-08-21 06:48:37 +000064 return r + 10;
Douglas Gregore4e20f42011-09-20 18:11:52 +000065
66 radix = 10;
Erick Tryzelaardadb15712009-08-21 03:15:28 +000067 }
68
Erick Tryzelaar60964092009-08-21 06:48:37 +000069 r = cdigit - '0';
70 if (r < radix)
71 return r;
72
73 return -1U;
Erick Tryzelaardadb15712009-08-21 03:15:28 +000074}
75
76
Chris Lattner77527f52009-01-21 18:09:24 +000077void APInt::initSlowCase(unsigned numBits, uint64_t val, bool isSigned) {
Chris Lattner1ac3e252008-08-20 17:02:31 +000078 pVal = getClearedMemory(getNumWords());
79 pVal[0] = val;
Eric Christopher820256b2009-08-21 04:06:45 +000080 if (isSigned && int64_t(val) < 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +000081 for (unsigned i = 1; i < getNumWords(); ++i)
82 pVal[i] = -1ULL;
Zhou Shengdac63782007-02-06 03:00:16 +000083}
84
Chris Lattnerd57b7602008-10-11 22:07:19 +000085void APInt::initSlowCase(const APInt& that) {
86 pVal = getMemory(getNumWords());
87 memcpy(pVal, that.pVal, getNumWords() * APINT_WORD_SIZE);
88}
89
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000090void APInt::initFromArray(ArrayRef<uint64_t> bigVal) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +000091 assert(BitWidth && "Bitwidth too small");
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000092 assert(bigVal.data() && "Null pointer detected!");
Zhou Shengdac63782007-02-06 03:00:16 +000093 if (isSingleWord())
Reid Spencerdf6cf5a2007-02-24 10:01:42 +000094 VAL = bigVal[0];
Zhou Shengdac63782007-02-06 03:00:16 +000095 else {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +000096 // Get memory, cleared to 0
97 pVal = getClearedMemory(getNumWords());
98 // Calculate the number of words to copy
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000099 unsigned words = std::min<unsigned>(bigVal.size(), getNumWords());
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000100 // Copy the words from bigVal to pVal
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000101 memcpy(pVal, bigVal.data(), words * APINT_WORD_SIZE);
Zhou Shengdac63782007-02-06 03:00:16 +0000102 }
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000103 // Make sure unused high bits are cleared
104 clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000105}
106
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000107APInt::APInt(unsigned numBits, ArrayRef<uint64_t> bigVal)
108 : BitWidth(numBits), VAL(0) {
109 initFromArray(bigVal);
110}
111
112APInt::APInt(unsigned numBits, unsigned numWords, const uint64_t bigVal[])
113 : BitWidth(numBits), VAL(0) {
114 initFromArray(makeArrayRef(bigVal, numWords));
115}
116
Benjamin Kramer92d89982010-07-14 22:38:02 +0000117APInt::APInt(unsigned numbits, StringRef Str, uint8_t radix)
Reid Spencer1ba83352007-02-21 03:55:44 +0000118 : BitWidth(numbits), VAL(0) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000119 assert(BitWidth && "Bitwidth too small");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000120 fromString(numbits, Str, radix);
Zhou Sheng3e8022d2007-02-07 06:14:53 +0000121}
122
Chris Lattner1ac3e252008-08-20 17:02:31 +0000123APInt& APInt::AssignSlowCase(const APInt& RHS) {
Reid Spencer7c16cd22007-02-26 23:38:21 +0000124 // Don't do anything for X = X
125 if (this == &RHS)
126 return *this;
127
Reid Spencer7c16cd22007-02-26 23:38:21 +0000128 if (BitWidth == RHS.getBitWidth()) {
Chris Lattner1ac3e252008-08-20 17:02:31 +0000129 // assume same bit-width single-word case is already handled
130 assert(!isSingleWord());
131 memcpy(pVal, RHS.pVal, getNumWords() * APINT_WORD_SIZE);
Reid Spencer7c16cd22007-02-26 23:38:21 +0000132 return *this;
133 }
134
Chris Lattner1ac3e252008-08-20 17:02:31 +0000135 if (isSingleWord()) {
136 // assume case where both are single words is already handled
137 assert(!RHS.isSingleWord());
138 VAL = 0;
139 pVal = getMemory(RHS.getNumWords());
140 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
Eric Christopher820256b2009-08-21 04:06:45 +0000141 } else if (getNumWords() == RHS.getNumWords())
Reid Spencer7c16cd22007-02-26 23:38:21 +0000142 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
143 else if (RHS.isSingleWord()) {
144 delete [] pVal;
Reid Spencera856b6e2007-02-18 18:38:44 +0000145 VAL = RHS.VAL;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000146 } else {
147 delete [] pVal;
148 pVal = getMemory(RHS.getNumWords());
149 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
150 }
151 BitWidth = RHS.BitWidth;
152 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000153}
154
Zhou Shengdac63782007-02-06 03:00:16 +0000155APInt& APInt::operator=(uint64_t RHS) {
Eric Christopher820256b2009-08-21 04:06:45 +0000156 if (isSingleWord())
Reid Spencer1d072122007-02-16 22:36:51 +0000157 VAL = RHS;
Zhou Shengdac63782007-02-06 03:00:16 +0000158 else {
159 pVal[0] = RHS;
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000160 memset(pVal+1, 0, (getNumWords() - 1) * APINT_WORD_SIZE);
Zhou Shengdac63782007-02-06 03:00:16 +0000161 }
Reid Spencer7c16cd22007-02-26 23:38:21 +0000162 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000163}
164
Ted Kremenek5c75d542008-01-19 04:23:33 +0000165/// Profile - This method 'profiles' an APInt for use with FoldingSet.
166void APInt::Profile(FoldingSetNodeID& ID) const {
Ted Kremenek901540f2008-02-19 20:50:41 +0000167 ID.AddInteger(BitWidth);
Eric Christopher820256b2009-08-21 04:06:45 +0000168
Ted Kremenek5c75d542008-01-19 04:23:33 +0000169 if (isSingleWord()) {
170 ID.AddInteger(VAL);
171 return;
172 }
173
Chris Lattner77527f52009-01-21 18:09:24 +0000174 unsigned NumWords = getNumWords();
Ted Kremenek5c75d542008-01-19 04:23:33 +0000175 for (unsigned i = 0; i < NumWords; ++i)
176 ID.AddInteger(pVal[i]);
177}
178
Eric Christopher820256b2009-08-21 04:06:45 +0000179/// add_1 - This function adds a single "digit" integer, y, to the multiple
Reid Spencera856b6e2007-02-18 18:38:44 +0000180/// "digit" integer array, x[]. x[] is modified to reflect the addition and
181/// 1 is returned if there is a carry out, otherwise 0 is returned.
Reid Spencer100502d2007-02-17 03:16:00 +0000182/// @returns the carry of the addition.
Chris Lattner77527f52009-01-21 18:09:24 +0000183static bool add_1(uint64_t dest[], uint64_t x[], unsigned len, uint64_t y) {
184 for (unsigned i = 0; i < len; ++i) {
Reid Spenceree0a6852007-02-18 06:39:42 +0000185 dest[i] = y + x[i];
186 if (dest[i] < y)
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000187 y = 1; // Carry one to next digit.
Reid Spenceree0a6852007-02-18 06:39:42 +0000188 else {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000189 y = 0; // No need to carry so exit early
Reid Spenceree0a6852007-02-18 06:39:42 +0000190 break;
191 }
Reid Spencer100502d2007-02-17 03:16:00 +0000192 }
Reid Spenceree0a6852007-02-18 06:39:42 +0000193 return y;
Reid Spencer100502d2007-02-17 03:16:00 +0000194}
195
Zhou Shengdac63782007-02-06 03:00:16 +0000196/// @brief Prefix increment operator. Increments the APInt by one.
197APInt& APInt::operator++() {
Eric Christopher820256b2009-08-21 04:06:45 +0000198 if (isSingleWord())
Reid Spencer1d072122007-02-16 22:36:51 +0000199 ++VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000200 else
Zhou Sheng3e8022d2007-02-07 06:14:53 +0000201 add_1(pVal, pVal, getNumWords(), 1);
Reid Spencera41e93b2007-02-25 19:32:03 +0000202 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000203}
204
Eric Christopher820256b2009-08-21 04:06:45 +0000205/// sub_1 - This function subtracts a single "digit" (64-bit word), y, from
206/// the multi-digit integer array, x[], propagating the borrowed 1 value until
Reid Spencera856b6e2007-02-18 18:38:44 +0000207/// no further borrowing is neeeded or it runs out of "digits" in x. The result
208/// is 1 if "borrowing" exhausted the digits in x, or 0 if x was not exhausted.
209/// In other words, if y > x then this function returns 1, otherwise 0.
Reid Spencera41e93b2007-02-25 19:32:03 +0000210/// @returns the borrow out of the subtraction
Chris Lattner77527f52009-01-21 18:09:24 +0000211static bool sub_1(uint64_t x[], unsigned len, uint64_t y) {
212 for (unsigned i = 0; i < len; ++i) {
Reid Spencer100502d2007-02-17 03:16:00 +0000213 uint64_t X = x[i];
Reid Spenceree0a6852007-02-18 06:39:42 +0000214 x[i] -= y;
Eric Christopher820256b2009-08-21 04:06:45 +0000215 if (y > X)
Reid Spencera856b6e2007-02-18 18:38:44 +0000216 y = 1; // We have to "borrow 1" from next "digit"
Reid Spencer100502d2007-02-17 03:16:00 +0000217 else {
Reid Spencera856b6e2007-02-18 18:38:44 +0000218 y = 0; // No need to borrow
219 break; // Remaining digits are unchanged so exit early
Reid Spencer100502d2007-02-17 03:16:00 +0000220 }
221 }
Reid Spencera41e93b2007-02-25 19:32:03 +0000222 return bool(y);
Reid Spencer100502d2007-02-17 03:16:00 +0000223}
224
Zhou Shengdac63782007-02-06 03:00:16 +0000225/// @brief Prefix decrement operator. Decrements the APInt by one.
226APInt& APInt::operator--() {
Eric Christopher820256b2009-08-21 04:06:45 +0000227 if (isSingleWord())
Reid Spencera856b6e2007-02-18 18:38:44 +0000228 --VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000229 else
Zhou Sheng3e8022d2007-02-07 06:14:53 +0000230 sub_1(pVal, getNumWords(), 1);
Reid Spencera41e93b2007-02-25 19:32:03 +0000231 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000232}
233
Reid Spencera41e93b2007-02-25 19:32:03 +0000234/// add - This function adds the integer array x to the integer array Y and
Eric Christopher820256b2009-08-21 04:06:45 +0000235/// places the result in dest.
Reid Spencera41e93b2007-02-25 19:32:03 +0000236/// @returns the carry out from the addition
237/// @brief General addition of 64-bit integer arrays
Eric Christopher820256b2009-08-21 04:06:45 +0000238static bool add(uint64_t *dest, const uint64_t *x, const uint64_t *y,
Chris Lattner77527f52009-01-21 18:09:24 +0000239 unsigned len) {
Reid Spencera5e0d202007-02-24 03:58:46 +0000240 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +0000241 for (unsigned i = 0; i< len; ++i) {
Reid Spencercb292e42007-02-23 01:57:13 +0000242 uint64_t limit = std::min(x[i],y[i]); // must come first in case dest == x
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000243 dest[i] = x[i] + y[i] + carry;
Reid Spencerdb2abec2007-02-21 05:44:56 +0000244 carry = dest[i] < limit || (carry && dest[i] == limit);
Reid Spencer100502d2007-02-17 03:16:00 +0000245 }
246 return carry;
247}
248
Reid Spencera41e93b2007-02-25 19:32:03 +0000249/// Adds the RHS APint to this APInt.
250/// @returns this, after addition of RHS.
Eric Christopher820256b2009-08-21 04:06:45 +0000251/// @brief Addition assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000252APInt& APInt::operator+=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000253 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000254 if (isSingleWord())
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000255 VAL += RHS.VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000256 else {
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000257 add(pVal, pVal, RHS.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000258 }
Reid Spencera41e93b2007-02-25 19:32:03 +0000259 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000260}
261
Eric Christopher820256b2009-08-21 04:06:45 +0000262/// Subtracts the integer array y from the integer array x
Reid Spencera41e93b2007-02-25 19:32:03 +0000263/// @returns returns the borrow out.
264/// @brief Generalized subtraction of 64-bit integer arrays.
Eric Christopher820256b2009-08-21 04:06:45 +0000265static bool sub(uint64_t *dest, const uint64_t *x, const uint64_t *y,
Chris Lattner77527f52009-01-21 18:09:24 +0000266 unsigned len) {
Reid Spencer1ba83352007-02-21 03:55:44 +0000267 bool borrow = false;
Chris Lattner77527f52009-01-21 18:09:24 +0000268 for (unsigned i = 0; i < len; ++i) {
Reid Spencer1ba83352007-02-21 03:55:44 +0000269 uint64_t x_tmp = borrow ? x[i] - 1 : x[i];
270 borrow = y[i] > x_tmp || (borrow && x[i] == 0);
271 dest[i] = x_tmp - y[i];
Reid Spencer100502d2007-02-17 03:16:00 +0000272 }
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000273 return borrow;
Reid Spencer100502d2007-02-17 03:16:00 +0000274}
275
Reid Spencera41e93b2007-02-25 19:32:03 +0000276/// Subtracts the RHS APInt from this APInt
277/// @returns this, after subtraction
Eric Christopher820256b2009-08-21 04:06:45 +0000278/// @brief Subtraction assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000279APInt& APInt::operator-=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000280 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000281 if (isSingleWord())
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000282 VAL -= RHS.VAL;
283 else
284 sub(pVal, pVal, RHS.pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000285 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000286}
287
Dan Gohman4a618822010-02-10 16:03:48 +0000288/// Multiplies an integer array, x, by a uint64_t integer and places the result
Eric Christopher820256b2009-08-21 04:06:45 +0000289/// into dest.
Reid Spencera41e93b2007-02-25 19:32:03 +0000290/// @returns the carry out of the multiplication.
291/// @brief Multiply a multi-digit APInt by a single digit (64-bit) integer.
Chris Lattner77527f52009-01-21 18:09:24 +0000292static uint64_t mul_1(uint64_t dest[], uint64_t x[], unsigned len, uint64_t y) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000293 // Split y into high 32-bit part (hy) and low 32-bit part (ly)
Reid Spencer100502d2007-02-17 03:16:00 +0000294 uint64_t ly = y & 0xffffffffULL, hy = y >> 32;
Reid Spencera41e93b2007-02-25 19:32:03 +0000295 uint64_t carry = 0;
296
297 // For each digit of x.
Chris Lattner77527f52009-01-21 18:09:24 +0000298 for (unsigned i = 0; i < len; ++i) {
Reid Spencera41e93b2007-02-25 19:32:03 +0000299 // Split x into high and low words
300 uint64_t lx = x[i] & 0xffffffffULL;
301 uint64_t hx = x[i] >> 32;
302 // hasCarry - A flag to indicate if there is a carry to the next digit.
Reid Spencer100502d2007-02-17 03:16:00 +0000303 // hasCarry == 0, no carry
304 // hasCarry == 1, has carry
305 // hasCarry == 2, no carry and the calculation result == 0.
306 uint8_t hasCarry = 0;
307 dest[i] = carry + lx * ly;
308 // Determine if the add above introduces carry.
309 hasCarry = (dest[i] < carry) ? 1 : 0;
310 carry = hx * ly + (dest[i] >> 32) + (hasCarry ? (1ULL << 32) : 0);
Eric Christopher820256b2009-08-21 04:06:45 +0000311 // The upper limit of carry can be (2^32 - 1)(2^32 - 1) +
Reid Spencer100502d2007-02-17 03:16:00 +0000312 // (2^32 - 1) + 2^32 = 2^64.
313 hasCarry = (!carry && hasCarry) ? 1 : (!carry ? 2 : 0);
314
315 carry += (lx * hy) & 0xffffffffULL;
316 dest[i] = (carry << 32) | (dest[i] & 0xffffffffULL);
Eric Christopher820256b2009-08-21 04:06:45 +0000317 carry = (((!carry && hasCarry != 2) || hasCarry == 1) ? (1ULL << 32) : 0) +
Reid Spencer100502d2007-02-17 03:16:00 +0000318 (carry >> 32) + ((lx * hy) >> 32) + hx * hy;
319 }
Reid Spencer100502d2007-02-17 03:16:00 +0000320 return carry;
321}
322
Eric Christopher820256b2009-08-21 04:06:45 +0000323/// Multiplies integer array x by integer array y and stores the result into
Reid Spencera41e93b2007-02-25 19:32:03 +0000324/// the integer array dest. Note that dest's size must be >= xlen + ylen.
325/// @brief Generalized multiplicate of integer arrays.
Chris Lattner77527f52009-01-21 18:09:24 +0000326static void mul(uint64_t dest[], uint64_t x[], unsigned xlen, uint64_t y[],
327 unsigned ylen) {
Reid Spencer100502d2007-02-17 03:16:00 +0000328 dest[xlen] = mul_1(dest, x, xlen, y[0]);
Chris Lattner77527f52009-01-21 18:09:24 +0000329 for (unsigned i = 1; i < ylen; ++i) {
Reid Spencer100502d2007-02-17 03:16:00 +0000330 uint64_t ly = y[i] & 0xffffffffULL, hy = y[i] >> 32;
Reid Spencer58a6a432007-02-21 08:21:52 +0000331 uint64_t carry = 0, lx = 0, hx = 0;
Chris Lattner77527f52009-01-21 18:09:24 +0000332 for (unsigned j = 0; j < xlen; ++j) {
Reid Spencer100502d2007-02-17 03:16:00 +0000333 lx = x[j] & 0xffffffffULL;
334 hx = x[j] >> 32;
335 // hasCarry - A flag to indicate if has carry.
336 // hasCarry == 0, no carry
337 // hasCarry == 1, has carry
338 // hasCarry == 2, no carry and the calculation result == 0.
339 uint8_t hasCarry = 0;
340 uint64_t resul = carry + lx * ly;
341 hasCarry = (resul < carry) ? 1 : 0;
342 carry = (hasCarry ? (1ULL << 32) : 0) + hx * ly + (resul >> 32);
343 hasCarry = (!carry && hasCarry) ? 1 : (!carry ? 2 : 0);
344
345 carry += (lx * hy) & 0xffffffffULL;
346 resul = (carry << 32) | (resul & 0xffffffffULL);
347 dest[i+j] += resul;
348 carry = (((!carry && hasCarry != 2) || hasCarry == 1) ? (1ULL << 32) : 0)+
Eric Christopher820256b2009-08-21 04:06:45 +0000349 (carry >> 32) + (dest[i+j] < resul ? 1 : 0) +
Reid Spencer100502d2007-02-17 03:16:00 +0000350 ((lx * hy) >> 32) + hx * hy;
351 }
352 dest[i+xlen] = carry;
353 }
354}
355
Zhou Shengdac63782007-02-06 03:00:16 +0000356APInt& APInt::operator*=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000357 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer58a6a432007-02-21 08:21:52 +0000358 if (isSingleWord()) {
Reid Spencer4bb430c2007-02-20 20:42:10 +0000359 VAL *= RHS.VAL;
Reid Spencer58a6a432007-02-21 08:21:52 +0000360 clearUnusedBits();
361 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000362 }
Reid Spencer58a6a432007-02-21 08:21:52 +0000363
364 // Get some bit facts about LHS and check for zero
Chris Lattner77527f52009-01-21 18:09:24 +0000365 unsigned lhsBits = getActiveBits();
366 unsigned lhsWords = !lhsBits ? 0 : whichWord(lhsBits - 1) + 1;
Eric Christopher820256b2009-08-21 04:06:45 +0000367 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +0000368 // 0 * X ===> 0
369 return *this;
370
371 // Get some bit facts about RHS and check for zero
Chris Lattner77527f52009-01-21 18:09:24 +0000372 unsigned rhsBits = RHS.getActiveBits();
373 unsigned rhsWords = !rhsBits ? 0 : whichWord(rhsBits - 1) + 1;
Reid Spencer58a6a432007-02-21 08:21:52 +0000374 if (!rhsWords) {
375 // X * 0 ===> 0
Jay Foad25a5e4c2010-12-01 08:53:58 +0000376 clearAllBits();
Reid Spencer58a6a432007-02-21 08:21:52 +0000377 return *this;
378 }
379
380 // Allocate space for the result
Chris Lattner77527f52009-01-21 18:09:24 +0000381 unsigned destWords = rhsWords + lhsWords;
Reid Spencer58a6a432007-02-21 08:21:52 +0000382 uint64_t *dest = getMemory(destWords);
383
384 // Perform the long multiply
385 mul(dest, pVal, lhsWords, RHS.pVal, rhsWords);
386
387 // Copy result back into *this
Jay Foad25a5e4c2010-12-01 08:53:58 +0000388 clearAllBits();
Chris Lattner77527f52009-01-21 18:09:24 +0000389 unsigned wordsToCopy = destWords >= getNumWords() ? getNumWords() : destWords;
Reid Spencer58a6a432007-02-21 08:21:52 +0000390 memcpy(pVal, dest, wordsToCopy * APINT_WORD_SIZE);
Eli Friedman19546412011-10-07 23:40:49 +0000391 clearUnusedBits();
Reid Spencer58a6a432007-02-21 08:21:52 +0000392
393 // delete dest array and return
394 delete[] dest;
Zhou Shengdac63782007-02-06 03:00:16 +0000395 return *this;
396}
397
Zhou Shengdac63782007-02-06 03:00:16 +0000398APInt& APInt::operator&=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000399 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Zhou Shengdac63782007-02-06 03:00:16 +0000400 if (isSingleWord()) {
Reid Spencera856b6e2007-02-18 18:38:44 +0000401 VAL &= RHS.VAL;
402 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000403 }
Chris Lattner77527f52009-01-21 18:09:24 +0000404 unsigned numWords = getNumWords();
405 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera856b6e2007-02-18 18:38:44 +0000406 pVal[i] &= RHS.pVal[i];
Zhou Shengdac63782007-02-06 03:00:16 +0000407 return *this;
408}
409
Zhou Shengdac63782007-02-06 03:00:16 +0000410APInt& APInt::operator|=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000411 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Zhou Shengdac63782007-02-06 03:00:16 +0000412 if (isSingleWord()) {
Reid Spencera856b6e2007-02-18 18:38:44 +0000413 VAL |= RHS.VAL;
414 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000415 }
Chris Lattner77527f52009-01-21 18:09:24 +0000416 unsigned numWords = getNumWords();
417 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera856b6e2007-02-18 18:38:44 +0000418 pVal[i] |= RHS.pVal[i];
Zhou Shengdac63782007-02-06 03:00:16 +0000419 return *this;
420}
421
Zhou Shengdac63782007-02-06 03:00:16 +0000422APInt& APInt::operator^=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000423 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Zhou Shengdac63782007-02-06 03:00:16 +0000424 if (isSingleWord()) {
Reid Spenceree0a6852007-02-18 06:39:42 +0000425 VAL ^= RHS.VAL;
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000426 this->clearUnusedBits();
Reid Spenceree0a6852007-02-18 06:39:42 +0000427 return *this;
Eric Christopher820256b2009-08-21 04:06:45 +0000428 }
Chris Lattner77527f52009-01-21 18:09:24 +0000429 unsigned numWords = getNumWords();
430 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera856b6e2007-02-18 18:38:44 +0000431 pVal[i] ^= RHS.pVal[i];
Reid Spencera41e93b2007-02-25 19:32:03 +0000432 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000433}
434
Chris Lattner1ac3e252008-08-20 17:02:31 +0000435APInt APInt::AndSlowCase(const APInt& RHS) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000436 unsigned numWords = getNumWords();
Reid Spencera41e93b2007-02-25 19:32:03 +0000437 uint64_t* val = getMemory(numWords);
Chris Lattner77527f52009-01-21 18:09:24 +0000438 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera41e93b2007-02-25 19:32:03 +0000439 val[i] = pVal[i] & RHS.pVal[i];
440 return APInt(val, getBitWidth());
Zhou Shengdac63782007-02-06 03:00:16 +0000441}
442
Chris Lattner1ac3e252008-08-20 17:02:31 +0000443APInt APInt::OrSlowCase(const APInt& RHS) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000444 unsigned numWords = getNumWords();
Reid Spencera41e93b2007-02-25 19:32:03 +0000445 uint64_t *val = getMemory(numWords);
Chris Lattner77527f52009-01-21 18:09:24 +0000446 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera41e93b2007-02-25 19:32:03 +0000447 val[i] = pVal[i] | RHS.pVal[i];
448 return APInt(val, getBitWidth());
Zhou Shengdac63782007-02-06 03:00:16 +0000449}
450
Chris Lattner1ac3e252008-08-20 17:02:31 +0000451APInt APInt::XorSlowCase(const APInt& RHS) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000452 unsigned numWords = getNumWords();
Reid Spencera41e93b2007-02-25 19:32:03 +0000453 uint64_t *val = getMemory(numWords);
Chris Lattner77527f52009-01-21 18:09:24 +0000454 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera41e93b2007-02-25 19:32:03 +0000455 val[i] = pVal[i] ^ RHS.pVal[i];
456
457 // 0^0==1 so clear the high bits in case they got set.
458 return APInt(val, getBitWidth()).clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000459}
460
Zhou Shengdac63782007-02-06 03:00:16 +0000461APInt APInt::operator*(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000462 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencera41e93b2007-02-25 19:32:03 +0000463 if (isSingleWord())
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000464 return APInt(BitWidth, VAL * RHS.VAL);
Reid Spencer4bb430c2007-02-20 20:42:10 +0000465 APInt Result(*this);
466 Result *= RHS;
Eli Friedman19546412011-10-07 23:40:49 +0000467 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000468}
469
Zhou Shengdac63782007-02-06 03:00:16 +0000470APInt APInt::operator+(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000471 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencera41e93b2007-02-25 19:32:03 +0000472 if (isSingleWord())
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000473 return APInt(BitWidth, VAL + RHS.VAL);
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000474 APInt Result(BitWidth, 0);
475 add(Result.pVal, this->pVal, RHS.pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000476 return Result.clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000477}
478
Zhou Shengdac63782007-02-06 03:00:16 +0000479APInt APInt::operator-(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000480 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencera41e93b2007-02-25 19:32:03 +0000481 if (isSingleWord())
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000482 return APInt(BitWidth, VAL - RHS.VAL);
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000483 APInt Result(BitWidth, 0);
484 sub(Result.pVal, this->pVal, RHS.pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000485 return Result.clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000486}
487
Chris Lattner1ac3e252008-08-20 17:02:31 +0000488bool APInt::EqualSlowCase(const APInt& RHS) const {
Reid Spencera41e93b2007-02-25 19:32:03 +0000489 // Get some facts about the number of bits used in the two operands.
Chris Lattner77527f52009-01-21 18:09:24 +0000490 unsigned n1 = getActiveBits();
491 unsigned n2 = RHS.getActiveBits();
Reid Spencera41e93b2007-02-25 19:32:03 +0000492
493 // If the number of bits isn't the same, they aren't equal
Eric Christopher820256b2009-08-21 04:06:45 +0000494 if (n1 != n2)
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000495 return false;
496
Reid Spencera41e93b2007-02-25 19:32:03 +0000497 // If the number of bits fits in a word, we only need to compare the low word.
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000498 if (n1 <= APINT_BITS_PER_WORD)
499 return pVal[0] == RHS.pVal[0];
500
Reid Spencera41e93b2007-02-25 19:32:03 +0000501 // Otherwise, compare everything
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000502 for (int i = whichWord(n1 - 1); i >= 0; --i)
Eric Christopher820256b2009-08-21 04:06:45 +0000503 if (pVal[i] != RHS.pVal[i])
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000504 return false;
Zhou Shengdac63782007-02-06 03:00:16 +0000505 return true;
506}
507
Chris Lattner1ac3e252008-08-20 17:02:31 +0000508bool APInt::EqualSlowCase(uint64_t Val) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000509 unsigned n = getActiveBits();
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000510 if (n <= APINT_BITS_PER_WORD)
511 return pVal[0] == Val;
512 else
513 return false;
Zhou Shengdac63782007-02-06 03:00:16 +0000514}
515
Reid Spencer1d072122007-02-16 22:36:51 +0000516bool APInt::ult(const APInt& RHS) const {
517 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
518 if (isSingleWord())
519 return VAL < RHS.VAL;
Reid Spencera41e93b2007-02-25 19:32:03 +0000520
521 // Get active bit length of both operands
Chris Lattner77527f52009-01-21 18:09:24 +0000522 unsigned n1 = getActiveBits();
523 unsigned n2 = RHS.getActiveBits();
Reid Spencera41e93b2007-02-25 19:32:03 +0000524
525 // If magnitude of LHS is less than RHS, return true.
526 if (n1 < n2)
527 return true;
528
529 // If magnitude of RHS is greather than LHS, return false.
530 if (n2 < n1)
531 return false;
532
533 // If they bot fit in a word, just compare the low order word
534 if (n1 <= APINT_BITS_PER_WORD && n2 <= APINT_BITS_PER_WORD)
535 return pVal[0] < RHS.pVal[0];
536
537 // Otherwise, compare all words
Chris Lattner77527f52009-01-21 18:09:24 +0000538 unsigned topWord = whichWord(std::max(n1,n2)-1);
Reid Spencer54abdcf2007-02-27 18:23:40 +0000539 for (int i = topWord; i >= 0; --i) {
Eric Christopher820256b2009-08-21 04:06:45 +0000540 if (pVal[i] > RHS.pVal[i])
Reid Spencer1d072122007-02-16 22:36:51 +0000541 return false;
Eric Christopher820256b2009-08-21 04:06:45 +0000542 if (pVal[i] < RHS.pVal[i])
Reid Spencera41e93b2007-02-25 19:32:03 +0000543 return true;
Zhou Shengdac63782007-02-06 03:00:16 +0000544 }
545 return false;
546}
547
Reid Spencer1d072122007-02-16 22:36:51 +0000548bool APInt::slt(const APInt& RHS) const {
549 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000550 if (isSingleWord()) {
551 int64_t lhsSext = (int64_t(VAL) << (64-BitWidth)) >> (64-BitWidth);
552 int64_t rhsSext = (int64_t(RHS.VAL) << (64-BitWidth)) >> (64-BitWidth);
553 return lhsSext < rhsSext;
Reid Spencer1d072122007-02-16 22:36:51 +0000554 }
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000555
556 APInt lhs(*this);
Reid Spencer54abdcf2007-02-27 18:23:40 +0000557 APInt rhs(RHS);
558 bool lhsNeg = isNegative();
559 bool rhsNeg = rhs.isNegative();
560 if (lhsNeg) {
561 // Sign bit is set so perform two's complement to make it positive
Jay Foad25a5e4c2010-12-01 08:53:58 +0000562 lhs.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +0000563 ++lhs;
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000564 }
Reid Spencer54abdcf2007-02-27 18:23:40 +0000565 if (rhsNeg) {
566 // Sign bit is set so perform two's complement to make it positive
Jay Foad25a5e4c2010-12-01 08:53:58 +0000567 rhs.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +0000568 ++rhs;
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000569 }
Reid Spencera41e93b2007-02-25 19:32:03 +0000570
571 // Now we have unsigned values to compare so do the comparison if necessary
572 // based on the negativeness of the values.
Reid Spencer54abdcf2007-02-27 18:23:40 +0000573 if (lhsNeg)
574 if (rhsNeg)
575 return lhs.ugt(rhs);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000576 else
577 return true;
Reid Spencer54abdcf2007-02-27 18:23:40 +0000578 else if (rhsNeg)
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000579 return false;
Eric Christopher820256b2009-08-21 04:06:45 +0000580 else
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000581 return lhs.ult(rhs);
Zhou Shengdac63782007-02-06 03:00:16 +0000582}
583
Jay Foad25a5e4c2010-12-01 08:53:58 +0000584void APInt::setBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000585 if (isSingleWord())
Reid Spencera41e93b2007-02-25 19:32:03 +0000586 VAL |= maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000587 else
Reid Spencera41e93b2007-02-25 19:32:03 +0000588 pVal[whichWord(bitPosition)] |= maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000589}
590
Zhou Shengdac63782007-02-06 03:00:16 +0000591/// Set the given bit to 0 whose position is given as "bitPosition".
592/// @brief Set a given bit to 0.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000593void APInt::clearBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000594 if (isSingleWord())
Reid Spencera856b6e2007-02-18 18:38:44 +0000595 VAL &= ~maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000596 else
Reid Spencera856b6e2007-02-18 18:38:44 +0000597 pVal[whichWord(bitPosition)] &= ~maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000598}
599
Zhou Shengdac63782007-02-06 03:00:16 +0000600/// @brief Toggle every bit to its opposite value.
Zhou Shengdac63782007-02-06 03:00:16 +0000601
Eric Christopher820256b2009-08-21 04:06:45 +0000602/// Toggle a given bit to its opposite value whose position is given
Zhou Shengdac63782007-02-06 03:00:16 +0000603/// as "bitPosition".
604/// @brief Toggles a given bit to its opposite value.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000605void APInt::flipBit(unsigned bitPosition) {
Reid Spencer1d072122007-02-16 22:36:51 +0000606 assert(bitPosition < BitWidth && "Out of the bit-width range!");
Jay Foad25a5e4c2010-12-01 08:53:58 +0000607 if ((*this)[bitPosition]) clearBit(bitPosition);
608 else setBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000609}
610
Benjamin Kramer92d89982010-07-14 22:38:02 +0000611unsigned APInt::getBitsNeeded(StringRef str, uint8_t radix) {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000612 assert(!str.empty() && "Invalid string length");
Douglas Gregor663c0682011-09-14 15:54:46 +0000613 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
614 radix == 36) &&
615 "Radix should be 2, 8, 10, 16, or 36!");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000616
617 size_t slen = str.size();
Reid Spencer9329e7b2007-04-13 19:19:07 +0000618
Eric Christopher43a1dec2009-08-21 04:10:31 +0000619 // Each computation below needs to know if it's negative.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000620 StringRef::iterator p = str.begin();
Eric Christopher43a1dec2009-08-21 04:10:31 +0000621 unsigned isNegative = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000622 if (*p == '-' || *p == '+') {
623 p++;
Reid Spencer9329e7b2007-04-13 19:19:07 +0000624 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +0000625 assert(slen && "String is only a sign, needs a value.");
Reid Spencer9329e7b2007-04-13 19:19:07 +0000626 }
Eric Christopher43a1dec2009-08-21 04:10:31 +0000627
Reid Spencer9329e7b2007-04-13 19:19:07 +0000628 // For radixes of power-of-two values, the bits required is accurately and
629 // easily computed
630 if (radix == 2)
631 return slen + isNegative;
632 if (radix == 8)
633 return slen * 3 + isNegative;
634 if (radix == 16)
635 return slen * 4 + isNegative;
636
Douglas Gregor663c0682011-09-14 15:54:46 +0000637 // FIXME: base 36
638
Reid Spencer9329e7b2007-04-13 19:19:07 +0000639 // This is grossly inefficient but accurate. We could probably do something
640 // with a computation of roughly slen*64/20 and then adjust by the value of
641 // the first few digits. But, I'm not sure how accurate that could be.
642
643 // Compute a sufficient number of bits that is always large enough but might
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000644 // be too large. This avoids the assertion in the constructor. This
645 // calculation doesn't work appropriately for the numbers 0-9, so just use 4
646 // bits in that case.
Douglas Gregor663c0682011-09-14 15:54:46 +0000647 unsigned sufficient
648 = radix == 10? (slen == 1 ? 4 : slen * 64/18)
649 : (slen == 1 ? 7 : slen * 16/3);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000650
651 // Convert to the actual binary value.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000652 APInt tmp(sufficient, StringRef(p, slen), radix);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000653
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000654 // Compute how many bits are required. If the log is infinite, assume we need
655 // just bit.
656 unsigned log = tmp.logBase2();
657 if (log == (unsigned)-1) {
658 return isNegative + 1;
659 } else {
660 return isNegative + log + 1;
661 }
Reid Spencer9329e7b2007-04-13 19:19:07 +0000662}
663
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000664hash_code llvm::hash_value(const APInt &Arg) {
665 if (Arg.isSingleWord())
666 return hash_combine(Arg.VAL);
Reid Spencerb2bc9852007-02-26 21:02:27 +0000667
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000668 return hash_combine_range(Arg.pVal, Arg.pVal + Arg.getNumWords());
Reid Spencerb2bc9852007-02-26 21:02:27 +0000669}
670
Zhou Shengdac63782007-02-06 03:00:16 +0000671/// HiBits - This function returns the high "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000672APInt APInt::getHiBits(unsigned numBits) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000673 return APIntOps::lshr(*this, BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000674}
675
676/// LoBits - This function returns the low "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000677APInt APInt::getLoBits(unsigned numBits) const {
Eric Christopher820256b2009-08-21 04:06:45 +0000678 return APIntOps::lshr(APIntOps::shl(*this, BitWidth - numBits),
Reid Spencer1d072122007-02-16 22:36:51 +0000679 BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000680}
681
Chris Lattner77527f52009-01-21 18:09:24 +0000682unsigned APInt::countLeadingZerosSlowCase() const {
John McCalldf951bd2010-02-03 03:42:44 +0000683 // Treat the most significand word differently because it might have
684 // meaningless bits set beyond the precision.
685 unsigned BitsInMSW = BitWidth % APINT_BITS_PER_WORD;
686 integerPart MSWMask;
687 if (BitsInMSW) MSWMask = (integerPart(1) << BitsInMSW) - 1;
688 else {
689 MSWMask = ~integerPart(0);
690 BitsInMSW = APINT_BITS_PER_WORD;
691 }
692
693 unsigned i = getNumWords();
694 integerPart MSW = pVal[i-1] & MSWMask;
695 if (MSW)
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000696 return llvm::countLeadingZeros(MSW) - (APINT_BITS_PER_WORD - BitsInMSW);
John McCalldf951bd2010-02-03 03:42:44 +0000697
698 unsigned Count = BitsInMSW;
699 for (--i; i > 0u; --i) {
Chris Lattner1ac3e252008-08-20 17:02:31 +0000700 if (pVal[i-1] == 0)
701 Count += APINT_BITS_PER_WORD;
702 else {
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000703 Count += llvm::countLeadingZeros(pVal[i-1]);
Chris Lattner1ac3e252008-08-20 17:02:31 +0000704 break;
Reid Spencer74cf82e2007-02-21 00:29:48 +0000705 }
Zhou Shengdac63782007-02-06 03:00:16 +0000706 }
John McCalldf951bd2010-02-03 03:42:44 +0000707 return Count;
Zhou Shengdac63782007-02-06 03:00:16 +0000708}
709
Chris Lattner77527f52009-01-21 18:09:24 +0000710unsigned APInt::countLeadingOnes() const {
Reid Spencer31acef52007-02-27 21:59:26 +0000711 if (isSingleWord())
Benjamin Kramer3870bc42012-03-12 21:18:53 +0000712 return CountLeadingOnes_64(VAL << (APINT_BITS_PER_WORD - BitWidth));
Reid Spencer31acef52007-02-27 21:59:26 +0000713
Chris Lattner77527f52009-01-21 18:09:24 +0000714 unsigned highWordBits = BitWidth % APINT_BITS_PER_WORD;
Torok Edwinec39eb82009-01-27 18:06:03 +0000715 unsigned shift;
716 if (!highWordBits) {
717 highWordBits = APINT_BITS_PER_WORD;
718 shift = 0;
719 } else {
720 shift = APINT_BITS_PER_WORD - highWordBits;
721 }
Reid Spencer31acef52007-02-27 21:59:26 +0000722 int i = getNumWords() - 1;
Benjamin Kramer3870bc42012-03-12 21:18:53 +0000723 unsigned Count = CountLeadingOnes_64(pVal[i] << shift);
Reid Spencer31acef52007-02-27 21:59:26 +0000724 if (Count == highWordBits) {
725 for (i--; i >= 0; --i) {
726 if (pVal[i] == -1ULL)
727 Count += APINT_BITS_PER_WORD;
728 else {
Benjamin Kramer3870bc42012-03-12 21:18:53 +0000729 Count += CountLeadingOnes_64(pVal[i]);
Reid Spencer31acef52007-02-27 21:59:26 +0000730 break;
731 }
732 }
733 }
734 return Count;
735}
736
Chris Lattner77527f52009-01-21 18:09:24 +0000737unsigned APInt::countTrailingZeros() const {
Zhou Shengdac63782007-02-06 03:00:16 +0000738 if (isSingleWord())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000739 return std::min(unsigned(llvm::countTrailingZeros(VAL)), BitWidth);
Chris Lattner77527f52009-01-21 18:09:24 +0000740 unsigned Count = 0;
741 unsigned i = 0;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000742 for (; i < getNumWords() && pVal[i] == 0; ++i)
743 Count += APINT_BITS_PER_WORD;
744 if (i < getNumWords())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000745 Count += llvm::countTrailingZeros(pVal[i]);
Chris Lattnerc2c4c742007-11-23 22:36:25 +0000746 return std::min(Count, BitWidth);
Zhou Shengdac63782007-02-06 03:00:16 +0000747}
748
Chris Lattner77527f52009-01-21 18:09:24 +0000749unsigned APInt::countTrailingOnesSlowCase() const {
750 unsigned Count = 0;
751 unsigned i = 0;
Dan Gohmanc354ebd2008-02-14 22:38:45 +0000752 for (; i < getNumWords() && pVal[i] == -1ULL; ++i)
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000753 Count += APINT_BITS_PER_WORD;
754 if (i < getNumWords())
755 Count += CountTrailingOnes_64(pVal[i]);
756 return std::min(Count, BitWidth);
757}
758
Chris Lattner77527f52009-01-21 18:09:24 +0000759unsigned APInt::countPopulationSlowCase() const {
760 unsigned Count = 0;
761 for (unsigned i = 0; i < getNumWords(); ++i)
Zhou Shengdac63782007-02-06 03:00:16 +0000762 Count += CountPopulation_64(pVal[i]);
763 return Count;
764}
765
Richard Smith4f9a8082011-11-23 21:33:37 +0000766/// Perform a logical right-shift from Src to Dst, which must be equal or
767/// non-overlapping, of Words words, by Shift, which must be less than 64.
768static void lshrNear(uint64_t *Dst, uint64_t *Src, unsigned Words,
769 unsigned Shift) {
770 uint64_t Carry = 0;
771 for (int I = Words - 1; I >= 0; --I) {
772 uint64_t Tmp = Src[I];
773 Dst[I] = (Tmp >> Shift) | Carry;
774 Carry = Tmp << (64 - Shift);
775 }
776}
777
Reid Spencer1d072122007-02-16 22:36:51 +0000778APInt APInt::byteSwap() const {
779 assert(BitWidth >= 16 && BitWidth % 16 == 0 && "Cannot byteswap!");
780 if (BitWidth == 16)
Jeff Cohene06855e2007-03-20 20:42:36 +0000781 return APInt(BitWidth, ByteSwap_16(uint16_t(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000782 if (BitWidth == 32)
Chris Lattner77527f52009-01-21 18:09:24 +0000783 return APInt(BitWidth, ByteSwap_32(unsigned(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000784 if (BitWidth == 48) {
Chris Lattner77527f52009-01-21 18:09:24 +0000785 unsigned Tmp1 = unsigned(VAL >> 16);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000786 Tmp1 = ByteSwap_32(Tmp1);
Jeff Cohene06855e2007-03-20 20:42:36 +0000787 uint16_t Tmp2 = uint16_t(VAL);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000788 Tmp2 = ByteSwap_16(Tmp2);
Jeff Cohene06855e2007-03-20 20:42:36 +0000789 return APInt(BitWidth, (uint64_t(Tmp2) << 32) | Tmp1);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000790 }
Richard Smith4f9a8082011-11-23 21:33:37 +0000791 if (BitWidth == 64)
792 return APInt(BitWidth, ByteSwap_64(VAL));
793
794 APInt Result(getNumWords() * APINT_BITS_PER_WORD, 0);
795 for (unsigned I = 0, N = getNumWords(); I != N; ++I)
796 Result.pVal[I] = ByteSwap_64(pVal[N - I - 1]);
797 if (Result.BitWidth != BitWidth) {
798 lshrNear(Result.pVal, Result.pVal, getNumWords(),
799 Result.BitWidth - BitWidth);
800 Result.BitWidth = BitWidth;
801 }
802 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000803}
804
Eric Christopher820256b2009-08-21 04:06:45 +0000805APInt llvm::APIntOps::GreatestCommonDivisor(const APInt& API1,
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000806 const APInt& API2) {
Zhou Shengdac63782007-02-06 03:00:16 +0000807 APInt A = API1, B = API2;
808 while (!!B) {
809 APInt T = B;
Reid Spencer1d072122007-02-16 22:36:51 +0000810 B = APIntOps::urem(A, B);
Zhou Shengdac63782007-02-06 03:00:16 +0000811 A = T;
812 }
813 return A;
814}
Chris Lattner28cbd1d2007-02-06 05:38:37 +0000815
Chris Lattner77527f52009-01-21 18:09:24 +0000816APInt llvm::APIntOps::RoundDoubleToAPInt(double Double, unsigned width) {
Zhou Shengd707d632007-02-12 20:02:55 +0000817 union {
818 double D;
819 uint64_t I;
820 } T;
821 T.D = Double;
Reid Spencer974551a2007-02-27 01:28:10 +0000822
823 // Get the sign bit from the highest order bit
Zhou Shengd707d632007-02-12 20:02:55 +0000824 bool isNeg = T.I >> 63;
Reid Spencer974551a2007-02-27 01:28:10 +0000825
826 // Get the 11-bit exponent and adjust for the 1023 bit bias
Zhou Shengd707d632007-02-12 20:02:55 +0000827 int64_t exp = ((T.I >> 52) & 0x7ff) - 1023;
Reid Spencer974551a2007-02-27 01:28:10 +0000828
829 // If the exponent is negative, the value is < 0 so just return 0.
Zhou Shengd707d632007-02-12 20:02:55 +0000830 if (exp < 0)
Reid Spencer66d0d572007-02-28 01:30:08 +0000831 return APInt(width, 0u);
Reid Spencer974551a2007-02-27 01:28:10 +0000832
833 // Extract the mantissa by clearing the top 12 bits (sign + exponent).
834 uint64_t mantissa = (T.I & (~0ULL >> 12)) | 1ULL << 52;
835
836 // If the exponent doesn't shift all bits out of the mantissa
Zhou Shengd707d632007-02-12 20:02:55 +0000837 if (exp < 52)
Eric Christopher820256b2009-08-21 04:06:45 +0000838 return isNeg ? -APInt(width, mantissa >> (52 - exp)) :
Reid Spencer54abdcf2007-02-27 18:23:40 +0000839 APInt(width, mantissa >> (52 - exp));
840
841 // If the client didn't provide enough bits for us to shift the mantissa into
842 // then the result is undefined, just return 0
843 if (width <= exp - 52)
844 return APInt(width, 0);
Reid Spencer974551a2007-02-27 01:28:10 +0000845
846 // Otherwise, we have to shift the mantissa bits up to the right location
Reid Spencer54abdcf2007-02-27 18:23:40 +0000847 APInt Tmp(width, mantissa);
Chris Lattner77527f52009-01-21 18:09:24 +0000848 Tmp = Tmp.shl((unsigned)exp - 52);
Zhou Shengd707d632007-02-12 20:02:55 +0000849 return isNeg ? -Tmp : Tmp;
850}
851
Dale Johannesen54be7852009-08-12 18:04:11 +0000852/// RoundToDouble - This function converts this APInt to a double.
Zhou Shengd707d632007-02-12 20:02:55 +0000853/// The layout for double is as following (IEEE Standard 754):
854/// --------------------------------------
855/// | Sign Exponent Fraction Bias |
856/// |-------------------------------------- |
857/// | 1[63] 11[62-52] 52[51-00] 1023 |
Eric Christopher820256b2009-08-21 04:06:45 +0000858/// --------------------------------------
Reid Spencer1d072122007-02-16 22:36:51 +0000859double APInt::roundToDouble(bool isSigned) const {
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000860
861 // Handle the simple case where the value is contained in one uint64_t.
Dale Johannesen54be7852009-08-12 18:04:11 +0000862 // It is wrong to optimize getWord(0) to VAL; there might be more than one word.
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000863 if (isSingleWord() || getActiveBits() <= APINT_BITS_PER_WORD) {
864 if (isSigned) {
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000865 int64_t sext = (int64_t(getWord(0)) << (64-BitWidth)) >> (64-BitWidth);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000866 return double(sext);
867 } else
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000868 return double(getWord(0));
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000869 }
870
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000871 // Determine if the value is negative.
Reid Spencer1d072122007-02-16 22:36:51 +0000872 bool isNeg = isSigned ? (*this)[BitWidth-1] : false;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000873
874 // Construct the absolute value if we're negative.
Zhou Shengd707d632007-02-12 20:02:55 +0000875 APInt Tmp(isNeg ? -(*this) : (*this));
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000876
877 // Figure out how many bits we're using.
Chris Lattner77527f52009-01-21 18:09:24 +0000878 unsigned n = Tmp.getActiveBits();
Zhou Shengd707d632007-02-12 20:02:55 +0000879
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000880 // The exponent (without bias normalization) is just the number of bits
881 // we are using. Note that the sign bit is gone since we constructed the
882 // absolute value.
883 uint64_t exp = n;
Zhou Shengd707d632007-02-12 20:02:55 +0000884
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000885 // Return infinity for exponent overflow
886 if (exp > 1023) {
887 if (!isSigned || !isNeg)
Jeff Cohene06855e2007-03-20 20:42:36 +0000888 return std::numeric_limits<double>::infinity();
Eric Christopher820256b2009-08-21 04:06:45 +0000889 else
Jeff Cohene06855e2007-03-20 20:42:36 +0000890 return -std::numeric_limits<double>::infinity();
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000891 }
892 exp += 1023; // Increment for 1023 bias
893
894 // Number of bits in mantissa is 52. To obtain the mantissa value, we must
895 // extract the high 52 bits from the correct words in pVal.
Zhou Shengd707d632007-02-12 20:02:55 +0000896 uint64_t mantissa;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000897 unsigned hiWord = whichWord(n-1);
898 if (hiWord == 0) {
899 mantissa = Tmp.pVal[0];
900 if (n > 52)
901 mantissa >>= n - 52; // shift down, we want the top 52 bits.
902 } else {
903 assert(hiWord > 0 && "huh?");
904 uint64_t hibits = Tmp.pVal[hiWord] << (52 - n % APINT_BITS_PER_WORD);
905 uint64_t lobits = Tmp.pVal[hiWord-1] >> (11 + n % APINT_BITS_PER_WORD);
906 mantissa = hibits | lobits;
907 }
908
Zhou Shengd707d632007-02-12 20:02:55 +0000909 // The leading bit of mantissa is implicit, so get rid of it.
Reid Spencerfbd48a52007-02-18 00:44:22 +0000910 uint64_t sign = isNeg ? (1ULL << (APINT_BITS_PER_WORD - 1)) : 0;
Zhou Shengd707d632007-02-12 20:02:55 +0000911 union {
912 double D;
913 uint64_t I;
914 } T;
915 T.I = sign | (exp << 52) | mantissa;
916 return T.D;
917}
918
Reid Spencer1d072122007-02-16 22:36:51 +0000919// Truncate to new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000920APInt APInt::trunc(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000921 assert(width < BitWidth && "Invalid APInt Truncate request");
Chris Lattner1ac3e252008-08-20 17:02:31 +0000922 assert(width && "Can't truncate to 0 bits");
Jay Foad583abbc2010-12-07 08:25:19 +0000923
924 if (width <= APINT_BITS_PER_WORD)
925 return APInt(width, getRawData()[0]);
926
927 APInt Result(getMemory(getNumWords(width)), width);
928
929 // Copy full words.
930 unsigned i;
931 for (i = 0; i != width / APINT_BITS_PER_WORD; i++)
932 Result.pVal[i] = pVal[i];
933
934 // Truncate and copy any partial word.
935 unsigned bits = (0 - width) % APINT_BITS_PER_WORD;
936 if (bits != 0)
937 Result.pVal[i] = pVal[i] << bits >> bits;
938
939 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000940}
941
942// Sign extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000943APInt APInt::sext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000944 assert(width > BitWidth && "Invalid APInt SignExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000945
946 if (width <= APINT_BITS_PER_WORD) {
947 uint64_t val = VAL << (APINT_BITS_PER_WORD - BitWidth);
948 val = (int64_t)val >> (width - BitWidth);
949 return APInt(width, val >> (APINT_BITS_PER_WORD - width));
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000950 }
951
Jay Foad583abbc2010-12-07 08:25:19 +0000952 APInt Result(getMemory(getNumWords(width)), width);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000953
Jay Foad583abbc2010-12-07 08:25:19 +0000954 // Copy full words.
955 unsigned i;
956 uint64_t word = 0;
957 for (i = 0; i != BitWidth / APINT_BITS_PER_WORD; i++) {
958 word = getRawData()[i];
959 Result.pVal[i] = word;
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000960 }
961
Jay Foad583abbc2010-12-07 08:25:19 +0000962 // Read and sign-extend any partial word.
963 unsigned bits = (0 - BitWidth) % APINT_BITS_PER_WORD;
964 if (bits != 0)
965 word = (int64_t)getRawData()[i] << bits >> bits;
966 else
967 word = (int64_t)word >> (APINT_BITS_PER_WORD - 1);
968
969 // Write remaining full words.
970 for (; i != width / APINT_BITS_PER_WORD; i++) {
971 Result.pVal[i] = word;
972 word = (int64_t)word >> (APINT_BITS_PER_WORD - 1);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000973 }
Jay Foad583abbc2010-12-07 08:25:19 +0000974
975 // Write any partial word.
976 bits = (0 - width) % APINT_BITS_PER_WORD;
977 if (bits != 0)
978 Result.pVal[i] = word << bits >> bits;
979
980 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000981}
982
983// Zero extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000984APInt APInt::zext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000985 assert(width > BitWidth && "Invalid APInt ZeroExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000986
987 if (width <= APINT_BITS_PER_WORD)
988 return APInt(width, VAL);
989
990 APInt Result(getMemory(getNumWords(width)), width);
991
992 // Copy words.
993 unsigned i;
994 for (i = 0; i != getNumWords(); i++)
995 Result.pVal[i] = getRawData()[i];
996
997 // Zero remaining words.
998 memset(&Result.pVal[i], 0, (Result.getNumWords() - i) * APINT_WORD_SIZE);
999
1000 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +00001001}
1002
Jay Foad583abbc2010-12-07 08:25:19 +00001003APInt APInt::zextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +00001004 if (BitWidth < width)
1005 return zext(width);
1006 if (BitWidth > width)
1007 return trunc(width);
1008 return *this;
1009}
1010
Jay Foad583abbc2010-12-07 08:25:19 +00001011APInt APInt::sextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +00001012 if (BitWidth < width)
1013 return sext(width);
1014 if (BitWidth > width)
1015 return trunc(width);
1016 return *this;
1017}
1018
Rafael Espindolabb893fe2012-01-27 23:33:07 +00001019APInt APInt::zextOrSelf(unsigned width) const {
1020 if (BitWidth < width)
1021 return zext(width);
1022 return *this;
1023}
1024
1025APInt APInt::sextOrSelf(unsigned width) const {
1026 if (BitWidth < width)
1027 return sext(width);
1028 return *this;
1029}
1030
Zhou Shenge93db8f2007-02-09 07:48:24 +00001031/// Arithmetic right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001032/// @brief Arithmetic right-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001033APInt APInt::ashr(const APInt &shiftAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001034 return ashr((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001035}
1036
1037/// Arithmetic right-shift this APInt by shiftAmt.
1038/// @brief Arithmetic right-shift function.
Chris Lattner77527f52009-01-21 18:09:24 +00001039APInt APInt::ashr(unsigned shiftAmt) const {
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001040 assert(shiftAmt <= BitWidth && "Invalid shift amount");
Reid Spencer1825dd02007-03-02 22:39:11 +00001041 // Handle a degenerate case
1042 if (shiftAmt == 0)
1043 return *this;
1044
1045 // Handle single word shifts with built-in ashr
Reid Spencer522ca7c2007-02-25 01:56:07 +00001046 if (isSingleWord()) {
1047 if (shiftAmt == BitWidth)
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001048 return APInt(BitWidth, 0); // undefined
1049 else {
Chris Lattner77527f52009-01-21 18:09:24 +00001050 unsigned SignBit = APINT_BITS_PER_WORD - BitWidth;
Eric Christopher820256b2009-08-21 04:06:45 +00001051 return APInt(BitWidth,
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001052 (((int64_t(VAL) << SignBit) >> SignBit) >> shiftAmt));
1053 }
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001054 }
Reid Spencer522ca7c2007-02-25 01:56:07 +00001055
Reid Spencer1825dd02007-03-02 22:39:11 +00001056 // If all the bits were shifted out, the result is, technically, undefined.
1057 // We return -1 if it was negative, 0 otherwise. We check this early to avoid
1058 // issues in the algorithm below.
Chris Lattnerdad2d092007-05-03 18:15:36 +00001059 if (shiftAmt == BitWidth) {
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001060 if (isNegative())
Zhou Sheng1247c072008-06-05 13:27:38 +00001061 return APInt(BitWidth, -1ULL, true);
Reid Spencera41e93b2007-02-25 19:32:03 +00001062 else
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001063 return APInt(BitWidth, 0);
Chris Lattnerdad2d092007-05-03 18:15:36 +00001064 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001065
1066 // Create some space for the result.
1067 uint64_t * val = new uint64_t[getNumWords()];
1068
Reid Spencer1825dd02007-03-02 22:39:11 +00001069 // Compute some values needed by the following shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001070 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD; // bits to shift per word
1071 unsigned offset = shiftAmt / APINT_BITS_PER_WORD; // word offset for shift
1072 unsigned breakWord = getNumWords() - 1 - offset; // last word affected
1073 unsigned bitsInWord = whichBit(BitWidth); // how many bits in last word?
Reid Spencer1825dd02007-03-02 22:39:11 +00001074 if (bitsInWord == 0)
1075 bitsInWord = APINT_BITS_PER_WORD;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001076
1077 // If we are shifting whole words, just move whole words
1078 if (wordShift == 0) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001079 // Move the words containing significant bits
Chris Lattner77527f52009-01-21 18:09:24 +00001080 for (unsigned i = 0; i <= breakWord; ++i)
Reid Spencer1825dd02007-03-02 22:39:11 +00001081 val[i] = pVal[i+offset]; // move whole word
1082
1083 // Adjust the top significant word for sign bit fill, if negative
1084 if (isNegative())
1085 if (bitsInWord < APINT_BITS_PER_WORD)
1086 val[breakWord] |= ~0ULL << bitsInWord; // set high bits
1087 } else {
Eric Christopher820256b2009-08-21 04:06:45 +00001088 // Shift the low order words
Chris Lattner77527f52009-01-21 18:09:24 +00001089 for (unsigned i = 0; i < breakWord; ++i) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001090 // This combines the shifted corresponding word with the low bits from
1091 // the next word (shifted into this word's high bits).
Eric Christopher820256b2009-08-21 04:06:45 +00001092 val[i] = (pVal[i+offset] >> wordShift) |
Reid Spencer1825dd02007-03-02 22:39:11 +00001093 (pVal[i+offset+1] << (APINT_BITS_PER_WORD - wordShift));
1094 }
1095
1096 // Shift the break word. In this case there are no bits from the next word
1097 // to include in this word.
1098 val[breakWord] = pVal[breakWord+offset] >> wordShift;
1099
Alp Tokercb402912014-01-24 17:20:08 +00001100 // Deal with sign extension in the break word, and possibly the word before
Reid Spencer1825dd02007-03-02 22:39:11 +00001101 // it.
Chris Lattnerdad2d092007-05-03 18:15:36 +00001102 if (isNegative()) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001103 if (wordShift > bitsInWord) {
1104 if (breakWord > 0)
Eric Christopher820256b2009-08-21 04:06:45 +00001105 val[breakWord-1] |=
Reid Spencer1825dd02007-03-02 22:39:11 +00001106 ~0ULL << (APINT_BITS_PER_WORD - (wordShift - bitsInWord));
1107 val[breakWord] |= ~0ULL;
Eric Christopher820256b2009-08-21 04:06:45 +00001108 } else
Reid Spencer1825dd02007-03-02 22:39:11 +00001109 val[breakWord] |= (~0ULL << (bitsInWord - wordShift));
Chris Lattnerdad2d092007-05-03 18:15:36 +00001110 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001111 }
1112
Reid Spencer1825dd02007-03-02 22:39:11 +00001113 // Remaining words are 0 or -1, just assign them.
1114 uint64_t fillValue = (isNegative() ? -1ULL : 0);
Chris Lattner77527f52009-01-21 18:09:24 +00001115 for (unsigned i = breakWord+1; i < getNumWords(); ++i)
Reid Spencer1825dd02007-03-02 22:39:11 +00001116 val[i] = fillValue;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001117 return APInt(val, BitWidth).clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001118}
1119
Zhou Shenge93db8f2007-02-09 07:48:24 +00001120/// Logical right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001121/// @brief Logical right-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001122APInt APInt::lshr(const APInt &shiftAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001123 return lshr((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001124}
1125
1126/// Logical right-shift this APInt by shiftAmt.
1127/// @brief Logical right-shift function.
Chris Lattner77527f52009-01-21 18:09:24 +00001128APInt APInt::lshr(unsigned shiftAmt) const {
Chris Lattnerdad2d092007-05-03 18:15:36 +00001129 if (isSingleWord()) {
Ahmed Charles0dca5d82012-02-24 19:06:15 +00001130 if (shiftAmt >= BitWidth)
Reid Spencer522ca7c2007-02-25 01:56:07 +00001131 return APInt(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001132 else
Reid Spencer522ca7c2007-02-25 01:56:07 +00001133 return APInt(BitWidth, this->VAL >> shiftAmt);
Chris Lattnerdad2d092007-05-03 18:15:36 +00001134 }
Reid Spencer522ca7c2007-02-25 01:56:07 +00001135
Reid Spencer44eef162007-02-26 01:19:48 +00001136 // If all the bits were shifted out, the result is 0. This avoids issues
1137 // with shifting by the size of the integer type, which produces undefined
1138 // results. We define these "undefined results" to always be 0.
Chad Rosier3d464d82012-06-08 18:04:52 +00001139 if (shiftAmt >= BitWidth)
Reid Spencer44eef162007-02-26 01:19:48 +00001140 return APInt(BitWidth, 0);
1141
Reid Spencerfffdf102007-05-17 06:26:29 +00001142 // If none of the bits are shifted out, the result is *this. This avoids
Eric Christopher820256b2009-08-21 04:06:45 +00001143 // issues with shifting by the size of the integer type, which produces
Reid Spencerfffdf102007-05-17 06:26:29 +00001144 // undefined results in the code below. This is also an optimization.
1145 if (shiftAmt == 0)
1146 return *this;
1147
Reid Spencer44eef162007-02-26 01:19:48 +00001148 // Create some space for the result.
1149 uint64_t * val = new uint64_t[getNumWords()];
1150
1151 // If we are shifting less than a word, compute the shift with a simple carry
1152 if (shiftAmt < APINT_BITS_PER_WORD) {
Richard Smith4f9a8082011-11-23 21:33:37 +00001153 lshrNear(val, pVal, getNumWords(), shiftAmt);
Reid Spencer44eef162007-02-26 01:19:48 +00001154 return APInt(val, BitWidth).clearUnusedBits();
Reid Spencera41e93b2007-02-25 19:32:03 +00001155 }
1156
Reid Spencer44eef162007-02-26 01:19:48 +00001157 // Compute some values needed by the remaining shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001158 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD;
1159 unsigned offset = shiftAmt / APINT_BITS_PER_WORD;
Reid Spencer44eef162007-02-26 01:19:48 +00001160
1161 // If we are shifting whole words, just move whole words
1162 if (wordShift == 0) {
Chris Lattner77527f52009-01-21 18:09:24 +00001163 for (unsigned i = 0; i < getNumWords() - offset; ++i)
Reid Spencer44eef162007-02-26 01:19:48 +00001164 val[i] = pVal[i+offset];
Chris Lattner77527f52009-01-21 18:09:24 +00001165 for (unsigned i = getNumWords()-offset; i < getNumWords(); i++)
Reid Spencer44eef162007-02-26 01:19:48 +00001166 val[i] = 0;
1167 return APInt(val,BitWidth).clearUnusedBits();
1168 }
1169
Eric Christopher820256b2009-08-21 04:06:45 +00001170 // Shift the low order words
Chris Lattner77527f52009-01-21 18:09:24 +00001171 unsigned breakWord = getNumWords() - offset -1;
1172 for (unsigned i = 0; i < breakWord; ++i)
Reid Spencerd99feaf2007-03-01 05:39:56 +00001173 val[i] = (pVal[i+offset] >> wordShift) |
1174 (pVal[i+offset+1] << (APINT_BITS_PER_WORD - wordShift));
Reid Spencer44eef162007-02-26 01:19:48 +00001175 // Shift the break word.
1176 val[breakWord] = pVal[breakWord+offset] >> wordShift;
1177
1178 // Remaining words are 0
Chris Lattner77527f52009-01-21 18:09:24 +00001179 for (unsigned i = breakWord+1; i < getNumWords(); ++i)
Reid Spencer44eef162007-02-26 01:19:48 +00001180 val[i] = 0;
1181 return APInt(val, BitWidth).clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001182}
1183
Zhou Shenge93db8f2007-02-09 07:48:24 +00001184/// Left-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001185/// @brief Left-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001186APInt APInt::shl(const APInt &shiftAmt) const {
Nick Lewycky030c4502009-01-19 17:42:33 +00001187 // It's undefined behavior in C to shift by BitWidth or greater.
Chris Lattner77527f52009-01-21 18:09:24 +00001188 return shl((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001189}
1190
Chris Lattner77527f52009-01-21 18:09:24 +00001191APInt APInt::shlSlowCase(unsigned shiftAmt) const {
Reid Spencera5c84d92007-02-25 00:56:44 +00001192 // If all the bits were shifted out, the result is 0. This avoids issues
1193 // with shifting by the size of the integer type, which produces undefined
1194 // results. We define these "undefined results" to always be 0.
1195 if (shiftAmt == BitWidth)
1196 return APInt(BitWidth, 0);
1197
Reid Spencer81ee0202007-05-12 18:01:57 +00001198 // If none of the bits are shifted out, the result is *this. This avoids a
1199 // lshr by the words size in the loop below which can produce incorrect
1200 // results. It also avoids the expensive computation below for a common case.
1201 if (shiftAmt == 0)
1202 return *this;
1203
Reid Spencera5c84d92007-02-25 00:56:44 +00001204 // Create some space for the result.
1205 uint64_t * val = new uint64_t[getNumWords()];
1206
1207 // If we are shifting less than a word, do it the easy way
1208 if (shiftAmt < APINT_BITS_PER_WORD) {
1209 uint64_t carry = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001210 for (unsigned i = 0; i < getNumWords(); i++) {
Reid Spencera5c84d92007-02-25 00:56:44 +00001211 val[i] = pVal[i] << shiftAmt | carry;
1212 carry = pVal[i] >> (APINT_BITS_PER_WORD - shiftAmt);
1213 }
Reid Spencera41e93b2007-02-25 19:32:03 +00001214 return APInt(val, BitWidth).clearUnusedBits();
Reid Spencer632ebdf2007-02-24 20:19:37 +00001215 }
1216
Reid Spencera5c84d92007-02-25 00:56:44 +00001217 // Compute some values needed by the remaining shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001218 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD;
1219 unsigned offset = shiftAmt / APINT_BITS_PER_WORD;
Reid Spencera5c84d92007-02-25 00:56:44 +00001220
1221 // If we are shifting whole words, just move whole words
1222 if (wordShift == 0) {
Chris Lattner77527f52009-01-21 18:09:24 +00001223 for (unsigned i = 0; i < offset; i++)
Reid Spencera5c84d92007-02-25 00:56:44 +00001224 val[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001225 for (unsigned i = offset; i < getNumWords(); i++)
Reid Spencera5c84d92007-02-25 00:56:44 +00001226 val[i] = pVal[i-offset];
Reid Spencera41e93b2007-02-25 19:32:03 +00001227 return APInt(val,BitWidth).clearUnusedBits();
Reid Spencer632ebdf2007-02-24 20:19:37 +00001228 }
Reid Spencera5c84d92007-02-25 00:56:44 +00001229
1230 // Copy whole words from this to Result.
Chris Lattner77527f52009-01-21 18:09:24 +00001231 unsigned i = getNumWords() - 1;
Reid Spencera5c84d92007-02-25 00:56:44 +00001232 for (; i > offset; --i)
1233 val[i] = pVal[i-offset] << wordShift |
1234 pVal[i-offset-1] >> (APINT_BITS_PER_WORD - wordShift);
Reid Spencerab0e08a2007-02-25 01:08:58 +00001235 val[offset] = pVal[0] << wordShift;
Reid Spencera5c84d92007-02-25 00:56:44 +00001236 for (i = 0; i < offset; ++i)
1237 val[i] = 0;
Reid Spencera41e93b2007-02-25 19:32:03 +00001238 return APInt(val, BitWidth).clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001239}
1240
Dan Gohman105c1d42008-02-29 01:40:47 +00001241APInt APInt::rotl(const APInt &rotateAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001242 return rotl((unsigned)rotateAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001243}
1244
Chris Lattner77527f52009-01-21 18:09:24 +00001245APInt APInt::rotl(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001246 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001247 if (rotateAmt == 0)
1248 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001249 return shl(rotateAmt) | lshr(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001250}
1251
Dan Gohman105c1d42008-02-29 01:40:47 +00001252APInt APInt::rotr(const APInt &rotateAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001253 return rotr((unsigned)rotateAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001254}
1255
Chris Lattner77527f52009-01-21 18:09:24 +00001256APInt APInt::rotr(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001257 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001258 if (rotateAmt == 0)
1259 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001260 return lshr(rotateAmt) | shl(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001261}
Reid Spencerd99feaf2007-03-01 05:39:56 +00001262
1263// Square Root - this method computes and returns the square root of "this".
1264// Three mechanisms are used for computation. For small values (<= 5 bits),
1265// a table lookup is done. This gets some performance for common cases. For
1266// values using less than 52 bits, the value is converted to double and then
1267// the libc sqrt function is called. The result is rounded and then converted
1268// back to a uint64_t which is then used to construct the result. Finally,
Eric Christopher820256b2009-08-21 04:06:45 +00001269// the Babylonian method for computing square roots is used.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001270APInt APInt::sqrt() const {
1271
1272 // Determine the magnitude of the value.
Chris Lattner77527f52009-01-21 18:09:24 +00001273 unsigned magnitude = getActiveBits();
Reid Spencerd99feaf2007-03-01 05:39:56 +00001274
1275 // Use a fast table for some small values. This also gets rid of some
1276 // rounding errors in libc sqrt for small values.
1277 if (magnitude <= 5) {
Reid Spencer2f6ad4d2007-03-01 17:47:31 +00001278 static const uint8_t results[32] = {
Reid Spencerc8841d22007-03-01 06:23:32 +00001279 /* 0 */ 0,
1280 /* 1- 2 */ 1, 1,
Eric Christopher820256b2009-08-21 04:06:45 +00001281 /* 3- 6 */ 2, 2, 2, 2,
Reid Spencerc8841d22007-03-01 06:23:32 +00001282 /* 7-12 */ 3, 3, 3, 3, 3, 3,
1283 /* 13-20 */ 4, 4, 4, 4, 4, 4, 4, 4,
1284 /* 21-30 */ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1285 /* 31 */ 6
1286 };
1287 return APInt(BitWidth, results[ (isSingleWord() ? VAL : pVal[0]) ]);
Reid Spencerd99feaf2007-03-01 05:39:56 +00001288 }
1289
1290 // If the magnitude of the value fits in less than 52 bits (the precision of
1291 // an IEEE double precision floating point value), then we can use the
1292 // libc sqrt function which will probably use a hardware sqrt computation.
1293 // This should be faster than the algorithm below.
Jeff Cohenb622c112007-03-05 00:00:42 +00001294 if (magnitude < 52) {
Chris Lattner9e01b612010-05-15 17:11:55 +00001295#if HAVE_ROUND
Eric Christopher820256b2009-08-21 04:06:45 +00001296 return APInt(BitWidth,
Reid Spencerd99feaf2007-03-01 05:39:56 +00001297 uint64_t(::round(::sqrt(double(isSingleWord()?VAL:pVal[0])))));
Chris Lattner9e01b612010-05-15 17:11:55 +00001298#else
1299 return APInt(BitWidth,
Chris Lattner9f1d2de2011-05-22 06:03:53 +00001300 uint64_t(::sqrt(double(isSingleWord()?VAL:pVal[0])) + 0.5));
Jeff Cohenb622c112007-03-05 00:00:42 +00001301#endif
1302 }
Reid Spencerd99feaf2007-03-01 05:39:56 +00001303
1304 // Okay, all the short cuts are exhausted. We must compute it. The following
1305 // is a classical Babylonian method for computing the square root. This code
Sanjay Patel4cb54e02014-09-11 15:41:01 +00001306 // was adapted to APInt from a wikipedia article on such computations.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001307 // See http://www.wikipedia.org/ and go to the page named
Eric Christopher820256b2009-08-21 04:06:45 +00001308 // Calculate_an_integer_square_root.
Chris Lattner77527f52009-01-21 18:09:24 +00001309 unsigned nbits = BitWidth, i = 4;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001310 APInt testy(BitWidth, 16);
1311 APInt x_old(BitWidth, 1);
1312 APInt x_new(BitWidth, 0);
1313 APInt two(BitWidth, 2);
1314
1315 // Select a good starting value using binary logarithms.
Eric Christopher820256b2009-08-21 04:06:45 +00001316 for (;; i += 2, testy = testy.shl(2))
Reid Spencerd99feaf2007-03-01 05:39:56 +00001317 if (i >= nbits || this->ule(testy)) {
1318 x_old = x_old.shl(i / 2);
1319 break;
1320 }
1321
Eric Christopher820256b2009-08-21 04:06:45 +00001322 // Use the Babylonian method to arrive at the integer square root:
Reid Spencerd99feaf2007-03-01 05:39:56 +00001323 for (;;) {
1324 x_new = (this->udiv(x_old) + x_old).udiv(two);
1325 if (x_old.ule(x_new))
1326 break;
1327 x_old = x_new;
1328 }
1329
1330 // Make sure we return the closest approximation
Eric Christopher820256b2009-08-21 04:06:45 +00001331 // NOTE: The rounding calculation below is correct. It will produce an
Reid Spencercf817562007-03-02 04:21:55 +00001332 // off-by-one discrepancy with results from pari/gp. That discrepancy has been
Eric Christopher820256b2009-08-21 04:06:45 +00001333 // determined to be a rounding issue with pari/gp as it begins to use a
Reid Spencercf817562007-03-02 04:21:55 +00001334 // floating point representation after 192 bits. There are no discrepancies
1335 // between this algorithm and pari/gp for bit widths < 192 bits.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001336 APInt square(x_old * x_old);
1337 APInt nextSquare((x_old + 1) * (x_old +1));
1338 if (this->ult(square))
1339 return x_old;
David Blaikie54c94622011-12-01 20:58:30 +00001340 assert(this->ule(nextSquare) && "Error in APInt::sqrt computation");
1341 APInt midpoint((nextSquare - square).udiv(two));
1342 APInt offset(*this - square);
1343 if (offset.ult(midpoint))
1344 return x_old;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001345 return x_old + 1;
1346}
1347
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001348/// Computes the multiplicative inverse of this APInt for a given modulo. The
1349/// iterative extended Euclidean algorithm is used to solve for this value,
1350/// however we simplify it to speed up calculating only the inverse, and take
1351/// advantage of div+rem calculations. We also use some tricks to avoid copying
1352/// (potentially large) APInts around.
1353APInt APInt::multiplicativeInverse(const APInt& modulo) const {
1354 assert(ult(modulo) && "This APInt must be smaller than the modulo");
1355
1356 // Using the properties listed at the following web page (accessed 06/21/08):
1357 // http://www.numbertheory.org/php/euclid.html
1358 // (especially the properties numbered 3, 4 and 9) it can be proved that
1359 // BitWidth bits suffice for all the computations in the algorithm implemented
1360 // below. More precisely, this number of bits suffice if the multiplicative
1361 // inverse exists, but may not suffice for the general extended Euclidean
1362 // algorithm.
1363
1364 APInt r[2] = { modulo, *this };
1365 APInt t[2] = { APInt(BitWidth, 0), APInt(BitWidth, 1) };
1366 APInt q(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001367
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001368 unsigned i;
1369 for (i = 0; r[i^1] != 0; i ^= 1) {
1370 // An overview of the math without the confusing bit-flipping:
1371 // q = r[i-2] / r[i-1]
1372 // r[i] = r[i-2] % r[i-1]
1373 // t[i] = t[i-2] - t[i-1] * q
1374 udivrem(r[i], r[i^1], q, r[i]);
1375 t[i] -= t[i^1] * q;
1376 }
1377
1378 // If this APInt and the modulo are not coprime, there is no multiplicative
1379 // inverse, so return 0. We check this by looking at the next-to-last
1380 // remainder, which is the gcd(*this,modulo) as calculated by the Euclidean
1381 // algorithm.
1382 if (r[i] != 1)
1383 return APInt(BitWidth, 0);
1384
1385 // The next-to-last t is the multiplicative inverse. However, we are
1386 // interested in a positive inverse. Calcuate a positive one from a negative
1387 // one if necessary. A simple addition of the modulo suffices because
Wojciech Matyjewiczf0d21cd2008-07-20 15:55:14 +00001388 // abs(t[i]) is known to be less than *this/2 (see the link above).
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001389 return t[i].isNegative() ? t[i] + modulo : t[i];
1390}
1391
Jay Foadfe0c6482009-04-30 10:15:35 +00001392/// Calculate the magic numbers required to implement a signed integer division
1393/// by a constant as a sequence of multiplies, adds and shifts. Requires that
1394/// the divisor not be 0, 1, or -1. Taken from "Hacker's Delight", Henry S.
1395/// Warren, Jr., chapter 10.
1396APInt::ms APInt::magic() const {
1397 const APInt& d = *this;
1398 unsigned p;
1399 APInt ad, anc, delta, q1, r1, q2, r2, t;
Jay Foadfe0c6482009-04-30 10:15:35 +00001400 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
Jay Foadfe0c6482009-04-30 10:15:35 +00001401 struct ms mag;
Eric Christopher820256b2009-08-21 04:06:45 +00001402
Jay Foadfe0c6482009-04-30 10:15:35 +00001403 ad = d.abs();
1404 t = signedMin + (d.lshr(d.getBitWidth() - 1));
1405 anc = t - 1 - t.urem(ad); // absolute value of nc
1406 p = d.getBitWidth() - 1; // initialize p
1407 q1 = signedMin.udiv(anc); // initialize q1 = 2p/abs(nc)
1408 r1 = signedMin - q1*anc; // initialize r1 = rem(2p,abs(nc))
1409 q2 = signedMin.udiv(ad); // initialize q2 = 2p/abs(d)
1410 r2 = signedMin - q2*ad; // initialize r2 = rem(2p,abs(d))
1411 do {
1412 p = p + 1;
1413 q1 = q1<<1; // update q1 = 2p/abs(nc)
1414 r1 = r1<<1; // update r1 = rem(2p/abs(nc))
1415 if (r1.uge(anc)) { // must be unsigned comparison
1416 q1 = q1 + 1;
1417 r1 = r1 - anc;
1418 }
1419 q2 = q2<<1; // update q2 = 2p/abs(d)
1420 r2 = r2<<1; // update r2 = rem(2p/abs(d))
1421 if (r2.uge(ad)) { // must be unsigned comparison
1422 q2 = q2 + 1;
1423 r2 = r2 - ad;
1424 }
1425 delta = ad - r2;
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001426 } while (q1.ult(delta) || (q1 == delta && r1 == 0));
Eric Christopher820256b2009-08-21 04:06:45 +00001427
Jay Foadfe0c6482009-04-30 10:15:35 +00001428 mag.m = q2 + 1;
1429 if (d.isNegative()) mag.m = -mag.m; // resulting magic number
1430 mag.s = p - d.getBitWidth(); // resulting shift
1431 return mag;
1432}
1433
1434/// Calculate the magic numbers required to implement an unsigned integer
1435/// division by a constant as a sequence of multiplies, adds and shifts.
1436/// Requires that the divisor not be 0. Taken from "Hacker's Delight", Henry
1437/// S. Warren, Jr., chapter 10.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001438/// LeadingZeros can be used to simplify the calculation if the upper bits
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001439/// of the divided value are known zero.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001440APInt::mu APInt::magicu(unsigned LeadingZeros) const {
Jay Foadfe0c6482009-04-30 10:15:35 +00001441 const APInt& d = *this;
1442 unsigned p;
1443 APInt nc, delta, q1, r1, q2, r2;
1444 struct mu magu;
1445 magu.a = 0; // initialize "add" indicator
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001446 APInt allOnes = APInt::getAllOnesValue(d.getBitWidth()).lshr(LeadingZeros);
Jay Foadfe0c6482009-04-30 10:15:35 +00001447 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
1448 APInt signedMax = APInt::getSignedMaxValue(d.getBitWidth());
1449
Benjamin Kramer3aab6a82012-07-11 18:31:59 +00001450 nc = allOnes - (allOnes - d).urem(d);
Jay Foadfe0c6482009-04-30 10:15:35 +00001451 p = d.getBitWidth() - 1; // initialize p
1452 q1 = signedMin.udiv(nc); // initialize q1 = 2p/nc
1453 r1 = signedMin - q1*nc; // initialize r1 = rem(2p,nc)
1454 q2 = signedMax.udiv(d); // initialize q2 = (2p-1)/d
1455 r2 = signedMax - q2*d; // initialize r2 = rem((2p-1),d)
1456 do {
1457 p = p + 1;
1458 if (r1.uge(nc - r1)) {
1459 q1 = q1 + q1 + 1; // update q1
1460 r1 = r1 + r1 - nc; // update r1
1461 }
1462 else {
1463 q1 = q1+q1; // update q1
1464 r1 = r1+r1; // update r1
1465 }
1466 if ((r2 + 1).uge(d - r2)) {
1467 if (q2.uge(signedMax)) magu.a = 1;
1468 q2 = q2+q2 + 1; // update q2
1469 r2 = r2+r2 + 1 - d; // update r2
1470 }
1471 else {
1472 if (q2.uge(signedMin)) magu.a = 1;
1473 q2 = q2+q2; // update q2
1474 r2 = r2+r2 + 1; // update r2
1475 }
1476 delta = d - 1 - r2;
1477 } while (p < d.getBitWidth()*2 &&
1478 (q1.ult(delta) || (q1 == delta && r1 == 0)));
1479 magu.m = q2 + 1; // resulting magic number
1480 magu.s = p - d.getBitWidth(); // resulting shift
1481 return magu;
1482}
1483
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001484/// Implementation of Knuth's Algorithm D (Division of nonnegative integers)
1485/// from "Art of Computer Programming, Volume 2", section 4.3.1, p. 272. The
1486/// variables here have the same names as in the algorithm. Comments explain
1487/// the algorithm and any deviation from it.
Chris Lattner77527f52009-01-21 18:09:24 +00001488static void KnuthDiv(unsigned *u, unsigned *v, unsigned *q, unsigned* r,
1489 unsigned m, unsigned n) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001490 assert(u && "Must provide dividend");
1491 assert(v && "Must provide divisor");
1492 assert(q && "Must provide quotient");
Reid Spencera5e0d202007-02-24 03:58:46 +00001493 assert(u != v && u != q && v != q && "Must us different memory");
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001494 assert(n>1 && "n must be > 1");
1495
1496 // Knuth uses the value b as the base of the number system. In our case b
1497 // is 2^31 so we just set it to -1u.
1498 uint64_t b = uint64_t(1) << 32;
1499
Chris Lattner17f71652008-08-17 07:19:36 +00001500#if 0
David Greenef32fcb42010-01-05 01:28:52 +00001501 DEBUG(dbgs() << "KnuthDiv: m=" << m << " n=" << n << '\n');
1502 DEBUG(dbgs() << "KnuthDiv: original:");
1503 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1504 DEBUG(dbgs() << " by");
1505 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1506 DEBUG(dbgs() << '\n');
Chris Lattner17f71652008-08-17 07:19:36 +00001507#endif
Eric Christopher820256b2009-08-21 04:06:45 +00001508 // D1. [Normalize.] Set d = b / (v[n-1] + 1) and multiply all the digits of
1509 // u and v by d. Note that we have taken Knuth's advice here to use a power
1510 // of 2 value for d such that d * v[n-1] >= b/2 (b is the base). A power of
1511 // 2 allows us to shift instead of multiply and it is easy to determine the
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001512 // shift amount from the leading zeros. We are basically normalizing the u
1513 // and v so that its high bits are shifted to the top of v's range without
1514 // overflow. Note that this can require an extra word in u so that u must
1515 // be of length m+n+1.
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001516 unsigned shift = countLeadingZeros(v[n-1]);
Chris Lattner77527f52009-01-21 18:09:24 +00001517 unsigned v_carry = 0;
1518 unsigned u_carry = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001519 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001520 for (unsigned i = 0; i < m+n; ++i) {
1521 unsigned u_tmp = u[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001522 u[i] = (u[i] << shift) | u_carry;
1523 u_carry = u_tmp;
Reid Spencer100502d2007-02-17 03:16:00 +00001524 }
Chris Lattner77527f52009-01-21 18:09:24 +00001525 for (unsigned i = 0; i < n; ++i) {
1526 unsigned v_tmp = v[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001527 v[i] = (v[i] << shift) | v_carry;
1528 v_carry = v_tmp;
1529 }
1530 }
1531 u[m+n] = u_carry;
Chris Lattner17f71652008-08-17 07:19:36 +00001532#if 0
David Greenef32fcb42010-01-05 01:28:52 +00001533 DEBUG(dbgs() << "KnuthDiv: normal:");
1534 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1535 DEBUG(dbgs() << " by");
1536 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1537 DEBUG(dbgs() << '\n');
Chris Lattner17f71652008-08-17 07:19:36 +00001538#endif
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001539
1540 // D2. [Initialize j.] Set j to m. This is the loop counter over the places.
1541 int j = m;
1542 do {
David Greenef32fcb42010-01-05 01:28:52 +00001543 DEBUG(dbgs() << "KnuthDiv: quotient digit #" << j << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001544 // D3. [Calculate q'.].
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001545 // Set qp = (u[j+n]*b + u[j+n-1]) / v[n-1]. (qp=qprime=q')
1546 // Set rp = (u[j+n]*b + u[j+n-1]) % v[n-1]. (rp=rprime=r')
1547 // Now test if qp == b or qp*v[n-2] > b*rp + u[j+n-2]; if so, decrease
1548 // qp by 1, inrease rp by v[n-1], and repeat this test if rp < b. The test
1549 // on v[n-2] determines at high speed most of the cases in which the trial
Eric Christopher820256b2009-08-21 04:06:45 +00001550 // value qp is one too large, and it eliminates all cases where qp is two
1551 // too large.
Reid Spencercb292e42007-02-23 01:57:13 +00001552 uint64_t dividend = ((uint64_t(u[j+n]) << 32) + u[j+n-1]);
David Greenef32fcb42010-01-05 01:28:52 +00001553 DEBUG(dbgs() << "KnuthDiv: dividend == " << dividend << '\n');
Reid Spencercb292e42007-02-23 01:57:13 +00001554 uint64_t qp = dividend / v[n-1];
1555 uint64_t rp = dividend % v[n-1];
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001556 if (qp == b || qp*v[n-2] > b*rp + u[j+n-2]) {
1557 qp--;
1558 rp += v[n-1];
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001559 if (rp < b && (qp == b || qp*v[n-2] > b*rp + u[j+n-2]))
Reid Spencera5e0d202007-02-24 03:58:46 +00001560 qp--;
Reid Spencercb292e42007-02-23 01:57:13 +00001561 }
David Greenef32fcb42010-01-05 01:28:52 +00001562 DEBUG(dbgs() << "KnuthDiv: qp == " << qp << ", rp == " << rp << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001563
Reid Spencercb292e42007-02-23 01:57:13 +00001564 // D4. [Multiply and subtract.] Replace (u[j+n]u[j+n-1]...u[j]) with
1565 // (u[j+n]u[j+n-1]..u[j]) - qp * (v[n-1]...v[1]v[0]). This computation
1566 // consists of a simple multiplication by a one-place number, combined with
Eric Christopher820256b2009-08-21 04:06:45 +00001567 // a subtraction.
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001568 bool isNeg = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001569 for (unsigned i = 0; i < n; ++i) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001570 uint64_t u_tmp = uint64_t(u[j+i]) | (uint64_t(u[j+i+1]) << 32);
Reid Spencera5e0d202007-02-24 03:58:46 +00001571 uint64_t subtrahend = uint64_t(qp) * uint64_t(v[i]);
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001572 bool borrow = subtrahend > u_tmp;
David Greenef32fcb42010-01-05 01:28:52 +00001573 DEBUG(dbgs() << "KnuthDiv: u_tmp == " << u_tmp
Daniel Dunbar763ace92009-07-13 05:27:30 +00001574 << ", subtrahend == " << subtrahend
1575 << ", borrow = " << borrow << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001576
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001577 uint64_t result = u_tmp - subtrahend;
Chris Lattner77527f52009-01-21 18:09:24 +00001578 unsigned k = j + i;
1579 u[k++] = (unsigned)(result & (b-1)); // subtract low word
1580 u[k++] = (unsigned)(result >> 32); // subtract high word
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001581 while (borrow && k <= m+n) { // deal with borrow to the left
1582 borrow = u[k] == 0;
1583 u[k]--;
1584 k++;
1585 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001586 isNeg |= borrow;
David Greenef32fcb42010-01-05 01:28:52 +00001587 DEBUG(dbgs() << "KnuthDiv: u[j+i] == " << u[j+i] << ", u[j+i+1] == " <<
Eric Christopher820256b2009-08-21 04:06:45 +00001588 u[j+i+1] << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001589 }
David Greenef32fcb42010-01-05 01:28:52 +00001590 DEBUG(dbgs() << "KnuthDiv: after subtraction:");
1591 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1592 DEBUG(dbgs() << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001593 // The digits (u[j+n]...u[j]) should be kept positive; if the result of
1594 // this step is actually negative, (u[j+n]...u[j]) should be left as the
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001595 // true value plus b**(n+1), namely as the b's complement of
Reid Spencercb292e42007-02-23 01:57:13 +00001596 // the true value, and a "borrow" to the left should be remembered.
1597 //
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001598 if (isNeg) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001599 bool carry = true; // true because b's complement is "complement + 1"
Chris Lattner77527f52009-01-21 18:09:24 +00001600 for (unsigned i = 0; i <= m+n; ++i) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001601 u[i] = ~u[i] + carry; // b's complement
1602 carry = carry && u[i] == 0;
Reid Spencera5e0d202007-02-24 03:58:46 +00001603 }
Reid Spencercb292e42007-02-23 01:57:13 +00001604 }
David Greenef32fcb42010-01-05 01:28:52 +00001605 DEBUG(dbgs() << "KnuthDiv: after complement:");
1606 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1607 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001608
Eric Christopher820256b2009-08-21 04:06:45 +00001609 // D5. [Test remainder.] Set q[j] = qp. If the result of step D4 was
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001610 // negative, go to step D6; otherwise go on to step D7.
Chris Lattner77527f52009-01-21 18:09:24 +00001611 q[j] = (unsigned)qp;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001612 if (isNeg) {
Eric Christopher820256b2009-08-21 04:06:45 +00001613 // D6. [Add back]. The probability that this step is necessary is very
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001614 // small, on the order of only 2/b. Make sure that test data accounts for
Eric Christopher820256b2009-08-21 04:06:45 +00001615 // this possibility. Decrease q[j] by 1
Reid Spencercb292e42007-02-23 01:57:13 +00001616 q[j]--;
Eric Christopher820256b2009-08-21 04:06:45 +00001617 // and add (0v[n-1]...v[1]v[0]) to (u[j+n]u[j+n-1]...u[j+1]u[j]).
1618 // A carry will occur to the left of u[j+n], and it should be ignored
Reid Spencercb292e42007-02-23 01:57:13 +00001619 // since it cancels with the borrow that occurred in D4.
1620 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001621 for (unsigned i = 0; i < n; i++) {
1622 unsigned limit = std::min(u[j+i],v[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001623 u[j+i] += v[i] + carry;
Reid Spencera5e0d202007-02-24 03:58:46 +00001624 carry = u[j+i] < limit || (carry && u[j+i] == limit);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001625 }
Reid Spencera5e0d202007-02-24 03:58:46 +00001626 u[j+n] += carry;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001627 }
David Greenef32fcb42010-01-05 01:28:52 +00001628 DEBUG(dbgs() << "KnuthDiv: after correction:");
1629 DEBUG(for (int i = m+n; i >=0; i--) dbgs() <<" " << u[i]);
1630 DEBUG(dbgs() << "\nKnuthDiv: digit result = " << q[j] << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001631
Reid Spencercb292e42007-02-23 01:57:13 +00001632 // D7. [Loop on j.] Decrease j by one. Now if j >= 0, go back to D3.
1633 } while (--j >= 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001634
David Greenef32fcb42010-01-05 01:28:52 +00001635 DEBUG(dbgs() << "KnuthDiv: quotient:");
1636 DEBUG(for (int i = m; i >=0; i--) dbgs() <<" " << q[i]);
1637 DEBUG(dbgs() << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001638
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001639 // D8. [Unnormalize]. Now q[...] is the desired quotient, and the desired
1640 // remainder may be obtained by dividing u[...] by d. If r is non-null we
1641 // compute the remainder (urem uses this).
1642 if (r) {
1643 // The value d is expressed by the "shift" value above since we avoided
1644 // multiplication by d by using a shift left. So, all we have to do is
1645 // shift right here. In order to mak
Reid Spencer468ad9112007-02-24 20:38:01 +00001646 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001647 unsigned carry = 0;
David Greenef32fcb42010-01-05 01:28:52 +00001648 DEBUG(dbgs() << "KnuthDiv: remainder:");
Reid Spencer468ad9112007-02-24 20:38:01 +00001649 for (int i = n-1; i >= 0; i--) {
1650 r[i] = (u[i] >> shift) | carry;
1651 carry = u[i] << (32 - shift);
David Greenef32fcb42010-01-05 01:28:52 +00001652 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001653 }
1654 } else {
1655 for (int i = n-1; i >= 0; i--) {
1656 r[i] = u[i];
David Greenef32fcb42010-01-05 01:28:52 +00001657 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001658 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001659 }
David Greenef32fcb42010-01-05 01:28:52 +00001660 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001661 }
Chris Lattner17f71652008-08-17 07:19:36 +00001662#if 0
David Greenef32fcb42010-01-05 01:28:52 +00001663 DEBUG(dbgs() << '\n');
Chris Lattner17f71652008-08-17 07:19:36 +00001664#endif
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001665}
1666
Chris Lattner77527f52009-01-21 18:09:24 +00001667void APInt::divide(const APInt LHS, unsigned lhsWords,
1668 const APInt &RHS, unsigned rhsWords,
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001669 APInt *Quotient, APInt *Remainder)
1670{
1671 assert(lhsWords >= rhsWords && "Fractional result");
1672
Eric Christopher820256b2009-08-21 04:06:45 +00001673 // First, compose the values into an array of 32-bit words instead of
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001674 // 64-bit words. This is a necessity of both the "short division" algorithm
Dan Gohman4a618822010-02-10 16:03:48 +00001675 // and the Knuth "classical algorithm" which requires there to be native
Eric Christopher820256b2009-08-21 04:06:45 +00001676 // operations for +, -, and * on an m bit value with an m*2 bit result. We
1677 // can't use 64-bit operands here because we don't have native results of
1678 // 128-bits. Furthermore, casting the 64-bit values to 32-bit values won't
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001679 // work on large-endian machines.
Dan Gohmancff69532009-04-01 18:45:54 +00001680 uint64_t mask = ~0ull >> (sizeof(unsigned)*CHAR_BIT);
Chris Lattner77527f52009-01-21 18:09:24 +00001681 unsigned n = rhsWords * 2;
1682 unsigned m = (lhsWords * 2) - n;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001683
1684 // Allocate space for the temporary values we need either on the stack, if
1685 // it will fit, or on the heap if it won't.
Chris Lattner77527f52009-01-21 18:09:24 +00001686 unsigned SPACE[128];
Craig Topperc10719f2014-04-07 04:17:22 +00001687 unsigned *U = nullptr;
1688 unsigned *V = nullptr;
1689 unsigned *Q = nullptr;
1690 unsigned *R = nullptr;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001691 if ((Remainder?4:3)*n+2*m+1 <= 128) {
1692 U = &SPACE[0];
1693 V = &SPACE[m+n+1];
1694 Q = &SPACE[(m+n+1) + n];
1695 if (Remainder)
1696 R = &SPACE[(m+n+1) + n + (m+n)];
1697 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001698 U = new unsigned[m + n + 1];
1699 V = new unsigned[n];
1700 Q = new unsigned[m+n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001701 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001702 R = new unsigned[n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001703 }
1704
1705 // Initialize the dividend
Chris Lattner77527f52009-01-21 18:09:24 +00001706 memset(U, 0, (m+n+1)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001707 for (unsigned i = 0; i < lhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001708 uint64_t tmp = (LHS.getNumWords() == 1 ? LHS.VAL : LHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001709 U[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001710 U[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001711 }
1712 U[m+n] = 0; // this extra word is for "spill" in the Knuth algorithm.
1713
Reid Spencer522ca7c2007-02-25 01:56:07 +00001714 // Initialize the divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001715 memset(V, 0, (n)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001716 for (unsigned i = 0; i < rhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001717 uint64_t tmp = (RHS.getNumWords() == 1 ? RHS.VAL : RHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001718 V[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001719 V[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001720 }
1721
Reid Spencer522ca7c2007-02-25 01:56:07 +00001722 // initialize the quotient and remainder
Chris Lattner77527f52009-01-21 18:09:24 +00001723 memset(Q, 0, (m+n) * sizeof(unsigned));
Reid Spencer522ca7c2007-02-25 01:56:07 +00001724 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001725 memset(R, 0, n * sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001726
Eric Christopher820256b2009-08-21 04:06:45 +00001727 // Now, adjust m and n for the Knuth division. n is the number of words in
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001728 // the divisor. m is the number of words by which the dividend exceeds the
Eric Christopher820256b2009-08-21 04:06:45 +00001729 // divisor (i.e. m+n is the length of the dividend). These sizes must not
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001730 // contain any zero words or the Knuth algorithm fails.
1731 for (unsigned i = n; i > 0 && V[i-1] == 0; i--) {
1732 n--;
1733 m++;
1734 }
1735 for (unsigned i = m+n; i > 0 && U[i-1] == 0; i--)
1736 m--;
1737
1738 // If we're left with only a single word for the divisor, Knuth doesn't work
1739 // so we implement the short division algorithm here. This is much simpler
1740 // and faster because we are certain that we can divide a 64-bit quantity
1741 // by a 32-bit quantity at hardware speed and short division is simply a
1742 // series of such operations. This is just like doing short division but we
1743 // are using base 2^32 instead of base 10.
1744 assert(n != 0 && "Divide by zero?");
1745 if (n == 1) {
Chris Lattner77527f52009-01-21 18:09:24 +00001746 unsigned divisor = V[0];
1747 unsigned remainder = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001748 for (int i = m+n-1; i >= 0; i--) {
1749 uint64_t partial_dividend = uint64_t(remainder) << 32 | U[i];
1750 if (partial_dividend == 0) {
1751 Q[i] = 0;
1752 remainder = 0;
1753 } else if (partial_dividend < divisor) {
1754 Q[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001755 remainder = (unsigned)partial_dividend;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001756 } else if (partial_dividend == divisor) {
1757 Q[i] = 1;
1758 remainder = 0;
1759 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001760 Q[i] = (unsigned)(partial_dividend / divisor);
1761 remainder = (unsigned)(partial_dividend - (Q[i] * divisor));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001762 }
1763 }
1764 if (R)
1765 R[0] = remainder;
1766 } else {
1767 // Now we're ready to invoke the Knuth classical divide algorithm. In this
1768 // case n > 1.
1769 KnuthDiv(U, V, Q, R, m, n);
1770 }
1771
1772 // If the caller wants the quotient
1773 if (Quotient) {
1774 // Set up the Quotient value's memory.
1775 if (Quotient->BitWidth != LHS.BitWidth) {
1776 if (Quotient->isSingleWord())
1777 Quotient->VAL = 0;
1778 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001779 delete [] Quotient->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001780 Quotient->BitWidth = LHS.BitWidth;
1781 if (!Quotient->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001782 Quotient->pVal = getClearedMemory(Quotient->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001783 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001784 Quotient->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001785
Eric Christopher820256b2009-08-21 04:06:45 +00001786 // The quotient is in Q. Reconstitute the quotient into Quotient's low
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001787 // order words.
1788 if (lhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001789 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001790 uint64_t(Q[0]) | (uint64_t(Q[1]) << (APINT_BITS_PER_WORD / 2));
1791 if (Quotient->isSingleWord())
1792 Quotient->VAL = tmp;
1793 else
1794 Quotient->pVal[0] = tmp;
1795 } else {
1796 assert(!Quotient->isSingleWord() && "Quotient APInt not large enough");
1797 for (unsigned i = 0; i < lhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001798 Quotient->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001799 uint64_t(Q[i*2]) | (uint64_t(Q[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1800 }
1801 }
1802
1803 // If the caller wants the remainder
1804 if (Remainder) {
1805 // Set up the Remainder value's memory.
1806 if (Remainder->BitWidth != RHS.BitWidth) {
1807 if (Remainder->isSingleWord())
1808 Remainder->VAL = 0;
1809 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001810 delete [] Remainder->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001811 Remainder->BitWidth = RHS.BitWidth;
1812 if (!Remainder->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001813 Remainder->pVal = getClearedMemory(Remainder->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001814 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001815 Remainder->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001816
1817 // The remainder is in R. Reconstitute the remainder into Remainder's low
1818 // order words.
1819 if (rhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001820 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001821 uint64_t(R[0]) | (uint64_t(R[1]) << (APINT_BITS_PER_WORD / 2));
1822 if (Remainder->isSingleWord())
1823 Remainder->VAL = tmp;
1824 else
1825 Remainder->pVal[0] = tmp;
1826 } else {
1827 assert(!Remainder->isSingleWord() && "Remainder APInt not large enough");
1828 for (unsigned i = 0; i < rhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001829 Remainder->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001830 uint64_t(R[i*2]) | (uint64_t(R[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1831 }
1832 }
1833
1834 // Clean up the memory we allocated.
Reid Spencer522ca7c2007-02-25 01:56:07 +00001835 if (U != &SPACE[0]) {
1836 delete [] U;
1837 delete [] V;
1838 delete [] Q;
1839 delete [] R;
1840 }
Reid Spencer100502d2007-02-17 03:16:00 +00001841}
1842
Reid Spencer1d072122007-02-16 22:36:51 +00001843APInt APInt::udiv(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001844 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001845
1846 // First, deal with the easy case
1847 if (isSingleWord()) {
1848 assert(RHS.VAL != 0 && "Divide by zero?");
1849 return APInt(BitWidth, VAL / RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001850 }
Reid Spencer39867762007-02-17 02:07:07 +00001851
Reid Spencer39867762007-02-17 02:07:07 +00001852 // Get some facts about the LHS and RHS number of bits and words
Chris Lattner77527f52009-01-21 18:09:24 +00001853 unsigned rhsBits = RHS.getActiveBits();
1854 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001855 assert(rhsWords && "Divided by zero???");
Chris Lattner77527f52009-01-21 18:09:24 +00001856 unsigned lhsBits = this->getActiveBits();
1857 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001858
1859 // Deal with some degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001860 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +00001861 // 0 / X ===> 0
Eric Christopher820256b2009-08-21 04:06:45 +00001862 return APInt(BitWidth, 0);
Reid Spencer58a6a432007-02-21 08:21:52 +00001863 else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001864 // X / Y ===> 0, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001865 return APInt(BitWidth, 0);
1866 } else if (*this == RHS) {
1867 // X / X ===> 1
1868 return APInt(BitWidth, 1);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001869 } else if (lhsWords == 1 && rhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001870 // All high words are zero, just use native divide
Reid Spencer58a6a432007-02-21 08:21:52 +00001871 return APInt(BitWidth, this->pVal[0] / RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001872 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001873
1874 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
1875 APInt Quotient(1,0); // to hold result.
Craig Topperc10719f2014-04-07 04:17:22 +00001876 divide(*this, lhsWords, RHS, rhsWords, &Quotient, nullptr);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001877 return Quotient;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001878}
1879
Jakub Staszak6605c602013-02-20 00:17:42 +00001880APInt APInt::sdiv(const APInt &RHS) const {
1881 if (isNegative()) {
1882 if (RHS.isNegative())
1883 return (-(*this)).udiv(-RHS);
1884 return -((-(*this)).udiv(RHS));
1885 }
1886 if (RHS.isNegative())
1887 return -(this->udiv(-RHS));
1888 return this->udiv(RHS);
1889}
1890
Reid Spencer1d072122007-02-16 22:36:51 +00001891APInt APInt::urem(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001892 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001893 if (isSingleWord()) {
1894 assert(RHS.VAL != 0 && "Remainder by zero?");
1895 return APInt(BitWidth, VAL % RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001896 }
Reid Spencer39867762007-02-17 02:07:07 +00001897
Reid Spencer58a6a432007-02-21 08:21:52 +00001898 // Get some facts about the LHS
Chris Lattner77527f52009-01-21 18:09:24 +00001899 unsigned lhsBits = getActiveBits();
1900 unsigned lhsWords = !lhsBits ? 0 : (whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001901
1902 // Get some facts about the RHS
Chris Lattner77527f52009-01-21 18:09:24 +00001903 unsigned rhsBits = RHS.getActiveBits();
1904 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001905 assert(rhsWords && "Performing remainder operation by zero ???");
1906
Reid Spencer39867762007-02-17 02:07:07 +00001907 // Check the degenerate cases
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001908 if (lhsWords == 0) {
Reid Spencer58a6a432007-02-21 08:21:52 +00001909 // 0 % Y ===> 0
1910 return APInt(BitWidth, 0);
1911 } else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001912 // X % Y ===> X, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001913 return *this;
1914 } else if (*this == RHS) {
Reid Spencer39867762007-02-17 02:07:07 +00001915 // X % X == 0;
Reid Spencer58a6a432007-02-21 08:21:52 +00001916 return APInt(BitWidth, 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001917 } else if (lhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001918 // All high words are zero, just use native remainder
Reid Spencer58a6a432007-02-21 08:21:52 +00001919 return APInt(BitWidth, pVal[0] % RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001920 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001921
Reid Spencer4c50b522007-05-13 23:44:59 +00001922 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001923 APInt Remainder(1,0);
Craig Topperc10719f2014-04-07 04:17:22 +00001924 divide(*this, lhsWords, RHS, rhsWords, nullptr, &Remainder);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001925 return Remainder;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001926}
Reid Spencer100502d2007-02-17 03:16:00 +00001927
Jakub Staszak6605c602013-02-20 00:17:42 +00001928APInt APInt::srem(const APInt &RHS) const {
1929 if (isNegative()) {
1930 if (RHS.isNegative())
1931 return -((-(*this)).urem(-RHS));
1932 return -((-(*this)).urem(RHS));
1933 }
1934 if (RHS.isNegative())
1935 return this->urem(-RHS);
1936 return this->urem(RHS);
1937}
1938
Eric Christopher820256b2009-08-21 04:06:45 +00001939void APInt::udivrem(const APInt &LHS, const APInt &RHS,
Reid Spencer4c50b522007-05-13 23:44:59 +00001940 APInt &Quotient, APInt &Remainder) {
1941 // Get some size facts about the dividend and divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001942 unsigned lhsBits = LHS.getActiveBits();
1943 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
1944 unsigned rhsBits = RHS.getActiveBits();
1945 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer4c50b522007-05-13 23:44:59 +00001946
1947 // Check the degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001948 if (lhsWords == 0) {
Reid Spencer4c50b522007-05-13 23:44:59 +00001949 Quotient = 0; // 0 / Y ===> 0
1950 Remainder = 0; // 0 % Y ===> 0
1951 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001952 }
1953
1954 if (lhsWords < rhsWords || LHS.ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001955 Remainder = LHS; // X % Y ===> X, iff X < Y
1956 Quotient = 0; // X / Y ===> 0, iff X < Y
Reid Spencer4c50b522007-05-13 23:44:59 +00001957 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001958 }
1959
Reid Spencer4c50b522007-05-13 23:44:59 +00001960 if (LHS == RHS) {
1961 Quotient = 1; // X / X ===> 1
1962 Remainder = 0; // X % X ===> 0;
1963 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001964 }
1965
Reid Spencer4c50b522007-05-13 23:44:59 +00001966 if (lhsWords == 1 && rhsWords == 1) {
1967 // There is only one word to consider so use the native versions.
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001968 uint64_t lhsValue = LHS.isSingleWord() ? LHS.VAL : LHS.pVal[0];
1969 uint64_t rhsValue = RHS.isSingleWord() ? RHS.VAL : RHS.pVal[0];
1970 Quotient = APInt(LHS.getBitWidth(), lhsValue / rhsValue);
1971 Remainder = APInt(LHS.getBitWidth(), lhsValue % rhsValue);
Reid Spencer4c50b522007-05-13 23:44:59 +00001972 return;
1973 }
1974
1975 // Okay, lets do it the long way
1976 divide(LHS, lhsWords, RHS, rhsWords, &Quotient, &Remainder);
1977}
1978
Jakub Staszak6605c602013-02-20 00:17:42 +00001979void APInt::sdivrem(const APInt &LHS, const APInt &RHS,
1980 APInt &Quotient, APInt &Remainder) {
1981 if (LHS.isNegative()) {
1982 if (RHS.isNegative())
1983 APInt::udivrem(-LHS, -RHS, Quotient, Remainder);
1984 else {
1985 APInt::udivrem(-LHS, RHS, Quotient, Remainder);
1986 Quotient = -Quotient;
1987 }
1988 Remainder = -Remainder;
1989 } else if (RHS.isNegative()) {
1990 APInt::udivrem(LHS, -RHS, Quotient, Remainder);
1991 Quotient = -Quotient;
1992 } else {
1993 APInt::udivrem(LHS, RHS, Quotient, Remainder);
1994 }
1995}
1996
Chris Lattner2c819b02010-10-13 23:54:10 +00001997APInt APInt::sadd_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001998 APInt Res = *this+RHS;
1999 Overflow = isNonNegative() == RHS.isNonNegative() &&
2000 Res.isNonNegative() != isNonNegative();
2001 return Res;
2002}
2003
Chris Lattner698661c2010-10-14 00:05:07 +00002004APInt APInt::uadd_ov(const APInt &RHS, bool &Overflow) const {
2005 APInt Res = *this+RHS;
2006 Overflow = Res.ult(RHS);
2007 return Res;
2008}
2009
Chris Lattner2c819b02010-10-13 23:54:10 +00002010APInt APInt::ssub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002011 APInt Res = *this - RHS;
2012 Overflow = isNonNegative() != RHS.isNonNegative() &&
2013 Res.isNonNegative() != isNonNegative();
2014 return Res;
2015}
2016
Chris Lattner698661c2010-10-14 00:05:07 +00002017APInt APInt::usub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattnerb9681ad2010-10-14 00:30:00 +00002018 APInt Res = *this-RHS;
2019 Overflow = Res.ugt(*this);
Chris Lattner698661c2010-10-14 00:05:07 +00002020 return Res;
2021}
2022
Chris Lattner2c819b02010-10-13 23:54:10 +00002023APInt APInt::sdiv_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002024 // MININT/-1 --> overflow.
2025 Overflow = isMinSignedValue() && RHS.isAllOnesValue();
2026 return sdiv(RHS);
2027}
2028
Chris Lattner2c819b02010-10-13 23:54:10 +00002029APInt APInt::smul_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002030 APInt Res = *this * RHS;
2031
2032 if (*this != 0 && RHS != 0)
2033 Overflow = Res.sdiv(RHS) != *this || Res.sdiv(*this) != RHS;
2034 else
2035 Overflow = false;
2036 return Res;
2037}
2038
Frits van Bommel0bb2ad22011-03-27 14:26:13 +00002039APInt APInt::umul_ov(const APInt &RHS, bool &Overflow) const {
2040 APInt Res = *this * RHS;
2041
2042 if (*this != 0 && RHS != 0)
2043 Overflow = Res.udiv(RHS) != *this || Res.udiv(*this) != RHS;
2044 else
2045 Overflow = false;
2046 return Res;
2047}
2048
Chris Lattner2c819b02010-10-13 23:54:10 +00002049APInt APInt::sshl_ov(unsigned ShAmt, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002050 Overflow = ShAmt >= getBitWidth();
2051 if (Overflow)
2052 ShAmt = getBitWidth()-1;
2053
2054 if (isNonNegative()) // Don't allow sign change.
2055 Overflow = ShAmt >= countLeadingZeros();
2056 else
2057 Overflow = ShAmt >= countLeadingOnes();
2058
2059 return *this << ShAmt;
2060}
2061
2062
2063
2064
Benjamin Kramer92d89982010-07-14 22:38:02 +00002065void APInt::fromString(unsigned numbits, StringRef str, uint8_t radix) {
Reid Spencer1ba83352007-02-21 03:55:44 +00002066 // Check our assumptions here
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002067 assert(!str.empty() && "Invalid string length");
Douglas Gregor663c0682011-09-14 15:54:46 +00002068 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
2069 radix == 36) &&
2070 "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002071
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002072 StringRef::iterator p = str.begin();
2073 size_t slen = str.size();
2074 bool isNeg = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002075 if (*p == '-' || *p == '+') {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002076 p++;
2077 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +00002078 assert(slen && "String is only a sign, needs a value.");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002079 }
Chris Lattnerdad2d092007-05-03 18:15:36 +00002080 assert((slen <= numbits || radix != 2) && "Insufficient bit width");
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002081 assert(((slen-1)*3 <= numbits || radix != 8) && "Insufficient bit width");
2082 assert(((slen-1)*4 <= numbits || radix != 16) && "Insufficient bit width");
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002083 assert((((slen-1)*64)/22 <= numbits || radix != 10) &&
2084 "Insufficient bit width");
Reid Spencer1ba83352007-02-21 03:55:44 +00002085
2086 // Allocate memory
2087 if (!isSingleWord())
2088 pVal = getClearedMemory(getNumWords());
2089
2090 // Figure out if we can shift instead of multiply
Chris Lattner77527f52009-01-21 18:09:24 +00002091 unsigned shift = (radix == 16 ? 4 : radix == 8 ? 3 : radix == 2 ? 1 : 0);
Reid Spencer1ba83352007-02-21 03:55:44 +00002092
2093 // Set up an APInt for the digit to add outside the loop so we don't
2094 // constantly construct/destruct it.
2095 APInt apdigit(getBitWidth(), 0);
2096 APInt apradix(getBitWidth(), radix);
2097
2098 // Enter digit traversal loop
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002099 for (StringRef::iterator e = str.end(); p != e; ++p) {
Erick Tryzelaardadb15712009-08-21 03:15:28 +00002100 unsigned digit = getDigit(*p, radix);
Erick Tryzelaar60964092009-08-21 06:48:37 +00002101 assert(digit < radix && "Invalid character in digit string");
Reid Spencer1ba83352007-02-21 03:55:44 +00002102
Reid Spencera93c9812007-05-16 19:18:22 +00002103 // Shift or multiply the value by the radix
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002104 if (slen > 1) {
2105 if (shift)
2106 *this <<= shift;
2107 else
2108 *this *= apradix;
2109 }
Reid Spencer1ba83352007-02-21 03:55:44 +00002110
2111 // Add in the digit we just interpreted
Reid Spencer632ebdf2007-02-24 20:19:37 +00002112 if (apdigit.isSingleWord())
2113 apdigit.VAL = digit;
2114 else
2115 apdigit.pVal[0] = digit;
Reid Spencer1ba83352007-02-21 03:55:44 +00002116 *this += apdigit;
Reid Spencer100502d2007-02-17 03:16:00 +00002117 }
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002118 // If its negative, put it in two's complement form
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00002119 if (isNeg) {
Jakub Staszak773be0c2013-03-20 23:56:19 +00002120 --(*this);
Jay Foad25a5e4c2010-12-01 08:53:58 +00002121 this->flipAllBits();
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002122 }
Reid Spencer100502d2007-02-17 03:16:00 +00002123}
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002124
Chris Lattner17f71652008-08-17 07:19:36 +00002125void APInt::toString(SmallVectorImpl<char> &Str, unsigned Radix,
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002126 bool Signed, bool formatAsCLiteral) const {
Douglas Gregor663c0682011-09-14 15:54:46 +00002127 assert((Radix == 10 || Radix == 8 || Radix == 16 || Radix == 2 ||
2128 Radix == 36) &&
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002129 "Radix should be 2, 8, 10, 16, or 36!");
Eric Christopher820256b2009-08-21 04:06:45 +00002130
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002131 const char *Prefix = "";
2132 if (formatAsCLiteral) {
2133 switch (Radix) {
2134 case 2:
2135 // Binary literals are a non-standard extension added in gcc 4.3:
2136 // http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Binary-constants.html
2137 Prefix = "0b";
2138 break;
2139 case 8:
2140 Prefix = "0";
2141 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002142 case 10:
2143 break; // No prefix
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002144 case 16:
2145 Prefix = "0x";
2146 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002147 default:
2148 llvm_unreachable("Invalid radix!");
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002149 }
2150 }
2151
Chris Lattner17f71652008-08-17 07:19:36 +00002152 // First, check for a zero value and just short circuit the logic below.
2153 if (*this == 0) {
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002154 while (*Prefix) {
2155 Str.push_back(*Prefix);
2156 ++Prefix;
2157 };
Chris Lattner17f71652008-08-17 07:19:36 +00002158 Str.push_back('0');
2159 return;
2160 }
Eric Christopher820256b2009-08-21 04:06:45 +00002161
Douglas Gregor663c0682011-09-14 15:54:46 +00002162 static const char Digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
Eric Christopher820256b2009-08-21 04:06:45 +00002163
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002164 if (isSingleWord()) {
Chris Lattner17f71652008-08-17 07:19:36 +00002165 char Buffer[65];
2166 char *BufPtr = Buffer+65;
Eric Christopher820256b2009-08-21 04:06:45 +00002167
Chris Lattner17f71652008-08-17 07:19:36 +00002168 uint64_t N;
Chris Lattnerb91c9032010-08-18 00:33:47 +00002169 if (!Signed) {
Chris Lattner17f71652008-08-17 07:19:36 +00002170 N = getZExtValue();
Chris Lattnerb91c9032010-08-18 00:33:47 +00002171 } else {
2172 int64_t I = getSExtValue();
2173 if (I >= 0) {
2174 N = I;
2175 } else {
2176 Str.push_back('-');
2177 N = -(uint64_t)I;
2178 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002179 }
Eric Christopher820256b2009-08-21 04:06:45 +00002180
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002181 while (*Prefix) {
2182 Str.push_back(*Prefix);
2183 ++Prefix;
2184 };
2185
Chris Lattner17f71652008-08-17 07:19:36 +00002186 while (N) {
2187 *--BufPtr = Digits[N % Radix];
2188 N /= Radix;
2189 }
2190 Str.append(BufPtr, Buffer+65);
2191 return;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002192 }
2193
Chris Lattner17f71652008-08-17 07:19:36 +00002194 APInt Tmp(*this);
Eric Christopher820256b2009-08-21 04:06:45 +00002195
Chris Lattner17f71652008-08-17 07:19:36 +00002196 if (Signed && isNegative()) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002197 // They want to print the signed version and it is a negative value
2198 // Flip the bits and add one to turn it into the equivalent positive
2199 // value and put a '-' in the result.
Jay Foad25a5e4c2010-12-01 08:53:58 +00002200 Tmp.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +00002201 ++Tmp;
Chris Lattner17f71652008-08-17 07:19:36 +00002202 Str.push_back('-');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002203 }
Eric Christopher820256b2009-08-21 04:06:45 +00002204
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002205 while (*Prefix) {
2206 Str.push_back(*Prefix);
2207 ++Prefix;
2208 };
2209
Chris Lattner17f71652008-08-17 07:19:36 +00002210 // We insert the digits backward, then reverse them to get the right order.
2211 unsigned StartDig = Str.size();
Eric Christopher820256b2009-08-21 04:06:45 +00002212
2213 // For the 2, 8 and 16 bit cases, we can just shift instead of divide
2214 // because the number of bits per digit (1, 3 and 4 respectively) divides
Chris Lattner17f71652008-08-17 07:19:36 +00002215 // equaly. We just shift until the value is zero.
Douglas Gregor663c0682011-09-14 15:54:46 +00002216 if (Radix == 2 || Radix == 8 || Radix == 16) {
Chris Lattner17f71652008-08-17 07:19:36 +00002217 // Just shift tmp right for each digit width until it becomes zero
2218 unsigned ShiftAmt = (Radix == 16 ? 4 : (Radix == 8 ? 3 : 1));
2219 unsigned MaskAmt = Radix - 1;
Eric Christopher820256b2009-08-21 04:06:45 +00002220
Chris Lattner17f71652008-08-17 07:19:36 +00002221 while (Tmp != 0) {
2222 unsigned Digit = unsigned(Tmp.getRawData()[0]) & MaskAmt;
2223 Str.push_back(Digits[Digit]);
2224 Tmp = Tmp.lshr(ShiftAmt);
2225 }
2226 } else {
Douglas Gregor663c0682011-09-14 15:54:46 +00002227 APInt divisor(Radix == 10? 4 : 8, Radix);
Chris Lattner17f71652008-08-17 07:19:36 +00002228 while (Tmp != 0) {
2229 APInt APdigit(1, 0);
2230 APInt tmp2(Tmp.getBitWidth(), 0);
Eric Christopher820256b2009-08-21 04:06:45 +00002231 divide(Tmp, Tmp.getNumWords(), divisor, divisor.getNumWords(), &tmp2,
Chris Lattner17f71652008-08-17 07:19:36 +00002232 &APdigit);
Chris Lattner77527f52009-01-21 18:09:24 +00002233 unsigned Digit = (unsigned)APdigit.getZExtValue();
Chris Lattner17f71652008-08-17 07:19:36 +00002234 assert(Digit < Radix && "divide failed");
2235 Str.push_back(Digits[Digit]);
2236 Tmp = tmp2;
2237 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002238 }
Eric Christopher820256b2009-08-21 04:06:45 +00002239
Chris Lattner17f71652008-08-17 07:19:36 +00002240 // Reverse the digits before returning.
2241 std::reverse(Str.begin()+StartDig, Str.end());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002242}
2243
Chris Lattner17f71652008-08-17 07:19:36 +00002244/// toString - This returns the APInt as a std::string. Note that this is an
2245/// inefficient method. It is better to pass in a SmallVector/SmallString
2246/// to the methods above.
2247std::string APInt::toString(unsigned Radix = 10, bool Signed = true) const {
2248 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002249 toString(S, Radix, Signed, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00002250 return S.str();
Reid Spencer1ba83352007-02-21 03:55:44 +00002251}
Chris Lattner6b695682007-08-16 15:56:55 +00002252
Chris Lattner17f71652008-08-17 07:19:36 +00002253
2254void APInt::dump() const {
2255 SmallString<40> S, U;
2256 this->toStringUnsigned(U);
2257 this->toStringSigned(S);
David Greenef32fcb42010-01-05 01:28:52 +00002258 dbgs() << "APInt(" << BitWidth << "b, "
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00002259 << U.str() << "u " << S.str() << "s)";
Chris Lattner17f71652008-08-17 07:19:36 +00002260}
2261
Chris Lattner0c19df42008-08-23 22:23:09 +00002262void APInt::print(raw_ostream &OS, bool isSigned) const {
Chris Lattner17f71652008-08-17 07:19:36 +00002263 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002264 this->toString(S, 10, isSigned, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00002265 OS << S.str();
Chris Lattner17f71652008-08-17 07:19:36 +00002266}
2267
Chris Lattner6b695682007-08-16 15:56:55 +00002268// This implements a variety of operations on a representation of
2269// arbitrary precision, two's-complement, bignum integer values.
2270
Chris Lattner96cffa62009-08-23 23:11:28 +00002271// Assumed by lowHalf, highHalf, partMSB and partLSB. A fairly safe
2272// and unrestricting assumption.
Chris Lattner8fcea672008-08-17 04:58:58 +00002273#define COMPILE_TIME_ASSERT(cond) extern int CTAssert[(cond) ? 1 : -1]
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002274COMPILE_TIME_ASSERT(integerPartWidth % 2 == 0);
Chris Lattner6b695682007-08-16 15:56:55 +00002275
2276/* Some handy functions local to this file. */
2277namespace {
2278
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002279 /* Returns the integer part with the least significant BITS set.
2280 BITS cannot be zero. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002281 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002282 lowBitMask(unsigned int bits)
2283 {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002284 assert(bits != 0 && bits <= integerPartWidth);
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002285
2286 return ~(integerPart) 0 >> (integerPartWidth - bits);
2287 }
2288
Neil Boothc8b650a2007-10-06 00:43:45 +00002289 /* Returns the value of the lower half of PART. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002290 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002291 lowHalf(integerPart part)
2292 {
2293 return part & lowBitMask(integerPartWidth / 2);
2294 }
2295
Neil Boothc8b650a2007-10-06 00:43:45 +00002296 /* Returns the value of the upper half of PART. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002297 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002298 highHalf(integerPart part)
2299 {
2300 return part >> (integerPartWidth / 2);
2301 }
2302
Neil Boothc8b650a2007-10-06 00:43:45 +00002303 /* Returns the bit number of the most significant set bit of a part.
2304 If the input number has no bits set -1U is returned. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002305 static unsigned int
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002306 partMSB(integerPart value)
Chris Lattner6b695682007-08-16 15:56:55 +00002307 {
Benjamin Kramerb565f892013-06-01 11:26:39 +00002308 return findLastSet(value, ZB_Max);
Chris Lattner6b695682007-08-16 15:56:55 +00002309 }
2310
Neil Boothc8b650a2007-10-06 00:43:45 +00002311 /* Returns the bit number of the least significant set bit of a
2312 part. If the input number has no bits set -1U is returned. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002313 static unsigned int
Chris Lattner6b695682007-08-16 15:56:55 +00002314 partLSB(integerPart value)
2315 {
Benjamin Kramerb565f892013-06-01 11:26:39 +00002316 return findFirstSet(value, ZB_Max);
Chris Lattner6b695682007-08-16 15:56:55 +00002317 }
2318}
2319
2320/* Sets the least significant part of a bignum to the input value, and
2321 zeroes out higher parts. */
2322void
2323APInt::tcSet(integerPart *dst, integerPart part, unsigned int parts)
2324{
2325 unsigned int i;
2326
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002327 assert(parts > 0);
Neil Boothb6182162007-10-08 13:47:12 +00002328
Chris Lattner6b695682007-08-16 15:56:55 +00002329 dst[0] = part;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002330 for (i = 1; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002331 dst[i] = 0;
2332}
2333
2334/* Assign one bignum to another. */
2335void
2336APInt::tcAssign(integerPart *dst, const integerPart *src, unsigned int parts)
2337{
2338 unsigned int i;
2339
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002340 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002341 dst[i] = src[i];
2342}
2343
2344/* Returns true if a bignum is zero, false otherwise. */
2345bool
2346APInt::tcIsZero(const integerPart *src, unsigned int parts)
2347{
2348 unsigned int i;
2349
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002350 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002351 if (src[i])
2352 return false;
2353
2354 return true;
2355}
2356
2357/* Extract the given bit of a bignum; returns 0 or 1. */
2358int
2359APInt::tcExtractBit(const integerPart *parts, unsigned int bit)
2360{
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002361 return (parts[bit / integerPartWidth] &
2362 ((integerPart) 1 << bit % integerPartWidth)) != 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002363}
2364
John McCalldcb9a7a2010-02-28 02:51:25 +00002365/* Set the given bit of a bignum. */
Chris Lattner6b695682007-08-16 15:56:55 +00002366void
2367APInt::tcSetBit(integerPart *parts, unsigned int bit)
2368{
2369 parts[bit / integerPartWidth] |= (integerPart) 1 << (bit % integerPartWidth);
2370}
2371
John McCalldcb9a7a2010-02-28 02:51:25 +00002372/* Clears the given bit of a bignum. */
2373void
2374APInt::tcClearBit(integerPart *parts, unsigned int bit)
2375{
2376 parts[bit / integerPartWidth] &=
2377 ~((integerPart) 1 << (bit % integerPartWidth));
2378}
2379
Neil Boothc8b650a2007-10-06 00:43:45 +00002380/* Returns the bit number of the least significant set bit of a
2381 number. If the input number has no bits set -1U is returned. */
Chris Lattner6b695682007-08-16 15:56:55 +00002382unsigned int
2383APInt::tcLSB(const integerPart *parts, unsigned int n)
2384{
2385 unsigned int i, lsb;
2386
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002387 for (i = 0; i < n; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002388 if (parts[i] != 0) {
2389 lsb = partLSB(parts[i]);
2390
2391 return lsb + i * integerPartWidth;
2392 }
2393 }
2394
2395 return -1U;
2396}
2397
Neil Boothc8b650a2007-10-06 00:43:45 +00002398/* Returns the bit number of the most significant set bit of a number.
2399 If the input number has no bits set -1U is returned. */
Chris Lattner6b695682007-08-16 15:56:55 +00002400unsigned int
2401APInt::tcMSB(const integerPart *parts, unsigned int n)
2402{
2403 unsigned int msb;
2404
2405 do {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002406 --n;
Chris Lattner6b695682007-08-16 15:56:55 +00002407
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002408 if (parts[n] != 0) {
2409 msb = partMSB(parts[n]);
Chris Lattner6b695682007-08-16 15:56:55 +00002410
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002411 return msb + n * integerPartWidth;
2412 }
Chris Lattner6b695682007-08-16 15:56:55 +00002413 } while (n);
2414
2415 return -1U;
2416}
2417
Neil Boothb6182162007-10-08 13:47:12 +00002418/* Copy the bit vector of width srcBITS from SRC, starting at bit
2419 srcLSB, to DST, of dstCOUNT parts, such that the bit srcLSB becomes
2420 the least significant bit of DST. All high bits above srcBITS in
2421 DST are zero-filled. */
2422void
Evan Chengdb338f32009-05-21 23:47:47 +00002423APInt::tcExtract(integerPart *dst, unsigned int dstCount,const integerPart *src,
Neil Boothb6182162007-10-08 13:47:12 +00002424 unsigned int srcBits, unsigned int srcLSB)
2425{
2426 unsigned int firstSrcPart, dstParts, shift, n;
2427
2428 dstParts = (srcBits + integerPartWidth - 1) / integerPartWidth;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002429 assert(dstParts <= dstCount);
Neil Boothb6182162007-10-08 13:47:12 +00002430
2431 firstSrcPart = srcLSB / integerPartWidth;
2432 tcAssign (dst, src + firstSrcPart, dstParts);
2433
2434 shift = srcLSB % integerPartWidth;
2435 tcShiftRight (dst, dstParts, shift);
2436
2437 /* We now have (dstParts * integerPartWidth - shift) bits from SRC
2438 in DST. If this is less that srcBits, append the rest, else
2439 clear the high bits. */
2440 n = dstParts * integerPartWidth - shift;
2441 if (n < srcBits) {
2442 integerPart mask = lowBitMask (srcBits - n);
2443 dst[dstParts - 1] |= ((src[firstSrcPart + dstParts] & mask)
2444 << n % integerPartWidth);
2445 } else if (n > srcBits) {
Neil Booth7e74b172007-10-12 15:31:31 +00002446 if (srcBits % integerPartWidth)
2447 dst[dstParts - 1] &= lowBitMask (srcBits % integerPartWidth);
Neil Boothb6182162007-10-08 13:47:12 +00002448 }
2449
2450 /* Clear high parts. */
2451 while (dstParts < dstCount)
2452 dst[dstParts++] = 0;
2453}
2454
Chris Lattner6b695682007-08-16 15:56:55 +00002455/* DST += RHS + C where C is zero or one. Returns the carry flag. */
2456integerPart
2457APInt::tcAdd(integerPart *dst, const integerPart *rhs,
2458 integerPart c, unsigned int parts)
2459{
2460 unsigned int i;
2461
2462 assert(c <= 1);
2463
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002464 for (i = 0; i < parts; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002465 integerPart l;
2466
2467 l = dst[i];
2468 if (c) {
2469 dst[i] += rhs[i] + 1;
2470 c = (dst[i] <= l);
2471 } else {
2472 dst[i] += rhs[i];
2473 c = (dst[i] < l);
2474 }
2475 }
2476
2477 return c;
2478}
2479
2480/* DST -= RHS + C where C is zero or one. Returns the carry flag. */
2481integerPart
2482APInt::tcSubtract(integerPart *dst, const integerPart *rhs,
2483 integerPart c, unsigned int parts)
2484{
2485 unsigned int i;
2486
2487 assert(c <= 1);
2488
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002489 for (i = 0; i < parts; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002490 integerPart l;
2491
2492 l = dst[i];
2493 if (c) {
2494 dst[i] -= rhs[i] + 1;
2495 c = (dst[i] >= l);
2496 } else {
2497 dst[i] -= rhs[i];
2498 c = (dst[i] > l);
2499 }
2500 }
2501
2502 return c;
2503}
2504
2505/* Negate a bignum in-place. */
2506void
2507APInt::tcNegate(integerPart *dst, unsigned int parts)
2508{
2509 tcComplement(dst, parts);
2510 tcIncrement(dst, parts);
2511}
2512
Neil Boothc8b650a2007-10-06 00:43:45 +00002513/* DST += SRC * MULTIPLIER + CARRY if add is true
2514 DST = SRC * MULTIPLIER + CARRY if add is false
Chris Lattner6b695682007-08-16 15:56:55 +00002515
2516 Requires 0 <= DSTPARTS <= SRCPARTS + 1. If DST overlaps SRC
2517 they must start at the same point, i.e. DST == SRC.
2518
2519 If DSTPARTS == SRCPARTS + 1 no overflow occurs and zero is
2520 returned. Otherwise DST is filled with the least significant
2521 DSTPARTS parts of the result, and if all of the omitted higher
2522 parts were zero return zero, otherwise overflow occurred and
2523 return one. */
2524int
2525APInt::tcMultiplyPart(integerPart *dst, const integerPart *src,
2526 integerPart multiplier, integerPart carry,
2527 unsigned int srcParts, unsigned int dstParts,
2528 bool add)
2529{
2530 unsigned int i, n;
2531
2532 /* Otherwise our writes of DST kill our later reads of SRC. */
2533 assert(dst <= src || dst >= src + srcParts);
2534 assert(dstParts <= srcParts + 1);
2535
2536 /* N loops; minimum of dstParts and srcParts. */
2537 n = dstParts < srcParts ? dstParts: srcParts;
2538
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002539 for (i = 0; i < n; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002540 integerPart low, mid, high, srcPart;
2541
2542 /* [ LOW, HIGH ] = MULTIPLIER * SRC[i] + DST[i] + CARRY.
2543
2544 This cannot overflow, because
2545
2546 (n - 1) * (n - 1) + 2 (n - 1) = (n - 1) * (n + 1)
2547
2548 which is less than n^2. */
2549
2550 srcPart = src[i];
2551
2552 if (multiplier == 0 || srcPart == 0) {
2553 low = carry;
2554 high = 0;
2555 } else {
2556 low = lowHalf(srcPart) * lowHalf(multiplier);
2557 high = highHalf(srcPart) * highHalf(multiplier);
2558
2559 mid = lowHalf(srcPart) * highHalf(multiplier);
2560 high += highHalf(mid);
2561 mid <<= integerPartWidth / 2;
2562 if (low + mid < low)
2563 high++;
2564 low += mid;
2565
2566 mid = highHalf(srcPart) * lowHalf(multiplier);
2567 high += highHalf(mid);
2568 mid <<= integerPartWidth / 2;
2569 if (low + mid < low)
2570 high++;
2571 low += mid;
2572
2573 /* Now add carry. */
2574 if (low + carry < low)
2575 high++;
2576 low += carry;
2577 }
2578
2579 if (add) {
2580 /* And now DST[i], and store the new low part there. */
2581 if (low + dst[i] < low)
2582 high++;
2583 dst[i] += low;
2584 } else
2585 dst[i] = low;
2586
2587 carry = high;
2588 }
2589
2590 if (i < dstParts) {
2591 /* Full multiplication, there is no overflow. */
2592 assert(i + 1 == dstParts);
2593 dst[i] = carry;
2594 return 0;
2595 } else {
2596 /* We overflowed if there is carry. */
2597 if (carry)
2598 return 1;
2599
2600 /* We would overflow if any significant unwritten parts would be
2601 non-zero. This is true if any remaining src parts are non-zero
2602 and the multiplier is non-zero. */
2603 if (multiplier)
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002604 for (; i < srcParts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002605 if (src[i])
2606 return 1;
2607
2608 /* We fitted in the narrow destination. */
2609 return 0;
2610 }
2611}
2612
2613/* DST = LHS * RHS, where DST has the same width as the operands and
2614 is filled with the least significant parts of the result. Returns
2615 one if overflow occurred, otherwise zero. DST must be disjoint
2616 from both operands. */
2617int
2618APInt::tcMultiply(integerPart *dst, const integerPart *lhs,
2619 const integerPart *rhs, unsigned int parts)
2620{
2621 unsigned int i;
2622 int overflow;
2623
2624 assert(dst != lhs && dst != rhs);
2625
2626 overflow = 0;
2627 tcSet(dst, 0, parts);
2628
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002629 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002630 overflow |= tcMultiplyPart(&dst[i], lhs, rhs[i], 0, parts,
2631 parts - i, true);
2632
2633 return overflow;
2634}
2635
Neil Booth0ea72a92007-10-06 00:24:48 +00002636/* DST = LHS * RHS, where DST has width the sum of the widths of the
2637 operands. No overflow occurs. DST must be disjoint from both
2638 operands. Returns the number of parts required to hold the
2639 result. */
2640unsigned int
Chris Lattner6b695682007-08-16 15:56:55 +00002641APInt::tcFullMultiply(integerPart *dst, const integerPart *lhs,
Neil Booth0ea72a92007-10-06 00:24:48 +00002642 const integerPart *rhs, unsigned int lhsParts,
2643 unsigned int rhsParts)
Chris Lattner6b695682007-08-16 15:56:55 +00002644{
Neil Booth0ea72a92007-10-06 00:24:48 +00002645 /* Put the narrower number on the LHS for less loops below. */
2646 if (lhsParts > rhsParts) {
2647 return tcFullMultiply (dst, rhs, lhs, rhsParts, lhsParts);
2648 } else {
2649 unsigned int n;
Chris Lattner6b695682007-08-16 15:56:55 +00002650
Neil Booth0ea72a92007-10-06 00:24:48 +00002651 assert(dst != lhs && dst != rhs);
Chris Lattner6b695682007-08-16 15:56:55 +00002652
Neil Booth0ea72a92007-10-06 00:24:48 +00002653 tcSet(dst, 0, rhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002654
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002655 for (n = 0; n < lhsParts; n++)
Neil Booth0ea72a92007-10-06 00:24:48 +00002656 tcMultiplyPart(&dst[n], rhs, lhs[n], 0, rhsParts, rhsParts + 1, true);
Chris Lattner6b695682007-08-16 15:56:55 +00002657
Neil Booth0ea72a92007-10-06 00:24:48 +00002658 n = lhsParts + rhsParts;
2659
2660 return n - (dst[n - 1] == 0);
2661 }
Chris Lattner6b695682007-08-16 15:56:55 +00002662}
2663
2664/* If RHS is zero LHS and REMAINDER are left unchanged, return one.
2665 Otherwise set LHS to LHS / RHS with the fractional part discarded,
2666 set REMAINDER to the remainder, return zero. i.e.
2667
2668 OLD_LHS = RHS * LHS + REMAINDER
2669
2670 SCRATCH is a bignum of the same size as the operands and result for
2671 use by the routine; its contents need not be initialized and are
2672 destroyed. LHS, REMAINDER and SCRATCH must be distinct.
2673*/
2674int
2675APInt::tcDivide(integerPart *lhs, const integerPart *rhs,
2676 integerPart *remainder, integerPart *srhs,
2677 unsigned int parts)
2678{
2679 unsigned int n, shiftCount;
2680 integerPart mask;
2681
2682 assert(lhs != remainder && lhs != srhs && remainder != srhs);
2683
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002684 shiftCount = tcMSB(rhs, parts) + 1;
2685 if (shiftCount == 0)
Chris Lattner6b695682007-08-16 15:56:55 +00002686 return true;
2687
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002688 shiftCount = parts * integerPartWidth - shiftCount;
Chris Lattner6b695682007-08-16 15:56:55 +00002689 n = shiftCount / integerPartWidth;
2690 mask = (integerPart) 1 << (shiftCount % integerPartWidth);
2691
2692 tcAssign(srhs, rhs, parts);
2693 tcShiftLeft(srhs, parts, shiftCount);
2694 tcAssign(remainder, lhs, parts);
2695 tcSet(lhs, 0, parts);
2696
2697 /* Loop, subtracting SRHS if REMAINDER is greater and adding that to
2698 the total. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002699 for (;;) {
Chris Lattner6b695682007-08-16 15:56:55 +00002700 int compare;
2701
2702 compare = tcCompare(remainder, srhs, parts);
2703 if (compare >= 0) {
2704 tcSubtract(remainder, srhs, 0, parts);
2705 lhs[n] |= mask;
2706 }
2707
2708 if (shiftCount == 0)
2709 break;
2710 shiftCount--;
2711 tcShiftRight(srhs, parts, 1);
2712 if ((mask >>= 1) == 0)
2713 mask = (integerPart) 1 << (integerPartWidth - 1), n--;
2714 }
2715
2716 return false;
2717}
2718
2719/* Shift a bignum left COUNT bits in-place. Shifted in bits are zero.
2720 There are no restrictions on COUNT. */
2721void
2722APInt::tcShiftLeft(integerPart *dst, unsigned int parts, unsigned int count)
2723{
Neil Boothb6182162007-10-08 13:47:12 +00002724 if (count) {
2725 unsigned int jump, shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002726
Neil Boothb6182162007-10-08 13:47:12 +00002727 /* Jump is the inter-part jump; shift is is intra-part shift. */
2728 jump = count / integerPartWidth;
2729 shift = count % integerPartWidth;
Chris Lattner6b695682007-08-16 15:56:55 +00002730
Neil Boothb6182162007-10-08 13:47:12 +00002731 while (parts > jump) {
2732 integerPart part;
Chris Lattner6b695682007-08-16 15:56:55 +00002733
Neil Boothb6182162007-10-08 13:47:12 +00002734 parts--;
Chris Lattner6b695682007-08-16 15:56:55 +00002735
Neil Boothb6182162007-10-08 13:47:12 +00002736 /* dst[i] comes from the two parts src[i - jump] and, if we have
2737 an intra-part shift, src[i - jump - 1]. */
2738 part = dst[parts - jump];
2739 if (shift) {
2740 part <<= shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002741 if (parts >= jump + 1)
2742 part |= dst[parts - jump - 1] >> (integerPartWidth - shift);
2743 }
2744
Neil Boothb6182162007-10-08 13:47:12 +00002745 dst[parts] = part;
2746 }
Chris Lattner6b695682007-08-16 15:56:55 +00002747
Neil Boothb6182162007-10-08 13:47:12 +00002748 while (parts > 0)
2749 dst[--parts] = 0;
2750 }
Chris Lattner6b695682007-08-16 15:56:55 +00002751}
2752
2753/* Shift a bignum right COUNT bits in-place. Shifted in bits are
2754 zero. There are no restrictions on COUNT. */
2755void
2756APInt::tcShiftRight(integerPart *dst, unsigned int parts, unsigned int count)
2757{
Neil Boothb6182162007-10-08 13:47:12 +00002758 if (count) {
2759 unsigned int i, jump, shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002760
Neil Boothb6182162007-10-08 13:47:12 +00002761 /* Jump is the inter-part jump; shift is is intra-part shift. */
2762 jump = count / integerPartWidth;
2763 shift = count % integerPartWidth;
Chris Lattner6b695682007-08-16 15:56:55 +00002764
Neil Boothb6182162007-10-08 13:47:12 +00002765 /* Perform the shift. This leaves the most significant COUNT bits
2766 of the result at zero. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002767 for (i = 0; i < parts; i++) {
Neil Boothb6182162007-10-08 13:47:12 +00002768 integerPart part;
Chris Lattner6b695682007-08-16 15:56:55 +00002769
Neil Boothb6182162007-10-08 13:47:12 +00002770 if (i + jump >= parts) {
2771 part = 0;
2772 } else {
2773 part = dst[i + jump];
2774 if (shift) {
2775 part >>= shift;
2776 if (i + jump + 1 < parts)
2777 part |= dst[i + jump + 1] << (integerPartWidth - shift);
2778 }
Chris Lattner6b695682007-08-16 15:56:55 +00002779 }
Chris Lattner6b695682007-08-16 15:56:55 +00002780
Neil Boothb6182162007-10-08 13:47:12 +00002781 dst[i] = part;
2782 }
Chris Lattner6b695682007-08-16 15:56:55 +00002783 }
2784}
2785
2786/* Bitwise and of two bignums. */
2787void
2788APInt::tcAnd(integerPart *dst, const integerPart *rhs, unsigned int parts)
2789{
2790 unsigned int i;
2791
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002792 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002793 dst[i] &= rhs[i];
2794}
2795
2796/* Bitwise inclusive or of two bignums. */
2797void
2798APInt::tcOr(integerPart *dst, const integerPart *rhs, unsigned int parts)
2799{
2800 unsigned int i;
2801
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002802 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002803 dst[i] |= rhs[i];
2804}
2805
2806/* Bitwise exclusive or of two bignums. */
2807void
2808APInt::tcXor(integerPart *dst, const integerPart *rhs, unsigned int parts)
2809{
2810 unsigned int i;
2811
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002812 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002813 dst[i] ^= rhs[i];
2814}
2815
2816/* Complement a bignum in-place. */
2817void
2818APInt::tcComplement(integerPart *dst, unsigned int parts)
2819{
2820 unsigned int i;
2821
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002822 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002823 dst[i] = ~dst[i];
2824}
2825
2826/* Comparison (unsigned) of two bignums. */
2827int
2828APInt::tcCompare(const integerPart *lhs, const integerPart *rhs,
2829 unsigned int parts)
2830{
2831 while (parts) {
2832 parts--;
2833 if (lhs[parts] == rhs[parts])
2834 continue;
2835
2836 if (lhs[parts] > rhs[parts])
2837 return 1;
2838 else
2839 return -1;
2840 }
2841
2842 return 0;
2843}
2844
2845/* Increment a bignum in-place, return the carry flag. */
2846integerPart
2847APInt::tcIncrement(integerPart *dst, unsigned int parts)
2848{
2849 unsigned int i;
2850
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002851 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002852 if (++dst[i] != 0)
2853 break;
2854
2855 return i == parts;
2856}
2857
Michael Gottesman9d406f42013-05-28 19:50:20 +00002858/* Decrement a bignum in-place, return the borrow flag. */
2859integerPart
2860APInt::tcDecrement(integerPart *dst, unsigned int parts) {
2861 for (unsigned int i = 0; i < parts; i++) {
2862 // If the current word is non-zero, then the decrement has no effect on the
2863 // higher-order words of the integer and no borrow can occur. Exit early.
2864 if (dst[i]--)
2865 return 0;
2866 }
2867 // If every word was zero, then there is a borrow.
2868 return 1;
2869}
2870
2871
Chris Lattner6b695682007-08-16 15:56:55 +00002872/* Set the least significant BITS bits of a bignum, clear the
2873 rest. */
2874void
2875APInt::tcSetLeastSignificantBits(integerPart *dst, unsigned int parts,
2876 unsigned int bits)
2877{
2878 unsigned int i;
2879
2880 i = 0;
2881 while (bits > integerPartWidth) {
2882 dst[i++] = ~(integerPart) 0;
2883 bits -= integerPartWidth;
2884 }
2885
2886 if (bits)
2887 dst[i++] = ~(integerPart) 0 >> (integerPartWidth - bits);
2888
2889 while (i < parts)
2890 dst[i++] = 0;
2891}