blob: 23337bebab10a9af80eec7022e3bc4ddef4f6f39 [file] [log] [blame]
Zhou Shengdac63782007-02-06 03:00:16 +00001//===-- APInt.cpp - Implement APInt class ---------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Zhou Shengdac63782007-02-06 03:00:16 +00007//
8//===----------------------------------------------------------------------===//
9//
Reid Spencera41e93b2007-02-25 19:32:03 +000010// This file implements a class to represent arbitrary precision integer
11// constant values and provide a variety of arithmetic operations on them.
Zhou Shengdac63782007-02-06 03:00:16 +000012//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/ADT/APInt.h"
Ted Kremenek5c75d542008-01-19 04:23:33 +000016#include "llvm/ADT/FoldingSet.h"
Chandler Carruth71bd7d12012-03-04 12:02:57 +000017#include "llvm/ADT/Hashing.h"
Chris Lattner17f71652008-08-17 07:19:36 +000018#include "llvm/ADT/SmallString.h"
Chandler Carruth71bd7d12012-03-04 12:02:57 +000019#include "llvm/ADT/StringRef.h"
Reid Spencera5e0d202007-02-24 03:58:46 +000020#include "llvm/Support/Debug.h"
Torok Edwin56d06592009-07-11 20:10:48 +000021#include "llvm/Support/ErrorHandling.h"
Zhou Shengdac63782007-02-06 03:00:16 +000022#include "llvm/Support/MathExtras.h"
Chris Lattner0c19df42008-08-23 22:23:09 +000023#include "llvm/Support/raw_ostream.h"
Chris Lattner17f71652008-08-17 07:19:36 +000024#include <cmath>
Zhou Shengdac63782007-02-06 03:00:16 +000025#include <cstdlib>
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include <cstring>
27#include <limits>
Zhou Shengdac63782007-02-06 03:00:16 +000028using namespace llvm;
29
Chandler Carruth64648262014-04-22 03:07:47 +000030#define DEBUG_TYPE "apint"
31
Reid Spencera41e93b2007-02-25 19:32:03 +000032/// A utility function for allocating memory, checking for allocation failures,
33/// and ensuring the contents are zeroed.
Chris Lattner77527f52009-01-21 18:09:24 +000034inline static uint64_t* getClearedMemory(unsigned numWords) {
Reid Spencera856b6e2007-02-18 18:38:44 +000035 uint64_t * result = new uint64_t[numWords];
36 assert(result && "APInt memory allocation fails!");
37 memset(result, 0, numWords * sizeof(uint64_t));
38 return result;
Zhou Sheng94b623a2007-02-06 06:04:53 +000039}
40
Eric Christopher820256b2009-08-21 04:06:45 +000041/// A utility function for allocating memory and checking for allocation
Reid Spencera41e93b2007-02-25 19:32:03 +000042/// failure. The content is not zeroed.
Chris Lattner77527f52009-01-21 18:09:24 +000043inline static uint64_t* getMemory(unsigned numWords) {
Reid Spencera856b6e2007-02-18 18:38:44 +000044 uint64_t * result = new uint64_t[numWords];
45 assert(result && "APInt memory allocation fails!");
46 return result;
47}
48
Erick Tryzelaardadb15712009-08-21 03:15:28 +000049/// A utility function that converts a character to a digit.
50inline static unsigned getDigit(char cdigit, uint8_t radix) {
Erick Tryzelaar60964092009-08-21 06:48:37 +000051 unsigned r;
52
Douglas Gregor663c0682011-09-14 15:54:46 +000053 if (radix == 16 || radix == 36) {
Erick Tryzelaar60964092009-08-21 06:48:37 +000054 r = cdigit - '0';
55 if (r <= 9)
56 return r;
57
58 r = cdigit - 'A';
Douglas Gregorc98ac852011-09-20 18:33:29 +000059 if (r <= radix - 11U)
Erick Tryzelaar60964092009-08-21 06:48:37 +000060 return r + 10;
61
62 r = cdigit - 'a';
Douglas Gregorc98ac852011-09-20 18:33:29 +000063 if (r <= radix - 11U)
Erick Tryzelaar60964092009-08-21 06:48:37 +000064 return r + 10;
Douglas Gregore4e20f42011-09-20 18:11:52 +000065
66 radix = 10;
Erick Tryzelaardadb15712009-08-21 03:15:28 +000067 }
68
Erick Tryzelaar60964092009-08-21 06:48:37 +000069 r = cdigit - '0';
70 if (r < radix)
71 return r;
72
73 return -1U;
Erick Tryzelaardadb15712009-08-21 03:15:28 +000074}
75
76
Chris Lattner77527f52009-01-21 18:09:24 +000077void APInt::initSlowCase(unsigned numBits, uint64_t val, bool isSigned) {
Chris Lattner1ac3e252008-08-20 17:02:31 +000078 pVal = getClearedMemory(getNumWords());
79 pVal[0] = val;
Eric Christopher820256b2009-08-21 04:06:45 +000080 if (isSigned && int64_t(val) < 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +000081 for (unsigned i = 1; i < getNumWords(); ++i)
82 pVal[i] = -1ULL;
Zhou Shengdac63782007-02-06 03:00:16 +000083}
84
Chris Lattnerd57b7602008-10-11 22:07:19 +000085void APInt::initSlowCase(const APInt& that) {
86 pVal = getMemory(getNumWords());
87 memcpy(pVal, that.pVal, getNumWords() * APINT_WORD_SIZE);
88}
89
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000090void APInt::initFromArray(ArrayRef<uint64_t> bigVal) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +000091 assert(BitWidth && "Bitwidth too small");
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000092 assert(bigVal.data() && "Null pointer detected!");
Zhou Shengdac63782007-02-06 03:00:16 +000093 if (isSingleWord())
Reid Spencerdf6cf5a2007-02-24 10:01:42 +000094 VAL = bigVal[0];
Zhou Shengdac63782007-02-06 03:00:16 +000095 else {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +000096 // Get memory, cleared to 0
97 pVal = getClearedMemory(getNumWords());
98 // Calculate the number of words to copy
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000099 unsigned words = std::min<unsigned>(bigVal.size(), getNumWords());
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000100 // Copy the words from bigVal to pVal
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000101 memcpy(pVal, bigVal.data(), words * APINT_WORD_SIZE);
Zhou Shengdac63782007-02-06 03:00:16 +0000102 }
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000103 // Make sure unused high bits are cleared
104 clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000105}
106
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000107APInt::APInt(unsigned numBits, ArrayRef<uint64_t> bigVal)
108 : BitWidth(numBits), VAL(0) {
109 initFromArray(bigVal);
110}
111
112APInt::APInt(unsigned numBits, unsigned numWords, const uint64_t bigVal[])
113 : BitWidth(numBits), VAL(0) {
114 initFromArray(makeArrayRef(bigVal, numWords));
115}
116
Benjamin Kramer92d89982010-07-14 22:38:02 +0000117APInt::APInt(unsigned numbits, StringRef Str, uint8_t radix)
Reid Spencer1ba83352007-02-21 03:55:44 +0000118 : BitWidth(numbits), VAL(0) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000119 assert(BitWidth && "Bitwidth too small");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000120 fromString(numbits, Str, radix);
Zhou Sheng3e8022d2007-02-07 06:14:53 +0000121}
122
Chris Lattner1ac3e252008-08-20 17:02:31 +0000123APInt& APInt::AssignSlowCase(const APInt& RHS) {
Reid Spencer7c16cd22007-02-26 23:38:21 +0000124 // Don't do anything for X = X
125 if (this == &RHS)
126 return *this;
127
Reid Spencer7c16cd22007-02-26 23:38:21 +0000128 if (BitWidth == RHS.getBitWidth()) {
Chris Lattner1ac3e252008-08-20 17:02:31 +0000129 // assume same bit-width single-word case is already handled
130 assert(!isSingleWord());
131 memcpy(pVal, RHS.pVal, getNumWords() * APINT_WORD_SIZE);
Reid Spencer7c16cd22007-02-26 23:38:21 +0000132 return *this;
133 }
134
Chris Lattner1ac3e252008-08-20 17:02:31 +0000135 if (isSingleWord()) {
136 // assume case where both are single words is already handled
137 assert(!RHS.isSingleWord());
138 VAL = 0;
139 pVal = getMemory(RHS.getNumWords());
140 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
Eric Christopher820256b2009-08-21 04:06:45 +0000141 } else if (getNumWords() == RHS.getNumWords())
Reid Spencer7c16cd22007-02-26 23:38:21 +0000142 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
143 else if (RHS.isSingleWord()) {
144 delete [] pVal;
Reid Spencera856b6e2007-02-18 18:38:44 +0000145 VAL = RHS.VAL;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000146 } else {
147 delete [] pVal;
148 pVal = getMemory(RHS.getNumWords());
149 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
150 }
151 BitWidth = RHS.BitWidth;
152 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000153}
154
Zhou Shengdac63782007-02-06 03:00:16 +0000155APInt& APInt::operator=(uint64_t RHS) {
Eric Christopher820256b2009-08-21 04:06:45 +0000156 if (isSingleWord())
Reid Spencer1d072122007-02-16 22:36:51 +0000157 VAL = RHS;
Zhou Shengdac63782007-02-06 03:00:16 +0000158 else {
159 pVal[0] = RHS;
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000160 memset(pVal+1, 0, (getNumWords() - 1) * APINT_WORD_SIZE);
Zhou Shengdac63782007-02-06 03:00:16 +0000161 }
Reid Spencer7c16cd22007-02-26 23:38:21 +0000162 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000163}
164
Ted Kremenek5c75d542008-01-19 04:23:33 +0000165/// Profile - This method 'profiles' an APInt for use with FoldingSet.
166void APInt::Profile(FoldingSetNodeID& ID) const {
Ted Kremenek901540f2008-02-19 20:50:41 +0000167 ID.AddInteger(BitWidth);
Eric Christopher820256b2009-08-21 04:06:45 +0000168
Ted Kremenek5c75d542008-01-19 04:23:33 +0000169 if (isSingleWord()) {
170 ID.AddInteger(VAL);
171 return;
172 }
173
Chris Lattner77527f52009-01-21 18:09:24 +0000174 unsigned NumWords = getNumWords();
Ted Kremenek5c75d542008-01-19 04:23:33 +0000175 for (unsigned i = 0; i < NumWords; ++i)
176 ID.AddInteger(pVal[i]);
177}
178
Eric Christopher820256b2009-08-21 04:06:45 +0000179/// add_1 - This function adds a single "digit" integer, y, to the multiple
Reid Spencera856b6e2007-02-18 18:38:44 +0000180/// "digit" integer array, x[]. x[] is modified to reflect the addition and
181/// 1 is returned if there is a carry out, otherwise 0 is returned.
Reid Spencer100502d2007-02-17 03:16:00 +0000182/// @returns the carry of the addition.
Chris Lattner77527f52009-01-21 18:09:24 +0000183static bool add_1(uint64_t dest[], uint64_t x[], unsigned len, uint64_t y) {
184 for (unsigned i = 0; i < len; ++i) {
Reid Spenceree0a6852007-02-18 06:39:42 +0000185 dest[i] = y + x[i];
186 if (dest[i] < y)
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000187 y = 1; // Carry one to next digit.
Reid Spenceree0a6852007-02-18 06:39:42 +0000188 else {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000189 y = 0; // No need to carry so exit early
Reid Spenceree0a6852007-02-18 06:39:42 +0000190 break;
191 }
Reid Spencer100502d2007-02-17 03:16:00 +0000192 }
Reid Spenceree0a6852007-02-18 06:39:42 +0000193 return y;
Reid Spencer100502d2007-02-17 03:16:00 +0000194}
195
Zhou Shengdac63782007-02-06 03:00:16 +0000196/// @brief Prefix increment operator. Increments the APInt by one.
197APInt& APInt::operator++() {
Eric Christopher820256b2009-08-21 04:06:45 +0000198 if (isSingleWord())
Reid Spencer1d072122007-02-16 22:36:51 +0000199 ++VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000200 else
Zhou Sheng3e8022d2007-02-07 06:14:53 +0000201 add_1(pVal, pVal, getNumWords(), 1);
Reid Spencera41e93b2007-02-25 19:32:03 +0000202 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000203}
204
Eric Christopher820256b2009-08-21 04:06:45 +0000205/// sub_1 - This function subtracts a single "digit" (64-bit word), y, from
206/// the multi-digit integer array, x[], propagating the borrowed 1 value until
Reid Spencera856b6e2007-02-18 18:38:44 +0000207/// no further borrowing is neeeded or it runs out of "digits" in x. The result
208/// is 1 if "borrowing" exhausted the digits in x, or 0 if x was not exhausted.
209/// In other words, if y > x then this function returns 1, otherwise 0.
Reid Spencera41e93b2007-02-25 19:32:03 +0000210/// @returns the borrow out of the subtraction
Chris Lattner77527f52009-01-21 18:09:24 +0000211static bool sub_1(uint64_t x[], unsigned len, uint64_t y) {
212 for (unsigned i = 0; i < len; ++i) {
Reid Spencer100502d2007-02-17 03:16:00 +0000213 uint64_t X = x[i];
Reid Spenceree0a6852007-02-18 06:39:42 +0000214 x[i] -= y;
Eric Christopher820256b2009-08-21 04:06:45 +0000215 if (y > X)
Reid Spencera856b6e2007-02-18 18:38:44 +0000216 y = 1; // We have to "borrow 1" from next "digit"
Reid Spencer100502d2007-02-17 03:16:00 +0000217 else {
Reid Spencera856b6e2007-02-18 18:38:44 +0000218 y = 0; // No need to borrow
219 break; // Remaining digits are unchanged so exit early
Reid Spencer100502d2007-02-17 03:16:00 +0000220 }
221 }
Reid Spencera41e93b2007-02-25 19:32:03 +0000222 return bool(y);
Reid Spencer100502d2007-02-17 03:16:00 +0000223}
224
Zhou Shengdac63782007-02-06 03:00:16 +0000225/// @brief Prefix decrement operator. Decrements the APInt by one.
226APInt& APInt::operator--() {
Eric Christopher820256b2009-08-21 04:06:45 +0000227 if (isSingleWord())
Reid Spencera856b6e2007-02-18 18:38:44 +0000228 --VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000229 else
Zhou Sheng3e8022d2007-02-07 06:14:53 +0000230 sub_1(pVal, getNumWords(), 1);
Reid Spencera41e93b2007-02-25 19:32:03 +0000231 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000232}
233
Reid Spencera41e93b2007-02-25 19:32:03 +0000234/// add - This function adds the integer array x to the integer array Y and
Eric Christopher820256b2009-08-21 04:06:45 +0000235/// places the result in dest.
Reid Spencera41e93b2007-02-25 19:32:03 +0000236/// @returns the carry out from the addition
237/// @brief General addition of 64-bit integer arrays
Eric Christopher820256b2009-08-21 04:06:45 +0000238static bool add(uint64_t *dest, const uint64_t *x, const uint64_t *y,
Chris Lattner77527f52009-01-21 18:09:24 +0000239 unsigned len) {
Reid Spencera5e0d202007-02-24 03:58:46 +0000240 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +0000241 for (unsigned i = 0; i< len; ++i) {
Reid Spencercb292e42007-02-23 01:57:13 +0000242 uint64_t limit = std::min(x[i],y[i]); // must come first in case dest == x
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000243 dest[i] = x[i] + y[i] + carry;
Reid Spencerdb2abec2007-02-21 05:44:56 +0000244 carry = dest[i] < limit || (carry && dest[i] == limit);
Reid Spencer100502d2007-02-17 03:16:00 +0000245 }
246 return carry;
247}
248
Reid Spencera41e93b2007-02-25 19:32:03 +0000249/// Adds the RHS APint to this APInt.
250/// @returns this, after addition of RHS.
Eric Christopher820256b2009-08-21 04:06:45 +0000251/// @brief Addition assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000252APInt& APInt::operator+=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000253 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000254 if (isSingleWord())
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000255 VAL += RHS.VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000256 else {
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000257 add(pVal, pVal, RHS.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000258 }
Reid Spencera41e93b2007-02-25 19:32:03 +0000259 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000260}
261
Eric Christopher820256b2009-08-21 04:06:45 +0000262/// Subtracts the integer array y from the integer array x
Reid Spencera41e93b2007-02-25 19:32:03 +0000263/// @returns returns the borrow out.
264/// @brief Generalized subtraction of 64-bit integer arrays.
Eric Christopher820256b2009-08-21 04:06:45 +0000265static bool sub(uint64_t *dest, const uint64_t *x, const uint64_t *y,
Chris Lattner77527f52009-01-21 18:09:24 +0000266 unsigned len) {
Reid Spencer1ba83352007-02-21 03:55:44 +0000267 bool borrow = false;
Chris Lattner77527f52009-01-21 18:09:24 +0000268 for (unsigned i = 0; i < len; ++i) {
Reid Spencer1ba83352007-02-21 03:55:44 +0000269 uint64_t x_tmp = borrow ? x[i] - 1 : x[i];
270 borrow = y[i] > x_tmp || (borrow && x[i] == 0);
271 dest[i] = x_tmp - y[i];
Reid Spencer100502d2007-02-17 03:16:00 +0000272 }
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000273 return borrow;
Reid Spencer100502d2007-02-17 03:16:00 +0000274}
275
Reid Spencera41e93b2007-02-25 19:32:03 +0000276/// Subtracts the RHS APInt from this APInt
277/// @returns this, after subtraction
Eric Christopher820256b2009-08-21 04:06:45 +0000278/// @brief Subtraction assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000279APInt& APInt::operator-=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000280 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000281 if (isSingleWord())
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000282 VAL -= RHS.VAL;
283 else
284 sub(pVal, pVal, RHS.pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000285 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000286}
287
Dan Gohman4a618822010-02-10 16:03:48 +0000288/// Multiplies an integer array, x, by a uint64_t integer and places the result
Eric Christopher820256b2009-08-21 04:06:45 +0000289/// into dest.
Reid Spencera41e93b2007-02-25 19:32:03 +0000290/// @returns the carry out of the multiplication.
291/// @brief Multiply a multi-digit APInt by a single digit (64-bit) integer.
Chris Lattner77527f52009-01-21 18:09:24 +0000292static uint64_t mul_1(uint64_t dest[], uint64_t x[], unsigned len, uint64_t y) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000293 // Split y into high 32-bit part (hy) and low 32-bit part (ly)
Reid Spencer100502d2007-02-17 03:16:00 +0000294 uint64_t ly = y & 0xffffffffULL, hy = y >> 32;
Reid Spencera41e93b2007-02-25 19:32:03 +0000295 uint64_t carry = 0;
296
297 // For each digit of x.
Chris Lattner77527f52009-01-21 18:09:24 +0000298 for (unsigned i = 0; i < len; ++i) {
Reid Spencera41e93b2007-02-25 19:32:03 +0000299 // Split x into high and low words
300 uint64_t lx = x[i] & 0xffffffffULL;
301 uint64_t hx = x[i] >> 32;
302 // hasCarry - A flag to indicate if there is a carry to the next digit.
Reid Spencer100502d2007-02-17 03:16:00 +0000303 // hasCarry == 0, no carry
304 // hasCarry == 1, has carry
305 // hasCarry == 2, no carry and the calculation result == 0.
306 uint8_t hasCarry = 0;
307 dest[i] = carry + lx * ly;
308 // Determine if the add above introduces carry.
309 hasCarry = (dest[i] < carry) ? 1 : 0;
310 carry = hx * ly + (dest[i] >> 32) + (hasCarry ? (1ULL << 32) : 0);
Eric Christopher820256b2009-08-21 04:06:45 +0000311 // The upper limit of carry can be (2^32 - 1)(2^32 - 1) +
Reid Spencer100502d2007-02-17 03:16:00 +0000312 // (2^32 - 1) + 2^32 = 2^64.
313 hasCarry = (!carry && hasCarry) ? 1 : (!carry ? 2 : 0);
314
315 carry += (lx * hy) & 0xffffffffULL;
316 dest[i] = (carry << 32) | (dest[i] & 0xffffffffULL);
Eric Christopher820256b2009-08-21 04:06:45 +0000317 carry = (((!carry && hasCarry != 2) || hasCarry == 1) ? (1ULL << 32) : 0) +
Reid Spencer100502d2007-02-17 03:16:00 +0000318 (carry >> 32) + ((lx * hy) >> 32) + hx * hy;
319 }
Reid Spencer100502d2007-02-17 03:16:00 +0000320 return carry;
321}
322
Eric Christopher820256b2009-08-21 04:06:45 +0000323/// Multiplies integer array x by integer array y and stores the result into
Reid Spencera41e93b2007-02-25 19:32:03 +0000324/// the integer array dest. Note that dest's size must be >= xlen + ylen.
325/// @brief Generalized multiplicate of integer arrays.
Chris Lattner77527f52009-01-21 18:09:24 +0000326static void mul(uint64_t dest[], uint64_t x[], unsigned xlen, uint64_t y[],
327 unsigned ylen) {
Reid Spencer100502d2007-02-17 03:16:00 +0000328 dest[xlen] = mul_1(dest, x, xlen, y[0]);
Chris Lattner77527f52009-01-21 18:09:24 +0000329 for (unsigned i = 1; i < ylen; ++i) {
Reid Spencer100502d2007-02-17 03:16:00 +0000330 uint64_t ly = y[i] & 0xffffffffULL, hy = y[i] >> 32;
Reid Spencer58a6a432007-02-21 08:21:52 +0000331 uint64_t carry = 0, lx = 0, hx = 0;
Chris Lattner77527f52009-01-21 18:09:24 +0000332 for (unsigned j = 0; j < xlen; ++j) {
Reid Spencer100502d2007-02-17 03:16:00 +0000333 lx = x[j] & 0xffffffffULL;
334 hx = x[j] >> 32;
335 // hasCarry - A flag to indicate if has carry.
336 // hasCarry == 0, no carry
337 // hasCarry == 1, has carry
338 // hasCarry == 2, no carry and the calculation result == 0.
339 uint8_t hasCarry = 0;
340 uint64_t resul = carry + lx * ly;
341 hasCarry = (resul < carry) ? 1 : 0;
342 carry = (hasCarry ? (1ULL << 32) : 0) + hx * ly + (resul >> 32);
343 hasCarry = (!carry && hasCarry) ? 1 : (!carry ? 2 : 0);
344
345 carry += (lx * hy) & 0xffffffffULL;
346 resul = (carry << 32) | (resul & 0xffffffffULL);
347 dest[i+j] += resul;
348 carry = (((!carry && hasCarry != 2) || hasCarry == 1) ? (1ULL << 32) : 0)+
Eric Christopher820256b2009-08-21 04:06:45 +0000349 (carry >> 32) + (dest[i+j] < resul ? 1 : 0) +
Reid Spencer100502d2007-02-17 03:16:00 +0000350 ((lx * hy) >> 32) + hx * hy;
351 }
352 dest[i+xlen] = carry;
353 }
354}
355
Zhou Shengdac63782007-02-06 03:00:16 +0000356APInt& APInt::operator*=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000357 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer58a6a432007-02-21 08:21:52 +0000358 if (isSingleWord()) {
Reid Spencer4bb430c2007-02-20 20:42:10 +0000359 VAL *= RHS.VAL;
Reid Spencer58a6a432007-02-21 08:21:52 +0000360 clearUnusedBits();
361 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000362 }
Reid Spencer58a6a432007-02-21 08:21:52 +0000363
364 // Get some bit facts about LHS and check for zero
Chris Lattner77527f52009-01-21 18:09:24 +0000365 unsigned lhsBits = getActiveBits();
366 unsigned lhsWords = !lhsBits ? 0 : whichWord(lhsBits - 1) + 1;
Eric Christopher820256b2009-08-21 04:06:45 +0000367 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +0000368 // 0 * X ===> 0
369 return *this;
370
371 // Get some bit facts about RHS and check for zero
Chris Lattner77527f52009-01-21 18:09:24 +0000372 unsigned rhsBits = RHS.getActiveBits();
373 unsigned rhsWords = !rhsBits ? 0 : whichWord(rhsBits - 1) + 1;
Reid Spencer58a6a432007-02-21 08:21:52 +0000374 if (!rhsWords) {
375 // X * 0 ===> 0
Jay Foad25a5e4c2010-12-01 08:53:58 +0000376 clearAllBits();
Reid Spencer58a6a432007-02-21 08:21:52 +0000377 return *this;
378 }
379
380 // Allocate space for the result
Chris Lattner77527f52009-01-21 18:09:24 +0000381 unsigned destWords = rhsWords + lhsWords;
Reid Spencer58a6a432007-02-21 08:21:52 +0000382 uint64_t *dest = getMemory(destWords);
383
384 // Perform the long multiply
385 mul(dest, pVal, lhsWords, RHS.pVal, rhsWords);
386
387 // Copy result back into *this
Jay Foad25a5e4c2010-12-01 08:53:58 +0000388 clearAllBits();
Chris Lattner77527f52009-01-21 18:09:24 +0000389 unsigned wordsToCopy = destWords >= getNumWords() ? getNumWords() : destWords;
Reid Spencer58a6a432007-02-21 08:21:52 +0000390 memcpy(pVal, dest, wordsToCopy * APINT_WORD_SIZE);
Eli Friedman19546412011-10-07 23:40:49 +0000391 clearUnusedBits();
Reid Spencer58a6a432007-02-21 08:21:52 +0000392
393 // delete dest array and return
394 delete[] dest;
Zhou Shengdac63782007-02-06 03:00:16 +0000395 return *this;
396}
397
Zhou Shengdac63782007-02-06 03:00:16 +0000398APInt& APInt::operator&=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000399 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Zhou Shengdac63782007-02-06 03:00:16 +0000400 if (isSingleWord()) {
Reid Spencera856b6e2007-02-18 18:38:44 +0000401 VAL &= RHS.VAL;
402 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000403 }
Chris Lattner77527f52009-01-21 18:09:24 +0000404 unsigned numWords = getNumWords();
405 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera856b6e2007-02-18 18:38:44 +0000406 pVal[i] &= RHS.pVal[i];
Zhou Shengdac63782007-02-06 03:00:16 +0000407 return *this;
408}
409
Zhou Shengdac63782007-02-06 03:00:16 +0000410APInt& APInt::operator|=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000411 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Zhou Shengdac63782007-02-06 03:00:16 +0000412 if (isSingleWord()) {
Reid Spencera856b6e2007-02-18 18:38:44 +0000413 VAL |= RHS.VAL;
414 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000415 }
Chris Lattner77527f52009-01-21 18:09:24 +0000416 unsigned numWords = getNumWords();
417 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera856b6e2007-02-18 18:38:44 +0000418 pVal[i] |= RHS.pVal[i];
Zhou Shengdac63782007-02-06 03:00:16 +0000419 return *this;
420}
421
Zhou Shengdac63782007-02-06 03:00:16 +0000422APInt& APInt::operator^=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000423 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Zhou Shengdac63782007-02-06 03:00:16 +0000424 if (isSingleWord()) {
Reid Spenceree0a6852007-02-18 06:39:42 +0000425 VAL ^= RHS.VAL;
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000426 this->clearUnusedBits();
Reid Spenceree0a6852007-02-18 06:39:42 +0000427 return *this;
Eric Christopher820256b2009-08-21 04:06:45 +0000428 }
Chris Lattner77527f52009-01-21 18:09:24 +0000429 unsigned numWords = getNumWords();
430 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera856b6e2007-02-18 18:38:44 +0000431 pVal[i] ^= RHS.pVal[i];
Reid Spencera41e93b2007-02-25 19:32:03 +0000432 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000433}
434
Chris Lattner1ac3e252008-08-20 17:02:31 +0000435APInt APInt::AndSlowCase(const APInt& RHS) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000436 unsigned numWords = getNumWords();
Reid Spencera41e93b2007-02-25 19:32:03 +0000437 uint64_t* val = getMemory(numWords);
Chris Lattner77527f52009-01-21 18:09:24 +0000438 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera41e93b2007-02-25 19:32:03 +0000439 val[i] = pVal[i] & RHS.pVal[i];
440 return APInt(val, getBitWidth());
Zhou Shengdac63782007-02-06 03:00:16 +0000441}
442
Chris Lattner1ac3e252008-08-20 17:02:31 +0000443APInt APInt::OrSlowCase(const APInt& RHS) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000444 unsigned numWords = getNumWords();
Reid Spencera41e93b2007-02-25 19:32:03 +0000445 uint64_t *val = getMemory(numWords);
Chris Lattner77527f52009-01-21 18:09:24 +0000446 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera41e93b2007-02-25 19:32:03 +0000447 val[i] = pVal[i] | RHS.pVal[i];
448 return APInt(val, getBitWidth());
Zhou Shengdac63782007-02-06 03:00:16 +0000449}
450
Chris Lattner1ac3e252008-08-20 17:02:31 +0000451APInt APInt::XorSlowCase(const APInt& RHS) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000452 unsigned numWords = getNumWords();
Reid Spencera41e93b2007-02-25 19:32:03 +0000453 uint64_t *val = getMemory(numWords);
Chris Lattner77527f52009-01-21 18:09:24 +0000454 for (unsigned i = 0; i < numWords; ++i)
Reid Spencera41e93b2007-02-25 19:32:03 +0000455 val[i] = pVal[i] ^ RHS.pVal[i];
456
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 {
Reid Spencera41e93b2007-02-25 19:32:03 +0000493 // Get some facts about the number of bits used in the two operands.
Chris Lattner77527f52009-01-21 18:09:24 +0000494 unsigned n1 = getActiveBits();
495 unsigned n2 = RHS.getActiveBits();
Reid Spencera41e93b2007-02-25 19:32:03 +0000496
497 // If the number of bits isn't the same, they aren't equal
Eric Christopher820256b2009-08-21 04:06:45 +0000498 if (n1 != n2)
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000499 return false;
500
Reid Spencera41e93b2007-02-25 19:32:03 +0000501 // If the number of bits fits in a word, we only need to compare the low word.
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000502 if (n1 <= APINT_BITS_PER_WORD)
503 return pVal[0] == RHS.pVal[0];
504
Reid Spencera41e93b2007-02-25 19:32:03 +0000505 // Otherwise, compare everything
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000506 for (int i = whichWord(n1 - 1); i >= 0; --i)
Eric Christopher820256b2009-08-21 04:06:45 +0000507 if (pVal[i] != RHS.pVal[i])
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000508 return false;
Zhou Shengdac63782007-02-06 03:00:16 +0000509 return true;
510}
511
Chris Lattner1ac3e252008-08-20 17:02:31 +0000512bool APInt::EqualSlowCase(uint64_t Val) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000513 unsigned n = getActiveBits();
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000514 if (n <= APINT_BITS_PER_WORD)
515 return pVal[0] == Val;
516 else
517 return false;
Zhou Shengdac63782007-02-06 03:00:16 +0000518}
519
Reid Spencer1d072122007-02-16 22:36:51 +0000520bool APInt::ult(const APInt& RHS) const {
521 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
522 if (isSingleWord())
523 return VAL < RHS.VAL;
Reid Spencera41e93b2007-02-25 19:32:03 +0000524
525 // Get active bit length of both operands
Chris Lattner77527f52009-01-21 18:09:24 +0000526 unsigned n1 = getActiveBits();
527 unsigned n2 = RHS.getActiveBits();
Reid Spencera41e93b2007-02-25 19:32:03 +0000528
529 // If magnitude of LHS is less than RHS, return true.
530 if (n1 < n2)
531 return true;
532
533 // If magnitude of RHS is greather than LHS, return false.
534 if (n2 < n1)
535 return false;
536
537 // If they bot fit in a word, just compare the low order word
538 if (n1 <= APINT_BITS_PER_WORD && n2 <= APINT_BITS_PER_WORD)
539 return pVal[0] < RHS.pVal[0];
540
541 // Otherwise, compare all words
Chris Lattner77527f52009-01-21 18:09:24 +0000542 unsigned topWord = whichWord(std::max(n1,n2)-1);
Reid Spencer54abdcf2007-02-27 18:23:40 +0000543 for (int i = topWord; i >= 0; --i) {
Eric Christopher820256b2009-08-21 04:06:45 +0000544 if (pVal[i] > RHS.pVal[i])
Reid Spencer1d072122007-02-16 22:36:51 +0000545 return false;
Eric Christopher820256b2009-08-21 04:06:45 +0000546 if (pVal[i] < RHS.pVal[i])
Reid Spencera41e93b2007-02-25 19:32:03 +0000547 return true;
Zhou Shengdac63782007-02-06 03:00:16 +0000548 }
549 return false;
550}
551
Reid Spencer1d072122007-02-16 22:36:51 +0000552bool APInt::slt(const APInt& RHS) const {
553 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000554 if (isSingleWord()) {
555 int64_t lhsSext = (int64_t(VAL) << (64-BitWidth)) >> (64-BitWidth);
556 int64_t rhsSext = (int64_t(RHS.VAL) << (64-BitWidth)) >> (64-BitWidth);
557 return lhsSext < rhsSext;
Reid Spencer1d072122007-02-16 22:36:51 +0000558 }
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000559
560 APInt lhs(*this);
Reid Spencer54abdcf2007-02-27 18:23:40 +0000561 APInt rhs(RHS);
562 bool lhsNeg = isNegative();
563 bool rhsNeg = rhs.isNegative();
564 if (lhsNeg) {
565 // Sign bit is set so perform two's complement to make it positive
Jay Foad25a5e4c2010-12-01 08:53:58 +0000566 lhs.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +0000567 ++lhs;
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000568 }
Reid Spencer54abdcf2007-02-27 18:23:40 +0000569 if (rhsNeg) {
570 // Sign bit is set so perform two's complement to make it positive
Jay Foad25a5e4c2010-12-01 08:53:58 +0000571 rhs.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +0000572 ++rhs;
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000573 }
Reid Spencera41e93b2007-02-25 19:32:03 +0000574
575 // Now we have unsigned values to compare so do the comparison if necessary
576 // based on the negativeness of the values.
Reid Spencer54abdcf2007-02-27 18:23:40 +0000577 if (lhsNeg)
578 if (rhsNeg)
579 return lhs.ugt(rhs);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000580 else
581 return true;
Reid Spencer54abdcf2007-02-27 18:23:40 +0000582 else if (rhsNeg)
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000583 return false;
Eric Christopher820256b2009-08-21 04:06:45 +0000584 else
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000585 return lhs.ult(rhs);
Zhou Shengdac63782007-02-06 03:00:16 +0000586}
587
Jay Foad25a5e4c2010-12-01 08:53:58 +0000588void APInt::setBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000589 if (isSingleWord())
Reid Spencera41e93b2007-02-25 19:32:03 +0000590 VAL |= maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000591 else
Reid Spencera41e93b2007-02-25 19:32:03 +0000592 pVal[whichWord(bitPosition)] |= maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000593}
594
Zhou Shengdac63782007-02-06 03:00:16 +0000595/// Set the given bit to 0 whose position is given as "bitPosition".
596/// @brief Set a given bit to 0.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000597void APInt::clearBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000598 if (isSingleWord())
Reid Spencera856b6e2007-02-18 18:38:44 +0000599 VAL &= ~maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000600 else
Reid Spencera856b6e2007-02-18 18:38:44 +0000601 pVal[whichWord(bitPosition)] &= ~maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000602}
603
Zhou Shengdac63782007-02-06 03:00:16 +0000604/// @brief Toggle every bit to its opposite value.
Zhou Shengdac63782007-02-06 03:00:16 +0000605
Eric Christopher820256b2009-08-21 04:06:45 +0000606/// Toggle a given bit to its opposite value whose position is given
Zhou Shengdac63782007-02-06 03:00:16 +0000607/// as "bitPosition".
608/// @brief Toggles a given bit to its opposite value.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000609void APInt::flipBit(unsigned bitPosition) {
Reid Spencer1d072122007-02-16 22:36:51 +0000610 assert(bitPosition < BitWidth && "Out of the bit-width range!");
Jay Foad25a5e4c2010-12-01 08:53:58 +0000611 if ((*this)[bitPosition]) clearBit(bitPosition);
612 else setBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000613}
614
Benjamin Kramer92d89982010-07-14 22:38:02 +0000615unsigned APInt::getBitsNeeded(StringRef str, uint8_t radix) {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000616 assert(!str.empty() && "Invalid string length");
Douglas Gregor663c0682011-09-14 15:54:46 +0000617 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
618 radix == 36) &&
619 "Radix should be 2, 8, 10, 16, or 36!");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000620
621 size_t slen = str.size();
Reid Spencer9329e7b2007-04-13 19:19:07 +0000622
Eric Christopher43a1dec2009-08-21 04:10:31 +0000623 // Each computation below needs to know if it's negative.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000624 StringRef::iterator p = str.begin();
Eric Christopher43a1dec2009-08-21 04:10:31 +0000625 unsigned isNegative = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000626 if (*p == '-' || *p == '+') {
627 p++;
Reid Spencer9329e7b2007-04-13 19:19:07 +0000628 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +0000629 assert(slen && "String is only a sign, needs a value.");
Reid Spencer9329e7b2007-04-13 19:19:07 +0000630 }
Eric Christopher43a1dec2009-08-21 04:10:31 +0000631
Reid Spencer9329e7b2007-04-13 19:19:07 +0000632 // For radixes of power-of-two values, the bits required is accurately and
633 // easily computed
634 if (radix == 2)
635 return slen + isNegative;
636 if (radix == 8)
637 return slen * 3 + isNegative;
638 if (radix == 16)
639 return slen * 4 + isNegative;
640
Douglas Gregor663c0682011-09-14 15:54:46 +0000641 // FIXME: base 36
642
Reid Spencer9329e7b2007-04-13 19:19:07 +0000643 // This is grossly inefficient but accurate. We could probably do something
644 // with a computation of roughly slen*64/20 and then adjust by the value of
645 // the first few digits. But, I'm not sure how accurate that could be.
646
647 // Compute a sufficient number of bits that is always large enough but might
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000648 // be too large. This avoids the assertion in the constructor. This
649 // calculation doesn't work appropriately for the numbers 0-9, so just use 4
650 // bits in that case.
Douglas Gregor663c0682011-09-14 15:54:46 +0000651 unsigned sufficient
652 = radix == 10? (slen == 1 ? 4 : slen * 64/18)
653 : (slen == 1 ? 7 : slen * 16/3);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000654
655 // Convert to the actual binary value.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000656 APInt tmp(sufficient, StringRef(p, slen), radix);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000657
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000658 // Compute how many bits are required. If the log is infinite, assume we need
659 // just bit.
660 unsigned log = tmp.logBase2();
661 if (log == (unsigned)-1) {
662 return isNegative + 1;
663 } else {
664 return isNegative + log + 1;
665 }
Reid Spencer9329e7b2007-04-13 19:19:07 +0000666}
667
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000668hash_code llvm::hash_value(const APInt &Arg) {
669 if (Arg.isSingleWord())
670 return hash_combine(Arg.VAL);
Reid Spencerb2bc9852007-02-26 21:02:27 +0000671
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000672 return hash_combine_range(Arg.pVal, Arg.pVal + Arg.getNumWords());
Reid Spencerb2bc9852007-02-26 21:02:27 +0000673}
674
Benjamin Kramerb4b51502015-03-25 16:49:59 +0000675bool APInt::isSplat(unsigned SplatSizeInBits) const {
676 assert(getBitWidth() % SplatSizeInBits == 0 &&
677 "SplatSizeInBits must divide width!");
678 // We can check that all parts of an integer are equal by making use of a
679 // little trick: rotate and check if it's still the same value.
680 return *this == rotl(SplatSizeInBits);
681}
682
Zhou Shengdac63782007-02-06 03:00:16 +0000683/// HiBits - This function returns the high "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000684APInt APInt::getHiBits(unsigned numBits) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000685 return APIntOps::lshr(*this, BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000686}
687
688/// LoBits - This function returns the low "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000689APInt APInt::getLoBits(unsigned numBits) const {
Eric Christopher820256b2009-08-21 04:06:45 +0000690 return APIntOps::lshr(APIntOps::shl(*this, BitWidth - numBits),
Reid Spencer1d072122007-02-16 22:36:51 +0000691 BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000692}
693
Chris Lattner77527f52009-01-21 18:09:24 +0000694unsigned APInt::countLeadingZerosSlowCase() const {
John McCalldf951bd2010-02-03 03:42:44 +0000695 // Treat the most significand word differently because it might have
696 // meaningless bits set beyond the precision.
697 unsigned BitsInMSW = BitWidth % APINT_BITS_PER_WORD;
698 integerPart MSWMask;
699 if (BitsInMSW) MSWMask = (integerPart(1) << BitsInMSW) - 1;
700 else {
701 MSWMask = ~integerPart(0);
702 BitsInMSW = APINT_BITS_PER_WORD;
703 }
704
705 unsigned i = getNumWords();
706 integerPart MSW = pVal[i-1] & MSWMask;
707 if (MSW)
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000708 return llvm::countLeadingZeros(MSW) - (APINT_BITS_PER_WORD - BitsInMSW);
John McCalldf951bd2010-02-03 03:42:44 +0000709
710 unsigned Count = BitsInMSW;
711 for (--i; i > 0u; --i) {
Chris Lattner1ac3e252008-08-20 17:02:31 +0000712 if (pVal[i-1] == 0)
713 Count += APINT_BITS_PER_WORD;
714 else {
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000715 Count += llvm::countLeadingZeros(pVal[i-1]);
Chris Lattner1ac3e252008-08-20 17:02:31 +0000716 break;
Reid Spencer74cf82e2007-02-21 00:29:48 +0000717 }
Zhou Shengdac63782007-02-06 03:00:16 +0000718 }
John McCalldf951bd2010-02-03 03:42:44 +0000719 return Count;
Zhou Shengdac63782007-02-06 03:00:16 +0000720}
721
Chris Lattner77527f52009-01-21 18:09:24 +0000722unsigned APInt::countLeadingOnes() const {
Reid Spencer31acef52007-02-27 21:59:26 +0000723 if (isSingleWord())
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000724 return llvm::countLeadingOnes(VAL << (APINT_BITS_PER_WORD - BitWidth));
Reid Spencer31acef52007-02-27 21:59:26 +0000725
Chris Lattner77527f52009-01-21 18:09:24 +0000726 unsigned highWordBits = BitWidth % APINT_BITS_PER_WORD;
Torok Edwinec39eb82009-01-27 18:06:03 +0000727 unsigned shift;
728 if (!highWordBits) {
729 highWordBits = APINT_BITS_PER_WORD;
730 shift = 0;
731 } else {
732 shift = APINT_BITS_PER_WORD - highWordBits;
733 }
Reid Spencer31acef52007-02-27 21:59:26 +0000734 int i = getNumWords() - 1;
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000735 unsigned Count = llvm::countLeadingOnes(pVal[i] << shift);
Reid Spencer31acef52007-02-27 21:59:26 +0000736 if (Count == highWordBits) {
737 for (i--; i >= 0; --i) {
738 if (pVal[i] == -1ULL)
739 Count += APINT_BITS_PER_WORD;
740 else {
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000741 Count += llvm::countLeadingOnes(pVal[i]);
Reid Spencer31acef52007-02-27 21:59:26 +0000742 break;
743 }
744 }
745 }
746 return Count;
747}
748
Chris Lattner77527f52009-01-21 18:09:24 +0000749unsigned APInt::countTrailingZeros() const {
Zhou Shengdac63782007-02-06 03:00:16 +0000750 if (isSingleWord())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000751 return std::min(unsigned(llvm::countTrailingZeros(VAL)), BitWidth);
Chris Lattner77527f52009-01-21 18:09:24 +0000752 unsigned Count = 0;
753 unsigned i = 0;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000754 for (; i < getNumWords() && pVal[i] == 0; ++i)
755 Count += APINT_BITS_PER_WORD;
756 if (i < getNumWords())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000757 Count += llvm::countTrailingZeros(pVal[i]);
Chris Lattnerc2c4c742007-11-23 22:36:25 +0000758 return std::min(Count, BitWidth);
Zhou Shengdac63782007-02-06 03:00:16 +0000759}
760
Chris Lattner77527f52009-01-21 18:09:24 +0000761unsigned APInt::countTrailingOnesSlowCase() const {
762 unsigned Count = 0;
763 unsigned i = 0;
Dan Gohmanc354ebd2008-02-14 22:38:45 +0000764 for (; i < getNumWords() && pVal[i] == -1ULL; ++i)
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000765 Count += APINT_BITS_PER_WORD;
766 if (i < getNumWords())
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000767 Count += llvm::countTrailingOnes(pVal[i]);
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000768 return std::min(Count, BitWidth);
769}
770
Chris Lattner77527f52009-01-21 18:09:24 +0000771unsigned APInt::countPopulationSlowCase() const {
772 unsigned Count = 0;
773 for (unsigned i = 0; i < getNumWords(); ++i)
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000774 Count += llvm::countPopulation(pVal[i]);
Zhou Shengdac63782007-02-06 03:00:16 +0000775 return Count;
776}
777
Richard Smith4f9a8082011-11-23 21:33:37 +0000778/// Perform a logical right-shift from Src to Dst, which must be equal or
779/// non-overlapping, of Words words, by Shift, which must be less than 64.
780static void lshrNear(uint64_t *Dst, uint64_t *Src, unsigned Words,
781 unsigned Shift) {
782 uint64_t Carry = 0;
783 for (int I = Words - 1; I >= 0; --I) {
784 uint64_t Tmp = Src[I];
785 Dst[I] = (Tmp >> Shift) | Carry;
786 Carry = Tmp << (64 - Shift);
787 }
788}
789
Reid Spencer1d072122007-02-16 22:36:51 +0000790APInt APInt::byteSwap() const {
791 assert(BitWidth >= 16 && BitWidth % 16 == 0 && "Cannot byteswap!");
792 if (BitWidth == 16)
Jeff Cohene06855e2007-03-20 20:42:36 +0000793 return APInt(BitWidth, ByteSwap_16(uint16_t(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000794 if (BitWidth == 32)
Chris Lattner77527f52009-01-21 18:09:24 +0000795 return APInt(BitWidth, ByteSwap_32(unsigned(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000796 if (BitWidth == 48) {
Chris Lattner77527f52009-01-21 18:09:24 +0000797 unsigned Tmp1 = unsigned(VAL >> 16);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000798 Tmp1 = ByteSwap_32(Tmp1);
Jeff Cohene06855e2007-03-20 20:42:36 +0000799 uint16_t Tmp2 = uint16_t(VAL);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000800 Tmp2 = ByteSwap_16(Tmp2);
Jeff Cohene06855e2007-03-20 20:42:36 +0000801 return APInt(BitWidth, (uint64_t(Tmp2) << 32) | Tmp1);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000802 }
Richard Smith4f9a8082011-11-23 21:33:37 +0000803 if (BitWidth == 64)
804 return APInt(BitWidth, ByteSwap_64(VAL));
805
806 APInt Result(getNumWords() * APINT_BITS_PER_WORD, 0);
807 for (unsigned I = 0, N = getNumWords(); I != N; ++I)
808 Result.pVal[I] = ByteSwap_64(pVal[N - I - 1]);
809 if (Result.BitWidth != BitWidth) {
810 lshrNear(Result.pVal, Result.pVal, getNumWords(),
811 Result.BitWidth - BitWidth);
812 Result.BitWidth = BitWidth;
813 }
814 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000815}
816
Eric Christopher820256b2009-08-21 04:06:45 +0000817APInt llvm::APIntOps::GreatestCommonDivisor(const APInt& API1,
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000818 const APInt& API2) {
Zhou Shengdac63782007-02-06 03:00:16 +0000819 APInt A = API1, B = API2;
820 while (!!B) {
821 APInt T = B;
Reid Spencer1d072122007-02-16 22:36:51 +0000822 B = APIntOps::urem(A, B);
Zhou Shengdac63782007-02-06 03:00:16 +0000823 A = T;
824 }
825 return A;
826}
Chris Lattner28cbd1d2007-02-06 05:38:37 +0000827
Chris Lattner77527f52009-01-21 18:09:24 +0000828APInt llvm::APIntOps::RoundDoubleToAPInt(double Double, unsigned width) {
Zhou Shengd707d632007-02-12 20:02:55 +0000829 union {
830 double D;
831 uint64_t I;
832 } T;
833 T.D = Double;
Reid Spencer974551a2007-02-27 01:28:10 +0000834
835 // Get the sign bit from the highest order bit
Zhou Shengd707d632007-02-12 20:02:55 +0000836 bool isNeg = T.I >> 63;
Reid Spencer974551a2007-02-27 01:28:10 +0000837
838 // Get the 11-bit exponent and adjust for the 1023 bit bias
Zhou Shengd707d632007-02-12 20:02:55 +0000839 int64_t exp = ((T.I >> 52) & 0x7ff) - 1023;
Reid Spencer974551a2007-02-27 01:28:10 +0000840
841 // If the exponent is negative, the value is < 0 so just return 0.
Zhou Shengd707d632007-02-12 20:02:55 +0000842 if (exp < 0)
Reid Spencer66d0d572007-02-28 01:30:08 +0000843 return APInt(width, 0u);
Reid Spencer974551a2007-02-27 01:28:10 +0000844
845 // Extract the mantissa by clearing the top 12 bits (sign + exponent).
846 uint64_t mantissa = (T.I & (~0ULL >> 12)) | 1ULL << 52;
847
848 // If the exponent doesn't shift all bits out of the mantissa
Zhou Shengd707d632007-02-12 20:02:55 +0000849 if (exp < 52)
Eric Christopher820256b2009-08-21 04:06:45 +0000850 return isNeg ? -APInt(width, mantissa >> (52 - exp)) :
Reid Spencer54abdcf2007-02-27 18:23:40 +0000851 APInt(width, mantissa >> (52 - exp));
852
853 // If the client didn't provide enough bits for us to shift the mantissa into
854 // then the result is undefined, just return 0
855 if (width <= exp - 52)
856 return APInt(width, 0);
Reid Spencer974551a2007-02-27 01:28:10 +0000857
858 // Otherwise, we have to shift the mantissa bits up to the right location
Reid Spencer54abdcf2007-02-27 18:23:40 +0000859 APInt Tmp(width, mantissa);
Chris Lattner77527f52009-01-21 18:09:24 +0000860 Tmp = Tmp.shl((unsigned)exp - 52);
Zhou Shengd707d632007-02-12 20:02:55 +0000861 return isNeg ? -Tmp : Tmp;
862}
863
Dale Johannesen54be7852009-08-12 18:04:11 +0000864/// RoundToDouble - This function converts this APInt to a double.
Zhou Shengd707d632007-02-12 20:02:55 +0000865/// The layout for double is as following (IEEE Standard 754):
866/// --------------------------------------
867/// | Sign Exponent Fraction Bias |
868/// |-------------------------------------- |
869/// | 1[63] 11[62-52] 52[51-00] 1023 |
Eric Christopher820256b2009-08-21 04:06:45 +0000870/// --------------------------------------
Reid Spencer1d072122007-02-16 22:36:51 +0000871double APInt::roundToDouble(bool isSigned) const {
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000872
873 // Handle the simple case where the value is contained in one uint64_t.
Dale Johannesen54be7852009-08-12 18:04:11 +0000874 // It is wrong to optimize getWord(0) to VAL; there might be more than one word.
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000875 if (isSingleWord() || getActiveBits() <= APINT_BITS_PER_WORD) {
876 if (isSigned) {
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000877 int64_t sext = (int64_t(getWord(0)) << (64-BitWidth)) >> (64-BitWidth);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000878 return double(sext);
879 } else
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000880 return double(getWord(0));
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000881 }
882
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000883 // Determine if the value is negative.
Reid Spencer1d072122007-02-16 22:36:51 +0000884 bool isNeg = isSigned ? (*this)[BitWidth-1] : false;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000885
886 // Construct the absolute value if we're negative.
Zhou Shengd707d632007-02-12 20:02:55 +0000887 APInt Tmp(isNeg ? -(*this) : (*this));
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000888
889 // Figure out how many bits we're using.
Chris Lattner77527f52009-01-21 18:09:24 +0000890 unsigned n = Tmp.getActiveBits();
Zhou Shengd707d632007-02-12 20:02:55 +0000891
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000892 // The exponent (without bias normalization) is just the number of bits
893 // we are using. Note that the sign bit is gone since we constructed the
894 // absolute value.
895 uint64_t exp = n;
Zhou Shengd707d632007-02-12 20:02:55 +0000896
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000897 // Return infinity for exponent overflow
898 if (exp > 1023) {
899 if (!isSigned || !isNeg)
Jeff Cohene06855e2007-03-20 20:42:36 +0000900 return std::numeric_limits<double>::infinity();
Eric Christopher820256b2009-08-21 04:06:45 +0000901 else
Jeff Cohene06855e2007-03-20 20:42:36 +0000902 return -std::numeric_limits<double>::infinity();
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000903 }
904 exp += 1023; // Increment for 1023 bias
905
906 // Number of bits in mantissa is 52. To obtain the mantissa value, we must
907 // extract the high 52 bits from the correct words in pVal.
Zhou Shengd707d632007-02-12 20:02:55 +0000908 uint64_t mantissa;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000909 unsigned hiWord = whichWord(n-1);
910 if (hiWord == 0) {
911 mantissa = Tmp.pVal[0];
912 if (n > 52)
913 mantissa >>= n - 52; // shift down, we want the top 52 bits.
914 } else {
915 assert(hiWord > 0 && "huh?");
916 uint64_t hibits = Tmp.pVal[hiWord] << (52 - n % APINT_BITS_PER_WORD);
917 uint64_t lobits = Tmp.pVal[hiWord-1] >> (11 + n % APINT_BITS_PER_WORD);
918 mantissa = hibits | lobits;
919 }
920
Zhou Shengd707d632007-02-12 20:02:55 +0000921 // The leading bit of mantissa is implicit, so get rid of it.
Reid Spencerfbd48a52007-02-18 00:44:22 +0000922 uint64_t sign = isNeg ? (1ULL << (APINT_BITS_PER_WORD - 1)) : 0;
Zhou Shengd707d632007-02-12 20:02:55 +0000923 union {
924 double D;
925 uint64_t I;
926 } T;
927 T.I = sign | (exp << 52) | mantissa;
928 return T.D;
929}
930
Reid Spencer1d072122007-02-16 22:36:51 +0000931// Truncate to new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000932APInt APInt::trunc(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000933 assert(width < BitWidth && "Invalid APInt Truncate request");
Chris Lattner1ac3e252008-08-20 17:02:31 +0000934 assert(width && "Can't truncate to 0 bits");
Jay Foad583abbc2010-12-07 08:25:19 +0000935
936 if (width <= APINT_BITS_PER_WORD)
937 return APInt(width, getRawData()[0]);
938
939 APInt Result(getMemory(getNumWords(width)), width);
940
941 // Copy full words.
942 unsigned i;
943 for (i = 0; i != width / APINT_BITS_PER_WORD; i++)
944 Result.pVal[i] = pVal[i];
945
946 // Truncate and copy any partial word.
947 unsigned bits = (0 - width) % APINT_BITS_PER_WORD;
948 if (bits != 0)
949 Result.pVal[i] = pVal[i] << bits >> bits;
950
951 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000952}
953
954// Sign extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000955APInt APInt::sext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000956 assert(width > BitWidth && "Invalid APInt SignExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000957
958 if (width <= APINT_BITS_PER_WORD) {
959 uint64_t val = VAL << (APINT_BITS_PER_WORD - BitWidth);
960 val = (int64_t)val >> (width - BitWidth);
961 return APInt(width, val >> (APINT_BITS_PER_WORD - width));
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000962 }
963
Jay Foad583abbc2010-12-07 08:25:19 +0000964 APInt Result(getMemory(getNumWords(width)), width);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000965
Jay Foad583abbc2010-12-07 08:25:19 +0000966 // Copy full words.
967 unsigned i;
968 uint64_t word = 0;
969 for (i = 0; i != BitWidth / APINT_BITS_PER_WORD; i++) {
970 word = getRawData()[i];
971 Result.pVal[i] = word;
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000972 }
973
Jay Foad583abbc2010-12-07 08:25:19 +0000974 // Read and sign-extend any partial word.
975 unsigned bits = (0 - BitWidth) % APINT_BITS_PER_WORD;
976 if (bits != 0)
977 word = (int64_t)getRawData()[i] << bits >> bits;
978 else
979 word = (int64_t)word >> (APINT_BITS_PER_WORD - 1);
980
981 // Write remaining full words.
982 for (; i != width / APINT_BITS_PER_WORD; i++) {
983 Result.pVal[i] = word;
984 word = (int64_t)word >> (APINT_BITS_PER_WORD - 1);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000985 }
Jay Foad583abbc2010-12-07 08:25:19 +0000986
987 // Write any partial word.
988 bits = (0 - width) % APINT_BITS_PER_WORD;
989 if (bits != 0)
990 Result.pVal[i] = word << bits >> bits;
991
992 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000993}
994
995// Zero extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000996APInt APInt::zext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000997 assert(width > BitWidth && "Invalid APInt ZeroExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000998
999 if (width <= APINT_BITS_PER_WORD)
1000 return APInt(width, VAL);
1001
1002 APInt Result(getMemory(getNumWords(width)), width);
1003
1004 // Copy words.
1005 unsigned i;
1006 for (i = 0; i != getNumWords(); i++)
1007 Result.pVal[i] = getRawData()[i];
1008
1009 // Zero remaining words.
1010 memset(&Result.pVal[i], 0, (Result.getNumWords() - i) * APINT_WORD_SIZE);
1011
1012 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +00001013}
1014
Jay Foad583abbc2010-12-07 08:25:19 +00001015APInt APInt::zextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +00001016 if (BitWidth < width)
1017 return zext(width);
1018 if (BitWidth > width)
1019 return trunc(width);
1020 return *this;
1021}
1022
Jay Foad583abbc2010-12-07 08:25:19 +00001023APInt APInt::sextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +00001024 if (BitWidth < width)
1025 return sext(width);
1026 if (BitWidth > width)
1027 return trunc(width);
1028 return *this;
1029}
1030
Rafael Espindolabb893fe2012-01-27 23:33:07 +00001031APInt APInt::zextOrSelf(unsigned width) const {
1032 if (BitWidth < width)
1033 return zext(width);
1034 return *this;
1035}
1036
1037APInt APInt::sextOrSelf(unsigned width) const {
1038 if (BitWidth < width)
1039 return sext(width);
1040 return *this;
1041}
1042
Zhou Shenge93db8f2007-02-09 07:48:24 +00001043/// Arithmetic right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001044/// @brief Arithmetic right-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001045APInt APInt::ashr(const APInt &shiftAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001046 return ashr((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001047}
1048
1049/// Arithmetic right-shift this APInt by shiftAmt.
1050/// @brief Arithmetic right-shift function.
Chris Lattner77527f52009-01-21 18:09:24 +00001051APInt APInt::ashr(unsigned shiftAmt) const {
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001052 assert(shiftAmt <= BitWidth && "Invalid shift amount");
Reid Spencer1825dd02007-03-02 22:39:11 +00001053 // Handle a degenerate case
1054 if (shiftAmt == 0)
1055 return *this;
1056
1057 // Handle single word shifts with built-in ashr
Reid Spencer522ca7c2007-02-25 01:56:07 +00001058 if (isSingleWord()) {
1059 if (shiftAmt == BitWidth)
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001060 return APInt(BitWidth, 0); // undefined
1061 else {
Chris Lattner77527f52009-01-21 18:09:24 +00001062 unsigned SignBit = APINT_BITS_PER_WORD - BitWidth;
Eric Christopher820256b2009-08-21 04:06:45 +00001063 return APInt(BitWidth,
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001064 (((int64_t(VAL) << SignBit) >> SignBit) >> shiftAmt));
1065 }
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001066 }
Reid Spencer522ca7c2007-02-25 01:56:07 +00001067
Reid Spencer1825dd02007-03-02 22:39:11 +00001068 // If all the bits were shifted out, the result is, technically, undefined.
1069 // We return -1 if it was negative, 0 otherwise. We check this early to avoid
1070 // issues in the algorithm below.
Chris Lattnerdad2d092007-05-03 18:15:36 +00001071 if (shiftAmt == BitWidth) {
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001072 if (isNegative())
Zhou Sheng1247c072008-06-05 13:27:38 +00001073 return APInt(BitWidth, -1ULL, true);
Reid Spencera41e93b2007-02-25 19:32:03 +00001074 else
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001075 return APInt(BitWidth, 0);
Chris Lattnerdad2d092007-05-03 18:15:36 +00001076 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001077
1078 // Create some space for the result.
1079 uint64_t * val = new uint64_t[getNumWords()];
1080
Reid Spencer1825dd02007-03-02 22:39:11 +00001081 // Compute some values needed by the following shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001082 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD; // bits to shift per word
1083 unsigned offset = shiftAmt / APINT_BITS_PER_WORD; // word offset for shift
1084 unsigned breakWord = getNumWords() - 1 - offset; // last word affected
1085 unsigned bitsInWord = whichBit(BitWidth); // how many bits in last word?
Reid Spencer1825dd02007-03-02 22:39:11 +00001086 if (bitsInWord == 0)
1087 bitsInWord = APINT_BITS_PER_WORD;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001088
1089 // If we are shifting whole words, just move whole words
1090 if (wordShift == 0) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001091 // Move the words containing significant bits
Chris Lattner77527f52009-01-21 18:09:24 +00001092 for (unsigned i = 0; i <= breakWord; ++i)
Reid Spencer1825dd02007-03-02 22:39:11 +00001093 val[i] = pVal[i+offset]; // move whole word
1094
1095 // Adjust the top significant word for sign bit fill, if negative
1096 if (isNegative())
1097 if (bitsInWord < APINT_BITS_PER_WORD)
1098 val[breakWord] |= ~0ULL << bitsInWord; // set high bits
1099 } else {
Eric Christopher820256b2009-08-21 04:06:45 +00001100 // Shift the low order words
Chris Lattner77527f52009-01-21 18:09:24 +00001101 for (unsigned i = 0; i < breakWord; ++i) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001102 // This combines the shifted corresponding word with the low bits from
1103 // the next word (shifted into this word's high bits).
Eric Christopher820256b2009-08-21 04:06:45 +00001104 val[i] = (pVal[i+offset] >> wordShift) |
Reid Spencer1825dd02007-03-02 22:39:11 +00001105 (pVal[i+offset+1] << (APINT_BITS_PER_WORD - wordShift));
1106 }
1107
1108 // Shift the break word. In this case there are no bits from the next word
1109 // to include in this word.
1110 val[breakWord] = pVal[breakWord+offset] >> wordShift;
1111
Alp Tokercb402912014-01-24 17:20:08 +00001112 // Deal with sign extension in the break word, and possibly the word before
Reid Spencer1825dd02007-03-02 22:39:11 +00001113 // it.
Chris Lattnerdad2d092007-05-03 18:15:36 +00001114 if (isNegative()) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001115 if (wordShift > bitsInWord) {
1116 if (breakWord > 0)
Eric Christopher820256b2009-08-21 04:06:45 +00001117 val[breakWord-1] |=
Reid Spencer1825dd02007-03-02 22:39:11 +00001118 ~0ULL << (APINT_BITS_PER_WORD - (wordShift - bitsInWord));
1119 val[breakWord] |= ~0ULL;
Eric Christopher820256b2009-08-21 04:06:45 +00001120 } else
Reid Spencer1825dd02007-03-02 22:39:11 +00001121 val[breakWord] |= (~0ULL << (bitsInWord - wordShift));
Chris Lattnerdad2d092007-05-03 18:15:36 +00001122 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001123 }
1124
Reid Spencer1825dd02007-03-02 22:39:11 +00001125 // Remaining words are 0 or -1, just assign them.
1126 uint64_t fillValue = (isNegative() ? -1ULL : 0);
Chris Lattner77527f52009-01-21 18:09:24 +00001127 for (unsigned i = breakWord+1; i < getNumWords(); ++i)
Reid Spencer1825dd02007-03-02 22:39:11 +00001128 val[i] = fillValue;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001129 APInt Result(val, BitWidth);
1130 Result.clearUnusedBits();
1131 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001132}
1133
Zhou Shenge93db8f2007-02-09 07:48:24 +00001134/// Logical right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001135/// @brief Logical right-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001136APInt APInt::lshr(const APInt &shiftAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001137 return lshr((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001138}
1139
1140/// Logical right-shift this APInt by shiftAmt.
1141/// @brief Logical right-shift function.
Chris Lattner77527f52009-01-21 18:09:24 +00001142APInt APInt::lshr(unsigned shiftAmt) const {
Chris Lattnerdad2d092007-05-03 18:15:36 +00001143 if (isSingleWord()) {
Ahmed Charles0dca5d82012-02-24 19:06:15 +00001144 if (shiftAmt >= BitWidth)
Reid Spencer522ca7c2007-02-25 01:56:07 +00001145 return APInt(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001146 else
Reid Spencer522ca7c2007-02-25 01:56:07 +00001147 return APInt(BitWidth, this->VAL >> shiftAmt);
Chris Lattnerdad2d092007-05-03 18:15:36 +00001148 }
Reid Spencer522ca7c2007-02-25 01:56:07 +00001149
Reid Spencer44eef162007-02-26 01:19:48 +00001150 // If all the bits were shifted out, the result is 0. This avoids issues
1151 // with shifting by the size of the integer type, which produces undefined
1152 // results. We define these "undefined results" to always be 0.
Chad Rosier3d464d82012-06-08 18:04:52 +00001153 if (shiftAmt >= BitWidth)
Reid Spencer44eef162007-02-26 01:19:48 +00001154 return APInt(BitWidth, 0);
1155
Reid Spencerfffdf102007-05-17 06:26:29 +00001156 // If none of the bits are shifted out, the result is *this. This avoids
Eric Christopher820256b2009-08-21 04:06:45 +00001157 // issues with shifting by the size of the integer type, which produces
Reid Spencerfffdf102007-05-17 06:26:29 +00001158 // undefined results in the code below. This is also an optimization.
1159 if (shiftAmt == 0)
1160 return *this;
1161
Reid Spencer44eef162007-02-26 01:19:48 +00001162 // Create some space for the result.
1163 uint64_t * val = new uint64_t[getNumWords()];
1164
1165 // If we are shifting less than a word, compute the shift with a simple carry
1166 if (shiftAmt < APINT_BITS_PER_WORD) {
Richard Smith4f9a8082011-11-23 21:33:37 +00001167 lshrNear(val, pVal, getNumWords(), shiftAmt);
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001168 APInt Result(val, BitWidth);
1169 Result.clearUnusedBits();
1170 return Result;
Reid Spencera41e93b2007-02-25 19:32:03 +00001171 }
1172
Reid Spencer44eef162007-02-26 01:19:48 +00001173 // Compute some values needed by the remaining shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001174 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD;
1175 unsigned offset = shiftAmt / APINT_BITS_PER_WORD;
Reid Spencer44eef162007-02-26 01:19:48 +00001176
1177 // If we are shifting whole words, just move whole words
1178 if (wordShift == 0) {
Chris Lattner77527f52009-01-21 18:09:24 +00001179 for (unsigned i = 0; i < getNumWords() - offset; ++i)
Reid Spencer44eef162007-02-26 01:19:48 +00001180 val[i] = pVal[i+offset];
Chris Lattner77527f52009-01-21 18:09:24 +00001181 for (unsigned i = getNumWords()-offset; i < getNumWords(); i++)
Reid Spencer44eef162007-02-26 01:19:48 +00001182 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001183 APInt Result(val, BitWidth);
1184 Result.clearUnusedBits();
1185 return Result;
Reid Spencer44eef162007-02-26 01:19:48 +00001186 }
1187
Eric Christopher820256b2009-08-21 04:06:45 +00001188 // Shift the low order words
Chris Lattner77527f52009-01-21 18:09:24 +00001189 unsigned breakWord = getNumWords() - offset -1;
1190 for (unsigned i = 0; i < breakWord; ++i)
Reid Spencerd99feaf2007-03-01 05:39:56 +00001191 val[i] = (pVal[i+offset] >> wordShift) |
1192 (pVal[i+offset+1] << (APINT_BITS_PER_WORD - wordShift));
Reid Spencer44eef162007-02-26 01:19:48 +00001193 // Shift the break word.
1194 val[breakWord] = pVal[breakWord+offset] >> wordShift;
1195
1196 // Remaining words are 0
Chris Lattner77527f52009-01-21 18:09:24 +00001197 for (unsigned i = breakWord+1; i < getNumWords(); ++i)
Reid Spencer44eef162007-02-26 01:19:48 +00001198 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001199 APInt Result(val, BitWidth);
1200 Result.clearUnusedBits();
1201 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001202}
1203
Zhou Shenge93db8f2007-02-09 07:48:24 +00001204/// Left-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001205/// @brief Left-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001206APInt APInt::shl(const APInt &shiftAmt) const {
Nick Lewycky030c4502009-01-19 17:42:33 +00001207 // It's undefined behavior in C to shift by BitWidth or greater.
Chris Lattner77527f52009-01-21 18:09:24 +00001208 return shl((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001209}
1210
Chris Lattner77527f52009-01-21 18:09:24 +00001211APInt APInt::shlSlowCase(unsigned shiftAmt) const {
Reid Spencera5c84d92007-02-25 00:56:44 +00001212 // If all the bits were shifted out, the result is 0. This avoids issues
1213 // with shifting by the size of the integer type, which produces undefined
1214 // results. We define these "undefined results" to always be 0.
1215 if (shiftAmt == BitWidth)
1216 return APInt(BitWidth, 0);
1217
Reid Spencer81ee0202007-05-12 18:01:57 +00001218 // If none of the bits are shifted out, the result is *this. This avoids a
1219 // lshr by the words size in the loop below which can produce incorrect
1220 // results. It also avoids the expensive computation below for a common case.
1221 if (shiftAmt == 0)
1222 return *this;
1223
Reid Spencera5c84d92007-02-25 00:56:44 +00001224 // Create some space for the result.
1225 uint64_t * val = new uint64_t[getNumWords()];
1226
1227 // If we are shifting less than a word, do it the easy way
1228 if (shiftAmt < APINT_BITS_PER_WORD) {
1229 uint64_t carry = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001230 for (unsigned i = 0; i < getNumWords(); i++) {
Reid Spencera5c84d92007-02-25 00:56:44 +00001231 val[i] = pVal[i] << shiftAmt | carry;
1232 carry = pVal[i] >> (APINT_BITS_PER_WORD - shiftAmt);
1233 }
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001234 APInt Result(val, BitWidth);
1235 Result.clearUnusedBits();
1236 return Result;
Reid Spencer632ebdf2007-02-24 20:19:37 +00001237 }
1238
Reid Spencera5c84d92007-02-25 00:56:44 +00001239 // Compute some values needed by the remaining shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001240 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD;
1241 unsigned offset = shiftAmt / APINT_BITS_PER_WORD;
Reid Spencera5c84d92007-02-25 00:56:44 +00001242
1243 // If we are shifting whole words, just move whole words
1244 if (wordShift == 0) {
Chris Lattner77527f52009-01-21 18:09:24 +00001245 for (unsigned i = 0; i < offset; i++)
Reid Spencera5c84d92007-02-25 00:56:44 +00001246 val[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001247 for (unsigned i = offset; i < getNumWords(); i++)
Reid Spencera5c84d92007-02-25 00:56:44 +00001248 val[i] = pVal[i-offset];
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001249 APInt Result(val, BitWidth);
1250 Result.clearUnusedBits();
1251 return Result;
Reid Spencer632ebdf2007-02-24 20:19:37 +00001252 }
Reid Spencera5c84d92007-02-25 00:56:44 +00001253
1254 // Copy whole words from this to Result.
Chris Lattner77527f52009-01-21 18:09:24 +00001255 unsigned i = getNumWords() - 1;
Reid Spencera5c84d92007-02-25 00:56:44 +00001256 for (; i > offset; --i)
1257 val[i] = pVal[i-offset] << wordShift |
1258 pVal[i-offset-1] >> (APINT_BITS_PER_WORD - wordShift);
Reid Spencerab0e08a2007-02-25 01:08:58 +00001259 val[offset] = pVal[0] << wordShift;
Reid Spencera5c84d92007-02-25 00:56:44 +00001260 for (i = 0; i < offset; ++i)
1261 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001262 APInt Result(val, BitWidth);
1263 Result.clearUnusedBits();
1264 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001265}
1266
Dan Gohman105c1d42008-02-29 01:40:47 +00001267APInt APInt::rotl(const APInt &rotateAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001268 return rotl((unsigned)rotateAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001269}
1270
Chris Lattner77527f52009-01-21 18:09:24 +00001271APInt APInt::rotl(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001272 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001273 if (rotateAmt == 0)
1274 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001275 return shl(rotateAmt) | lshr(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001276}
1277
Dan Gohman105c1d42008-02-29 01:40:47 +00001278APInt APInt::rotr(const APInt &rotateAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001279 return rotr((unsigned)rotateAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001280}
1281
Chris Lattner77527f52009-01-21 18:09:24 +00001282APInt APInt::rotr(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001283 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001284 if (rotateAmt == 0)
1285 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001286 return lshr(rotateAmt) | shl(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001287}
Reid Spencerd99feaf2007-03-01 05:39:56 +00001288
1289// Square Root - this method computes and returns the square root of "this".
1290// Three mechanisms are used for computation. For small values (<= 5 bits),
1291// a table lookup is done. This gets some performance for common cases. For
1292// values using less than 52 bits, the value is converted to double and then
1293// the libc sqrt function is called. The result is rounded and then converted
1294// back to a uint64_t which is then used to construct the result. Finally,
Eric Christopher820256b2009-08-21 04:06:45 +00001295// the Babylonian method for computing square roots is used.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001296APInt APInt::sqrt() const {
1297
1298 // Determine the magnitude of the value.
Chris Lattner77527f52009-01-21 18:09:24 +00001299 unsigned magnitude = getActiveBits();
Reid Spencerd99feaf2007-03-01 05:39:56 +00001300
1301 // Use a fast table for some small values. This also gets rid of some
1302 // rounding errors in libc sqrt for small values.
1303 if (magnitude <= 5) {
Reid Spencer2f6ad4d2007-03-01 17:47:31 +00001304 static const uint8_t results[32] = {
Reid Spencerc8841d22007-03-01 06:23:32 +00001305 /* 0 */ 0,
1306 /* 1- 2 */ 1, 1,
Eric Christopher820256b2009-08-21 04:06:45 +00001307 /* 3- 6 */ 2, 2, 2, 2,
Reid Spencerc8841d22007-03-01 06:23:32 +00001308 /* 7-12 */ 3, 3, 3, 3, 3, 3,
1309 /* 13-20 */ 4, 4, 4, 4, 4, 4, 4, 4,
1310 /* 21-30 */ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1311 /* 31 */ 6
1312 };
1313 return APInt(BitWidth, results[ (isSingleWord() ? VAL : pVal[0]) ]);
Reid Spencerd99feaf2007-03-01 05:39:56 +00001314 }
1315
1316 // If the magnitude of the value fits in less than 52 bits (the precision of
1317 // an IEEE double precision floating point value), then we can use the
1318 // libc sqrt function which will probably use a hardware sqrt computation.
1319 // This should be faster than the algorithm below.
Jeff Cohenb622c112007-03-05 00:00:42 +00001320 if (magnitude < 52) {
Eric Christopher820256b2009-08-21 04:06:45 +00001321 return APInt(BitWidth,
Reid Spencerd99feaf2007-03-01 05:39:56 +00001322 uint64_t(::round(::sqrt(double(isSingleWord()?VAL:pVal[0])))));
Jeff Cohenb622c112007-03-05 00:00:42 +00001323 }
Reid Spencerd99feaf2007-03-01 05:39:56 +00001324
1325 // Okay, all the short cuts are exhausted. We must compute it. The following
1326 // is a classical Babylonian method for computing the square root. This code
Sanjay Patel4cb54e02014-09-11 15:41:01 +00001327 // was adapted to APInt from a wikipedia article on such computations.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001328 // See http://www.wikipedia.org/ and go to the page named
Eric Christopher820256b2009-08-21 04:06:45 +00001329 // Calculate_an_integer_square_root.
Chris Lattner77527f52009-01-21 18:09:24 +00001330 unsigned nbits = BitWidth, i = 4;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001331 APInt testy(BitWidth, 16);
1332 APInt x_old(BitWidth, 1);
1333 APInt x_new(BitWidth, 0);
1334 APInt two(BitWidth, 2);
1335
1336 // Select a good starting value using binary logarithms.
Eric Christopher820256b2009-08-21 04:06:45 +00001337 for (;; i += 2, testy = testy.shl(2))
Reid Spencerd99feaf2007-03-01 05:39:56 +00001338 if (i >= nbits || this->ule(testy)) {
1339 x_old = x_old.shl(i / 2);
1340 break;
1341 }
1342
Eric Christopher820256b2009-08-21 04:06:45 +00001343 // Use the Babylonian method to arrive at the integer square root:
Reid Spencerd99feaf2007-03-01 05:39:56 +00001344 for (;;) {
1345 x_new = (this->udiv(x_old) + x_old).udiv(two);
1346 if (x_old.ule(x_new))
1347 break;
1348 x_old = x_new;
1349 }
1350
1351 // Make sure we return the closest approximation
Eric Christopher820256b2009-08-21 04:06:45 +00001352 // NOTE: The rounding calculation below is correct. It will produce an
Reid Spencercf817562007-03-02 04:21:55 +00001353 // off-by-one discrepancy with results from pari/gp. That discrepancy has been
Eric Christopher820256b2009-08-21 04:06:45 +00001354 // determined to be a rounding issue with pari/gp as it begins to use a
Reid Spencercf817562007-03-02 04:21:55 +00001355 // floating point representation after 192 bits. There are no discrepancies
1356 // between this algorithm and pari/gp for bit widths < 192 bits.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001357 APInt square(x_old * x_old);
1358 APInt nextSquare((x_old + 1) * (x_old +1));
1359 if (this->ult(square))
1360 return x_old;
David Blaikie54c94622011-12-01 20:58:30 +00001361 assert(this->ule(nextSquare) && "Error in APInt::sqrt computation");
1362 APInt midpoint((nextSquare - square).udiv(two));
1363 APInt offset(*this - square);
1364 if (offset.ult(midpoint))
1365 return x_old;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001366 return x_old + 1;
1367}
1368
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001369/// Computes the multiplicative inverse of this APInt for a given modulo. The
1370/// iterative extended Euclidean algorithm is used to solve for this value,
1371/// however we simplify it to speed up calculating only the inverse, and take
1372/// advantage of div+rem calculations. We also use some tricks to avoid copying
1373/// (potentially large) APInts around.
1374APInt APInt::multiplicativeInverse(const APInt& modulo) const {
1375 assert(ult(modulo) && "This APInt must be smaller than the modulo");
1376
1377 // Using the properties listed at the following web page (accessed 06/21/08):
1378 // http://www.numbertheory.org/php/euclid.html
1379 // (especially the properties numbered 3, 4 and 9) it can be proved that
1380 // BitWidth bits suffice for all the computations in the algorithm implemented
1381 // below. More precisely, this number of bits suffice if the multiplicative
1382 // inverse exists, but may not suffice for the general extended Euclidean
1383 // algorithm.
1384
1385 APInt r[2] = { modulo, *this };
1386 APInt t[2] = { APInt(BitWidth, 0), APInt(BitWidth, 1) };
1387 APInt q(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001388
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001389 unsigned i;
1390 for (i = 0; r[i^1] != 0; i ^= 1) {
1391 // An overview of the math without the confusing bit-flipping:
1392 // q = r[i-2] / r[i-1]
1393 // r[i] = r[i-2] % r[i-1]
1394 // t[i] = t[i-2] - t[i-1] * q
1395 udivrem(r[i], r[i^1], q, r[i]);
1396 t[i] -= t[i^1] * q;
1397 }
1398
1399 // If this APInt and the modulo are not coprime, there is no multiplicative
1400 // inverse, so return 0. We check this by looking at the next-to-last
1401 // remainder, which is the gcd(*this,modulo) as calculated by the Euclidean
1402 // algorithm.
1403 if (r[i] != 1)
1404 return APInt(BitWidth, 0);
1405
1406 // The next-to-last t is the multiplicative inverse. However, we are
1407 // interested in a positive inverse. Calcuate a positive one from a negative
1408 // one if necessary. A simple addition of the modulo suffices because
Wojciech Matyjewiczf0d21cd2008-07-20 15:55:14 +00001409 // abs(t[i]) is known to be less than *this/2 (see the link above).
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001410 return t[i].isNegative() ? t[i] + modulo : t[i];
1411}
1412
Jay Foadfe0c6482009-04-30 10:15:35 +00001413/// Calculate the magic numbers required to implement a signed integer division
1414/// by a constant as a sequence of multiplies, adds and shifts. Requires that
1415/// the divisor not be 0, 1, or -1. Taken from "Hacker's Delight", Henry S.
1416/// Warren, Jr., chapter 10.
1417APInt::ms APInt::magic() const {
1418 const APInt& d = *this;
1419 unsigned p;
1420 APInt ad, anc, delta, q1, r1, q2, r2, t;
Jay Foadfe0c6482009-04-30 10:15:35 +00001421 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
Jay Foadfe0c6482009-04-30 10:15:35 +00001422 struct ms mag;
Eric Christopher820256b2009-08-21 04:06:45 +00001423
Jay Foadfe0c6482009-04-30 10:15:35 +00001424 ad = d.abs();
1425 t = signedMin + (d.lshr(d.getBitWidth() - 1));
1426 anc = t - 1 - t.urem(ad); // absolute value of nc
1427 p = d.getBitWidth() - 1; // initialize p
1428 q1 = signedMin.udiv(anc); // initialize q1 = 2p/abs(nc)
1429 r1 = signedMin - q1*anc; // initialize r1 = rem(2p,abs(nc))
1430 q2 = signedMin.udiv(ad); // initialize q2 = 2p/abs(d)
1431 r2 = signedMin - q2*ad; // initialize r2 = rem(2p,abs(d))
1432 do {
1433 p = p + 1;
1434 q1 = q1<<1; // update q1 = 2p/abs(nc)
1435 r1 = r1<<1; // update r1 = rem(2p/abs(nc))
1436 if (r1.uge(anc)) { // must be unsigned comparison
1437 q1 = q1 + 1;
1438 r1 = r1 - anc;
1439 }
1440 q2 = q2<<1; // update q2 = 2p/abs(d)
1441 r2 = r2<<1; // update r2 = rem(2p/abs(d))
1442 if (r2.uge(ad)) { // must be unsigned comparison
1443 q2 = q2 + 1;
1444 r2 = r2 - ad;
1445 }
1446 delta = ad - r2;
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001447 } while (q1.ult(delta) || (q1 == delta && r1 == 0));
Eric Christopher820256b2009-08-21 04:06:45 +00001448
Jay Foadfe0c6482009-04-30 10:15:35 +00001449 mag.m = q2 + 1;
1450 if (d.isNegative()) mag.m = -mag.m; // resulting magic number
1451 mag.s = p - d.getBitWidth(); // resulting shift
1452 return mag;
1453}
1454
1455/// Calculate the magic numbers required to implement an unsigned integer
1456/// division by a constant as a sequence of multiplies, adds and shifts.
1457/// Requires that the divisor not be 0. Taken from "Hacker's Delight", Henry
1458/// S. Warren, Jr., chapter 10.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001459/// LeadingZeros can be used to simplify the calculation if the upper bits
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001460/// of the divided value are known zero.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001461APInt::mu APInt::magicu(unsigned LeadingZeros) const {
Jay Foadfe0c6482009-04-30 10:15:35 +00001462 const APInt& d = *this;
1463 unsigned p;
1464 APInt nc, delta, q1, r1, q2, r2;
1465 struct mu magu;
1466 magu.a = 0; // initialize "add" indicator
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001467 APInt allOnes = APInt::getAllOnesValue(d.getBitWidth()).lshr(LeadingZeros);
Jay Foadfe0c6482009-04-30 10:15:35 +00001468 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
1469 APInt signedMax = APInt::getSignedMaxValue(d.getBitWidth());
1470
Benjamin Kramer3aab6a82012-07-11 18:31:59 +00001471 nc = allOnes - (allOnes - d).urem(d);
Jay Foadfe0c6482009-04-30 10:15:35 +00001472 p = d.getBitWidth() - 1; // initialize p
1473 q1 = signedMin.udiv(nc); // initialize q1 = 2p/nc
1474 r1 = signedMin - q1*nc; // initialize r1 = rem(2p,nc)
1475 q2 = signedMax.udiv(d); // initialize q2 = (2p-1)/d
1476 r2 = signedMax - q2*d; // initialize r2 = rem((2p-1),d)
1477 do {
1478 p = p + 1;
1479 if (r1.uge(nc - r1)) {
1480 q1 = q1 + q1 + 1; // update q1
1481 r1 = r1 + r1 - nc; // update r1
1482 }
1483 else {
1484 q1 = q1+q1; // update q1
1485 r1 = r1+r1; // update r1
1486 }
1487 if ((r2 + 1).uge(d - r2)) {
1488 if (q2.uge(signedMax)) magu.a = 1;
1489 q2 = q2+q2 + 1; // update q2
1490 r2 = r2+r2 + 1 - d; // update r2
1491 }
1492 else {
1493 if (q2.uge(signedMin)) magu.a = 1;
1494 q2 = q2+q2; // update q2
1495 r2 = r2+r2 + 1; // update r2
1496 }
1497 delta = d - 1 - r2;
1498 } while (p < d.getBitWidth()*2 &&
1499 (q1.ult(delta) || (q1 == delta && r1 == 0)));
1500 magu.m = q2 + 1; // resulting magic number
1501 magu.s = p - d.getBitWidth(); // resulting shift
1502 return magu;
1503}
1504
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001505/// Implementation of Knuth's Algorithm D (Division of nonnegative integers)
1506/// from "Art of Computer Programming, Volume 2", section 4.3.1, p. 272. The
1507/// variables here have the same names as in the algorithm. Comments explain
1508/// the algorithm and any deviation from it.
Chris Lattner77527f52009-01-21 18:09:24 +00001509static void KnuthDiv(unsigned *u, unsigned *v, unsigned *q, unsigned* r,
1510 unsigned m, unsigned n) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001511 assert(u && "Must provide dividend");
1512 assert(v && "Must provide divisor");
1513 assert(q && "Must provide quotient");
Reid Spencera5e0d202007-02-24 03:58:46 +00001514 assert(u != v && u != q && v != q && "Must us different memory");
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001515 assert(n>1 && "n must be > 1");
1516
1517 // Knuth uses the value b as the base of the number system. In our case b
1518 // is 2^31 so we just set it to -1u.
1519 uint64_t b = uint64_t(1) << 32;
1520
Chris Lattner17f71652008-08-17 07:19:36 +00001521#if 0
David Greenef32fcb42010-01-05 01:28:52 +00001522 DEBUG(dbgs() << "KnuthDiv: m=" << m << " n=" << n << '\n');
1523 DEBUG(dbgs() << "KnuthDiv: original:");
1524 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1525 DEBUG(dbgs() << " by");
1526 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1527 DEBUG(dbgs() << '\n');
Chris Lattner17f71652008-08-17 07:19:36 +00001528#endif
Eric Christopher820256b2009-08-21 04:06:45 +00001529 // D1. [Normalize.] Set d = b / (v[n-1] + 1) and multiply all the digits of
1530 // u and v by d. Note that we have taken Knuth's advice here to use a power
1531 // of 2 value for d such that d * v[n-1] >= b/2 (b is the base). A power of
1532 // 2 allows us to shift instead of multiply and it is easy to determine the
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001533 // shift amount from the leading zeros. We are basically normalizing the u
1534 // and v so that its high bits are shifted to the top of v's range without
1535 // overflow. Note that this can require an extra word in u so that u must
1536 // be of length m+n+1.
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001537 unsigned shift = countLeadingZeros(v[n-1]);
Chris Lattner77527f52009-01-21 18:09:24 +00001538 unsigned v_carry = 0;
1539 unsigned u_carry = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001540 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001541 for (unsigned i = 0; i < m+n; ++i) {
1542 unsigned u_tmp = u[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001543 u[i] = (u[i] << shift) | u_carry;
1544 u_carry = u_tmp;
Reid Spencer100502d2007-02-17 03:16:00 +00001545 }
Chris Lattner77527f52009-01-21 18:09:24 +00001546 for (unsigned i = 0; i < n; ++i) {
1547 unsigned v_tmp = v[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001548 v[i] = (v[i] << shift) | v_carry;
1549 v_carry = v_tmp;
1550 }
1551 }
1552 u[m+n] = u_carry;
Chris Lattner17f71652008-08-17 07:19:36 +00001553#if 0
David Greenef32fcb42010-01-05 01:28:52 +00001554 DEBUG(dbgs() << "KnuthDiv: normal:");
1555 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1556 DEBUG(dbgs() << " by");
1557 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1558 DEBUG(dbgs() << '\n');
Chris Lattner17f71652008-08-17 07:19:36 +00001559#endif
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001560
1561 // D2. [Initialize j.] Set j to m. This is the loop counter over the places.
1562 int j = m;
1563 do {
David Greenef32fcb42010-01-05 01:28:52 +00001564 DEBUG(dbgs() << "KnuthDiv: quotient digit #" << j << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001565 // D3. [Calculate q'.].
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001566 // Set qp = (u[j+n]*b + u[j+n-1]) / v[n-1]. (qp=qprime=q')
1567 // Set rp = (u[j+n]*b + u[j+n-1]) % v[n-1]. (rp=rprime=r')
1568 // Now test if qp == b or qp*v[n-2] > b*rp + u[j+n-2]; if so, decrease
1569 // qp by 1, inrease rp by v[n-1], and repeat this test if rp < b. The test
1570 // on v[n-2] determines at high speed most of the cases in which the trial
Eric Christopher820256b2009-08-21 04:06:45 +00001571 // value qp is one too large, and it eliminates all cases where qp is two
1572 // too large.
Reid Spencercb292e42007-02-23 01:57:13 +00001573 uint64_t dividend = ((uint64_t(u[j+n]) << 32) + u[j+n-1]);
David Greenef32fcb42010-01-05 01:28:52 +00001574 DEBUG(dbgs() << "KnuthDiv: dividend == " << dividend << '\n');
Reid Spencercb292e42007-02-23 01:57:13 +00001575 uint64_t qp = dividend / v[n-1];
1576 uint64_t rp = dividend % v[n-1];
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001577 if (qp == b || qp*v[n-2] > b*rp + u[j+n-2]) {
1578 qp--;
1579 rp += v[n-1];
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001580 if (rp < b && (qp == b || qp*v[n-2] > b*rp + u[j+n-2]))
Reid Spencera5e0d202007-02-24 03:58:46 +00001581 qp--;
Reid Spencercb292e42007-02-23 01:57:13 +00001582 }
David Greenef32fcb42010-01-05 01:28:52 +00001583 DEBUG(dbgs() << "KnuthDiv: qp == " << qp << ", rp == " << rp << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001584
Reid Spencercb292e42007-02-23 01:57:13 +00001585 // D4. [Multiply and subtract.] Replace (u[j+n]u[j+n-1]...u[j]) with
1586 // (u[j+n]u[j+n-1]..u[j]) - qp * (v[n-1]...v[1]v[0]). This computation
1587 // consists of a simple multiplication by a one-place number, combined with
Eric Christopher820256b2009-08-21 04:06:45 +00001588 // a subtraction.
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001589 bool isNeg = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001590 for (unsigned i = 0; i < n; ++i) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001591 uint64_t u_tmp = uint64_t(u[j+i]) | (uint64_t(u[j+i+1]) << 32);
Reid Spencera5e0d202007-02-24 03:58:46 +00001592 uint64_t subtrahend = uint64_t(qp) * uint64_t(v[i]);
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001593 bool borrow = subtrahend > u_tmp;
David Greenef32fcb42010-01-05 01:28:52 +00001594 DEBUG(dbgs() << "KnuthDiv: u_tmp == " << u_tmp
Daniel Dunbar763ace92009-07-13 05:27:30 +00001595 << ", subtrahend == " << subtrahend
1596 << ", borrow = " << borrow << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001597
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001598 uint64_t result = u_tmp - subtrahend;
Chris Lattner77527f52009-01-21 18:09:24 +00001599 unsigned k = j + i;
1600 u[k++] = (unsigned)(result & (b-1)); // subtract low word
1601 u[k++] = (unsigned)(result >> 32); // subtract high word
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001602 while (borrow && k <= m+n) { // deal with borrow to the left
1603 borrow = u[k] == 0;
1604 u[k]--;
1605 k++;
1606 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001607 isNeg |= borrow;
David Greenef32fcb42010-01-05 01:28:52 +00001608 DEBUG(dbgs() << "KnuthDiv: u[j+i] == " << u[j+i] << ", u[j+i+1] == " <<
Eric Christopher820256b2009-08-21 04:06:45 +00001609 u[j+i+1] << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001610 }
David Greenef32fcb42010-01-05 01:28:52 +00001611 DEBUG(dbgs() << "KnuthDiv: after subtraction:");
1612 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1613 DEBUG(dbgs() << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001614 // The digits (u[j+n]...u[j]) should be kept positive; if the result of
1615 // this step is actually negative, (u[j+n]...u[j]) should be left as the
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001616 // true value plus b**(n+1), namely as the b's complement of
Reid Spencercb292e42007-02-23 01:57:13 +00001617 // the true value, and a "borrow" to the left should be remembered.
1618 //
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001619 if (isNeg) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001620 bool carry = true; // true because b's complement is "complement + 1"
Chris Lattner77527f52009-01-21 18:09:24 +00001621 for (unsigned i = 0; i <= m+n; ++i) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001622 u[i] = ~u[i] + carry; // b's complement
1623 carry = carry && u[i] == 0;
Reid Spencera5e0d202007-02-24 03:58:46 +00001624 }
Reid Spencercb292e42007-02-23 01:57:13 +00001625 }
David Greenef32fcb42010-01-05 01:28:52 +00001626 DEBUG(dbgs() << "KnuthDiv: after complement:");
1627 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1628 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001629
Eric Christopher820256b2009-08-21 04:06:45 +00001630 // D5. [Test remainder.] Set q[j] = qp. If the result of step D4 was
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001631 // negative, go to step D6; otherwise go on to step D7.
Chris Lattner77527f52009-01-21 18:09:24 +00001632 q[j] = (unsigned)qp;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001633 if (isNeg) {
Eric Christopher820256b2009-08-21 04:06:45 +00001634 // D6. [Add back]. The probability that this step is necessary is very
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001635 // small, on the order of only 2/b. Make sure that test data accounts for
Eric Christopher820256b2009-08-21 04:06:45 +00001636 // this possibility. Decrease q[j] by 1
Reid Spencercb292e42007-02-23 01:57:13 +00001637 q[j]--;
Eric Christopher820256b2009-08-21 04:06:45 +00001638 // and add (0v[n-1]...v[1]v[0]) to (u[j+n]u[j+n-1]...u[j+1]u[j]).
1639 // A carry will occur to the left of u[j+n], and it should be ignored
Reid Spencercb292e42007-02-23 01:57:13 +00001640 // since it cancels with the borrow that occurred in D4.
1641 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001642 for (unsigned i = 0; i < n; i++) {
1643 unsigned limit = std::min(u[j+i],v[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001644 u[j+i] += v[i] + carry;
Reid Spencera5e0d202007-02-24 03:58:46 +00001645 carry = u[j+i] < limit || (carry && u[j+i] == limit);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001646 }
Reid Spencera5e0d202007-02-24 03:58:46 +00001647 u[j+n] += carry;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001648 }
David Greenef32fcb42010-01-05 01:28:52 +00001649 DEBUG(dbgs() << "KnuthDiv: after correction:");
1650 DEBUG(for (int i = m+n; i >=0; i--) dbgs() <<" " << u[i]);
1651 DEBUG(dbgs() << "\nKnuthDiv: digit result = " << q[j] << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001652
Reid Spencercb292e42007-02-23 01:57:13 +00001653 // D7. [Loop on j.] Decrease j by one. Now if j >= 0, go back to D3.
1654 } while (--j >= 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001655
David Greenef32fcb42010-01-05 01:28:52 +00001656 DEBUG(dbgs() << "KnuthDiv: quotient:");
1657 DEBUG(for (int i = m; i >=0; i--) dbgs() <<" " << q[i]);
1658 DEBUG(dbgs() << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001659
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001660 // D8. [Unnormalize]. Now q[...] is the desired quotient, and the desired
1661 // remainder may be obtained by dividing u[...] by d. If r is non-null we
1662 // compute the remainder (urem uses this).
1663 if (r) {
1664 // The value d is expressed by the "shift" value above since we avoided
1665 // multiplication by d by using a shift left. So, all we have to do is
1666 // shift right here. In order to mak
Reid Spencer468ad9112007-02-24 20:38:01 +00001667 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001668 unsigned carry = 0;
David Greenef32fcb42010-01-05 01:28:52 +00001669 DEBUG(dbgs() << "KnuthDiv: remainder:");
Reid Spencer468ad9112007-02-24 20:38:01 +00001670 for (int i = n-1; i >= 0; i--) {
1671 r[i] = (u[i] >> shift) | carry;
1672 carry = u[i] << (32 - shift);
David Greenef32fcb42010-01-05 01:28:52 +00001673 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001674 }
1675 } else {
1676 for (int i = n-1; i >= 0; i--) {
1677 r[i] = u[i];
David Greenef32fcb42010-01-05 01:28:52 +00001678 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001679 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001680 }
David Greenef32fcb42010-01-05 01:28:52 +00001681 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001682 }
Chris Lattner17f71652008-08-17 07:19:36 +00001683#if 0
David Greenef32fcb42010-01-05 01:28:52 +00001684 DEBUG(dbgs() << '\n');
Chris Lattner17f71652008-08-17 07:19:36 +00001685#endif
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001686}
1687
Chris Lattner77527f52009-01-21 18:09:24 +00001688void APInt::divide(const APInt LHS, unsigned lhsWords,
1689 const APInt &RHS, unsigned rhsWords,
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001690 APInt *Quotient, APInt *Remainder)
1691{
1692 assert(lhsWords >= rhsWords && "Fractional result");
1693
Eric Christopher820256b2009-08-21 04:06:45 +00001694 // First, compose the values into an array of 32-bit words instead of
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001695 // 64-bit words. This is a necessity of both the "short division" algorithm
Dan Gohman4a618822010-02-10 16:03:48 +00001696 // and the Knuth "classical algorithm" which requires there to be native
Eric Christopher820256b2009-08-21 04:06:45 +00001697 // operations for +, -, and * on an m bit value with an m*2 bit result. We
1698 // can't use 64-bit operands here because we don't have native results of
1699 // 128-bits. Furthermore, casting the 64-bit values to 32-bit values won't
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001700 // work on large-endian machines.
Dan Gohmancff69532009-04-01 18:45:54 +00001701 uint64_t mask = ~0ull >> (sizeof(unsigned)*CHAR_BIT);
Chris Lattner77527f52009-01-21 18:09:24 +00001702 unsigned n = rhsWords * 2;
1703 unsigned m = (lhsWords * 2) - n;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001704
1705 // Allocate space for the temporary values we need either on the stack, if
1706 // it will fit, or on the heap if it won't.
Chris Lattner77527f52009-01-21 18:09:24 +00001707 unsigned SPACE[128];
Craig Topperc10719f2014-04-07 04:17:22 +00001708 unsigned *U = nullptr;
1709 unsigned *V = nullptr;
1710 unsigned *Q = nullptr;
1711 unsigned *R = nullptr;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001712 if ((Remainder?4:3)*n+2*m+1 <= 128) {
1713 U = &SPACE[0];
1714 V = &SPACE[m+n+1];
1715 Q = &SPACE[(m+n+1) + n];
1716 if (Remainder)
1717 R = &SPACE[(m+n+1) + n + (m+n)];
1718 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001719 U = new unsigned[m + n + 1];
1720 V = new unsigned[n];
1721 Q = new unsigned[m+n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001722 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001723 R = new unsigned[n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001724 }
1725
1726 // Initialize the dividend
Chris Lattner77527f52009-01-21 18:09:24 +00001727 memset(U, 0, (m+n+1)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001728 for (unsigned i = 0; i < lhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001729 uint64_t tmp = (LHS.getNumWords() == 1 ? LHS.VAL : LHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001730 U[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001731 U[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001732 }
1733 U[m+n] = 0; // this extra word is for "spill" in the Knuth algorithm.
1734
Reid Spencer522ca7c2007-02-25 01:56:07 +00001735 // Initialize the divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001736 memset(V, 0, (n)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001737 for (unsigned i = 0; i < rhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001738 uint64_t tmp = (RHS.getNumWords() == 1 ? RHS.VAL : RHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001739 V[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001740 V[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001741 }
1742
Reid Spencer522ca7c2007-02-25 01:56:07 +00001743 // initialize the quotient and remainder
Chris Lattner77527f52009-01-21 18:09:24 +00001744 memset(Q, 0, (m+n) * sizeof(unsigned));
Reid Spencer522ca7c2007-02-25 01:56:07 +00001745 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001746 memset(R, 0, n * sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001747
Eric Christopher820256b2009-08-21 04:06:45 +00001748 // Now, adjust m and n for the Knuth division. n is the number of words in
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001749 // the divisor. m is the number of words by which the dividend exceeds the
Eric Christopher820256b2009-08-21 04:06:45 +00001750 // divisor (i.e. m+n is the length of the dividend). These sizes must not
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001751 // contain any zero words or the Knuth algorithm fails.
1752 for (unsigned i = n; i > 0 && V[i-1] == 0; i--) {
1753 n--;
1754 m++;
1755 }
1756 for (unsigned i = m+n; i > 0 && U[i-1] == 0; i--)
1757 m--;
1758
1759 // If we're left with only a single word for the divisor, Knuth doesn't work
1760 // so we implement the short division algorithm here. This is much simpler
1761 // and faster because we are certain that we can divide a 64-bit quantity
1762 // by a 32-bit quantity at hardware speed and short division is simply a
1763 // series of such operations. This is just like doing short division but we
1764 // are using base 2^32 instead of base 10.
1765 assert(n != 0 && "Divide by zero?");
1766 if (n == 1) {
Chris Lattner77527f52009-01-21 18:09:24 +00001767 unsigned divisor = V[0];
1768 unsigned remainder = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001769 for (int i = m+n-1; i >= 0; i--) {
1770 uint64_t partial_dividend = uint64_t(remainder) << 32 | U[i];
1771 if (partial_dividend == 0) {
1772 Q[i] = 0;
1773 remainder = 0;
1774 } else if (partial_dividend < divisor) {
1775 Q[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001776 remainder = (unsigned)partial_dividend;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001777 } else if (partial_dividend == divisor) {
1778 Q[i] = 1;
1779 remainder = 0;
1780 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001781 Q[i] = (unsigned)(partial_dividend / divisor);
1782 remainder = (unsigned)(partial_dividend - (Q[i] * divisor));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001783 }
1784 }
1785 if (R)
1786 R[0] = remainder;
1787 } else {
1788 // Now we're ready to invoke the Knuth classical divide algorithm. In this
1789 // case n > 1.
1790 KnuthDiv(U, V, Q, R, m, n);
1791 }
1792
1793 // If the caller wants the quotient
1794 if (Quotient) {
1795 // Set up the Quotient value's memory.
1796 if (Quotient->BitWidth != LHS.BitWidth) {
1797 if (Quotient->isSingleWord())
1798 Quotient->VAL = 0;
1799 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001800 delete [] Quotient->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001801 Quotient->BitWidth = LHS.BitWidth;
1802 if (!Quotient->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001803 Quotient->pVal = getClearedMemory(Quotient->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001804 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001805 Quotient->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001806
Eric Christopher820256b2009-08-21 04:06:45 +00001807 // The quotient is in Q. Reconstitute the quotient into Quotient's low
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001808 // order words.
1809 if (lhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001810 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001811 uint64_t(Q[0]) | (uint64_t(Q[1]) << (APINT_BITS_PER_WORD / 2));
1812 if (Quotient->isSingleWord())
1813 Quotient->VAL = tmp;
1814 else
1815 Quotient->pVal[0] = tmp;
1816 } else {
1817 assert(!Quotient->isSingleWord() && "Quotient APInt not large enough");
1818 for (unsigned i = 0; i < lhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001819 Quotient->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001820 uint64_t(Q[i*2]) | (uint64_t(Q[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1821 }
1822 }
1823
1824 // If the caller wants the remainder
1825 if (Remainder) {
1826 // Set up the Remainder value's memory.
1827 if (Remainder->BitWidth != RHS.BitWidth) {
1828 if (Remainder->isSingleWord())
1829 Remainder->VAL = 0;
1830 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001831 delete [] Remainder->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001832 Remainder->BitWidth = RHS.BitWidth;
1833 if (!Remainder->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001834 Remainder->pVal = getClearedMemory(Remainder->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001835 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001836 Remainder->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001837
1838 // The remainder is in R. Reconstitute the remainder into Remainder's low
1839 // order words.
1840 if (rhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001841 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001842 uint64_t(R[0]) | (uint64_t(R[1]) << (APINT_BITS_PER_WORD / 2));
1843 if (Remainder->isSingleWord())
1844 Remainder->VAL = tmp;
1845 else
1846 Remainder->pVal[0] = tmp;
1847 } else {
1848 assert(!Remainder->isSingleWord() && "Remainder APInt not large enough");
1849 for (unsigned i = 0; i < rhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001850 Remainder->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001851 uint64_t(R[i*2]) | (uint64_t(R[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1852 }
1853 }
1854
1855 // Clean up the memory we allocated.
Reid Spencer522ca7c2007-02-25 01:56:07 +00001856 if (U != &SPACE[0]) {
1857 delete [] U;
1858 delete [] V;
1859 delete [] Q;
1860 delete [] R;
1861 }
Reid Spencer100502d2007-02-17 03:16:00 +00001862}
1863
Reid Spencer1d072122007-02-16 22:36:51 +00001864APInt APInt::udiv(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001865 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001866
1867 // First, deal with the easy case
1868 if (isSingleWord()) {
1869 assert(RHS.VAL != 0 && "Divide by zero?");
1870 return APInt(BitWidth, VAL / RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001871 }
Reid Spencer39867762007-02-17 02:07:07 +00001872
Reid Spencer39867762007-02-17 02:07:07 +00001873 // Get some facts about the LHS and RHS number of bits and words
Chris Lattner77527f52009-01-21 18:09:24 +00001874 unsigned rhsBits = RHS.getActiveBits();
1875 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001876 assert(rhsWords && "Divided by zero???");
Chris Lattner77527f52009-01-21 18:09:24 +00001877 unsigned lhsBits = this->getActiveBits();
1878 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001879
1880 // Deal with some degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001881 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +00001882 // 0 / X ===> 0
Eric Christopher820256b2009-08-21 04:06:45 +00001883 return APInt(BitWidth, 0);
Reid Spencer58a6a432007-02-21 08:21:52 +00001884 else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001885 // X / Y ===> 0, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001886 return APInt(BitWidth, 0);
1887 } else if (*this == RHS) {
1888 // X / X ===> 1
1889 return APInt(BitWidth, 1);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001890 } else if (lhsWords == 1 && rhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001891 // All high words are zero, just use native divide
Reid Spencer58a6a432007-02-21 08:21:52 +00001892 return APInt(BitWidth, this->pVal[0] / RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001893 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001894
1895 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
1896 APInt Quotient(1,0); // to hold result.
Craig Topperc10719f2014-04-07 04:17:22 +00001897 divide(*this, lhsWords, RHS, rhsWords, &Quotient, nullptr);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001898 return Quotient;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001899}
1900
Jakub Staszak6605c602013-02-20 00:17:42 +00001901APInt APInt::sdiv(const APInt &RHS) const {
1902 if (isNegative()) {
1903 if (RHS.isNegative())
1904 return (-(*this)).udiv(-RHS);
1905 return -((-(*this)).udiv(RHS));
1906 }
1907 if (RHS.isNegative())
1908 return -(this->udiv(-RHS));
1909 return this->udiv(RHS);
1910}
1911
Reid Spencer1d072122007-02-16 22:36:51 +00001912APInt APInt::urem(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001913 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001914 if (isSingleWord()) {
1915 assert(RHS.VAL != 0 && "Remainder by zero?");
1916 return APInt(BitWidth, VAL % RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001917 }
Reid Spencer39867762007-02-17 02:07:07 +00001918
Reid Spencer58a6a432007-02-21 08:21:52 +00001919 // Get some facts about the LHS
Chris Lattner77527f52009-01-21 18:09:24 +00001920 unsigned lhsBits = getActiveBits();
1921 unsigned lhsWords = !lhsBits ? 0 : (whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001922
1923 // Get some facts about the RHS
Chris Lattner77527f52009-01-21 18:09:24 +00001924 unsigned rhsBits = RHS.getActiveBits();
1925 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001926 assert(rhsWords && "Performing remainder operation by zero ???");
1927
Reid Spencer39867762007-02-17 02:07:07 +00001928 // Check the degenerate cases
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001929 if (lhsWords == 0) {
Reid Spencer58a6a432007-02-21 08:21:52 +00001930 // 0 % Y ===> 0
1931 return APInt(BitWidth, 0);
1932 } else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001933 // X % Y ===> X, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001934 return *this;
1935 } else if (*this == RHS) {
Reid Spencer39867762007-02-17 02:07:07 +00001936 // X % X == 0;
Reid Spencer58a6a432007-02-21 08:21:52 +00001937 return APInt(BitWidth, 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001938 } else if (lhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001939 // All high words are zero, just use native remainder
Reid Spencer58a6a432007-02-21 08:21:52 +00001940 return APInt(BitWidth, pVal[0] % RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001941 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001942
Reid Spencer4c50b522007-05-13 23:44:59 +00001943 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001944 APInt Remainder(1,0);
Craig Topperc10719f2014-04-07 04:17:22 +00001945 divide(*this, lhsWords, RHS, rhsWords, nullptr, &Remainder);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001946 return Remainder;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001947}
Reid Spencer100502d2007-02-17 03:16:00 +00001948
Jakub Staszak6605c602013-02-20 00:17:42 +00001949APInt APInt::srem(const APInt &RHS) const {
1950 if (isNegative()) {
1951 if (RHS.isNegative())
1952 return -((-(*this)).urem(-RHS));
1953 return -((-(*this)).urem(RHS));
1954 }
1955 if (RHS.isNegative())
1956 return this->urem(-RHS);
1957 return this->urem(RHS);
1958}
1959
Eric Christopher820256b2009-08-21 04:06:45 +00001960void APInt::udivrem(const APInt &LHS, const APInt &RHS,
Reid Spencer4c50b522007-05-13 23:44:59 +00001961 APInt &Quotient, APInt &Remainder) {
David Majnemer7f039202014-12-14 09:41:56 +00001962 assert(LHS.BitWidth == RHS.BitWidth && "Bit widths must be the same");
1963
1964 // First, deal with the easy case
1965 if (LHS.isSingleWord()) {
1966 assert(RHS.VAL != 0 && "Divide by zero?");
1967 uint64_t QuotVal = LHS.VAL / RHS.VAL;
1968 uint64_t RemVal = LHS.VAL % RHS.VAL;
1969 Quotient = APInt(LHS.BitWidth, QuotVal);
1970 Remainder = APInt(LHS.BitWidth, RemVal);
1971 return;
1972 }
1973
Reid Spencer4c50b522007-05-13 23:44:59 +00001974 // Get some size facts about the dividend and divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001975 unsigned lhsBits = LHS.getActiveBits();
1976 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
1977 unsigned rhsBits = RHS.getActiveBits();
1978 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer4c50b522007-05-13 23:44:59 +00001979
1980 // Check the degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001981 if (lhsWords == 0) {
Reid Spencer4c50b522007-05-13 23:44:59 +00001982 Quotient = 0; // 0 / Y ===> 0
1983 Remainder = 0; // 0 % Y ===> 0
1984 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001985 }
1986
1987 if (lhsWords < rhsWords || LHS.ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001988 Remainder = LHS; // X % Y ===> X, iff X < Y
1989 Quotient = 0; // X / Y ===> 0, iff X < Y
Reid Spencer4c50b522007-05-13 23:44:59 +00001990 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001991 }
1992
Reid Spencer4c50b522007-05-13 23:44:59 +00001993 if (LHS == RHS) {
1994 Quotient = 1; // X / X ===> 1
1995 Remainder = 0; // X % X ===> 0;
1996 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001997 }
1998
Reid Spencer4c50b522007-05-13 23:44:59 +00001999 if (lhsWords == 1 && rhsWords == 1) {
2000 // There is only one word to consider so use the native versions.
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00002001 uint64_t lhsValue = LHS.isSingleWord() ? LHS.VAL : LHS.pVal[0];
2002 uint64_t rhsValue = RHS.isSingleWord() ? RHS.VAL : RHS.pVal[0];
2003 Quotient = APInt(LHS.getBitWidth(), lhsValue / rhsValue);
2004 Remainder = APInt(LHS.getBitWidth(), lhsValue % rhsValue);
Reid Spencer4c50b522007-05-13 23:44:59 +00002005 return;
2006 }
2007
2008 // Okay, lets do it the long way
2009 divide(LHS, lhsWords, RHS, rhsWords, &Quotient, &Remainder);
2010}
2011
Jakub Staszak6605c602013-02-20 00:17:42 +00002012void APInt::sdivrem(const APInt &LHS, const APInt &RHS,
2013 APInt &Quotient, APInt &Remainder) {
2014 if (LHS.isNegative()) {
2015 if (RHS.isNegative())
2016 APInt::udivrem(-LHS, -RHS, Quotient, Remainder);
2017 else {
2018 APInt::udivrem(-LHS, RHS, Quotient, Remainder);
2019 Quotient = -Quotient;
2020 }
2021 Remainder = -Remainder;
2022 } else if (RHS.isNegative()) {
2023 APInt::udivrem(LHS, -RHS, Quotient, Remainder);
2024 Quotient = -Quotient;
2025 } else {
2026 APInt::udivrem(LHS, RHS, Quotient, Remainder);
2027 }
2028}
2029
Chris Lattner2c819b02010-10-13 23:54:10 +00002030APInt APInt::sadd_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002031 APInt Res = *this+RHS;
2032 Overflow = isNonNegative() == RHS.isNonNegative() &&
2033 Res.isNonNegative() != isNonNegative();
2034 return Res;
2035}
2036
Chris Lattner698661c2010-10-14 00:05:07 +00002037APInt APInt::uadd_ov(const APInt &RHS, bool &Overflow) const {
2038 APInt Res = *this+RHS;
2039 Overflow = Res.ult(RHS);
2040 return Res;
2041}
2042
Chris Lattner2c819b02010-10-13 23:54:10 +00002043APInt APInt::ssub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002044 APInt Res = *this - RHS;
2045 Overflow = isNonNegative() != RHS.isNonNegative() &&
2046 Res.isNonNegative() != isNonNegative();
2047 return Res;
2048}
2049
Chris Lattner698661c2010-10-14 00:05:07 +00002050APInt APInt::usub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattnerb9681ad2010-10-14 00:30:00 +00002051 APInt Res = *this-RHS;
2052 Overflow = Res.ugt(*this);
Chris Lattner698661c2010-10-14 00:05:07 +00002053 return Res;
2054}
2055
Chris Lattner2c819b02010-10-13 23:54:10 +00002056APInt APInt::sdiv_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002057 // MININT/-1 --> overflow.
2058 Overflow = isMinSignedValue() && RHS.isAllOnesValue();
2059 return sdiv(RHS);
2060}
2061
Chris Lattner2c819b02010-10-13 23:54:10 +00002062APInt APInt::smul_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002063 APInt Res = *this * RHS;
2064
2065 if (*this != 0 && RHS != 0)
2066 Overflow = Res.sdiv(RHS) != *this || Res.sdiv(*this) != RHS;
2067 else
2068 Overflow = false;
2069 return Res;
2070}
2071
Frits van Bommel0bb2ad22011-03-27 14:26:13 +00002072APInt APInt::umul_ov(const APInt &RHS, bool &Overflow) const {
2073 APInt Res = *this * RHS;
2074
2075 if (*this != 0 && RHS != 0)
2076 Overflow = Res.udiv(RHS) != *this || Res.udiv(*this) != RHS;
2077 else
2078 Overflow = false;
2079 return Res;
2080}
2081
David Majnemera2521382014-10-13 21:48:30 +00002082APInt APInt::sshl_ov(const APInt &ShAmt, bool &Overflow) const {
2083 Overflow = ShAmt.uge(getBitWidth());
Chris Lattner79bdd882010-10-13 23:46:33 +00002084 if (Overflow)
David Majnemera2521382014-10-13 21:48:30 +00002085 return APInt(BitWidth, 0);
Chris Lattner79bdd882010-10-13 23:46:33 +00002086
2087 if (isNonNegative()) // Don't allow sign change.
David Majnemera2521382014-10-13 21:48:30 +00002088 Overflow = ShAmt.uge(countLeadingZeros());
Chris Lattner79bdd882010-10-13 23:46:33 +00002089 else
David Majnemera2521382014-10-13 21:48:30 +00002090 Overflow = ShAmt.uge(countLeadingOnes());
Chris Lattner79bdd882010-10-13 23:46:33 +00002091
2092 return *this << ShAmt;
2093}
2094
David Majnemera2521382014-10-13 21:48:30 +00002095APInt APInt::ushl_ov(const APInt &ShAmt, bool &Overflow) const {
2096 Overflow = ShAmt.uge(getBitWidth());
2097 if (Overflow)
2098 return APInt(BitWidth, 0);
2099
2100 Overflow = ShAmt.ugt(countLeadingZeros());
2101
2102 return *this << ShAmt;
2103}
2104
Chris Lattner79bdd882010-10-13 23:46:33 +00002105
2106
2107
Benjamin Kramer92d89982010-07-14 22:38:02 +00002108void APInt::fromString(unsigned numbits, StringRef str, uint8_t radix) {
Reid Spencer1ba83352007-02-21 03:55:44 +00002109 // Check our assumptions here
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002110 assert(!str.empty() && "Invalid string length");
Douglas Gregor663c0682011-09-14 15:54:46 +00002111 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
2112 radix == 36) &&
2113 "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002114
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002115 StringRef::iterator p = str.begin();
2116 size_t slen = str.size();
2117 bool isNeg = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002118 if (*p == '-' || *p == '+') {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002119 p++;
2120 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +00002121 assert(slen && "String is only a sign, needs a value.");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002122 }
Chris Lattnerdad2d092007-05-03 18:15:36 +00002123 assert((slen <= numbits || radix != 2) && "Insufficient bit width");
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002124 assert(((slen-1)*3 <= numbits || radix != 8) && "Insufficient bit width");
2125 assert(((slen-1)*4 <= numbits || radix != 16) && "Insufficient bit width");
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002126 assert((((slen-1)*64)/22 <= numbits || radix != 10) &&
2127 "Insufficient bit width");
Reid Spencer1ba83352007-02-21 03:55:44 +00002128
2129 // Allocate memory
2130 if (!isSingleWord())
2131 pVal = getClearedMemory(getNumWords());
2132
2133 // Figure out if we can shift instead of multiply
Chris Lattner77527f52009-01-21 18:09:24 +00002134 unsigned shift = (radix == 16 ? 4 : radix == 8 ? 3 : radix == 2 ? 1 : 0);
Reid Spencer1ba83352007-02-21 03:55:44 +00002135
2136 // Set up an APInt for the digit to add outside the loop so we don't
2137 // constantly construct/destruct it.
2138 APInt apdigit(getBitWidth(), 0);
2139 APInt apradix(getBitWidth(), radix);
2140
2141 // Enter digit traversal loop
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002142 for (StringRef::iterator e = str.end(); p != e; ++p) {
Erick Tryzelaardadb15712009-08-21 03:15:28 +00002143 unsigned digit = getDigit(*p, radix);
Erick Tryzelaar60964092009-08-21 06:48:37 +00002144 assert(digit < radix && "Invalid character in digit string");
Reid Spencer1ba83352007-02-21 03:55:44 +00002145
Reid Spencera93c9812007-05-16 19:18:22 +00002146 // Shift or multiply the value by the radix
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002147 if (slen > 1) {
2148 if (shift)
2149 *this <<= shift;
2150 else
2151 *this *= apradix;
2152 }
Reid Spencer1ba83352007-02-21 03:55:44 +00002153
2154 // Add in the digit we just interpreted
Reid Spencer632ebdf2007-02-24 20:19:37 +00002155 if (apdigit.isSingleWord())
2156 apdigit.VAL = digit;
2157 else
2158 apdigit.pVal[0] = digit;
Reid Spencer1ba83352007-02-21 03:55:44 +00002159 *this += apdigit;
Reid Spencer100502d2007-02-17 03:16:00 +00002160 }
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002161 // If its negative, put it in two's complement form
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00002162 if (isNeg) {
Jakub Staszak773be0c2013-03-20 23:56:19 +00002163 --(*this);
Jay Foad25a5e4c2010-12-01 08:53:58 +00002164 this->flipAllBits();
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002165 }
Reid Spencer100502d2007-02-17 03:16:00 +00002166}
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002167
Chris Lattner17f71652008-08-17 07:19:36 +00002168void APInt::toString(SmallVectorImpl<char> &Str, unsigned Radix,
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002169 bool Signed, bool formatAsCLiteral) const {
Douglas Gregor663c0682011-09-14 15:54:46 +00002170 assert((Radix == 10 || Radix == 8 || Radix == 16 || Radix == 2 ||
2171 Radix == 36) &&
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002172 "Radix should be 2, 8, 10, 16, or 36!");
Eric Christopher820256b2009-08-21 04:06:45 +00002173
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002174 const char *Prefix = "";
2175 if (formatAsCLiteral) {
2176 switch (Radix) {
2177 case 2:
2178 // Binary literals are a non-standard extension added in gcc 4.3:
2179 // http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Binary-constants.html
2180 Prefix = "0b";
2181 break;
2182 case 8:
2183 Prefix = "0";
2184 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002185 case 10:
2186 break; // No prefix
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002187 case 16:
2188 Prefix = "0x";
2189 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002190 default:
2191 llvm_unreachable("Invalid radix!");
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002192 }
2193 }
2194
Chris Lattner17f71652008-08-17 07:19:36 +00002195 // First, check for a zero value and just short circuit the logic below.
2196 if (*this == 0) {
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002197 while (*Prefix) {
2198 Str.push_back(*Prefix);
2199 ++Prefix;
2200 };
Chris Lattner17f71652008-08-17 07:19:36 +00002201 Str.push_back('0');
2202 return;
2203 }
Eric Christopher820256b2009-08-21 04:06:45 +00002204
Douglas Gregor663c0682011-09-14 15:54:46 +00002205 static const char Digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
Eric Christopher820256b2009-08-21 04:06:45 +00002206
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002207 if (isSingleWord()) {
Chris Lattner17f71652008-08-17 07:19:36 +00002208 char Buffer[65];
2209 char *BufPtr = Buffer+65;
Eric Christopher820256b2009-08-21 04:06:45 +00002210
Chris Lattner17f71652008-08-17 07:19:36 +00002211 uint64_t N;
Chris Lattnerb91c9032010-08-18 00:33:47 +00002212 if (!Signed) {
Chris Lattner17f71652008-08-17 07:19:36 +00002213 N = getZExtValue();
Chris Lattnerb91c9032010-08-18 00:33:47 +00002214 } else {
2215 int64_t I = getSExtValue();
2216 if (I >= 0) {
2217 N = I;
2218 } else {
2219 Str.push_back('-');
2220 N = -(uint64_t)I;
2221 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002222 }
Eric Christopher820256b2009-08-21 04:06:45 +00002223
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002224 while (*Prefix) {
2225 Str.push_back(*Prefix);
2226 ++Prefix;
2227 };
2228
Chris Lattner17f71652008-08-17 07:19:36 +00002229 while (N) {
2230 *--BufPtr = Digits[N % Radix];
2231 N /= Radix;
2232 }
2233 Str.append(BufPtr, Buffer+65);
2234 return;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002235 }
2236
Chris Lattner17f71652008-08-17 07:19:36 +00002237 APInt Tmp(*this);
Eric Christopher820256b2009-08-21 04:06:45 +00002238
Chris Lattner17f71652008-08-17 07:19:36 +00002239 if (Signed && isNegative()) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002240 // They want to print the signed version and it is a negative value
2241 // Flip the bits and add one to turn it into the equivalent positive
2242 // value and put a '-' in the result.
Jay Foad25a5e4c2010-12-01 08:53:58 +00002243 Tmp.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +00002244 ++Tmp;
Chris Lattner17f71652008-08-17 07:19:36 +00002245 Str.push_back('-');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002246 }
Eric Christopher820256b2009-08-21 04:06:45 +00002247
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002248 while (*Prefix) {
2249 Str.push_back(*Prefix);
2250 ++Prefix;
2251 };
2252
Chris Lattner17f71652008-08-17 07:19:36 +00002253 // We insert the digits backward, then reverse them to get the right order.
2254 unsigned StartDig = Str.size();
Eric Christopher820256b2009-08-21 04:06:45 +00002255
2256 // For the 2, 8 and 16 bit cases, we can just shift instead of divide
2257 // because the number of bits per digit (1, 3 and 4 respectively) divides
Chris Lattner17f71652008-08-17 07:19:36 +00002258 // equaly. We just shift until the value is zero.
Douglas Gregor663c0682011-09-14 15:54:46 +00002259 if (Radix == 2 || Radix == 8 || Radix == 16) {
Chris Lattner17f71652008-08-17 07:19:36 +00002260 // Just shift tmp right for each digit width until it becomes zero
2261 unsigned ShiftAmt = (Radix == 16 ? 4 : (Radix == 8 ? 3 : 1));
2262 unsigned MaskAmt = Radix - 1;
Eric Christopher820256b2009-08-21 04:06:45 +00002263
Chris Lattner17f71652008-08-17 07:19:36 +00002264 while (Tmp != 0) {
2265 unsigned Digit = unsigned(Tmp.getRawData()[0]) & MaskAmt;
2266 Str.push_back(Digits[Digit]);
2267 Tmp = Tmp.lshr(ShiftAmt);
2268 }
2269 } else {
Douglas Gregor663c0682011-09-14 15:54:46 +00002270 APInt divisor(Radix == 10? 4 : 8, Radix);
Chris Lattner17f71652008-08-17 07:19:36 +00002271 while (Tmp != 0) {
2272 APInt APdigit(1, 0);
2273 APInt tmp2(Tmp.getBitWidth(), 0);
Eric Christopher820256b2009-08-21 04:06:45 +00002274 divide(Tmp, Tmp.getNumWords(), divisor, divisor.getNumWords(), &tmp2,
Chris Lattner17f71652008-08-17 07:19:36 +00002275 &APdigit);
Chris Lattner77527f52009-01-21 18:09:24 +00002276 unsigned Digit = (unsigned)APdigit.getZExtValue();
Chris Lattner17f71652008-08-17 07:19:36 +00002277 assert(Digit < Radix && "divide failed");
2278 Str.push_back(Digits[Digit]);
2279 Tmp = tmp2;
2280 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002281 }
Eric Christopher820256b2009-08-21 04:06:45 +00002282
Chris Lattner17f71652008-08-17 07:19:36 +00002283 // Reverse the digits before returning.
2284 std::reverse(Str.begin()+StartDig, Str.end());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002285}
2286
Chris Lattner17f71652008-08-17 07:19:36 +00002287/// toString - This returns the APInt as a std::string. Note that this is an
2288/// inefficient method. It is better to pass in a SmallVector/SmallString
2289/// to the methods above.
2290std::string APInt::toString(unsigned Radix = 10, bool Signed = true) const {
2291 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002292 toString(S, Radix, Signed, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00002293 return S.str();
Reid Spencer1ba83352007-02-21 03:55:44 +00002294}
Chris Lattner6b695682007-08-16 15:56:55 +00002295
Chris Lattner17f71652008-08-17 07:19:36 +00002296
2297void APInt::dump() const {
2298 SmallString<40> S, U;
2299 this->toStringUnsigned(U);
2300 this->toStringSigned(S);
David Greenef32fcb42010-01-05 01:28:52 +00002301 dbgs() << "APInt(" << BitWidth << "b, "
Yaron Keren09fb7c62015-03-10 07:33:23 +00002302 << U << "u " << S << "s)";
Chris Lattner17f71652008-08-17 07:19:36 +00002303}
2304
Chris Lattner0c19df42008-08-23 22:23:09 +00002305void APInt::print(raw_ostream &OS, bool isSigned) const {
Chris Lattner17f71652008-08-17 07:19:36 +00002306 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002307 this->toString(S, 10, isSigned, /* formatAsCLiteral = */false);
Yaron Keren92e1b622015-03-18 10:17:07 +00002308 OS << S;
Chris Lattner17f71652008-08-17 07:19:36 +00002309}
2310
Chris Lattner6b695682007-08-16 15:56:55 +00002311// This implements a variety of operations on a representation of
2312// arbitrary precision, two's-complement, bignum integer values.
2313
Chris Lattner96cffa62009-08-23 23:11:28 +00002314// Assumed by lowHalf, highHalf, partMSB and partLSB. A fairly safe
2315// and unrestricting assumption.
Benjamin Kramer7000ca32014-10-12 17:56:40 +00002316static_assert(integerPartWidth % 2 == 0, "Part width must be divisible by 2!");
Chris Lattner6b695682007-08-16 15:56:55 +00002317
2318/* Some handy functions local to this file. */
2319namespace {
2320
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002321 /* Returns the integer part with the least significant BITS set.
2322 BITS cannot be zero. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002323 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002324 lowBitMask(unsigned int bits)
2325 {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002326 assert(bits != 0 && bits <= integerPartWidth);
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002327
2328 return ~(integerPart) 0 >> (integerPartWidth - bits);
2329 }
2330
Neil Boothc8b650a2007-10-06 00:43:45 +00002331 /* Returns the value of the lower half of PART. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002332 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002333 lowHalf(integerPart part)
2334 {
2335 return part & lowBitMask(integerPartWidth / 2);
2336 }
2337
Neil Boothc8b650a2007-10-06 00:43:45 +00002338 /* Returns the value of the upper half of PART. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002339 static inline integerPart
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002340 highHalf(integerPart part)
2341 {
2342 return part >> (integerPartWidth / 2);
2343 }
2344
Neil Boothc8b650a2007-10-06 00:43:45 +00002345 /* Returns the bit number of the most significant set bit of a part.
2346 If the input number has no bits set -1U is returned. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002347 static unsigned int
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002348 partMSB(integerPart value)
Chris Lattner6b695682007-08-16 15:56:55 +00002349 {
Benjamin Kramerb565f892013-06-01 11:26:39 +00002350 return findLastSet(value, ZB_Max);
Chris Lattner6b695682007-08-16 15:56:55 +00002351 }
2352
Neil Boothc8b650a2007-10-06 00:43:45 +00002353 /* Returns the bit number of the least significant set bit of a
2354 part. If the input number has no bits set -1U is returned. */
Dan Gohmanf4bc7822008-04-10 21:11:47 +00002355 static unsigned int
Chris Lattner6b695682007-08-16 15:56:55 +00002356 partLSB(integerPart value)
2357 {
Benjamin Kramerb565f892013-06-01 11:26:39 +00002358 return findFirstSet(value, ZB_Max);
Chris Lattner6b695682007-08-16 15:56:55 +00002359 }
2360}
2361
2362/* Sets the least significant part of a bignum to the input value, and
2363 zeroes out higher parts. */
2364void
2365APInt::tcSet(integerPart *dst, integerPart part, unsigned int parts)
2366{
2367 unsigned int i;
2368
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002369 assert(parts > 0);
Neil Boothb6182162007-10-08 13:47:12 +00002370
Chris Lattner6b695682007-08-16 15:56:55 +00002371 dst[0] = part;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002372 for (i = 1; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002373 dst[i] = 0;
2374}
2375
2376/* Assign one bignum to another. */
2377void
2378APInt::tcAssign(integerPart *dst, const integerPart *src, unsigned int parts)
2379{
2380 unsigned int i;
2381
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002382 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002383 dst[i] = src[i];
2384}
2385
2386/* Returns true if a bignum is zero, false otherwise. */
2387bool
2388APInt::tcIsZero(const integerPart *src, unsigned int parts)
2389{
2390 unsigned int i;
2391
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002392 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002393 if (src[i])
2394 return false;
2395
2396 return true;
2397}
2398
2399/* Extract the given bit of a bignum; returns 0 or 1. */
2400int
2401APInt::tcExtractBit(const integerPart *parts, unsigned int bit)
2402{
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002403 return (parts[bit / integerPartWidth] &
2404 ((integerPart) 1 << bit % integerPartWidth)) != 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002405}
2406
John McCalldcb9a7a2010-02-28 02:51:25 +00002407/* Set the given bit of a bignum. */
Chris Lattner6b695682007-08-16 15:56:55 +00002408void
2409APInt::tcSetBit(integerPart *parts, unsigned int bit)
2410{
2411 parts[bit / integerPartWidth] |= (integerPart) 1 << (bit % integerPartWidth);
2412}
2413
John McCalldcb9a7a2010-02-28 02:51:25 +00002414/* Clears the given bit of a bignum. */
2415void
2416APInt::tcClearBit(integerPart *parts, unsigned int bit)
2417{
2418 parts[bit / integerPartWidth] &=
2419 ~((integerPart) 1 << (bit % integerPartWidth));
2420}
2421
Neil Boothc8b650a2007-10-06 00:43:45 +00002422/* Returns the bit number of the least significant set bit of a
2423 number. If the input number has no bits set -1U is returned. */
Chris Lattner6b695682007-08-16 15:56:55 +00002424unsigned int
2425APInt::tcLSB(const integerPart *parts, unsigned int n)
2426{
2427 unsigned int i, lsb;
2428
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002429 for (i = 0; i < n; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002430 if (parts[i] != 0) {
2431 lsb = partLSB(parts[i]);
2432
2433 return lsb + i * integerPartWidth;
2434 }
2435 }
2436
2437 return -1U;
2438}
2439
Neil Boothc8b650a2007-10-06 00:43:45 +00002440/* Returns the bit number of the most significant set bit of a number.
2441 If the input number has no bits set -1U is returned. */
Chris Lattner6b695682007-08-16 15:56:55 +00002442unsigned int
2443APInt::tcMSB(const integerPart *parts, unsigned int n)
2444{
2445 unsigned int msb;
2446
2447 do {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002448 --n;
Chris Lattner6b695682007-08-16 15:56:55 +00002449
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002450 if (parts[n] != 0) {
2451 msb = partMSB(parts[n]);
Chris Lattner6b695682007-08-16 15:56:55 +00002452
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002453 return msb + n * integerPartWidth;
2454 }
Chris Lattner6b695682007-08-16 15:56:55 +00002455 } while (n);
2456
2457 return -1U;
2458}
2459
Neil Boothb6182162007-10-08 13:47:12 +00002460/* Copy the bit vector of width srcBITS from SRC, starting at bit
2461 srcLSB, to DST, of dstCOUNT parts, such that the bit srcLSB becomes
2462 the least significant bit of DST. All high bits above srcBITS in
2463 DST are zero-filled. */
2464void
Evan Chengdb338f32009-05-21 23:47:47 +00002465APInt::tcExtract(integerPart *dst, unsigned int dstCount,const integerPart *src,
Neil Boothb6182162007-10-08 13:47:12 +00002466 unsigned int srcBits, unsigned int srcLSB)
2467{
2468 unsigned int firstSrcPart, dstParts, shift, n;
2469
2470 dstParts = (srcBits + integerPartWidth - 1) / integerPartWidth;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002471 assert(dstParts <= dstCount);
Neil Boothb6182162007-10-08 13:47:12 +00002472
2473 firstSrcPart = srcLSB / integerPartWidth;
2474 tcAssign (dst, src + firstSrcPart, dstParts);
2475
2476 shift = srcLSB % integerPartWidth;
2477 tcShiftRight (dst, dstParts, shift);
2478
2479 /* We now have (dstParts * integerPartWidth - shift) bits from SRC
2480 in DST. If this is less that srcBits, append the rest, else
2481 clear the high bits. */
2482 n = dstParts * integerPartWidth - shift;
2483 if (n < srcBits) {
2484 integerPart mask = lowBitMask (srcBits - n);
2485 dst[dstParts - 1] |= ((src[firstSrcPart + dstParts] & mask)
2486 << n % integerPartWidth);
2487 } else if (n > srcBits) {
Neil Booth7e74b172007-10-12 15:31:31 +00002488 if (srcBits % integerPartWidth)
2489 dst[dstParts - 1] &= lowBitMask (srcBits % integerPartWidth);
Neil Boothb6182162007-10-08 13:47:12 +00002490 }
2491
2492 /* Clear high parts. */
2493 while (dstParts < dstCount)
2494 dst[dstParts++] = 0;
2495}
2496
Chris Lattner6b695682007-08-16 15:56:55 +00002497/* DST += RHS + C where C is zero or one. Returns the carry flag. */
2498integerPart
2499APInt::tcAdd(integerPart *dst, const integerPart *rhs,
2500 integerPart c, unsigned int parts)
2501{
2502 unsigned int i;
2503
2504 assert(c <= 1);
2505
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002506 for (i = 0; i < parts; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002507 integerPart l;
2508
2509 l = dst[i];
2510 if (c) {
2511 dst[i] += rhs[i] + 1;
2512 c = (dst[i] <= l);
2513 } else {
2514 dst[i] += rhs[i];
2515 c = (dst[i] < l);
2516 }
2517 }
2518
2519 return c;
2520}
2521
2522/* DST -= RHS + C where C is zero or one. Returns the carry flag. */
2523integerPart
2524APInt::tcSubtract(integerPart *dst, const integerPart *rhs,
2525 integerPart c, unsigned int parts)
2526{
2527 unsigned int i;
2528
2529 assert(c <= 1);
2530
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002531 for (i = 0; i < parts; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002532 integerPart l;
2533
2534 l = dst[i];
2535 if (c) {
2536 dst[i] -= rhs[i] + 1;
2537 c = (dst[i] >= l);
2538 } else {
2539 dst[i] -= rhs[i];
2540 c = (dst[i] > l);
2541 }
2542 }
2543
2544 return c;
2545}
2546
2547/* Negate a bignum in-place. */
2548void
2549APInt::tcNegate(integerPart *dst, unsigned int parts)
2550{
2551 tcComplement(dst, parts);
2552 tcIncrement(dst, parts);
2553}
2554
Neil Boothc8b650a2007-10-06 00:43:45 +00002555/* DST += SRC * MULTIPLIER + CARRY if add is true
2556 DST = SRC * MULTIPLIER + CARRY if add is false
Chris Lattner6b695682007-08-16 15:56:55 +00002557
2558 Requires 0 <= DSTPARTS <= SRCPARTS + 1. If DST overlaps SRC
2559 they must start at the same point, i.e. DST == SRC.
2560
2561 If DSTPARTS == SRCPARTS + 1 no overflow occurs and zero is
2562 returned. Otherwise DST is filled with the least significant
2563 DSTPARTS parts of the result, and if all of the omitted higher
2564 parts were zero return zero, otherwise overflow occurred and
2565 return one. */
2566int
2567APInt::tcMultiplyPart(integerPart *dst, const integerPart *src,
2568 integerPart multiplier, integerPart carry,
2569 unsigned int srcParts, unsigned int dstParts,
2570 bool add)
2571{
2572 unsigned int i, n;
2573
2574 /* Otherwise our writes of DST kill our later reads of SRC. */
2575 assert(dst <= src || dst >= src + srcParts);
2576 assert(dstParts <= srcParts + 1);
2577
2578 /* N loops; minimum of dstParts and srcParts. */
2579 n = dstParts < srcParts ? dstParts: srcParts;
2580
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002581 for (i = 0; i < n; i++) {
Chris Lattner6b695682007-08-16 15:56:55 +00002582 integerPart low, mid, high, srcPart;
2583
2584 /* [ LOW, HIGH ] = MULTIPLIER * SRC[i] + DST[i] + CARRY.
2585
2586 This cannot overflow, because
2587
2588 (n - 1) * (n - 1) + 2 (n - 1) = (n - 1) * (n + 1)
2589
2590 which is less than n^2. */
2591
2592 srcPart = src[i];
2593
2594 if (multiplier == 0 || srcPart == 0) {
2595 low = carry;
2596 high = 0;
2597 } else {
2598 low = lowHalf(srcPart) * lowHalf(multiplier);
2599 high = highHalf(srcPart) * highHalf(multiplier);
2600
2601 mid = lowHalf(srcPart) * highHalf(multiplier);
2602 high += highHalf(mid);
2603 mid <<= integerPartWidth / 2;
2604 if (low + mid < low)
2605 high++;
2606 low += mid;
2607
2608 mid = highHalf(srcPart) * lowHalf(multiplier);
2609 high += highHalf(mid);
2610 mid <<= integerPartWidth / 2;
2611 if (low + mid < low)
2612 high++;
2613 low += mid;
2614
2615 /* Now add carry. */
2616 if (low + carry < low)
2617 high++;
2618 low += carry;
2619 }
2620
2621 if (add) {
2622 /* And now DST[i], and store the new low part there. */
2623 if (low + dst[i] < low)
2624 high++;
2625 dst[i] += low;
2626 } else
2627 dst[i] = low;
2628
2629 carry = high;
2630 }
2631
2632 if (i < dstParts) {
2633 /* Full multiplication, there is no overflow. */
2634 assert(i + 1 == dstParts);
2635 dst[i] = carry;
2636 return 0;
2637 } else {
2638 /* We overflowed if there is carry. */
2639 if (carry)
2640 return 1;
2641
2642 /* We would overflow if any significant unwritten parts would be
2643 non-zero. This is true if any remaining src parts are non-zero
2644 and the multiplier is non-zero. */
2645 if (multiplier)
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002646 for (; i < srcParts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002647 if (src[i])
2648 return 1;
2649
2650 /* We fitted in the narrow destination. */
2651 return 0;
2652 }
2653}
2654
2655/* DST = LHS * RHS, where DST has the same width as the operands and
2656 is filled with the least significant parts of the result. Returns
2657 one if overflow occurred, otherwise zero. DST must be disjoint
2658 from both operands. */
2659int
2660APInt::tcMultiply(integerPart *dst, const integerPart *lhs,
2661 const integerPart *rhs, unsigned int parts)
2662{
2663 unsigned int i;
2664 int overflow;
2665
2666 assert(dst != lhs && dst != rhs);
2667
2668 overflow = 0;
2669 tcSet(dst, 0, parts);
2670
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002671 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002672 overflow |= tcMultiplyPart(&dst[i], lhs, rhs[i], 0, parts,
2673 parts - i, true);
2674
2675 return overflow;
2676}
2677
Neil Booth0ea72a92007-10-06 00:24:48 +00002678/* DST = LHS * RHS, where DST has width the sum of the widths of the
2679 operands. No overflow occurs. DST must be disjoint from both
2680 operands. Returns the number of parts required to hold the
2681 result. */
2682unsigned int
Chris Lattner6b695682007-08-16 15:56:55 +00002683APInt::tcFullMultiply(integerPart *dst, const integerPart *lhs,
Neil Booth0ea72a92007-10-06 00:24:48 +00002684 const integerPart *rhs, unsigned int lhsParts,
2685 unsigned int rhsParts)
Chris Lattner6b695682007-08-16 15:56:55 +00002686{
Neil Booth0ea72a92007-10-06 00:24:48 +00002687 /* Put the narrower number on the LHS for less loops below. */
2688 if (lhsParts > rhsParts) {
2689 return tcFullMultiply (dst, rhs, lhs, rhsParts, lhsParts);
2690 } else {
2691 unsigned int n;
Chris Lattner6b695682007-08-16 15:56:55 +00002692
Neil Booth0ea72a92007-10-06 00:24:48 +00002693 assert(dst != lhs && dst != rhs);
Chris Lattner6b695682007-08-16 15:56:55 +00002694
Neil Booth0ea72a92007-10-06 00:24:48 +00002695 tcSet(dst, 0, rhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002696
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002697 for (n = 0; n < lhsParts; n++)
Neil Booth0ea72a92007-10-06 00:24:48 +00002698 tcMultiplyPart(&dst[n], rhs, lhs[n], 0, rhsParts, rhsParts + 1, true);
Chris Lattner6b695682007-08-16 15:56:55 +00002699
Neil Booth0ea72a92007-10-06 00:24:48 +00002700 n = lhsParts + rhsParts;
2701
2702 return n - (dst[n - 1] == 0);
2703 }
Chris Lattner6b695682007-08-16 15:56:55 +00002704}
2705
2706/* If RHS is zero LHS and REMAINDER are left unchanged, return one.
2707 Otherwise set LHS to LHS / RHS with the fractional part discarded,
2708 set REMAINDER to the remainder, return zero. i.e.
2709
2710 OLD_LHS = RHS * LHS + REMAINDER
2711
2712 SCRATCH is a bignum of the same size as the operands and result for
2713 use by the routine; its contents need not be initialized and are
2714 destroyed. LHS, REMAINDER and SCRATCH must be distinct.
2715*/
2716int
2717APInt::tcDivide(integerPart *lhs, const integerPart *rhs,
2718 integerPart *remainder, integerPart *srhs,
2719 unsigned int parts)
2720{
2721 unsigned int n, shiftCount;
2722 integerPart mask;
2723
2724 assert(lhs != remainder && lhs != srhs && remainder != srhs);
2725
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002726 shiftCount = tcMSB(rhs, parts) + 1;
2727 if (shiftCount == 0)
Chris Lattner6b695682007-08-16 15:56:55 +00002728 return true;
2729
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002730 shiftCount = parts * integerPartWidth - shiftCount;
Chris Lattner6b695682007-08-16 15:56:55 +00002731 n = shiftCount / integerPartWidth;
2732 mask = (integerPart) 1 << (shiftCount % integerPartWidth);
2733
2734 tcAssign(srhs, rhs, parts);
2735 tcShiftLeft(srhs, parts, shiftCount);
2736 tcAssign(remainder, lhs, parts);
2737 tcSet(lhs, 0, parts);
2738
2739 /* Loop, subtracting SRHS if REMAINDER is greater and adding that to
2740 the total. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002741 for (;;) {
Chris Lattner6b695682007-08-16 15:56:55 +00002742 int compare;
2743
2744 compare = tcCompare(remainder, srhs, parts);
2745 if (compare >= 0) {
2746 tcSubtract(remainder, srhs, 0, parts);
2747 lhs[n] |= mask;
2748 }
2749
2750 if (shiftCount == 0)
2751 break;
2752 shiftCount--;
2753 tcShiftRight(srhs, parts, 1);
2754 if ((mask >>= 1) == 0)
2755 mask = (integerPart) 1 << (integerPartWidth - 1), n--;
2756 }
2757
2758 return false;
2759}
2760
2761/* Shift a bignum left COUNT bits in-place. Shifted in bits are zero.
2762 There are no restrictions on COUNT. */
2763void
2764APInt::tcShiftLeft(integerPart *dst, unsigned int parts, unsigned int count)
2765{
Neil Boothb6182162007-10-08 13:47:12 +00002766 if (count) {
2767 unsigned int jump, shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002768
Neil Boothb6182162007-10-08 13:47:12 +00002769 /* Jump is the inter-part jump; shift is is intra-part shift. */
2770 jump = count / integerPartWidth;
2771 shift = count % integerPartWidth;
Chris Lattner6b695682007-08-16 15:56:55 +00002772
Neil Boothb6182162007-10-08 13:47:12 +00002773 while (parts > jump) {
2774 integerPart part;
Chris Lattner6b695682007-08-16 15:56:55 +00002775
Neil Boothb6182162007-10-08 13:47:12 +00002776 parts--;
Chris Lattner6b695682007-08-16 15:56:55 +00002777
Neil Boothb6182162007-10-08 13:47:12 +00002778 /* dst[i] comes from the two parts src[i - jump] and, if we have
2779 an intra-part shift, src[i - jump - 1]. */
2780 part = dst[parts - jump];
2781 if (shift) {
2782 part <<= shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002783 if (parts >= jump + 1)
2784 part |= dst[parts - jump - 1] >> (integerPartWidth - shift);
2785 }
2786
Neil Boothb6182162007-10-08 13:47:12 +00002787 dst[parts] = part;
2788 }
Chris Lattner6b695682007-08-16 15:56:55 +00002789
Neil Boothb6182162007-10-08 13:47:12 +00002790 while (parts > 0)
2791 dst[--parts] = 0;
2792 }
Chris Lattner6b695682007-08-16 15:56:55 +00002793}
2794
2795/* Shift a bignum right COUNT bits in-place. Shifted in bits are
2796 zero. There are no restrictions on COUNT. */
2797void
2798APInt::tcShiftRight(integerPart *dst, unsigned int parts, unsigned int count)
2799{
Neil Boothb6182162007-10-08 13:47:12 +00002800 if (count) {
2801 unsigned int i, jump, shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002802
Neil Boothb6182162007-10-08 13:47:12 +00002803 /* Jump is the inter-part jump; shift is is intra-part shift. */
2804 jump = count / integerPartWidth;
2805 shift = count % integerPartWidth;
Chris Lattner6b695682007-08-16 15:56:55 +00002806
Neil Boothb6182162007-10-08 13:47:12 +00002807 /* Perform the shift. This leaves the most significant COUNT bits
2808 of the result at zero. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002809 for (i = 0; i < parts; i++) {
Neil Boothb6182162007-10-08 13:47:12 +00002810 integerPart part;
Chris Lattner6b695682007-08-16 15:56:55 +00002811
Neil Boothb6182162007-10-08 13:47:12 +00002812 if (i + jump >= parts) {
2813 part = 0;
2814 } else {
2815 part = dst[i + jump];
2816 if (shift) {
2817 part >>= shift;
2818 if (i + jump + 1 < parts)
2819 part |= dst[i + jump + 1] << (integerPartWidth - shift);
2820 }
Chris Lattner6b695682007-08-16 15:56:55 +00002821 }
Chris Lattner6b695682007-08-16 15:56:55 +00002822
Neil Boothb6182162007-10-08 13:47:12 +00002823 dst[i] = part;
2824 }
Chris Lattner6b695682007-08-16 15:56:55 +00002825 }
2826}
2827
2828/* Bitwise and of two bignums. */
2829void
2830APInt::tcAnd(integerPart *dst, const integerPart *rhs, unsigned int parts)
2831{
2832 unsigned int i;
2833
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002834 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002835 dst[i] &= rhs[i];
2836}
2837
2838/* Bitwise inclusive or of two bignums. */
2839void
2840APInt::tcOr(integerPart *dst, const integerPart *rhs, unsigned int parts)
2841{
2842 unsigned int i;
2843
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002844 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002845 dst[i] |= rhs[i];
2846}
2847
2848/* Bitwise exclusive or of two bignums. */
2849void
2850APInt::tcXor(integerPart *dst, const integerPart *rhs, unsigned int parts)
2851{
2852 unsigned int i;
2853
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002854 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002855 dst[i] ^= rhs[i];
2856}
2857
2858/* Complement a bignum in-place. */
2859void
2860APInt::tcComplement(integerPart *dst, unsigned int parts)
2861{
2862 unsigned int i;
2863
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002864 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002865 dst[i] = ~dst[i];
2866}
2867
2868/* Comparison (unsigned) of two bignums. */
2869int
2870APInt::tcCompare(const integerPart *lhs, const integerPart *rhs,
2871 unsigned int parts)
2872{
2873 while (parts) {
2874 parts--;
2875 if (lhs[parts] == rhs[parts])
2876 continue;
2877
2878 if (lhs[parts] > rhs[parts])
2879 return 1;
2880 else
2881 return -1;
2882 }
2883
2884 return 0;
2885}
2886
2887/* Increment a bignum in-place, return the carry flag. */
2888integerPart
2889APInt::tcIncrement(integerPart *dst, unsigned int parts)
2890{
2891 unsigned int i;
2892
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002893 for (i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002894 if (++dst[i] != 0)
2895 break;
2896
2897 return i == parts;
2898}
2899
Michael Gottesman9d406f42013-05-28 19:50:20 +00002900/* Decrement a bignum in-place, return the borrow flag. */
2901integerPart
2902APInt::tcDecrement(integerPart *dst, unsigned int parts) {
2903 for (unsigned int i = 0; i < parts; i++) {
2904 // If the current word is non-zero, then the decrement has no effect on the
2905 // higher-order words of the integer and no borrow can occur. Exit early.
2906 if (dst[i]--)
2907 return 0;
2908 }
2909 // If every word was zero, then there is a borrow.
2910 return 1;
2911}
2912
2913
Chris Lattner6b695682007-08-16 15:56:55 +00002914/* Set the least significant BITS bits of a bignum, clear the
2915 rest. */
2916void
2917APInt::tcSetLeastSignificantBits(integerPart *dst, unsigned int parts,
2918 unsigned int bits)
2919{
2920 unsigned int i;
2921
2922 i = 0;
2923 while (bits > integerPartWidth) {
2924 dst[i++] = ~(integerPart) 0;
2925 bits -= integerPartWidth;
2926 }
2927
2928 if (bits)
2929 dst[i++] = ~(integerPart) 0 >> (integerPartWidth - bits);
2930
2931 while (i < parts)
2932 dst[i++] = 0;
2933}