blob: 95b8345b9c6480b1e2987cac7d349f08ab951e5a [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)
Craig Topper5e113742017-04-22 06:31:36 +000084 pVal[i] = WORD_MAX;
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)
Craig Topper90377de2017-04-13 04:59:11 +0000123 : VAL(0), BitWidth(numbits) {
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
Craig Topperc67fe572017-04-19 17:01:58 +0000128void APInt::AssignSlowCase(const APInt& RHS) {
Reid Spencer7c16cd22007-02-26 23:38:21 +0000129 // Don't do anything for X = X
130 if (this == &RHS)
Craig Topperc67fe572017-04-19 17:01:58 +0000131 return;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000132
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);
Craig Topperc67fe572017-04-19 17:01:58 +0000137 return;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000138 }
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;
Craig Topperc67fe572017-04-19 17:01:58 +0000157 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 Topperc67fe572017-04-19 17:01:58 +0000342void 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}
345
Craig Topperc67fe572017-04-19 17:01:58 +0000346void APInt::OrAssignSlowCase(const APInt& RHS) {
Craig Topperb2aaa5d2017-04-01 21:50:03 +0000347 tcOr(pVal, RHS.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000348}
349
Craig Topperc67fe572017-04-19 17:01:58 +0000350void APInt::XorAssignSlowCase(const APInt& RHS) {
Craig Topperb2aaa5d2017-04-01 21:50:03 +0000351 tcXor(pVal, RHS.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000352}
353
Zhou Shengdac63782007-02-06 03:00:16 +0000354APInt APInt::operator*(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000355 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencera41e93b2007-02-25 19:32:03 +0000356 if (isSingleWord())
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000357 return APInt(BitWidth, VAL * RHS.VAL);
Reid Spencer4bb430c2007-02-20 20:42:10 +0000358 APInt Result(*this);
359 Result *= RHS;
Eli Friedman19546412011-10-07 23:40:49 +0000360 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000361}
362
Chris Lattner1ac3e252008-08-20 17:02:31 +0000363bool APInt::EqualSlowCase(const APInt& RHS) const {
Matthias Braun5117fcd2016-02-15 20:06:19 +0000364 return std::equal(pVal, pVal + getNumWords(), RHS.pVal);
Zhou Shengdac63782007-02-06 03:00:16 +0000365}
366
Craig Topper1dc8fc82017-04-21 16:13:15 +0000367int APInt::compare(const APInt& RHS) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000368 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
369 if (isSingleWord())
Craig Topper1dc8fc82017-04-21 16:13:15 +0000370 return VAL < RHS.VAL ? -1 : VAL > RHS.VAL;
Reid Spencera41e93b2007-02-25 19:32:03 +0000371
Craig Topper1dc8fc82017-04-21 16:13:15 +0000372 return tcCompare(pVal, RHS.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000373}
374
Craig Topper1dc8fc82017-04-21 16:13:15 +0000375int APInt::compareSigned(const APInt& RHS) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000376 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000377 if (isSingleWord()) {
David Majnemer5f1c0172016-06-24 20:51:47 +0000378 int64_t lhsSext = SignExtend64(VAL, BitWidth);
379 int64_t rhsSext = SignExtend64(RHS.VAL, BitWidth);
Craig Topper1dc8fc82017-04-21 16:13:15 +0000380 return lhsSext < rhsSext ? -1 : lhsSext > rhsSext;
Reid Spencer1d072122007-02-16 22:36:51 +0000381 }
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000382
Reid Spencer54abdcf2007-02-27 18:23:40 +0000383 bool lhsNeg = isNegative();
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000384 bool rhsNeg = RHS.isNegative();
Reid Spencera41e93b2007-02-25 19:32:03 +0000385
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000386 // If the sign bits don't match, then (LHS < RHS) if LHS is negative
387 if (lhsNeg != rhsNeg)
Craig Topper1dc8fc82017-04-21 16:13:15 +0000388 return lhsNeg ? -1 : 1;
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000389
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000390 // Otherwise we can just use an unsigned comparison, because even negative
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000391 // numbers compare correctly this way if both have the same signed-ness.
Craig Topper1dc8fc82017-04-21 16:13:15 +0000392 return tcCompare(pVal, RHS.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000393}
394
Jay Foad25a5e4c2010-12-01 08:53:58 +0000395void APInt::setBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000396 if (isSingleWord())
Reid Spencera41e93b2007-02-25 19:32:03 +0000397 VAL |= maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000398 else
Reid Spencera41e93b2007-02-25 19:32:03 +0000399 pVal[whichWord(bitPosition)] |= maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000400}
401
Craig Topperbafdd032017-03-07 01:56:01 +0000402void APInt::setBitsSlowCase(unsigned loBit, unsigned hiBit) {
403 unsigned loWord = whichWord(loBit);
404 unsigned hiWord = whichWord(hiBit);
Simon Pilgrimaed35222017-02-24 10:15:29 +0000405
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000406 // Create an initial mask for the low word with zeros below loBit.
Craig Topper5e113742017-04-22 06:31:36 +0000407 uint64_t loMask = WORD_MAX << whichBit(loBit);
Simon Pilgrimaed35222017-02-24 10:15:29 +0000408
Craig Topperbafdd032017-03-07 01:56:01 +0000409 // If hiBit is not aligned, we need a high mask.
410 unsigned hiShiftAmt = whichBit(hiBit);
411 if (hiShiftAmt != 0) {
412 // Create a high mask with zeros above hiBit.
Craig Topper5e113742017-04-22 06:31:36 +0000413 uint64_t hiMask = WORD_MAX >> (APINT_BITS_PER_WORD - hiShiftAmt);
Craig Topperbafdd032017-03-07 01:56:01 +0000414 // If loWord and hiWord are equal, then we combine the masks. Otherwise,
415 // set the bits in hiWord.
416 if (hiWord == loWord)
417 loMask &= hiMask;
418 else
Simon Pilgrimaed35222017-02-24 10:15:29 +0000419 pVal[hiWord] |= hiMask;
Simon Pilgrimaed35222017-02-24 10:15:29 +0000420 }
Craig Topperbafdd032017-03-07 01:56:01 +0000421 // Apply the mask to the low word.
422 pVal[loWord] |= loMask;
423
424 // Fill any words between loWord and hiWord with all ones.
425 for (unsigned word = loWord + 1; word < hiWord; ++word)
Craig Topper5e113742017-04-22 06:31:36 +0000426 pVal[word] = WORD_MAX;
Simon Pilgrimaed35222017-02-24 10:15:29 +0000427}
428
Zhou Shengdac63782007-02-06 03:00:16 +0000429/// Set the given bit to 0 whose position is given as "bitPosition".
430/// @brief Set a given bit to 0.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000431void APInt::clearBit(unsigned bitPosition) {
Eric Christopher820256b2009-08-21 04:06:45 +0000432 if (isSingleWord())
Reid Spencera856b6e2007-02-18 18:38:44 +0000433 VAL &= ~maskBit(bitPosition);
Eric Christopher820256b2009-08-21 04:06:45 +0000434 else
Reid Spencera856b6e2007-02-18 18:38:44 +0000435 pVal[whichWord(bitPosition)] &= ~maskBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000436}
437
Zhou Shengdac63782007-02-06 03:00:16 +0000438/// @brief Toggle every bit to its opposite value.
Craig Topperafc9e352017-03-27 17:10:21 +0000439void APInt::flipAllBitsSlowCase() {
Craig Toppera742cb52017-04-01 21:50:08 +0000440 tcComplement(pVal, getNumWords());
Craig Topperafc9e352017-03-27 17:10:21 +0000441 clearUnusedBits();
442}
Zhou Shengdac63782007-02-06 03:00:16 +0000443
Eric Christopher820256b2009-08-21 04:06:45 +0000444/// Toggle a given bit to its opposite value whose position is given
Zhou Shengdac63782007-02-06 03:00:16 +0000445/// as "bitPosition".
446/// @brief Toggles a given bit to its opposite value.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000447void APInt::flipBit(unsigned bitPosition) {
Reid Spencer1d072122007-02-16 22:36:51 +0000448 assert(bitPosition < BitWidth && "Out of the bit-width range!");
Jay Foad25a5e4c2010-12-01 08:53:58 +0000449 if ((*this)[bitPosition]) clearBit(bitPosition);
450 else setBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000451}
452
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000453void APInt::insertBits(const APInt &subBits, unsigned bitPosition) {
454 unsigned subBitWidth = subBits.getBitWidth();
455 assert(0 < subBitWidth && (subBitWidth + bitPosition) <= BitWidth &&
456 "Illegal bit insertion");
457
458 // Insertion is a direct copy.
459 if (subBitWidth == BitWidth) {
460 *this = subBits;
461 return;
462 }
463
464 // Single word result can be done as a direct bitmask.
465 if (isSingleWord()) {
Craig Topper5e113742017-04-22 06:31:36 +0000466 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - subBitWidth);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000467 VAL &= ~(mask << bitPosition);
468 VAL |= (subBits.VAL << bitPosition);
469 return;
470 }
471
472 unsigned loBit = whichBit(bitPosition);
473 unsigned loWord = whichWord(bitPosition);
474 unsigned hi1Word = whichWord(bitPosition + subBitWidth - 1);
475
476 // Insertion within a single word can be done as a direct bitmask.
477 if (loWord == hi1Word) {
Craig Topper5e113742017-04-22 06:31:36 +0000478 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - subBitWidth);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000479 pVal[loWord] &= ~(mask << loBit);
480 pVal[loWord] |= (subBits.VAL << loBit);
481 return;
482 }
483
484 // Insert on word boundaries.
485 if (loBit == 0) {
486 // Direct copy whole words.
487 unsigned numWholeSubWords = subBitWidth / APINT_BITS_PER_WORD;
488 memcpy(pVal + loWord, subBits.getRawData(),
489 numWholeSubWords * APINT_WORD_SIZE);
490
491 // Mask+insert remaining bits.
492 unsigned remainingBits = subBitWidth % APINT_BITS_PER_WORD;
493 if (remainingBits != 0) {
Craig Topper5e113742017-04-22 06:31:36 +0000494 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - remainingBits);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000495 pVal[hi1Word] &= ~mask;
496 pVal[hi1Word] |= subBits.getWord(subBitWidth - 1);
497 }
498 return;
499 }
500
501 // General case - set/clear individual bits in dst based on src.
502 // TODO - there is scope for optimization here, but at the moment this code
503 // path is barely used so prefer readability over performance.
504 for (unsigned i = 0; i != subBitWidth; ++i) {
505 if (subBits[i])
506 setBit(bitPosition + i);
507 else
508 clearBit(bitPosition + i);
509 }
510}
511
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000512APInt APInt::extractBits(unsigned numBits, unsigned bitPosition) const {
513 assert(numBits > 0 && "Can't extract zero bits");
514 assert(bitPosition < BitWidth && (numBits + bitPosition) <= BitWidth &&
515 "Illegal bit extraction");
516
517 if (isSingleWord())
518 return APInt(numBits, VAL >> bitPosition);
519
520 unsigned loBit = whichBit(bitPosition);
521 unsigned loWord = whichWord(bitPosition);
522 unsigned hiWord = whichWord(bitPosition + numBits - 1);
523
524 // Single word result extracting bits from a single word source.
525 if (loWord == hiWord)
526 return APInt(numBits, pVal[loWord] >> loBit);
527
528 // Extracting bits that start on a source word boundary can be done
529 // as a fast memory copy.
530 if (loBit == 0)
531 return APInt(numBits, makeArrayRef(pVal + loWord, 1 + hiWord - loWord));
532
533 // General case - shift + copy source words directly into place.
534 APInt Result(numBits, 0);
535 unsigned NumSrcWords = getNumWords();
536 unsigned NumDstWords = Result.getNumWords();
537
538 for (unsigned word = 0; word < NumDstWords; ++word) {
539 uint64_t w0 = pVal[loWord + word];
540 uint64_t w1 =
541 (loWord + word + 1) < NumSrcWords ? pVal[loWord + word + 1] : 0;
542 Result.pVal[word] = (w0 >> loBit) | (w1 << (APINT_BITS_PER_WORD - loBit));
543 }
544
545 return Result.clearUnusedBits();
546}
547
Benjamin Kramer92d89982010-07-14 22:38:02 +0000548unsigned APInt::getBitsNeeded(StringRef str, uint8_t radix) {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000549 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000550 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +0000551 radix == 36) &&
552 "Radix should be 2, 8, 10, 16, or 36!");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000553
554 size_t slen = str.size();
Reid Spencer9329e7b2007-04-13 19:19:07 +0000555
Eric Christopher43a1dec2009-08-21 04:10:31 +0000556 // Each computation below needs to know if it's negative.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000557 StringRef::iterator p = str.begin();
Eric Christopher43a1dec2009-08-21 04:10:31 +0000558 unsigned isNegative = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000559 if (*p == '-' || *p == '+') {
560 p++;
Reid Spencer9329e7b2007-04-13 19:19:07 +0000561 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +0000562 assert(slen && "String is only a sign, needs a value.");
Reid Spencer9329e7b2007-04-13 19:19:07 +0000563 }
Eric Christopher43a1dec2009-08-21 04:10:31 +0000564
Reid Spencer9329e7b2007-04-13 19:19:07 +0000565 // For radixes of power-of-two values, the bits required is accurately and
566 // easily computed
567 if (radix == 2)
568 return slen + isNegative;
569 if (radix == 8)
570 return slen * 3 + isNegative;
571 if (radix == 16)
572 return slen * 4 + isNegative;
573
Douglas Gregor663c0682011-09-14 15:54:46 +0000574 // FIXME: base 36
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000575
Reid Spencer9329e7b2007-04-13 19:19:07 +0000576 // This is grossly inefficient but accurate. We could probably do something
577 // with a computation of roughly slen*64/20 and then adjust by the value of
578 // the first few digits. But, I'm not sure how accurate that could be.
579
580 // Compute a sufficient number of bits that is always large enough but might
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000581 // be too large. This avoids the assertion in the constructor. This
582 // calculation doesn't work appropriately for the numbers 0-9, so just use 4
583 // bits in that case.
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000584 unsigned sufficient
Douglas Gregor663c0682011-09-14 15:54:46 +0000585 = radix == 10? (slen == 1 ? 4 : slen * 64/18)
586 : (slen == 1 ? 7 : slen * 16/3);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000587
588 // Convert to the actual binary value.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000589 APInt tmp(sufficient, StringRef(p, slen), radix);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000590
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000591 // Compute how many bits are required. If the log is infinite, assume we need
592 // just bit.
593 unsigned log = tmp.logBase2();
594 if (log == (unsigned)-1) {
595 return isNegative + 1;
596 } else {
597 return isNegative + log + 1;
598 }
Reid Spencer9329e7b2007-04-13 19:19:07 +0000599}
600
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000601hash_code llvm::hash_value(const APInt &Arg) {
602 if (Arg.isSingleWord())
603 return hash_combine(Arg.VAL);
Reid Spencerb2bc9852007-02-26 21:02:27 +0000604
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000605 return hash_combine_range(Arg.pVal, Arg.pVal + Arg.getNumWords());
Reid Spencerb2bc9852007-02-26 21:02:27 +0000606}
607
Benjamin Kramerb4b51502015-03-25 16:49:59 +0000608bool APInt::isSplat(unsigned SplatSizeInBits) const {
609 assert(getBitWidth() % SplatSizeInBits == 0 &&
610 "SplatSizeInBits must divide width!");
611 // We can check that all parts of an integer are equal by making use of a
612 // little trick: rotate and check if it's still the same value.
613 return *this == rotl(SplatSizeInBits);
614}
615
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000616/// This function returns the high "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000617APInt APInt::getHiBits(unsigned numBits) const {
Craig Toppere7e35602017-03-31 18:48:14 +0000618 return this->lshr(BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000619}
620
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000621/// This function returns the low "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000622APInt APInt::getLoBits(unsigned numBits) const {
Craig Toppere7e35602017-03-31 18:48:14 +0000623 APInt Result(getLowBitsSet(BitWidth, numBits));
624 Result &= *this;
625 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000626}
627
Chris Lattner77527f52009-01-21 18:09:24 +0000628unsigned APInt::countLeadingZerosSlowCase() const {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000629 unsigned Count = 0;
630 for (int i = getNumWords()-1; i >= 0; --i) {
Craig Topper55229b72017-04-02 19:17:22 +0000631 uint64_t V = pVal[i];
Matthias Brauna6be4e82016-02-15 20:06:22 +0000632 if (V == 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +0000633 Count += APINT_BITS_PER_WORD;
634 else {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000635 Count += llvm::countLeadingZeros(V);
Chris Lattner1ac3e252008-08-20 17:02:31 +0000636 break;
Reid Spencer74cf82e2007-02-21 00:29:48 +0000637 }
Zhou Shengdac63782007-02-06 03:00:16 +0000638 }
Matthias Brauna6be4e82016-02-15 20:06:22 +0000639 // Adjust for unused bits in the most significant word (they are zero).
640 unsigned Mod = BitWidth % APINT_BITS_PER_WORD;
641 Count -= Mod > 0 ? APINT_BITS_PER_WORD - Mod : 0;
John McCalldf951bd2010-02-03 03:42:44 +0000642 return Count;
Zhou Shengdac63782007-02-06 03:00:16 +0000643}
644
Chris Lattner77527f52009-01-21 18:09:24 +0000645unsigned APInt::countLeadingOnes() const {
Reid Spencer31acef52007-02-27 21:59:26 +0000646 if (isSingleWord())
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000647 return llvm::countLeadingOnes(VAL << (APINT_BITS_PER_WORD - BitWidth));
Reid Spencer31acef52007-02-27 21:59:26 +0000648
Chris Lattner77527f52009-01-21 18:09:24 +0000649 unsigned highWordBits = BitWidth % APINT_BITS_PER_WORD;
Torok Edwinec39eb82009-01-27 18:06:03 +0000650 unsigned shift;
651 if (!highWordBits) {
652 highWordBits = APINT_BITS_PER_WORD;
653 shift = 0;
654 } else {
655 shift = APINT_BITS_PER_WORD - highWordBits;
656 }
Reid Spencer31acef52007-02-27 21:59:26 +0000657 int i = getNumWords() - 1;
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000658 unsigned Count = llvm::countLeadingOnes(pVal[i] << shift);
Reid Spencer31acef52007-02-27 21:59:26 +0000659 if (Count == highWordBits) {
660 for (i--; i >= 0; --i) {
Craig Topper5e113742017-04-22 06:31:36 +0000661 if (pVal[i] == WORD_MAX)
Reid Spencer31acef52007-02-27 21:59:26 +0000662 Count += APINT_BITS_PER_WORD;
663 else {
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000664 Count += llvm::countLeadingOnes(pVal[i]);
Reid Spencer31acef52007-02-27 21:59:26 +0000665 break;
666 }
667 }
668 }
669 return Count;
670}
671
Chris Lattner77527f52009-01-21 18:09:24 +0000672unsigned APInt::countTrailingZeros() const {
Zhou Shengdac63782007-02-06 03:00:16 +0000673 if (isSingleWord())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000674 return std::min(unsigned(llvm::countTrailingZeros(VAL)), BitWidth);
Chris Lattner77527f52009-01-21 18:09:24 +0000675 unsigned Count = 0;
676 unsigned i = 0;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000677 for (; i < getNumWords() && pVal[i] == 0; ++i)
678 Count += APINT_BITS_PER_WORD;
679 if (i < getNumWords())
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +0000680 Count += llvm::countTrailingZeros(pVal[i]);
Chris Lattnerc2c4c742007-11-23 22:36:25 +0000681 return std::min(Count, BitWidth);
Zhou Shengdac63782007-02-06 03:00:16 +0000682}
683
Chris Lattner77527f52009-01-21 18:09:24 +0000684unsigned APInt::countTrailingOnesSlowCase() const {
685 unsigned Count = 0;
686 unsigned i = 0;
Craig Topper5e113742017-04-22 06:31:36 +0000687 for (; i < getNumWords() && pVal[i] == WORD_MAX; ++i)
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000688 Count += APINT_BITS_PER_WORD;
689 if (i < getNumWords())
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000690 Count += llvm::countTrailingOnes(pVal[i]);
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000691 return std::min(Count, BitWidth);
692}
693
Chris Lattner77527f52009-01-21 18:09:24 +0000694unsigned APInt::countPopulationSlowCase() const {
695 unsigned Count = 0;
696 for (unsigned i = 0; i < getNumWords(); ++i)
Benjamin Kramer5f6a9072015-02-12 15:35:40 +0000697 Count += llvm::countPopulation(pVal[i]);
Zhou Shengdac63782007-02-06 03:00:16 +0000698 return Count;
699}
700
Craig Topperbaa392e2017-04-20 02:11:27 +0000701bool APInt::intersectsSlowCase(const APInt &RHS) const {
702 for (unsigned i = 0, e = getNumWords(); i != e; ++i)
703 if ((pVal[i] & RHS.pVal[i]) != 0)
704 return true;
705
706 return false;
707}
708
Craig Toppera8129a12017-04-20 16:17:13 +0000709bool APInt::isSubsetOfSlowCase(const APInt &RHS) const {
710 for (unsigned i = 0, e = getNumWords(); i != e; ++i)
711 if ((pVal[i] & ~RHS.pVal[i]) != 0)
712 return false;
713
714 return true;
715}
716
Reid Spencer1d072122007-02-16 22:36:51 +0000717APInt APInt::byteSwap() const {
718 assert(BitWidth >= 16 && BitWidth % 16 == 0 && "Cannot byteswap!");
719 if (BitWidth == 16)
Jeff Cohene06855e2007-03-20 20:42:36 +0000720 return APInt(BitWidth, ByteSwap_16(uint16_t(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000721 if (BitWidth == 32)
Chris Lattner77527f52009-01-21 18:09:24 +0000722 return APInt(BitWidth, ByteSwap_32(unsigned(VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000723 if (BitWidth == 48) {
Chris Lattner77527f52009-01-21 18:09:24 +0000724 unsigned Tmp1 = unsigned(VAL >> 16);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000725 Tmp1 = ByteSwap_32(Tmp1);
Jeff Cohene06855e2007-03-20 20:42:36 +0000726 uint16_t Tmp2 = uint16_t(VAL);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000727 Tmp2 = ByteSwap_16(Tmp2);
Jeff Cohene06855e2007-03-20 20:42:36 +0000728 return APInt(BitWidth, (uint64_t(Tmp2) << 32) | Tmp1);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000729 }
Richard Smith4f9a8082011-11-23 21:33:37 +0000730 if (BitWidth == 64)
731 return APInt(BitWidth, ByteSwap_64(VAL));
732
733 APInt Result(getNumWords() * APINT_BITS_PER_WORD, 0);
734 for (unsigned I = 0, N = getNumWords(); I != N; ++I)
735 Result.pVal[I] = ByteSwap_64(pVal[N - I - 1]);
736 if (Result.BitWidth != BitWidth) {
Richard Smith55bd3752017-04-13 20:29:59 +0000737 Result.lshrInPlace(Result.BitWidth - BitWidth);
Richard Smith4f9a8082011-11-23 21:33:37 +0000738 Result.BitWidth = BitWidth;
739 }
740 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000741}
742
Matt Arsenault155dda92016-03-21 15:00:35 +0000743APInt APInt::reverseBits() const {
744 switch (BitWidth) {
745 case 64:
746 return APInt(BitWidth, llvm::reverseBits<uint64_t>(VAL));
747 case 32:
748 return APInt(BitWidth, llvm::reverseBits<uint32_t>(VAL));
749 case 16:
750 return APInt(BitWidth, llvm::reverseBits<uint16_t>(VAL));
751 case 8:
752 return APInt(BitWidth, llvm::reverseBits<uint8_t>(VAL));
753 default:
754 break;
755 }
756
757 APInt Val(*this);
Craig Topper9eaef072017-04-18 05:02:21 +0000758 APInt Reversed(BitWidth, 0);
759 unsigned S = BitWidth;
Matt Arsenault155dda92016-03-21 15:00:35 +0000760
Craig Topper9eaef072017-04-18 05:02:21 +0000761 for (; Val != 0; Val.lshrInPlace(1)) {
Matt Arsenault155dda92016-03-21 15:00:35 +0000762 Reversed <<= 1;
Craig Topper9eaef072017-04-18 05:02:21 +0000763 Reversed |= Val[0];
Matt Arsenault155dda92016-03-21 15:00:35 +0000764 --S;
765 }
766
767 Reversed <<= S;
768 return Reversed;
769}
770
Craig Topper278ebd22017-04-01 20:30:57 +0000771APInt llvm::APIntOps::GreatestCommonDivisor(APInt A, APInt B) {
Richard Smith55bd3752017-04-13 20:29:59 +0000772 // Fast-path a common case.
773 if (A == B) return A;
774
775 // Corner cases: if either operand is zero, the other is the gcd.
776 if (!A) return B;
777 if (!B) return A;
778
779 // Count common powers of 2 and remove all other powers of 2.
780 unsigned Pow2;
781 {
782 unsigned Pow2_A = A.countTrailingZeros();
783 unsigned Pow2_B = B.countTrailingZeros();
784 if (Pow2_A > Pow2_B) {
785 A.lshrInPlace(Pow2_A - Pow2_B);
786 Pow2 = Pow2_B;
787 } else if (Pow2_B > Pow2_A) {
788 B.lshrInPlace(Pow2_B - Pow2_A);
789 Pow2 = Pow2_A;
790 } else {
791 Pow2 = Pow2_A;
792 }
Zhou Shengdac63782007-02-06 03:00:16 +0000793 }
Richard Smith55bd3752017-04-13 20:29:59 +0000794
795 // Both operands are odd multiples of 2^Pow_2:
796 //
797 // gcd(a, b) = gcd(|a - b| / 2^i, min(a, b))
798 //
799 // This is a modified version of Stein's algorithm, taking advantage of
800 // efficient countTrailingZeros().
801 while (A != B) {
802 if (A.ugt(B)) {
803 A -= B;
804 A.lshrInPlace(A.countTrailingZeros() - Pow2);
805 } else {
806 B -= A;
807 B.lshrInPlace(B.countTrailingZeros() - Pow2);
808 }
809 }
810
Zhou Shengdac63782007-02-06 03:00:16 +0000811 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())
Craig Topper5e113742017-04-22 06:31:36 +00001055 return APInt(BitWidth, WORD_MAX, 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)
Craig Topper5e113742017-04-22 06:31:36 +00001080 val[breakWord] |= WORD_MAX << bitsInWord; // set high bits
Reid Spencer1825dd02007-03-02 22:39:11 +00001081 } 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] |=
Craig Topper5e113742017-04-22 06:31:36 +00001100 WORD_MAX << (APINT_BITS_PER_WORD - (wordShift - bitsInWord));
1101 val[breakWord] |= WORD_MAX;
Eric Christopher820256b2009-08-21 04:06:45 +00001102 } else
Craig Topper5e113742017-04-22 06:31:36 +00001103 val[breakWord] |= WORD_MAX << (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.
Craig Topper5e113742017-04-22 06:31:36 +00001108 uint64_t fillValue = (isNegative() ? WORD_MAX : 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.
Craig Topperfc947bc2017-04-18 17:14:21 +00001118void APInt::lshrInPlace(const APInt &shiftAmt) {
1119 lshrInPlace((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.
Craig Topperae8bd672017-04-18 19:13:27 +00001124void APInt::lshrSlowCase(unsigned ShiftAmt) {
Craig Topperfc947bc2017-04-18 17:14:21 +00001125 tcShiftRight(pVal, getNumWords(), ShiftAmt);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001126}
1127
Zhou Shenge93db8f2007-02-09 07:48:24 +00001128/// Left-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001129/// @brief Left-shift function.
Dan Gohman105c1d42008-02-29 01:40:47 +00001130APInt APInt::shl(const APInt &shiftAmt) const {
Nick Lewycky030c4502009-01-19 17:42:33 +00001131 // It's undefined behavior in C to shift by BitWidth or greater.
Chris Lattner77527f52009-01-21 18:09:24 +00001132 return shl((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +00001133}
1134
Craig Toppera8a4f0d2017-04-18 04:39:48 +00001135void APInt::shlSlowCase(unsigned ShiftAmt) {
1136 tcShiftLeft(pVal, getNumWords(), ShiftAmt);
1137 clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001138}
1139
Joey Gouly51c0ae52017-02-07 11:58:22 +00001140// Calculate the rotate amount modulo the bit width.
1141static unsigned rotateModulo(unsigned BitWidth, const APInt &rotateAmt) {
1142 unsigned rotBitWidth = rotateAmt.getBitWidth();
1143 APInt rot = rotateAmt;
1144 if (rotBitWidth < BitWidth) {
1145 // Extend the rotate APInt, so that the urem doesn't divide by 0.
1146 // e.g. APInt(1, 32) would give APInt(1, 0).
1147 rot = rotateAmt.zext(BitWidth);
1148 }
1149 rot = rot.urem(APInt(rot.getBitWidth(), BitWidth));
1150 return rot.getLimitedValue(BitWidth);
1151}
1152
Dan Gohman105c1d42008-02-29 01:40:47 +00001153APInt APInt::rotl(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +00001154 return rotl(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001155}
1156
Chris Lattner77527f52009-01-21 18:09:24 +00001157APInt APInt::rotl(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001158 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001159 if (rotateAmt == 0)
1160 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001161 return shl(rotateAmt) | lshr(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001162}
1163
Dan Gohman105c1d42008-02-29 01:40:47 +00001164APInt APInt::rotr(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +00001165 return rotr(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001166}
1167
Chris Lattner77527f52009-01-21 18:09:24 +00001168APInt APInt::rotr(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001169 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001170 if (rotateAmt == 0)
1171 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001172 return lshr(rotateAmt) | shl(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001173}
Reid Spencerd99feaf2007-03-01 05:39:56 +00001174
1175// Square Root - this method computes and returns the square root of "this".
1176// Three mechanisms are used for computation. For small values (<= 5 bits),
1177// a table lookup is done. This gets some performance for common cases. For
1178// values using less than 52 bits, the value is converted to double and then
1179// the libc sqrt function is called. The result is rounded and then converted
1180// back to a uint64_t which is then used to construct the result. Finally,
Eric Christopher820256b2009-08-21 04:06:45 +00001181// the Babylonian method for computing square roots is used.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001182APInt APInt::sqrt() const {
1183
1184 // Determine the magnitude of the value.
Chris Lattner77527f52009-01-21 18:09:24 +00001185 unsigned magnitude = getActiveBits();
Reid Spencerd99feaf2007-03-01 05:39:56 +00001186
1187 // Use a fast table for some small values. This also gets rid of some
1188 // rounding errors in libc sqrt for small values.
1189 if (magnitude <= 5) {
Reid Spencer2f6ad4d2007-03-01 17:47:31 +00001190 static const uint8_t results[32] = {
Reid Spencerc8841d22007-03-01 06:23:32 +00001191 /* 0 */ 0,
1192 /* 1- 2 */ 1, 1,
Eric Christopher820256b2009-08-21 04:06:45 +00001193 /* 3- 6 */ 2, 2, 2, 2,
Reid Spencerc8841d22007-03-01 06:23:32 +00001194 /* 7-12 */ 3, 3, 3, 3, 3, 3,
1195 /* 13-20 */ 4, 4, 4, 4, 4, 4, 4, 4,
1196 /* 21-30 */ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1197 /* 31 */ 6
1198 };
1199 return APInt(BitWidth, results[ (isSingleWord() ? VAL : pVal[0]) ]);
Reid Spencerd99feaf2007-03-01 05:39:56 +00001200 }
1201
1202 // If the magnitude of the value fits in less than 52 bits (the precision of
1203 // an IEEE double precision floating point value), then we can use the
1204 // libc sqrt function which will probably use a hardware sqrt computation.
1205 // This should be faster than the algorithm below.
Jeff Cohenb622c112007-03-05 00:00:42 +00001206 if (magnitude < 52) {
Eric Christopher820256b2009-08-21 04:06:45 +00001207 return APInt(BitWidth,
Reid Spencerd99feaf2007-03-01 05:39:56 +00001208 uint64_t(::round(::sqrt(double(isSingleWord()?VAL:pVal[0])))));
Jeff Cohenb622c112007-03-05 00:00:42 +00001209 }
Reid Spencerd99feaf2007-03-01 05:39:56 +00001210
1211 // Okay, all the short cuts are exhausted. We must compute it. The following
1212 // is a classical Babylonian method for computing the square root. This code
Sanjay Patel4cb54e02014-09-11 15:41:01 +00001213 // was adapted to APInt from a wikipedia article on such computations.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001214 // See http://www.wikipedia.org/ and go to the page named
Eric Christopher820256b2009-08-21 04:06:45 +00001215 // Calculate_an_integer_square_root.
Chris Lattner77527f52009-01-21 18:09:24 +00001216 unsigned nbits = BitWidth, i = 4;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001217 APInt testy(BitWidth, 16);
1218 APInt x_old(BitWidth, 1);
1219 APInt x_new(BitWidth, 0);
1220 APInt two(BitWidth, 2);
1221
1222 // Select a good starting value using binary logarithms.
Eric Christopher820256b2009-08-21 04:06:45 +00001223 for (;; i += 2, testy = testy.shl(2))
Reid Spencerd99feaf2007-03-01 05:39:56 +00001224 if (i >= nbits || this->ule(testy)) {
1225 x_old = x_old.shl(i / 2);
1226 break;
1227 }
1228
Eric Christopher820256b2009-08-21 04:06:45 +00001229 // Use the Babylonian method to arrive at the integer square root:
Reid Spencerd99feaf2007-03-01 05:39:56 +00001230 for (;;) {
1231 x_new = (this->udiv(x_old) + x_old).udiv(two);
1232 if (x_old.ule(x_new))
1233 break;
1234 x_old = x_new;
1235 }
1236
1237 // Make sure we return the closest approximation
Eric Christopher820256b2009-08-21 04:06:45 +00001238 // NOTE: The rounding calculation below is correct. It will produce an
Reid Spencercf817562007-03-02 04:21:55 +00001239 // off-by-one discrepancy with results from pari/gp. That discrepancy has been
Eric Christopher820256b2009-08-21 04:06:45 +00001240 // determined to be a rounding issue with pari/gp as it begins to use a
Reid Spencercf817562007-03-02 04:21:55 +00001241 // floating point representation after 192 bits. There are no discrepancies
1242 // between this algorithm and pari/gp for bit widths < 192 bits.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001243 APInt square(x_old * x_old);
1244 APInt nextSquare((x_old + 1) * (x_old +1));
1245 if (this->ult(square))
1246 return x_old;
David Blaikie54c94622011-12-01 20:58:30 +00001247 assert(this->ule(nextSquare) && "Error in APInt::sqrt computation");
1248 APInt midpoint((nextSquare - square).udiv(two));
1249 APInt offset(*this - square);
1250 if (offset.ult(midpoint))
1251 return x_old;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001252 return x_old + 1;
1253}
1254
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001255/// Computes the multiplicative inverse of this APInt for a given modulo. The
1256/// iterative extended Euclidean algorithm is used to solve for this value,
1257/// however we simplify it to speed up calculating only the inverse, and take
1258/// advantage of div+rem calculations. We also use some tricks to avoid copying
1259/// (potentially large) APInts around.
1260APInt APInt::multiplicativeInverse(const APInt& modulo) const {
1261 assert(ult(modulo) && "This APInt must be smaller than the modulo");
1262
1263 // Using the properties listed at the following web page (accessed 06/21/08):
1264 // http://www.numbertheory.org/php/euclid.html
1265 // (especially the properties numbered 3, 4 and 9) it can be proved that
1266 // BitWidth bits suffice for all the computations in the algorithm implemented
1267 // below. More precisely, this number of bits suffice if the multiplicative
1268 // inverse exists, but may not suffice for the general extended Euclidean
1269 // algorithm.
1270
1271 APInt r[2] = { modulo, *this };
1272 APInt t[2] = { APInt(BitWidth, 0), APInt(BitWidth, 1) };
1273 APInt q(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001274
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001275 unsigned i;
1276 for (i = 0; r[i^1] != 0; i ^= 1) {
1277 // An overview of the math without the confusing bit-flipping:
1278 // q = r[i-2] / r[i-1]
1279 // r[i] = r[i-2] % r[i-1]
1280 // t[i] = t[i-2] - t[i-1] * q
1281 udivrem(r[i], r[i^1], q, r[i]);
1282 t[i] -= t[i^1] * q;
1283 }
1284
1285 // If this APInt and the modulo are not coprime, there is no multiplicative
1286 // inverse, so return 0. We check this by looking at the next-to-last
1287 // remainder, which is the gcd(*this,modulo) as calculated by the Euclidean
1288 // algorithm.
1289 if (r[i] != 1)
1290 return APInt(BitWidth, 0);
1291
1292 // The next-to-last t is the multiplicative inverse. However, we are
1293 // interested in a positive inverse. Calcuate a positive one from a negative
1294 // one if necessary. A simple addition of the modulo suffices because
Wojciech Matyjewiczf0d21cd2008-07-20 15:55:14 +00001295 // abs(t[i]) is known to be less than *this/2 (see the link above).
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001296 return t[i].isNegative() ? t[i] + modulo : t[i];
1297}
1298
Jay Foadfe0c6482009-04-30 10:15:35 +00001299/// Calculate the magic numbers required to implement a signed integer division
1300/// by a constant as a sequence of multiplies, adds and shifts. Requires that
1301/// the divisor not be 0, 1, or -1. Taken from "Hacker's Delight", Henry S.
1302/// Warren, Jr., chapter 10.
1303APInt::ms APInt::magic() const {
1304 const APInt& d = *this;
1305 unsigned p;
1306 APInt ad, anc, delta, q1, r1, q2, r2, t;
Jay Foadfe0c6482009-04-30 10:15:35 +00001307 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
Jay Foadfe0c6482009-04-30 10:15:35 +00001308 struct ms mag;
Eric Christopher820256b2009-08-21 04:06:45 +00001309
Jay Foadfe0c6482009-04-30 10:15:35 +00001310 ad = d.abs();
1311 t = signedMin + (d.lshr(d.getBitWidth() - 1));
1312 anc = t - 1 - t.urem(ad); // absolute value of nc
1313 p = d.getBitWidth() - 1; // initialize p
1314 q1 = signedMin.udiv(anc); // initialize q1 = 2p/abs(nc)
1315 r1 = signedMin - q1*anc; // initialize r1 = rem(2p,abs(nc))
1316 q2 = signedMin.udiv(ad); // initialize q2 = 2p/abs(d)
1317 r2 = signedMin - q2*ad; // initialize r2 = rem(2p,abs(d))
1318 do {
1319 p = p + 1;
1320 q1 = q1<<1; // update q1 = 2p/abs(nc)
1321 r1 = r1<<1; // update r1 = rem(2p/abs(nc))
1322 if (r1.uge(anc)) { // must be unsigned comparison
1323 q1 = q1 + 1;
1324 r1 = r1 - anc;
1325 }
1326 q2 = q2<<1; // update q2 = 2p/abs(d)
1327 r2 = r2<<1; // update r2 = rem(2p/abs(d))
1328 if (r2.uge(ad)) { // must be unsigned comparison
1329 q2 = q2 + 1;
1330 r2 = r2 - ad;
1331 }
1332 delta = ad - r2;
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001333 } while (q1.ult(delta) || (q1 == delta && r1 == 0));
Eric Christopher820256b2009-08-21 04:06:45 +00001334
Jay Foadfe0c6482009-04-30 10:15:35 +00001335 mag.m = q2 + 1;
1336 if (d.isNegative()) mag.m = -mag.m; // resulting magic number
1337 mag.s = p - d.getBitWidth(); // resulting shift
1338 return mag;
1339}
1340
1341/// Calculate the magic numbers required to implement an unsigned integer
1342/// division by a constant as a sequence of multiplies, adds and shifts.
1343/// Requires that the divisor not be 0. Taken from "Hacker's Delight", Henry
1344/// S. Warren, Jr., chapter 10.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001345/// LeadingZeros can be used to simplify the calculation if the upper bits
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001346/// of the divided value are known zero.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001347APInt::mu APInt::magicu(unsigned LeadingZeros) const {
Jay Foadfe0c6482009-04-30 10:15:35 +00001348 const APInt& d = *this;
1349 unsigned p;
1350 APInt nc, delta, q1, r1, q2, r2;
1351 struct mu magu;
1352 magu.a = 0; // initialize "add" indicator
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001353 APInt allOnes = APInt::getAllOnesValue(d.getBitWidth()).lshr(LeadingZeros);
Jay Foadfe0c6482009-04-30 10:15:35 +00001354 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
1355 APInt signedMax = APInt::getSignedMaxValue(d.getBitWidth());
1356
Benjamin Kramer3aab6a82012-07-11 18:31:59 +00001357 nc = allOnes - (allOnes - d).urem(d);
Jay Foadfe0c6482009-04-30 10:15:35 +00001358 p = d.getBitWidth() - 1; // initialize p
1359 q1 = signedMin.udiv(nc); // initialize q1 = 2p/nc
1360 r1 = signedMin - q1*nc; // initialize r1 = rem(2p,nc)
1361 q2 = signedMax.udiv(d); // initialize q2 = (2p-1)/d
1362 r2 = signedMax - q2*d; // initialize r2 = rem((2p-1),d)
1363 do {
1364 p = p + 1;
1365 if (r1.uge(nc - r1)) {
1366 q1 = q1 + q1 + 1; // update q1
1367 r1 = r1 + r1 - nc; // update r1
1368 }
1369 else {
1370 q1 = q1+q1; // update q1
1371 r1 = r1+r1; // update r1
1372 }
1373 if ((r2 + 1).uge(d - r2)) {
1374 if (q2.uge(signedMax)) magu.a = 1;
1375 q2 = q2+q2 + 1; // update q2
1376 r2 = r2+r2 + 1 - d; // update r2
1377 }
1378 else {
1379 if (q2.uge(signedMin)) magu.a = 1;
1380 q2 = q2+q2; // update q2
1381 r2 = r2+r2 + 1; // update r2
1382 }
1383 delta = d - 1 - r2;
1384 } while (p < d.getBitWidth()*2 &&
1385 (q1.ult(delta) || (q1 == delta && r1 == 0)));
1386 magu.m = q2 + 1; // resulting magic number
1387 magu.s = p - d.getBitWidth(); // resulting shift
1388 return magu;
1389}
1390
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001391/// Implementation of Knuth's Algorithm D (Division of nonnegative integers)
1392/// from "Art of Computer Programming, Volume 2", section 4.3.1, p. 272. The
1393/// variables here have the same names as in the algorithm. Comments explain
1394/// the algorithm and any deviation from it.
Chris Lattner77527f52009-01-21 18:09:24 +00001395static void KnuthDiv(unsigned *u, unsigned *v, unsigned *q, unsigned* r,
1396 unsigned m, unsigned n) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001397 assert(u && "Must provide dividend");
1398 assert(v && "Must provide divisor");
1399 assert(q && "Must provide quotient");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001400 assert(u != v && u != q && v != q && "Must use different memory");
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001401 assert(n>1 && "n must be > 1");
1402
Yaron Keren39fc5a62015-03-26 19:45:19 +00001403 // b denotes the base of the number system. In our case b is 2^32.
George Burgess IV381fc0e2016-08-25 01:05:08 +00001404 const uint64_t b = uint64_t(1) << 32;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001405
David Greenef32fcb42010-01-05 01:28:52 +00001406 DEBUG(dbgs() << "KnuthDiv: m=" << m << " n=" << n << '\n');
1407 DEBUG(dbgs() << "KnuthDiv: original:");
1408 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1409 DEBUG(dbgs() << " by");
1410 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1411 DEBUG(dbgs() << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001412 // D1. [Normalize.] Set d = b / (v[n-1] + 1) and multiply all the digits of
1413 // u and v by d. Note that we have taken Knuth's advice here to use a power
1414 // of 2 value for d such that d * v[n-1] >= b/2 (b is the base). A power of
1415 // 2 allows us to shift instead of multiply and it is easy to determine the
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001416 // shift amount from the leading zeros. We are basically normalizing the u
1417 // and v so that its high bits are shifted to the top of v's range without
1418 // overflow. Note that this can require an extra word in u so that u must
1419 // be of length m+n+1.
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001420 unsigned shift = countLeadingZeros(v[n-1]);
Chris Lattner77527f52009-01-21 18:09:24 +00001421 unsigned v_carry = 0;
1422 unsigned u_carry = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001423 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001424 for (unsigned i = 0; i < m+n; ++i) {
1425 unsigned u_tmp = u[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001426 u[i] = (u[i] << shift) | u_carry;
1427 u_carry = u_tmp;
Reid Spencer100502d2007-02-17 03:16:00 +00001428 }
Chris Lattner77527f52009-01-21 18:09:24 +00001429 for (unsigned i = 0; i < n; ++i) {
1430 unsigned v_tmp = v[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001431 v[i] = (v[i] << shift) | v_carry;
1432 v_carry = v_tmp;
1433 }
1434 }
1435 u[m+n] = u_carry;
Yaron Keren39fc5a62015-03-26 19:45:19 +00001436
David Greenef32fcb42010-01-05 01:28:52 +00001437 DEBUG(dbgs() << "KnuthDiv: normal:");
1438 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1439 DEBUG(dbgs() << " by");
1440 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1441 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001442
1443 // D2. [Initialize j.] Set j to m. This is the loop counter over the places.
1444 int j = m;
1445 do {
David Greenef32fcb42010-01-05 01:28:52 +00001446 DEBUG(dbgs() << "KnuthDiv: quotient digit #" << j << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001447 // D3. [Calculate q'.].
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001448 // Set qp = (u[j+n]*b + u[j+n-1]) / v[n-1]. (qp=qprime=q')
1449 // Set rp = (u[j+n]*b + u[j+n-1]) % v[n-1]. (rp=rprime=r')
1450 // Now test if qp == b or qp*v[n-2] > b*rp + u[j+n-2]; if so, decrease
1451 // qp by 1, inrease rp by v[n-1], and repeat this test if rp < b. The test
1452 // on v[n-2] determines at high speed most of the cases in which the trial
Eric Christopher820256b2009-08-21 04:06:45 +00001453 // value qp is one too large, and it eliminates all cases where qp is two
1454 // too large.
Reid Spencercb292e42007-02-23 01:57:13 +00001455 uint64_t dividend = ((uint64_t(u[j+n]) << 32) + u[j+n-1]);
David Greenef32fcb42010-01-05 01:28:52 +00001456 DEBUG(dbgs() << "KnuthDiv: dividend == " << dividend << '\n');
Reid Spencercb292e42007-02-23 01:57:13 +00001457 uint64_t qp = dividend / v[n-1];
1458 uint64_t rp = dividend % v[n-1];
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001459 if (qp == b || qp*v[n-2] > b*rp + u[j+n-2]) {
1460 qp--;
1461 rp += v[n-1];
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001462 if (rp < b && (qp == b || qp*v[n-2] > b*rp + u[j+n-2]))
Reid Spencera5e0d202007-02-24 03:58:46 +00001463 qp--;
Reid Spencercb292e42007-02-23 01:57:13 +00001464 }
David Greenef32fcb42010-01-05 01:28:52 +00001465 DEBUG(dbgs() << "KnuthDiv: qp == " << qp << ", rp == " << rp << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001466
Reid Spencercb292e42007-02-23 01:57:13 +00001467 // D4. [Multiply and subtract.] Replace (u[j+n]u[j+n-1]...u[j]) with
1468 // (u[j+n]u[j+n-1]..u[j]) - qp * (v[n-1]...v[1]v[0]). This computation
1469 // consists of a simple multiplication by a one-place number, combined with
Eric Christopher820256b2009-08-21 04:06:45 +00001470 // a subtraction.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001471 // The digits (u[j+n]...u[j]) should be kept positive; if the result of
1472 // this step is actually negative, (u[j+n]...u[j]) should be left as the
1473 // true value plus b**(n+1), namely as the b's complement of
1474 // the true value, and a "borrow" to the left should be remembered.
Pawel Bylica86ac4472015-04-24 07:38:39 +00001475 int64_t borrow = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001476 for (unsigned i = 0; i < n; ++i) {
Pawel Bylica86ac4472015-04-24 07:38:39 +00001477 uint64_t p = uint64_t(qp) * uint64_t(v[i]);
1478 int64_t subres = int64_t(u[j+i]) - borrow - (unsigned)p;
1479 u[j+i] = (unsigned)subres;
1480 borrow = (p >> 32) - (subres >> 32);
1481 DEBUG(dbgs() << "KnuthDiv: u[j+i] = " << u[j+i]
Daniel Dunbar763ace92009-07-13 05:27:30 +00001482 << ", borrow = " << borrow << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001483 }
Pawel Bylica86ac4472015-04-24 07:38:39 +00001484 bool isNeg = u[j+n] < borrow;
1485 u[j+n] -= (unsigned)borrow;
1486
David Greenef32fcb42010-01-05 01:28:52 +00001487 DEBUG(dbgs() << "KnuthDiv: after subtraction:");
1488 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1489 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001490
Eric Christopher820256b2009-08-21 04:06:45 +00001491 // D5. [Test remainder.] Set q[j] = qp. If the result of step D4 was
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001492 // negative, go to step D6; otherwise go on to step D7.
Chris Lattner77527f52009-01-21 18:09:24 +00001493 q[j] = (unsigned)qp;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001494 if (isNeg) {
Eric Christopher820256b2009-08-21 04:06:45 +00001495 // D6. [Add back]. The probability that this step is necessary is very
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001496 // small, on the order of only 2/b. Make sure that test data accounts for
Eric Christopher820256b2009-08-21 04:06:45 +00001497 // this possibility. Decrease q[j] by 1
Reid Spencercb292e42007-02-23 01:57:13 +00001498 q[j]--;
Eric Christopher820256b2009-08-21 04:06:45 +00001499 // and add (0v[n-1]...v[1]v[0]) to (u[j+n]u[j+n-1]...u[j+1]u[j]).
1500 // A carry will occur to the left of u[j+n], and it should be ignored
Reid Spencercb292e42007-02-23 01:57:13 +00001501 // since it cancels with the borrow that occurred in D4.
1502 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001503 for (unsigned i = 0; i < n; i++) {
1504 unsigned limit = std::min(u[j+i],v[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001505 u[j+i] += v[i] + carry;
Reid Spencera5e0d202007-02-24 03:58:46 +00001506 carry = u[j+i] < limit || (carry && u[j+i] == limit);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001507 }
Reid Spencera5e0d202007-02-24 03:58:46 +00001508 u[j+n] += carry;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001509 }
David Greenef32fcb42010-01-05 01:28:52 +00001510 DEBUG(dbgs() << "KnuthDiv: after correction:");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001511 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
David Greenef32fcb42010-01-05 01:28:52 +00001512 DEBUG(dbgs() << "\nKnuthDiv: digit result = " << q[j] << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001513
Reid Spencercb292e42007-02-23 01:57:13 +00001514 // D7. [Loop on j.] Decrease j by one. Now if j >= 0, go back to D3.
1515 } while (--j >= 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001516
David Greenef32fcb42010-01-05 01:28:52 +00001517 DEBUG(dbgs() << "KnuthDiv: quotient:");
1518 DEBUG(for (int i = m; i >=0; i--) dbgs() <<" " << q[i]);
1519 DEBUG(dbgs() << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001520
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001521 // D8. [Unnormalize]. Now q[...] is the desired quotient, and the desired
1522 // remainder may be obtained by dividing u[...] by d. If r is non-null we
1523 // compute the remainder (urem uses this).
1524 if (r) {
1525 // The value d is expressed by the "shift" value above since we avoided
1526 // multiplication by d by using a shift left. So, all we have to do is
Simon Pilgrim0099beb2017-03-09 13:57:04 +00001527 // shift right here.
Reid Spencer468ad9112007-02-24 20:38:01 +00001528 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001529 unsigned carry = 0;
David Greenef32fcb42010-01-05 01:28:52 +00001530 DEBUG(dbgs() << "KnuthDiv: remainder:");
Reid Spencer468ad9112007-02-24 20:38:01 +00001531 for (int i = n-1; i >= 0; i--) {
1532 r[i] = (u[i] >> shift) | carry;
1533 carry = u[i] << (32 - shift);
David Greenef32fcb42010-01-05 01:28:52 +00001534 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001535 }
1536 } else {
1537 for (int i = n-1; i >= 0; i--) {
1538 r[i] = u[i];
David Greenef32fcb42010-01-05 01:28:52 +00001539 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001540 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001541 }
David Greenef32fcb42010-01-05 01:28:52 +00001542 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001543 }
David Greenef32fcb42010-01-05 01:28:52 +00001544 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001545}
1546
Benjamin Kramerc321e532016-06-08 19:09:22 +00001547void APInt::divide(const APInt &LHS, unsigned lhsWords, const APInt &RHS,
1548 unsigned rhsWords, APInt *Quotient, APInt *Remainder) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001549 assert(lhsWords >= rhsWords && "Fractional result");
1550
Eric Christopher820256b2009-08-21 04:06:45 +00001551 // First, compose the values into an array of 32-bit words instead of
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001552 // 64-bit words. This is a necessity of both the "short division" algorithm
Dan Gohman4a618822010-02-10 16:03:48 +00001553 // and the Knuth "classical algorithm" which requires there to be native
Eric Christopher820256b2009-08-21 04:06:45 +00001554 // operations for +, -, and * on an m bit value with an m*2 bit result. We
1555 // can't use 64-bit operands here because we don't have native results of
1556 // 128-bits. Furthermore, casting the 64-bit values to 32-bit values won't
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001557 // work on large-endian machines.
Dan Gohmancff69532009-04-01 18:45:54 +00001558 uint64_t mask = ~0ull >> (sizeof(unsigned)*CHAR_BIT);
Chris Lattner77527f52009-01-21 18:09:24 +00001559 unsigned n = rhsWords * 2;
1560 unsigned m = (lhsWords * 2) - n;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001561
1562 // Allocate space for the temporary values we need either on the stack, if
1563 // it will fit, or on the heap if it won't.
Chris Lattner77527f52009-01-21 18:09:24 +00001564 unsigned SPACE[128];
Craig Topperc10719f2014-04-07 04:17:22 +00001565 unsigned *U = nullptr;
1566 unsigned *V = nullptr;
1567 unsigned *Q = nullptr;
1568 unsigned *R = nullptr;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001569 if ((Remainder?4:3)*n+2*m+1 <= 128) {
1570 U = &SPACE[0];
1571 V = &SPACE[m+n+1];
1572 Q = &SPACE[(m+n+1) + n];
1573 if (Remainder)
1574 R = &SPACE[(m+n+1) + n + (m+n)];
1575 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001576 U = new unsigned[m + n + 1];
1577 V = new unsigned[n];
1578 Q = new unsigned[m+n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001579 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001580 R = new unsigned[n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001581 }
1582
1583 // Initialize the dividend
Chris Lattner77527f52009-01-21 18:09:24 +00001584 memset(U, 0, (m+n+1)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001585 for (unsigned i = 0; i < lhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001586 uint64_t tmp = (LHS.getNumWords() == 1 ? LHS.VAL : LHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001587 U[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001588 U[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001589 }
1590 U[m+n] = 0; // this extra word is for "spill" in the Knuth algorithm.
1591
Reid Spencer522ca7c2007-02-25 01:56:07 +00001592 // Initialize the divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001593 memset(V, 0, (n)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001594 for (unsigned i = 0; i < rhsWords; ++i) {
Reid Spencer867b4062007-02-22 00:58:45 +00001595 uint64_t tmp = (RHS.getNumWords() == 1 ? RHS.VAL : RHS.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001596 V[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001597 V[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001598 }
1599
Reid Spencer522ca7c2007-02-25 01:56:07 +00001600 // initialize the quotient and remainder
Chris Lattner77527f52009-01-21 18:09:24 +00001601 memset(Q, 0, (m+n) * sizeof(unsigned));
Reid Spencer522ca7c2007-02-25 01:56:07 +00001602 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001603 memset(R, 0, n * sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001604
Eric Christopher820256b2009-08-21 04:06:45 +00001605 // Now, adjust m and n for the Knuth division. n is the number of words in
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001606 // the divisor. m is the number of words by which the dividend exceeds the
Eric Christopher820256b2009-08-21 04:06:45 +00001607 // divisor (i.e. m+n is the length of the dividend). These sizes must not
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001608 // contain any zero words or the Knuth algorithm fails.
1609 for (unsigned i = n; i > 0 && V[i-1] == 0; i--) {
1610 n--;
1611 m++;
1612 }
1613 for (unsigned i = m+n; i > 0 && U[i-1] == 0; i--)
1614 m--;
1615
1616 // If we're left with only a single word for the divisor, Knuth doesn't work
1617 // so we implement the short division algorithm here. This is much simpler
1618 // and faster because we are certain that we can divide a 64-bit quantity
1619 // by a 32-bit quantity at hardware speed and short division is simply a
1620 // series of such operations. This is just like doing short division but we
1621 // are using base 2^32 instead of base 10.
1622 assert(n != 0 && "Divide by zero?");
1623 if (n == 1) {
Chris Lattner77527f52009-01-21 18:09:24 +00001624 unsigned divisor = V[0];
1625 unsigned remainder = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001626 for (int i = m+n-1; i >= 0; i--) {
1627 uint64_t partial_dividend = uint64_t(remainder) << 32 | U[i];
1628 if (partial_dividend == 0) {
1629 Q[i] = 0;
1630 remainder = 0;
1631 } else if (partial_dividend < divisor) {
1632 Q[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001633 remainder = (unsigned)partial_dividend;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001634 } else if (partial_dividend == divisor) {
1635 Q[i] = 1;
1636 remainder = 0;
1637 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001638 Q[i] = (unsigned)(partial_dividend / divisor);
1639 remainder = (unsigned)(partial_dividend - (Q[i] * divisor));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001640 }
1641 }
1642 if (R)
1643 R[0] = remainder;
1644 } else {
1645 // Now we're ready to invoke the Knuth classical divide algorithm. In this
1646 // case n > 1.
1647 KnuthDiv(U, V, Q, R, m, n);
1648 }
1649
1650 // If the caller wants the quotient
1651 if (Quotient) {
1652 // Set up the Quotient value's memory.
1653 if (Quotient->BitWidth != LHS.BitWidth) {
1654 if (Quotient->isSingleWord())
1655 Quotient->VAL = 0;
1656 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001657 delete [] Quotient->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001658 Quotient->BitWidth = LHS.BitWidth;
1659 if (!Quotient->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001660 Quotient->pVal = getClearedMemory(Quotient->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001661 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001662 Quotient->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001663
Eric Christopher820256b2009-08-21 04:06:45 +00001664 // The quotient is in Q. Reconstitute the quotient into Quotient's low
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001665 // order words.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001666 // This case is currently dead as all users of divide() handle trivial cases
1667 // earlier.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001668 if (lhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001669 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001670 uint64_t(Q[0]) | (uint64_t(Q[1]) << (APINT_BITS_PER_WORD / 2));
1671 if (Quotient->isSingleWord())
1672 Quotient->VAL = tmp;
1673 else
1674 Quotient->pVal[0] = tmp;
1675 } else {
1676 assert(!Quotient->isSingleWord() && "Quotient APInt not large enough");
1677 for (unsigned i = 0; i < lhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001678 Quotient->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001679 uint64_t(Q[i*2]) | (uint64_t(Q[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1680 }
1681 }
1682
1683 // If the caller wants the remainder
1684 if (Remainder) {
1685 // Set up the Remainder value's memory.
1686 if (Remainder->BitWidth != RHS.BitWidth) {
1687 if (Remainder->isSingleWord())
1688 Remainder->VAL = 0;
1689 else
Reid Spencer7c16cd22007-02-26 23:38:21 +00001690 delete [] Remainder->pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001691 Remainder->BitWidth = RHS.BitWidth;
1692 if (!Remainder->isSingleWord())
Reid Spencer58a6a432007-02-21 08:21:52 +00001693 Remainder->pVal = getClearedMemory(Remainder->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001694 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001695 Remainder->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001696
1697 // The remainder is in R. Reconstitute the remainder into Remainder's low
1698 // order words.
1699 if (rhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001700 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001701 uint64_t(R[0]) | (uint64_t(R[1]) << (APINT_BITS_PER_WORD / 2));
1702 if (Remainder->isSingleWord())
1703 Remainder->VAL = tmp;
1704 else
1705 Remainder->pVal[0] = tmp;
1706 } else {
1707 assert(!Remainder->isSingleWord() && "Remainder APInt not large enough");
1708 for (unsigned i = 0; i < rhsWords; ++i)
Eric Christopher820256b2009-08-21 04:06:45 +00001709 Remainder->pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001710 uint64_t(R[i*2]) | (uint64_t(R[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1711 }
1712 }
1713
1714 // Clean up the memory we allocated.
Reid Spencer522ca7c2007-02-25 01:56:07 +00001715 if (U != &SPACE[0]) {
1716 delete [] U;
1717 delete [] V;
1718 delete [] Q;
1719 delete [] R;
1720 }
Reid Spencer100502d2007-02-17 03:16:00 +00001721}
1722
Reid Spencer1d072122007-02-16 22:36:51 +00001723APInt APInt::udiv(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001724 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001725
1726 // First, deal with the easy case
1727 if (isSingleWord()) {
1728 assert(RHS.VAL != 0 && "Divide by zero?");
1729 return APInt(BitWidth, VAL / RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001730 }
Reid Spencer39867762007-02-17 02:07:07 +00001731
Reid Spencer39867762007-02-17 02:07:07 +00001732 // Get some facts about the LHS and RHS number of bits and words
Chris Lattner77527f52009-01-21 18:09:24 +00001733 unsigned rhsBits = RHS.getActiveBits();
1734 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001735 assert(rhsWords && "Divided by zero???");
Chris Lattner77527f52009-01-21 18:09:24 +00001736 unsigned lhsBits = this->getActiveBits();
1737 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001738
1739 // Deal with some degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001740 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +00001741 // 0 / X ===> 0
Eric Christopher820256b2009-08-21 04:06:45 +00001742 return APInt(BitWidth, 0);
Reid Spencer58a6a432007-02-21 08:21:52 +00001743 else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001744 // X / Y ===> 0, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001745 return APInt(BitWidth, 0);
1746 } else if (*this == RHS) {
1747 // X / X ===> 1
1748 return APInt(BitWidth, 1);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001749 } else if (lhsWords == 1 && rhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001750 // All high words are zero, just use native divide
Reid Spencer58a6a432007-02-21 08:21:52 +00001751 return APInt(BitWidth, this->pVal[0] / RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001752 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001753
1754 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
1755 APInt Quotient(1,0); // to hold result.
Craig Topperc10719f2014-04-07 04:17:22 +00001756 divide(*this, lhsWords, RHS, rhsWords, &Quotient, nullptr);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001757 return Quotient;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001758}
1759
Jakub Staszak6605c602013-02-20 00:17:42 +00001760APInt APInt::sdiv(const APInt &RHS) const {
1761 if (isNegative()) {
1762 if (RHS.isNegative())
1763 return (-(*this)).udiv(-RHS);
1764 return -((-(*this)).udiv(RHS));
1765 }
1766 if (RHS.isNegative())
1767 return -(this->udiv(-RHS));
1768 return this->udiv(RHS);
1769}
1770
Reid Spencer1d072122007-02-16 22:36:51 +00001771APInt APInt::urem(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001772 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001773 if (isSingleWord()) {
1774 assert(RHS.VAL != 0 && "Remainder by zero?");
1775 return APInt(BitWidth, VAL % RHS.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001776 }
Reid Spencer39867762007-02-17 02:07:07 +00001777
Reid Spencer58a6a432007-02-21 08:21:52 +00001778 // Get some facts about the LHS
Chris Lattner77527f52009-01-21 18:09:24 +00001779 unsigned lhsBits = getActiveBits();
1780 unsigned lhsWords = !lhsBits ? 0 : (whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001781
1782 // Get some facts about the RHS
Chris Lattner77527f52009-01-21 18:09:24 +00001783 unsigned rhsBits = RHS.getActiveBits();
1784 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001785 assert(rhsWords && "Performing remainder operation by zero ???");
1786
Reid Spencer39867762007-02-17 02:07:07 +00001787 // Check the degenerate cases
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001788 if (lhsWords == 0) {
Reid Spencer58a6a432007-02-21 08:21:52 +00001789 // 0 % Y ===> 0
1790 return APInt(BitWidth, 0);
1791 } else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001792 // X % Y ===> X, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001793 return *this;
1794 } else if (*this == RHS) {
Reid Spencer39867762007-02-17 02:07:07 +00001795 // X % X == 0;
Reid Spencer58a6a432007-02-21 08:21:52 +00001796 return APInt(BitWidth, 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001797 } else if (lhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001798 // All high words are zero, just use native remainder
Reid Spencer58a6a432007-02-21 08:21:52 +00001799 return APInt(BitWidth, pVal[0] % RHS.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001800 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001801
Reid Spencer4c50b522007-05-13 23:44:59 +00001802 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001803 APInt Remainder(1,0);
Craig Topperc10719f2014-04-07 04:17:22 +00001804 divide(*this, lhsWords, RHS, rhsWords, nullptr, &Remainder);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001805 return Remainder;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001806}
Reid Spencer100502d2007-02-17 03:16:00 +00001807
Jakub Staszak6605c602013-02-20 00:17:42 +00001808APInt APInt::srem(const APInt &RHS) const {
1809 if (isNegative()) {
1810 if (RHS.isNegative())
1811 return -((-(*this)).urem(-RHS));
1812 return -((-(*this)).urem(RHS));
1813 }
1814 if (RHS.isNegative())
1815 return this->urem(-RHS);
1816 return this->urem(RHS);
1817}
1818
Eric Christopher820256b2009-08-21 04:06:45 +00001819void APInt::udivrem(const APInt &LHS, const APInt &RHS,
Reid Spencer4c50b522007-05-13 23:44:59 +00001820 APInt &Quotient, APInt &Remainder) {
David Majnemer7f039202014-12-14 09:41:56 +00001821 assert(LHS.BitWidth == RHS.BitWidth && "Bit widths must be the same");
1822
1823 // First, deal with the easy case
1824 if (LHS.isSingleWord()) {
1825 assert(RHS.VAL != 0 && "Divide by zero?");
1826 uint64_t QuotVal = LHS.VAL / RHS.VAL;
1827 uint64_t RemVal = LHS.VAL % RHS.VAL;
1828 Quotient = APInt(LHS.BitWidth, QuotVal);
1829 Remainder = APInt(LHS.BitWidth, RemVal);
1830 return;
1831 }
1832
Reid Spencer4c50b522007-05-13 23:44:59 +00001833 // Get some size facts about the dividend and divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001834 unsigned lhsBits = LHS.getActiveBits();
1835 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
1836 unsigned rhsBits = RHS.getActiveBits();
1837 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer4c50b522007-05-13 23:44:59 +00001838
1839 // Check the degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001840 if (lhsWords == 0) {
Reid Spencer4c50b522007-05-13 23:44:59 +00001841 Quotient = 0; // 0 / Y ===> 0
1842 Remainder = 0; // 0 % Y ===> 0
1843 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001844 }
1845
1846 if (lhsWords < rhsWords || LHS.ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001847 Remainder = LHS; // X % Y ===> X, iff X < Y
1848 Quotient = 0; // X / Y ===> 0, iff X < Y
Reid Spencer4c50b522007-05-13 23:44:59 +00001849 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001850 }
1851
Reid Spencer4c50b522007-05-13 23:44:59 +00001852 if (LHS == RHS) {
1853 Quotient = 1; // X / X ===> 1
1854 Remainder = 0; // X % X ===> 0;
1855 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001856 }
1857
Reid Spencer4c50b522007-05-13 23:44:59 +00001858 if (lhsWords == 1 && rhsWords == 1) {
1859 // There is only one word to consider so use the native versions.
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001860 uint64_t lhsValue = LHS.isSingleWord() ? LHS.VAL : LHS.pVal[0];
1861 uint64_t rhsValue = RHS.isSingleWord() ? RHS.VAL : RHS.pVal[0];
1862 Quotient = APInt(LHS.getBitWidth(), lhsValue / rhsValue);
1863 Remainder = APInt(LHS.getBitWidth(), lhsValue % rhsValue);
Reid Spencer4c50b522007-05-13 23:44:59 +00001864 return;
1865 }
1866
1867 // Okay, lets do it the long way
1868 divide(LHS, lhsWords, RHS, rhsWords, &Quotient, &Remainder);
1869}
1870
Jakub Staszak6605c602013-02-20 00:17:42 +00001871void APInt::sdivrem(const APInt &LHS, const APInt &RHS,
1872 APInt &Quotient, APInt &Remainder) {
1873 if (LHS.isNegative()) {
1874 if (RHS.isNegative())
1875 APInt::udivrem(-LHS, -RHS, Quotient, Remainder);
1876 else {
1877 APInt::udivrem(-LHS, RHS, Quotient, Remainder);
1878 Quotient = -Quotient;
1879 }
1880 Remainder = -Remainder;
1881 } else if (RHS.isNegative()) {
1882 APInt::udivrem(LHS, -RHS, Quotient, Remainder);
1883 Quotient = -Quotient;
1884 } else {
1885 APInt::udivrem(LHS, RHS, Quotient, Remainder);
1886 }
1887}
1888
Chris Lattner2c819b02010-10-13 23:54:10 +00001889APInt APInt::sadd_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001890 APInt Res = *this+RHS;
1891 Overflow = isNonNegative() == RHS.isNonNegative() &&
1892 Res.isNonNegative() != isNonNegative();
1893 return Res;
1894}
1895
Chris Lattner698661c2010-10-14 00:05:07 +00001896APInt APInt::uadd_ov(const APInt &RHS, bool &Overflow) const {
1897 APInt Res = *this+RHS;
1898 Overflow = Res.ult(RHS);
1899 return Res;
1900}
1901
Chris Lattner2c819b02010-10-13 23:54:10 +00001902APInt APInt::ssub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001903 APInt Res = *this - RHS;
1904 Overflow = isNonNegative() != RHS.isNonNegative() &&
1905 Res.isNonNegative() != isNonNegative();
1906 return Res;
1907}
1908
Chris Lattner698661c2010-10-14 00:05:07 +00001909APInt APInt::usub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattnerb9681ad2010-10-14 00:30:00 +00001910 APInt Res = *this-RHS;
1911 Overflow = Res.ugt(*this);
Chris Lattner698661c2010-10-14 00:05:07 +00001912 return Res;
1913}
1914
Chris Lattner2c819b02010-10-13 23:54:10 +00001915APInt APInt::sdiv_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001916 // MININT/-1 --> overflow.
1917 Overflow = isMinSignedValue() && RHS.isAllOnesValue();
1918 return sdiv(RHS);
1919}
1920
Chris Lattner2c819b02010-10-13 23:54:10 +00001921APInt APInt::smul_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001922 APInt Res = *this * RHS;
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001923
Chris Lattner79bdd882010-10-13 23:46:33 +00001924 if (*this != 0 && RHS != 0)
1925 Overflow = Res.sdiv(RHS) != *this || Res.sdiv(*this) != RHS;
1926 else
1927 Overflow = false;
1928 return Res;
1929}
1930
Frits van Bommel0bb2ad22011-03-27 14:26:13 +00001931APInt APInt::umul_ov(const APInt &RHS, bool &Overflow) const {
1932 APInt Res = *this * RHS;
1933
1934 if (*this != 0 && RHS != 0)
1935 Overflow = Res.udiv(RHS) != *this || Res.udiv(*this) != RHS;
1936 else
1937 Overflow = false;
1938 return Res;
1939}
1940
David Majnemera2521382014-10-13 21:48:30 +00001941APInt APInt::sshl_ov(const APInt &ShAmt, bool &Overflow) const {
1942 Overflow = ShAmt.uge(getBitWidth());
Chris Lattner79bdd882010-10-13 23:46:33 +00001943 if (Overflow)
David Majnemera2521382014-10-13 21:48:30 +00001944 return APInt(BitWidth, 0);
Chris Lattner79bdd882010-10-13 23:46:33 +00001945
1946 if (isNonNegative()) // Don't allow sign change.
David Majnemera2521382014-10-13 21:48:30 +00001947 Overflow = ShAmt.uge(countLeadingZeros());
Chris Lattner79bdd882010-10-13 23:46:33 +00001948 else
David Majnemera2521382014-10-13 21:48:30 +00001949 Overflow = ShAmt.uge(countLeadingOnes());
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001950
Chris Lattner79bdd882010-10-13 23:46:33 +00001951 return *this << ShAmt;
1952}
1953
David Majnemera2521382014-10-13 21:48:30 +00001954APInt APInt::ushl_ov(const APInt &ShAmt, bool &Overflow) const {
1955 Overflow = ShAmt.uge(getBitWidth());
1956 if (Overflow)
1957 return APInt(BitWidth, 0);
1958
1959 Overflow = ShAmt.ugt(countLeadingZeros());
1960
1961 return *this << ShAmt;
1962}
1963
Chris Lattner79bdd882010-10-13 23:46:33 +00001964
1965
1966
Benjamin Kramer92d89982010-07-14 22:38:02 +00001967void APInt::fromString(unsigned numbits, StringRef str, uint8_t radix) {
Reid Spencer1ba83352007-02-21 03:55:44 +00001968 // Check our assumptions here
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001969 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001970 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00001971 radix == 36) &&
1972 "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001973
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001974 StringRef::iterator p = str.begin();
1975 size_t slen = str.size();
1976 bool isNeg = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001977 if (*p == '-' || *p == '+') {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001978 p++;
1979 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +00001980 assert(slen && "String is only a sign, needs a value.");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001981 }
Chris Lattnerdad2d092007-05-03 18:15:36 +00001982 assert((slen <= numbits || radix != 2) && "Insufficient bit width");
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001983 assert(((slen-1)*3 <= numbits || radix != 8) && "Insufficient bit width");
1984 assert(((slen-1)*4 <= numbits || radix != 16) && "Insufficient bit width");
Dan Gohmanb452d4e2010-03-24 19:38:02 +00001985 assert((((slen-1)*64)/22 <= numbits || radix != 10) &&
1986 "Insufficient bit width");
Reid Spencer1ba83352007-02-21 03:55:44 +00001987
1988 // Allocate memory
1989 if (!isSingleWord())
1990 pVal = getClearedMemory(getNumWords());
1991
1992 // Figure out if we can shift instead of multiply
Chris Lattner77527f52009-01-21 18:09:24 +00001993 unsigned shift = (radix == 16 ? 4 : radix == 8 ? 3 : radix == 2 ? 1 : 0);
Reid Spencer1ba83352007-02-21 03:55:44 +00001994
Craig Topperb7d8faa2017-04-02 06:59:38 +00001995 // Set up an APInt for the radix multiplier outside the loop so we don't
Reid Spencer1ba83352007-02-21 03:55:44 +00001996 // constantly construct/destruct it.
Reid Spencer1ba83352007-02-21 03:55:44 +00001997 APInt apradix(getBitWidth(), radix);
1998
1999 // Enter digit traversal loop
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00002000 for (StringRef::iterator e = str.end(); p != e; ++p) {
Erick Tryzelaardadb15712009-08-21 03:15:28 +00002001 unsigned digit = getDigit(*p, radix);
Erick Tryzelaar60964092009-08-21 06:48:37 +00002002 assert(digit < radix && "Invalid character in digit string");
Reid Spencer1ba83352007-02-21 03:55:44 +00002003
Reid Spencera93c9812007-05-16 19:18:22 +00002004 // Shift or multiply the value by the radix
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002005 if (slen > 1) {
2006 if (shift)
2007 *this <<= shift;
2008 else
2009 *this *= apradix;
2010 }
Reid Spencer1ba83352007-02-21 03:55:44 +00002011
2012 // Add in the digit we just interpreted
Craig Topperb7d8faa2017-04-02 06:59:38 +00002013 *this += digit;
Reid Spencer100502d2007-02-17 03:16:00 +00002014 }
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002015 // If its negative, put it in two's complement form
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00002016 if (isNeg) {
Jakub Staszak773be0c2013-03-20 23:56:19 +00002017 --(*this);
Jay Foad25a5e4c2010-12-01 08:53:58 +00002018 this->flipAllBits();
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002019 }
Reid Spencer100502d2007-02-17 03:16:00 +00002020}
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002021
Chris Lattner17f71652008-08-17 07:19:36 +00002022void APInt::toString(SmallVectorImpl<char> &Str, unsigned Radix,
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002023 bool Signed, bool formatAsCLiteral) const {
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00002024 assert((Radix == 10 || Radix == 8 || Radix == 16 || Radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00002025 Radix == 36) &&
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002026 "Radix should be 2, 8, 10, 16, or 36!");
Eric Christopher820256b2009-08-21 04:06:45 +00002027
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002028 const char *Prefix = "";
2029 if (formatAsCLiteral) {
2030 switch (Radix) {
2031 case 2:
2032 // Binary literals are a non-standard extension added in gcc 4.3:
2033 // http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Binary-constants.html
2034 Prefix = "0b";
2035 break;
2036 case 8:
2037 Prefix = "0";
2038 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002039 case 10:
2040 break; // No prefix
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002041 case 16:
2042 Prefix = "0x";
2043 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002044 default:
2045 llvm_unreachable("Invalid radix!");
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002046 }
2047 }
2048
Chris Lattner17f71652008-08-17 07:19:36 +00002049 // First, check for a zero value and just short circuit the logic below.
2050 if (*this == 0) {
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002051 while (*Prefix) {
2052 Str.push_back(*Prefix);
2053 ++Prefix;
2054 };
Chris Lattner17f71652008-08-17 07:19:36 +00002055 Str.push_back('0');
2056 return;
2057 }
Eric Christopher820256b2009-08-21 04:06:45 +00002058
Douglas Gregor663c0682011-09-14 15:54:46 +00002059 static const char Digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
Eric Christopher820256b2009-08-21 04:06:45 +00002060
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002061 if (isSingleWord()) {
Chris Lattner17f71652008-08-17 07:19:36 +00002062 char Buffer[65];
2063 char *BufPtr = Buffer+65;
Eric Christopher820256b2009-08-21 04:06:45 +00002064
Chris Lattner17f71652008-08-17 07:19:36 +00002065 uint64_t N;
Chris Lattnerb91c9032010-08-18 00:33:47 +00002066 if (!Signed) {
Chris Lattner17f71652008-08-17 07:19:36 +00002067 N = getZExtValue();
Chris Lattnerb91c9032010-08-18 00:33:47 +00002068 } else {
2069 int64_t I = getSExtValue();
2070 if (I >= 0) {
2071 N = I;
2072 } else {
2073 Str.push_back('-');
2074 N = -(uint64_t)I;
2075 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002076 }
Eric Christopher820256b2009-08-21 04:06:45 +00002077
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002078 while (*Prefix) {
2079 Str.push_back(*Prefix);
2080 ++Prefix;
2081 };
2082
Chris Lattner17f71652008-08-17 07:19:36 +00002083 while (N) {
2084 *--BufPtr = Digits[N % Radix];
2085 N /= Radix;
2086 }
2087 Str.append(BufPtr, Buffer+65);
2088 return;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002089 }
2090
Chris Lattner17f71652008-08-17 07:19:36 +00002091 APInt Tmp(*this);
Eric Christopher820256b2009-08-21 04:06:45 +00002092
Chris Lattner17f71652008-08-17 07:19:36 +00002093 if (Signed && isNegative()) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002094 // They want to print the signed version and it is a negative value
2095 // Flip the bits and add one to turn it into the equivalent positive
2096 // value and put a '-' in the result.
Jay Foad25a5e4c2010-12-01 08:53:58 +00002097 Tmp.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +00002098 ++Tmp;
Chris Lattner17f71652008-08-17 07:19:36 +00002099 Str.push_back('-');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002100 }
Eric Christopher820256b2009-08-21 04:06:45 +00002101
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002102 while (*Prefix) {
2103 Str.push_back(*Prefix);
2104 ++Prefix;
2105 };
2106
Chris Lattner17f71652008-08-17 07:19:36 +00002107 // We insert the digits backward, then reverse them to get the right order.
2108 unsigned StartDig = Str.size();
Eric Christopher820256b2009-08-21 04:06:45 +00002109
2110 // For the 2, 8 and 16 bit cases, we can just shift instead of divide
2111 // because the number of bits per digit (1, 3 and 4 respectively) divides
Craig Topperd7ed50d2017-04-02 06:59:36 +00002112 // equally. We just shift until the value is zero.
Douglas Gregor663c0682011-09-14 15:54:46 +00002113 if (Radix == 2 || Radix == 8 || Radix == 16) {
Chris Lattner17f71652008-08-17 07:19:36 +00002114 // Just shift tmp right for each digit width until it becomes zero
2115 unsigned ShiftAmt = (Radix == 16 ? 4 : (Radix == 8 ? 3 : 1));
2116 unsigned MaskAmt = Radix - 1;
Eric Christopher820256b2009-08-21 04:06:45 +00002117
Chris Lattner17f71652008-08-17 07:19:36 +00002118 while (Tmp != 0) {
2119 unsigned Digit = unsigned(Tmp.getRawData()[0]) & MaskAmt;
2120 Str.push_back(Digits[Digit]);
Craig Topperfc947bc2017-04-18 17:14:21 +00002121 Tmp.lshrInPlace(ShiftAmt);
Chris Lattner17f71652008-08-17 07:19:36 +00002122 }
2123 } else {
Douglas Gregor663c0682011-09-14 15:54:46 +00002124 APInt divisor(Radix == 10? 4 : 8, Radix);
Chris Lattner17f71652008-08-17 07:19:36 +00002125 while (Tmp != 0) {
2126 APInt APdigit(1, 0);
2127 APInt tmp2(Tmp.getBitWidth(), 0);
Eric Christopher820256b2009-08-21 04:06:45 +00002128 divide(Tmp, Tmp.getNumWords(), divisor, divisor.getNumWords(), &tmp2,
Chris Lattner17f71652008-08-17 07:19:36 +00002129 &APdigit);
Chris Lattner77527f52009-01-21 18:09:24 +00002130 unsigned Digit = (unsigned)APdigit.getZExtValue();
Chris Lattner17f71652008-08-17 07:19:36 +00002131 assert(Digit < Radix && "divide failed");
2132 Str.push_back(Digits[Digit]);
2133 Tmp = tmp2;
2134 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002135 }
Eric Christopher820256b2009-08-21 04:06:45 +00002136
Chris Lattner17f71652008-08-17 07:19:36 +00002137 // Reverse the digits before returning.
2138 std::reverse(Str.begin()+StartDig, Str.end());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002139}
2140
Pawel Bylica6eeeac72015-04-06 13:31:39 +00002141/// Returns the APInt as a std::string. Note that this is an inefficient method.
2142/// It is better to pass in a SmallVector/SmallString to the methods above.
Chris Lattner17f71652008-08-17 07:19:36 +00002143std::string APInt::toString(unsigned Radix = 10, bool Signed = true) const {
2144 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002145 toString(S, Radix, Signed, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00002146 return S.str();
Reid Spencer1ba83352007-02-21 03:55:44 +00002147}
Chris Lattner6b695682007-08-16 15:56:55 +00002148
Matthias Braun8c209aa2017-01-28 02:02:38 +00002149#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Yaron Kereneb2a2542016-01-29 20:50:44 +00002150LLVM_DUMP_METHOD void APInt::dump() const {
Chris Lattner17f71652008-08-17 07:19:36 +00002151 SmallString<40> S, U;
2152 this->toStringUnsigned(U);
2153 this->toStringSigned(S);
David Greenef32fcb42010-01-05 01:28:52 +00002154 dbgs() << "APInt(" << BitWidth << "b, "
Davide Italiano5a473d22017-01-31 21:26:18 +00002155 << U << "u " << S << "s)\n";
Chris Lattner17f71652008-08-17 07:19:36 +00002156}
Matthias Braun8c209aa2017-01-28 02:02:38 +00002157#endif
Chris Lattner17f71652008-08-17 07:19:36 +00002158
Chris Lattner0c19df42008-08-23 22:23:09 +00002159void APInt::print(raw_ostream &OS, bool isSigned) const {
Chris Lattner17f71652008-08-17 07:19:36 +00002160 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002161 this->toString(S, 10, isSigned, /* formatAsCLiteral = */false);
Yaron Keren92e1b622015-03-18 10:17:07 +00002162 OS << S;
Chris Lattner17f71652008-08-17 07:19:36 +00002163}
2164
Chris Lattner6b695682007-08-16 15:56:55 +00002165// This implements a variety of operations on a representation of
2166// arbitrary precision, two's-complement, bignum integer values.
2167
Chris Lattner96cffa62009-08-23 23:11:28 +00002168// Assumed by lowHalf, highHalf, partMSB and partLSB. A fairly safe
2169// and unrestricting assumption.
Craig Topper55229b72017-04-02 19:17:22 +00002170static_assert(APInt::APINT_BITS_PER_WORD % 2 == 0,
2171 "Part width must be divisible by 2!");
Chris Lattner6b695682007-08-16 15:56:55 +00002172
2173/* Some handy functions local to this file. */
Chris Lattner6b695682007-08-16 15:56:55 +00002174
Craig Topper76f42462017-03-28 05:32:53 +00002175/* Returns the integer part with the least significant BITS set.
2176 BITS cannot be zero. */
Craig Topper55229b72017-04-02 19:17:22 +00002177static inline APInt::WordType lowBitMask(unsigned bits) {
2178 assert(bits != 0 && bits <= APInt::APINT_BITS_PER_WORD);
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002179
Craig Topper55229b72017-04-02 19:17:22 +00002180 return ~(APInt::WordType) 0 >> (APInt::APINT_BITS_PER_WORD - bits);
Craig Topper76f42462017-03-28 05:32:53 +00002181}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002182
Craig Topper76f42462017-03-28 05:32:53 +00002183/* Returns the value of the lower half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002184static inline APInt::WordType lowHalf(APInt::WordType part) {
2185 return part & lowBitMask(APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002186}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002187
Craig Topper76f42462017-03-28 05:32:53 +00002188/* Returns the value of the upper half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002189static inline APInt::WordType highHalf(APInt::WordType part) {
2190 return part >> (APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002191}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002192
Craig Topper76f42462017-03-28 05:32:53 +00002193/* Returns the bit number of the most significant set bit of a part.
2194 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002195static unsigned partMSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002196 return findLastSet(value, ZB_Max);
2197}
Chris Lattner6b695682007-08-16 15:56:55 +00002198
Craig Topper76f42462017-03-28 05:32:53 +00002199/* Returns the bit number of the least significant set bit of a
2200 part. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002201static unsigned partLSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002202 return findFirstSet(value, ZB_Max);
Alexander Kornienkof00654e2015-06-23 09:49:53 +00002203}
Chris Lattner6b695682007-08-16 15:56:55 +00002204
2205/* Sets the least significant part of a bignum to the input value, and
2206 zeroes out higher parts. */
Craig Topper55229b72017-04-02 19:17:22 +00002207void APInt::tcSet(WordType *dst, WordType part, unsigned parts) {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002208 assert(parts > 0);
Neil Boothb6182162007-10-08 13:47:12 +00002209
Chris Lattner6b695682007-08-16 15:56:55 +00002210 dst[0] = part;
Craig Topperb0038162017-03-28 05:32:52 +00002211 for (unsigned i = 1; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002212 dst[i] = 0;
2213}
2214
2215/* Assign one bignum to another. */
Craig Topper55229b72017-04-02 19:17:22 +00002216void APInt::tcAssign(WordType *dst, const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002217 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002218 dst[i] = src[i];
2219}
2220
2221/* Returns true if a bignum is zero, false otherwise. */
Craig Topper55229b72017-04-02 19:17:22 +00002222bool APInt::tcIsZero(const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002223 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002224 if (src[i])
2225 return false;
2226
2227 return true;
2228}
2229
2230/* Extract the given bit of a bignum; returns 0 or 1. */
Craig Topper55229b72017-04-02 19:17:22 +00002231int APInt::tcExtractBit(const WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002232 return (parts[whichWord(bit)] & maskBit(bit)) != 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002233}
2234
John McCalldcb9a7a2010-02-28 02:51:25 +00002235/* Set the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002236void APInt::tcSetBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002237 parts[whichWord(bit)] |= maskBit(bit);
Chris Lattner6b695682007-08-16 15:56:55 +00002238}
2239
John McCalldcb9a7a2010-02-28 02:51:25 +00002240/* Clears the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002241void APInt::tcClearBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002242 parts[whichWord(bit)] &= ~maskBit(bit);
John McCalldcb9a7a2010-02-28 02:51:25 +00002243}
2244
Neil Boothc8b650a2007-10-06 00:43:45 +00002245/* Returns the bit number of the least significant set bit of a
2246 number. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002247unsigned APInt::tcLSB(const WordType *parts, unsigned n) {
Craig Topperb0038162017-03-28 05:32:52 +00002248 for (unsigned i = 0; i < n; i++) {
2249 if (parts[i] != 0) {
2250 unsigned lsb = partLSB(parts[i]);
Chris Lattner6b695682007-08-16 15:56:55 +00002251
Craig Topper55229b72017-04-02 19:17:22 +00002252 return lsb + i * APINT_BITS_PER_WORD;
Craig Topperb0038162017-03-28 05:32:52 +00002253 }
Chris Lattner6b695682007-08-16 15:56:55 +00002254 }
2255
2256 return -1U;
2257}
2258
Neil Boothc8b650a2007-10-06 00:43:45 +00002259/* Returns the bit number of the most significant set bit of a number.
2260 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002261unsigned APInt::tcMSB(const WordType *parts, unsigned n) {
Chris Lattner6b695682007-08-16 15:56:55 +00002262 do {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002263 --n;
Chris Lattner6b695682007-08-16 15:56:55 +00002264
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002265 if (parts[n] != 0) {
Craig Topperb0038162017-03-28 05:32:52 +00002266 unsigned msb = partMSB(parts[n]);
Chris Lattner6b695682007-08-16 15:56:55 +00002267
Craig Topper55229b72017-04-02 19:17:22 +00002268 return msb + n * APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002269 }
Chris Lattner6b695682007-08-16 15:56:55 +00002270 } while (n);
2271
2272 return -1U;
2273}
2274
Neil Boothb6182162007-10-08 13:47:12 +00002275/* Copy the bit vector of width srcBITS from SRC, starting at bit
2276 srcLSB, to DST, of dstCOUNT parts, such that the bit srcLSB becomes
2277 the least significant bit of DST. All high bits above srcBITS in
2278 DST are zero-filled. */
2279void
Craig Topper55229b72017-04-02 19:17:22 +00002280APInt::tcExtract(WordType *dst, unsigned dstCount, const WordType *src,
Craig Topper6a8518082017-03-28 05:32:55 +00002281 unsigned srcBits, unsigned srcLSB) {
Craig Topper55229b72017-04-02 19:17:22 +00002282 unsigned dstParts = (srcBits + APINT_BITS_PER_WORD - 1) / APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002283 assert(dstParts <= dstCount);
Neil Boothb6182162007-10-08 13:47:12 +00002284
Craig Topper55229b72017-04-02 19:17:22 +00002285 unsigned firstSrcPart = srcLSB / APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002286 tcAssign (dst, src + firstSrcPart, dstParts);
2287
Craig Topper55229b72017-04-02 19:17:22 +00002288 unsigned shift = srcLSB % APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002289 tcShiftRight (dst, dstParts, shift);
2290
Craig Topper55229b72017-04-02 19:17:22 +00002291 /* We now have (dstParts * APINT_BITS_PER_WORD - shift) bits from SRC
Neil Boothb6182162007-10-08 13:47:12 +00002292 in DST. If this is less that srcBits, append the rest, else
2293 clear the high bits. */
Craig Topper55229b72017-04-02 19:17:22 +00002294 unsigned n = dstParts * APINT_BITS_PER_WORD - shift;
Neil Boothb6182162007-10-08 13:47:12 +00002295 if (n < srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002296 WordType mask = lowBitMask (srcBits - n);
Neil Boothb6182162007-10-08 13:47:12 +00002297 dst[dstParts - 1] |= ((src[firstSrcPart + dstParts] & mask)
Craig Topper55229b72017-04-02 19:17:22 +00002298 << n % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002299 } else if (n > srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002300 if (srcBits % APINT_BITS_PER_WORD)
2301 dst[dstParts - 1] &= lowBitMask (srcBits % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002302 }
2303
2304 /* Clear high parts. */
2305 while (dstParts < dstCount)
2306 dst[dstParts++] = 0;
2307}
2308
Chris Lattner6b695682007-08-16 15:56:55 +00002309/* DST += RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002310APInt::WordType APInt::tcAdd(WordType *dst, const WordType *rhs,
2311 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002312 assert(c <= 1);
2313
Craig Topperb0038162017-03-28 05:32:52 +00002314 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002315 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002316 if (c) {
2317 dst[i] += rhs[i] + 1;
2318 c = (dst[i] <= l);
2319 } else {
2320 dst[i] += rhs[i];
2321 c = (dst[i] < l);
2322 }
2323 }
2324
2325 return c;
2326}
2327
Craig Topper92fc4772017-04-13 04:36:06 +00002328/// This function adds a single "word" integer, src, to the multiple
2329/// "word" integer array, dst[]. dst[] is modified to reflect the addition and
2330/// 1 is returned if there is a carry out, otherwise 0 is returned.
2331/// @returns the carry of the addition.
2332APInt::WordType APInt::tcAddPart(WordType *dst, WordType src,
2333 unsigned parts) {
2334 for (unsigned i = 0; i < parts; ++i) {
2335 dst[i] += src;
2336 if (dst[i] >= src)
2337 return 0; // No need to carry so exit early.
2338 src = 1; // Carry one to next digit.
2339 }
2340
2341 return 1;
2342}
2343
Chris Lattner6b695682007-08-16 15:56:55 +00002344/* DST -= RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002345APInt::WordType APInt::tcSubtract(WordType *dst, const WordType *rhs,
2346 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002347 assert(c <= 1);
2348
Craig Topperb0038162017-03-28 05:32:52 +00002349 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002350 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002351 if (c) {
2352 dst[i] -= rhs[i] + 1;
2353 c = (dst[i] >= l);
2354 } else {
2355 dst[i] -= rhs[i];
2356 c = (dst[i] > l);
2357 }
2358 }
2359
2360 return c;
2361}
2362
Craig Topper92fc4772017-04-13 04:36:06 +00002363/// This function subtracts a single "word" (64-bit word), src, from
2364/// the multi-word integer array, dst[], propagating the borrowed 1 value until
2365/// no further borrowing is needed or it runs out of "words" in dst. The result
2366/// is 1 if "borrowing" exhausted the digits in dst, or 0 if dst was not
2367/// exhausted. In other words, if src > dst then this function returns 1,
2368/// otherwise 0.
2369/// @returns the borrow out of the subtraction
2370APInt::WordType APInt::tcSubtractPart(WordType *dst, WordType src,
2371 unsigned parts) {
2372 for (unsigned i = 0; i < parts; ++i) {
2373 WordType Dst = dst[i];
2374 dst[i] -= src;
2375 if (src <= Dst)
2376 return 0; // No need to borrow so exit early.
2377 src = 1; // We have to "borrow 1" from next "word"
2378 }
2379
2380 return 1;
2381}
2382
Chris Lattner6b695682007-08-16 15:56:55 +00002383/* Negate a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002384void APInt::tcNegate(WordType *dst, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002385 tcComplement(dst, parts);
2386 tcIncrement(dst, parts);
2387}
2388
Neil Boothc8b650a2007-10-06 00:43:45 +00002389/* DST += SRC * MULTIPLIER + CARRY if add is true
2390 DST = SRC * MULTIPLIER + CARRY if add is false
Chris Lattner6b695682007-08-16 15:56:55 +00002391
2392 Requires 0 <= DSTPARTS <= SRCPARTS + 1. If DST overlaps SRC
2393 they must start at the same point, i.e. DST == SRC.
2394
2395 If DSTPARTS == SRCPARTS + 1 no overflow occurs and zero is
2396 returned. Otherwise DST is filled with the least significant
2397 DSTPARTS parts of the result, and if all of the omitted higher
2398 parts were zero return zero, otherwise overflow occurred and
2399 return one. */
Craig Topper55229b72017-04-02 19:17:22 +00002400int APInt::tcMultiplyPart(WordType *dst, const WordType *src,
2401 WordType multiplier, WordType carry,
Craig Topper6a8518082017-03-28 05:32:55 +00002402 unsigned srcParts, unsigned dstParts,
2403 bool add) {
Chris Lattner6b695682007-08-16 15:56:55 +00002404 /* Otherwise our writes of DST kill our later reads of SRC. */
2405 assert(dst <= src || dst >= src + srcParts);
2406 assert(dstParts <= srcParts + 1);
2407
2408 /* N loops; minimum of dstParts and srcParts. */
Craig Topperb0038162017-03-28 05:32:52 +00002409 unsigned n = dstParts < srcParts ? dstParts: srcParts;
Chris Lattner6b695682007-08-16 15:56:55 +00002410
Craig Topperb0038162017-03-28 05:32:52 +00002411 unsigned i;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002412 for (i = 0; i < n; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002413 WordType low, mid, high, srcPart;
Chris Lattner6b695682007-08-16 15:56:55 +00002414
2415 /* [ LOW, HIGH ] = MULTIPLIER * SRC[i] + DST[i] + CARRY.
2416
2417 This cannot overflow, because
2418
2419 (n - 1) * (n - 1) + 2 (n - 1) = (n - 1) * (n + 1)
2420
2421 which is less than n^2. */
2422
2423 srcPart = src[i];
2424
Craig Topper6a8518082017-03-28 05:32:55 +00002425 if (multiplier == 0 || srcPart == 0) {
Chris Lattner6b695682007-08-16 15:56:55 +00002426 low = carry;
2427 high = 0;
2428 } else {
2429 low = lowHalf(srcPart) * lowHalf(multiplier);
2430 high = highHalf(srcPart) * highHalf(multiplier);
2431
2432 mid = lowHalf(srcPart) * highHalf(multiplier);
2433 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002434 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002435 if (low + mid < low)
2436 high++;
2437 low += mid;
2438
2439 mid = highHalf(srcPart) * lowHalf(multiplier);
2440 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002441 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002442 if (low + mid < low)
2443 high++;
2444 low += mid;
2445
2446 /* Now add carry. */
2447 if (low + carry < low)
2448 high++;
2449 low += carry;
2450 }
2451
2452 if (add) {
2453 /* And now DST[i], and store the new low part there. */
2454 if (low + dst[i] < low)
2455 high++;
2456 dst[i] += low;
2457 } else
2458 dst[i] = low;
2459
2460 carry = high;
2461 }
2462
2463 if (i < dstParts) {
2464 /* Full multiplication, there is no overflow. */
2465 assert(i + 1 == dstParts);
2466 dst[i] = carry;
2467 return 0;
2468 } else {
2469 /* We overflowed if there is carry. */
2470 if (carry)
2471 return 1;
2472
2473 /* We would overflow if any significant unwritten parts would be
2474 non-zero. This is true if any remaining src parts are non-zero
2475 and the multiplier is non-zero. */
2476 if (multiplier)
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002477 for (; i < srcParts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002478 if (src[i])
2479 return 1;
2480
2481 /* We fitted in the narrow destination. */
2482 return 0;
2483 }
2484}
2485
2486/* DST = LHS * RHS, where DST has the same width as the operands and
2487 is filled with the least significant parts of the result. Returns
2488 one if overflow occurred, otherwise zero. DST must be disjoint
2489 from both operands. */
Craig Topper55229b72017-04-02 19:17:22 +00002490int APInt::tcMultiply(WordType *dst, const WordType *lhs,
2491 const WordType *rhs, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002492 assert(dst != lhs && dst != rhs);
2493
Craig Topperb0038162017-03-28 05:32:52 +00002494 int overflow = 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002495 tcSet(dst, 0, parts);
2496
Craig Topperb0038162017-03-28 05:32:52 +00002497 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002498 overflow |= tcMultiplyPart(&dst[i], lhs, rhs[i], 0, parts,
2499 parts - i, true);
2500
2501 return overflow;
2502}
2503
Neil Booth0ea72a92007-10-06 00:24:48 +00002504/* DST = LHS * RHS, where DST has width the sum of the widths of the
2505 operands. No overflow occurs. DST must be disjoint from both
2506 operands. Returns the number of parts required to hold the
2507 result. */
Craig Topper55229b72017-04-02 19:17:22 +00002508unsigned APInt::tcFullMultiply(WordType *dst, const WordType *lhs,
2509 const WordType *rhs, unsigned lhsParts,
Craig Topper6a8518082017-03-28 05:32:55 +00002510 unsigned rhsParts) {
Neil Booth0ea72a92007-10-06 00:24:48 +00002511 /* Put the narrower number on the LHS for less loops below. */
2512 if (lhsParts > rhsParts) {
2513 return tcFullMultiply (dst, rhs, lhs, rhsParts, lhsParts);
2514 } else {
Neil Booth0ea72a92007-10-06 00:24:48 +00002515 assert(dst != lhs && dst != rhs);
Chris Lattner6b695682007-08-16 15:56:55 +00002516
Neil Booth0ea72a92007-10-06 00:24:48 +00002517 tcSet(dst, 0, rhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002518
Craig Topperb0038162017-03-28 05:32:52 +00002519 for (unsigned i = 0; i < lhsParts; i++)
2520 tcMultiplyPart(&dst[i], rhs, lhs[i], 0, rhsParts, rhsParts + 1, true);
Chris Lattner6b695682007-08-16 15:56:55 +00002521
Craig Topperb0038162017-03-28 05:32:52 +00002522 unsigned n = lhsParts + rhsParts;
Neil Booth0ea72a92007-10-06 00:24:48 +00002523
2524 return n - (dst[n - 1] == 0);
2525 }
Chris Lattner6b695682007-08-16 15:56:55 +00002526}
2527
2528/* If RHS is zero LHS and REMAINDER are left unchanged, return one.
2529 Otherwise set LHS to LHS / RHS with the fractional part discarded,
2530 set REMAINDER to the remainder, return zero. i.e.
2531
2532 OLD_LHS = RHS * LHS + REMAINDER
2533
2534 SCRATCH is a bignum of the same size as the operands and result for
2535 use by the routine; its contents need not be initialized and are
2536 destroyed. LHS, REMAINDER and SCRATCH must be distinct.
2537*/
Craig Topper55229b72017-04-02 19:17:22 +00002538int APInt::tcDivide(WordType *lhs, const WordType *rhs,
2539 WordType *remainder, WordType *srhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002540 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002541 assert(lhs != remainder && lhs != srhs && remainder != srhs);
2542
Craig Topperb0038162017-03-28 05:32:52 +00002543 unsigned shiftCount = tcMSB(rhs, parts) + 1;
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002544 if (shiftCount == 0)
Chris Lattner6b695682007-08-16 15:56:55 +00002545 return true;
2546
Craig Topper55229b72017-04-02 19:17:22 +00002547 shiftCount = parts * APINT_BITS_PER_WORD - shiftCount;
2548 unsigned n = shiftCount / APINT_BITS_PER_WORD;
2549 WordType mask = (WordType) 1 << (shiftCount % APINT_BITS_PER_WORD);
Chris Lattner6b695682007-08-16 15:56:55 +00002550
2551 tcAssign(srhs, rhs, parts);
2552 tcShiftLeft(srhs, parts, shiftCount);
2553 tcAssign(remainder, lhs, parts);
2554 tcSet(lhs, 0, parts);
2555
2556 /* Loop, subtracting SRHS if REMAINDER is greater and adding that to
2557 the total. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002558 for (;;) {
Chris Lattner6b695682007-08-16 15:56:55 +00002559 int compare;
2560
2561 compare = tcCompare(remainder, srhs, parts);
2562 if (compare >= 0) {
2563 tcSubtract(remainder, srhs, 0, parts);
2564 lhs[n] |= mask;
2565 }
2566
2567 if (shiftCount == 0)
2568 break;
2569 shiftCount--;
2570 tcShiftRight(srhs, parts, 1);
Richard Trieu7a083812016-02-18 22:09:30 +00002571 if ((mask >>= 1) == 0) {
Craig Topper55229b72017-04-02 19:17:22 +00002572 mask = (WordType) 1 << (APINT_BITS_PER_WORD - 1);
Richard Trieu7a083812016-02-18 22:09:30 +00002573 n--;
2574 }
Chris Lattner6b695682007-08-16 15:56:55 +00002575 }
2576
2577 return false;
2578}
2579
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002580/// Shift a bignum left Cound bits in-place. Shifted in bits are zero. There are
2581/// no restrictions on Count.
2582void APInt::tcShiftLeft(WordType *Dst, unsigned Words, unsigned Count) {
2583 // Don't bother performing a no-op shift.
2584 if (!Count)
2585 return;
Chris Lattner6b695682007-08-16 15:56:55 +00002586
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002587 /* WordShift is the inter-part shift; BitShift is is intra-part shift. */
2588 unsigned WordShift = std::min(Count / APINT_BITS_PER_WORD, Words);
2589 unsigned BitShift = Count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002590
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002591 // Fastpath for moving by whole words.
2592 if (BitShift == 0) {
2593 std::memmove(Dst + WordShift, Dst, (Words - WordShift) * APINT_WORD_SIZE);
2594 } else {
2595 while (Words-- > WordShift) {
2596 Dst[Words] = Dst[Words - WordShift] << BitShift;
2597 if (Words > WordShift)
2598 Dst[Words] |=
2599 Dst[Words - WordShift - 1] >> (APINT_BITS_PER_WORD - BitShift);
Neil Boothb6182162007-10-08 13:47:12 +00002600 }
Neil Boothb6182162007-10-08 13:47:12 +00002601 }
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002602
2603 // Fill in the remainder with 0s.
2604 std::memset(Dst, 0, WordShift * APINT_WORD_SIZE);
Chris Lattner6b695682007-08-16 15:56:55 +00002605}
2606
Craig Topper9575d8f2017-04-17 21:43:43 +00002607/// Shift a bignum right Count bits in-place. Shifted in bits are zero. There
2608/// are no restrictions on Count.
2609void APInt::tcShiftRight(WordType *Dst, unsigned Words, unsigned Count) {
2610 // Don't bother performing a no-op shift.
2611 if (!Count)
2612 return;
Chris Lattner6b695682007-08-16 15:56:55 +00002613
Craig Topper9575d8f2017-04-17 21:43:43 +00002614 // WordShift is the inter-part shift; BitShift is is intra-part shift.
2615 unsigned WordShift = std::min(Count / APINT_BITS_PER_WORD, Words);
2616 unsigned BitShift = Count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002617
Craig Topper9575d8f2017-04-17 21:43:43 +00002618 unsigned WordsToMove = Words - WordShift;
2619 // Fastpath for moving by whole words.
2620 if (BitShift == 0) {
2621 std::memmove(Dst, Dst + WordShift, WordsToMove * APINT_WORD_SIZE);
2622 } else {
2623 for (unsigned i = 0; i != WordsToMove; ++i) {
2624 Dst[i] = Dst[i + WordShift] >> BitShift;
2625 if (i + 1 != WordsToMove)
2626 Dst[i] |= Dst[i + WordShift + 1] << (APINT_BITS_PER_WORD - BitShift);
Neil Boothb6182162007-10-08 13:47:12 +00002627 }
Chris Lattner6b695682007-08-16 15:56:55 +00002628 }
Craig Topper9575d8f2017-04-17 21:43:43 +00002629
2630 // Fill in the remainder with 0s.
2631 std::memset(Dst + WordsToMove, 0, WordShift * APINT_WORD_SIZE);
Chris Lattner6b695682007-08-16 15:56:55 +00002632}
2633
2634/* Bitwise and of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002635void APInt::tcAnd(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002636 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002637 dst[i] &= rhs[i];
2638}
2639
2640/* Bitwise inclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002641void APInt::tcOr(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002642 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002643 dst[i] |= rhs[i];
2644}
2645
2646/* Bitwise exclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002647void APInt::tcXor(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002648 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002649 dst[i] ^= rhs[i];
2650}
2651
2652/* Complement a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002653void APInt::tcComplement(WordType *dst, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002654 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002655 dst[i] = ~dst[i];
2656}
2657
2658/* Comparison (unsigned) of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002659int APInt::tcCompare(const WordType *lhs, const WordType *rhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002660 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002661 while (parts) {
Craig Topper99cfe4f2017-04-01 21:50:06 +00002662 parts--;
Craig Topper1dc8fc82017-04-21 16:13:15 +00002663 if (lhs[parts] != rhs[parts])
2664 return (lhs[parts] > rhs[parts]) ? 1 : -1;
Craig Topper99cfe4f2017-04-01 21:50:06 +00002665 }
Chris Lattner6b695682007-08-16 15:56:55 +00002666
2667 return 0;
2668}
2669
Chris Lattner6b695682007-08-16 15:56:55 +00002670/* Set the least significant BITS bits of a bignum, clear the
2671 rest. */
Craig Topper55229b72017-04-02 19:17:22 +00002672void APInt::tcSetLeastSignificantBits(WordType *dst, unsigned parts,
Craig Topper6a8518082017-03-28 05:32:55 +00002673 unsigned bits) {
Craig Topperb0038162017-03-28 05:32:52 +00002674 unsigned i = 0;
Craig Topper55229b72017-04-02 19:17:22 +00002675 while (bits > APINT_BITS_PER_WORD) {
2676 dst[i++] = ~(WordType) 0;
2677 bits -= APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002678 }
2679
2680 if (bits)
Craig Topper55229b72017-04-02 19:17:22 +00002681 dst[i++] = ~(WordType) 0 >> (APINT_BITS_PER_WORD - bits);
Chris Lattner6b695682007-08-16 15:56:55 +00002682
2683 while (i < parts)
2684 dst[i++] = 0;
2685}