blob: 83455f67665c564d0d98de9847629c7896878f2c [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
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000165/// This method 'profiles' an APInt for use with FoldingSet.
Ted Kremenek5c75d542008-01-19 04:23:33 +0000166void 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
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000179/// 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
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000205/// This function subtracts a single "digit" (64-bit word), y, from
Eric Christopher820256b2009-08-21 04:06:45 +0000206/// 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
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000234/// 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
Benjamin Kramerf9a29752014-10-10 10:18:12 +0000457 APInt Result(val, getBitWidth());
Reid Spencera41e93b2007-02-25 19:32:03 +0000458 // 0^0==1 so clear the high bits in case they got set.
Benjamin Kramerf9a29752014-10-10 10:18:12 +0000459 Result.clearUnusedBits();
460 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000461}
462
Zhou Shengdac63782007-02-06 03:00:16 +0000463APInt APInt::operator*(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000464 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencera41e93b2007-02-25 19:32:03 +0000465 if (isSingleWord())
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000466 return APInt(BitWidth, VAL * RHS.VAL);
Reid Spencer4bb430c2007-02-20 20:42:10 +0000467 APInt Result(*this);
468 Result *= RHS;
Eli Friedman19546412011-10-07 23:40:49 +0000469 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000470}
471
Zhou Shengdac63782007-02-06 03:00:16 +0000472APInt APInt::operator+(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000473 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencera41e93b2007-02-25 19:32:03 +0000474 if (isSingleWord())
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000475 return APInt(BitWidth, VAL + RHS.VAL);
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000476 APInt Result(BitWidth, 0);
477 add(Result.pVal, this->pVal, RHS.pVal, getNumWords());
Benjamin Kramerf9a29752014-10-10 10:18:12 +0000478 Result.clearUnusedBits();
479 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000480}
481
Zhou Shengdac63782007-02-06 03:00:16 +0000482APInt APInt::operator-(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000483 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencera41e93b2007-02-25 19:32:03 +0000484 if (isSingleWord())
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000485 return APInt(BitWidth, VAL - RHS.VAL);
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000486 APInt Result(BitWidth, 0);
487 sub(Result.pVal, this->pVal, RHS.pVal, getNumWords());
Benjamin Kramerf9a29752014-10-10 10:18:12 +0000488 Result.clearUnusedBits();
489 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000490}
491
Chris Lattner1ac3e252008-08-20 17:02:31 +0000492bool APInt::EqualSlowCase(const APInt& RHS) const {
Matthias Braun5117fcd2016-02-15 20:06:19 +0000493 return std::equal(pVal, pVal + getNumWords(), RHS.pVal);
Zhou Shengdac63782007-02-06 03:00:16 +0000494}
495
Chris Lattner1ac3e252008-08-20 17:02:31 +0000496bool APInt::EqualSlowCase(uint64_t Val) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000497 unsigned n = getActiveBits();
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000498 if (n <= APINT_BITS_PER_WORD)
499 return pVal[0] == Val;
500 else
501 return false;
Zhou Shengdac63782007-02-06 03:00:16 +0000502}
503
Reid Spencer1d072122007-02-16 22:36:51 +0000504bool APInt::ult(const APInt& RHS) const {
505 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
506 if (isSingleWord())
507 return VAL < RHS.VAL;
Reid Spencera41e93b2007-02-25 19:32:03 +0000508
509 // Get active bit length of both operands
Chris Lattner77527f52009-01-21 18:09:24 +0000510 unsigned n1 = getActiveBits();
511 unsigned n2 = RHS.getActiveBits();
Reid Spencera41e93b2007-02-25 19:32:03 +0000512
513 // If magnitude of LHS is less than RHS, return true.
514 if (n1 < n2)
515 return true;
516
517 // If magnitude of RHS is greather than LHS, return false.
518 if (n2 < n1)
519 return false;
520
521 // If they bot fit in a word, just compare the low order word
522 if (n1 <= APINT_BITS_PER_WORD && n2 <= APINT_BITS_PER_WORD)
523 return pVal[0] < RHS.pVal[0];
524
525 // Otherwise, compare all words
Chris Lattner77527f52009-01-21 18:09:24 +0000526 unsigned topWord = whichWord(std::max(n1,n2)-1);
Reid Spencer54abdcf2007-02-27 18:23:40 +0000527 for (int i = topWord; i >= 0; --i) {
Eric Christopher820256b2009-08-21 04:06:45 +0000528 if (pVal[i] > RHS.pVal[i])
Reid Spencer1d072122007-02-16 22:36:51 +0000529 return false;
Eric Christopher820256b2009-08-21 04:06:45 +0000530 if (pVal[i] < RHS.pVal[i])
Reid Spencera41e93b2007-02-25 19:32:03 +0000531 return true;
Zhou Shengdac63782007-02-06 03:00:16 +0000532 }
533 return false;
534}
535
Reid Spencer1d072122007-02-16 22:36:51 +0000536bool APInt::slt(const APInt& RHS) const {
537 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000538 if (isSingleWord()) {
539 int64_t lhsSext = (int64_t(VAL) << (64-BitWidth)) >> (64-BitWidth);
540 int64_t rhsSext = (int64_t(RHS.VAL) << (64-BitWidth)) >> (64-BitWidth);
541 return lhsSext < rhsSext;
Reid Spencer1d072122007-02-16 22:36:51 +0000542 }
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000543
544 APInt lhs(*this);
Reid Spencer54abdcf2007-02-27 18:23:40 +0000545 APInt rhs(RHS);
546 bool lhsNeg = isNegative();
547 bool rhsNeg = rhs.isNegative();
548 if (lhsNeg) {
549 // Sign bit is set so perform two's complement to make it positive
Jay Foad25a5e4c2010-12-01 08:53:58 +0000550 lhs.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +0000551 ++lhs;
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000552 }
Reid Spencer54abdcf2007-02-27 18:23:40 +0000553 if (rhsNeg) {
554 // Sign bit is set so perform two's complement to make it positive
Jay Foad25a5e4c2010-12-01 08:53:58 +0000555 rhs.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +0000556 ++rhs;
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000557 }
Reid Spencera41e93b2007-02-25 19:32:03 +0000558
559 // Now we have unsigned values to compare so do the comparison if necessary
560 // based on the negativeness of the values.
Reid Spencer54abdcf2007-02-27 18:23:40 +0000561 if (lhsNeg)
562 if (rhsNeg)
563 return lhs.ugt(rhs);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000564 else
565 return true;
Reid Spencer54abdcf2007-02-27 18:23:40 +0000566 else if (rhsNeg)
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000567 return false;
Eric Christopher820256b2009-08-21 04:06:45 +0000568 else
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000569 return lhs.ult(rhs);
Zhou Shengdac63782007-02-06 03:00:16 +0000570}
571
Jay Foad25a5e4c2010-12-01 08:53:58 +0000572void APInt::setBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000573 if (isSingleWord())
Reid Spencera41e93b2007-02-25 19:32:03 +0000574 VAL |= maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000575 else
Reid Spencera41e93b2007-02-25 19:32:03 +0000576 pVal[whichWord(bitPosition)] |= maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000577}
578
Zhou Shengdac63782007-02-06 03:00:16 +0000579/// Set the given bit to 0 whose position is given as "bitPosition".
580/// @brief Set a given bit to 0.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000581void APInt::clearBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000582 if (isSingleWord())
Reid Spencera856b6e2007-02-18 18:38:44 +0000583 VAL &= ~maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000584 else
Reid Spencera856b6e2007-02-18 18:38:44 +0000585 pVal[whichWord(bitPosition)] &= ~maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000586}
587
Zhou Shengdac63782007-02-06 03:00:16 +0000588/// @brief Toggle every bit to its opposite value.
Zhou Shengdac63782007-02-06 03:00:16 +0000589
Eric Christopher820256b2009-08-21 04:06:45 +0000590/// Toggle a given bit to its opposite value whose position is given
Zhou Shengdac63782007-02-06 03:00:16 +0000591/// as "bitPosition".
592/// @brief Toggles a given bit to its opposite value.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000593void APInt::flipBit(unsigned bitPosition) {
Reid Spencer1d072122007-02-16 22:36:51 +0000594 assert(bitPosition < BitWidth && "Out of the bit-width range!");
Jay Foad25a5e4c2010-12-01 08:53:58 +0000595 if ((*this)[bitPosition]) clearBit(bitPosition);
596 else setBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000597}
598
Benjamin Kramer92d89982010-07-14 22:38:02 +0000599unsigned APInt::getBitsNeeded(StringRef str, uint8_t radix) {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000600 assert(!str.empty() && "Invalid string length");
Douglas Gregor663c0682011-09-14 15:54:46 +0000601 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
602 radix == 36) &&
603 "Radix should be 2, 8, 10, 16, or 36!");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000604
605 size_t slen = str.size();
Reid Spencer9329e7b2007-04-13 19:19:07 +0000606
Eric Christopher43a1dec2009-08-21 04:10:31 +0000607 // Each computation below needs to know if it's negative.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000608 StringRef::iterator p = str.begin();
Eric Christopher43a1dec2009-08-21 04:10:31 +0000609 unsigned isNegative = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000610 if (*p == '-' || *p == '+') {
611 p++;
Reid Spencer9329e7b2007-04-13 19:19:07 +0000612 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +0000613 assert(slen && "String is only a sign, needs a value.");
Reid Spencer9329e7b2007-04-13 19:19:07 +0000614 }
Eric Christopher43a1dec2009-08-21 04:10:31 +0000615
Reid Spencer9329e7b2007-04-13 19:19:07 +0000616 // For radixes of power-of-two values, the bits required is accurately and
617 // easily computed
618 if (radix == 2)
619 return slen + isNegative;
620 if (radix == 8)
621 return slen * 3 + isNegative;
622 if (radix == 16)
623 return slen * 4 + isNegative;
624
Douglas Gregor663c0682011-09-14 15:54:46 +0000625 // FIXME: base 36
626
Reid Spencer9329e7b2007-04-13 19:19:07 +0000627 // This is grossly inefficient but accurate. We could probably do something
628 // with a computation of roughly slen*64/20 and then adjust by the value of
629 // the first few digits. But, I'm not sure how accurate that could be.
630
631 // Compute a sufficient number of bits that is always large enough but might
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000632 // be too large. This avoids the assertion in the constructor. This
633 // calculation doesn't work appropriately for the numbers 0-9, so just use 4
634 // bits in that case.
Douglas Gregor663c0682011-09-14 15:54:46 +0000635 unsigned sufficient
636 = radix == 10? (slen == 1 ? 4 : slen * 64/18)
637 : (slen == 1 ? 7 : slen * 16/3);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000638
639 // Convert to the actual binary value.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000640 APInt tmp(sufficient, StringRef(p, slen), radix);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000641
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000642 // Compute how many bits are required. If the log is infinite, assume we need
643 // just bit.
644 unsigned log = tmp.logBase2();
645 if (log == (unsigned)-1) {
646 return isNegative + 1;
647 } else {
648 return isNegative + log + 1;
649 }
Reid Spencer9329e7b2007-04-13 19:19:07 +0000650}
651
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000652hash_code llvm::hash_value(const APInt &Arg) {
653 if (Arg.isSingleWord())
654 return hash_combine(Arg.VAL);
Reid Spencerb2bc9852007-02-26 21:02:27 +0000655
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000656 return hash_combine_range(Arg.pVal, Arg.pVal + Arg.getNumWords());
Reid Spencerb2bc9852007-02-26 21:02:27 +0000657}
658
Benjamin Kramerb4b51502015-03-25 16:49:59 +0000659bool APInt::isSplat(unsigned SplatSizeInBits) const {
660 assert(getBitWidth() % SplatSizeInBits == 0 &&
661 "SplatSizeInBits must divide width!");
662 // We can check that all parts of an integer are equal by making use of a
663 // little trick: rotate and check if it's still the same value.
664 return *this == rotl(SplatSizeInBits);
665}
666
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000667/// This function returns the high "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000668APInt APInt::getHiBits(unsigned numBits) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000669 return APIntOps::lshr(*this, BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000670}
671
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000672/// This function returns the low "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000673APInt APInt::getLoBits(unsigned numBits) const {
Eric Christopher820256b2009-08-21 04:06:45 +0000674 return APIntOps::lshr(APIntOps::shl(*this, BitWidth - numBits),
Reid Spencer1d072122007-02-16 22:36:51 +0000675 BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000676}
677
Chris Lattner77527f52009-01-21 18:09:24 +0000678unsigned APInt::countLeadingZerosSlowCase() const {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000679 unsigned Count = 0;
680 for (int i = getNumWords()-1; i >= 0; --i) {
681 integerPart V = pVal[i];
682 if (V == 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +0000683 Count += APINT_BITS_PER_WORD;
684 else {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000685 Count += llvm::countLeadingZeros(V);
Chris Lattner1ac3e252008-08-20 17:02:31 +0000686 break;
Reid Spencer74cf82e2007-02-21 00:29:48 +0000687 }
Zhou Shengdac63782007-02-06 03:00:16 +0000688 }
Matthias Brauna6be4e82016-02-15 20:06:22 +0000689 // Adjust for unused bits in the most significant word (they are zero).
690 unsigned Mod = BitWidth % APINT_BITS_PER_WORD;
691 Count -= Mod > 0 ? APINT_BITS_PER_WORD - Mod : 0;
John McCalldf951bd2010-02-03 03:42:44 +0000692 return Count;
Zhou Shengdac63782007-02-06 03:00:16 +0000693}
694
Chris Lattner77527f52009-01-21 18:09:24 +0000695unsigned APInt::countLeadingOnes() const {
Reid Spencer31acef52007-02-27 21:59:26 +0000696 if (isSingleWord())
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000697 return llvm::countLeadingOnes(VAL << (APINT_BITS_PER_WORD - BitWidth));
Reid Spencer31acef52007-02-27 21:59:26 +0000698
Chris Lattner77527f52009-01-21 18:09:24 +0000699 unsigned highWordBits = BitWidth % APINT_BITS_PER_WORD;
Torok Edwinec39eb82009-01-27 18:06:03 +0000700 unsigned shift;
701 if (!highWordBits) {
702 highWordBits = APINT_BITS_PER_WORD;
703 shift = 0;
704 } else {
705 shift = APINT_BITS_PER_WORD - highWordBits;
706 }
Reid Spencer31acef52007-02-27 21:59:26 +0000707 int i = getNumWords() - 1;
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000708 unsigned Count = llvm::countLeadingOnes(pVal[i] << shift);
Reid Spencer31acef52007-02-27 21:59:26 +0000709 if (Count == highWordBits) {
710 for (i--; i >= 0; --i) {
711 if (pVal[i] == -1ULL)
712 Count += APINT_BITS_PER_WORD;
713 else {
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000714 Count += llvm::countLeadingOnes(pVal[i]);
Reid Spencer31acef52007-02-27 21:59:26 +0000715 break;
716 }
717 }
718 }
719 return Count;
720}
721
Chris Lattner77527f52009-01-21 18:09:24 +0000722unsigned APInt::countTrailingZeros() const {
Zhou Shengdac63782007-02-06 03:00:16 +0000723 if (isSingleWord())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000724 return std::min(unsigned(llvm::countTrailingZeros(VAL)), BitWidth);
Chris Lattner77527f52009-01-21 18:09:24 +0000725 unsigned Count = 0;
726 unsigned i = 0;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000727 for (; i < getNumWords() && pVal[i] == 0; ++i)
728 Count += APINT_BITS_PER_WORD;
729 if (i < getNumWords())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000730 Count += llvm::countTrailingZeros(pVal[i]);
Chris Lattnerc2c4c742007-11-23 22:36:25 +0000731 return std::min(Count, BitWidth);
Zhou Shengdac63782007-02-06 03:00:16 +0000732}
733
Chris Lattner77527f52009-01-21 18:09:24 +0000734unsigned APInt::countTrailingOnesSlowCase() const {
735 unsigned Count = 0;
736 unsigned i = 0;
Dan Gohmanc354ebd2008-02-14 22:38:45 +0000737 for (; i < getNumWords() && pVal[i] == -1ULL; ++i)
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000738 Count += APINT_BITS_PER_WORD;
739 if (i < getNumWords())
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000740 Count += llvm::countTrailingOnes(pVal[i]);
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000741 return std::min(Count, BitWidth);
742}
743
Chris Lattner77527f52009-01-21 18:09:24 +0000744unsigned APInt::countPopulationSlowCase() const {
745 unsigned Count = 0;
746 for (unsigned i = 0; i < getNumWords(); ++i)
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000747 Count += llvm::countPopulation(pVal[i]);
Zhou Shengdac63782007-02-06 03:00:16 +0000748 return Count;
749}
750
Richard Smith4f9a8082011-11-23 21:33:37 +0000751/// Perform a logical right-shift from Src to Dst, which must be equal or
752/// non-overlapping, of Words words, by Shift, which must be less than 64.
753static void lshrNear(uint64_t *Dst, uint64_t *Src, unsigned Words,
754 unsigned Shift) {
755 uint64_t Carry = 0;
756 for (int I = Words - 1; I >= 0; --I) {
757 uint64_t Tmp = Src[I];
758 Dst[I] = (Tmp >> Shift) | Carry;
759 Carry = Tmp << (64 - Shift);
760 }
761}
762
Reid Spencer1d072122007-02-16 22:36:51 +0000763APInt APInt::byteSwap() const {
764 assert(BitWidth >= 16 && BitWidth % 16 == 0 && "Cannot byteswap!");
765 if (BitWidth == 16)
Jeff Cohene06855e2007-03-20 20:42:36 +0000766 return APInt(BitWidth, ByteSwap_16(uint16_t(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000767 if (BitWidth == 32)
Chris Lattner77527f52009-01-21 18:09:24 +0000768 return APInt(BitWidth, ByteSwap_32(unsigned(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000769 if (BitWidth == 48) {
Chris Lattner77527f52009-01-21 18:09:24 +0000770 unsigned Tmp1 = unsigned(VAL >> 16);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000771 Tmp1 = ByteSwap_32(Tmp1);
Jeff Cohene06855e2007-03-20 20:42:36 +0000772 uint16_t Tmp2 = uint16_t(VAL);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000773 Tmp2 = ByteSwap_16(Tmp2);
Jeff Cohene06855e2007-03-20 20:42:36 +0000774 return APInt(BitWidth, (uint64_t(Tmp2) << 32) | Tmp1);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000775 }
Richard Smith4f9a8082011-11-23 21:33:37 +0000776 if (BitWidth == 64)
777 return APInt(BitWidth, ByteSwap_64(VAL));
778
779 APInt Result(getNumWords() * APINT_BITS_PER_WORD, 0);
780 for (unsigned I = 0, N = getNumWords(); I != N; ++I)
781 Result.pVal[I] = ByteSwap_64(pVal[N - I - 1]);
782 if (Result.BitWidth != BitWidth) {
783 lshrNear(Result.pVal, Result.pVal, getNumWords(),
784 Result.BitWidth - BitWidth);
785 Result.BitWidth = BitWidth;
786 }
787 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000788}
789
Eric Christopher820256b2009-08-21 04:06:45 +0000790APInt llvm::APIntOps::GreatestCommonDivisor(const APInt& API1,
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000791 const APInt& API2) {
Zhou Shengdac63782007-02-06 03:00:16 +0000792 APInt A = API1, B = API2;
793 while (!!B) {
794 APInt T = B;
Reid Spencer1d072122007-02-16 22:36:51 +0000795 B = APIntOps::urem(A, B);
Zhou Shengdac63782007-02-06 03:00:16 +0000796 A = T;
797 }
798 return A;
799}
Chris Lattner28cbd1d2007-02-06 05:38:37 +0000800
Chris Lattner77527f52009-01-21 18:09:24 +0000801APInt llvm::APIntOps::RoundDoubleToAPInt(double Double, unsigned width) {
Zhou Shengd707d632007-02-12 20:02:55 +0000802 union {
803 double D;
804 uint64_t I;
805 } T;
806 T.D = Double;
Reid Spencer974551a2007-02-27 01:28:10 +0000807
808 // Get the sign bit from the highest order bit
Zhou Shengd707d632007-02-12 20:02:55 +0000809 bool isNeg = T.I >> 63;
Reid Spencer974551a2007-02-27 01:28:10 +0000810
811 // Get the 11-bit exponent and adjust for the 1023 bit bias
Zhou Shengd707d632007-02-12 20:02:55 +0000812 int64_t exp = ((T.I >> 52) & 0x7ff) - 1023;
Reid Spencer974551a2007-02-27 01:28:10 +0000813
814 // If the exponent is negative, the value is < 0 so just return 0.
Zhou Shengd707d632007-02-12 20:02:55 +0000815 if (exp < 0)
Reid Spencer66d0d572007-02-28 01:30:08 +0000816 return APInt(width, 0u);
Reid Spencer974551a2007-02-27 01:28:10 +0000817
818 // Extract the mantissa by clearing the top 12 bits (sign + exponent).
819 uint64_t mantissa = (T.I & (~0ULL >> 12)) | 1ULL << 52;
820
821 // If the exponent doesn't shift all bits out of the mantissa
Zhou Shengd707d632007-02-12 20:02:55 +0000822 if (exp < 52)
Eric Christopher820256b2009-08-21 04:06:45 +0000823 return isNeg ? -APInt(width, mantissa >> (52 - exp)) :
Reid Spencer54abdcf2007-02-27 18:23:40 +0000824 APInt(width, mantissa >> (52 - exp));
825
826 // If the client didn't provide enough bits for us to shift the mantissa into
827 // then the result is undefined, just return 0
828 if (width <= exp - 52)
829 return APInt(width, 0);
Reid Spencer974551a2007-02-27 01:28:10 +0000830
831 // Otherwise, we have to shift the mantissa bits up to the right location
Reid Spencer54abdcf2007-02-27 18:23:40 +0000832 APInt Tmp(width, mantissa);
Chris Lattner77527f52009-01-21 18:09:24 +0000833 Tmp = Tmp.shl((unsigned)exp - 52);
Zhou Shengd707d632007-02-12 20:02:55 +0000834 return isNeg ? -Tmp : Tmp;
835}
836
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000837/// This function converts this APInt to a double.
Zhou Shengd707d632007-02-12 20:02:55 +0000838/// The layout for double is as following (IEEE Standard 754):
839/// --------------------------------------
840/// | Sign Exponent Fraction Bias |
841/// |-------------------------------------- |
842/// | 1[63] 11[62-52] 52[51-00] 1023 |
Eric Christopher820256b2009-08-21 04:06:45 +0000843/// --------------------------------------
Reid Spencer1d072122007-02-16 22:36:51 +0000844double APInt::roundToDouble(bool isSigned) const {
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000845
846 // Handle the simple case where the value is contained in one uint64_t.
Dale Johannesen54be7852009-08-12 18:04:11 +0000847 // It is wrong to optimize getWord(0) to VAL; there might be more than one word.
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000848 if (isSingleWord() || getActiveBits() <= APINT_BITS_PER_WORD) {
849 if (isSigned) {
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000850 int64_t sext = (int64_t(getWord(0)) << (64-BitWidth)) >> (64-BitWidth);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000851 return double(sext);
852 } else
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000853 return double(getWord(0));
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000854 }
855
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000856 // Determine if the value is negative.
Reid Spencer1d072122007-02-16 22:36:51 +0000857 bool isNeg = isSigned ? (*this)[BitWidth-1] : false;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000858
859 // Construct the absolute value if we're negative.
Zhou Shengd707d632007-02-12 20:02:55 +0000860 APInt Tmp(isNeg ? -(*this) : (*this));
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000861
862 // Figure out how many bits we're using.
Chris Lattner77527f52009-01-21 18:09:24 +0000863 unsigned n = Tmp.getActiveBits();
Zhou Shengd707d632007-02-12 20:02:55 +0000864
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000865 // The exponent (without bias normalization) is just the number of bits
866 // we are using. Note that the sign bit is gone since we constructed the
867 // absolute value.
868 uint64_t exp = n;
Zhou Shengd707d632007-02-12 20:02:55 +0000869
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000870 // Return infinity for exponent overflow
871 if (exp > 1023) {
872 if (!isSigned || !isNeg)
Jeff Cohene06855e2007-03-20 20:42:36 +0000873 return std::numeric_limits<double>::infinity();
Eric Christopher820256b2009-08-21 04:06:45 +0000874 else
Jeff Cohene06855e2007-03-20 20:42:36 +0000875 return -std::numeric_limits<double>::infinity();
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000876 }
877 exp += 1023; // Increment for 1023 bias
878
879 // Number of bits in mantissa is 52. To obtain the mantissa value, we must
880 // extract the high 52 bits from the correct words in pVal.
Zhou Shengd707d632007-02-12 20:02:55 +0000881 uint64_t mantissa;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000882 unsigned hiWord = whichWord(n-1);
883 if (hiWord == 0) {
884 mantissa = Tmp.pVal[0];
885 if (n > 52)
886 mantissa >>= n - 52; // shift down, we want the top 52 bits.
887 } else {
888 assert(hiWord > 0 && "huh?");
889 uint64_t hibits = Tmp.pVal[hiWord] << (52 - n % APINT_BITS_PER_WORD);
890 uint64_t lobits = Tmp.pVal[hiWord-1] >> (11 + n % APINT_BITS_PER_WORD);
891 mantissa = hibits | lobits;
892 }
893
Zhou Shengd707d632007-02-12 20:02:55 +0000894 // The leading bit of mantissa is implicit, so get rid of it.
Reid Spencerfbd48a52007-02-18 00:44:22 +0000895 uint64_t sign = isNeg ? (1ULL << (APINT_BITS_PER_WORD - 1)) : 0;
Zhou Shengd707d632007-02-12 20:02:55 +0000896 union {
897 double D;
898 uint64_t I;
899 } T;
900 T.I = sign | (exp << 52) | mantissa;
901 return T.D;
902}
903
Reid Spencer1d072122007-02-16 22:36:51 +0000904// Truncate to new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000905APInt APInt::trunc(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000906 assert(width < BitWidth && "Invalid APInt Truncate request");
Chris Lattner1ac3e252008-08-20 17:02:31 +0000907 assert(width && "Can't truncate to 0 bits");
Jay Foad583abbc2010-12-07 08:25:19 +0000908
909 if (width <= APINT_BITS_PER_WORD)
910 return APInt(width, getRawData()[0]);
911
912 APInt Result(getMemory(getNumWords(width)), width);
913
914 // Copy full words.
915 unsigned i;
916 for (i = 0; i != width / APINT_BITS_PER_WORD; i++)
917 Result.pVal[i] = pVal[i];
918
919 // Truncate and copy any partial word.
920 unsigned bits = (0 - width) % APINT_BITS_PER_WORD;
921 if (bits != 0)
922 Result.pVal[i] = pVal[i] << bits >> bits;
923
924 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000925}
926
927// Sign extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000928APInt APInt::sext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000929 assert(width > BitWidth && "Invalid APInt SignExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000930
931 if (width <= APINT_BITS_PER_WORD) {
932 uint64_t val = VAL << (APINT_BITS_PER_WORD - BitWidth);
933 val = (int64_t)val >> (width - BitWidth);
934 return APInt(width, val >> (APINT_BITS_PER_WORD - width));
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000935 }
936
Jay Foad583abbc2010-12-07 08:25:19 +0000937 APInt Result(getMemory(getNumWords(width)), width);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000938
Jay Foad583abbc2010-12-07 08:25:19 +0000939 // Copy full words.
940 unsigned i;
941 uint64_t word = 0;
942 for (i = 0; i != BitWidth / APINT_BITS_PER_WORD; i++) {
943 word = getRawData()[i];
944 Result.pVal[i] = word;
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000945 }
946
Jay Foad583abbc2010-12-07 08:25:19 +0000947 // Read and sign-extend any partial word.
948 unsigned bits = (0 - BitWidth) % APINT_BITS_PER_WORD;
949 if (bits != 0)
950 word = (int64_t)getRawData()[i] << bits >> bits;
951 else
952 word = (int64_t)word >> (APINT_BITS_PER_WORD - 1);
953
954 // Write remaining full words.
955 for (; i != width / APINT_BITS_PER_WORD; i++) {
956 Result.pVal[i] = word;
957 word = (int64_t)word >> (APINT_BITS_PER_WORD - 1);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000958 }
Jay Foad583abbc2010-12-07 08:25:19 +0000959
960 // Write any partial word.
961 bits = (0 - width) % APINT_BITS_PER_WORD;
962 if (bits != 0)
963 Result.pVal[i] = word << bits >> bits;
964
965 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000966}
967
968// Zero extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000969APInt APInt::zext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000970 assert(width > BitWidth && "Invalid APInt ZeroExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000971
972 if (width <= APINT_BITS_PER_WORD)
973 return APInt(width, VAL);
974
975 APInt Result(getMemory(getNumWords(width)), width);
976
977 // Copy words.
978 unsigned i;
979 for (i = 0; i != getNumWords(); i++)
980 Result.pVal[i] = getRawData()[i];
981
982 // Zero remaining words.
983 memset(&Result.pVal[i], 0, (Result.getNumWords() - i) * APINT_WORD_SIZE);
984
985 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000986}
987
Jay Foad583abbc2010-12-07 08:25:19 +0000988APInt APInt::zextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +0000989 if (BitWidth < width)
990 return zext(width);
991 if (BitWidth > width)
992 return trunc(width);
993 return *this;
994}
995
Jay Foad583abbc2010-12-07 08:25:19 +0000996APInt APInt::sextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +0000997 if (BitWidth < width)
998 return sext(width);
999 if (BitWidth > width)
1000 return trunc(width);
1001 return *this;
1002}
1003
Rafael Espindolabb893fe2012-01-27 23:33:07 +00001004APInt APInt::zextOrSelf(unsigned width) const {
1005 if (BitWidth < width)
1006 return zext(width);
1007 return *this;
1008}
1009
1010APInt APInt::sextOrSelf(unsigned width) const {
1011 if (BitWidth < width)
1012 return sext(width);
1013 return *this;
1014}
1015
Zhou Shenge93db8f2007-02-09 07:48:24 +00001016/// Arithmetic right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001017/// @brief Arithmetic right-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001018APInt APInt::ashr(const APInt &shiftAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001019 return ashr((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001020}
1021
1022/// Arithmetic right-shift this APInt by shiftAmt.
1023/// @brief Arithmetic right-shift function.
Chris Lattner77527f52009-01-21 18:09:24 +00001024APInt APInt::ashr(unsigned shiftAmt) const {
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001025 assert(shiftAmt <= BitWidth && "Invalid shift amount");
Reid Spencer1825dd02007-03-02 22:39:11 +00001026 // Handle a degenerate case
1027 if (shiftAmt == 0)
1028 return *this;
1029
1030 // Handle single word shifts with built-in ashr
Reid Spencer522ca7c2007-02-25 01:56:07 +00001031 if (isSingleWord()) {
1032 if (shiftAmt == BitWidth)
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001033 return APInt(BitWidth, 0); // undefined
1034 else {
Chris Lattner77527f52009-01-21 18:09:24 +00001035 unsigned SignBit = APINT_BITS_PER_WORD - BitWidth;
Eric Christopher820256b2009-08-21 04:06:45 +00001036 return APInt(BitWidth,
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001037 (((int64_t(VAL) << SignBit) >> SignBit) >> shiftAmt));
1038 }
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001039 }
Reid Spencer522ca7c2007-02-25 01:56:07 +00001040
Reid Spencer1825dd02007-03-02 22:39:11 +00001041 // If all the bits were shifted out, the result is, technically, undefined.
1042 // We return -1 if it was negative, 0 otherwise. We check this early to avoid
1043 // issues in the algorithm below.
Chris Lattnerdad2d092007-05-03 18:15:36 +00001044 if (shiftAmt == BitWidth) {
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001045 if (isNegative())
Zhou Sheng1247c072008-06-05 13:27:38 +00001046 return APInt(BitWidth, -1ULL, true);
Reid Spencera41e93b2007-02-25 19:32:03 +00001047 else
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001048 return APInt(BitWidth, 0);
Chris Lattnerdad2d092007-05-03 18:15:36 +00001049 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001050
1051 // Create some space for the result.
1052 uint64_t * val = new uint64_t[getNumWords()];
1053
Reid Spencer1825dd02007-03-02 22:39:11 +00001054 // Compute some values needed by the following shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001055 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD; // bits to shift per word
1056 unsigned offset = shiftAmt / APINT_BITS_PER_WORD; // word offset for shift
1057 unsigned breakWord = getNumWords() - 1 - offset; // last word affected
1058 unsigned bitsInWord = whichBit(BitWidth); // how many bits in last word?
Reid Spencer1825dd02007-03-02 22:39:11 +00001059 if (bitsInWord == 0)
1060 bitsInWord = APINT_BITS_PER_WORD;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001061
1062 // If we are shifting whole words, just move whole words
1063 if (wordShift == 0) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001064 // Move the words containing significant bits
Chris Lattner77527f52009-01-21 18:09:24 +00001065 for (unsigned i = 0; i <= breakWord; ++i)
Reid Spencer1825dd02007-03-02 22:39:11 +00001066 val[i] = pVal[i+offset]; // move whole word
1067
1068 // Adjust the top significant word for sign bit fill, if negative
1069 if (isNegative())
1070 if (bitsInWord < APINT_BITS_PER_WORD)
1071 val[breakWord] |= ~0ULL << bitsInWord; // set high bits
1072 } else {
Eric Christopher820256b2009-08-21 04:06:45 +00001073 // Shift the low order words
Chris Lattner77527f52009-01-21 18:09:24 +00001074 for (unsigned i = 0; i < breakWord; ++i) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001075 // This combines the shifted corresponding word with the low bits from
1076 // the next word (shifted into this word's high bits).
Eric Christopher820256b2009-08-21 04:06:45 +00001077 val[i] = (pVal[i+offset] >> wordShift) |
Reid Spencer1825dd02007-03-02 22:39:11 +00001078 (pVal[i+offset+1] << (APINT_BITS_PER_WORD - wordShift));
1079 }
1080
1081 // Shift the break word. In this case there are no bits from the next word
1082 // to include in this word.
1083 val[breakWord] = pVal[breakWord+offset] >> wordShift;
1084
Alp Tokercb402912014-01-24 17:20:08 +00001085 // Deal with sign extension in the break word, and possibly the word before
Reid Spencer1825dd02007-03-02 22:39:11 +00001086 // it.
Chris Lattnerdad2d092007-05-03 18:15:36 +00001087 if (isNegative()) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001088 if (wordShift > bitsInWord) {
1089 if (breakWord > 0)
Eric Christopher820256b2009-08-21 04:06:45 +00001090 val[breakWord-1] |=
Reid Spencer1825dd02007-03-02 22:39:11 +00001091 ~0ULL << (APINT_BITS_PER_WORD - (wordShift - bitsInWord));
1092 val[breakWord] |= ~0ULL;
Eric Christopher820256b2009-08-21 04:06:45 +00001093 } else
Reid Spencer1825dd02007-03-02 22:39:11 +00001094 val[breakWord] |= (~0ULL << (bitsInWord - wordShift));
Chris Lattnerdad2d092007-05-03 18:15:36 +00001095 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001096 }
1097
Reid Spencer1825dd02007-03-02 22:39:11 +00001098 // Remaining words are 0 or -1, just assign them.
1099 uint64_t fillValue = (isNegative() ? -1ULL : 0);
Chris Lattner77527f52009-01-21 18:09:24 +00001100 for (unsigned i = breakWord+1; i < getNumWords(); ++i)
Reid Spencer1825dd02007-03-02 22:39:11 +00001101 val[i] = fillValue;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001102 APInt Result(val, BitWidth);
1103 Result.clearUnusedBits();
1104 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001105}
1106
Zhou Shenge93db8f2007-02-09 07:48:24 +00001107/// Logical right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001108/// @brief Logical right-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001109APInt APInt::lshr(const APInt &shiftAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001110 return lshr((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001111}
1112
1113/// Logical right-shift this APInt by shiftAmt.
1114/// @brief Logical right-shift function.
Chris Lattner77527f52009-01-21 18:09:24 +00001115APInt APInt::lshr(unsigned shiftAmt) const {
Chris Lattnerdad2d092007-05-03 18:15:36 +00001116 if (isSingleWord()) {
Ahmed Charles0dca5d82012-02-24 19:06:15 +00001117 if (shiftAmt >= BitWidth)
Reid Spencer522ca7c2007-02-25 01:56:07 +00001118 return APInt(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001119 else
Reid Spencer522ca7c2007-02-25 01:56:07 +00001120 return APInt(BitWidth, this->VAL >> shiftAmt);
Chris Lattnerdad2d092007-05-03 18:15:36 +00001121 }
Reid Spencer522ca7c2007-02-25 01:56:07 +00001122
Reid Spencer44eef162007-02-26 01:19:48 +00001123 // If all the bits were shifted out, the result is 0. This avoids issues
1124 // with shifting by the size of the integer type, which produces undefined
1125 // results. We define these "undefined results" to always be 0.
Chad Rosier3d464d82012-06-08 18:04:52 +00001126 if (shiftAmt >= BitWidth)
Reid Spencer44eef162007-02-26 01:19:48 +00001127 return APInt(BitWidth, 0);
1128
Reid Spencerfffdf102007-05-17 06:26:29 +00001129 // If none of the bits are shifted out, the result is *this. This avoids
Eric Christopher820256b2009-08-21 04:06:45 +00001130 // issues with shifting by the size of the integer type, which produces
Reid Spencerfffdf102007-05-17 06:26:29 +00001131 // undefined results in the code below. This is also an optimization.
1132 if (shiftAmt == 0)
1133 return *this;
1134
Reid Spencer44eef162007-02-26 01:19:48 +00001135 // Create some space for the result.
1136 uint64_t * val = new uint64_t[getNumWords()];
1137
1138 // If we are shifting less than a word, compute the shift with a simple carry
1139 if (shiftAmt < APINT_BITS_PER_WORD) {
Richard Smith4f9a8082011-11-23 21:33:37 +00001140 lshrNear(val, pVal, getNumWords(), shiftAmt);
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001141 APInt Result(val, BitWidth);
1142 Result.clearUnusedBits();
1143 return Result;
Reid Spencera41e93b2007-02-25 19:32:03 +00001144 }
1145
Reid Spencer44eef162007-02-26 01:19:48 +00001146 // Compute some values needed by the remaining shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001147 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD;
1148 unsigned offset = shiftAmt / APINT_BITS_PER_WORD;
Reid Spencer44eef162007-02-26 01:19:48 +00001149
1150 // If we are shifting whole words, just move whole words
1151 if (wordShift == 0) {
Chris Lattner77527f52009-01-21 18:09:24 +00001152 for (unsigned i = 0; i < getNumWords() - offset; ++i)
Reid Spencer44eef162007-02-26 01:19:48 +00001153 val[i] = pVal[i+offset];
Chris Lattner77527f52009-01-21 18:09:24 +00001154 for (unsigned i = getNumWords()-offset; i < getNumWords(); i++)
Reid Spencer44eef162007-02-26 01:19:48 +00001155 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001156 APInt Result(val, BitWidth);
1157 Result.clearUnusedBits();
1158 return Result;
Reid Spencer44eef162007-02-26 01:19:48 +00001159 }
1160
Eric Christopher820256b2009-08-21 04:06:45 +00001161 // Shift the low order words
Chris Lattner77527f52009-01-21 18:09:24 +00001162 unsigned breakWord = getNumWords() - offset -1;
1163 for (unsigned i = 0; i < breakWord; ++i)
Reid Spencerd99feaf2007-03-01 05:39:56 +00001164 val[i] = (pVal[i+offset] >> wordShift) |
1165 (pVal[i+offset+1] << (APINT_BITS_PER_WORD - wordShift));
Reid Spencer44eef162007-02-26 01:19:48 +00001166 // Shift the break word.
1167 val[breakWord] = pVal[breakWord+offset] >> wordShift;
1168
1169 // Remaining words are 0
Chris Lattner77527f52009-01-21 18:09:24 +00001170 for (unsigned i = breakWord+1; i < getNumWords(); ++i)
Reid Spencer44eef162007-02-26 01:19:48 +00001171 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001172 APInt Result(val, BitWidth);
1173 Result.clearUnusedBits();
1174 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001175}
1176
Zhou Shenge93db8f2007-02-09 07:48:24 +00001177/// Left-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001178/// @brief Left-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001179APInt APInt::shl(const APInt &shiftAmt) const {
Nick Lewycky030c4502009-01-19 17:42:33 +00001180 // It's undefined behavior in C to shift by BitWidth or greater.
Chris Lattner77527f52009-01-21 18:09:24 +00001181 return shl((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001182}
1183
Chris Lattner77527f52009-01-21 18:09:24 +00001184APInt APInt::shlSlowCase(unsigned shiftAmt) const {
Reid Spencera5c84d92007-02-25 00:56:44 +00001185 // If all the bits were shifted out, the result is 0. This avoids issues
1186 // with shifting by the size of the integer type, which produces undefined
1187 // results. We define these "undefined results" to always be 0.
1188 if (shiftAmt == BitWidth)
1189 return APInt(BitWidth, 0);
1190
Reid Spencer81ee0202007-05-12 18:01:57 +00001191 // If none of the bits are shifted out, the result is *this. This avoids a
1192 // lshr by the words size in the loop below which can produce incorrect
1193 // results. It also avoids the expensive computation below for a common case.
1194 if (shiftAmt == 0)
1195 return *this;
1196
Reid Spencera5c84d92007-02-25 00:56:44 +00001197 // Create some space for the result.
1198 uint64_t * val = new uint64_t[getNumWords()];
1199
1200 // If we are shifting less than a word, do it the easy way
1201 if (shiftAmt < APINT_BITS_PER_WORD) {
1202 uint64_t carry = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001203 for (unsigned i = 0; i < getNumWords(); i++) {
Reid Spencera5c84d92007-02-25 00:56:44 +00001204 val[i] = pVal[i] << shiftAmt | carry;
1205 carry = pVal[i] >> (APINT_BITS_PER_WORD - shiftAmt);
1206 }
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001207 APInt Result(val, BitWidth);
1208 Result.clearUnusedBits();
1209 return Result;
Reid Spencer632ebdf2007-02-24 20:19:37 +00001210 }
1211
Reid Spencera5c84d92007-02-25 00:56:44 +00001212 // Compute some values needed by the remaining shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001213 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD;
1214 unsigned offset = shiftAmt / APINT_BITS_PER_WORD;
Reid Spencera5c84d92007-02-25 00:56:44 +00001215
1216 // If we are shifting whole words, just move whole words
1217 if (wordShift == 0) {
Chris Lattner77527f52009-01-21 18:09:24 +00001218 for (unsigned i = 0; i < offset; i++)
Reid Spencera5c84d92007-02-25 00:56:44 +00001219 val[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001220 for (unsigned i = offset; i < getNumWords(); i++)
Reid Spencera5c84d92007-02-25 00:56:44 +00001221 val[i] = pVal[i-offset];
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001222 APInt Result(val, BitWidth);
1223 Result.clearUnusedBits();
1224 return Result;
Reid Spencer632ebdf2007-02-24 20:19:37 +00001225 }
Reid Spencera5c84d92007-02-25 00:56:44 +00001226
1227 // Copy whole words from this to Result.
Chris Lattner77527f52009-01-21 18:09:24 +00001228 unsigned i = getNumWords() - 1;
Reid Spencera5c84d92007-02-25 00:56:44 +00001229 for (; i > offset; --i)
1230 val[i] = pVal[i-offset] << wordShift |
1231 pVal[i-offset-1] >> (APINT_BITS_PER_WORD - wordShift);
Reid Spencerab0e08a2007-02-25 01:08:58 +00001232 val[offset] = pVal[0] << wordShift;
Reid Spencera5c84d92007-02-25 00:56:44 +00001233 for (i = 0; i < offset; ++i)
1234 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001235 APInt Result(val, BitWidth);
1236 Result.clearUnusedBits();
1237 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001238}
1239
Dan Gohman105c1d42008-02-29 01:40:47 +00001240APInt APInt::rotl(const APInt &rotateAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001241 return rotl((unsigned)rotateAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001242}
1243
Chris Lattner77527f52009-01-21 18:09:24 +00001244APInt APInt::rotl(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001245 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001246 if (rotateAmt == 0)
1247 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001248 return shl(rotateAmt) | lshr(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001249}
1250
Dan Gohman105c1d42008-02-29 01:40:47 +00001251APInt APInt::rotr(const APInt &rotateAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001252 return rotr((unsigned)rotateAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001253}
1254
Chris Lattner77527f52009-01-21 18:09:24 +00001255APInt APInt::rotr(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001256 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001257 if (rotateAmt == 0)
1258 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001259 return lshr(rotateAmt) | shl(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001260}
Reid Spencerd99feaf2007-03-01 05:39:56 +00001261
1262// Square Root - this method computes and returns the square root of "this".
1263// Three mechanisms are used for computation. For small values (<= 5 bits),
1264// a table lookup is done. This gets some performance for common cases. For
1265// values using less than 52 bits, the value is converted to double and then
1266// the libc sqrt function is called. The result is rounded and then converted
1267// back to a uint64_t which is then used to construct the result. Finally,
Eric Christopher820256b2009-08-21 04:06:45 +00001268// the Babylonian method for computing square roots is used.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001269APInt APInt::sqrt() const {
1270
1271 // Determine the magnitude of the value.
Chris Lattner77527f52009-01-21 18:09:24 +00001272 unsigned magnitude = getActiveBits();
Reid Spencerd99feaf2007-03-01 05:39:56 +00001273
1274 // Use a fast table for some small values. This also gets rid of some
1275 // rounding errors in libc sqrt for small values.
1276 if (magnitude <= 5) {
Reid Spencer2f6ad4d2007-03-01 17:47:31 +00001277 static const uint8_t results[32] = {
Reid Spencerc8841d22007-03-01 06:23:32 +00001278 /* 0 */ 0,
1279 /* 1- 2 */ 1, 1,
Eric Christopher820256b2009-08-21 04:06:45 +00001280 /* 3- 6 */ 2, 2, 2, 2,
Reid Spencerc8841d22007-03-01 06:23:32 +00001281 /* 7-12 */ 3, 3, 3, 3, 3, 3,
1282 /* 13-20 */ 4, 4, 4, 4, 4, 4, 4, 4,
1283 /* 21-30 */ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1284 /* 31 */ 6
1285 };
1286 return APInt(BitWidth, results[ (isSingleWord() ? VAL : pVal[0]) ]);
Reid Spencerd99feaf2007-03-01 05:39:56 +00001287 }
1288
1289 // If the magnitude of the value fits in less than 52 bits (the precision of
1290 // an IEEE double precision floating point value), then we can use the
1291 // libc sqrt function which will probably use a hardware sqrt computation.
1292 // This should be faster than the algorithm below.
Jeff Cohenb622c112007-03-05 00:00:42 +00001293 if (magnitude < 52) {
Eric Christopher820256b2009-08-21 04:06:45 +00001294 return APInt(BitWidth,
Reid Spencerd99feaf2007-03-01 05:39:56 +00001295 uint64_t(::round(::sqrt(double(isSingleWord()?VAL:pVal[0])))));
Jeff Cohenb622c112007-03-05 00:00:42 +00001296 }
Reid Spencerd99feaf2007-03-01 05:39:56 +00001297
1298 // Okay, all the short cuts are exhausted. We must compute it. The following
1299 // is a classical Babylonian method for computing the square root. This code
Sanjay Patel4cb54e02014-09-11 15:41:01 +00001300 // was adapted to APInt from a wikipedia article on such computations.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001301 // See http://www.wikipedia.org/ and go to the page named
Eric Christopher820256b2009-08-21 04:06:45 +00001302 // Calculate_an_integer_square_root.
Chris Lattner77527f52009-01-21 18:09:24 +00001303 unsigned nbits = BitWidth, i = 4;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001304 APInt testy(BitWidth, 16);
1305 APInt x_old(BitWidth, 1);
1306 APInt x_new(BitWidth, 0);
1307 APInt two(BitWidth, 2);
1308
1309 // Select a good starting value using binary logarithms.
Eric Christopher820256b2009-08-21 04:06:45 +00001310 for (;; i += 2, testy = testy.shl(2))
Reid Spencerd99feaf2007-03-01 05:39:56 +00001311 if (i >= nbits || this->ule(testy)) {
1312 x_old = x_old.shl(i / 2);
1313 break;
1314 }
1315
Eric Christopher820256b2009-08-21 04:06:45 +00001316 // Use the Babylonian method to arrive at the integer square root:
Reid Spencerd99feaf2007-03-01 05:39:56 +00001317 for (;;) {
1318 x_new = (this->udiv(x_old) + x_old).udiv(two);
1319 if (x_old.ule(x_new))
1320 break;
1321 x_old = x_new;
1322 }
1323
1324 // Make sure we return the closest approximation
Eric Christopher820256b2009-08-21 04:06:45 +00001325 // NOTE: The rounding calculation below is correct. It will produce an
Reid Spencercf817562007-03-02 04:21:55 +00001326 // off-by-one discrepancy with results from pari/gp. That discrepancy has been
Eric Christopher820256b2009-08-21 04:06:45 +00001327 // determined to be a rounding issue with pari/gp as it begins to use a
Reid Spencercf817562007-03-02 04:21:55 +00001328 // floating point representation after 192 bits. There are no discrepancies
1329 // between this algorithm and pari/gp for bit widths < 192 bits.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001330 APInt square(x_old * x_old);
1331 APInt nextSquare((x_old + 1) * (x_old +1));
1332 if (this->ult(square))
1333 return x_old;
David Blaikie54c94622011-12-01 20:58:30 +00001334 assert(this->ule(nextSquare) && "Error in APInt::sqrt computation");
1335 APInt midpoint((nextSquare - square).udiv(two));
1336 APInt offset(*this - square);
1337 if (offset.ult(midpoint))
1338 return x_old;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001339 return x_old + 1;
1340}
1341
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001342/// Computes the multiplicative inverse of this APInt for a given modulo. The
1343/// iterative extended Euclidean algorithm is used to solve for this value,
1344/// however we simplify it to speed up calculating only the inverse, and take
1345/// advantage of div+rem calculations. We also use some tricks to avoid copying
1346/// (potentially large) APInts around.
1347APInt APInt::multiplicativeInverse(const APInt& modulo) const {
1348 assert(ult(modulo) && "This APInt must be smaller than the modulo");
1349
1350 // Using the properties listed at the following web page (accessed 06/21/08):
1351 // http://www.numbertheory.org/php/euclid.html
1352 // (especially the properties numbered 3, 4 and 9) it can be proved that
1353 // BitWidth bits suffice for all the computations in the algorithm implemented
1354 // below. More precisely, this number of bits suffice if the multiplicative
1355 // inverse exists, but may not suffice for the general extended Euclidean
1356 // algorithm.
1357
1358 APInt r[2] = { modulo, *this };
1359 APInt t[2] = { APInt(BitWidth, 0), APInt(BitWidth, 1) };
1360 APInt q(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001361
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001362 unsigned i;
1363 for (i = 0; r[i^1] != 0; i ^= 1) {
1364 // An overview of the math without the confusing bit-flipping:
1365 // q = r[i-2] / r[i-1]
1366 // r[i] = r[i-2] % r[i-1]
1367 // t[i] = t[i-2] - t[i-1] * q
1368 udivrem(r[i], r[i^1], q, r[i]);
1369 t[i] -= t[i^1] * q;
1370 }
1371
1372 // If this APInt and the modulo are not coprime, there is no multiplicative
1373 // inverse, so return 0. We check this by looking at the next-to-last
1374 // remainder, which is the gcd(*this,modulo) as calculated by the Euclidean
1375 // algorithm.
1376 if (r[i] != 1)
1377 return APInt(BitWidth, 0);
1378
1379 // The next-to-last t is the multiplicative inverse. However, we are
1380 // interested in a positive inverse. Calcuate a positive one from a negative
1381 // one if necessary. A simple addition of the modulo suffices because
Wojciech Matyjewiczf0d21cd2008-07-20 15:55:14 +00001382 // abs(t[i]) is known to be less than *this/2 (see the link above).
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001383 return t[i].isNegative() ? t[i] + modulo : t[i];
1384}
1385
Jay Foadfe0c6482009-04-30 10:15:35 +00001386/// Calculate the magic numbers required to implement a signed integer division
1387/// by a constant as a sequence of multiplies, adds and shifts. Requires that
1388/// the divisor not be 0, 1, or -1. Taken from "Hacker's Delight", Henry S.
1389/// Warren, Jr., chapter 10.
1390APInt::ms APInt::magic() const {
1391 const APInt& d = *this;
1392 unsigned p;
1393 APInt ad, anc, delta, q1, r1, q2, r2, t;
Jay Foadfe0c6482009-04-30 10:15:35 +00001394 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
Jay Foadfe0c6482009-04-30 10:15:35 +00001395 struct ms mag;
Eric Christopher820256b2009-08-21 04:06:45 +00001396
Jay Foadfe0c6482009-04-30 10:15:35 +00001397 ad = d.abs();
1398 t = signedMin + (d.lshr(d.getBitWidth() - 1));
1399 anc = t - 1 - t.urem(ad); // absolute value of nc
1400 p = d.getBitWidth() - 1; // initialize p
1401 q1 = signedMin.udiv(anc); // initialize q1 = 2p/abs(nc)
1402 r1 = signedMin - q1*anc; // initialize r1 = rem(2p,abs(nc))
1403 q2 = signedMin.udiv(ad); // initialize q2 = 2p/abs(d)
1404 r2 = signedMin - q2*ad; // initialize r2 = rem(2p,abs(d))
1405 do {
1406 p = p + 1;
1407 q1 = q1<<1; // update q1 = 2p/abs(nc)
1408 r1 = r1<<1; // update r1 = rem(2p/abs(nc))
1409 if (r1.uge(anc)) { // must be unsigned comparison
1410 q1 = q1 + 1;
1411 r1 = r1 - anc;
1412 }
1413 q2 = q2<<1; // update q2 = 2p/abs(d)
1414 r2 = r2<<1; // update r2 = rem(2p/abs(d))
1415 if (r2.uge(ad)) { // must be unsigned comparison
1416 q2 = q2 + 1;
1417 r2 = r2 - ad;
1418 }
1419 delta = ad - r2;
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001420 } while (q1.ult(delta) || (q1 == delta && r1 == 0));
Eric Christopher820256b2009-08-21 04:06:45 +00001421
Jay Foadfe0c6482009-04-30 10:15:35 +00001422 mag.m = q2 + 1;
1423 if (d.isNegative()) mag.m = -mag.m; // resulting magic number
1424 mag.s = p - d.getBitWidth(); // resulting shift
1425 return mag;
1426}
1427
1428/// Calculate the magic numbers required to implement an unsigned integer
1429/// division by a constant as a sequence of multiplies, adds and shifts.
1430/// Requires that the divisor not be 0. Taken from "Hacker's Delight", Henry
1431/// S. Warren, Jr., chapter 10.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001432/// LeadingZeros can be used to simplify the calculation if the upper bits
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001433/// of the divided value are known zero.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001434APInt::mu APInt::magicu(unsigned LeadingZeros) const {
Jay Foadfe0c6482009-04-30 10:15:35 +00001435 const APInt& d = *this;
1436 unsigned p;
1437 APInt nc, delta, q1, r1, q2, r2;
1438 struct mu magu;
1439 magu.a = 0; // initialize "add" indicator
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001440 APInt allOnes = APInt::getAllOnesValue(d.getBitWidth()).lshr(LeadingZeros);
Jay Foadfe0c6482009-04-30 10:15:35 +00001441 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
1442 APInt signedMax = APInt::getSignedMaxValue(d.getBitWidth());
1443
Benjamin Kramer3aab6a82012-07-11 18:31:59 +00001444 nc = allOnes - (allOnes - d).urem(d);
Jay Foadfe0c6482009-04-30 10:15:35 +00001445 p = d.getBitWidth() - 1; // initialize p
1446 q1 = signedMin.udiv(nc); // initialize q1 = 2p/nc
1447 r1 = signedMin - q1*nc; // initialize r1 = rem(2p,nc)
1448 q2 = signedMax.udiv(d); // initialize q2 = (2p-1)/d
1449 r2 = signedMax - q2*d; // initialize r2 = rem((2p-1),d)
1450 do {
1451 p = p + 1;
1452 if (r1.uge(nc - r1)) {
1453 q1 = q1 + q1 + 1; // update q1
1454 r1 = r1 + r1 - nc; // update r1
1455 }
1456 else {
1457 q1 = q1+q1; // update q1
1458 r1 = r1+r1; // update r1
1459 }
1460 if ((r2 + 1).uge(d - r2)) {
1461 if (q2.uge(signedMax)) magu.a = 1;
1462 q2 = q2+q2 + 1; // update q2
1463 r2 = r2+r2 + 1 - d; // update r2
1464 }
1465 else {
1466 if (q2.uge(signedMin)) magu.a = 1;
1467 q2 = q2+q2; // update q2
1468 r2 = r2+r2 + 1; // update r2
1469 }
1470 delta = d - 1 - r2;
1471 } while (p < d.getBitWidth()*2 &&
1472 (q1.ult(delta) || (q1 == delta && r1 == 0)));
1473 magu.m = q2 + 1; // resulting magic number
1474 magu.s = p - d.getBitWidth(); // resulting shift
1475 return magu;
1476}
1477
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001478/// Implementation of Knuth's Algorithm D (Division of nonnegative integers)
1479/// from "Art of Computer Programming, Volume 2", section 4.3.1, p. 272. The
1480/// variables here have the same names as in the algorithm. Comments explain
1481/// the algorithm and any deviation from it.
Chris Lattner77527f52009-01-21 18:09:24 +00001482static void KnuthDiv(unsigned *u, unsigned *v, unsigned *q, unsigned* r,
1483 unsigned m, unsigned n) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001484 assert(u && "Must provide dividend");
1485 assert(v && "Must provide divisor");
1486 assert(q && "Must provide quotient");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001487 assert(u != v && u != q && v != q && "Must use different memory");
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001488 assert(n>1 && "n must be > 1");
1489
Yaron Keren39fc5a62015-03-26 19:45:19 +00001490 // b denotes the base of the number system. In our case b is 2^32.
1491 LLVM_CONSTEXPR uint64_t b = uint64_t(1) << 32;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001492
David Greenef32fcb42010-01-05 01:28:52 +00001493 DEBUG(dbgs() << "KnuthDiv: m=" << m << " n=" << n << '\n');
1494 DEBUG(dbgs() << "KnuthDiv: original:");
1495 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1496 DEBUG(dbgs() << " by");
1497 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1498 DEBUG(dbgs() << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001499 // D1. [Normalize.] Set d = b / (v[n-1] + 1) and multiply all the digits of
1500 // u and v by d. Note that we have taken Knuth's advice here to use a power
1501 // of 2 value for d such that d * v[n-1] >= b/2 (b is the base). A power of
1502 // 2 allows us to shift instead of multiply and it is easy to determine the
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001503 // shift amount from the leading zeros. We are basically normalizing the u
1504 // and v so that its high bits are shifted to the top of v's range without
1505 // overflow. Note that this can require an extra word in u so that u must
1506 // be of length m+n+1.
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001507 unsigned shift = countLeadingZeros(v[n-1]);
Chris Lattner77527f52009-01-21 18:09:24 +00001508 unsigned v_carry = 0;
1509 unsigned u_carry = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001510 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001511 for (unsigned i = 0; i < m+n; ++i) {
1512 unsigned u_tmp = u[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001513 u[i] = (u[i] << shift) | u_carry;
1514 u_carry = u_tmp;
Reid Spencer100502d2007-02-17 03:16:00 +00001515 }
Chris Lattner77527f52009-01-21 18:09:24 +00001516 for (unsigned i = 0; i < n; ++i) {
1517 unsigned v_tmp = v[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001518 v[i] = (v[i] << shift) | v_carry;
1519 v_carry = v_tmp;
1520 }
1521 }
1522 u[m+n] = u_carry;
Yaron Keren39fc5a62015-03-26 19:45:19 +00001523
David Greenef32fcb42010-01-05 01:28:52 +00001524 DEBUG(dbgs() << "KnuthDiv: normal:");
1525 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1526 DEBUG(dbgs() << " by");
1527 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1528 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001529
1530 // D2. [Initialize j.] Set j to m. This is the loop counter over the places.
1531 int j = m;
1532 do {
David Greenef32fcb42010-01-05 01:28:52 +00001533 DEBUG(dbgs() << "KnuthDiv: quotient digit #" << j << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001534 // D3. [Calculate q'.].
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001535 // Set qp = (u[j+n]*b + u[j+n-1]) / v[n-1]. (qp=qprime=q')
1536 // Set rp = (u[j+n]*b + u[j+n-1]) % v[n-1]. (rp=rprime=r')
1537 // Now test if qp == b or qp*v[n-2] > b*rp + u[j+n-2]; if so, decrease
1538 // qp by 1, inrease rp by v[n-1], and repeat this test if rp < b. The test
1539 // on v[n-2] determines at high speed most of the cases in which the trial
Eric Christopher820256b2009-08-21 04:06:45 +00001540 // value qp is one too large, and it eliminates all cases where qp is two
1541 // too large.
Reid Spencercb292e42007-02-23 01:57:13 +00001542 uint64_t dividend = ((uint64_t(u[j+n]) << 32) + u[j+n-1]);
David Greenef32fcb42010-01-05 01:28:52 +00001543 DEBUG(dbgs() << "KnuthDiv: dividend == " << dividend << '\n');
Reid Spencercb292e42007-02-23 01:57:13 +00001544 uint64_t qp = dividend / v[n-1];
1545 uint64_t rp = dividend % v[n-1];
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001546 if (qp == b || qp*v[n-2] > b*rp + u[j+n-2]) {
1547 qp--;
1548 rp += v[n-1];
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001549 if (rp < b && (qp == b || qp*v[n-2] > b*rp + u[j+n-2]))
Reid Spencera5e0d202007-02-24 03:58:46 +00001550 qp--;
Reid Spencercb292e42007-02-23 01:57:13 +00001551 }
David Greenef32fcb42010-01-05 01:28:52 +00001552 DEBUG(dbgs() << "KnuthDiv: qp == " << qp << ", rp == " << rp << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001553
Reid Spencercb292e42007-02-23 01:57:13 +00001554 // D4. [Multiply and subtract.] Replace (u[j+n]u[j+n-1]...u[j]) with
1555 // (u[j+n]u[j+n-1]..u[j]) - qp * (v[n-1]...v[1]v[0]). This computation
1556 // consists of a simple multiplication by a one-place number, combined with
Eric Christopher820256b2009-08-21 04:06:45 +00001557 // a subtraction.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001558 // The digits (u[j+n]...u[j]) should be kept positive; if the result of
1559 // this step is actually negative, (u[j+n]...u[j]) should be left as the
1560 // true value plus b**(n+1), namely as the b's complement of
1561 // the true value, and a "borrow" to the left should be remembered.
Pawel Bylica86ac4472015-04-24 07:38:39 +00001562 int64_t borrow = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001563 for (unsigned i = 0; i < n; ++i) {
Pawel Bylica86ac4472015-04-24 07:38:39 +00001564 uint64_t p = uint64_t(qp) * uint64_t(v[i]);
1565 int64_t subres = int64_t(u[j+i]) - borrow - (unsigned)p;
1566 u[j+i] = (unsigned)subres;
1567 borrow = (p >> 32) - (subres >> 32);
1568 DEBUG(dbgs() << "KnuthDiv: u[j+i] = " << u[j+i]
Daniel Dunbar763ace92009-07-13 05:27:30 +00001569 << ", borrow = " << borrow << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001570 }
Pawel Bylica86ac4472015-04-24 07:38:39 +00001571 bool isNeg = u[j+n] < borrow;
1572 u[j+n] -= (unsigned)borrow;
1573
David Greenef32fcb42010-01-05 01:28:52 +00001574 DEBUG(dbgs() << "KnuthDiv: after subtraction:");
1575 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1576 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001577
Eric Christopher820256b2009-08-21 04:06:45 +00001578 // D5. [Test remainder.] Set q[j] = qp. If the result of step D4 was
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001579 // negative, go to step D6; otherwise go on to step D7.
Chris Lattner77527f52009-01-21 18:09:24 +00001580 q[j] = (unsigned)qp;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001581 if (isNeg) {
Eric Christopher820256b2009-08-21 04:06:45 +00001582 // D6. [Add back]. The probability that this step is necessary is very
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001583 // small, on the order of only 2/b. Make sure that test data accounts for
Eric Christopher820256b2009-08-21 04:06:45 +00001584 // this possibility. Decrease q[j] by 1
Reid Spencercb292e42007-02-23 01:57:13 +00001585 q[j]--;
Eric Christopher820256b2009-08-21 04:06:45 +00001586 // and add (0v[n-1]...v[1]v[0]) to (u[j+n]u[j+n-1]...u[j+1]u[j]).
1587 // A carry will occur to the left of u[j+n], and it should be ignored
Reid Spencercb292e42007-02-23 01:57:13 +00001588 // since it cancels with the borrow that occurred in D4.
1589 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001590 for (unsigned i = 0; i < n; i++) {
1591 unsigned limit = std::min(u[j+i],v[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001592 u[j+i] += v[i] + carry;
Reid Spencera5e0d202007-02-24 03:58:46 +00001593 carry = u[j+i] < limit || (carry && u[j+i] == limit);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001594 }
Reid Spencera5e0d202007-02-24 03:58:46 +00001595 u[j+n] += carry;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001596 }
David Greenef32fcb42010-01-05 01:28:52 +00001597 DEBUG(dbgs() << "KnuthDiv: after correction:");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001598 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
David Greenef32fcb42010-01-05 01:28:52 +00001599 DEBUG(dbgs() << "\nKnuthDiv: digit result = " << q[j] << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001600
Reid Spencercb292e42007-02-23 01:57:13 +00001601 // D7. [Loop on j.] Decrease j by one. Now if j >= 0, go back to D3.
1602 } while (--j >= 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001603
David Greenef32fcb42010-01-05 01:28:52 +00001604 DEBUG(dbgs() << "KnuthDiv: quotient:");
1605 DEBUG(for (int i = m; i >=0; i--) dbgs() <<" " << q[i]);
1606 DEBUG(dbgs() << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001607
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001608 // D8. [Unnormalize]. Now q[...] is the desired quotient, and the desired
1609 // remainder may be obtained by dividing u[...] by d. If r is non-null we
1610 // compute the remainder (urem uses this).
1611 if (r) {
1612 // The value d is expressed by the "shift" value above since we avoided
1613 // multiplication by d by using a shift left. So, all we have to do is
1614 // shift right here. In order to mak
Reid Spencer468ad9112007-02-24 20:38:01 +00001615 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001616 unsigned carry = 0;
David Greenef32fcb42010-01-05 01:28:52 +00001617 DEBUG(dbgs() << "KnuthDiv: remainder:");
Reid Spencer468ad9112007-02-24 20:38:01 +00001618 for (int i = n-1; i >= 0; i--) {
1619 r[i] = (u[i] >> shift) | carry;
1620 carry = u[i] << (32 - shift);
David Greenef32fcb42010-01-05 01:28:52 +00001621 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001622 }
1623 } else {
1624 for (int i = n-1; i >= 0; i--) {
1625 r[i] = u[i];
David Greenef32fcb42010-01-05 01:28:52 +00001626 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001627 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001628 }
David Greenef32fcb42010-01-05 01:28:52 +00001629 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001630 }
David Greenef32fcb42010-01-05 01:28:52 +00001631 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001632}
1633
Chris Lattner77527f52009-01-21 18:09:24 +00001634void APInt::divide(const APInt LHS, unsigned lhsWords,
1635 const APInt &RHS, unsigned rhsWords,
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001636 APInt *Quotient, APInt *Remainder)
1637{
1638 assert(lhsWords >= rhsWords && "Fractional result");
1639
Eric Christopher820256b2009-08-21 04:06:45 +00001640 // First, compose the values into an array of 32-bit words instead of
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001641 // 64-bit words. This is a necessity of both the "short division" algorithm
Dan Gohman4a618822010-02-10 16:03:48 +00001642 // and the Knuth "classical algorithm" which requires there to be native
Eric Christopher820256b2009-08-21 04:06:45 +00001643 // operations for +, -, and * on an m bit value with an m*2 bit result. We
1644 // can't use 64-bit operands here because we don't have native results of
1645 // 128-bits. Furthermore, casting the 64-bit values to 32-bit values won't
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001646 // work on large-endian machines.
Dan Gohmancff69532009-04-01 18:45:54 +00001647 uint64_t mask = ~0ull >> (sizeof(unsigned)*CHAR_BIT);
Chris Lattner77527f52009-01-21 18:09:24 +00001648 unsigned n = rhsWords * 2;
1649 unsigned m = (lhsWords * 2) - n;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001650
1651 // Allocate space for the temporary values we need either on the stack, if
1652 // it will fit, or on the heap if it won't.
Chris Lattner77527f52009-01-21 18:09:24 +00001653 unsigned SPACE[128];
Craig Topperc10719f2014-04-07 04:17:22 +00001654 unsigned *U = nullptr;
1655 unsigned *V = nullptr;
1656 unsigned *Q = nullptr;
1657 unsigned *R = nullptr;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001658 if ((Remainder?4:3)*n+2*m+1 <= 128) {
1659 U = &SPACE[0];
1660 V = &SPACE[m+n+1];
1661 Q = &SPACE[(m+n+1) + n];
1662 if (Remainder)
1663 R = &SPACE[(m+n+1) + n + (m+n)];
1664 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001665 U = new unsigned[m + n + 1];
1666 V = new unsigned[n];
1667 Q = new unsigned[m+n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001668 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001669 R = new unsigned[n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001670 }
1671
1672 // Initialize the dividend
Chris Lattner77527f52009-01-21 18:09:24 +00001673 memset(U, 0, (m+n+1)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001674 for (unsigned i = 0; i < lhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001675 uint64_t tmp = (LHS.getNumWords() == 1 ? LHS.VAL : LHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001676 U[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001677 U[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001678 }
1679 U[m+n] = 0; // this extra word is for "spill" in the Knuth algorithm.
1680
Reid Spencer522ca7c2007-02-25 01:56:07 +00001681 // Initialize the divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001682 memset(V, 0, (n)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001683 for (unsigned i = 0; i < rhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001684 uint64_t tmp = (RHS.getNumWords() == 1 ? RHS.VAL : RHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001685 V[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001686 V[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001687 }
1688
Reid Spencer522ca7c2007-02-25 01:56:07 +00001689 // initialize the quotient and remainder
Chris Lattner77527f52009-01-21 18:09:24 +00001690 memset(Q, 0, (m+n) * sizeof(unsigned));
Reid Spencer522ca7c2007-02-25 01:56:07 +00001691 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001692 memset(R, 0, n * sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001693
Eric Christopher820256b2009-08-21 04:06:45 +00001694 // Now, adjust m and n for the Knuth division. n is the number of words in
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001695 // the divisor. m is the number of words by which the dividend exceeds the
Eric Christopher820256b2009-08-21 04:06:45 +00001696 // divisor (i.e. m+n is the length of the dividend). These sizes must not
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001697 // contain any zero words or the Knuth algorithm fails.
1698 for (unsigned i = n; i > 0 && V[i-1] == 0; i--) {
1699 n--;
1700 m++;
1701 }
1702 for (unsigned i = m+n; i > 0 && U[i-1] == 0; i--)
1703 m--;
1704
1705 // If we're left with only a single word for the divisor, Knuth doesn't work
1706 // so we implement the short division algorithm here. This is much simpler
1707 // and faster because we are certain that we can divide a 64-bit quantity
1708 // by a 32-bit quantity at hardware speed and short division is simply a
1709 // series of such operations. This is just like doing short division but we
1710 // are using base 2^32 instead of base 10.
1711 assert(n != 0 && "Divide by zero?");
1712 if (n == 1) {
Chris Lattner77527f52009-01-21 18:09:24 +00001713 unsigned divisor = V[0];
1714 unsigned remainder = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001715 for (int i = m+n-1; i >= 0; i--) {
1716 uint64_t partial_dividend = uint64_t(remainder) << 32 | U[i];
1717 if (partial_dividend == 0) {
1718 Q[i] = 0;
1719 remainder = 0;
1720 } else if (partial_dividend < divisor) {
1721 Q[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001722 remainder = (unsigned)partial_dividend;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001723 } else if (partial_dividend == divisor) {
1724 Q[i] = 1;
1725 remainder = 0;
1726 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001727 Q[i] = (unsigned)(partial_dividend / divisor);
1728 remainder = (unsigned)(partial_dividend - (Q[i] * divisor));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001729 }
1730 }
1731 if (R)
1732 R[0] = remainder;
1733 } else {
1734 // Now we're ready to invoke the Knuth classical divide algorithm. In this
1735 // case n > 1.
1736 KnuthDiv(U, V, Q, R, m, n);
1737 }
1738
1739 // If the caller wants the quotient
1740 if (Quotient) {
1741 // Set up the Quotient value's memory.
1742 if (Quotient->BitWidth != LHS.BitWidth) {
1743 if (Quotient->isSingleWord())
1744 Quotient->VAL = 0;
1745 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001746 delete [] Quotient->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001747 Quotient->BitWidth = LHS.BitWidth;
1748 if (!Quotient->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001749 Quotient->pVal = getClearedMemory(Quotient->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001750 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001751 Quotient->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001752
Eric Christopher820256b2009-08-21 04:06:45 +00001753 // The quotient is in Q. Reconstitute the quotient into Quotient's low
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001754 // order words.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001755 // This case is currently dead as all users of divide() handle trivial cases
1756 // earlier.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001757 if (lhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001758 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001759 uint64_t(Q[0]) | (uint64_t(Q[1]) << (APINT_BITS_PER_WORD / 2));
1760 if (Quotient->isSingleWord())
1761 Quotient->VAL = tmp;
1762 else
1763 Quotient->pVal[0] = tmp;
1764 } else {
1765 assert(!Quotient->isSingleWord() && "Quotient APInt not large enough");
1766 for (unsigned i = 0; i < lhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001767 Quotient->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001768 uint64_t(Q[i*2]) | (uint64_t(Q[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1769 }
1770 }
1771
1772 // If the caller wants the remainder
1773 if (Remainder) {
1774 // Set up the Remainder value's memory.
1775 if (Remainder->BitWidth != RHS.BitWidth) {
1776 if (Remainder->isSingleWord())
1777 Remainder->VAL = 0;
1778 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001779 delete [] Remainder->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001780 Remainder->BitWidth = RHS.BitWidth;
1781 if (!Remainder->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001782 Remainder->pVal = getClearedMemory(Remainder->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001783 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001784 Remainder->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001785
1786 // The remainder is in R. Reconstitute the remainder into Remainder's low
1787 // order words.
1788 if (rhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001789 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001790 uint64_t(R[0]) | (uint64_t(R[1]) << (APINT_BITS_PER_WORD / 2));
1791 if (Remainder->isSingleWord())
1792 Remainder->VAL = tmp;
1793 else
1794 Remainder->pVal[0] = tmp;
1795 } else {
1796 assert(!Remainder->isSingleWord() && "Remainder APInt not large enough");
1797 for (unsigned i = 0; i < rhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001798 Remainder->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001799 uint64_t(R[i*2]) | (uint64_t(R[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1800 }
1801 }
1802
1803 // Clean up the memory we allocated.
Reid Spencer522ca7c2007-02-25 01:56:07 +00001804 if (U != &SPACE[0]) {
1805 delete [] U;
1806 delete [] V;
1807 delete [] Q;
1808 delete [] R;
1809 }
Reid Spencer100502d2007-02-17 03:16:00 +00001810}
1811
Reid Spencer1d072122007-02-16 22:36:51 +00001812APInt APInt::udiv(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001813 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001814
1815 // First, deal with the easy case
1816 if (isSingleWord()) {
1817 assert(RHS.VAL != 0 && "Divide by zero?");
1818 return APInt(BitWidth, VAL / RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001819 }
Reid Spencer39867762007-02-17 02:07:07 +00001820
Reid Spencer39867762007-02-17 02:07:07 +00001821 // Get some facts about the LHS and RHS number of bits and words
Chris Lattner77527f52009-01-21 18:09:24 +00001822 unsigned rhsBits = RHS.getActiveBits();
1823 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001824 assert(rhsWords && "Divided by zero???");
Chris Lattner77527f52009-01-21 18:09:24 +00001825 unsigned lhsBits = this->getActiveBits();
1826 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001827
1828 // Deal with some degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001829 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +00001830 // 0 / X ===> 0
Eric Christopher820256b2009-08-21 04:06:45 +00001831 return APInt(BitWidth, 0);
Reid Spencer58a6a432007-02-21 08:21:52 +00001832 else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001833 // X / Y ===> 0, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001834 return APInt(BitWidth, 0);
1835 } else if (*this == RHS) {
1836 // X / X ===> 1
1837 return APInt(BitWidth, 1);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001838 } else if (lhsWords == 1 && rhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001839 // All high words are zero, just use native divide
Reid Spencer58a6a432007-02-21 08:21:52 +00001840 return APInt(BitWidth, this->pVal[0] / RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001841 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001842
1843 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
1844 APInt Quotient(1,0); // to hold result.
Craig Topperc10719f2014-04-07 04:17:22 +00001845 divide(*this, lhsWords, RHS, rhsWords, &Quotient, nullptr);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001846 return Quotient;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001847}
1848
Jakub Staszak6605c602013-02-20 00:17:42 +00001849APInt APInt::sdiv(const APInt &RHS) const {
1850 if (isNegative()) {
1851 if (RHS.isNegative())
1852 return (-(*this)).udiv(-RHS);
1853 return -((-(*this)).udiv(RHS));
1854 }
1855 if (RHS.isNegative())
1856 return -(this->udiv(-RHS));
1857 return this->udiv(RHS);
1858}
1859
Reid Spencer1d072122007-02-16 22:36:51 +00001860APInt APInt::urem(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001861 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001862 if (isSingleWord()) {
1863 assert(RHS.VAL != 0 && "Remainder by zero?");
1864 return APInt(BitWidth, VAL % RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001865 }
Reid Spencer39867762007-02-17 02:07:07 +00001866
Reid Spencer58a6a432007-02-21 08:21:52 +00001867 // Get some facts about the LHS
Chris Lattner77527f52009-01-21 18:09:24 +00001868 unsigned lhsBits = getActiveBits();
1869 unsigned lhsWords = !lhsBits ? 0 : (whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001870
1871 // Get some facts about the RHS
Chris Lattner77527f52009-01-21 18:09:24 +00001872 unsigned rhsBits = RHS.getActiveBits();
1873 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001874 assert(rhsWords && "Performing remainder operation by zero ???");
1875
Reid Spencer39867762007-02-17 02:07:07 +00001876 // Check the degenerate cases
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001877 if (lhsWords == 0) {
Reid Spencer58a6a432007-02-21 08:21:52 +00001878 // 0 % Y ===> 0
1879 return APInt(BitWidth, 0);
1880 } else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001881 // X % Y ===> X, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001882 return *this;
1883 } else if (*this == RHS) {
Reid Spencer39867762007-02-17 02:07:07 +00001884 // X % X == 0;
Reid Spencer58a6a432007-02-21 08:21:52 +00001885 return APInt(BitWidth, 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001886 } else if (lhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001887 // All high words are zero, just use native remainder
Reid Spencer58a6a432007-02-21 08:21:52 +00001888 return APInt(BitWidth, pVal[0] % RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001889 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001890
Reid Spencer4c50b522007-05-13 23:44:59 +00001891 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001892 APInt Remainder(1,0);
Craig Topperc10719f2014-04-07 04:17:22 +00001893 divide(*this, lhsWords, RHS, rhsWords, nullptr, &Remainder);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001894 return Remainder;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001895}
Reid Spencer100502d2007-02-17 03:16:00 +00001896
Jakub Staszak6605c602013-02-20 00:17:42 +00001897APInt APInt::srem(const APInt &RHS) const {
1898 if (isNegative()) {
1899 if (RHS.isNegative())
1900 return -((-(*this)).urem(-RHS));
1901 return -((-(*this)).urem(RHS));
1902 }
1903 if (RHS.isNegative())
1904 return this->urem(-RHS);
1905 return this->urem(RHS);
1906}
1907
Eric Christopher820256b2009-08-21 04:06:45 +00001908void APInt::udivrem(const APInt &LHS, const APInt &RHS,
Reid Spencer4c50b522007-05-13 23:44:59 +00001909 APInt &Quotient, APInt &Remainder) {
David Majnemer7f039202014-12-14 09:41:56 +00001910 assert(LHS.BitWidth == RHS.BitWidth && "Bit widths must be the same");
1911
1912 // First, deal with the easy case
1913 if (LHS.isSingleWord()) {
1914 assert(RHS.VAL != 0 && "Divide by zero?");
1915 uint64_t QuotVal = LHS.VAL / RHS.VAL;
1916 uint64_t RemVal = LHS.VAL % RHS.VAL;
1917 Quotient = APInt(LHS.BitWidth, QuotVal);
1918 Remainder = APInt(LHS.BitWidth, RemVal);
1919 return;
1920 }
1921
Reid Spencer4c50b522007-05-13 23:44:59 +00001922 // Get some size facts about the dividend and divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001923 unsigned lhsBits = LHS.getActiveBits();
1924 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
1925 unsigned rhsBits = RHS.getActiveBits();
1926 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer4c50b522007-05-13 23:44:59 +00001927
1928 // Check the degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001929 if (lhsWords == 0) {
Reid Spencer4c50b522007-05-13 23:44:59 +00001930 Quotient = 0; // 0 / Y ===> 0
1931 Remainder = 0; // 0 % Y ===> 0
1932 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001933 }
1934
1935 if (lhsWords < rhsWords || LHS.ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001936 Remainder = LHS; // X % Y ===> X, iff X < Y
1937 Quotient = 0; // X / Y ===> 0, iff X < Y
Reid Spencer4c50b522007-05-13 23:44:59 +00001938 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001939 }
1940
Reid Spencer4c50b522007-05-13 23:44:59 +00001941 if (LHS == RHS) {
1942 Quotient = 1; // X / X ===> 1
1943 Remainder = 0; // X % X ===> 0;
1944 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001945 }
1946
Reid Spencer4c50b522007-05-13 23:44:59 +00001947 if (lhsWords == 1 && rhsWords == 1) {
1948 // There is only one word to consider so use the native versions.
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001949 uint64_t lhsValue = LHS.isSingleWord() ? LHS.VAL : LHS.pVal[0];
1950 uint64_t rhsValue = RHS.isSingleWord() ? RHS.VAL : RHS.pVal[0];
1951 Quotient = APInt(LHS.getBitWidth(), lhsValue / rhsValue);
1952 Remainder = APInt(LHS.getBitWidth(), lhsValue % rhsValue);
Reid Spencer4c50b522007-05-13 23:44:59 +00001953 return;
1954 }
1955
1956 // Okay, lets do it the long way
1957 divide(LHS, lhsWords, RHS, rhsWords, &Quotient, &Remainder);
1958}
1959
Jakub Staszak6605c602013-02-20 00:17:42 +00001960void APInt::sdivrem(const APInt &LHS, const APInt &RHS,
1961 APInt &Quotient, APInt &Remainder) {
1962 if (LHS.isNegative()) {
1963 if (RHS.isNegative())
1964 APInt::udivrem(-LHS, -RHS, Quotient, Remainder);
1965 else {
1966 APInt::udivrem(-LHS, RHS, Quotient, Remainder);
1967 Quotient = -Quotient;
1968 }
1969 Remainder = -Remainder;
1970 } else if (RHS.isNegative()) {
1971 APInt::udivrem(LHS, -RHS, Quotient, Remainder);
1972 Quotient = -Quotient;
1973 } else {
1974 APInt::udivrem(LHS, RHS, Quotient, Remainder);
1975 }
1976}
1977
Chris Lattner2c819b02010-10-13 23:54:10 +00001978APInt APInt::sadd_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001979 APInt Res = *this+RHS;
1980 Overflow = isNonNegative() == RHS.isNonNegative() &&
1981 Res.isNonNegative() != isNonNegative();
1982 return Res;
1983}
1984
Chris Lattner698661c2010-10-14 00:05:07 +00001985APInt APInt::uadd_ov(const APInt &RHS, bool &Overflow) const {
1986 APInt Res = *this+RHS;
1987 Overflow = Res.ult(RHS);
1988 return Res;
1989}
1990
Chris Lattner2c819b02010-10-13 23:54:10 +00001991APInt APInt::ssub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001992 APInt Res = *this - RHS;
1993 Overflow = isNonNegative() != RHS.isNonNegative() &&
1994 Res.isNonNegative() != isNonNegative();
1995 return Res;
1996}
1997
Chris Lattner698661c2010-10-14 00:05:07 +00001998APInt APInt::usub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattnerb9681ad2010-10-14 00:30:00 +00001999 APInt Res = *this-RHS;
2000 Overflow = Res.ugt(*this);
Chris Lattner698661c2010-10-14 00:05:07 +00002001 return Res;
2002}
2003
Chris Lattner2c819b02010-10-13 23:54:10 +00002004APInt APInt::sdiv_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002005 // MININT/-1 --> overflow.
2006 Overflow = isMinSignedValue() && RHS.isAllOnesValue();
2007 return sdiv(RHS);
2008}
2009
Chris Lattner2c819b02010-10-13 23:54:10 +00002010APInt APInt::smul_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002011 APInt Res = *this * RHS;
2012
2013 if (*this != 0 && RHS != 0)
2014 Overflow = Res.sdiv(RHS) != *this || Res.sdiv(*this) != RHS;
2015 else
2016 Overflow = false;
2017 return Res;
2018}
2019
Frits van Bommel0bb2ad22011-03-27 14:26:13 +00002020APInt APInt::umul_ov(const APInt &RHS, bool &Overflow) const {
2021 APInt Res = *this * RHS;
2022
2023 if (*this != 0 && RHS != 0)
2024 Overflow = Res.udiv(RHS) != *this || Res.udiv(*this) != RHS;
2025 else
2026 Overflow = false;
2027 return Res;
2028}
2029
David Majnemera2521382014-10-13 21:48:30 +00002030APInt APInt::sshl_ov(const APInt &ShAmt, bool &Overflow) const {
2031 Overflow = ShAmt.uge(getBitWidth());
Chris Lattner79bdd882010-10-13 23:46:33 +00002032 if (Overflow)
David Majnemera2521382014-10-13 21:48:30 +00002033 return APInt(BitWidth, 0);
Chris Lattner79bdd882010-10-13 23:46:33 +00002034
2035 if (isNonNegative()) // Don't allow sign change.
David Majnemera2521382014-10-13 21:48:30 +00002036 Overflow = ShAmt.uge(countLeadingZeros());
Chris Lattner79bdd882010-10-13 23:46:33 +00002037 else
David Majnemera2521382014-10-13 21:48:30 +00002038 Overflow = ShAmt.uge(countLeadingOnes());
Chris Lattner79bdd882010-10-13 23:46:33 +00002039
2040 return *this << ShAmt;
2041}
2042
David Majnemera2521382014-10-13 21:48:30 +00002043APInt APInt::ushl_ov(const APInt &ShAmt, bool &Overflow) const {
2044 Overflow = ShAmt.uge(getBitWidth());
2045 if (Overflow)
2046 return APInt(BitWidth, 0);
2047
2048 Overflow = ShAmt.ugt(countLeadingZeros());
2049
2050 return *this << ShAmt;
2051}
2052
Chris Lattner79bdd882010-10-13 23:46:33 +00002053
2054
2055
Benjamin Kramer92d89982010-07-14 22:38:02 +00002056void APInt::fromString(unsigned numbits, StringRef str, uint8_t radix) {
Reid Spencer1ba83352007-02-21 03:55:44 +00002057 // Check our assumptions here
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002058 assert(!str.empty() && "Invalid string length");
Douglas Gregor663c0682011-09-14 15:54:46 +00002059 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
2060 radix == 36) &&
2061 "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002062
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002063 StringRef::iterator p = str.begin();
2064 size_t slen = str.size();
2065 bool isNeg = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002066 if (*p == '-' || *p == '+') {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002067 p++;
2068 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +00002069 assert(slen && "String is only a sign, needs a value.");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002070 }
Chris Lattnerdad2d092007-05-03 18:15:36 +00002071 assert((slen <= numbits || radix != 2) && "Insufficient bit width");
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002072 assert(((slen-1)*3 <= numbits || radix != 8) && "Insufficient bit width");
2073 assert(((slen-1)*4 <= numbits || radix != 16) && "Insufficient bit width");
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002074 assert((((slen-1)*64)/22 <= numbits || radix != 10) &&
2075 "Insufficient bit width");
Reid Spencer1ba83352007-02-21 03:55:44 +00002076
2077 // Allocate memory
2078 if (!isSingleWord())
2079 pVal = getClearedMemory(getNumWords());
2080
2081 // Figure out if we can shift instead of multiply
Chris Lattner77527f52009-01-21 18:09:24 +00002082 unsigned shift = (radix == 16 ? 4 : radix == 8 ? 3 : radix == 2 ? 1 : 0);
Reid Spencer1ba83352007-02-21 03:55:44 +00002083
2084 // Set up an APInt for the digit to add outside the loop so we don't
2085 // constantly construct/destruct it.
2086 APInt apdigit(getBitWidth(), 0);
2087 APInt apradix(getBitWidth(), radix);
2088
2089 // Enter digit traversal loop
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002090 for (StringRef::iterator e = str.end(); p != e; ++p) {
Erick Tryzelaardadb15712009-08-21 03:15:28 +00002091 unsigned digit = getDigit(*p, radix);
Erick Tryzelaar60964092009-08-21 06:48:37 +00002092 assert(digit < radix && "Invalid character in digit string");
Reid Spencer1ba83352007-02-21 03:55:44 +00002093
Reid Spencera93c9812007-05-16 19:18:22 +00002094 // Shift or multiply the value by the radix
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002095 if (slen > 1) {
2096 if (shift)
2097 *this <<= shift;
2098 else
2099 *this *= apradix;
2100 }
Reid Spencer1ba83352007-02-21 03:55:44 +00002101
2102 // Add in the digit we just interpreted
Reid Spencer632ebdf2007-02-24 20:19:37 +00002103 if (apdigit.isSingleWord())
2104 apdigit.VAL = digit;
2105 else
2106 apdigit.pVal[0] = digit;
Reid Spencer1ba83352007-02-21 03:55:44 +00002107 *this += apdigit;
Reid Spencer100502d2007-02-17 03:16:00 +00002108 }
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002109 // If its negative, put it in two's complement form
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00002110 if (isNeg) {
Jakub Staszak773be0c2013-03-20 23:56:19 +00002111 --(*this);
Jay Foad25a5e4c2010-12-01 08:53:58 +00002112 this->flipAllBits();
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002113 }
Reid Spencer100502d2007-02-17 03:16:00 +00002114}
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002115
Chris Lattner17f71652008-08-17 07:19:36 +00002116void APInt::toString(SmallVectorImpl<char> &Str, unsigned Radix,
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002117 bool Signed, bool formatAsCLiteral) const {
Douglas Gregor663c0682011-09-14 15:54:46 +00002118 assert((Radix == 10 || Radix == 8 || Radix == 16 || Radix == 2 ||
2119 Radix == 36) &&
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002120 "Radix should be 2, 8, 10, 16, or 36!");
Eric Christopher820256b2009-08-21 04:06:45 +00002121
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002122 const char *Prefix = "";
2123 if (formatAsCLiteral) {
2124 switch (Radix) {
2125 case 2:
2126 // Binary literals are a non-standard extension added in gcc 4.3:
2127 // http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Binary-constants.html
2128 Prefix = "0b";
2129 break;
2130 case 8:
2131 Prefix = "0";
2132 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002133 case 10:
2134 break; // No prefix
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002135 case 16:
2136 Prefix = "0x";
2137 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002138 default:
2139 llvm_unreachable("Invalid radix!");
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002140 }
2141 }
2142
Chris Lattner17f71652008-08-17 07:19:36 +00002143 // First, check for a zero value and just short circuit the logic below.
2144 if (*this == 0) {
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002145 while (*Prefix) {
2146 Str.push_back(*Prefix);
2147 ++Prefix;
2148 };
Chris Lattner17f71652008-08-17 07:19:36 +00002149 Str.push_back('0');
2150 return;
2151 }
Eric Christopher820256b2009-08-21 04:06:45 +00002152
Douglas Gregor663c0682011-09-14 15:54:46 +00002153 static const char Digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
Eric Christopher820256b2009-08-21 04:06:45 +00002154
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002155 if (isSingleWord()) {
Chris Lattner17f71652008-08-17 07:19:36 +00002156 char Buffer[65];
2157 char *BufPtr = Buffer+65;
Eric Christopher820256b2009-08-21 04:06:45 +00002158
Chris Lattner17f71652008-08-17 07:19:36 +00002159 uint64_t N;
Chris Lattnerb91c9032010-08-18 00:33:47 +00002160 if (!Signed) {
Chris Lattner17f71652008-08-17 07:19:36 +00002161 N = getZExtValue();
Chris Lattnerb91c9032010-08-18 00:33:47 +00002162 } else {
2163 int64_t I = getSExtValue();
2164 if (I >= 0) {
2165 N = I;
2166 } else {
2167 Str.push_back('-');
2168 N = -(uint64_t)I;
2169 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002170 }
Eric Christopher820256b2009-08-21 04:06:45 +00002171
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002172 while (*Prefix) {
2173 Str.push_back(*Prefix);
2174 ++Prefix;
2175 };
2176
Chris Lattner17f71652008-08-17 07:19:36 +00002177 while (N) {
2178 *--BufPtr = Digits[N % Radix];
2179 N /= Radix;
2180 }
2181 Str.append(BufPtr, Buffer+65);
2182 return;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002183 }
2184
Chris Lattner17f71652008-08-17 07:19:36 +00002185 APInt Tmp(*this);
Eric Christopher820256b2009-08-21 04:06:45 +00002186
Chris Lattner17f71652008-08-17 07:19:36 +00002187 if (Signed && isNegative()) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002188 // They want to print the signed version and it is a negative value
2189 // Flip the bits and add one to turn it into the equivalent positive
2190 // value and put a '-' in the result.
Jay Foad25a5e4c2010-12-01 08:53:58 +00002191 Tmp.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +00002192 ++Tmp;
Chris Lattner17f71652008-08-17 07:19:36 +00002193 Str.push_back('-');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002194 }
Eric Christopher820256b2009-08-21 04:06:45 +00002195
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002196 while (*Prefix) {
2197 Str.push_back(*Prefix);
2198 ++Prefix;
2199 };
2200
Chris Lattner17f71652008-08-17 07:19:36 +00002201 // We insert the digits backward, then reverse them to get the right order.
2202 unsigned StartDig = Str.size();
Eric Christopher820256b2009-08-21 04:06:45 +00002203
2204 // For the 2, 8 and 16 bit cases, we can just shift instead of divide
2205 // because the number of bits per digit (1, 3 and 4 respectively) divides
Chris Lattner17f71652008-08-17 07:19:36 +00002206 // equaly. We just shift until the value is zero.
Douglas Gregor663c0682011-09-14 15:54:46 +00002207 if (Radix == 2 || Radix == 8 || Radix == 16) {
Chris Lattner17f71652008-08-17 07:19:36 +00002208 // Just shift tmp right for each digit width until it becomes zero
2209 unsigned ShiftAmt = (Radix == 16 ? 4 : (Radix == 8 ? 3 : 1));
2210 unsigned MaskAmt = Radix - 1;
Eric Christopher820256b2009-08-21 04:06:45 +00002211
Chris Lattner17f71652008-08-17 07:19:36 +00002212 while (Tmp != 0) {
2213 unsigned Digit = unsigned(Tmp.getRawData()[0]) & MaskAmt;
2214 Str.push_back(Digits[Digit]);
2215 Tmp = Tmp.lshr(ShiftAmt);
2216 }
2217 } else {
Douglas Gregor663c0682011-09-14 15:54:46 +00002218 APInt divisor(Radix == 10? 4 : 8, Radix);
Chris Lattner17f71652008-08-17 07:19:36 +00002219 while (Tmp != 0) {
2220 APInt APdigit(1, 0);
2221 APInt tmp2(Tmp.getBitWidth(), 0);
Eric Christopher820256b2009-08-21 04:06:45 +00002222 divide(Tmp, Tmp.getNumWords(), divisor, divisor.getNumWords(), &tmp2,
Chris Lattner17f71652008-08-17 07:19:36 +00002223 &APdigit);
Chris Lattner77527f52009-01-21 18:09:24 +00002224 unsigned Digit = (unsigned)APdigit.getZExtValue();
Chris Lattner17f71652008-08-17 07:19:36 +00002225 assert(Digit < Radix && "divide failed");
2226 Str.push_back(Digits[Digit]);
2227 Tmp = tmp2;
2228 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002229 }
Eric Christopher820256b2009-08-21 04:06:45 +00002230
Chris Lattner17f71652008-08-17 07:19:36 +00002231 // Reverse the digits before returning.
2232 std::reverse(Str.begin()+StartDig, Str.end());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002233}
2234
Pawel Bylica6eeeac72015-04-06 13:31:39 +00002235/// Returns the APInt as a std::string. Note that this is an inefficient method.
2236/// It is better to pass in a SmallVector/SmallString to the methods above.
Chris Lattner17f71652008-08-17 07:19:36 +00002237std::string APInt::toString(unsigned Radix = 10, bool Signed = true) const {
2238 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002239 toString(S, Radix, Signed, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00002240 return S.str();
Reid Spencer1ba83352007-02-21 03:55:44 +00002241}
Chris Lattner6b695682007-08-16 15:56:55 +00002242
Chris Lattner17f71652008-08-17 07:19:36 +00002243
Yaron Kereneb2a2542016-01-29 20:50:44 +00002244LLVM_DUMP_METHOD void APInt::dump() const {
Chris Lattner17f71652008-08-17 07:19:36 +00002245 SmallString<40> S, U;
2246 this->toStringUnsigned(U);
2247 this->toStringSigned(S);
David Greenef32fcb42010-01-05 01:28:52 +00002248 dbgs() << "APInt(" << BitWidth << "b, "
Yaron Keren09fb7c62015-03-10 07:33:23 +00002249 << U << "u " << S << "s)";
Chris Lattner17f71652008-08-17 07:19:36 +00002250}
2251
Chris Lattner0c19df42008-08-23 22:23:09 +00002252void APInt::print(raw_ostream &OS, bool isSigned) const {
Chris Lattner17f71652008-08-17 07:19:36 +00002253 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002254 this->toString(S, 10, isSigned, /* formatAsCLiteral = */false);
Yaron Keren92e1b622015-03-18 10:17:07 +00002255 OS << S;
Chris Lattner17f71652008-08-17 07:19:36 +00002256}
2257
Chris Lattner6b695682007-08-16 15:56:55 +00002258// This implements a variety of operations on a representation of
2259// arbitrary precision, two's-complement, bignum integer values.
2260
Chris Lattner96cffa62009-08-23 23:11:28 +00002261// Assumed by lowHalf, highHalf, partMSB and partLSB. A fairly safe
2262// and unrestricting assumption.
Benjamin Kramer7000ca32014-10-12 17:56:40 +00002263static_assert(integerPartWidth % 2 == 0, "Part width must be divisible by 2!");
Chris Lattner6b695682007-08-16 15:56:55 +00002264
2265/* Some handy functions local to this file. */
2266namespace {
2267
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002268 /* Returns the integer part with the least significant BITS set.
2269 BITS cannot be zero. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002270 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002271 lowBitMask(unsigned int bits)
2272 {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002273 assert(bits != 0 && bits <= integerPartWidth);
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002274
2275 return ~(integerPart) 0 >> (integerPartWidth - bits);
2276 }
2277
Neil Boothc8b650a2007-10-06 00:43:45 +00002278 /* Returns the value of the lower half of PART. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002279 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002280 lowHalf(integerPart part)
2281 {
2282 return part & lowBitMask(integerPartWidth / 2);
2283 }
2284
Neil Boothc8b650a2007-10-06 00:43:45 +00002285 /* Returns the value of the upper half of PART. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002286 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002287 highHalf(integerPart part)
2288 {
2289 return part >> (integerPartWidth / 2);
2290 }
2291
Neil Boothc8b650a2007-10-06 00:43:45 +00002292 /* Returns the bit number of the most significant set bit of a part.
2293 If the input number has no bits set -1U is returned. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002294 static unsigned int
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002295 partMSB(integerPart value)
Chris Lattner6b695682007-08-16 15:56:55 +00002296 {
Benjamin Kramerb565f892013-06-01 11:26:39 +00002297 return findLastSet(value, ZB_Max);
Chris Lattner6b695682007-08-16 15:56:55 +00002298 }
2299
Neil Boothc8b650a2007-10-06 00:43:45 +00002300 /* Returns the bit number of the least significant set bit of a
2301 part. If the input number has no bits set -1U is returned. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002302 static unsigned int
Chris Lattner6b695682007-08-16 15:56:55 +00002303 partLSB(integerPart value)
2304 {
Benjamin Kramerb565f892013-06-01 11:26:39 +00002305 return findFirstSet(value, ZB_Max);
Chris Lattner6b695682007-08-16 15:56:55 +00002306 }
Alexander Kornienkof00654e2015-06-23 09:49:53 +00002307}
Chris Lattner6b695682007-08-16 15:56:55 +00002308
2309/* Sets the least significant part of a bignum to the input value, and
2310 zeroes out higher parts. */
2311void
2312APInt::tcSet(integerPart *dst, integerPart part, unsigned int parts)
2313{
2314 unsigned int i;
2315
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002316 assert(parts > 0);
Neil Boothb6182162007-10-08 13:47:12 +00002317
Chris Lattner6b695682007-08-16 15:56:55 +00002318 dst[0] = part;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002319 for (i = 1; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002320 dst[i] = 0;
2321}
2322
2323/* Assign one bignum to another. */
2324void
2325APInt::tcAssign(integerPart *dst, const integerPart *src, unsigned int parts)
2326{
2327 unsigned int i;
2328
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002329 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002330 dst[i] = src[i];
2331}
2332
2333/* Returns true if a bignum is zero, false otherwise. */
2334bool
2335APInt::tcIsZero(const integerPart *src, unsigned int parts)
2336{
2337 unsigned int i;
2338
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002339 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002340 if (src[i])
2341 return false;
2342
2343 return true;
2344}
2345
2346/* Extract the given bit of a bignum; returns 0 or 1. */
2347int
2348APInt::tcExtractBit(const integerPart *parts, unsigned int bit)
2349{
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002350 return (parts[bit / integerPartWidth] &
2351 ((integerPart) 1 << bit % integerPartWidth)) != 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002352}
2353
John McCalldcb9a7a2010-02-28 02:51:25 +00002354/* Set the given bit of a bignum. */
Chris Lattner6b695682007-08-16 15:56:55 +00002355void
2356APInt::tcSetBit(integerPart *parts, unsigned int bit)
2357{
2358 parts[bit / integerPartWidth] |= (integerPart) 1 << (bit % integerPartWidth);
2359}
2360
John McCalldcb9a7a2010-02-28 02:51:25 +00002361/* Clears the given bit of a bignum. */
2362void
2363APInt::tcClearBit(integerPart *parts, unsigned int bit)
2364{
2365 parts[bit / integerPartWidth] &=
2366 ~((integerPart) 1 << (bit % integerPartWidth));
2367}
2368
Neil Boothc8b650a2007-10-06 00:43:45 +00002369/* Returns the bit number of the least significant set bit of a
2370 number. If the input number has no bits set -1U is returned. */
Chris Lattner6b695682007-08-16 15:56:55 +00002371unsigned int
2372APInt::tcLSB(const integerPart *parts, unsigned int n)
2373{
2374 unsigned int i, lsb;
2375
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002376 for (i = 0; i < n; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002377 if (parts[i] != 0) {
2378 lsb = partLSB(parts[i]);
2379
2380 return lsb + i * integerPartWidth;
2381 }
2382 }
2383
2384 return -1U;
2385}
2386
Neil Boothc8b650a2007-10-06 00:43:45 +00002387/* Returns the bit number of the most significant set bit of a number.
2388 If the input number has no bits set -1U is returned. */
Chris Lattner6b695682007-08-16 15:56:55 +00002389unsigned int
2390APInt::tcMSB(const integerPart *parts, unsigned int n)
2391{
2392 unsigned int msb;
2393
2394 do {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002395 --n;
Chris Lattner6b695682007-08-16 15:56:55 +00002396
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002397 if (parts[n] != 0) {
2398 msb = partMSB(parts[n]);
Chris Lattner6b695682007-08-16 15:56:55 +00002399
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002400 return msb + n * integerPartWidth;
2401 }
Chris Lattner6b695682007-08-16 15:56:55 +00002402 } while (n);
2403
2404 return -1U;
2405}
2406
Neil Boothb6182162007-10-08 13:47:12 +00002407/* Copy the bit vector of width srcBITS from SRC, starting at bit
2408 srcLSB, to DST, of dstCOUNT parts, such that the bit srcLSB becomes
2409 the least significant bit of DST. All high bits above srcBITS in
2410 DST are zero-filled. */
2411void
Evan Chengdb338f32009-05-21 23:47:47 +00002412APInt::tcExtract(integerPart *dst, unsigned int dstCount,const integerPart *src,
Neil Boothb6182162007-10-08 13:47:12 +00002413 unsigned int srcBits, unsigned int srcLSB)
2414{
2415 unsigned int firstSrcPart, dstParts, shift, n;
2416
2417 dstParts = (srcBits + integerPartWidth - 1) / integerPartWidth;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002418 assert(dstParts <= dstCount);
Neil Boothb6182162007-10-08 13:47:12 +00002419
2420 firstSrcPart = srcLSB / integerPartWidth;
2421 tcAssign (dst, src + firstSrcPart, dstParts);
2422
2423 shift = srcLSB % integerPartWidth;
2424 tcShiftRight (dst, dstParts, shift);
2425
2426 /* We now have (dstParts * integerPartWidth - shift) bits from SRC
2427 in DST. If this is less that srcBits, append the rest, else
2428 clear the high bits. */
2429 n = dstParts * integerPartWidth - shift;
2430 if (n < srcBits) {
2431 integerPart mask = lowBitMask (srcBits - n);
2432 dst[dstParts - 1] |= ((src[firstSrcPart + dstParts] & mask)
2433 << n % integerPartWidth);
2434 } else if (n > srcBits) {
Neil Booth7e74b172007-10-12 15:31:31 +00002435 if (srcBits % integerPartWidth)
2436 dst[dstParts - 1] &= lowBitMask (srcBits % integerPartWidth);
Neil Boothb6182162007-10-08 13:47:12 +00002437 }
2438
2439 /* Clear high parts. */
2440 while (dstParts < dstCount)
2441 dst[dstParts++] = 0;
2442}
2443
Chris Lattner6b695682007-08-16 15:56:55 +00002444/* DST += RHS + C where C is zero or one. Returns the carry flag. */
2445integerPart
2446APInt::tcAdd(integerPart *dst, const integerPart *rhs,
2447 integerPart c, unsigned int parts)
2448{
2449 unsigned int i;
2450
2451 assert(c <= 1);
2452
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002453 for (i = 0; i < parts; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002454 integerPart l;
2455
2456 l = dst[i];
2457 if (c) {
2458 dst[i] += rhs[i] + 1;
2459 c = (dst[i] <= l);
2460 } else {
2461 dst[i] += rhs[i];
2462 c = (dst[i] < l);
2463 }
2464 }
2465
2466 return c;
2467}
2468
2469/* DST -= RHS + C where C is zero or one. Returns the carry flag. */
2470integerPart
2471APInt::tcSubtract(integerPart *dst, const integerPart *rhs,
2472 integerPart c, unsigned int parts)
2473{
2474 unsigned int i;
2475
2476 assert(c <= 1);
2477
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002478 for (i = 0; i < parts; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002479 integerPart l;
2480
2481 l = dst[i];
2482 if (c) {
2483 dst[i] -= rhs[i] + 1;
2484 c = (dst[i] >= l);
2485 } else {
2486 dst[i] -= rhs[i];
2487 c = (dst[i] > l);
2488 }
2489 }
2490
2491 return c;
2492}
2493
2494/* Negate a bignum in-place. */
2495void
2496APInt::tcNegate(integerPart *dst, unsigned int parts)
2497{
2498 tcComplement(dst, parts);
2499 tcIncrement(dst, parts);
2500}
2501
Neil Boothc8b650a2007-10-06 00:43:45 +00002502/* DST += SRC * MULTIPLIER + CARRY if add is true
2503 DST = SRC * MULTIPLIER + CARRY if add is false
Chris Lattner6b695682007-08-16 15:56:55 +00002504
2505 Requires 0 <= DSTPARTS <= SRCPARTS + 1. If DST overlaps SRC
2506 they must start at the same point, i.e. DST == SRC.
2507
2508 If DSTPARTS == SRCPARTS + 1 no overflow occurs and zero is
2509 returned. Otherwise DST is filled with the least significant
2510 DSTPARTS parts of the result, and if all of the omitted higher
2511 parts were zero return zero, otherwise overflow occurred and
2512 return one. */
2513int
2514APInt::tcMultiplyPart(integerPart *dst, const integerPart *src,
2515 integerPart multiplier, integerPart carry,
2516 unsigned int srcParts, unsigned int dstParts,
2517 bool add)
2518{
2519 unsigned int i, n;
2520
2521 /* Otherwise our writes of DST kill our later reads of SRC. */
2522 assert(dst <= src || dst >= src + srcParts);
2523 assert(dstParts <= srcParts + 1);
2524
2525 /* N loops; minimum of dstParts and srcParts. */
2526 n = dstParts < srcParts ? dstParts: srcParts;
2527
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002528 for (i = 0; i < n; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002529 integerPart low, mid, high, srcPart;
2530
2531 /* [ LOW, HIGH ] = MULTIPLIER * SRC[i] + DST[i] + CARRY.
2532
2533 This cannot overflow, because
2534
2535 (n - 1) * (n - 1) + 2 (n - 1) = (n - 1) * (n + 1)
2536
2537 which is less than n^2. */
2538
2539 srcPart = src[i];
2540
2541 if (multiplier == 0 || srcPart == 0) {
2542 low = carry;
2543 high = 0;
2544 } else {
2545 low = lowHalf(srcPart) * lowHalf(multiplier);
2546 high = highHalf(srcPart) * highHalf(multiplier);
2547
2548 mid = lowHalf(srcPart) * highHalf(multiplier);
2549 high += highHalf(mid);
2550 mid <<= integerPartWidth / 2;
2551 if (low + mid < low)
2552 high++;
2553 low += mid;
2554
2555 mid = highHalf(srcPart) * lowHalf(multiplier);
2556 high += highHalf(mid);
2557 mid <<= integerPartWidth / 2;
2558 if (low + mid < low)
2559 high++;
2560 low += mid;
2561
2562 /* Now add carry. */
2563 if (low + carry < low)
2564 high++;
2565 low += carry;
2566 }
2567
2568 if (add) {
2569 /* And now DST[i], and store the new low part there. */
2570 if (low + dst[i] < low)
2571 high++;
2572 dst[i] += low;
2573 } else
2574 dst[i] = low;
2575
2576 carry = high;
2577 }
2578
2579 if (i < dstParts) {
2580 /* Full multiplication, there is no overflow. */
2581 assert(i + 1 == dstParts);
2582 dst[i] = carry;
2583 return 0;
2584 } else {
2585 /* We overflowed if there is carry. */
2586 if (carry)
2587 return 1;
2588
2589 /* We would overflow if any significant unwritten parts would be
2590 non-zero. This is true if any remaining src parts are non-zero
2591 and the multiplier is non-zero. */
2592 if (multiplier)
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002593 for (; i < srcParts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002594 if (src[i])
2595 return 1;
2596
2597 /* We fitted in the narrow destination. */
2598 return 0;
2599 }
2600}
2601
2602/* DST = LHS * RHS, where DST has the same width as the operands and
2603 is filled with the least significant parts of the result. Returns
2604 one if overflow occurred, otherwise zero. DST must be disjoint
2605 from both operands. */
2606int
2607APInt::tcMultiply(integerPart *dst, const integerPart *lhs,
2608 const integerPart *rhs, unsigned int parts)
2609{
2610 unsigned int i;
2611 int overflow;
2612
2613 assert(dst != lhs && dst != rhs);
2614
2615 overflow = 0;
2616 tcSet(dst, 0, parts);
2617
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002618 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002619 overflow |= tcMultiplyPart(&dst[i], lhs, rhs[i], 0, parts,
2620 parts - i, true);
2621
2622 return overflow;
2623}
2624
Neil Booth0ea72a92007-10-06 00:24:48 +00002625/* DST = LHS * RHS, where DST has width the sum of the widths of the
2626 operands. No overflow occurs. DST must be disjoint from both
2627 operands. Returns the number of parts required to hold the
2628 result. */
2629unsigned int
Chris Lattner6b695682007-08-16 15:56:55 +00002630APInt::tcFullMultiply(integerPart *dst, const integerPart *lhs,
Neil Booth0ea72a92007-10-06 00:24:48 +00002631 const integerPart *rhs, unsigned int lhsParts,
2632 unsigned int rhsParts)
Chris Lattner6b695682007-08-16 15:56:55 +00002633{
Neil Booth0ea72a92007-10-06 00:24:48 +00002634 /* Put the narrower number on the LHS for less loops below. */
2635 if (lhsParts > rhsParts) {
2636 return tcFullMultiply (dst, rhs, lhs, rhsParts, lhsParts);
2637 } else {
2638 unsigned int n;
Chris Lattner6b695682007-08-16 15:56:55 +00002639
Neil Booth0ea72a92007-10-06 00:24:48 +00002640 assert(dst != lhs && dst != rhs);
Chris Lattner6b695682007-08-16 15:56:55 +00002641
Neil Booth0ea72a92007-10-06 00:24:48 +00002642 tcSet(dst, 0, rhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002643
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002644 for (n = 0; n < lhsParts; n++)
Neil Booth0ea72a92007-10-06 00:24:48 +00002645 tcMultiplyPart(&dst[n], rhs, lhs[n], 0, rhsParts, rhsParts + 1, true);
Chris Lattner6b695682007-08-16 15:56:55 +00002646
Neil Booth0ea72a92007-10-06 00:24:48 +00002647 n = lhsParts + rhsParts;
2648
2649 return n - (dst[n - 1] == 0);
2650 }
Chris Lattner6b695682007-08-16 15:56:55 +00002651}
2652
2653/* If RHS is zero LHS and REMAINDER are left unchanged, return one.
2654 Otherwise set LHS to LHS / RHS with the fractional part discarded,
2655 set REMAINDER to the remainder, return zero. i.e.
2656
2657 OLD_LHS = RHS * LHS + REMAINDER
2658
2659 SCRATCH is a bignum of the same size as the operands and result for
2660 use by the routine; its contents need not be initialized and are
2661 destroyed. LHS, REMAINDER and SCRATCH must be distinct.
2662*/
2663int
2664APInt::tcDivide(integerPart *lhs, const integerPart *rhs,
2665 integerPart *remainder, integerPart *srhs,
2666 unsigned int parts)
2667{
2668 unsigned int n, shiftCount;
2669 integerPart mask;
2670
2671 assert(lhs != remainder && lhs != srhs && remainder != srhs);
2672
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002673 shiftCount = tcMSB(rhs, parts) + 1;
2674 if (shiftCount == 0)
Chris Lattner6b695682007-08-16 15:56:55 +00002675 return true;
2676
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002677 shiftCount = parts * integerPartWidth - shiftCount;
Chris Lattner6b695682007-08-16 15:56:55 +00002678 n = shiftCount / integerPartWidth;
2679 mask = (integerPart) 1 << (shiftCount % integerPartWidth);
2680
2681 tcAssign(srhs, rhs, parts);
2682 tcShiftLeft(srhs, parts, shiftCount);
2683 tcAssign(remainder, lhs, parts);
2684 tcSet(lhs, 0, parts);
2685
2686 /* Loop, subtracting SRHS if REMAINDER is greater and adding that to
2687 the total. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002688 for (;;) {
Chris Lattner6b695682007-08-16 15:56:55 +00002689 int compare;
2690
2691 compare = tcCompare(remainder, srhs, parts);
2692 if (compare >= 0) {
2693 tcSubtract(remainder, srhs, 0, parts);
2694 lhs[n] |= mask;
2695 }
2696
2697 if (shiftCount == 0)
2698 break;
2699 shiftCount--;
2700 tcShiftRight(srhs, parts, 1);
Richard Trieu7a083812016-02-18 22:09:30 +00002701 if ((mask >>= 1) == 0) {
2702 mask = (integerPart) 1 << (integerPartWidth - 1);
2703 n--;
2704 }
Chris Lattner6b695682007-08-16 15:56:55 +00002705 }
2706
2707 return false;
2708}
2709
2710/* Shift a bignum left COUNT bits in-place. Shifted in bits are zero.
2711 There are no restrictions on COUNT. */
2712void
2713APInt::tcShiftLeft(integerPart *dst, unsigned int parts, unsigned int count)
2714{
Neil Boothb6182162007-10-08 13:47:12 +00002715 if (count) {
2716 unsigned int jump, shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002717
Neil Boothb6182162007-10-08 13:47:12 +00002718 /* Jump is the inter-part jump; shift is is intra-part shift. */
2719 jump = count / integerPartWidth;
2720 shift = count % integerPartWidth;
Chris Lattner6b695682007-08-16 15:56:55 +00002721
Neil Boothb6182162007-10-08 13:47:12 +00002722 while (parts > jump) {
2723 integerPart part;
Chris Lattner6b695682007-08-16 15:56:55 +00002724
Neil Boothb6182162007-10-08 13:47:12 +00002725 parts--;
Chris Lattner6b695682007-08-16 15:56:55 +00002726
Neil Boothb6182162007-10-08 13:47:12 +00002727 /* dst[i] comes from the two parts src[i - jump] and, if we have
2728 an intra-part shift, src[i - jump - 1]. */
2729 part = dst[parts - jump];
2730 if (shift) {
2731 part <<= shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002732 if (parts >= jump + 1)
2733 part |= dst[parts - jump - 1] >> (integerPartWidth - shift);
2734 }
2735
Neil Boothb6182162007-10-08 13:47:12 +00002736 dst[parts] = part;
2737 }
Chris Lattner6b695682007-08-16 15:56:55 +00002738
Neil Boothb6182162007-10-08 13:47:12 +00002739 while (parts > 0)
2740 dst[--parts] = 0;
2741 }
Chris Lattner6b695682007-08-16 15:56:55 +00002742}
2743
2744/* Shift a bignum right COUNT bits in-place. Shifted in bits are
2745 zero. There are no restrictions on COUNT. */
2746void
2747APInt::tcShiftRight(integerPart *dst, unsigned int parts, unsigned int count)
2748{
Neil Boothb6182162007-10-08 13:47:12 +00002749 if (count) {
2750 unsigned int i, jump, shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002751
Neil Boothb6182162007-10-08 13:47:12 +00002752 /* Jump is the inter-part jump; shift is is intra-part shift. */
2753 jump = count / integerPartWidth;
2754 shift = count % integerPartWidth;
Chris Lattner6b695682007-08-16 15:56:55 +00002755
Neil Boothb6182162007-10-08 13:47:12 +00002756 /* Perform the shift. This leaves the most significant COUNT bits
2757 of the result at zero. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002758 for (i = 0; i < parts; i++) {
Neil Boothb6182162007-10-08 13:47:12 +00002759 integerPart part;
Chris Lattner6b695682007-08-16 15:56:55 +00002760
Neil Boothb6182162007-10-08 13:47:12 +00002761 if (i + jump >= parts) {
2762 part = 0;
2763 } else {
2764 part = dst[i + jump];
2765 if (shift) {
2766 part >>= shift;
2767 if (i + jump + 1 < parts)
2768 part |= dst[i + jump + 1] << (integerPartWidth - shift);
2769 }
Chris Lattner6b695682007-08-16 15:56:55 +00002770 }
Chris Lattner6b695682007-08-16 15:56:55 +00002771
Neil Boothb6182162007-10-08 13:47:12 +00002772 dst[i] = part;
2773 }
Chris Lattner6b695682007-08-16 15:56:55 +00002774 }
2775}
2776
2777/* Bitwise and of two bignums. */
2778void
2779APInt::tcAnd(integerPart *dst, const integerPart *rhs, unsigned int parts)
2780{
2781 unsigned int i;
2782
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002783 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002784 dst[i] &= rhs[i];
2785}
2786
2787/* Bitwise inclusive or of two bignums. */
2788void
2789APInt::tcOr(integerPart *dst, const integerPart *rhs, unsigned int parts)
2790{
2791 unsigned int i;
2792
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002793 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002794 dst[i] |= rhs[i];
2795}
2796
2797/* Bitwise exclusive or of two bignums. */
2798void
2799APInt::tcXor(integerPart *dst, const integerPart *rhs, unsigned int parts)
2800{
2801 unsigned int i;
2802
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002803 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002804 dst[i] ^= rhs[i];
2805}
2806
2807/* Complement a bignum in-place. */
2808void
2809APInt::tcComplement(integerPart *dst, unsigned int parts)
2810{
2811 unsigned int i;
2812
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002813 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002814 dst[i] = ~dst[i];
2815}
2816
2817/* Comparison (unsigned) of two bignums. */
2818int
2819APInt::tcCompare(const integerPart *lhs, const integerPart *rhs,
2820 unsigned int parts)
2821{
2822 while (parts) {
2823 parts--;
2824 if (lhs[parts] == rhs[parts])
2825 continue;
2826
2827 if (lhs[parts] > rhs[parts])
2828 return 1;
2829 else
2830 return -1;
2831 }
2832
2833 return 0;
2834}
2835
2836/* Increment a bignum in-place, return the carry flag. */
2837integerPart
2838APInt::tcIncrement(integerPart *dst, unsigned int parts)
2839{
2840 unsigned int i;
2841
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002842 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002843 if (++dst[i] != 0)
2844 break;
2845
2846 return i == parts;
2847}
2848
Michael Gottesman9d406f42013-05-28 19:50:20 +00002849/* Decrement a bignum in-place, return the borrow flag. */
2850integerPart
2851APInt::tcDecrement(integerPart *dst, unsigned int parts) {
2852 for (unsigned int i = 0; i < parts; i++) {
2853 // If the current word is non-zero, then the decrement has no effect on the
2854 // higher-order words of the integer and no borrow can occur. Exit early.
2855 if (dst[i]--)
2856 return 0;
2857 }
2858 // If every word was zero, then there is a borrow.
2859 return 1;
2860}
2861
2862
Chris Lattner6b695682007-08-16 15:56:55 +00002863/* Set the least significant BITS bits of a bignum, clear the
2864 rest. */
2865void
2866APInt::tcSetLeastSignificantBits(integerPart *dst, unsigned int parts,
2867 unsigned int bits)
2868{
2869 unsigned int i;
2870
2871 i = 0;
2872 while (bits > integerPartWidth) {
2873 dst[i++] = ~(integerPart) 0;
2874 bits -= integerPartWidth;
2875 }
2876
2877 if (bits)
2878 dst[i++] = ~(integerPart) 0 >> (integerPartWidth - bits);
2879
2880 while (i < parts)
2881 dst[i++] = 0;
2882}