blob: 8733028a9b61d6189ae518cceb842f20ae701e9d [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"
Mehdi Amini47b292d2016-04-16 07:51:28 +000016#include "llvm/ADT/ArrayRef.h"
Ted Kremenek5c75d542008-01-19 04:23:33 +000017#include "llvm/ADT/FoldingSet.h"
Chandler Carruth71bd7d12012-03-04 12:02:57 +000018#include "llvm/ADT/Hashing.h"
Chris Lattner17f71652008-08-17 07:19:36 +000019#include "llvm/ADT/SmallString.h"
Chandler Carruth71bd7d12012-03-04 12:02:57 +000020#include "llvm/ADT/StringRef.h"
Reid Spencera5e0d202007-02-24 03:58:46 +000021#include "llvm/Support/Debug.h"
Torok Edwin56d06592009-07-11 20:10:48 +000022#include "llvm/Support/ErrorHandling.h"
Zhou Shengdac63782007-02-06 03:00:16 +000023#include "llvm/Support/MathExtras.h"
Chris Lattner0c19df42008-08-23 22:23:09 +000024#include "llvm/Support/raw_ostream.h"
Vassil Vassilev2ec8b152016-09-14 08:55:18 +000025#include <climits>
Chris Lattner17f71652008-08-17 07:19:36 +000026#include <cmath>
Zhou Shengdac63782007-02-06 03:00:16 +000027#include <cstdlib>
Chandler Carruthed0881b2012-12-03 16:50:05 +000028#include <cstring>
Zhou Shengdac63782007-02-06 03:00:16 +000029using namespace llvm;
30
Chandler Carruth64648262014-04-22 03:07:47 +000031#define DEBUG_TYPE "apint"
32
Reid Spencera41e93b2007-02-25 19:32:03 +000033/// A utility function for allocating memory, checking for allocation failures,
34/// and ensuring the contents are zeroed.
Chris Lattner77527f52009-01-21 18:09:24 +000035inline static uint64_t* getClearedMemory(unsigned numWords) {
Reid Spencera856b6e2007-02-18 18:38:44 +000036 uint64_t * result = new uint64_t[numWords];
37 assert(result && "APInt memory allocation fails!");
38 memset(result, 0, numWords * sizeof(uint64_t));
39 return result;
Zhou Sheng94b623a2007-02-06 06:04:53 +000040}
41
Eric Christopher820256b2009-08-21 04:06:45 +000042/// A utility function for allocating memory and checking for allocation
Reid Spencera41e93b2007-02-25 19:32:03 +000043/// failure. The content is not zeroed.
Chris Lattner77527f52009-01-21 18:09:24 +000044inline static uint64_t* getMemory(unsigned numWords) {
Reid Spencera856b6e2007-02-18 18:38:44 +000045 uint64_t * result = new uint64_t[numWords];
46 assert(result && "APInt memory allocation fails!");
47 return result;
48}
49
Erick Tryzelaardadb15712009-08-21 03:15:28 +000050/// A utility function that converts a character to a digit.
51inline static unsigned getDigit(char cdigit, uint8_t radix) {
Erick Tryzelaar60964092009-08-21 06:48:37 +000052 unsigned r;
53
Douglas Gregor663c0682011-09-14 15:54:46 +000054 if (radix == 16 || radix == 36) {
Erick Tryzelaar60964092009-08-21 06:48:37 +000055 r = cdigit - '0';
56 if (r <= 9)
57 return r;
58
59 r = cdigit - 'A';
Douglas Gregorc98ac852011-09-20 18:33:29 +000060 if (r <= radix - 11U)
Erick Tryzelaar60964092009-08-21 06:48:37 +000061 return r + 10;
62
63 r = cdigit - 'a';
Douglas Gregorc98ac852011-09-20 18:33:29 +000064 if (r <= radix - 11U)
Erick Tryzelaar60964092009-08-21 06:48:37 +000065 return r + 10;
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +000066
Douglas Gregore4e20f42011-09-20 18:11:52 +000067 radix = 10;
Erick Tryzelaardadb15712009-08-21 03:15:28 +000068 }
69
Erick Tryzelaar60964092009-08-21 06:48:37 +000070 r = cdigit - '0';
71 if (r < radix)
72 return r;
73
74 return -1U;
Erick Tryzelaardadb15712009-08-21 03:15:28 +000075}
76
77
Pawel Bylica68304012016-06-27 08:31:48 +000078void APInt::initSlowCase(uint64_t val, bool isSigned) {
Craig Topper0085ffb2017-03-20 01:29:52 +000079 VAL = 0;
Chris Lattner1ac3e252008-08-20 17:02:31 +000080 pVal = getClearedMemory(getNumWords());
81 pVal[0] = val;
Eric Christopher820256b2009-08-21 04:06:45 +000082 if (isSigned && int64_t(val) < 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +000083 for (unsigned i = 1; i < getNumWords(); ++i)
84 pVal[i] = -1ULL;
Craig Topperf78a6f02017-03-01 21:06:18 +000085 clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +000086}
87
Chris Lattnerd57b7602008-10-11 22:07:19 +000088void APInt::initSlowCase(const APInt& that) {
Craig Topper0085ffb2017-03-20 01:29:52 +000089 VAL = 0;
Chris Lattnerd57b7602008-10-11 22:07:19 +000090 pVal = getMemory(getNumWords());
91 memcpy(pVal, that.pVal, getNumWords() * APINT_WORD_SIZE);
92}
93
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000094void APInt::initFromArray(ArrayRef<uint64_t> bigVal) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +000095 assert(BitWidth && "Bitwidth too small");
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000096 assert(bigVal.data() && "Null pointer detected!");
Zhou Shengdac63782007-02-06 03:00:16 +000097 if (isSingleWord())
Reid Spencerdf6cf5a2007-02-24 10:01:42 +000098 VAL = bigVal[0];
Zhou Shengdac63782007-02-06 03:00:16 +000099 else {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000100 // Get memory, cleared to 0
Craig Topper0085ffb2017-03-20 01:29:52 +0000101 VAL = 0;
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000102 pVal = getClearedMemory(getNumWords());
103 // Calculate the number of words to copy
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000104 unsigned words = std::min<unsigned>(bigVal.size(), getNumWords());
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000105 // Copy the words from bigVal to pVal
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000106 memcpy(pVal, bigVal.data(), words * APINT_WORD_SIZE);
Zhou Shengdac63782007-02-06 03:00:16 +0000107 }
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000108 // Make sure unused high bits are cleared
109 clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000110}
111
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000112APInt::APInt(unsigned numBits, ArrayRef<uint64_t> bigVal)
Craig Topper0085ffb2017-03-20 01:29:52 +0000113 : BitWidth(numBits) {
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000114 initFromArray(bigVal);
115}
116
117APInt::APInt(unsigned numBits, unsigned numWords, const uint64_t bigVal[])
Craig Topper0085ffb2017-03-20 01:29:52 +0000118 : BitWidth(numBits) {
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000119 initFromArray(makeArrayRef(bigVal, numWords));
120}
121
Benjamin Kramer92d89982010-07-14 22:38:02 +0000122APInt::APInt(unsigned numbits, StringRef Str, uint8_t radix)
Reid Spencer1ba83352007-02-21 03:55:44 +0000123 : BitWidth(numbits), VAL(0) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000124 assert(BitWidth && "Bitwidth too small");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000125 fromString(numbits, Str, radix);
Zhou Sheng3e8022d2007-02-07 06:14:53 +0000126}
127
Chris Lattner1ac3e252008-08-20 17:02:31 +0000128APInt& APInt::AssignSlowCase(const APInt& RHS) {
Reid Spencer7c16cd22007-02-26 23:38:21 +0000129 // Don't do anything for X = X
130 if (this == &RHS)
131 return *this;
132
Reid Spencer7c16cd22007-02-26 23:38:21 +0000133 if (BitWidth == RHS.getBitWidth()) {
Chris Lattner1ac3e252008-08-20 17:02:31 +0000134 // assume same bit-width single-word case is already handled
135 assert(!isSingleWord());
136 memcpy(pVal, RHS.pVal, getNumWords() * APINT_WORD_SIZE);
Reid Spencer7c16cd22007-02-26 23:38:21 +0000137 return *this;
138 }
139
Chris Lattner1ac3e252008-08-20 17:02:31 +0000140 if (isSingleWord()) {
141 // assume case where both are single words is already handled
142 assert(!RHS.isSingleWord());
143 VAL = 0;
144 pVal = getMemory(RHS.getNumWords());
145 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
Eric Christopher820256b2009-08-21 04:06:45 +0000146 } else if (getNumWords() == RHS.getNumWords())
Reid Spencer7c16cd22007-02-26 23:38:21 +0000147 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
148 else if (RHS.isSingleWord()) {
149 delete [] pVal;
Reid Spencera856b6e2007-02-18 18:38:44 +0000150 VAL = RHS.VAL;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000151 } else {
152 delete [] pVal;
153 pVal = getMemory(RHS.getNumWords());
154 memcpy(pVal, RHS.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
155 }
156 BitWidth = RHS.BitWidth;
157 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000158}
159
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000160/// This method 'profiles' an APInt for use with FoldingSet.
Ted Kremenek5c75d542008-01-19 04:23:33 +0000161void APInt::Profile(FoldingSetNodeID& ID) const {
Ted Kremenek901540f2008-02-19 20:50:41 +0000162 ID.AddInteger(BitWidth);
Eric Christopher820256b2009-08-21 04:06:45 +0000163
Ted Kremenek5c75d542008-01-19 04:23:33 +0000164 if (isSingleWord()) {
165 ID.AddInteger(VAL);
166 return;
167 }
168
Chris Lattner77527f52009-01-21 18:09:24 +0000169 unsigned NumWords = getNumWords();
Ted Kremenek5c75d542008-01-19 04:23:33 +0000170 for (unsigned i = 0; i < NumWords; ++i)
171 ID.AddInteger(pVal[i]);
172}
173
Zhou Shengdac63782007-02-06 03:00:16 +0000174/// @brief Prefix increment operator. Increments the APInt by one.
175APInt& APInt::operator++() {
Eric Christopher820256b2009-08-21 04:06:45 +0000176 if (isSingleWord())
Reid Spencer1d072122007-02-16 22:36:51 +0000177 ++VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000178 else
Craig Topper92fc4772017-04-13 04:36:06 +0000179 tcIncrement(pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000180 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000181}
182
Zhou Shengdac63782007-02-06 03:00:16 +0000183/// @brief Prefix decrement operator. Decrements the APInt by one.
184APInt& APInt::operator--() {
Eric Christopher820256b2009-08-21 04:06:45 +0000185 if (isSingleWord())
Reid Spencera856b6e2007-02-18 18:38:44 +0000186 --VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000187 else
Craig Topper92fc4772017-04-13 04:36:06 +0000188 tcDecrement(pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000189 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000190}
191
Reid Spencera41e93b2007-02-25 19:32:03 +0000192/// Adds the RHS APint to this APInt.
193/// @returns this, after addition of RHS.
Eric Christopher820256b2009-08-21 04:06:45 +0000194/// @brief Addition assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000195APInt& APInt::operator+=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000196 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000197 if (isSingleWord())
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000198 VAL += RHS.VAL;
Craig Topper15e484a2017-04-02 06:59:43 +0000199 else
200 tcAdd(pVal, RHS.pVal, 0, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000201 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000202}
203
Pete Cooperfea21392016-07-22 20:55:46 +0000204APInt& APInt::operator+=(uint64_t RHS) {
205 if (isSingleWord())
206 VAL += RHS;
207 else
Craig Topper92fc4772017-04-13 04:36:06 +0000208 tcAddPart(pVal, RHS, getNumWords());
Pete Cooperfea21392016-07-22 20:55:46 +0000209 return clearUnusedBits();
210}
211
Reid Spencera41e93b2007-02-25 19:32:03 +0000212/// Subtracts the RHS APInt from this APInt
213/// @returns this, after subtraction
Eric Christopher820256b2009-08-21 04:06:45 +0000214/// @brief Subtraction assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000215APInt& APInt::operator-=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000216 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000217 if (isSingleWord())
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000218 VAL -= RHS.VAL;
219 else
Craig Topper15e484a2017-04-02 06:59:43 +0000220 tcSubtract(pVal, RHS.pVal, 0, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000221 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000222}
223
Pete Cooperfea21392016-07-22 20:55:46 +0000224APInt& APInt::operator-=(uint64_t RHS) {
225 if (isSingleWord())
226 VAL -= RHS;
227 else
Craig Topper92fc4772017-04-13 04:36:06 +0000228 tcSubtractPart(pVal, RHS, getNumWords());
Pete Cooperfea21392016-07-22 20:55:46 +0000229 return clearUnusedBits();
230}
231
Dan Gohman4a618822010-02-10 16:03:48 +0000232/// Multiplies an integer array, x, by a uint64_t integer and places the result
Eric Christopher820256b2009-08-21 04:06:45 +0000233/// into dest.
Reid Spencera41e93b2007-02-25 19:32:03 +0000234/// @returns the carry out of the multiplication.
235/// @brief Multiply a multi-digit APInt by a single digit (64-bit) integer.
Chris Lattner77527f52009-01-21 18:09:24 +0000236static uint64_t mul_1(uint64_t dest[], uint64_t x[], unsigned len, uint64_t y) {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000237 // Split y into high 32-bit part (hy) and low 32-bit part (ly)
Reid Spencer100502d2007-02-17 03:16:00 +0000238 uint64_t ly = y & 0xffffffffULL, hy = y >> 32;
Reid Spencera41e93b2007-02-25 19:32:03 +0000239 uint64_t carry = 0;
240
241 // For each digit of x.
Chris Lattner77527f52009-01-21 18:09:24 +0000242 for (unsigned i = 0; i < len; ++i) {
Reid Spencera41e93b2007-02-25 19:32:03 +0000243 // Split x into high and low words
244 uint64_t lx = x[i] & 0xffffffffULL;
245 uint64_t hx = x[i] >> 32;
246 // hasCarry - A flag to indicate if there is a carry to the next digit.
Reid Spencer100502d2007-02-17 03:16:00 +0000247 // hasCarry == 0, no carry
248 // hasCarry == 1, has carry
249 // hasCarry == 2, no carry and the calculation result == 0.
250 uint8_t hasCarry = 0;
251 dest[i] = carry + lx * ly;
252 // Determine if the add above introduces carry.
253 hasCarry = (dest[i] < carry) ? 1 : 0;
254 carry = hx * ly + (dest[i] >> 32) + (hasCarry ? (1ULL << 32) : 0);
Eric Christopher820256b2009-08-21 04:06:45 +0000255 // The upper limit of carry can be (2^32 - 1)(2^32 - 1) +
Reid Spencer100502d2007-02-17 03:16:00 +0000256 // (2^32 - 1) + 2^32 = 2^64.
257 hasCarry = (!carry && hasCarry) ? 1 : (!carry ? 2 : 0);
258
259 carry += (lx * hy) & 0xffffffffULL;
260 dest[i] = (carry << 32) | (dest[i] & 0xffffffffULL);
Eric Christopher820256b2009-08-21 04:06:45 +0000261 carry = (((!carry && hasCarry != 2) || hasCarry == 1) ? (1ULL << 32) : 0) +
Reid Spencer100502d2007-02-17 03:16:00 +0000262 (carry >> 32) + ((lx * hy) >> 32) + hx * hy;
263 }
Reid Spencer100502d2007-02-17 03:16:00 +0000264 return carry;
265}
266
Eric Christopher820256b2009-08-21 04:06:45 +0000267/// Multiplies integer array x by integer array y and stores the result into
Reid Spencera41e93b2007-02-25 19:32:03 +0000268/// the integer array dest. Note that dest's size must be >= xlen + ylen.
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000269/// @brief Generalized multiplication of integer arrays.
Chris Lattner77527f52009-01-21 18:09:24 +0000270static void mul(uint64_t dest[], uint64_t x[], unsigned xlen, uint64_t y[],
271 unsigned ylen) {
Reid Spencer100502d2007-02-17 03:16:00 +0000272 dest[xlen] = mul_1(dest, x, xlen, y[0]);
Chris Lattner77527f52009-01-21 18:09:24 +0000273 for (unsigned i = 1; i < ylen; ++i) {
Reid Spencer100502d2007-02-17 03:16:00 +0000274 uint64_t ly = y[i] & 0xffffffffULL, hy = y[i] >> 32;
Reid Spencer58a6a432007-02-21 08:21:52 +0000275 uint64_t carry = 0, lx = 0, hx = 0;
Chris Lattner77527f52009-01-21 18:09:24 +0000276 for (unsigned j = 0; j < xlen; ++j) {
Reid Spencer100502d2007-02-17 03:16:00 +0000277 lx = x[j] & 0xffffffffULL;
278 hx = x[j] >> 32;
279 // hasCarry - A flag to indicate if has carry.
280 // hasCarry == 0, no carry
281 // hasCarry == 1, has carry
282 // hasCarry == 2, no carry and the calculation result == 0.
283 uint8_t hasCarry = 0;
284 uint64_t resul = carry + lx * ly;
285 hasCarry = (resul < carry) ? 1 : 0;
286 carry = (hasCarry ? (1ULL << 32) : 0) + hx * ly + (resul >> 32);
287 hasCarry = (!carry && hasCarry) ? 1 : (!carry ? 2 : 0);
288
289 carry += (lx * hy) & 0xffffffffULL;
290 resul = (carry << 32) | (resul & 0xffffffffULL);
291 dest[i+j] += resul;
292 carry = (((!carry && hasCarry != 2) || hasCarry == 1) ? (1ULL << 32) : 0)+
Eric Christopher820256b2009-08-21 04:06:45 +0000293 (carry >> 32) + (dest[i+j] < resul ? 1 : 0) +
Reid Spencer100502d2007-02-17 03:16:00 +0000294 ((lx * hy) >> 32) + hx * hy;
295 }
296 dest[i+xlen] = carry;
297 }
298}
299
Zhou Shengdac63782007-02-06 03:00:16 +0000300APInt& APInt::operator*=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000301 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer58a6a432007-02-21 08:21:52 +0000302 if (isSingleWord()) {
Reid Spencer4bb430c2007-02-20 20:42:10 +0000303 VAL *= RHS.VAL;
Reid Spencer58a6a432007-02-21 08:21:52 +0000304 clearUnusedBits();
305 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000306 }
Reid Spencer58a6a432007-02-21 08:21:52 +0000307
308 // Get some bit facts about LHS and check for zero
Chris Lattner77527f52009-01-21 18:09:24 +0000309 unsigned lhsBits = getActiveBits();
310 unsigned lhsWords = !lhsBits ? 0 : whichWord(lhsBits - 1) + 1;
Eric Christopher820256b2009-08-21 04:06:45 +0000311 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +0000312 // 0 * X ===> 0
313 return *this;
314
315 // Get some bit facts about RHS and check for zero
Chris Lattner77527f52009-01-21 18:09:24 +0000316 unsigned rhsBits = RHS.getActiveBits();
317 unsigned rhsWords = !rhsBits ? 0 : whichWord(rhsBits - 1) + 1;
Reid Spencer58a6a432007-02-21 08:21:52 +0000318 if (!rhsWords) {
319 // X * 0 ===> 0
Jay Foad25a5e4c2010-12-01 08:53:58 +0000320 clearAllBits();
Reid Spencer58a6a432007-02-21 08:21:52 +0000321 return *this;
322 }
323
324 // Allocate space for the result
Chris Lattner77527f52009-01-21 18:09:24 +0000325 unsigned destWords = rhsWords + lhsWords;
Reid Spencer58a6a432007-02-21 08:21:52 +0000326 uint64_t *dest = getMemory(destWords);
327
328 // Perform the long multiply
329 mul(dest, pVal, lhsWords, RHS.pVal, rhsWords);
330
331 // Copy result back into *this
Jay Foad25a5e4c2010-12-01 08:53:58 +0000332 clearAllBits();
Chris Lattner77527f52009-01-21 18:09:24 +0000333 unsigned wordsToCopy = destWords >= getNumWords() ? getNumWords() : destWords;
Reid Spencer58a6a432007-02-21 08:21:52 +0000334 memcpy(pVal, dest, wordsToCopy * APINT_WORD_SIZE);
Eli Friedman19546412011-10-07 23:40:49 +0000335 clearUnusedBits();
Reid Spencer58a6a432007-02-21 08:21:52 +0000336
337 // delete dest array and return
338 delete[] dest;
Zhou Shengdac63782007-02-06 03:00:16 +0000339 return *this;
340}
341
Craig Topperf496f9a2017-03-28 04:00:47 +0000342APInt& APInt::AndAssignSlowCase(const APInt& RHS) {
Craig Topperb2aaa5d2017-04-01 21:50:03 +0000343 tcAnd(pVal, RHS.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000344 return *this;
345}
346
Craig Topperf496f9a2017-03-28 04:00:47 +0000347APInt& APInt::OrAssignSlowCase(const APInt& RHS) {
Craig Topperb2aaa5d2017-04-01 21:50:03 +0000348 tcOr(pVal, RHS.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000349 return *this;
350}
351
Craig Topperf496f9a2017-03-28 04:00:47 +0000352APInt& APInt::XorAssignSlowCase(const APInt& RHS) {
Craig Topperb2aaa5d2017-04-01 21:50:03 +0000353 tcXor(pVal, RHS.pVal, getNumWords());
Craig Topper9028f052017-01-24 02:10:15 +0000354 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000355}
356
Zhou Shengdac63782007-02-06 03:00:16 +0000357APInt APInt::operator*(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000358 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencera41e93b2007-02-25 19:32:03 +0000359 if (isSingleWord())
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000360 return APInt(BitWidth, VAL * RHS.VAL);
Reid Spencer4bb430c2007-02-20 20:42:10 +0000361 APInt Result(*this);
362 Result *= RHS;
Eli Friedman19546412011-10-07 23:40:49 +0000363 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000364}
365
Chris Lattner1ac3e252008-08-20 17:02:31 +0000366bool APInt::EqualSlowCase(const APInt& RHS) const {
Matthias Braun5117fcd2016-02-15 20:06:19 +0000367 return std::equal(pVal, pVal + getNumWords(), RHS.pVal);
Zhou Shengdac63782007-02-06 03:00:16 +0000368}
369
Chris Lattner1ac3e252008-08-20 17:02:31 +0000370bool APInt::EqualSlowCase(uint64_t Val) const {
Chris Lattner77527f52009-01-21 18:09:24 +0000371 unsigned n = getActiveBits();
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000372 if (n <= APINT_BITS_PER_WORD)
373 return pVal[0] == Val;
374 else
375 return false;
Zhou Shengdac63782007-02-06 03:00:16 +0000376}
377
Reid Spencer1d072122007-02-16 22:36:51 +0000378bool APInt::ult(const APInt& RHS) const {
379 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
380 if (isSingleWord())
381 return VAL < RHS.VAL;
Reid Spencera41e93b2007-02-25 19:32:03 +0000382
383 // Get active bit length of both operands
Chris Lattner77527f52009-01-21 18:09:24 +0000384 unsigned n1 = getActiveBits();
385 unsigned n2 = RHS.getActiveBits();
Reid Spencera41e93b2007-02-25 19:32:03 +0000386
387 // If magnitude of LHS is less than RHS, return true.
388 if (n1 < n2)
389 return true;
390
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000391 // If magnitude of RHS is greater than LHS, return false.
Reid Spencera41e93b2007-02-25 19:32:03 +0000392 if (n2 < n1)
393 return false;
394
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000395 // If they both fit in a word, just compare the low order word
Reid Spencera41e93b2007-02-25 19:32:03 +0000396 if (n1 <= APINT_BITS_PER_WORD && n2 <= APINT_BITS_PER_WORD)
397 return pVal[0] < RHS.pVal[0];
398
399 // Otherwise, compare all words
Chris Lattner77527f52009-01-21 18:09:24 +0000400 unsigned topWord = whichWord(std::max(n1,n2)-1);
Reid Spencer54abdcf2007-02-27 18:23:40 +0000401 for (int i = topWord; i >= 0; --i) {
Eric Christopher820256b2009-08-21 04:06:45 +0000402 if (pVal[i] > RHS.pVal[i])
Reid Spencer1d072122007-02-16 22:36:51 +0000403 return false;
Eric Christopher820256b2009-08-21 04:06:45 +0000404 if (pVal[i] < RHS.pVal[i])
Reid Spencera41e93b2007-02-25 19:32:03 +0000405 return true;
Zhou Shengdac63782007-02-06 03:00:16 +0000406 }
407 return false;
408}
409
Reid Spencer1d072122007-02-16 22:36:51 +0000410bool APInt::slt(const APInt& RHS) const {
411 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000412 if (isSingleWord()) {
David Majnemer5f1c0172016-06-24 20:51:47 +0000413 int64_t lhsSext = SignExtend64(VAL, BitWidth);
414 int64_t rhsSext = SignExtend64(RHS.VAL, BitWidth);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000415 return lhsSext < rhsSext;
Reid Spencer1d072122007-02-16 22:36:51 +0000416 }
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000417
Reid Spencer54abdcf2007-02-27 18:23:40 +0000418 bool lhsNeg = isNegative();
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000419 bool rhsNeg = RHS.isNegative();
Reid Spencera41e93b2007-02-25 19:32:03 +0000420
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000421 // If the sign bits don't match, then (LHS < RHS) if LHS is negative
422 if (lhsNeg != rhsNeg)
423 return lhsNeg;
424
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000425 // Otherwise we can just use an unsigned comparison, because even negative
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000426 // numbers compare correctly this way if both have the same signed-ness.
427 return ult(RHS);
Zhou Shengdac63782007-02-06 03:00:16 +0000428}
429
Jay Foad25a5e4c2010-12-01 08:53:58 +0000430void APInt::setBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000431 if (isSingleWord())
Reid Spencera41e93b2007-02-25 19:32:03 +0000432 VAL |= maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000433 else
Reid Spencera41e93b2007-02-25 19:32:03 +0000434 pVal[whichWord(bitPosition)] |= maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000435}
436
Craig Topperbafdd032017-03-07 01:56:01 +0000437void APInt::setBitsSlowCase(unsigned loBit, unsigned hiBit) {
438 unsigned loWord = whichWord(loBit);
439 unsigned hiWord = whichWord(hiBit);
Simon Pilgrimaed35222017-02-24 10:15:29 +0000440
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000441 // Create an initial mask for the low word with zeros below loBit.
Craig Topperbafdd032017-03-07 01:56:01 +0000442 uint64_t loMask = UINT64_MAX << whichBit(loBit);
Simon Pilgrimaed35222017-02-24 10:15:29 +0000443
Craig Topperbafdd032017-03-07 01:56:01 +0000444 // If hiBit is not aligned, we need a high mask.
445 unsigned hiShiftAmt = whichBit(hiBit);
446 if (hiShiftAmt != 0) {
447 // Create a high mask with zeros above hiBit.
448 uint64_t hiMask = UINT64_MAX >> (APINT_BITS_PER_WORD - hiShiftAmt);
449 // If loWord and hiWord are equal, then we combine the masks. Otherwise,
450 // set the bits in hiWord.
451 if (hiWord == loWord)
452 loMask &= hiMask;
453 else
Simon Pilgrimaed35222017-02-24 10:15:29 +0000454 pVal[hiWord] |= hiMask;
Simon Pilgrimaed35222017-02-24 10:15:29 +0000455 }
Craig Topperbafdd032017-03-07 01:56:01 +0000456 // Apply the mask to the low word.
457 pVal[loWord] |= loMask;
458
459 // Fill any words between loWord and hiWord with all ones.
460 for (unsigned word = loWord + 1; word < hiWord; ++word)
461 pVal[word] = UINT64_MAX;
Simon Pilgrimaed35222017-02-24 10:15:29 +0000462}
463
Zhou Shengdac63782007-02-06 03:00:16 +0000464/// Set the given bit to 0 whose position is given as "bitPosition".
465/// @brief Set a given bit to 0.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000466void APInt::clearBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000467 if (isSingleWord())
Reid Spencera856b6e2007-02-18 18:38:44 +0000468 VAL &= ~maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000469 else
Reid Spencera856b6e2007-02-18 18:38:44 +0000470 pVal[whichWord(bitPosition)] &= ~maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000471}
472
Zhou Shengdac63782007-02-06 03:00:16 +0000473/// @brief Toggle every bit to its opposite value.
Craig Topperafc9e352017-03-27 17:10:21 +0000474void APInt::flipAllBitsSlowCase() {
Craig Toppera742cb52017-04-01 21:50:08 +0000475 tcComplement(pVal, getNumWords());
Craig Topperafc9e352017-03-27 17:10:21 +0000476 clearUnusedBits();
477}
Zhou Shengdac63782007-02-06 03:00:16 +0000478
Eric Christopher820256b2009-08-21 04:06:45 +0000479/// Toggle a given bit to its opposite value whose position is given
Zhou Shengdac63782007-02-06 03:00:16 +0000480/// as "bitPosition".
481/// @brief Toggles a given bit to its opposite value.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000482void APInt::flipBit(unsigned bitPosition) {
Reid Spencer1d072122007-02-16 22:36:51 +0000483 assert(bitPosition < BitWidth && "Out of the bit-width range!");
Jay Foad25a5e4c2010-12-01 08:53:58 +0000484 if ((*this)[bitPosition]) clearBit(bitPosition);
485 else setBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000486}
487
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000488void APInt::insertBits(const APInt &subBits, unsigned bitPosition) {
489 unsigned subBitWidth = subBits.getBitWidth();
490 assert(0 < subBitWidth && (subBitWidth + bitPosition) <= BitWidth &&
491 "Illegal bit insertion");
492
493 // Insertion is a direct copy.
494 if (subBitWidth == BitWidth) {
495 *this = subBits;
496 return;
497 }
498
499 // Single word result can be done as a direct bitmask.
500 if (isSingleWord()) {
501 uint64_t mask = UINT64_MAX >> (APINT_BITS_PER_WORD - subBitWidth);
502 VAL &= ~(mask << bitPosition);
503 VAL |= (subBits.VAL << bitPosition);
504 return;
505 }
506
507 unsigned loBit = whichBit(bitPosition);
508 unsigned loWord = whichWord(bitPosition);
509 unsigned hi1Word = whichWord(bitPosition + subBitWidth - 1);
510
511 // Insertion within a single word can be done as a direct bitmask.
512 if (loWord == hi1Word) {
513 uint64_t mask = UINT64_MAX >> (APINT_BITS_PER_WORD - subBitWidth);
514 pVal[loWord] &= ~(mask << loBit);
515 pVal[loWord] |= (subBits.VAL << loBit);
516 return;
517 }
518
519 // Insert on word boundaries.
520 if (loBit == 0) {
521 // Direct copy whole words.
522 unsigned numWholeSubWords = subBitWidth / APINT_BITS_PER_WORD;
523 memcpy(pVal + loWord, subBits.getRawData(),
524 numWholeSubWords * APINT_WORD_SIZE);
525
526 // Mask+insert remaining bits.
527 unsigned remainingBits = subBitWidth % APINT_BITS_PER_WORD;
528 if (remainingBits != 0) {
529 uint64_t mask = UINT64_MAX >> (APINT_BITS_PER_WORD - remainingBits);
530 pVal[hi1Word] &= ~mask;
531 pVal[hi1Word] |= subBits.getWord(subBitWidth - 1);
532 }
533 return;
534 }
535
536 // General case - set/clear individual bits in dst based on src.
537 // TODO - there is scope for optimization here, but at the moment this code
538 // path is barely used so prefer readability over performance.
539 for (unsigned i = 0; i != subBitWidth; ++i) {
540 if (subBits[i])
541 setBit(bitPosition + i);
542 else
543 clearBit(bitPosition + i);
544 }
545}
546
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000547APInt APInt::extractBits(unsigned numBits, unsigned bitPosition) const {
548 assert(numBits > 0 && "Can't extract zero bits");
549 assert(bitPosition < BitWidth && (numBits + bitPosition) <= BitWidth &&
550 "Illegal bit extraction");
551
552 if (isSingleWord())
553 return APInt(numBits, VAL >> bitPosition);
554
555 unsigned loBit = whichBit(bitPosition);
556 unsigned loWord = whichWord(bitPosition);
557 unsigned hiWord = whichWord(bitPosition + numBits - 1);
558
559 // Single word result extracting bits from a single word source.
560 if (loWord == hiWord)
561 return APInt(numBits, pVal[loWord] >> loBit);
562
563 // Extracting bits that start on a source word boundary can be done
564 // as a fast memory copy.
565 if (loBit == 0)
566 return APInt(numBits, makeArrayRef(pVal + loWord, 1 + hiWord - loWord));
567
568 // General case - shift + copy source words directly into place.
569 APInt Result(numBits, 0);
570 unsigned NumSrcWords = getNumWords();
571 unsigned NumDstWords = Result.getNumWords();
572
573 for (unsigned word = 0; word < NumDstWords; ++word) {
574 uint64_t w0 = pVal[loWord + word];
575 uint64_t w1 =
576 (loWord + word + 1) < NumSrcWords ? pVal[loWord + word + 1] : 0;
577 Result.pVal[word] = (w0 >> loBit) | (w1 << (APINT_BITS_PER_WORD - loBit));
578 }
579
580 return Result.clearUnusedBits();
581}
582
Benjamin Kramer92d89982010-07-14 22:38:02 +0000583unsigned APInt::getBitsNeeded(StringRef str, uint8_t radix) {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000584 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000585 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +0000586 radix == 36) &&
587 "Radix should be 2, 8, 10, 16, or 36!");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000588
589 size_t slen = str.size();
Reid Spencer9329e7b2007-04-13 19:19:07 +0000590
Eric Christopher43a1dec2009-08-21 04:10:31 +0000591 // Each computation below needs to know if it's negative.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000592 StringRef::iterator p = str.begin();
Eric Christopher43a1dec2009-08-21 04:10:31 +0000593 unsigned isNegative = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000594 if (*p == '-' || *p == '+') {
595 p++;
Reid Spencer9329e7b2007-04-13 19:19:07 +0000596 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +0000597 assert(slen && "String is only a sign, needs a value.");
Reid Spencer9329e7b2007-04-13 19:19:07 +0000598 }
Eric Christopher43a1dec2009-08-21 04:10:31 +0000599
Reid Spencer9329e7b2007-04-13 19:19:07 +0000600 // For radixes of power-of-two values, the bits required is accurately and
601 // easily computed
602 if (radix == 2)
603 return slen + isNegative;
604 if (radix == 8)
605 return slen * 3 + isNegative;
606 if (radix == 16)
607 return slen * 4 + isNegative;
608
Douglas Gregor663c0682011-09-14 15:54:46 +0000609 // FIXME: base 36
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000610
Reid Spencer9329e7b2007-04-13 19:19:07 +0000611 // This is grossly inefficient but accurate. We could probably do something
612 // with a computation of roughly slen*64/20 and then adjust by the value of
613 // the first few digits. But, I'm not sure how accurate that could be.
614
615 // Compute a sufficient number of bits that is always large enough but might
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000616 // be too large. This avoids the assertion in the constructor. This
617 // calculation doesn't work appropriately for the numbers 0-9, so just use 4
618 // bits in that case.
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000619 unsigned sufficient
Douglas Gregor663c0682011-09-14 15:54:46 +0000620 = radix == 10? (slen == 1 ? 4 : slen * 64/18)
621 : (slen == 1 ? 7 : slen * 16/3);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000622
623 // Convert to the actual binary value.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000624 APInt tmp(sufficient, StringRef(p, slen), radix);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000625
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000626 // Compute how many bits are required. If the log is infinite, assume we need
627 // just bit.
628 unsigned log = tmp.logBase2();
629 if (log == (unsigned)-1) {
630 return isNegative + 1;
631 } else {
632 return isNegative + log + 1;
633 }
Reid Spencer9329e7b2007-04-13 19:19:07 +0000634}
635
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000636hash_code llvm::hash_value(const APInt &Arg) {
637 if (Arg.isSingleWord())
638 return hash_combine(Arg.VAL);
Reid Spencerb2bc9852007-02-26 21:02:27 +0000639
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000640 return hash_combine_range(Arg.pVal, Arg.pVal + Arg.getNumWords());
Reid Spencerb2bc9852007-02-26 21:02:27 +0000641}
642
Benjamin Kramerb4b51502015-03-25 16:49:59 +0000643bool APInt::isSplat(unsigned SplatSizeInBits) const {
644 assert(getBitWidth() % SplatSizeInBits == 0 &&
645 "SplatSizeInBits must divide width!");
646 // We can check that all parts of an integer are equal by making use of a
647 // little trick: rotate and check if it's still the same value.
648 return *this == rotl(SplatSizeInBits);
649}
650
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000651/// This function returns the high "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000652APInt APInt::getHiBits(unsigned numBits) const {
Craig Toppere7e35602017-03-31 18:48:14 +0000653 return this->lshr(BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000654}
655
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000656/// This function returns the low "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000657APInt APInt::getLoBits(unsigned numBits) const {
Craig Toppere7e35602017-03-31 18:48:14 +0000658 APInt Result(getLowBitsSet(BitWidth, numBits));
659 Result &= *this;
660 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000661}
662
Chris Lattner77527f52009-01-21 18:09:24 +0000663unsigned APInt::countLeadingZerosSlowCase() const {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000664 unsigned Count = 0;
665 for (int i = getNumWords()-1; i >= 0; --i) {
Craig Topper55229b72017-04-02 19:17:22 +0000666 uint64_t V = pVal[i];
Matthias Brauna6be4e82016-02-15 20:06:22 +0000667 if (V == 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +0000668 Count += APINT_BITS_PER_WORD;
669 else {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000670 Count += llvm::countLeadingZeros(V);
Chris Lattner1ac3e252008-08-20 17:02:31 +0000671 break;
Reid Spencer74cf82e2007-02-21 00:29:48 +0000672 }
Zhou Shengdac63782007-02-06 03:00:16 +0000673 }
Matthias Brauna6be4e82016-02-15 20:06:22 +0000674 // Adjust for unused bits in the most significant word (they are zero).
675 unsigned Mod = BitWidth % APINT_BITS_PER_WORD;
676 Count -= Mod > 0 ? APINT_BITS_PER_WORD - Mod : 0;
John McCalldf951bd2010-02-03 03:42:44 +0000677 return Count;
Zhou Shengdac63782007-02-06 03:00:16 +0000678}
679
Chris Lattner77527f52009-01-21 18:09:24 +0000680unsigned APInt::countLeadingOnes() const {
Reid Spencer31acef52007-02-27 21:59:26 +0000681 if (isSingleWord())
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000682 return llvm::countLeadingOnes(VAL << (APINT_BITS_PER_WORD - BitWidth));
Reid Spencer31acef52007-02-27 21:59:26 +0000683
Chris Lattner77527f52009-01-21 18:09:24 +0000684 unsigned highWordBits = BitWidth % APINT_BITS_PER_WORD;
Torok Edwinec39eb82009-01-27 18:06:03 +0000685 unsigned shift;
686 if (!highWordBits) {
687 highWordBits = APINT_BITS_PER_WORD;
688 shift = 0;
689 } else {
690 shift = APINT_BITS_PER_WORD - highWordBits;
691 }
Reid Spencer31acef52007-02-27 21:59:26 +0000692 int i = getNumWords() - 1;
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000693 unsigned Count = llvm::countLeadingOnes(pVal[i] << shift);
Reid Spencer31acef52007-02-27 21:59:26 +0000694 if (Count == highWordBits) {
695 for (i--; i >= 0; --i) {
696 if (pVal[i] == -1ULL)
697 Count += APINT_BITS_PER_WORD;
698 else {
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000699 Count += llvm::countLeadingOnes(pVal[i]);
Reid Spencer31acef52007-02-27 21:59:26 +0000700 break;
701 }
702 }
703 }
704 return Count;
705}
706
Chris Lattner77527f52009-01-21 18:09:24 +0000707unsigned APInt::countTrailingZeros() const {
Zhou Shengdac63782007-02-06 03:00:16 +0000708 if (isSingleWord())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000709 return std::min(unsigned(llvm::countTrailingZeros(VAL)), BitWidth);
Chris Lattner77527f52009-01-21 18:09:24 +0000710 unsigned Count = 0;
711 unsigned i = 0;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000712 for (; i < getNumWords() && pVal[i] == 0; ++i)
713 Count += APINT_BITS_PER_WORD;
714 if (i < getNumWords())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000715 Count += llvm::countTrailingZeros(pVal[i]);
Chris Lattnerc2c4c742007-11-23 22:36:25 +0000716 return std::min(Count, BitWidth);
Zhou Shengdac63782007-02-06 03:00:16 +0000717}
718
Chris Lattner77527f52009-01-21 18:09:24 +0000719unsigned APInt::countTrailingOnesSlowCase() const {
720 unsigned Count = 0;
721 unsigned i = 0;
Dan Gohmanc354ebd2008-02-14 22:38:45 +0000722 for (; i < getNumWords() && pVal[i] == -1ULL; ++i)
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000723 Count += APINT_BITS_PER_WORD;
724 if (i < getNumWords())
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000725 Count += llvm::countTrailingOnes(pVal[i]);
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000726 return std::min(Count, BitWidth);
727}
728
Chris Lattner77527f52009-01-21 18:09:24 +0000729unsigned APInt::countPopulationSlowCase() const {
730 unsigned Count = 0;
731 for (unsigned i = 0; i < getNumWords(); ++i)
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000732 Count += llvm::countPopulation(pVal[i]);
Zhou Shengdac63782007-02-06 03:00:16 +0000733 return Count;
734}
735
Richard Smith4f9a8082011-11-23 21:33:37 +0000736/// Perform a logical right-shift from Src to Dst, which must be equal or
737/// non-overlapping, of Words words, by Shift, which must be less than 64.
738static void lshrNear(uint64_t *Dst, uint64_t *Src, unsigned Words,
739 unsigned Shift) {
740 uint64_t Carry = 0;
741 for (int I = Words - 1; I >= 0; --I) {
742 uint64_t Tmp = Src[I];
743 Dst[I] = (Tmp >> Shift) | Carry;
744 Carry = Tmp << (64 - Shift);
745 }
746}
747
Reid Spencer1d072122007-02-16 22:36:51 +0000748APInt APInt::byteSwap() const {
749 assert(BitWidth >= 16 && BitWidth % 16 == 0 && "Cannot byteswap!");
750 if (BitWidth == 16)
Jeff Cohene06855e2007-03-20 20:42:36 +0000751 return APInt(BitWidth, ByteSwap_16(uint16_t(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000752 if (BitWidth == 32)
Chris Lattner77527f52009-01-21 18:09:24 +0000753 return APInt(BitWidth, ByteSwap_32(unsigned(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000754 if (BitWidth == 48) {
Chris Lattner77527f52009-01-21 18:09:24 +0000755 unsigned Tmp1 = unsigned(VAL >> 16);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000756 Tmp1 = ByteSwap_32(Tmp1);
Jeff Cohene06855e2007-03-20 20:42:36 +0000757 uint16_t Tmp2 = uint16_t(VAL);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000758 Tmp2 = ByteSwap_16(Tmp2);
Jeff Cohene06855e2007-03-20 20:42:36 +0000759 return APInt(BitWidth, (uint64_t(Tmp2) << 32) | Tmp1);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000760 }
Richard Smith4f9a8082011-11-23 21:33:37 +0000761 if (BitWidth == 64)
762 return APInt(BitWidth, ByteSwap_64(VAL));
763
764 APInt Result(getNumWords() * APINT_BITS_PER_WORD, 0);
765 for (unsigned I = 0, N = getNumWords(); I != N; ++I)
766 Result.pVal[I] = ByteSwap_64(pVal[N - I - 1]);
767 if (Result.BitWidth != BitWidth) {
768 lshrNear(Result.pVal, Result.pVal, getNumWords(),
769 Result.BitWidth - BitWidth);
770 Result.BitWidth = BitWidth;
771 }
772 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000773}
774
Matt Arsenault155dda92016-03-21 15:00:35 +0000775APInt APInt::reverseBits() const {
776 switch (BitWidth) {
777 case 64:
778 return APInt(BitWidth, llvm::reverseBits<uint64_t>(VAL));
779 case 32:
780 return APInt(BitWidth, llvm::reverseBits<uint32_t>(VAL));
781 case 16:
782 return APInt(BitWidth, llvm::reverseBits<uint16_t>(VAL));
783 case 8:
784 return APInt(BitWidth, llvm::reverseBits<uint8_t>(VAL));
785 default:
786 break;
787 }
788
789 APInt Val(*this);
790 APInt Reversed(*this);
791 int S = BitWidth - 1;
792
793 const APInt One(BitWidth, 1);
794
795 for ((Val = Val.lshr(1)); Val != 0; (Val = Val.lshr(1))) {
796 Reversed <<= 1;
797 Reversed |= (Val & One);
798 --S;
799 }
800
801 Reversed <<= S;
802 return Reversed;
803}
804
Craig Topper278ebd22017-04-01 20:30:57 +0000805APInt llvm::APIntOps::GreatestCommonDivisor(APInt A, APInt B) {
Zhou Shengdac63782007-02-06 03:00:16 +0000806 while (!!B) {
Craig Topper278ebd22017-04-01 20:30:57 +0000807 APInt R = A.urem(B);
808 A = std::move(B);
809 B = std::move(R);
Zhou Shengdac63782007-02-06 03:00:16 +0000810 }
811 return A;
812}
Chris Lattner28cbd1d2007-02-06 05:38:37 +0000813
Chris Lattner77527f52009-01-21 18:09:24 +0000814APInt llvm::APIntOps::RoundDoubleToAPInt(double Double, unsigned width) {
Zhou Shengd707d632007-02-12 20:02:55 +0000815 union {
816 double D;
817 uint64_t I;
818 } T;
819 T.D = Double;
Reid Spencer974551a2007-02-27 01:28:10 +0000820
821 // Get the sign bit from the highest order bit
Zhou Shengd707d632007-02-12 20:02:55 +0000822 bool isNeg = T.I >> 63;
Reid Spencer974551a2007-02-27 01:28:10 +0000823
824 // Get the 11-bit exponent and adjust for the 1023 bit bias
Zhou Shengd707d632007-02-12 20:02:55 +0000825 int64_t exp = ((T.I >> 52) & 0x7ff) - 1023;
Reid Spencer974551a2007-02-27 01:28:10 +0000826
827 // If the exponent is negative, the value is < 0 so just return 0.
Zhou Shengd707d632007-02-12 20:02:55 +0000828 if (exp < 0)
Reid Spencer66d0d572007-02-28 01:30:08 +0000829 return APInt(width, 0u);
Reid Spencer974551a2007-02-27 01:28:10 +0000830
831 // Extract the mantissa by clearing the top 12 bits (sign + exponent).
832 uint64_t mantissa = (T.I & (~0ULL >> 12)) | 1ULL << 52;
833
834 // If the exponent doesn't shift all bits out of the mantissa
Zhou Shengd707d632007-02-12 20:02:55 +0000835 if (exp < 52)
Eric Christopher820256b2009-08-21 04:06:45 +0000836 return isNeg ? -APInt(width, mantissa >> (52 - exp)) :
Reid Spencer54abdcf2007-02-27 18:23:40 +0000837 APInt(width, mantissa >> (52 - exp));
838
839 // If the client didn't provide enough bits for us to shift the mantissa into
840 // then the result is undefined, just return 0
841 if (width <= exp - 52)
842 return APInt(width, 0);
Reid Spencer974551a2007-02-27 01:28:10 +0000843
844 // Otherwise, we have to shift the mantissa bits up to the right location
Reid Spencer54abdcf2007-02-27 18:23:40 +0000845 APInt Tmp(width, mantissa);
Chris Lattner77527f52009-01-21 18:09:24 +0000846 Tmp = Tmp.shl((unsigned)exp - 52);
Zhou Shengd707d632007-02-12 20:02:55 +0000847 return isNeg ? -Tmp : Tmp;
848}
849
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000850/// This function converts this APInt to a double.
Zhou Shengd707d632007-02-12 20:02:55 +0000851/// The layout for double is as following (IEEE Standard 754):
852/// --------------------------------------
853/// | Sign Exponent Fraction Bias |
854/// |-------------------------------------- |
855/// | 1[63] 11[62-52] 52[51-00] 1023 |
Eric Christopher820256b2009-08-21 04:06:45 +0000856/// --------------------------------------
Reid Spencer1d072122007-02-16 22:36:51 +0000857double APInt::roundToDouble(bool isSigned) const {
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000858
859 // Handle the simple case where the value is contained in one uint64_t.
Dale Johannesen54be7852009-08-12 18:04:11 +0000860 // It is wrong to optimize getWord(0) to VAL; there might be more than one word.
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000861 if (isSingleWord() || getActiveBits() <= APINT_BITS_PER_WORD) {
862 if (isSigned) {
David Majnemer03992262016-06-24 21:15:36 +0000863 int64_t sext = SignExtend64(getWord(0), BitWidth);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000864 return double(sext);
865 } else
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000866 return double(getWord(0));
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000867 }
868
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000869 // Determine if the value is negative.
Reid Spencer1d072122007-02-16 22:36:51 +0000870 bool isNeg = isSigned ? (*this)[BitWidth-1] : false;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000871
872 // Construct the absolute value if we're negative.
Zhou Shengd707d632007-02-12 20:02:55 +0000873 APInt Tmp(isNeg ? -(*this) : (*this));
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000874
875 // Figure out how many bits we're using.
Chris Lattner77527f52009-01-21 18:09:24 +0000876 unsigned n = Tmp.getActiveBits();
Zhou Shengd707d632007-02-12 20:02:55 +0000877
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000878 // The exponent (without bias normalization) is just the number of bits
879 // we are using. Note that the sign bit is gone since we constructed the
880 // absolute value.
881 uint64_t exp = n;
Zhou Shengd707d632007-02-12 20:02:55 +0000882
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000883 // Return infinity for exponent overflow
884 if (exp > 1023) {
885 if (!isSigned || !isNeg)
Jeff Cohene06855e2007-03-20 20:42:36 +0000886 return std::numeric_limits<double>::infinity();
Eric Christopher820256b2009-08-21 04:06:45 +0000887 else
Jeff Cohene06855e2007-03-20 20:42:36 +0000888 return -std::numeric_limits<double>::infinity();
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000889 }
890 exp += 1023; // Increment for 1023 bias
891
892 // Number of bits in mantissa is 52. To obtain the mantissa value, we must
893 // extract the high 52 bits from the correct words in pVal.
Zhou Shengd707d632007-02-12 20:02:55 +0000894 uint64_t mantissa;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000895 unsigned hiWord = whichWord(n-1);
896 if (hiWord == 0) {
897 mantissa = Tmp.pVal[0];
898 if (n > 52)
899 mantissa >>= n - 52; // shift down, we want the top 52 bits.
900 } else {
901 assert(hiWord > 0 && "huh?");
902 uint64_t hibits = Tmp.pVal[hiWord] << (52 - n % APINT_BITS_PER_WORD);
903 uint64_t lobits = Tmp.pVal[hiWord-1] >> (11 + n % APINT_BITS_PER_WORD);
904 mantissa = hibits | lobits;
905 }
906
Zhou Shengd707d632007-02-12 20:02:55 +0000907 // The leading bit of mantissa is implicit, so get rid of it.
Reid Spencerfbd48a52007-02-18 00:44:22 +0000908 uint64_t sign = isNeg ? (1ULL << (APINT_BITS_PER_WORD - 1)) : 0;
Zhou Shengd707d632007-02-12 20:02:55 +0000909 union {
910 double D;
911 uint64_t I;
912 } T;
913 T.I = sign | (exp << 52) | mantissa;
914 return T.D;
915}
916
Reid Spencer1d072122007-02-16 22:36:51 +0000917// Truncate to new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000918APInt APInt::trunc(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000919 assert(width < BitWidth && "Invalid APInt Truncate request");
Chris Lattner1ac3e252008-08-20 17:02:31 +0000920 assert(width && "Can't truncate to 0 bits");
Jay Foad583abbc2010-12-07 08:25:19 +0000921
922 if (width <= APINT_BITS_PER_WORD)
923 return APInt(width, getRawData()[0]);
924
925 APInt Result(getMemory(getNumWords(width)), width);
926
927 // Copy full words.
928 unsigned i;
929 for (i = 0; i != width / APINT_BITS_PER_WORD; i++)
930 Result.pVal[i] = pVal[i];
931
932 // Truncate and copy any partial word.
933 unsigned bits = (0 - width) % APINT_BITS_PER_WORD;
934 if (bits != 0)
935 Result.pVal[i] = pVal[i] << bits >> bits;
936
937 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000938}
939
940// Sign extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000941APInt APInt::sext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000942 assert(width > BitWidth && "Invalid APInt SignExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000943
944 if (width <= APINT_BITS_PER_WORD) {
945 uint64_t val = VAL << (APINT_BITS_PER_WORD - BitWidth);
946 val = (int64_t)val >> (width - BitWidth);
947 return APInt(width, val >> (APINT_BITS_PER_WORD - width));
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000948 }
949
Jay Foad583abbc2010-12-07 08:25:19 +0000950 APInt Result(getMemory(getNumWords(width)), width);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000951
Jay Foad583abbc2010-12-07 08:25:19 +0000952 // Copy full words.
953 unsigned i;
954 uint64_t word = 0;
955 for (i = 0; i != BitWidth / APINT_BITS_PER_WORD; i++) {
956 word = getRawData()[i];
957 Result.pVal[i] = word;
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000958 }
959
Jay Foad583abbc2010-12-07 08:25:19 +0000960 // Read and sign-extend any partial word.
961 unsigned bits = (0 - BitWidth) % APINT_BITS_PER_WORD;
962 if (bits != 0)
963 word = (int64_t)getRawData()[i] << bits >> bits;
964 else
965 word = (int64_t)word >> (APINT_BITS_PER_WORD - 1);
966
967 // Write remaining full words.
968 for (; i != width / APINT_BITS_PER_WORD; i++) {
969 Result.pVal[i] = word;
970 word = (int64_t)word >> (APINT_BITS_PER_WORD - 1);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000971 }
Jay Foad583abbc2010-12-07 08:25:19 +0000972
973 // Write any partial word.
974 bits = (0 - width) % APINT_BITS_PER_WORD;
975 if (bits != 0)
976 Result.pVal[i] = word << bits >> bits;
977
978 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000979}
980
981// Zero extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000982APInt APInt::zext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000983 assert(width > BitWidth && "Invalid APInt ZeroExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000984
985 if (width <= APINT_BITS_PER_WORD)
986 return APInt(width, VAL);
987
988 APInt Result(getMemory(getNumWords(width)), width);
989
990 // Copy words.
991 unsigned i;
992 for (i = 0; i != getNumWords(); i++)
993 Result.pVal[i] = getRawData()[i];
994
995 // Zero remaining words.
996 memset(&Result.pVal[i], 0, (Result.getNumWords() - i) * APINT_WORD_SIZE);
997
998 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000999}
1000
Jay Foad583abbc2010-12-07 08:25:19 +00001001APInt APInt::zextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +00001002 if (BitWidth < width)
1003 return zext(width);
1004 if (BitWidth > width)
1005 return trunc(width);
1006 return *this;
1007}
1008
Jay Foad583abbc2010-12-07 08:25:19 +00001009APInt APInt::sextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +00001010 if (BitWidth < width)
1011 return sext(width);
1012 if (BitWidth > width)
1013 return trunc(width);
1014 return *this;
1015}
1016
Rafael Espindolabb893fe2012-01-27 23:33:07 +00001017APInt APInt::zextOrSelf(unsigned width) const {
1018 if (BitWidth < width)
1019 return zext(width);
1020 return *this;
1021}
1022
1023APInt APInt::sextOrSelf(unsigned width) const {
1024 if (BitWidth < width)
1025 return sext(width);
1026 return *this;
1027}
1028
Zhou Shenge93db8f2007-02-09 07:48:24 +00001029/// Arithmetic right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001030/// @brief Arithmetic right-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001031APInt APInt::ashr(const APInt &shiftAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001032 return ashr((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001033}
1034
1035/// Arithmetic right-shift this APInt by shiftAmt.
1036/// @brief Arithmetic right-shift function.
Chris Lattner77527f52009-01-21 18:09:24 +00001037APInt APInt::ashr(unsigned shiftAmt) const {
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001038 assert(shiftAmt <= BitWidth && "Invalid shift amount");
Reid Spencer1825dd02007-03-02 22:39:11 +00001039 // Handle a degenerate case
1040 if (shiftAmt == 0)
1041 return *this;
1042
1043 // Handle single word shifts with built-in ashr
Reid Spencer522ca7c2007-02-25 01:56:07 +00001044 if (isSingleWord()) {
1045 if (shiftAmt == BitWidth)
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001046 return APInt(BitWidth, 0); // undefined
Jonathan Roelofs851b79d2016-08-10 19:50:14 +00001047 return APInt(BitWidth, SignExtend64(VAL, BitWidth) >> shiftAmt);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001048 }
Reid Spencer522ca7c2007-02-25 01:56:07 +00001049
Reid Spencer1825dd02007-03-02 22:39:11 +00001050 // If all the bits were shifted out, the result is, technically, undefined.
1051 // We return -1 if it was negative, 0 otherwise. We check this early to avoid
1052 // issues in the algorithm below.
Chris Lattnerdad2d092007-05-03 18:15:36 +00001053 if (shiftAmt == BitWidth) {
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001054 if (isNegative())
Zhou Sheng1247c072008-06-05 13:27:38 +00001055 return APInt(BitWidth, -1ULL, true);
Reid Spencera41e93b2007-02-25 19:32:03 +00001056 else
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001057 return APInt(BitWidth, 0);
Chris Lattnerdad2d092007-05-03 18:15:36 +00001058 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001059
1060 // Create some space for the result.
1061 uint64_t * val = new uint64_t[getNumWords()];
1062
Reid Spencer1825dd02007-03-02 22:39:11 +00001063 // Compute some values needed by the following shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001064 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD; // bits to shift per word
1065 unsigned offset = shiftAmt / APINT_BITS_PER_WORD; // word offset for shift
1066 unsigned breakWord = getNumWords() - 1 - offset; // last word affected
1067 unsigned bitsInWord = whichBit(BitWidth); // how many bits in last word?
Reid Spencer1825dd02007-03-02 22:39:11 +00001068 if (bitsInWord == 0)
1069 bitsInWord = APINT_BITS_PER_WORD;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001070
1071 // If we are shifting whole words, just move whole words
1072 if (wordShift == 0) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001073 // Move the words containing significant bits
Chris Lattner77527f52009-01-21 18:09:24 +00001074 for (unsigned i = 0; i <= breakWord; ++i)
Reid Spencer1825dd02007-03-02 22:39:11 +00001075 val[i] = pVal[i+offset]; // move whole word
1076
1077 // Adjust the top significant word for sign bit fill, if negative
1078 if (isNegative())
1079 if (bitsInWord < APINT_BITS_PER_WORD)
1080 val[breakWord] |= ~0ULL << bitsInWord; // set high bits
1081 } else {
Eric Christopher820256b2009-08-21 04:06:45 +00001082 // Shift the low order words
Chris Lattner77527f52009-01-21 18:09:24 +00001083 for (unsigned i = 0; i < breakWord; ++i) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001084 // This combines the shifted corresponding word with the low bits from
1085 // the next word (shifted into this word's high bits).
Eric Christopher820256b2009-08-21 04:06:45 +00001086 val[i] = (pVal[i+offset] >> wordShift) |
Reid Spencer1825dd02007-03-02 22:39:11 +00001087 (pVal[i+offset+1] << (APINT_BITS_PER_WORD - wordShift));
1088 }
1089
1090 // Shift the break word. In this case there are no bits from the next word
1091 // to include in this word.
1092 val[breakWord] = pVal[breakWord+offset] >> wordShift;
1093
Alp Tokercb402912014-01-24 17:20:08 +00001094 // Deal with sign extension in the break word, and possibly the word before
Reid Spencer1825dd02007-03-02 22:39:11 +00001095 // it.
Chris Lattnerdad2d092007-05-03 18:15:36 +00001096 if (isNegative()) {
Reid Spencer1825dd02007-03-02 22:39:11 +00001097 if (wordShift > bitsInWord) {
1098 if (breakWord > 0)
Eric Christopher820256b2009-08-21 04:06:45 +00001099 val[breakWord-1] |=
Reid Spencer1825dd02007-03-02 22:39:11 +00001100 ~0ULL << (APINT_BITS_PER_WORD - (wordShift - bitsInWord));
1101 val[breakWord] |= ~0ULL;
Eric Christopher820256b2009-08-21 04:06:45 +00001102 } else
Reid Spencer1825dd02007-03-02 22:39:11 +00001103 val[breakWord] |= (~0ULL << (bitsInWord - wordShift));
Chris Lattnerdad2d092007-05-03 18:15:36 +00001104 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001105 }
1106
Reid Spencer1825dd02007-03-02 22:39:11 +00001107 // Remaining words are 0 or -1, just assign them.
1108 uint64_t fillValue = (isNegative() ? -1ULL : 0);
Chris Lattner77527f52009-01-21 18:09:24 +00001109 for (unsigned i = breakWord+1; i < getNumWords(); ++i)
Reid Spencer1825dd02007-03-02 22:39:11 +00001110 val[i] = fillValue;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001111 APInt Result(val, BitWidth);
1112 Result.clearUnusedBits();
1113 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001114}
1115
Zhou Shenge93db8f2007-02-09 07:48:24 +00001116/// Logical right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001117/// @brief Logical right-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001118APInt APInt::lshr(const APInt &shiftAmt) const {
Chris Lattner77527f52009-01-21 18:09:24 +00001119 return lshr((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001120}
1121
1122/// Logical right-shift this APInt by shiftAmt.
1123/// @brief Logical right-shift function.
Chris Lattner77527f52009-01-21 18:09:24 +00001124APInt APInt::lshr(unsigned shiftAmt) const {
Chris Lattnerdad2d092007-05-03 18:15:36 +00001125 if (isSingleWord()) {
Ahmed Charles0dca5d82012-02-24 19:06:15 +00001126 if (shiftAmt >= BitWidth)
Reid Spencer522ca7c2007-02-25 01:56:07 +00001127 return APInt(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001128 else
Reid Spencer522ca7c2007-02-25 01:56:07 +00001129 return APInt(BitWidth, this->VAL >> shiftAmt);
Chris Lattnerdad2d092007-05-03 18:15:36 +00001130 }
Reid Spencer522ca7c2007-02-25 01:56:07 +00001131
Reid Spencer44eef162007-02-26 01:19:48 +00001132 // If all the bits were shifted out, the result is 0. This avoids issues
1133 // with shifting by the size of the integer type, which produces undefined
1134 // results. We define these "undefined results" to always be 0.
Chad Rosier3d464d82012-06-08 18:04:52 +00001135 if (shiftAmt >= BitWidth)
Reid Spencer44eef162007-02-26 01:19:48 +00001136 return APInt(BitWidth, 0);
1137
Reid Spencerfffdf102007-05-17 06:26:29 +00001138 // If none of the bits are shifted out, the result is *this. This avoids
Eric Christopher820256b2009-08-21 04:06:45 +00001139 // issues with shifting by the size of the integer type, which produces
Reid Spencerfffdf102007-05-17 06:26:29 +00001140 // undefined results in the code below. This is also an optimization.
1141 if (shiftAmt == 0)
1142 return *this;
1143
Reid Spencer44eef162007-02-26 01:19:48 +00001144 // Create some space for the result.
1145 uint64_t * val = new uint64_t[getNumWords()];
1146
1147 // If we are shifting less than a word, compute the shift with a simple carry
1148 if (shiftAmt < APINT_BITS_PER_WORD) {
Richard Smith4f9a8082011-11-23 21:33:37 +00001149 lshrNear(val, pVal, getNumWords(), shiftAmt);
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001150 APInt Result(val, BitWidth);
1151 Result.clearUnusedBits();
1152 return Result;
Reid Spencera41e93b2007-02-25 19:32:03 +00001153 }
1154
Reid Spencer44eef162007-02-26 01:19:48 +00001155 // Compute some values needed by the remaining shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001156 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD;
1157 unsigned offset = shiftAmt / APINT_BITS_PER_WORD;
Reid Spencer44eef162007-02-26 01:19:48 +00001158
1159 // If we are shifting whole words, just move whole words
1160 if (wordShift == 0) {
Chris Lattner77527f52009-01-21 18:09:24 +00001161 for (unsigned i = 0; i < getNumWords() - offset; ++i)
Reid Spencer44eef162007-02-26 01:19:48 +00001162 val[i] = pVal[i+offset];
Chris Lattner77527f52009-01-21 18:09:24 +00001163 for (unsigned i = getNumWords()-offset; i < getNumWords(); i++)
Reid Spencer44eef162007-02-26 01:19:48 +00001164 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001165 APInt Result(val, BitWidth);
1166 Result.clearUnusedBits();
1167 return Result;
Reid Spencer44eef162007-02-26 01:19:48 +00001168 }
1169
Eric Christopher820256b2009-08-21 04:06:45 +00001170 // Shift the low order words
Chris Lattner77527f52009-01-21 18:09:24 +00001171 unsigned breakWord = getNumWords() - offset -1;
1172 for (unsigned i = 0; i < breakWord; ++i)
Reid Spencerd99feaf2007-03-01 05:39:56 +00001173 val[i] = (pVal[i+offset] >> wordShift) |
1174 (pVal[i+offset+1] << (APINT_BITS_PER_WORD - wordShift));
Reid Spencer44eef162007-02-26 01:19:48 +00001175 // Shift the break word.
1176 val[breakWord] = pVal[breakWord+offset] >> wordShift;
1177
1178 // Remaining words are 0
Chris Lattner77527f52009-01-21 18:09:24 +00001179 for (unsigned i = breakWord+1; i < getNumWords(); ++i)
Reid Spencer44eef162007-02-26 01:19:48 +00001180 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001181 APInt Result(val, BitWidth);
1182 Result.clearUnusedBits();
1183 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001184}
1185
Zhou Shenge93db8f2007-02-09 07:48:24 +00001186/// Left-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001187/// @brief Left-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001188APInt APInt::shl(const APInt &shiftAmt) const {
Nick Lewycky030c4502009-01-19 17:42:33 +00001189 // It's undefined behavior in C to shift by BitWidth or greater.
Chris Lattner77527f52009-01-21 18:09:24 +00001190 return shl((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001191}
1192
Chris Lattner77527f52009-01-21 18:09:24 +00001193APInt APInt::shlSlowCase(unsigned shiftAmt) const {
Reid Spencera5c84d92007-02-25 00:56:44 +00001194 // If all the bits were shifted out, the result is 0. This avoids issues
1195 // with shifting by the size of the integer type, which produces undefined
1196 // results. We define these "undefined results" to always be 0.
1197 if (shiftAmt == BitWidth)
1198 return APInt(BitWidth, 0);
1199
Reid Spencer81ee0202007-05-12 18:01:57 +00001200 // If none of the bits are shifted out, the result is *this. This avoids a
1201 // lshr by the words size in the loop below which can produce incorrect
1202 // results. It also avoids the expensive computation below for a common case.
1203 if (shiftAmt == 0)
1204 return *this;
1205
Reid Spencera5c84d92007-02-25 00:56:44 +00001206 // Create some space for the result.
1207 uint64_t * val = new uint64_t[getNumWords()];
1208
1209 // If we are shifting less than a word, do it the easy way
1210 if (shiftAmt < APINT_BITS_PER_WORD) {
1211 uint64_t carry = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001212 for (unsigned i = 0; i < getNumWords(); i++) {
Reid Spencera5c84d92007-02-25 00:56:44 +00001213 val[i] = pVal[i] << shiftAmt | carry;
1214 carry = pVal[i] >> (APINT_BITS_PER_WORD - shiftAmt);
1215 }
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001216 APInt Result(val, BitWidth);
1217 Result.clearUnusedBits();
1218 return Result;
Reid Spencer632ebdf2007-02-24 20:19:37 +00001219 }
1220
Reid Spencera5c84d92007-02-25 00:56:44 +00001221 // Compute some values needed by the remaining shift algorithms
Chris Lattner77527f52009-01-21 18:09:24 +00001222 unsigned wordShift = shiftAmt % APINT_BITS_PER_WORD;
1223 unsigned offset = shiftAmt / APINT_BITS_PER_WORD;
Reid Spencera5c84d92007-02-25 00:56:44 +00001224
1225 // If we are shifting whole words, just move whole words
1226 if (wordShift == 0) {
Chris Lattner77527f52009-01-21 18:09:24 +00001227 for (unsigned i = 0; i < offset; i++)
Reid Spencera5c84d92007-02-25 00:56:44 +00001228 val[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001229 for (unsigned i = offset; i < getNumWords(); i++)
Reid Spencera5c84d92007-02-25 00:56:44 +00001230 val[i] = pVal[i-offset];
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001231 APInt Result(val, BitWidth);
1232 Result.clearUnusedBits();
1233 return Result;
Reid Spencer632ebdf2007-02-24 20:19:37 +00001234 }
Reid Spencera5c84d92007-02-25 00:56:44 +00001235
1236 // Copy whole words from this to Result.
Chris Lattner77527f52009-01-21 18:09:24 +00001237 unsigned i = getNumWords() - 1;
Reid Spencera5c84d92007-02-25 00:56:44 +00001238 for (; i > offset; --i)
1239 val[i] = pVal[i-offset] << wordShift |
1240 pVal[i-offset-1] >> (APINT_BITS_PER_WORD - wordShift);
Reid Spencerab0e08a2007-02-25 01:08:58 +00001241 val[offset] = pVal[0] << wordShift;
Reid Spencera5c84d92007-02-25 00:56:44 +00001242 for (i = 0; i < offset; ++i)
1243 val[i] = 0;
Benjamin Kramerf9a29752014-10-10 10:18:12 +00001244 APInt Result(val, BitWidth);
1245 Result.clearUnusedBits();
1246 return Result;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001247}
1248
Joey Gouly51c0ae52017-02-07 11:58:22 +00001249// Calculate the rotate amount modulo the bit width.
1250static unsigned rotateModulo(unsigned BitWidth, const APInt &rotateAmt) {
1251 unsigned rotBitWidth = rotateAmt.getBitWidth();
1252 APInt rot = rotateAmt;
1253 if (rotBitWidth < BitWidth) {
1254 // Extend the rotate APInt, so that the urem doesn't divide by 0.
1255 // e.g. APInt(1, 32) would give APInt(1, 0).
1256 rot = rotateAmt.zext(BitWidth);
1257 }
1258 rot = rot.urem(APInt(rot.getBitWidth(), BitWidth));
1259 return rot.getLimitedValue(BitWidth);
1260}
1261
Dan Gohman105c1d42008-02-29 01:40:47 +00001262APInt APInt::rotl(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +00001263 return rotl(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001264}
1265
Chris Lattner77527f52009-01-21 18:09:24 +00001266APInt APInt::rotl(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001267 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001268 if (rotateAmt == 0)
1269 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001270 return shl(rotateAmt) | lshr(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001271}
1272
Dan Gohman105c1d42008-02-29 01:40:47 +00001273APInt APInt::rotr(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +00001274 return rotr(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001275}
1276
Chris Lattner77527f52009-01-21 18:09:24 +00001277APInt APInt::rotr(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001278 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001279 if (rotateAmt == 0)
1280 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001281 return lshr(rotateAmt) | shl(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001282}
Reid Spencerd99feaf2007-03-01 05:39:56 +00001283
1284// Square Root - this method computes and returns the square root of "this".
1285// Three mechanisms are used for computation. For small values (<= 5 bits),
1286// a table lookup is done. This gets some performance for common cases. For
1287// values using less than 52 bits, the value is converted to double and then
1288// the libc sqrt function is called. The result is rounded and then converted
1289// back to a uint64_t which is then used to construct the result. Finally,
Eric Christopher820256b2009-08-21 04:06:45 +00001290// the Babylonian method for computing square roots is used.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001291APInt APInt::sqrt() const {
1292
1293 // Determine the magnitude of the value.
Chris Lattner77527f52009-01-21 18:09:24 +00001294 unsigned magnitude = getActiveBits();
Reid Spencerd99feaf2007-03-01 05:39:56 +00001295
1296 // Use a fast table for some small values. This also gets rid of some
1297 // rounding errors in libc sqrt for small values.
1298 if (magnitude <= 5) {
Reid Spencer2f6ad4d2007-03-01 17:47:31 +00001299 static const uint8_t results[32] = {
Reid Spencerc8841d22007-03-01 06:23:32 +00001300 /* 0 */ 0,
1301 /* 1- 2 */ 1, 1,
Eric Christopher820256b2009-08-21 04:06:45 +00001302 /* 3- 6 */ 2, 2, 2, 2,
Reid Spencerc8841d22007-03-01 06:23:32 +00001303 /* 7-12 */ 3, 3, 3, 3, 3, 3,
1304 /* 13-20 */ 4, 4, 4, 4, 4, 4, 4, 4,
1305 /* 21-30 */ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1306 /* 31 */ 6
1307 };
1308 return APInt(BitWidth, results[ (isSingleWord() ? VAL : pVal[0]) ]);
Reid Spencerd99feaf2007-03-01 05:39:56 +00001309 }
1310
1311 // If the magnitude of the value fits in less than 52 bits (the precision of
1312 // an IEEE double precision floating point value), then we can use the
1313 // libc sqrt function which will probably use a hardware sqrt computation.
1314 // This should be faster than the algorithm below.
Jeff Cohenb622c112007-03-05 00:00:42 +00001315 if (magnitude < 52) {
Eric Christopher820256b2009-08-21 04:06:45 +00001316 return APInt(BitWidth,
Reid Spencerd99feaf2007-03-01 05:39:56 +00001317 uint64_t(::round(::sqrt(double(isSingleWord()?VAL:pVal[0])))));
Jeff Cohenb622c112007-03-05 00:00:42 +00001318 }
Reid Spencerd99feaf2007-03-01 05:39:56 +00001319
1320 // Okay, all the short cuts are exhausted. We must compute it. The following
1321 // is a classical Babylonian method for computing the square root. This code
Sanjay Patel4cb54e02014-09-11 15:41:01 +00001322 // was adapted to APInt from a wikipedia article on such computations.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001323 // See http://www.wikipedia.org/ and go to the page named
Eric Christopher820256b2009-08-21 04:06:45 +00001324 // Calculate_an_integer_square_root.
Chris Lattner77527f52009-01-21 18:09:24 +00001325 unsigned nbits = BitWidth, i = 4;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001326 APInt testy(BitWidth, 16);
1327 APInt x_old(BitWidth, 1);
1328 APInt x_new(BitWidth, 0);
1329 APInt two(BitWidth, 2);
1330
1331 // Select a good starting value using binary logarithms.
Eric Christopher820256b2009-08-21 04:06:45 +00001332 for (;; i += 2, testy = testy.shl(2))
Reid Spencerd99feaf2007-03-01 05:39:56 +00001333 if (i >= nbits || this->ule(testy)) {
1334 x_old = x_old.shl(i / 2);
1335 break;
1336 }
1337
Eric Christopher820256b2009-08-21 04:06:45 +00001338 // Use the Babylonian method to arrive at the integer square root:
Reid Spencerd99feaf2007-03-01 05:39:56 +00001339 for (;;) {
1340 x_new = (this->udiv(x_old) + x_old).udiv(two);
1341 if (x_old.ule(x_new))
1342 break;
1343 x_old = x_new;
1344 }
1345
1346 // Make sure we return the closest approximation
Eric Christopher820256b2009-08-21 04:06:45 +00001347 // NOTE: The rounding calculation below is correct. It will produce an
Reid Spencercf817562007-03-02 04:21:55 +00001348 // off-by-one discrepancy with results from pari/gp. That discrepancy has been
Eric Christopher820256b2009-08-21 04:06:45 +00001349 // determined to be a rounding issue with pari/gp as it begins to use a
Reid Spencercf817562007-03-02 04:21:55 +00001350 // floating point representation after 192 bits. There are no discrepancies
1351 // between this algorithm and pari/gp for bit widths < 192 bits.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001352 APInt square(x_old * x_old);
1353 APInt nextSquare((x_old + 1) * (x_old +1));
1354 if (this->ult(square))
1355 return x_old;
David Blaikie54c94622011-12-01 20:58:30 +00001356 assert(this->ule(nextSquare) && "Error in APInt::sqrt computation");
1357 APInt midpoint((nextSquare - square).udiv(two));
1358 APInt offset(*this - square);
1359 if (offset.ult(midpoint))
1360 return x_old;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001361 return x_old + 1;
1362}
1363
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001364/// Computes the multiplicative inverse of this APInt for a given modulo. The
1365/// iterative extended Euclidean algorithm is used to solve for this value,
1366/// however we simplify it to speed up calculating only the inverse, and take
1367/// advantage of div+rem calculations. We also use some tricks to avoid copying
1368/// (potentially large) APInts around.
1369APInt APInt::multiplicativeInverse(const APInt& modulo) const {
1370 assert(ult(modulo) && "This APInt must be smaller than the modulo");
1371
1372 // Using the properties listed at the following web page (accessed 06/21/08):
1373 // http://www.numbertheory.org/php/euclid.html
1374 // (especially the properties numbered 3, 4 and 9) it can be proved that
1375 // BitWidth bits suffice for all the computations in the algorithm implemented
1376 // below. More precisely, this number of bits suffice if the multiplicative
1377 // inverse exists, but may not suffice for the general extended Euclidean
1378 // algorithm.
1379
1380 APInt r[2] = { modulo, *this };
1381 APInt t[2] = { APInt(BitWidth, 0), APInt(BitWidth, 1) };
1382 APInt q(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001383
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001384 unsigned i;
1385 for (i = 0; r[i^1] != 0; i ^= 1) {
1386 // An overview of the math without the confusing bit-flipping:
1387 // q = r[i-2] / r[i-1]
1388 // r[i] = r[i-2] % r[i-1]
1389 // t[i] = t[i-2] - t[i-1] * q
1390 udivrem(r[i], r[i^1], q, r[i]);
1391 t[i] -= t[i^1] * q;
1392 }
1393
1394 // If this APInt and the modulo are not coprime, there is no multiplicative
1395 // inverse, so return 0. We check this by looking at the next-to-last
1396 // remainder, which is the gcd(*this,modulo) as calculated by the Euclidean
1397 // algorithm.
1398 if (r[i] != 1)
1399 return APInt(BitWidth, 0);
1400
1401 // The next-to-last t is the multiplicative inverse. However, we are
1402 // interested in a positive inverse. Calcuate a positive one from a negative
1403 // one if necessary. A simple addition of the modulo suffices because
Wojciech Matyjewiczf0d21cd2008-07-20 15:55:14 +00001404 // abs(t[i]) is known to be less than *this/2 (see the link above).
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001405 return t[i].isNegative() ? t[i] + modulo : t[i];
1406}
1407
Jay Foadfe0c6482009-04-30 10:15:35 +00001408/// Calculate the magic numbers required to implement a signed integer division
1409/// by a constant as a sequence of multiplies, adds and shifts. Requires that
1410/// the divisor not be 0, 1, or -1. Taken from "Hacker's Delight", Henry S.
1411/// Warren, Jr., chapter 10.
1412APInt::ms APInt::magic() const {
1413 const APInt& d = *this;
1414 unsigned p;
1415 APInt ad, anc, delta, q1, r1, q2, r2, t;
Jay Foadfe0c6482009-04-30 10:15:35 +00001416 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
Jay Foadfe0c6482009-04-30 10:15:35 +00001417 struct ms mag;
Eric Christopher820256b2009-08-21 04:06:45 +00001418
Jay Foadfe0c6482009-04-30 10:15:35 +00001419 ad = d.abs();
1420 t = signedMin + (d.lshr(d.getBitWidth() - 1));
1421 anc = t - 1 - t.urem(ad); // absolute value of nc
1422 p = d.getBitWidth() - 1; // initialize p
1423 q1 = signedMin.udiv(anc); // initialize q1 = 2p/abs(nc)
1424 r1 = signedMin - q1*anc; // initialize r1 = rem(2p,abs(nc))
1425 q2 = signedMin.udiv(ad); // initialize q2 = 2p/abs(d)
1426 r2 = signedMin - q2*ad; // initialize r2 = rem(2p,abs(d))
1427 do {
1428 p = p + 1;
1429 q1 = q1<<1; // update q1 = 2p/abs(nc)
1430 r1 = r1<<1; // update r1 = rem(2p/abs(nc))
1431 if (r1.uge(anc)) { // must be unsigned comparison
1432 q1 = q1 + 1;
1433 r1 = r1 - anc;
1434 }
1435 q2 = q2<<1; // update q2 = 2p/abs(d)
1436 r2 = r2<<1; // update r2 = rem(2p/abs(d))
1437 if (r2.uge(ad)) { // must be unsigned comparison
1438 q2 = q2 + 1;
1439 r2 = r2 - ad;
1440 }
1441 delta = ad - r2;
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001442 } while (q1.ult(delta) || (q1 == delta && r1 == 0));
Eric Christopher820256b2009-08-21 04:06:45 +00001443
Jay Foadfe0c6482009-04-30 10:15:35 +00001444 mag.m = q2 + 1;
1445 if (d.isNegative()) mag.m = -mag.m; // resulting magic number
1446 mag.s = p - d.getBitWidth(); // resulting shift
1447 return mag;
1448}
1449
1450/// Calculate the magic numbers required to implement an unsigned integer
1451/// division by a constant as a sequence of multiplies, adds and shifts.
1452/// Requires that the divisor not be 0. Taken from "Hacker's Delight", Henry
1453/// S. Warren, Jr., chapter 10.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001454/// LeadingZeros can be used to simplify the calculation if the upper bits
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001455/// of the divided value are known zero.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001456APInt::mu APInt::magicu(unsigned LeadingZeros) const {
Jay Foadfe0c6482009-04-30 10:15:35 +00001457 const APInt& d = *this;
1458 unsigned p;
1459 APInt nc, delta, q1, r1, q2, r2;
1460 struct mu magu;
1461 magu.a = 0; // initialize "add" indicator
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001462 APInt allOnes = APInt::getAllOnesValue(d.getBitWidth()).lshr(LeadingZeros);
Jay Foadfe0c6482009-04-30 10:15:35 +00001463 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
1464 APInt signedMax = APInt::getSignedMaxValue(d.getBitWidth());
1465
Benjamin Kramer3aab6a82012-07-11 18:31:59 +00001466 nc = allOnes - (allOnes - d).urem(d);
Jay Foadfe0c6482009-04-30 10:15:35 +00001467 p = d.getBitWidth() - 1; // initialize p
1468 q1 = signedMin.udiv(nc); // initialize q1 = 2p/nc
1469 r1 = signedMin - q1*nc; // initialize r1 = rem(2p,nc)
1470 q2 = signedMax.udiv(d); // initialize q2 = (2p-1)/d
1471 r2 = signedMax - q2*d; // initialize r2 = rem((2p-1),d)
1472 do {
1473 p = p + 1;
1474 if (r1.uge(nc - r1)) {
1475 q1 = q1 + q1 + 1; // update q1
1476 r1 = r1 + r1 - nc; // update r1
1477 }
1478 else {
1479 q1 = q1+q1; // update q1
1480 r1 = r1+r1; // update r1
1481 }
1482 if ((r2 + 1).uge(d - r2)) {
1483 if (q2.uge(signedMax)) magu.a = 1;
1484 q2 = q2+q2 + 1; // update q2
1485 r2 = r2+r2 + 1 - d; // update r2
1486 }
1487 else {
1488 if (q2.uge(signedMin)) magu.a = 1;
1489 q2 = q2+q2; // update q2
1490 r2 = r2+r2 + 1; // update r2
1491 }
1492 delta = d - 1 - r2;
1493 } while (p < d.getBitWidth()*2 &&
1494 (q1.ult(delta) || (q1 == delta && r1 == 0)));
1495 magu.m = q2 + 1; // resulting magic number
1496 magu.s = p - d.getBitWidth(); // resulting shift
1497 return magu;
1498}
1499
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001500/// Implementation of Knuth's Algorithm D (Division of nonnegative integers)
1501/// from "Art of Computer Programming, Volume 2", section 4.3.1, p. 272. The
1502/// variables here have the same names as in the algorithm. Comments explain
1503/// the algorithm and any deviation from it.
Chris Lattner77527f52009-01-21 18:09:24 +00001504static void KnuthDiv(unsigned *u, unsigned *v, unsigned *q, unsigned* r,
1505 unsigned m, unsigned n) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001506 assert(u && "Must provide dividend");
1507 assert(v && "Must provide divisor");
1508 assert(q && "Must provide quotient");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001509 assert(u != v && u != q && v != q && "Must use different memory");
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001510 assert(n>1 && "n must be > 1");
1511
Yaron Keren39fc5a62015-03-26 19:45:19 +00001512 // b denotes the base of the number system. In our case b is 2^32.
George Burgess IV381fc0e2016-08-25 01:05:08 +00001513 const uint64_t b = uint64_t(1) << 32;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001514
David Greenef32fcb42010-01-05 01:28:52 +00001515 DEBUG(dbgs() << "KnuthDiv: m=" << m << " n=" << n << '\n');
1516 DEBUG(dbgs() << "KnuthDiv: original:");
1517 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1518 DEBUG(dbgs() << " by");
1519 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1520 DEBUG(dbgs() << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001521 // D1. [Normalize.] Set d = b / (v[n-1] + 1) and multiply all the digits of
1522 // u and v by d. Note that we have taken Knuth's advice here to use a power
1523 // of 2 value for d such that d * v[n-1] >= b/2 (b is the base). A power of
1524 // 2 allows us to shift instead of multiply and it is easy to determine the
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001525 // shift amount from the leading zeros. We are basically normalizing the u
1526 // and v so that its high bits are shifted to the top of v's range without
1527 // overflow. Note that this can require an extra word in u so that u must
1528 // be of length m+n+1.
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001529 unsigned shift = countLeadingZeros(v[n-1]);
Chris Lattner77527f52009-01-21 18:09:24 +00001530 unsigned v_carry = 0;
1531 unsigned u_carry = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001532 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001533 for (unsigned i = 0; i < m+n; ++i) {
1534 unsigned u_tmp = u[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001535 u[i] = (u[i] << shift) | u_carry;
1536 u_carry = u_tmp;
Reid Spencer100502d2007-02-17 03:16:00 +00001537 }
Chris Lattner77527f52009-01-21 18:09:24 +00001538 for (unsigned i = 0; i < n; ++i) {
1539 unsigned v_tmp = v[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001540 v[i] = (v[i] << shift) | v_carry;
1541 v_carry = v_tmp;
1542 }
1543 }
1544 u[m+n] = u_carry;
Yaron Keren39fc5a62015-03-26 19:45:19 +00001545
David Greenef32fcb42010-01-05 01:28:52 +00001546 DEBUG(dbgs() << "KnuthDiv: normal:");
1547 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1548 DEBUG(dbgs() << " by");
1549 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1550 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001551
1552 // D2. [Initialize j.] Set j to m. This is the loop counter over the places.
1553 int j = m;
1554 do {
David Greenef32fcb42010-01-05 01:28:52 +00001555 DEBUG(dbgs() << "KnuthDiv: quotient digit #" << j << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001556 // D3. [Calculate q'.].
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001557 // Set qp = (u[j+n]*b + u[j+n-1]) / v[n-1]. (qp=qprime=q')
1558 // Set rp = (u[j+n]*b + u[j+n-1]) % v[n-1]. (rp=rprime=r')
1559 // Now test if qp == b or qp*v[n-2] > b*rp + u[j+n-2]; if so, decrease
1560 // qp by 1, inrease rp by v[n-1], and repeat this test if rp < b. The test
1561 // on v[n-2] determines at high speed most of the cases in which the trial
Eric Christopher820256b2009-08-21 04:06:45 +00001562 // value qp is one too large, and it eliminates all cases where qp is two
1563 // too large.
Reid Spencercb292e42007-02-23 01:57:13 +00001564 uint64_t dividend = ((uint64_t(u[j+n]) << 32) + u[j+n-1]);
David Greenef32fcb42010-01-05 01:28:52 +00001565 DEBUG(dbgs() << "KnuthDiv: dividend == " << dividend << '\n');
Reid Spencercb292e42007-02-23 01:57:13 +00001566 uint64_t qp = dividend / v[n-1];
1567 uint64_t rp = dividend % v[n-1];
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001568 if (qp == b || qp*v[n-2] > b*rp + u[j+n-2]) {
1569 qp--;
1570 rp += v[n-1];
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001571 if (rp < b && (qp == b || qp*v[n-2] > b*rp + u[j+n-2]))
Reid Spencera5e0d202007-02-24 03:58:46 +00001572 qp--;
Reid Spencercb292e42007-02-23 01:57:13 +00001573 }
David Greenef32fcb42010-01-05 01:28:52 +00001574 DEBUG(dbgs() << "KnuthDiv: qp == " << qp << ", rp == " << rp << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001575
Reid Spencercb292e42007-02-23 01:57:13 +00001576 // D4. [Multiply and subtract.] Replace (u[j+n]u[j+n-1]...u[j]) with
1577 // (u[j+n]u[j+n-1]..u[j]) - qp * (v[n-1]...v[1]v[0]). This computation
1578 // consists of a simple multiplication by a one-place number, combined with
Eric Christopher820256b2009-08-21 04:06:45 +00001579 // a subtraction.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001580 // The digits (u[j+n]...u[j]) should be kept positive; if the result of
1581 // this step is actually negative, (u[j+n]...u[j]) should be left as the
1582 // true value plus b**(n+1), namely as the b's complement of
1583 // the true value, and a "borrow" to the left should be remembered.
Pawel Bylica86ac4472015-04-24 07:38:39 +00001584 int64_t borrow = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001585 for (unsigned i = 0; i < n; ++i) {
Pawel Bylica86ac4472015-04-24 07:38:39 +00001586 uint64_t p = uint64_t(qp) * uint64_t(v[i]);
1587 int64_t subres = int64_t(u[j+i]) - borrow - (unsigned)p;
1588 u[j+i] = (unsigned)subres;
1589 borrow = (p >> 32) - (subres >> 32);
1590 DEBUG(dbgs() << "KnuthDiv: u[j+i] = " << u[j+i]
Daniel Dunbar763ace92009-07-13 05:27:30 +00001591 << ", borrow = " << borrow << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001592 }
Pawel Bylica86ac4472015-04-24 07:38:39 +00001593 bool isNeg = u[j+n] < borrow;
1594 u[j+n] -= (unsigned)borrow;
1595
David Greenef32fcb42010-01-05 01:28:52 +00001596 DEBUG(dbgs() << "KnuthDiv: after subtraction:");
1597 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1598 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001599
Eric Christopher820256b2009-08-21 04:06:45 +00001600 // D5. [Test remainder.] Set q[j] = qp. If the result of step D4 was
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001601 // negative, go to step D6; otherwise go on to step D7.
Chris Lattner77527f52009-01-21 18:09:24 +00001602 q[j] = (unsigned)qp;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001603 if (isNeg) {
Eric Christopher820256b2009-08-21 04:06:45 +00001604 // D6. [Add back]. The probability that this step is necessary is very
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001605 // small, on the order of only 2/b. Make sure that test data accounts for
Eric Christopher820256b2009-08-21 04:06:45 +00001606 // this possibility. Decrease q[j] by 1
Reid Spencercb292e42007-02-23 01:57:13 +00001607 q[j]--;
Eric Christopher820256b2009-08-21 04:06:45 +00001608 // and add (0v[n-1]...v[1]v[0]) to (u[j+n]u[j+n-1]...u[j+1]u[j]).
1609 // A carry will occur to the left of u[j+n], and it should be ignored
Reid Spencercb292e42007-02-23 01:57:13 +00001610 // since it cancels with the borrow that occurred in D4.
1611 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001612 for (unsigned i = 0; i < n; i++) {
1613 unsigned limit = std::min(u[j+i],v[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001614 u[j+i] += v[i] + carry;
Reid Spencera5e0d202007-02-24 03:58:46 +00001615 carry = u[j+i] < limit || (carry && u[j+i] == limit);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001616 }
Reid Spencera5e0d202007-02-24 03:58:46 +00001617 u[j+n] += carry;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001618 }
David Greenef32fcb42010-01-05 01:28:52 +00001619 DEBUG(dbgs() << "KnuthDiv: after correction:");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001620 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
David Greenef32fcb42010-01-05 01:28:52 +00001621 DEBUG(dbgs() << "\nKnuthDiv: digit result = " << q[j] << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001622
Reid Spencercb292e42007-02-23 01:57:13 +00001623 // D7. [Loop on j.] Decrease j by one. Now if j >= 0, go back to D3.
1624 } while (--j >= 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001625
David Greenef32fcb42010-01-05 01:28:52 +00001626 DEBUG(dbgs() << "KnuthDiv: quotient:");
1627 DEBUG(for (int i = m; i >=0; i--) dbgs() <<" " << q[i]);
1628 DEBUG(dbgs() << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001629
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001630 // D8. [Unnormalize]. Now q[...] is the desired quotient, and the desired
1631 // remainder may be obtained by dividing u[...] by d. If r is non-null we
1632 // compute the remainder (urem uses this).
1633 if (r) {
1634 // The value d is expressed by the "shift" value above since we avoided
1635 // multiplication by d by using a shift left. So, all we have to do is
Simon Pilgrim0099beb2017-03-09 13:57:04 +00001636 // shift right here.
Reid Spencer468ad9112007-02-24 20:38:01 +00001637 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001638 unsigned carry = 0;
David Greenef32fcb42010-01-05 01:28:52 +00001639 DEBUG(dbgs() << "KnuthDiv: remainder:");
Reid Spencer468ad9112007-02-24 20:38:01 +00001640 for (int i = n-1; i >= 0; i--) {
1641 r[i] = (u[i] >> shift) | carry;
1642 carry = u[i] << (32 - shift);
David Greenef32fcb42010-01-05 01:28:52 +00001643 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001644 }
1645 } else {
1646 for (int i = n-1; i >= 0; i--) {
1647 r[i] = u[i];
David Greenef32fcb42010-01-05 01:28:52 +00001648 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001649 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001650 }
David Greenef32fcb42010-01-05 01:28:52 +00001651 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001652 }
David Greenef32fcb42010-01-05 01:28:52 +00001653 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001654}
1655
Benjamin Kramerc321e532016-06-08 19:09:22 +00001656void APInt::divide(const APInt &LHS, unsigned lhsWords, const APInt &RHS,
1657 unsigned rhsWords, APInt *Quotient, APInt *Remainder) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001658 assert(lhsWords >= rhsWords && "Fractional result");
1659
Eric Christopher820256b2009-08-21 04:06:45 +00001660 // First, compose the values into an array of 32-bit words instead of
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001661 // 64-bit words. This is a necessity of both the "short division" algorithm
Dan Gohman4a618822010-02-10 16:03:48 +00001662 // and the Knuth "classical algorithm" which requires there to be native
Eric Christopher820256b2009-08-21 04:06:45 +00001663 // operations for +, -, and * on an m bit value with an m*2 bit result. We
1664 // can't use 64-bit operands here because we don't have native results of
1665 // 128-bits. Furthermore, casting the 64-bit values to 32-bit values won't
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001666 // work on large-endian machines.
Dan Gohmancff69532009-04-01 18:45:54 +00001667 uint64_t mask = ~0ull >> (sizeof(unsigned)*CHAR_BIT);
Chris Lattner77527f52009-01-21 18:09:24 +00001668 unsigned n = rhsWords * 2;
1669 unsigned m = (lhsWords * 2) - n;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001670
1671 // Allocate space for the temporary values we need either on the stack, if
1672 // it will fit, or on the heap if it won't.
Chris Lattner77527f52009-01-21 18:09:24 +00001673 unsigned SPACE[128];
Craig Topperc10719f2014-04-07 04:17:22 +00001674 unsigned *U = nullptr;
1675 unsigned *V = nullptr;
1676 unsigned *Q = nullptr;
1677 unsigned *R = nullptr;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001678 if ((Remainder?4:3)*n+2*m+1 <= 128) {
1679 U = &SPACE[0];
1680 V = &SPACE[m+n+1];
1681 Q = &SPACE[(m+n+1) + n];
1682 if (Remainder)
1683 R = &SPACE[(m+n+1) + n + (m+n)];
1684 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001685 U = new unsigned[m + n + 1];
1686 V = new unsigned[n];
1687 Q = new unsigned[m+n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001688 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001689 R = new unsigned[n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001690 }
1691
1692 // Initialize the dividend
Chris Lattner77527f52009-01-21 18:09:24 +00001693 memset(U, 0, (m+n+1)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001694 for (unsigned i = 0; i < lhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001695 uint64_t tmp = (LHS.getNumWords() == 1 ? LHS.VAL : LHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001696 U[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001697 U[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001698 }
1699 U[m+n] = 0; // this extra word is for "spill" in the Knuth algorithm.
1700
Reid Spencer522ca7c2007-02-25 01:56:07 +00001701 // Initialize the divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001702 memset(V, 0, (n)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001703 for (unsigned i = 0; i < rhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001704 uint64_t tmp = (RHS.getNumWords() == 1 ? RHS.VAL : RHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001705 V[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001706 V[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001707 }
1708
Reid Spencer522ca7c2007-02-25 01:56:07 +00001709 // initialize the quotient and remainder
Chris Lattner77527f52009-01-21 18:09:24 +00001710 memset(Q, 0, (m+n) * sizeof(unsigned));
Reid Spencer522ca7c2007-02-25 01:56:07 +00001711 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001712 memset(R, 0, n * sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001713
Eric Christopher820256b2009-08-21 04:06:45 +00001714 // Now, adjust m and n for the Knuth division. n is the number of words in
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001715 // the divisor. m is the number of words by which the dividend exceeds the
Eric Christopher820256b2009-08-21 04:06:45 +00001716 // divisor (i.e. m+n is the length of the dividend). These sizes must not
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001717 // contain any zero words or the Knuth algorithm fails.
1718 for (unsigned i = n; i > 0 && V[i-1] == 0; i--) {
1719 n--;
1720 m++;
1721 }
1722 for (unsigned i = m+n; i > 0 && U[i-1] == 0; i--)
1723 m--;
1724
1725 // If we're left with only a single word for the divisor, Knuth doesn't work
1726 // so we implement the short division algorithm here. This is much simpler
1727 // and faster because we are certain that we can divide a 64-bit quantity
1728 // by a 32-bit quantity at hardware speed and short division is simply a
1729 // series of such operations. This is just like doing short division but we
1730 // are using base 2^32 instead of base 10.
1731 assert(n != 0 && "Divide by zero?");
1732 if (n == 1) {
Chris Lattner77527f52009-01-21 18:09:24 +00001733 unsigned divisor = V[0];
1734 unsigned remainder = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001735 for (int i = m+n-1; i >= 0; i--) {
1736 uint64_t partial_dividend = uint64_t(remainder) << 32 | U[i];
1737 if (partial_dividend == 0) {
1738 Q[i] = 0;
1739 remainder = 0;
1740 } else if (partial_dividend < divisor) {
1741 Q[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001742 remainder = (unsigned)partial_dividend;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001743 } else if (partial_dividend == divisor) {
1744 Q[i] = 1;
1745 remainder = 0;
1746 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001747 Q[i] = (unsigned)(partial_dividend / divisor);
1748 remainder = (unsigned)(partial_dividend - (Q[i] * divisor));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001749 }
1750 }
1751 if (R)
1752 R[0] = remainder;
1753 } else {
1754 // Now we're ready to invoke the Knuth classical divide algorithm. In this
1755 // case n > 1.
1756 KnuthDiv(U, V, Q, R, m, n);
1757 }
1758
1759 // If the caller wants the quotient
1760 if (Quotient) {
1761 // Set up the Quotient value's memory.
1762 if (Quotient->BitWidth != LHS.BitWidth) {
1763 if (Quotient->isSingleWord())
1764 Quotient->VAL = 0;
1765 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001766 delete [] Quotient->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001767 Quotient->BitWidth = LHS.BitWidth;
1768 if (!Quotient->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001769 Quotient->pVal = getClearedMemory(Quotient->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001770 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001771 Quotient->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001772
Eric Christopher820256b2009-08-21 04:06:45 +00001773 // The quotient is in Q. Reconstitute the quotient into Quotient's low
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001774 // order words.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001775 // This case is currently dead as all users of divide() handle trivial cases
1776 // earlier.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001777 if (lhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001778 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001779 uint64_t(Q[0]) | (uint64_t(Q[1]) << (APINT_BITS_PER_WORD / 2));
1780 if (Quotient->isSingleWord())
1781 Quotient->VAL = tmp;
1782 else
1783 Quotient->pVal[0] = tmp;
1784 } else {
1785 assert(!Quotient->isSingleWord() && "Quotient APInt not large enough");
1786 for (unsigned i = 0; i < lhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001787 Quotient->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001788 uint64_t(Q[i*2]) | (uint64_t(Q[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1789 }
1790 }
1791
1792 // If the caller wants the remainder
1793 if (Remainder) {
1794 // Set up the Remainder value's memory.
1795 if (Remainder->BitWidth != RHS.BitWidth) {
1796 if (Remainder->isSingleWord())
1797 Remainder->VAL = 0;
1798 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001799 delete [] Remainder->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001800 Remainder->BitWidth = RHS.BitWidth;
1801 if (!Remainder->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001802 Remainder->pVal = getClearedMemory(Remainder->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001803 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001804 Remainder->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001805
1806 // The remainder is in R. Reconstitute the remainder into Remainder's low
1807 // order words.
1808 if (rhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001809 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001810 uint64_t(R[0]) | (uint64_t(R[1]) << (APINT_BITS_PER_WORD / 2));
1811 if (Remainder->isSingleWord())
1812 Remainder->VAL = tmp;
1813 else
1814 Remainder->pVal[0] = tmp;
1815 } else {
1816 assert(!Remainder->isSingleWord() && "Remainder APInt not large enough");
1817 for (unsigned i = 0; i < rhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001818 Remainder->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001819 uint64_t(R[i*2]) | (uint64_t(R[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1820 }
1821 }
1822
1823 // Clean up the memory we allocated.
Reid Spencer522ca7c2007-02-25 01:56:07 +00001824 if (U != &SPACE[0]) {
1825 delete [] U;
1826 delete [] V;
1827 delete [] Q;
1828 delete [] R;
1829 }
Reid Spencer100502d2007-02-17 03:16:00 +00001830}
1831
Reid Spencer1d072122007-02-16 22:36:51 +00001832APInt APInt::udiv(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001833 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001834
1835 // First, deal with the easy case
1836 if (isSingleWord()) {
1837 assert(RHS.VAL != 0 && "Divide by zero?");
1838 return APInt(BitWidth, VAL / RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001839 }
Reid Spencer39867762007-02-17 02:07:07 +00001840
Reid Spencer39867762007-02-17 02:07:07 +00001841 // Get some facts about the LHS and RHS number of bits and words
Chris Lattner77527f52009-01-21 18:09:24 +00001842 unsigned rhsBits = RHS.getActiveBits();
1843 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001844 assert(rhsWords && "Divided by zero???");
Chris Lattner77527f52009-01-21 18:09:24 +00001845 unsigned lhsBits = this->getActiveBits();
1846 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001847
1848 // Deal with some degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001849 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +00001850 // 0 / X ===> 0
Eric Christopher820256b2009-08-21 04:06:45 +00001851 return APInt(BitWidth, 0);
Reid Spencer58a6a432007-02-21 08:21:52 +00001852 else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001853 // X / Y ===> 0, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001854 return APInt(BitWidth, 0);
1855 } else if (*this == RHS) {
1856 // X / X ===> 1
1857 return APInt(BitWidth, 1);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001858 } else if (lhsWords == 1 && rhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001859 // All high words are zero, just use native divide
Reid Spencer58a6a432007-02-21 08:21:52 +00001860 return APInt(BitWidth, this->pVal[0] / RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001861 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001862
1863 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
1864 APInt Quotient(1,0); // to hold result.
Craig Topperc10719f2014-04-07 04:17:22 +00001865 divide(*this, lhsWords, RHS, rhsWords, &Quotient, nullptr);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001866 return Quotient;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001867}
1868
Jakub Staszak6605c602013-02-20 00:17:42 +00001869APInt APInt::sdiv(const APInt &RHS) const {
1870 if (isNegative()) {
1871 if (RHS.isNegative())
1872 return (-(*this)).udiv(-RHS);
1873 return -((-(*this)).udiv(RHS));
1874 }
1875 if (RHS.isNegative())
1876 return -(this->udiv(-RHS));
1877 return this->udiv(RHS);
1878}
1879
Reid Spencer1d072122007-02-16 22:36:51 +00001880APInt APInt::urem(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001881 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001882 if (isSingleWord()) {
1883 assert(RHS.VAL != 0 && "Remainder by zero?");
1884 return APInt(BitWidth, VAL % RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001885 }
Reid Spencer39867762007-02-17 02:07:07 +00001886
Reid Spencer58a6a432007-02-21 08:21:52 +00001887 // Get some facts about the LHS
Chris Lattner77527f52009-01-21 18:09:24 +00001888 unsigned lhsBits = getActiveBits();
1889 unsigned lhsWords = !lhsBits ? 0 : (whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001890
1891 // Get some facts about the RHS
Chris Lattner77527f52009-01-21 18:09:24 +00001892 unsigned rhsBits = RHS.getActiveBits();
1893 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001894 assert(rhsWords && "Performing remainder operation by zero ???");
1895
Reid Spencer39867762007-02-17 02:07:07 +00001896 // Check the degenerate cases
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001897 if (lhsWords == 0) {
Reid Spencer58a6a432007-02-21 08:21:52 +00001898 // 0 % Y ===> 0
1899 return APInt(BitWidth, 0);
1900 } else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001901 // X % Y ===> X, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001902 return *this;
1903 } else if (*this == RHS) {
Reid Spencer39867762007-02-17 02:07:07 +00001904 // X % X == 0;
Reid Spencer58a6a432007-02-21 08:21:52 +00001905 return APInt(BitWidth, 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001906 } else if (lhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001907 // All high words are zero, just use native remainder
Reid Spencer58a6a432007-02-21 08:21:52 +00001908 return APInt(BitWidth, pVal[0] % RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001909 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001910
Reid Spencer4c50b522007-05-13 23:44:59 +00001911 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001912 APInt Remainder(1,0);
Craig Topperc10719f2014-04-07 04:17:22 +00001913 divide(*this, lhsWords, RHS, rhsWords, nullptr, &Remainder);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001914 return Remainder;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001915}
Reid Spencer100502d2007-02-17 03:16:00 +00001916
Jakub Staszak6605c602013-02-20 00:17:42 +00001917APInt APInt::srem(const APInt &RHS) const {
1918 if (isNegative()) {
1919 if (RHS.isNegative())
1920 return -((-(*this)).urem(-RHS));
1921 return -((-(*this)).urem(RHS));
1922 }
1923 if (RHS.isNegative())
1924 return this->urem(-RHS);
1925 return this->urem(RHS);
1926}
1927
Eric Christopher820256b2009-08-21 04:06:45 +00001928void APInt::udivrem(const APInt &LHS, const APInt &RHS,
Reid Spencer4c50b522007-05-13 23:44:59 +00001929 APInt &Quotient, APInt &Remainder) {
David Majnemer7f039202014-12-14 09:41:56 +00001930 assert(LHS.BitWidth == RHS.BitWidth && "Bit widths must be the same");
1931
1932 // First, deal with the easy case
1933 if (LHS.isSingleWord()) {
1934 assert(RHS.VAL != 0 && "Divide by zero?");
1935 uint64_t QuotVal = LHS.VAL / RHS.VAL;
1936 uint64_t RemVal = LHS.VAL % RHS.VAL;
1937 Quotient = APInt(LHS.BitWidth, QuotVal);
1938 Remainder = APInt(LHS.BitWidth, RemVal);
1939 return;
1940 }
1941
Reid Spencer4c50b522007-05-13 23:44:59 +00001942 // Get some size facts about the dividend and divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001943 unsigned lhsBits = LHS.getActiveBits();
1944 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
1945 unsigned rhsBits = RHS.getActiveBits();
1946 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer4c50b522007-05-13 23:44:59 +00001947
1948 // Check the degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001949 if (lhsWords == 0) {
Reid Spencer4c50b522007-05-13 23:44:59 +00001950 Quotient = 0; // 0 / Y ===> 0
1951 Remainder = 0; // 0 % Y ===> 0
1952 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001953 }
1954
1955 if (lhsWords < rhsWords || LHS.ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001956 Remainder = LHS; // X % Y ===> X, iff X < Y
1957 Quotient = 0; // X / Y ===> 0, iff X < Y
Reid Spencer4c50b522007-05-13 23:44:59 +00001958 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001959 }
1960
Reid Spencer4c50b522007-05-13 23:44:59 +00001961 if (LHS == RHS) {
1962 Quotient = 1; // X / X ===> 1
1963 Remainder = 0; // X % X ===> 0;
1964 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001965 }
1966
Reid Spencer4c50b522007-05-13 23:44:59 +00001967 if (lhsWords == 1 && rhsWords == 1) {
1968 // There is only one word to consider so use the native versions.
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001969 uint64_t lhsValue = LHS.isSingleWord() ? LHS.VAL : LHS.pVal[0];
1970 uint64_t rhsValue = RHS.isSingleWord() ? RHS.VAL : RHS.pVal[0];
1971 Quotient = APInt(LHS.getBitWidth(), lhsValue / rhsValue);
1972 Remainder = APInt(LHS.getBitWidth(), lhsValue % rhsValue);
Reid Spencer4c50b522007-05-13 23:44:59 +00001973 return;
1974 }
1975
1976 // Okay, lets do it the long way
1977 divide(LHS, lhsWords, RHS, rhsWords, &Quotient, &Remainder);
1978}
1979
Jakub Staszak6605c602013-02-20 00:17:42 +00001980void APInt::sdivrem(const APInt &LHS, const APInt &RHS,
1981 APInt &Quotient, APInt &Remainder) {
1982 if (LHS.isNegative()) {
1983 if (RHS.isNegative())
1984 APInt::udivrem(-LHS, -RHS, Quotient, Remainder);
1985 else {
1986 APInt::udivrem(-LHS, RHS, Quotient, Remainder);
1987 Quotient = -Quotient;
1988 }
1989 Remainder = -Remainder;
1990 } else if (RHS.isNegative()) {
1991 APInt::udivrem(LHS, -RHS, Quotient, Remainder);
1992 Quotient = -Quotient;
1993 } else {
1994 APInt::udivrem(LHS, RHS, Quotient, Remainder);
1995 }
1996}
1997
Chris Lattner2c819b02010-10-13 23:54:10 +00001998APInt APInt::sadd_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001999 APInt Res = *this+RHS;
2000 Overflow = isNonNegative() == RHS.isNonNegative() &&
2001 Res.isNonNegative() != isNonNegative();
2002 return Res;
2003}
2004
Chris Lattner698661c2010-10-14 00:05:07 +00002005APInt APInt::uadd_ov(const APInt &RHS, bool &Overflow) const {
2006 APInt Res = *this+RHS;
2007 Overflow = Res.ult(RHS);
2008 return Res;
2009}
2010
Chris Lattner2c819b02010-10-13 23:54:10 +00002011APInt APInt::ssub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002012 APInt Res = *this - RHS;
2013 Overflow = isNonNegative() != RHS.isNonNegative() &&
2014 Res.isNonNegative() != isNonNegative();
2015 return Res;
2016}
2017
Chris Lattner698661c2010-10-14 00:05:07 +00002018APInt APInt::usub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattnerb9681ad2010-10-14 00:30:00 +00002019 APInt Res = *this-RHS;
2020 Overflow = Res.ugt(*this);
Chris Lattner698661c2010-10-14 00:05:07 +00002021 return Res;
2022}
2023
Chris Lattner2c819b02010-10-13 23:54:10 +00002024APInt APInt::sdiv_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002025 // MININT/-1 --> overflow.
2026 Overflow = isMinSignedValue() && RHS.isAllOnesValue();
2027 return sdiv(RHS);
2028}
2029
Chris Lattner2c819b02010-10-13 23:54:10 +00002030APInt APInt::smul_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00002031 APInt Res = *this * RHS;
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00002032
Chris Lattner79bdd882010-10-13 23:46:33 +00002033 if (*this != 0 && RHS != 0)
2034 Overflow = Res.sdiv(RHS) != *this || Res.sdiv(*this) != RHS;
2035 else
2036 Overflow = false;
2037 return Res;
2038}
2039
Frits van Bommel0bb2ad22011-03-27 14:26:13 +00002040APInt APInt::umul_ov(const APInt &RHS, bool &Overflow) const {
2041 APInt Res = *this * RHS;
2042
2043 if (*this != 0 && RHS != 0)
2044 Overflow = Res.udiv(RHS) != *this || Res.udiv(*this) != RHS;
2045 else
2046 Overflow = false;
2047 return Res;
2048}
2049
David Majnemera2521382014-10-13 21:48:30 +00002050APInt APInt::sshl_ov(const APInt &ShAmt, bool &Overflow) const {
2051 Overflow = ShAmt.uge(getBitWidth());
Chris Lattner79bdd882010-10-13 23:46:33 +00002052 if (Overflow)
David Majnemera2521382014-10-13 21:48:30 +00002053 return APInt(BitWidth, 0);
Chris Lattner79bdd882010-10-13 23:46:33 +00002054
2055 if (isNonNegative()) // Don't allow sign change.
David Majnemera2521382014-10-13 21:48:30 +00002056 Overflow = ShAmt.uge(countLeadingZeros());
Chris Lattner79bdd882010-10-13 23:46:33 +00002057 else
David Majnemera2521382014-10-13 21:48:30 +00002058 Overflow = ShAmt.uge(countLeadingOnes());
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00002059
Chris Lattner79bdd882010-10-13 23:46:33 +00002060 return *this << ShAmt;
2061}
2062
David Majnemera2521382014-10-13 21:48:30 +00002063APInt APInt::ushl_ov(const APInt &ShAmt, bool &Overflow) const {
2064 Overflow = ShAmt.uge(getBitWidth());
2065 if (Overflow)
2066 return APInt(BitWidth, 0);
2067
2068 Overflow = ShAmt.ugt(countLeadingZeros());
2069
2070 return *this << ShAmt;
2071}
2072
Chris Lattner79bdd882010-10-13 23:46:33 +00002073
2074
2075
Benjamin Kramer92d89982010-07-14 22:38:02 +00002076void APInt::fromString(unsigned numbits, StringRef str, uint8_t radix) {
Reid Spencer1ba83352007-02-21 03:55:44 +00002077 // Check our assumptions here
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002078 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00002079 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00002080 radix == 36) &&
2081 "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002082
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002083 StringRef::iterator p = str.begin();
2084 size_t slen = str.size();
2085 bool isNeg = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00002086 if (*p == '-' || *p == '+') {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002087 p++;
2088 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +00002089 assert(slen && "String is only a sign, needs a value.");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002090 }
Chris Lattnerdad2d092007-05-03 18:15:36 +00002091 assert((slen <= numbits || radix != 2) && "Insufficient bit width");
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002092 assert(((slen-1)*3 <= numbits || radix != 8) && "Insufficient bit width");
2093 assert(((slen-1)*4 <= numbits || radix != 16) && "Insufficient bit width");
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002094 assert((((slen-1)*64)/22 <= numbits || radix != 10) &&
2095 "Insufficient bit width");
Reid Spencer1ba83352007-02-21 03:55:44 +00002096
2097 // Allocate memory
2098 if (!isSingleWord())
2099 pVal = getClearedMemory(getNumWords());
2100
2101 // Figure out if we can shift instead of multiply
Chris Lattner77527f52009-01-21 18:09:24 +00002102 unsigned shift = (radix == 16 ? 4 : radix == 8 ? 3 : radix == 2 ? 1 : 0);
Reid Spencer1ba83352007-02-21 03:55:44 +00002103
Craig Topperb7d8faa2017-04-02 06:59:38 +00002104 // Set up an APInt for the radix multiplier outside the loop so we don't
Reid Spencer1ba83352007-02-21 03:55:44 +00002105 // constantly construct/destruct it.
Reid Spencer1ba83352007-02-21 03:55:44 +00002106 APInt apradix(getBitWidth(), radix);
2107
2108 // Enter digit traversal loop
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002109 for (StringRef::iterator e = str.end(); p != e; ++p) {
Erick Tryzelaardadb15712009-08-21 03:15:28 +00002110 unsigned digit = getDigit(*p, radix);
Erick Tryzelaar60964092009-08-21 06:48:37 +00002111 assert(digit < radix && "Invalid character in digit string");
Reid Spencer1ba83352007-02-21 03:55:44 +00002112
Reid Spencera93c9812007-05-16 19:18:22 +00002113 // Shift or multiply the value by the radix
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002114 if (slen > 1) {
2115 if (shift)
2116 *this <<= shift;
2117 else
2118 *this *= apradix;
2119 }
Reid Spencer1ba83352007-02-21 03:55:44 +00002120
2121 // Add in the digit we just interpreted
Craig Topperb7d8faa2017-04-02 06:59:38 +00002122 *this += digit;
Reid Spencer100502d2007-02-17 03:16:00 +00002123 }
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002124 // If its negative, put it in two's complement form
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00002125 if (isNeg) {
Jakub Staszak773be0c2013-03-20 23:56:19 +00002126 --(*this);
Jay Foad25a5e4c2010-12-01 08:53:58 +00002127 this->flipAllBits();
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002128 }
Reid Spencer100502d2007-02-17 03:16:00 +00002129}
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002130
Chris Lattner17f71652008-08-17 07:19:36 +00002131void APInt::toString(SmallVectorImpl<char> &Str, unsigned Radix,
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002132 bool Signed, bool formatAsCLiteral) const {
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00002133 assert((Radix == 10 || Radix == 8 || Radix == 16 || Radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00002134 Radix == 36) &&
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002135 "Radix should be 2, 8, 10, 16, or 36!");
Eric Christopher820256b2009-08-21 04:06:45 +00002136
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002137 const char *Prefix = "";
2138 if (formatAsCLiteral) {
2139 switch (Radix) {
2140 case 2:
2141 // Binary literals are a non-standard extension added in gcc 4.3:
2142 // http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Binary-constants.html
2143 Prefix = "0b";
2144 break;
2145 case 8:
2146 Prefix = "0";
2147 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002148 case 10:
2149 break; // No prefix
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002150 case 16:
2151 Prefix = "0x";
2152 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002153 default:
2154 llvm_unreachable("Invalid radix!");
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002155 }
2156 }
2157
Chris Lattner17f71652008-08-17 07:19:36 +00002158 // First, check for a zero value and just short circuit the logic below.
2159 if (*this == 0) {
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002160 while (*Prefix) {
2161 Str.push_back(*Prefix);
2162 ++Prefix;
2163 };
Chris Lattner17f71652008-08-17 07:19:36 +00002164 Str.push_back('0');
2165 return;
2166 }
Eric Christopher820256b2009-08-21 04:06:45 +00002167
Douglas Gregor663c0682011-09-14 15:54:46 +00002168 static const char Digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
Eric Christopher820256b2009-08-21 04:06:45 +00002169
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002170 if (isSingleWord()) {
Chris Lattner17f71652008-08-17 07:19:36 +00002171 char Buffer[65];
2172 char *BufPtr = Buffer+65;
Eric Christopher820256b2009-08-21 04:06:45 +00002173
Chris Lattner17f71652008-08-17 07:19:36 +00002174 uint64_t N;
Chris Lattnerb91c9032010-08-18 00:33:47 +00002175 if (!Signed) {
Chris Lattner17f71652008-08-17 07:19:36 +00002176 N = getZExtValue();
Chris Lattnerb91c9032010-08-18 00:33:47 +00002177 } else {
2178 int64_t I = getSExtValue();
2179 if (I >= 0) {
2180 N = I;
2181 } else {
2182 Str.push_back('-');
2183 N = -(uint64_t)I;
2184 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002185 }
Eric Christopher820256b2009-08-21 04:06:45 +00002186
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002187 while (*Prefix) {
2188 Str.push_back(*Prefix);
2189 ++Prefix;
2190 };
2191
Chris Lattner17f71652008-08-17 07:19:36 +00002192 while (N) {
2193 *--BufPtr = Digits[N % Radix];
2194 N /= Radix;
2195 }
2196 Str.append(BufPtr, Buffer+65);
2197 return;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002198 }
2199
Chris Lattner17f71652008-08-17 07:19:36 +00002200 APInt Tmp(*this);
Eric Christopher820256b2009-08-21 04:06:45 +00002201
Chris Lattner17f71652008-08-17 07:19:36 +00002202 if (Signed && isNegative()) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002203 // They want to print the signed version and it is a negative value
2204 // Flip the bits and add one to turn it into the equivalent positive
2205 // value and put a '-' in the result.
Jay Foad25a5e4c2010-12-01 08:53:58 +00002206 Tmp.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +00002207 ++Tmp;
Chris Lattner17f71652008-08-17 07:19:36 +00002208 Str.push_back('-');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002209 }
Eric Christopher820256b2009-08-21 04:06:45 +00002210
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002211 while (*Prefix) {
2212 Str.push_back(*Prefix);
2213 ++Prefix;
2214 };
2215
Chris Lattner17f71652008-08-17 07:19:36 +00002216 // We insert the digits backward, then reverse them to get the right order.
2217 unsigned StartDig = Str.size();
Eric Christopher820256b2009-08-21 04:06:45 +00002218
2219 // For the 2, 8 and 16 bit cases, we can just shift instead of divide
2220 // because the number of bits per digit (1, 3 and 4 respectively) divides
Craig Topperd7ed50d2017-04-02 06:59:36 +00002221 // equally. We just shift until the value is zero.
Douglas Gregor663c0682011-09-14 15:54:46 +00002222 if (Radix == 2 || Radix == 8 || Radix == 16) {
Chris Lattner17f71652008-08-17 07:19:36 +00002223 // Just shift tmp right for each digit width until it becomes zero
2224 unsigned ShiftAmt = (Radix == 16 ? 4 : (Radix == 8 ? 3 : 1));
2225 unsigned MaskAmt = Radix - 1;
Eric Christopher820256b2009-08-21 04:06:45 +00002226
Chris Lattner17f71652008-08-17 07:19:36 +00002227 while (Tmp != 0) {
2228 unsigned Digit = unsigned(Tmp.getRawData()[0]) & MaskAmt;
2229 Str.push_back(Digits[Digit]);
2230 Tmp = Tmp.lshr(ShiftAmt);
2231 }
2232 } else {
Douglas Gregor663c0682011-09-14 15:54:46 +00002233 APInt divisor(Radix == 10? 4 : 8, Radix);
Chris Lattner17f71652008-08-17 07:19:36 +00002234 while (Tmp != 0) {
2235 APInt APdigit(1, 0);
2236 APInt tmp2(Tmp.getBitWidth(), 0);
Eric Christopher820256b2009-08-21 04:06:45 +00002237 divide(Tmp, Tmp.getNumWords(), divisor, divisor.getNumWords(), &tmp2,
Chris Lattner17f71652008-08-17 07:19:36 +00002238 &APdigit);
Chris Lattner77527f52009-01-21 18:09:24 +00002239 unsigned Digit = (unsigned)APdigit.getZExtValue();
Chris Lattner17f71652008-08-17 07:19:36 +00002240 assert(Digit < Radix && "divide failed");
2241 Str.push_back(Digits[Digit]);
2242 Tmp = tmp2;
2243 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002244 }
Eric Christopher820256b2009-08-21 04:06:45 +00002245
Chris Lattner17f71652008-08-17 07:19:36 +00002246 // Reverse the digits before returning.
2247 std::reverse(Str.begin()+StartDig, Str.end());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002248}
2249
Pawel Bylica6eeeac72015-04-06 13:31:39 +00002250/// Returns the APInt as a std::string. Note that this is an inefficient method.
2251/// It is better to pass in a SmallVector/SmallString to the methods above.
Chris Lattner17f71652008-08-17 07:19:36 +00002252std::string APInt::toString(unsigned Radix = 10, bool Signed = true) const {
2253 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002254 toString(S, Radix, Signed, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00002255 return S.str();
Reid Spencer1ba83352007-02-21 03:55:44 +00002256}
Chris Lattner6b695682007-08-16 15:56:55 +00002257
Matthias Braun8c209aa2017-01-28 02:02:38 +00002258#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Yaron Kereneb2a2542016-01-29 20:50:44 +00002259LLVM_DUMP_METHOD void APInt::dump() const {
Chris Lattner17f71652008-08-17 07:19:36 +00002260 SmallString<40> S, U;
2261 this->toStringUnsigned(U);
2262 this->toStringSigned(S);
David Greenef32fcb42010-01-05 01:28:52 +00002263 dbgs() << "APInt(" << BitWidth << "b, "
Davide Italiano5a473d22017-01-31 21:26:18 +00002264 << U << "u " << S << "s)\n";
Chris Lattner17f71652008-08-17 07:19:36 +00002265}
Matthias Braun8c209aa2017-01-28 02:02:38 +00002266#endif
Chris Lattner17f71652008-08-17 07:19:36 +00002267
Chris Lattner0c19df42008-08-23 22:23:09 +00002268void APInt::print(raw_ostream &OS, bool isSigned) const {
Chris Lattner17f71652008-08-17 07:19:36 +00002269 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002270 this->toString(S, 10, isSigned, /* formatAsCLiteral = */false);
Yaron Keren92e1b622015-03-18 10:17:07 +00002271 OS << S;
Chris Lattner17f71652008-08-17 07:19:36 +00002272}
2273
Chris Lattner6b695682007-08-16 15:56:55 +00002274// This implements a variety of operations on a representation of
2275// arbitrary precision, two's-complement, bignum integer values.
2276
Chris Lattner96cffa62009-08-23 23:11:28 +00002277// Assumed by lowHalf, highHalf, partMSB and partLSB. A fairly safe
2278// and unrestricting assumption.
Craig Topper55229b72017-04-02 19:17:22 +00002279static_assert(APInt::APINT_BITS_PER_WORD % 2 == 0,
2280 "Part width must be divisible by 2!");
Chris Lattner6b695682007-08-16 15:56:55 +00002281
2282/* Some handy functions local to this file. */
Chris Lattner6b695682007-08-16 15:56:55 +00002283
Craig Topper76f42462017-03-28 05:32:53 +00002284/* Returns the integer part with the least significant BITS set.
2285 BITS cannot be zero. */
Craig Topper55229b72017-04-02 19:17:22 +00002286static inline APInt::WordType lowBitMask(unsigned bits) {
2287 assert(bits != 0 && bits <= APInt::APINT_BITS_PER_WORD);
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002288
Craig Topper55229b72017-04-02 19:17:22 +00002289 return ~(APInt::WordType) 0 >> (APInt::APINT_BITS_PER_WORD - bits);
Craig Topper76f42462017-03-28 05:32:53 +00002290}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002291
Craig Topper76f42462017-03-28 05:32:53 +00002292/* Returns the value of the lower half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002293static inline APInt::WordType lowHalf(APInt::WordType part) {
2294 return part & lowBitMask(APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002295}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002296
Craig Topper76f42462017-03-28 05:32:53 +00002297/* Returns the value of the upper half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002298static inline APInt::WordType highHalf(APInt::WordType part) {
2299 return part >> (APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002300}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002301
Craig Topper76f42462017-03-28 05:32:53 +00002302/* Returns the bit number of the most significant set bit of a part.
2303 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002304static unsigned partMSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002305 return findLastSet(value, ZB_Max);
2306}
Chris Lattner6b695682007-08-16 15:56:55 +00002307
Craig Topper76f42462017-03-28 05:32:53 +00002308/* Returns the bit number of the least significant set bit of a
2309 part. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002310static unsigned partLSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002311 return findFirstSet(value, ZB_Max);
Alexander Kornienkof00654e2015-06-23 09:49:53 +00002312}
Chris Lattner6b695682007-08-16 15:56:55 +00002313
2314/* Sets the least significant part of a bignum to the input value, and
2315 zeroes out higher parts. */
Craig Topper55229b72017-04-02 19:17:22 +00002316void APInt::tcSet(WordType *dst, WordType part, unsigned parts) {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002317 assert(parts > 0);
Neil Boothb6182162007-10-08 13:47:12 +00002318
Chris Lattner6b695682007-08-16 15:56:55 +00002319 dst[0] = part;
Craig Topperb0038162017-03-28 05:32:52 +00002320 for (unsigned i = 1; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002321 dst[i] = 0;
2322}
2323
2324/* Assign one bignum to another. */
Craig Topper55229b72017-04-02 19:17:22 +00002325void APInt::tcAssign(WordType *dst, const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002326 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002327 dst[i] = src[i];
2328}
2329
2330/* Returns true if a bignum is zero, false otherwise. */
Craig Topper55229b72017-04-02 19:17:22 +00002331bool APInt::tcIsZero(const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002332 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002333 if (src[i])
2334 return false;
2335
2336 return true;
2337}
2338
2339/* Extract the given bit of a bignum; returns 0 or 1. */
Craig Topper55229b72017-04-02 19:17:22 +00002340int APInt::tcExtractBit(const WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002341 return (parts[whichWord(bit)] & maskBit(bit)) != 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002342}
2343
John McCalldcb9a7a2010-02-28 02:51:25 +00002344/* Set the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002345void APInt::tcSetBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002346 parts[whichWord(bit)] |= maskBit(bit);
Chris Lattner6b695682007-08-16 15:56:55 +00002347}
2348
John McCalldcb9a7a2010-02-28 02:51:25 +00002349/* Clears the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002350void APInt::tcClearBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002351 parts[whichWord(bit)] &= ~maskBit(bit);
John McCalldcb9a7a2010-02-28 02:51:25 +00002352}
2353
Neil Boothc8b650a2007-10-06 00:43:45 +00002354/* Returns the bit number of the least significant set bit of a
2355 number. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002356unsigned APInt::tcLSB(const WordType *parts, unsigned n) {
Craig Topperb0038162017-03-28 05:32:52 +00002357 for (unsigned i = 0; i < n; i++) {
2358 if (parts[i] != 0) {
2359 unsigned lsb = partLSB(parts[i]);
Chris Lattner6b695682007-08-16 15:56:55 +00002360
Craig Topper55229b72017-04-02 19:17:22 +00002361 return lsb + i * APINT_BITS_PER_WORD;
Craig Topperb0038162017-03-28 05:32:52 +00002362 }
Chris Lattner6b695682007-08-16 15:56:55 +00002363 }
2364
2365 return -1U;
2366}
2367
Neil Boothc8b650a2007-10-06 00:43:45 +00002368/* Returns the bit number of the most significant set bit of a number.
2369 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002370unsigned APInt::tcMSB(const WordType *parts, unsigned n) {
Chris Lattner6b695682007-08-16 15:56:55 +00002371 do {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002372 --n;
Chris Lattner6b695682007-08-16 15:56:55 +00002373
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002374 if (parts[n] != 0) {
Craig Topperb0038162017-03-28 05:32:52 +00002375 unsigned msb = partMSB(parts[n]);
Chris Lattner6b695682007-08-16 15:56:55 +00002376
Craig Topper55229b72017-04-02 19:17:22 +00002377 return msb + n * APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002378 }
Chris Lattner6b695682007-08-16 15:56:55 +00002379 } while (n);
2380
2381 return -1U;
2382}
2383
Neil Boothb6182162007-10-08 13:47:12 +00002384/* Copy the bit vector of width srcBITS from SRC, starting at bit
2385 srcLSB, to DST, of dstCOUNT parts, such that the bit srcLSB becomes
2386 the least significant bit of DST. All high bits above srcBITS in
2387 DST are zero-filled. */
2388void
Craig Topper55229b72017-04-02 19:17:22 +00002389APInt::tcExtract(WordType *dst, unsigned dstCount, const WordType *src,
Craig Topper6a8518082017-03-28 05:32:55 +00002390 unsigned srcBits, unsigned srcLSB) {
Craig Topper55229b72017-04-02 19:17:22 +00002391 unsigned dstParts = (srcBits + APINT_BITS_PER_WORD - 1) / APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002392 assert(dstParts <= dstCount);
Neil Boothb6182162007-10-08 13:47:12 +00002393
Craig Topper55229b72017-04-02 19:17:22 +00002394 unsigned firstSrcPart = srcLSB / APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002395 tcAssign (dst, src + firstSrcPart, dstParts);
2396
Craig Topper55229b72017-04-02 19:17:22 +00002397 unsigned shift = srcLSB % APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002398 tcShiftRight (dst, dstParts, shift);
2399
Craig Topper55229b72017-04-02 19:17:22 +00002400 /* We now have (dstParts * APINT_BITS_PER_WORD - shift) bits from SRC
Neil Boothb6182162007-10-08 13:47:12 +00002401 in DST. If this is less that srcBits, append the rest, else
2402 clear the high bits. */
Craig Topper55229b72017-04-02 19:17:22 +00002403 unsigned n = dstParts * APINT_BITS_PER_WORD - shift;
Neil Boothb6182162007-10-08 13:47:12 +00002404 if (n < srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002405 WordType mask = lowBitMask (srcBits - n);
Neil Boothb6182162007-10-08 13:47:12 +00002406 dst[dstParts - 1] |= ((src[firstSrcPart + dstParts] & mask)
Craig Topper55229b72017-04-02 19:17:22 +00002407 << n % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002408 } else if (n > srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002409 if (srcBits % APINT_BITS_PER_WORD)
2410 dst[dstParts - 1] &= lowBitMask (srcBits % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002411 }
2412
2413 /* Clear high parts. */
2414 while (dstParts < dstCount)
2415 dst[dstParts++] = 0;
2416}
2417
Chris Lattner6b695682007-08-16 15:56:55 +00002418/* DST += RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002419APInt::WordType APInt::tcAdd(WordType *dst, const WordType *rhs,
2420 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002421 assert(c <= 1);
2422
Craig Topperb0038162017-03-28 05:32:52 +00002423 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002424 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002425 if (c) {
2426 dst[i] += rhs[i] + 1;
2427 c = (dst[i] <= l);
2428 } else {
2429 dst[i] += rhs[i];
2430 c = (dst[i] < l);
2431 }
2432 }
2433
2434 return c;
2435}
2436
Craig Topper92fc4772017-04-13 04:36:06 +00002437/// This function adds a single "word" integer, src, to the multiple
2438/// "word" integer array, dst[]. dst[] is modified to reflect the addition and
2439/// 1 is returned if there is a carry out, otherwise 0 is returned.
2440/// @returns the carry of the addition.
2441APInt::WordType APInt::tcAddPart(WordType *dst, WordType src,
2442 unsigned parts) {
2443 for (unsigned i = 0; i < parts; ++i) {
2444 dst[i] += src;
2445 if (dst[i] >= src)
2446 return 0; // No need to carry so exit early.
2447 src = 1; // Carry one to next digit.
2448 }
2449
2450 return 1;
2451}
2452
Chris Lattner6b695682007-08-16 15:56:55 +00002453/* DST -= RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002454APInt::WordType APInt::tcSubtract(WordType *dst, const WordType *rhs,
2455 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002456 assert(c <= 1);
2457
Craig Topperb0038162017-03-28 05:32:52 +00002458 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002459 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002460 if (c) {
2461 dst[i] -= rhs[i] + 1;
2462 c = (dst[i] >= l);
2463 } else {
2464 dst[i] -= rhs[i];
2465 c = (dst[i] > l);
2466 }
2467 }
2468
2469 return c;
2470}
2471
Craig Topper92fc4772017-04-13 04:36:06 +00002472/// This function subtracts a single "word" (64-bit word), src, from
2473/// the multi-word integer array, dst[], propagating the borrowed 1 value until
2474/// no further borrowing is needed or it runs out of "words" in dst. The result
2475/// is 1 if "borrowing" exhausted the digits in dst, or 0 if dst was not
2476/// exhausted. In other words, if src > dst then this function returns 1,
2477/// otherwise 0.
2478/// @returns the borrow out of the subtraction
2479APInt::WordType APInt::tcSubtractPart(WordType *dst, WordType src,
2480 unsigned parts) {
2481 for (unsigned i = 0; i < parts; ++i) {
2482 WordType Dst = dst[i];
2483 dst[i] -= src;
2484 if (src <= Dst)
2485 return 0; // No need to borrow so exit early.
2486 src = 1; // We have to "borrow 1" from next "word"
2487 }
2488
2489 return 1;
2490}
2491
Chris Lattner6b695682007-08-16 15:56:55 +00002492/* Negate a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002493void APInt::tcNegate(WordType *dst, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002494 tcComplement(dst, parts);
2495 tcIncrement(dst, parts);
2496}
2497
Neil Boothc8b650a2007-10-06 00:43:45 +00002498/* DST += SRC * MULTIPLIER + CARRY if add is true
2499 DST = SRC * MULTIPLIER + CARRY if add is false
Chris Lattner6b695682007-08-16 15:56:55 +00002500
2501 Requires 0 <= DSTPARTS <= SRCPARTS + 1. If DST overlaps SRC
2502 they must start at the same point, i.e. DST == SRC.
2503
2504 If DSTPARTS == SRCPARTS + 1 no overflow occurs and zero is
2505 returned. Otherwise DST is filled with the least significant
2506 DSTPARTS parts of the result, and if all of the omitted higher
2507 parts were zero return zero, otherwise overflow occurred and
2508 return one. */
Craig Topper55229b72017-04-02 19:17:22 +00002509int APInt::tcMultiplyPart(WordType *dst, const WordType *src,
2510 WordType multiplier, WordType carry,
Craig Topper6a8518082017-03-28 05:32:55 +00002511 unsigned srcParts, unsigned dstParts,
2512 bool add) {
Chris Lattner6b695682007-08-16 15:56:55 +00002513 /* Otherwise our writes of DST kill our later reads of SRC. */
2514 assert(dst <= src || dst >= src + srcParts);
2515 assert(dstParts <= srcParts + 1);
2516
2517 /* N loops; minimum of dstParts and srcParts. */
Craig Topperb0038162017-03-28 05:32:52 +00002518 unsigned n = dstParts < srcParts ? dstParts: srcParts;
Chris Lattner6b695682007-08-16 15:56:55 +00002519
Craig Topperb0038162017-03-28 05:32:52 +00002520 unsigned i;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002521 for (i = 0; i < n; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002522 WordType low, mid, high, srcPart;
Chris Lattner6b695682007-08-16 15:56:55 +00002523
2524 /* [ LOW, HIGH ] = MULTIPLIER * SRC[i] + DST[i] + CARRY.
2525
2526 This cannot overflow, because
2527
2528 (n - 1) * (n - 1) + 2 (n - 1) = (n - 1) * (n + 1)
2529
2530 which is less than n^2. */
2531
2532 srcPart = src[i];
2533
Craig Topper6a8518082017-03-28 05:32:55 +00002534 if (multiplier == 0 || srcPart == 0) {
Chris Lattner6b695682007-08-16 15:56:55 +00002535 low = carry;
2536 high = 0;
2537 } else {
2538 low = lowHalf(srcPart) * lowHalf(multiplier);
2539 high = highHalf(srcPart) * highHalf(multiplier);
2540
2541 mid = lowHalf(srcPart) * highHalf(multiplier);
2542 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002543 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002544 if (low + mid < low)
2545 high++;
2546 low += mid;
2547
2548 mid = highHalf(srcPart) * lowHalf(multiplier);
2549 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002550 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002551 if (low + mid < low)
2552 high++;
2553 low += mid;
2554
2555 /* Now add carry. */
2556 if (low + carry < low)
2557 high++;
2558 low += carry;
2559 }
2560
2561 if (add) {
2562 /* And now DST[i], and store the new low part there. */
2563 if (low + dst[i] < low)
2564 high++;
2565 dst[i] += low;
2566 } else
2567 dst[i] = low;
2568
2569 carry = high;
2570 }
2571
2572 if (i < dstParts) {
2573 /* Full multiplication, there is no overflow. */
2574 assert(i + 1 == dstParts);
2575 dst[i] = carry;
2576 return 0;
2577 } else {
2578 /* We overflowed if there is carry. */
2579 if (carry)
2580 return 1;
2581
2582 /* We would overflow if any significant unwritten parts would be
2583 non-zero. This is true if any remaining src parts are non-zero
2584 and the multiplier is non-zero. */
2585 if (multiplier)
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002586 for (; i < srcParts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002587 if (src[i])
2588 return 1;
2589
2590 /* We fitted in the narrow destination. */
2591 return 0;
2592 }
2593}
2594
2595/* DST = LHS * RHS, where DST has the same width as the operands and
2596 is filled with the least significant parts of the result. Returns
2597 one if overflow occurred, otherwise zero. DST must be disjoint
2598 from both operands. */
Craig Topper55229b72017-04-02 19:17:22 +00002599int APInt::tcMultiply(WordType *dst, const WordType *lhs,
2600 const WordType *rhs, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002601 assert(dst != lhs && dst != rhs);
2602
Craig Topperb0038162017-03-28 05:32:52 +00002603 int overflow = 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002604 tcSet(dst, 0, parts);
2605
Craig Topperb0038162017-03-28 05:32:52 +00002606 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002607 overflow |= tcMultiplyPart(&dst[i], lhs, rhs[i], 0, parts,
2608 parts - i, true);
2609
2610 return overflow;
2611}
2612
Neil Booth0ea72a92007-10-06 00:24:48 +00002613/* DST = LHS * RHS, where DST has width the sum of the widths of the
2614 operands. No overflow occurs. DST must be disjoint from both
2615 operands. Returns the number of parts required to hold the
2616 result. */
Craig Topper55229b72017-04-02 19:17:22 +00002617unsigned APInt::tcFullMultiply(WordType *dst, const WordType *lhs,
2618 const WordType *rhs, unsigned lhsParts,
Craig Topper6a8518082017-03-28 05:32:55 +00002619 unsigned rhsParts) {
Neil Booth0ea72a92007-10-06 00:24:48 +00002620 /* Put the narrower number on the LHS for less loops below. */
2621 if (lhsParts > rhsParts) {
2622 return tcFullMultiply (dst, rhs, lhs, rhsParts, lhsParts);
2623 } else {
Neil Booth0ea72a92007-10-06 00:24:48 +00002624 assert(dst != lhs && dst != rhs);
Chris Lattner6b695682007-08-16 15:56:55 +00002625
Neil Booth0ea72a92007-10-06 00:24:48 +00002626 tcSet(dst, 0, rhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002627
Craig Topperb0038162017-03-28 05:32:52 +00002628 for (unsigned i = 0; i < lhsParts; i++)
2629 tcMultiplyPart(&dst[i], rhs, lhs[i], 0, rhsParts, rhsParts + 1, true);
Chris Lattner6b695682007-08-16 15:56:55 +00002630
Craig Topperb0038162017-03-28 05:32:52 +00002631 unsigned n = lhsParts + rhsParts;
Neil Booth0ea72a92007-10-06 00:24:48 +00002632
2633 return n - (dst[n - 1] == 0);
2634 }
Chris Lattner6b695682007-08-16 15:56:55 +00002635}
2636
2637/* If RHS is zero LHS and REMAINDER are left unchanged, return one.
2638 Otherwise set LHS to LHS / RHS with the fractional part discarded,
2639 set REMAINDER to the remainder, return zero. i.e.
2640
2641 OLD_LHS = RHS * LHS + REMAINDER
2642
2643 SCRATCH is a bignum of the same size as the operands and result for
2644 use by the routine; its contents need not be initialized and are
2645 destroyed. LHS, REMAINDER and SCRATCH must be distinct.
2646*/
Craig Topper55229b72017-04-02 19:17:22 +00002647int APInt::tcDivide(WordType *lhs, const WordType *rhs,
2648 WordType *remainder, WordType *srhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002649 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002650 assert(lhs != remainder && lhs != srhs && remainder != srhs);
2651
Craig Topperb0038162017-03-28 05:32:52 +00002652 unsigned shiftCount = tcMSB(rhs, parts) + 1;
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002653 if (shiftCount == 0)
Chris Lattner6b695682007-08-16 15:56:55 +00002654 return true;
2655
Craig Topper55229b72017-04-02 19:17:22 +00002656 shiftCount = parts * APINT_BITS_PER_WORD - shiftCount;
2657 unsigned n = shiftCount / APINT_BITS_PER_WORD;
2658 WordType mask = (WordType) 1 << (shiftCount % APINT_BITS_PER_WORD);
Chris Lattner6b695682007-08-16 15:56:55 +00002659
2660 tcAssign(srhs, rhs, parts);
2661 tcShiftLeft(srhs, parts, shiftCount);
2662 tcAssign(remainder, lhs, parts);
2663 tcSet(lhs, 0, parts);
2664
2665 /* Loop, subtracting SRHS if REMAINDER is greater and adding that to
2666 the total. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002667 for (;;) {
Chris Lattner6b695682007-08-16 15:56:55 +00002668 int compare;
2669
2670 compare = tcCompare(remainder, srhs, parts);
2671 if (compare >= 0) {
2672 tcSubtract(remainder, srhs, 0, parts);
2673 lhs[n] |= mask;
2674 }
2675
2676 if (shiftCount == 0)
2677 break;
2678 shiftCount--;
2679 tcShiftRight(srhs, parts, 1);
Richard Trieu7a083812016-02-18 22:09:30 +00002680 if ((mask >>= 1) == 0) {
Craig Topper55229b72017-04-02 19:17:22 +00002681 mask = (WordType) 1 << (APINT_BITS_PER_WORD - 1);
Richard Trieu7a083812016-02-18 22:09:30 +00002682 n--;
2683 }
Chris Lattner6b695682007-08-16 15:56:55 +00002684 }
2685
2686 return false;
2687}
2688
2689/* Shift a bignum left COUNT bits in-place. Shifted in bits are zero.
2690 There are no restrictions on COUNT. */
Craig Topper55229b72017-04-02 19:17:22 +00002691void APInt::tcShiftLeft(WordType *dst, unsigned parts, unsigned count) {
Neil Boothb6182162007-10-08 13:47:12 +00002692 if (count) {
Neil Boothb6182162007-10-08 13:47:12 +00002693 /* Jump is the inter-part jump; shift is is intra-part shift. */
Craig Topper55229b72017-04-02 19:17:22 +00002694 unsigned jump = count / APINT_BITS_PER_WORD;
2695 unsigned shift = count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002696
Neil Boothb6182162007-10-08 13:47:12 +00002697 while (parts > jump) {
Craig Topper55229b72017-04-02 19:17:22 +00002698 WordType part;
Chris Lattner6b695682007-08-16 15:56:55 +00002699
Neil Boothb6182162007-10-08 13:47:12 +00002700 parts--;
Chris Lattner6b695682007-08-16 15:56:55 +00002701
Neil Boothb6182162007-10-08 13:47:12 +00002702 /* dst[i] comes from the two parts src[i - jump] and, if we have
2703 an intra-part shift, src[i - jump - 1]. */
2704 part = dst[parts - jump];
2705 if (shift) {
2706 part <<= shift;
Chris Lattner6b695682007-08-16 15:56:55 +00002707 if (parts >= jump + 1)
Craig Topper55229b72017-04-02 19:17:22 +00002708 part |= dst[parts - jump - 1] >> (APINT_BITS_PER_WORD - shift);
Chris Lattner6b695682007-08-16 15:56:55 +00002709 }
2710
Neil Boothb6182162007-10-08 13:47:12 +00002711 dst[parts] = part;
2712 }
Chris Lattner6b695682007-08-16 15:56:55 +00002713
Neil Boothb6182162007-10-08 13:47:12 +00002714 while (parts > 0)
2715 dst[--parts] = 0;
2716 }
Chris Lattner6b695682007-08-16 15:56:55 +00002717}
2718
2719/* Shift a bignum right COUNT bits in-place. Shifted in bits are
2720 zero. There are no restrictions on COUNT. */
Craig Topper55229b72017-04-02 19:17:22 +00002721void APInt::tcShiftRight(WordType *dst, unsigned parts, unsigned count) {
Neil Boothb6182162007-10-08 13:47:12 +00002722 if (count) {
Neil Boothb6182162007-10-08 13:47:12 +00002723 /* Jump is the inter-part jump; shift is is intra-part shift. */
Craig Topper55229b72017-04-02 19:17:22 +00002724 unsigned jump = count / APINT_BITS_PER_WORD;
2725 unsigned shift = count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002726
Neil Boothb6182162007-10-08 13:47:12 +00002727 /* Perform the shift. This leaves the most significant COUNT bits
2728 of the result at zero. */
Craig Topperb0038162017-03-28 05:32:52 +00002729 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002730 WordType part;
Chris Lattner6b695682007-08-16 15:56:55 +00002731
Neil Boothb6182162007-10-08 13:47:12 +00002732 if (i + jump >= parts) {
2733 part = 0;
2734 } else {
2735 part = dst[i + jump];
2736 if (shift) {
2737 part >>= shift;
2738 if (i + jump + 1 < parts)
Craig Topper55229b72017-04-02 19:17:22 +00002739 part |= dst[i + jump + 1] << (APINT_BITS_PER_WORD - shift);
Neil Boothb6182162007-10-08 13:47:12 +00002740 }
Chris Lattner6b695682007-08-16 15:56:55 +00002741 }
Chris Lattner6b695682007-08-16 15:56:55 +00002742
Neil Boothb6182162007-10-08 13:47:12 +00002743 dst[i] = part;
2744 }
Chris Lattner6b695682007-08-16 15:56:55 +00002745 }
2746}
2747
2748/* Bitwise and of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002749void APInt::tcAnd(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002750 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002751 dst[i] &= rhs[i];
2752}
2753
2754/* Bitwise inclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002755void APInt::tcOr(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002756 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002757 dst[i] |= rhs[i];
2758}
2759
2760/* Bitwise exclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002761void APInt::tcXor(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002762 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002763 dst[i] ^= rhs[i];
2764}
2765
2766/* Complement a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002767void APInt::tcComplement(WordType *dst, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002768 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002769 dst[i] = ~dst[i];
2770}
2771
2772/* Comparison (unsigned) of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002773int APInt::tcCompare(const WordType *lhs, const WordType *rhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002774 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002775 while (parts) {
Craig Topper99cfe4f2017-04-01 21:50:06 +00002776 parts--;
2777 if (lhs[parts] == rhs[parts])
2778 continue;
Chris Lattner6b695682007-08-16 15:56:55 +00002779
Craig Topper68a3ed22017-04-01 21:50:10 +00002780 return (lhs[parts] > rhs[parts]) ? 1 : -1;
Craig Topper99cfe4f2017-04-01 21:50:06 +00002781 }
Chris Lattner6b695682007-08-16 15:56:55 +00002782
2783 return 0;
2784}
2785
Chris Lattner6b695682007-08-16 15:56:55 +00002786/* Set the least significant BITS bits of a bignum, clear the
2787 rest. */
Craig Topper55229b72017-04-02 19:17:22 +00002788void APInt::tcSetLeastSignificantBits(WordType *dst, unsigned parts,
Craig Topper6a8518082017-03-28 05:32:55 +00002789 unsigned bits) {
Craig Topperb0038162017-03-28 05:32:52 +00002790 unsigned i = 0;
Craig Topper55229b72017-04-02 19:17:22 +00002791 while (bits > APINT_BITS_PER_WORD) {
2792 dst[i++] = ~(WordType) 0;
2793 bits -= APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002794 }
2795
2796 if (bits)
Craig Topper55229b72017-04-02 19:17:22 +00002797 dst[i++] = ~(WordType) 0 >> (APINT_BITS_PER_WORD - bits);
Chris Lattner6b695682007-08-16 15:56:55 +00002798
2799 while (i < parts)
2800 dst[i++] = 0;
2801}