blob: 1ea6319acfadbff6a7763c9063264cfc4fa86b26 [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 Topperb339c6d2017-05-03 15:46:24 +000079 U.pVal = getClearedMemory(getNumWords());
80 U.pVal[0] = val;
Eric Christopher820256b2009-08-21 04:06:45 +000081 if (isSigned && int64_t(val) < 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +000082 for (unsigned i = 1; i < getNumWords(); ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +000083 U.pVal[i] = WORD_MAX;
Craig Topperf78a6f02017-03-01 21:06:18 +000084 clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +000085}
86
Chris Lattnerd57b7602008-10-11 22:07:19 +000087void APInt::initSlowCase(const APInt& that) {
Craig Topperb339c6d2017-05-03 15:46:24 +000088 U.pVal = getMemory(getNumWords());
89 memcpy(U.pVal, that.U.pVal, getNumWords() * APINT_WORD_SIZE);
Chris Lattnerd57b7602008-10-11 22:07:19 +000090}
91
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000092void APInt::initFromArray(ArrayRef<uint64_t> bigVal) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +000093 assert(BitWidth && "Bitwidth too small");
Jeffrey Yasskin7a162882011-07-18 21:45:40 +000094 assert(bigVal.data() && "Null pointer detected!");
Zhou Shengdac63782007-02-06 03:00:16 +000095 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +000096 U.VAL = bigVal[0];
Zhou Shengdac63782007-02-06 03:00:16 +000097 else {
Reid Spencerdf6cf5a2007-02-24 10:01:42 +000098 // Get memory, cleared to 0
Craig Topperb339c6d2017-05-03 15:46:24 +000099 U.pVal = getClearedMemory(getNumWords());
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000100 // Calculate the number of words to copy
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000101 unsigned words = std::min<unsigned>(bigVal.size(), getNumWords());
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000102 // Copy the words from bigVal to pVal
Craig Topperb339c6d2017-05-03 15:46:24 +0000103 memcpy(U.pVal, bigVal.data(), words * APINT_WORD_SIZE);
Zhou Shengdac63782007-02-06 03:00:16 +0000104 }
Reid Spencerdf6cf5a2007-02-24 10:01:42 +0000105 // Make sure unused high bits are cleared
106 clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000107}
108
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000109APInt::APInt(unsigned numBits, ArrayRef<uint64_t> bigVal)
Craig Topper0085ffb2017-03-20 01:29:52 +0000110 : BitWidth(numBits) {
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000111 initFromArray(bigVal);
112}
113
114APInt::APInt(unsigned numBits, unsigned numWords, const uint64_t bigVal[])
Craig Topper0085ffb2017-03-20 01:29:52 +0000115 : BitWidth(numBits) {
Jeffrey Yasskin7a162882011-07-18 21:45:40 +0000116 initFromArray(makeArrayRef(bigVal, numWords));
117}
118
Benjamin Kramer92d89982010-07-14 22:38:02 +0000119APInt::APInt(unsigned numbits, StringRef Str, uint8_t radix)
Craig Topperb339c6d2017-05-03 15:46:24 +0000120 : BitWidth(numbits) {
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000121 assert(BitWidth && "Bitwidth too small");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000122 fromString(numbits, Str, radix);
Zhou Sheng3e8022d2007-02-07 06:14:53 +0000123}
124
Craig Toppera92fd0b2017-05-12 01:46:01 +0000125void APInt::reallocate(unsigned NewBitWidth) {
126 // If the number of words is the same we can just change the width and stop.
127 if (getNumWords() == getNumWords(NewBitWidth)) {
128 BitWidth = NewBitWidth;
129 return;
130 }
131
132 // If we have an allocation, delete it.
133 if (!isSingleWord())
134 delete [] U.pVal;
135
136 // Update BitWidth.
137 BitWidth = NewBitWidth;
138
139 // If we are supposed to have an allocation, create it.
140 if (!isSingleWord())
141 U.pVal = getMemory(getNumWords());
142}
143
Craig Topperc67fe572017-04-19 17:01:58 +0000144void APInt::AssignSlowCase(const APInt& RHS) {
Reid Spencer7c16cd22007-02-26 23:38:21 +0000145 // Don't do anything for X = X
146 if (this == &RHS)
Craig Topperc67fe572017-04-19 17:01:58 +0000147 return;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000148
Craig Toppera92fd0b2017-05-12 01:46:01 +0000149 // Adjust the bit width and handle allocations as necessary.
150 reallocate(RHS.getBitWidth());
Reid Spencer7c16cd22007-02-26 23:38:21 +0000151
Craig Toppera92fd0b2017-05-12 01:46:01 +0000152 // Copy the data.
153 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000154 U.VAL = RHS.U.VAL;
Craig Toppera92fd0b2017-05-12 01:46:01 +0000155 else
156 memcpy(U.pVal, RHS.U.pVal, getNumWords() * APINT_WORD_SIZE);
Zhou Shengdac63782007-02-06 03:00:16 +0000157}
158
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000159/// This method 'profiles' an APInt for use with FoldingSet.
Ted Kremenek5c75d542008-01-19 04:23:33 +0000160void APInt::Profile(FoldingSetNodeID& ID) const {
Ted Kremenek901540f2008-02-19 20:50:41 +0000161 ID.AddInteger(BitWidth);
Eric Christopher820256b2009-08-21 04:06:45 +0000162
Ted Kremenek5c75d542008-01-19 04:23:33 +0000163 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000164 ID.AddInteger(U.VAL);
Ted Kremenek5c75d542008-01-19 04:23:33 +0000165 return;
166 }
167
Chris Lattner77527f52009-01-21 18:09:24 +0000168 unsigned NumWords = getNumWords();
Ted Kremenek5c75d542008-01-19 04:23:33 +0000169 for (unsigned i = 0; i < NumWords; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000170 ID.AddInteger(U.pVal[i]);
Ted Kremenek5c75d542008-01-19 04:23:33 +0000171}
172
Zhou Shengdac63782007-02-06 03:00:16 +0000173/// @brief Prefix increment operator. Increments the APInt by one.
174APInt& APInt::operator++() {
Eric Christopher820256b2009-08-21 04:06:45 +0000175 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000176 ++U.VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000177 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000178 tcIncrement(U.pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000179 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000180}
181
Zhou Shengdac63782007-02-06 03:00:16 +0000182/// @brief Prefix decrement operator. Decrements the APInt by one.
183APInt& APInt::operator--() {
Eric Christopher820256b2009-08-21 04:06:45 +0000184 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000185 --U.VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000186 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000187 tcDecrement(U.pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000188 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000189}
190
Reid Spencera41e93b2007-02-25 19:32:03 +0000191/// Adds the RHS APint to this APInt.
192/// @returns this, after addition of RHS.
Eric Christopher820256b2009-08-21 04:06:45 +0000193/// @brief Addition assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000194APInt& APInt::operator+=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000195 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000196 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000197 U.VAL += RHS.U.VAL;
Craig Topper15e484a2017-04-02 06:59:43 +0000198 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000199 tcAdd(U.pVal, RHS.U.pVal, 0, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000200 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000201}
202
Pete Cooperfea21392016-07-22 20:55:46 +0000203APInt& APInt::operator+=(uint64_t RHS) {
204 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000205 U.VAL += RHS;
Pete Cooperfea21392016-07-22 20:55:46 +0000206 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000207 tcAddPart(U.pVal, RHS, getNumWords());
Pete Cooperfea21392016-07-22 20:55:46 +0000208 return clearUnusedBits();
209}
210
Reid Spencera41e93b2007-02-25 19:32:03 +0000211/// Subtracts the RHS APInt from this APInt
212/// @returns this, after subtraction
Eric Christopher820256b2009-08-21 04:06:45 +0000213/// @brief Subtraction assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000214APInt& APInt::operator-=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000215 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000216 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000217 U.VAL -= RHS.U.VAL;
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000218 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000219 tcSubtract(U.pVal, RHS.U.pVal, 0, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000220 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000221}
222
Pete Cooperfea21392016-07-22 20:55:46 +0000223APInt& APInt::operator-=(uint64_t RHS) {
224 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000225 U.VAL -= RHS;
Pete Cooperfea21392016-07-22 20:55:46 +0000226 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000227 tcSubtractPart(U.pVal, RHS, getNumWords());
Pete Cooperfea21392016-07-22 20:55:46 +0000228 return clearUnusedBits();
229}
230
Craig Topper93c68e12017-05-04 17:00:41 +0000231APInt APInt::operator*(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000232 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Craig Topper93c68e12017-05-04 17:00:41 +0000233 if (isSingleWord())
234 return APInt(BitWidth, U.VAL * RHS.U.VAL);
Reid Spencer58a6a432007-02-21 08:21:52 +0000235
Craig Topper93c68e12017-05-04 17:00:41 +0000236 APInt Result(getMemory(getNumWords()), getBitWidth());
Reid Spencer58a6a432007-02-21 08:21:52 +0000237
Craig Topper93c68e12017-05-04 17:00:41 +0000238 tcMultiply(Result.U.pVal, U.pVal, RHS.U.pVal, getNumWords());
Reid Spencer58a6a432007-02-21 08:21:52 +0000239
Craig Topper93c68e12017-05-04 17:00:41 +0000240 Result.clearUnusedBits();
241 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000242}
243
Craig Topperc67fe572017-04-19 17:01:58 +0000244void APInt::AndAssignSlowCase(const APInt& RHS) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000245 tcAnd(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000246}
247
Craig Topperc67fe572017-04-19 17:01:58 +0000248void APInt::OrAssignSlowCase(const APInt& RHS) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000249 tcOr(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000250}
251
Craig Topperc67fe572017-04-19 17:01:58 +0000252void APInt::XorAssignSlowCase(const APInt& RHS) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000253 tcXor(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000254}
255
Craig Topper93c68e12017-05-04 17:00:41 +0000256APInt& APInt::operator*=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000257 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Craig Topper93c68e12017-05-04 17:00:41 +0000258 *this = *this * RHS;
259 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000260}
261
Craig Toppera51941f2017-05-08 04:55:09 +0000262APInt& APInt::operator*=(uint64_t RHS) {
263 if (isSingleWord()) {
264 U.VAL *= RHS;
265 } else {
266 unsigned NumWords = getNumWords();
267 tcMultiplyPart(U.pVal, U.pVal, RHS, 0, NumWords, NumWords, false);
268 }
269 return clearUnusedBits();
270}
271
Chris Lattner1ac3e252008-08-20 17:02:31 +0000272bool APInt::EqualSlowCase(const APInt& RHS) const {
Craig Topperb339c6d2017-05-03 15:46:24 +0000273 return std::equal(U.pVal, U.pVal + getNumWords(), RHS.U.pVal);
Zhou Shengdac63782007-02-06 03:00:16 +0000274}
275
Craig Topper1dc8fc82017-04-21 16:13:15 +0000276int APInt::compare(const APInt& RHS) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000277 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
278 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000279 return U.VAL < RHS.U.VAL ? -1 : U.VAL > RHS.U.VAL;
Reid Spencera41e93b2007-02-25 19:32:03 +0000280
Craig Topperb339c6d2017-05-03 15:46:24 +0000281 return tcCompare(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000282}
283
Craig Topper1dc8fc82017-04-21 16:13:15 +0000284int APInt::compareSigned(const APInt& RHS) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000285 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000286 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000287 int64_t lhsSext = SignExtend64(U.VAL, BitWidth);
288 int64_t rhsSext = SignExtend64(RHS.U.VAL, BitWidth);
Craig Topper1dc8fc82017-04-21 16:13:15 +0000289 return lhsSext < rhsSext ? -1 : lhsSext > rhsSext;
Reid Spencer1d072122007-02-16 22:36:51 +0000290 }
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000291
Reid Spencer54abdcf2007-02-27 18:23:40 +0000292 bool lhsNeg = isNegative();
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000293 bool rhsNeg = RHS.isNegative();
Reid Spencera41e93b2007-02-25 19:32:03 +0000294
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000295 // If the sign bits don't match, then (LHS < RHS) if LHS is negative
296 if (lhsNeg != rhsNeg)
Craig Topper1dc8fc82017-04-21 16:13:15 +0000297 return lhsNeg ? -1 : 1;
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000298
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000299 // Otherwise we can just use an unsigned comparison, because even negative
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000300 // numbers compare correctly this way if both have the same signed-ness.
Craig Topperb339c6d2017-05-03 15:46:24 +0000301 return tcCompare(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000302}
303
Craig Topperbafdd032017-03-07 01:56:01 +0000304void APInt::setBitsSlowCase(unsigned loBit, unsigned hiBit) {
305 unsigned loWord = whichWord(loBit);
306 unsigned hiWord = whichWord(hiBit);
Simon Pilgrimaed35222017-02-24 10:15:29 +0000307
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000308 // Create an initial mask for the low word with zeros below loBit.
Craig Topper5e113742017-04-22 06:31:36 +0000309 uint64_t loMask = WORD_MAX << whichBit(loBit);
Simon Pilgrimaed35222017-02-24 10:15:29 +0000310
Craig Topperbafdd032017-03-07 01:56:01 +0000311 // If hiBit is not aligned, we need a high mask.
312 unsigned hiShiftAmt = whichBit(hiBit);
313 if (hiShiftAmt != 0) {
314 // Create a high mask with zeros above hiBit.
Craig Topper5e113742017-04-22 06:31:36 +0000315 uint64_t hiMask = WORD_MAX >> (APINT_BITS_PER_WORD - hiShiftAmt);
Craig Topperbafdd032017-03-07 01:56:01 +0000316 // If loWord and hiWord are equal, then we combine the masks. Otherwise,
317 // set the bits in hiWord.
318 if (hiWord == loWord)
319 loMask &= hiMask;
320 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000321 U.pVal[hiWord] |= hiMask;
Simon Pilgrimaed35222017-02-24 10:15:29 +0000322 }
Craig Topperbafdd032017-03-07 01:56:01 +0000323 // Apply the mask to the low word.
Craig Topperb339c6d2017-05-03 15:46:24 +0000324 U.pVal[loWord] |= loMask;
Craig Topperbafdd032017-03-07 01:56:01 +0000325
326 // Fill any words between loWord and hiWord with all ones.
327 for (unsigned word = loWord + 1; word < hiWord; ++word)
Craig Topperb339c6d2017-05-03 15:46:24 +0000328 U.pVal[word] = WORD_MAX;
Simon Pilgrimaed35222017-02-24 10:15:29 +0000329}
330
Zhou Shengdac63782007-02-06 03:00:16 +0000331/// @brief Toggle every bit to its opposite value.
Craig Topperafc9e352017-03-27 17:10:21 +0000332void APInt::flipAllBitsSlowCase() {
Craig Topperb339c6d2017-05-03 15:46:24 +0000333 tcComplement(U.pVal, getNumWords());
Craig Topperafc9e352017-03-27 17:10:21 +0000334 clearUnusedBits();
335}
Zhou Shengdac63782007-02-06 03:00:16 +0000336
Eric Christopher820256b2009-08-21 04:06:45 +0000337/// Toggle a given bit to its opposite value whose position is given
Zhou Shengdac63782007-02-06 03:00:16 +0000338/// as "bitPosition".
339/// @brief Toggles a given bit to its opposite value.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000340void APInt::flipBit(unsigned bitPosition) {
Reid Spencer1d072122007-02-16 22:36:51 +0000341 assert(bitPosition < BitWidth && "Out of the bit-width range!");
Jay Foad25a5e4c2010-12-01 08:53:58 +0000342 if ((*this)[bitPosition]) clearBit(bitPosition);
343 else setBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000344}
345
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000346void APInt::insertBits(const APInt &subBits, unsigned bitPosition) {
347 unsigned subBitWidth = subBits.getBitWidth();
348 assert(0 < subBitWidth && (subBitWidth + bitPosition) <= BitWidth &&
349 "Illegal bit insertion");
350
351 // Insertion is a direct copy.
352 if (subBitWidth == BitWidth) {
353 *this = subBits;
354 return;
355 }
356
357 // Single word result can be done as a direct bitmask.
358 if (isSingleWord()) {
Craig Topper5e113742017-04-22 06:31:36 +0000359 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - subBitWidth);
Craig Topperb339c6d2017-05-03 15:46:24 +0000360 U.VAL &= ~(mask << bitPosition);
361 U.VAL |= (subBits.U.VAL << bitPosition);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000362 return;
363 }
364
365 unsigned loBit = whichBit(bitPosition);
366 unsigned loWord = whichWord(bitPosition);
367 unsigned hi1Word = whichWord(bitPosition + subBitWidth - 1);
368
369 // Insertion within a single word can be done as a direct bitmask.
370 if (loWord == hi1Word) {
Craig Topper5e113742017-04-22 06:31:36 +0000371 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - subBitWidth);
Craig Topperb339c6d2017-05-03 15:46:24 +0000372 U.pVal[loWord] &= ~(mask << loBit);
373 U.pVal[loWord] |= (subBits.U.VAL << loBit);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000374 return;
375 }
376
377 // Insert on word boundaries.
378 if (loBit == 0) {
379 // Direct copy whole words.
380 unsigned numWholeSubWords = subBitWidth / APINT_BITS_PER_WORD;
Craig Topperb339c6d2017-05-03 15:46:24 +0000381 memcpy(U.pVal + loWord, subBits.getRawData(),
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000382 numWholeSubWords * APINT_WORD_SIZE);
383
384 // Mask+insert remaining bits.
385 unsigned remainingBits = subBitWidth % APINT_BITS_PER_WORD;
386 if (remainingBits != 0) {
Craig Topper5e113742017-04-22 06:31:36 +0000387 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - remainingBits);
Craig Topperb339c6d2017-05-03 15:46:24 +0000388 U.pVal[hi1Word] &= ~mask;
389 U.pVal[hi1Word] |= subBits.getWord(subBitWidth - 1);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000390 }
391 return;
392 }
393
394 // General case - set/clear individual bits in dst based on src.
395 // TODO - there is scope for optimization here, but at the moment this code
396 // path is barely used so prefer readability over performance.
397 for (unsigned i = 0; i != subBitWidth; ++i) {
398 if (subBits[i])
399 setBit(bitPosition + i);
400 else
401 clearBit(bitPosition + i);
402 }
403}
404
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000405APInt APInt::extractBits(unsigned numBits, unsigned bitPosition) const {
406 assert(numBits > 0 && "Can't extract zero bits");
407 assert(bitPosition < BitWidth && (numBits + bitPosition) <= BitWidth &&
408 "Illegal bit extraction");
409
410 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000411 return APInt(numBits, U.VAL >> bitPosition);
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000412
413 unsigned loBit = whichBit(bitPosition);
414 unsigned loWord = whichWord(bitPosition);
415 unsigned hiWord = whichWord(bitPosition + numBits - 1);
416
417 // Single word result extracting bits from a single word source.
418 if (loWord == hiWord)
Craig Topperb339c6d2017-05-03 15:46:24 +0000419 return APInt(numBits, U.pVal[loWord] >> loBit);
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000420
421 // Extracting bits that start on a source word boundary can be done
422 // as a fast memory copy.
423 if (loBit == 0)
Craig Topperb339c6d2017-05-03 15:46:24 +0000424 return APInt(numBits, makeArrayRef(U.pVal + loWord, 1 + hiWord - loWord));
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000425
426 // General case - shift + copy source words directly into place.
427 APInt Result(numBits, 0);
428 unsigned NumSrcWords = getNumWords();
429 unsigned NumDstWords = Result.getNumWords();
430
431 for (unsigned word = 0; word < NumDstWords; ++word) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000432 uint64_t w0 = U.pVal[loWord + word];
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000433 uint64_t w1 =
Craig Topperb339c6d2017-05-03 15:46:24 +0000434 (loWord + word + 1) < NumSrcWords ? U.pVal[loWord + word + 1] : 0;
435 Result.U.pVal[word] = (w0 >> loBit) | (w1 << (APINT_BITS_PER_WORD - loBit));
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000436 }
437
438 return Result.clearUnusedBits();
439}
440
Benjamin Kramer92d89982010-07-14 22:38:02 +0000441unsigned APInt::getBitsNeeded(StringRef str, uint8_t radix) {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000442 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000443 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +0000444 radix == 36) &&
445 "Radix should be 2, 8, 10, 16, or 36!");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000446
447 size_t slen = str.size();
Reid Spencer9329e7b2007-04-13 19:19:07 +0000448
Eric Christopher43a1dec2009-08-21 04:10:31 +0000449 // Each computation below needs to know if it's negative.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000450 StringRef::iterator p = str.begin();
Eric Christopher43a1dec2009-08-21 04:10:31 +0000451 unsigned isNegative = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000452 if (*p == '-' || *p == '+') {
453 p++;
Reid Spencer9329e7b2007-04-13 19:19:07 +0000454 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +0000455 assert(slen && "String is only a sign, needs a value.");
Reid Spencer9329e7b2007-04-13 19:19:07 +0000456 }
Eric Christopher43a1dec2009-08-21 04:10:31 +0000457
Reid Spencer9329e7b2007-04-13 19:19:07 +0000458 // For radixes of power-of-two values, the bits required is accurately and
459 // easily computed
460 if (radix == 2)
461 return slen + isNegative;
462 if (radix == 8)
463 return slen * 3 + isNegative;
464 if (radix == 16)
465 return slen * 4 + isNegative;
466
Douglas Gregor663c0682011-09-14 15:54:46 +0000467 // FIXME: base 36
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000468
Reid Spencer9329e7b2007-04-13 19:19:07 +0000469 // This is grossly inefficient but accurate. We could probably do something
470 // with a computation of roughly slen*64/20 and then adjust by the value of
471 // the first few digits. But, I'm not sure how accurate that could be.
472
473 // Compute a sufficient number of bits that is always large enough but might
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000474 // be too large. This avoids the assertion in the constructor. This
475 // calculation doesn't work appropriately for the numbers 0-9, so just use 4
476 // bits in that case.
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000477 unsigned sufficient
Douglas Gregor663c0682011-09-14 15:54:46 +0000478 = radix == 10? (slen == 1 ? 4 : slen * 64/18)
479 : (slen == 1 ? 7 : slen * 16/3);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000480
481 // Convert to the actual binary value.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000482 APInt tmp(sufficient, StringRef(p, slen), radix);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000483
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000484 // Compute how many bits are required. If the log is infinite, assume we need
485 // just bit.
486 unsigned log = tmp.logBase2();
487 if (log == (unsigned)-1) {
488 return isNegative + 1;
489 } else {
490 return isNegative + log + 1;
491 }
Reid Spencer9329e7b2007-04-13 19:19:07 +0000492}
493
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000494hash_code llvm::hash_value(const APInt &Arg) {
495 if (Arg.isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000496 return hash_combine(Arg.U.VAL);
Reid Spencerb2bc9852007-02-26 21:02:27 +0000497
Craig Topperb339c6d2017-05-03 15:46:24 +0000498 return hash_combine_range(Arg.U.pVal, Arg.U.pVal + Arg.getNumWords());
Reid Spencerb2bc9852007-02-26 21:02:27 +0000499}
500
Benjamin Kramerb4b51502015-03-25 16:49:59 +0000501bool APInt::isSplat(unsigned SplatSizeInBits) const {
502 assert(getBitWidth() % SplatSizeInBits == 0 &&
503 "SplatSizeInBits must divide width!");
504 // We can check that all parts of an integer are equal by making use of a
505 // little trick: rotate and check if it's still the same value.
506 return *this == rotl(SplatSizeInBits);
507}
508
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000509/// This function returns the high "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000510APInt APInt::getHiBits(unsigned numBits) const {
Craig Toppere7e35602017-03-31 18:48:14 +0000511 return this->lshr(BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000512}
513
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000514/// This function returns the low "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000515APInt APInt::getLoBits(unsigned numBits) const {
Craig Toppere7e35602017-03-31 18:48:14 +0000516 APInt Result(getLowBitsSet(BitWidth, numBits));
517 Result &= *this;
518 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000519}
520
Craig Topper9881bd92017-05-02 06:32:27 +0000521/// Return a value containing V broadcasted over NewLen bits.
522APInt APInt::getSplat(unsigned NewLen, const APInt &V) {
523 assert(NewLen >= V.getBitWidth() && "Can't splat to smaller bit width!");
524
525 APInt Val = V.zextOrSelf(NewLen);
526 for (unsigned I = V.getBitWidth(); I < NewLen; I <<= 1)
527 Val |= Val << I;
528
529 return Val;
530}
531
Chris Lattner77527f52009-01-21 18:09:24 +0000532unsigned APInt::countLeadingZerosSlowCase() const {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000533 unsigned Count = 0;
534 for (int i = getNumWords()-1; i >= 0; --i) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000535 uint64_t V = U.pVal[i];
Matthias Brauna6be4e82016-02-15 20:06:22 +0000536 if (V == 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +0000537 Count += APINT_BITS_PER_WORD;
538 else {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000539 Count += llvm::countLeadingZeros(V);
Chris Lattner1ac3e252008-08-20 17:02:31 +0000540 break;
Reid Spencer74cf82e2007-02-21 00:29:48 +0000541 }
Zhou Shengdac63782007-02-06 03:00:16 +0000542 }
Matthias Brauna6be4e82016-02-15 20:06:22 +0000543 // Adjust for unused bits in the most significant word (they are zero).
544 unsigned Mod = BitWidth % APINT_BITS_PER_WORD;
545 Count -= Mod > 0 ? APINT_BITS_PER_WORD - Mod : 0;
John McCalldf951bd2010-02-03 03:42:44 +0000546 return Count;
Zhou Shengdac63782007-02-06 03:00:16 +0000547}
548
Craig Topper40516522017-06-23 20:28:45 +0000549unsigned APInt::countLeadingOnesSlowCase() const {
Chris Lattner77527f52009-01-21 18:09:24 +0000550 unsigned highWordBits = BitWidth % APINT_BITS_PER_WORD;
Torok Edwinec39eb82009-01-27 18:06:03 +0000551 unsigned shift;
552 if (!highWordBits) {
553 highWordBits = APINT_BITS_PER_WORD;
554 shift = 0;
555 } else {
556 shift = APINT_BITS_PER_WORD - highWordBits;
557 }
Reid Spencer31acef52007-02-27 21:59:26 +0000558 int i = getNumWords() - 1;
Craig Topperb339c6d2017-05-03 15:46:24 +0000559 unsigned Count = llvm::countLeadingOnes(U.pVal[i] << shift);
Reid Spencer31acef52007-02-27 21:59:26 +0000560 if (Count == highWordBits) {
561 for (i--; i >= 0; --i) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000562 if (U.pVal[i] == WORD_MAX)
Reid Spencer31acef52007-02-27 21:59:26 +0000563 Count += APINT_BITS_PER_WORD;
564 else {
Craig Topperb339c6d2017-05-03 15:46:24 +0000565 Count += llvm::countLeadingOnes(U.pVal[i]);
Reid Spencer31acef52007-02-27 21:59:26 +0000566 break;
567 }
568 }
569 }
570 return Count;
571}
572
Craig Topper40516522017-06-23 20:28:45 +0000573unsigned APInt::countTrailingZerosSlowCase() const {
Chris Lattner77527f52009-01-21 18:09:24 +0000574 unsigned Count = 0;
575 unsigned i = 0;
Craig Topperb339c6d2017-05-03 15:46:24 +0000576 for (; i < getNumWords() && U.pVal[i] == 0; ++i)
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000577 Count += APINT_BITS_PER_WORD;
578 if (i < getNumWords())
Craig Topperb339c6d2017-05-03 15:46:24 +0000579 Count += llvm::countTrailingZeros(U.pVal[i]);
Chris Lattnerc2c4c742007-11-23 22:36:25 +0000580 return std::min(Count, BitWidth);
Zhou Shengdac63782007-02-06 03:00:16 +0000581}
582
Chris Lattner77527f52009-01-21 18:09:24 +0000583unsigned APInt::countTrailingOnesSlowCase() const {
584 unsigned Count = 0;
585 unsigned i = 0;
Craig Topperb339c6d2017-05-03 15:46:24 +0000586 for (; i < getNumWords() && U.pVal[i] == WORD_MAX; ++i)
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000587 Count += APINT_BITS_PER_WORD;
588 if (i < getNumWords())
Craig Topperb339c6d2017-05-03 15:46:24 +0000589 Count += llvm::countTrailingOnes(U.pVal[i]);
Craig Topper3a29e3b82017-04-22 19:59:11 +0000590 assert(Count <= BitWidth);
591 return Count;
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000592}
593
Chris Lattner77527f52009-01-21 18:09:24 +0000594unsigned APInt::countPopulationSlowCase() const {
595 unsigned Count = 0;
596 for (unsigned i = 0; i < getNumWords(); ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000597 Count += llvm::countPopulation(U.pVal[i]);
Zhou Shengdac63782007-02-06 03:00:16 +0000598 return Count;
599}
600
Craig Topperbaa392e2017-04-20 02:11:27 +0000601bool APInt::intersectsSlowCase(const APInt &RHS) const {
602 for (unsigned i = 0, e = getNumWords(); i != e; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000603 if ((U.pVal[i] & RHS.U.pVal[i]) != 0)
Craig Topperbaa392e2017-04-20 02:11:27 +0000604 return true;
605
606 return false;
607}
608
Craig Toppera8129a12017-04-20 16:17:13 +0000609bool APInt::isSubsetOfSlowCase(const APInt &RHS) const {
610 for (unsigned i = 0, e = getNumWords(); i != e; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000611 if ((U.pVal[i] & ~RHS.U.pVal[i]) != 0)
Craig Toppera8129a12017-04-20 16:17:13 +0000612 return false;
613
614 return true;
615}
616
Reid Spencer1d072122007-02-16 22:36:51 +0000617APInt APInt::byteSwap() const {
618 assert(BitWidth >= 16 && BitWidth % 16 == 0 && "Cannot byteswap!");
619 if (BitWidth == 16)
Craig Topperb339c6d2017-05-03 15:46:24 +0000620 return APInt(BitWidth, ByteSwap_16(uint16_t(U.VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000621 if (BitWidth == 32)
Craig Topperb339c6d2017-05-03 15:46:24 +0000622 return APInt(BitWidth, ByteSwap_32(unsigned(U.VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000623 if (BitWidth == 48) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000624 unsigned Tmp1 = unsigned(U.VAL >> 16);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000625 Tmp1 = ByteSwap_32(Tmp1);
Craig Topperb339c6d2017-05-03 15:46:24 +0000626 uint16_t Tmp2 = uint16_t(U.VAL);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000627 Tmp2 = ByteSwap_16(Tmp2);
Jeff Cohene06855e2007-03-20 20:42:36 +0000628 return APInt(BitWidth, (uint64_t(Tmp2) << 32) | Tmp1);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000629 }
Richard Smith4f9a8082011-11-23 21:33:37 +0000630 if (BitWidth == 64)
Craig Topperb339c6d2017-05-03 15:46:24 +0000631 return APInt(BitWidth, ByteSwap_64(U.VAL));
Richard Smith4f9a8082011-11-23 21:33:37 +0000632
633 APInt Result(getNumWords() * APINT_BITS_PER_WORD, 0);
634 for (unsigned I = 0, N = getNumWords(); I != N; ++I)
Craig Topperb339c6d2017-05-03 15:46:24 +0000635 Result.U.pVal[I] = ByteSwap_64(U.pVal[N - I - 1]);
Richard Smith4f9a8082011-11-23 21:33:37 +0000636 if (Result.BitWidth != BitWidth) {
Richard Smith55bd3752017-04-13 20:29:59 +0000637 Result.lshrInPlace(Result.BitWidth - BitWidth);
Richard Smith4f9a8082011-11-23 21:33:37 +0000638 Result.BitWidth = BitWidth;
639 }
640 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000641}
642
Matt Arsenault155dda92016-03-21 15:00:35 +0000643APInt APInt::reverseBits() const {
644 switch (BitWidth) {
645 case 64:
Craig Topperb339c6d2017-05-03 15:46:24 +0000646 return APInt(BitWidth, llvm::reverseBits<uint64_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000647 case 32:
Craig Topperb339c6d2017-05-03 15:46:24 +0000648 return APInt(BitWidth, llvm::reverseBits<uint32_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000649 case 16:
Craig Topperb339c6d2017-05-03 15:46:24 +0000650 return APInt(BitWidth, llvm::reverseBits<uint16_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000651 case 8:
Craig Topperb339c6d2017-05-03 15:46:24 +0000652 return APInt(BitWidth, llvm::reverseBits<uint8_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000653 default:
654 break;
655 }
656
657 APInt Val(*this);
Craig Topper9eaef072017-04-18 05:02:21 +0000658 APInt Reversed(BitWidth, 0);
659 unsigned S = BitWidth;
Matt Arsenault155dda92016-03-21 15:00:35 +0000660
Craig Topper9eaef072017-04-18 05:02:21 +0000661 for (; Val != 0; Val.lshrInPlace(1)) {
Matt Arsenault155dda92016-03-21 15:00:35 +0000662 Reversed <<= 1;
Craig Topper9eaef072017-04-18 05:02:21 +0000663 Reversed |= Val[0];
Matt Arsenault155dda92016-03-21 15:00:35 +0000664 --S;
665 }
666
667 Reversed <<= S;
668 return Reversed;
669}
670
Craig Topper278ebd22017-04-01 20:30:57 +0000671APInt llvm::APIntOps::GreatestCommonDivisor(APInt A, APInt B) {
Richard Smith55bd3752017-04-13 20:29:59 +0000672 // Fast-path a common case.
673 if (A == B) return A;
674
675 // Corner cases: if either operand is zero, the other is the gcd.
676 if (!A) return B;
677 if (!B) return A;
678
679 // Count common powers of 2 and remove all other powers of 2.
680 unsigned Pow2;
681 {
682 unsigned Pow2_A = A.countTrailingZeros();
683 unsigned Pow2_B = B.countTrailingZeros();
684 if (Pow2_A > Pow2_B) {
685 A.lshrInPlace(Pow2_A - Pow2_B);
686 Pow2 = Pow2_B;
687 } else if (Pow2_B > Pow2_A) {
688 B.lshrInPlace(Pow2_B - Pow2_A);
689 Pow2 = Pow2_A;
690 } else {
691 Pow2 = Pow2_A;
692 }
Zhou Shengdac63782007-02-06 03:00:16 +0000693 }
Richard Smith55bd3752017-04-13 20:29:59 +0000694
695 // Both operands are odd multiples of 2^Pow_2:
696 //
697 // gcd(a, b) = gcd(|a - b| / 2^i, min(a, b))
698 //
699 // This is a modified version of Stein's algorithm, taking advantage of
700 // efficient countTrailingZeros().
701 while (A != B) {
702 if (A.ugt(B)) {
703 A -= B;
704 A.lshrInPlace(A.countTrailingZeros() - Pow2);
705 } else {
706 B -= A;
707 B.lshrInPlace(B.countTrailingZeros() - Pow2);
708 }
709 }
710
Zhou Shengdac63782007-02-06 03:00:16 +0000711 return A;
712}
Chris Lattner28cbd1d2007-02-06 05:38:37 +0000713
Chris Lattner77527f52009-01-21 18:09:24 +0000714APInt llvm::APIntOps::RoundDoubleToAPInt(double Double, unsigned width) {
Zhou Shengd707d632007-02-12 20:02:55 +0000715 union {
716 double D;
717 uint64_t I;
718 } T;
719 T.D = Double;
Reid Spencer974551a2007-02-27 01:28:10 +0000720
721 // Get the sign bit from the highest order bit
Zhou Shengd707d632007-02-12 20:02:55 +0000722 bool isNeg = T.I >> 63;
Reid Spencer974551a2007-02-27 01:28:10 +0000723
724 // Get the 11-bit exponent and adjust for the 1023 bit bias
Zhou Shengd707d632007-02-12 20:02:55 +0000725 int64_t exp = ((T.I >> 52) & 0x7ff) - 1023;
Reid Spencer974551a2007-02-27 01:28:10 +0000726
727 // If the exponent is negative, the value is < 0 so just return 0.
Zhou Shengd707d632007-02-12 20:02:55 +0000728 if (exp < 0)
Reid Spencer66d0d572007-02-28 01:30:08 +0000729 return APInt(width, 0u);
Reid Spencer974551a2007-02-27 01:28:10 +0000730
731 // Extract the mantissa by clearing the top 12 bits (sign + exponent).
732 uint64_t mantissa = (T.I & (~0ULL >> 12)) | 1ULL << 52;
733
734 // If the exponent doesn't shift all bits out of the mantissa
Zhou Shengd707d632007-02-12 20:02:55 +0000735 if (exp < 52)
Eric Christopher820256b2009-08-21 04:06:45 +0000736 return isNeg ? -APInt(width, mantissa >> (52 - exp)) :
Reid Spencer54abdcf2007-02-27 18:23:40 +0000737 APInt(width, mantissa >> (52 - exp));
738
739 // If the client didn't provide enough bits for us to shift the mantissa into
740 // then the result is undefined, just return 0
741 if (width <= exp - 52)
742 return APInt(width, 0);
Reid Spencer974551a2007-02-27 01:28:10 +0000743
744 // Otherwise, we have to shift the mantissa bits up to the right location
Reid Spencer54abdcf2007-02-27 18:23:40 +0000745 APInt Tmp(width, mantissa);
Craig Topper24e71012017-04-28 03:36:24 +0000746 Tmp <<= (unsigned)exp - 52;
Zhou Shengd707d632007-02-12 20:02:55 +0000747 return isNeg ? -Tmp : Tmp;
748}
749
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000750/// This function converts this APInt to a double.
Zhou Shengd707d632007-02-12 20:02:55 +0000751/// The layout for double is as following (IEEE Standard 754):
752/// --------------------------------------
753/// | Sign Exponent Fraction Bias |
754/// |-------------------------------------- |
755/// | 1[63] 11[62-52] 52[51-00] 1023 |
Eric Christopher820256b2009-08-21 04:06:45 +0000756/// --------------------------------------
Reid Spencer1d072122007-02-16 22:36:51 +0000757double APInt::roundToDouble(bool isSigned) const {
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000758
759 // Handle the simple case where the value is contained in one uint64_t.
Dale Johannesen54be7852009-08-12 18:04:11 +0000760 // It is wrong to optimize getWord(0) to VAL; there might be more than one word.
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000761 if (isSingleWord() || getActiveBits() <= APINT_BITS_PER_WORD) {
762 if (isSigned) {
David Majnemer03992262016-06-24 21:15:36 +0000763 int64_t sext = SignExtend64(getWord(0), BitWidth);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000764 return double(sext);
765 } else
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000766 return double(getWord(0));
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000767 }
768
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000769 // Determine if the value is negative.
Reid Spencer1d072122007-02-16 22:36:51 +0000770 bool isNeg = isSigned ? (*this)[BitWidth-1] : false;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000771
772 // Construct the absolute value if we're negative.
Zhou Shengd707d632007-02-12 20:02:55 +0000773 APInt Tmp(isNeg ? -(*this) : (*this));
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000774
775 // Figure out how many bits we're using.
Chris Lattner77527f52009-01-21 18:09:24 +0000776 unsigned n = Tmp.getActiveBits();
Zhou Shengd707d632007-02-12 20:02:55 +0000777
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000778 // The exponent (without bias normalization) is just the number of bits
779 // we are using. Note that the sign bit is gone since we constructed the
780 // absolute value.
781 uint64_t exp = n;
Zhou Shengd707d632007-02-12 20:02:55 +0000782
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000783 // Return infinity for exponent overflow
784 if (exp > 1023) {
785 if (!isSigned || !isNeg)
Jeff Cohene06855e2007-03-20 20:42:36 +0000786 return std::numeric_limits<double>::infinity();
Eric Christopher820256b2009-08-21 04:06:45 +0000787 else
Jeff Cohene06855e2007-03-20 20:42:36 +0000788 return -std::numeric_limits<double>::infinity();
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000789 }
790 exp += 1023; // Increment for 1023 bias
791
792 // Number of bits in mantissa is 52. To obtain the mantissa value, we must
793 // extract the high 52 bits from the correct words in pVal.
Zhou Shengd707d632007-02-12 20:02:55 +0000794 uint64_t mantissa;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000795 unsigned hiWord = whichWord(n-1);
796 if (hiWord == 0) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000797 mantissa = Tmp.U.pVal[0];
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000798 if (n > 52)
799 mantissa >>= n - 52; // shift down, we want the top 52 bits.
800 } else {
801 assert(hiWord > 0 && "huh?");
Craig Topperb339c6d2017-05-03 15:46:24 +0000802 uint64_t hibits = Tmp.U.pVal[hiWord] << (52 - n % APINT_BITS_PER_WORD);
803 uint64_t lobits = Tmp.U.pVal[hiWord-1] >> (11 + n % APINT_BITS_PER_WORD);
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000804 mantissa = hibits | lobits;
805 }
806
Zhou Shengd707d632007-02-12 20:02:55 +0000807 // The leading bit of mantissa is implicit, so get rid of it.
Reid Spencerfbd48a52007-02-18 00:44:22 +0000808 uint64_t sign = isNeg ? (1ULL << (APINT_BITS_PER_WORD - 1)) : 0;
Zhou Shengd707d632007-02-12 20:02:55 +0000809 union {
810 double D;
811 uint64_t I;
812 } T;
813 T.I = sign | (exp << 52) | mantissa;
814 return T.D;
815}
816
Reid Spencer1d072122007-02-16 22:36:51 +0000817// Truncate to new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000818APInt APInt::trunc(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000819 assert(width < BitWidth && "Invalid APInt Truncate request");
Chris Lattner1ac3e252008-08-20 17:02:31 +0000820 assert(width && "Can't truncate to 0 bits");
Jay Foad583abbc2010-12-07 08:25:19 +0000821
822 if (width <= APINT_BITS_PER_WORD)
823 return APInt(width, getRawData()[0]);
824
825 APInt Result(getMemory(getNumWords(width)), width);
826
827 // Copy full words.
828 unsigned i;
829 for (i = 0; i != width / APINT_BITS_PER_WORD; i++)
Craig Topperb339c6d2017-05-03 15:46:24 +0000830 Result.U.pVal[i] = U.pVal[i];
Jay Foad583abbc2010-12-07 08:25:19 +0000831
832 // Truncate and copy any partial word.
833 unsigned bits = (0 - width) % APINT_BITS_PER_WORD;
834 if (bits != 0)
Craig Topperb339c6d2017-05-03 15:46:24 +0000835 Result.U.pVal[i] = U.pVal[i] << bits >> bits;
Jay Foad583abbc2010-12-07 08:25:19 +0000836
837 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000838}
839
840// Sign extend to a new width.
Craig Topper1dec2812017-04-24 17:37:10 +0000841APInt APInt::sext(unsigned Width) const {
842 assert(Width > BitWidth && "Invalid APInt SignExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000843
Craig Topper1dec2812017-04-24 17:37:10 +0000844 if (Width <= APINT_BITS_PER_WORD)
Craig Topperb339c6d2017-05-03 15:46:24 +0000845 return APInt(Width, SignExtend64(U.VAL, BitWidth));
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000846
Craig Topper1dec2812017-04-24 17:37:10 +0000847 APInt Result(getMemory(getNumWords(Width)), Width);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000848
Craig Topper1dec2812017-04-24 17:37:10 +0000849 // Copy words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000850 std::memcpy(Result.U.pVal, getRawData(), getNumWords() * APINT_WORD_SIZE);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000851
Craig Topper1dec2812017-04-24 17:37:10 +0000852 // Sign extend the last word since there may be unused bits in the input.
Craig Topperb339c6d2017-05-03 15:46:24 +0000853 Result.U.pVal[getNumWords() - 1] =
854 SignExtend64(Result.U.pVal[getNumWords() - 1],
Craig Topper1dec2812017-04-24 17:37:10 +0000855 ((BitWidth - 1) % APINT_BITS_PER_WORD) + 1);
Jay Foad583abbc2010-12-07 08:25:19 +0000856
Craig Topper1dec2812017-04-24 17:37:10 +0000857 // Fill with sign bits.
Craig Topperb339c6d2017-05-03 15:46:24 +0000858 std::memset(Result.U.pVal + getNumWords(), isNegative() ? -1 : 0,
Craig Topper1dec2812017-04-24 17:37:10 +0000859 (Result.getNumWords() - getNumWords()) * APINT_WORD_SIZE);
860 Result.clearUnusedBits();
Jay Foad583abbc2010-12-07 08:25:19 +0000861 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000862}
863
864// Zero extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000865APInt APInt::zext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000866 assert(width > BitWidth && "Invalid APInt ZeroExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000867
868 if (width <= APINT_BITS_PER_WORD)
Craig Topperb339c6d2017-05-03 15:46:24 +0000869 return APInt(width, U.VAL);
Jay Foad583abbc2010-12-07 08:25:19 +0000870
871 APInt Result(getMemory(getNumWords(width)), width);
872
873 // Copy words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000874 std::memcpy(Result.U.pVal, getRawData(), getNumWords() * APINT_WORD_SIZE);
Jay Foad583abbc2010-12-07 08:25:19 +0000875
876 // Zero remaining words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000877 std::memset(Result.U.pVal + getNumWords(), 0,
Craig Topper1dec2812017-04-24 17:37:10 +0000878 (Result.getNumWords() - getNumWords()) * APINT_WORD_SIZE);
Jay Foad583abbc2010-12-07 08:25:19 +0000879
880 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000881}
882
Jay Foad583abbc2010-12-07 08:25:19 +0000883APInt APInt::zextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +0000884 if (BitWidth < width)
885 return zext(width);
886 if (BitWidth > width)
887 return trunc(width);
888 return *this;
889}
890
Jay Foad583abbc2010-12-07 08:25:19 +0000891APInt APInt::sextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +0000892 if (BitWidth < width)
893 return sext(width);
894 if (BitWidth > width)
895 return trunc(width);
896 return *this;
897}
898
Rafael Espindolabb893fe2012-01-27 23:33:07 +0000899APInt APInt::zextOrSelf(unsigned width) const {
900 if (BitWidth < width)
901 return zext(width);
902 return *this;
903}
904
905APInt APInt::sextOrSelf(unsigned width) const {
906 if (BitWidth < width)
907 return sext(width);
908 return *this;
909}
910
Zhou Shenge93db8f2007-02-09 07:48:24 +0000911/// Arithmetic right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000912/// @brief Arithmetic right-shift function.
Craig Topper8b373262017-04-24 17:18:47 +0000913void APInt::ashrInPlace(const APInt &shiftAmt) {
914 ashrInPlace((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +0000915}
916
917/// Arithmetic right-shift this APInt by shiftAmt.
918/// @brief Arithmetic right-shift function.
Craig Topper8b373262017-04-24 17:18:47 +0000919void APInt::ashrSlowCase(unsigned ShiftAmt) {
920 // Don't bother performing a no-op shift.
921 if (!ShiftAmt)
922 return;
Reid Spencer1825dd02007-03-02 22:39:11 +0000923
Craig Topper8b373262017-04-24 17:18:47 +0000924 // Save the original sign bit for later.
925 bool Negative = isNegative();
Reid Spencer522ca7c2007-02-25 01:56:07 +0000926
Craig Topper8b373262017-04-24 17:18:47 +0000927 // WordShift is the inter-part shift; BitShift is is intra-part shift.
928 unsigned WordShift = ShiftAmt / APINT_BITS_PER_WORD;
929 unsigned BitShift = ShiftAmt % APINT_BITS_PER_WORD;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000930
Craig Topper8b373262017-04-24 17:18:47 +0000931 unsigned WordsToMove = getNumWords() - WordShift;
932 if (WordsToMove != 0) {
933 // Sign extend the last word to fill in the unused bits.
Craig Topperb339c6d2017-05-03 15:46:24 +0000934 U.pVal[getNumWords() - 1] = SignExtend64(
935 U.pVal[getNumWords() - 1], ((BitWidth - 1) % APINT_BITS_PER_WORD) + 1);
Renato Golincc4a9122017-04-23 12:02:07 +0000936
Craig Topper8b373262017-04-24 17:18:47 +0000937 // Fastpath for moving by whole words.
938 if (BitShift == 0) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000939 std::memmove(U.pVal, U.pVal + WordShift, WordsToMove * APINT_WORD_SIZE);
Craig Topper8b373262017-04-24 17:18:47 +0000940 } else {
941 // Move the words containing significant bits.
942 for (unsigned i = 0; i != WordsToMove - 1; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000943 U.pVal[i] = (U.pVal[i + WordShift] >> BitShift) |
944 (U.pVal[i + WordShift + 1] << (APINT_BITS_PER_WORD - BitShift));
Renato Golincc4a9122017-04-23 12:02:07 +0000945
Craig Topper8b373262017-04-24 17:18:47 +0000946 // Handle the last word which has no high bits to copy.
Craig Topperb339c6d2017-05-03 15:46:24 +0000947 U.pVal[WordsToMove - 1] = U.pVal[WordShift + WordsToMove - 1] >> BitShift;
Craig Topper8b373262017-04-24 17:18:47 +0000948 // Sign extend one more time.
Craig Topperb339c6d2017-05-03 15:46:24 +0000949 U.pVal[WordsToMove - 1] =
950 SignExtend64(U.pVal[WordsToMove - 1], APINT_BITS_PER_WORD - BitShift);
Chris Lattnerdad2d092007-05-03 18:15:36 +0000951 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000952 }
953
Craig Topper8b373262017-04-24 17:18:47 +0000954 // Fill in the remainder based on the original sign.
Craig Topperb339c6d2017-05-03 15:46:24 +0000955 std::memset(U.pVal + WordsToMove, Negative ? -1 : 0,
Craig Topper8b373262017-04-24 17:18:47 +0000956 WordShift * APINT_WORD_SIZE);
957 clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000958}
959
Zhou Shenge93db8f2007-02-09 07:48:24 +0000960/// Logical right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000961/// @brief Logical right-shift function.
Craig Topperfc947bc2017-04-18 17:14:21 +0000962void APInt::lshrInPlace(const APInt &shiftAmt) {
963 lshrInPlace((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +0000964}
965
966/// Logical right-shift this APInt by shiftAmt.
967/// @brief Logical right-shift function.
Craig Topperae8bd672017-04-18 19:13:27 +0000968void APInt::lshrSlowCase(unsigned ShiftAmt) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000969 tcShiftRight(U.pVal, getNumWords(), ShiftAmt);
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000970}
971
Zhou Shenge93db8f2007-02-09 07:48:24 +0000972/// Left-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000973/// @brief Left-shift function.
Craig Topper24e71012017-04-28 03:36:24 +0000974APInt &APInt::operator<<=(const APInt &shiftAmt) {
Nick Lewycky030c4502009-01-19 17:42:33 +0000975 // It's undefined behavior in C to shift by BitWidth or greater.
Craig Topper24e71012017-04-28 03:36:24 +0000976 *this <<= (unsigned)shiftAmt.getLimitedValue(BitWidth);
977 return *this;
Dan Gohman105c1d42008-02-29 01:40:47 +0000978}
979
Craig Toppera8a4f0d2017-04-18 04:39:48 +0000980void APInt::shlSlowCase(unsigned ShiftAmt) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000981 tcShiftLeft(U.pVal, getNumWords(), ShiftAmt);
Craig Toppera8a4f0d2017-04-18 04:39:48 +0000982 clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000983}
984
Joey Gouly51c0ae52017-02-07 11:58:22 +0000985// Calculate the rotate amount modulo the bit width.
986static unsigned rotateModulo(unsigned BitWidth, const APInt &rotateAmt) {
987 unsigned rotBitWidth = rotateAmt.getBitWidth();
988 APInt rot = rotateAmt;
989 if (rotBitWidth < BitWidth) {
990 // Extend the rotate APInt, so that the urem doesn't divide by 0.
991 // e.g. APInt(1, 32) would give APInt(1, 0).
992 rot = rotateAmt.zext(BitWidth);
993 }
994 rot = rot.urem(APInt(rot.getBitWidth(), BitWidth));
995 return rot.getLimitedValue(BitWidth);
996}
997
Dan Gohman105c1d42008-02-29 01:40:47 +0000998APInt APInt::rotl(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +0000999 return rotl(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001000}
1001
Chris Lattner77527f52009-01-21 18:09:24 +00001002APInt APInt::rotl(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001003 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001004 if (rotateAmt == 0)
1005 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001006 return shl(rotateAmt) | lshr(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001007}
1008
Dan Gohman105c1d42008-02-29 01:40:47 +00001009APInt APInt::rotr(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +00001010 return rotr(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001011}
1012
Chris Lattner77527f52009-01-21 18:09:24 +00001013APInt APInt::rotr(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001014 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001015 if (rotateAmt == 0)
1016 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001017 return lshr(rotateAmt) | shl(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001018}
Reid Spencerd99feaf2007-03-01 05:39:56 +00001019
1020// Square Root - this method computes and returns the square root of "this".
1021// Three mechanisms are used for computation. For small values (<= 5 bits),
1022// a table lookup is done. This gets some performance for common cases. For
1023// values using less than 52 bits, the value is converted to double and then
1024// the libc sqrt function is called. The result is rounded and then converted
1025// back to a uint64_t which is then used to construct the result. Finally,
Eric Christopher820256b2009-08-21 04:06:45 +00001026// the Babylonian method for computing square roots is used.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001027APInt APInt::sqrt() const {
1028
1029 // Determine the magnitude of the value.
Chris Lattner77527f52009-01-21 18:09:24 +00001030 unsigned magnitude = getActiveBits();
Reid Spencerd99feaf2007-03-01 05:39:56 +00001031
1032 // Use a fast table for some small values. This also gets rid of some
1033 // rounding errors in libc sqrt for small values.
1034 if (magnitude <= 5) {
Reid Spencer2f6ad4d2007-03-01 17:47:31 +00001035 static const uint8_t results[32] = {
Reid Spencerc8841d22007-03-01 06:23:32 +00001036 /* 0 */ 0,
1037 /* 1- 2 */ 1, 1,
Eric Christopher820256b2009-08-21 04:06:45 +00001038 /* 3- 6 */ 2, 2, 2, 2,
Reid Spencerc8841d22007-03-01 06:23:32 +00001039 /* 7-12 */ 3, 3, 3, 3, 3, 3,
1040 /* 13-20 */ 4, 4, 4, 4, 4, 4, 4, 4,
1041 /* 21-30 */ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1042 /* 31 */ 6
1043 };
Craig Topperb339c6d2017-05-03 15:46:24 +00001044 return APInt(BitWidth, results[ (isSingleWord() ? U.VAL : U.pVal[0]) ]);
Reid Spencerd99feaf2007-03-01 05:39:56 +00001045 }
1046
1047 // If the magnitude of the value fits in less than 52 bits (the precision of
1048 // an IEEE double precision floating point value), then we can use the
1049 // libc sqrt function which will probably use a hardware sqrt computation.
1050 // This should be faster than the algorithm below.
Jeff Cohenb622c112007-03-05 00:00:42 +00001051 if (magnitude < 52) {
Eric Christopher820256b2009-08-21 04:06:45 +00001052 return APInt(BitWidth,
Craig Topperb339c6d2017-05-03 15:46:24 +00001053 uint64_t(::round(::sqrt(double(isSingleWord() ? U.VAL
1054 : U.pVal[0])))));
Jeff Cohenb622c112007-03-05 00:00:42 +00001055 }
Reid Spencerd99feaf2007-03-01 05:39:56 +00001056
1057 // Okay, all the short cuts are exhausted. We must compute it. The following
1058 // is a classical Babylonian method for computing the square root. This code
Sanjay Patel4cb54e02014-09-11 15:41:01 +00001059 // was adapted to APInt from a wikipedia article on such computations.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001060 // See http://www.wikipedia.org/ and go to the page named
Eric Christopher820256b2009-08-21 04:06:45 +00001061 // Calculate_an_integer_square_root.
Chris Lattner77527f52009-01-21 18:09:24 +00001062 unsigned nbits = BitWidth, i = 4;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001063 APInt testy(BitWidth, 16);
1064 APInt x_old(BitWidth, 1);
1065 APInt x_new(BitWidth, 0);
1066 APInt two(BitWidth, 2);
1067
1068 // Select a good starting value using binary logarithms.
Eric Christopher820256b2009-08-21 04:06:45 +00001069 for (;; i += 2, testy = testy.shl(2))
Reid Spencerd99feaf2007-03-01 05:39:56 +00001070 if (i >= nbits || this->ule(testy)) {
1071 x_old = x_old.shl(i / 2);
1072 break;
1073 }
1074
Eric Christopher820256b2009-08-21 04:06:45 +00001075 // Use the Babylonian method to arrive at the integer square root:
Reid Spencerd99feaf2007-03-01 05:39:56 +00001076 for (;;) {
1077 x_new = (this->udiv(x_old) + x_old).udiv(two);
1078 if (x_old.ule(x_new))
1079 break;
1080 x_old = x_new;
1081 }
1082
1083 // Make sure we return the closest approximation
Eric Christopher820256b2009-08-21 04:06:45 +00001084 // NOTE: The rounding calculation below is correct. It will produce an
Reid Spencercf817562007-03-02 04:21:55 +00001085 // off-by-one discrepancy with results from pari/gp. That discrepancy has been
Eric Christopher820256b2009-08-21 04:06:45 +00001086 // determined to be a rounding issue with pari/gp as it begins to use a
Reid Spencercf817562007-03-02 04:21:55 +00001087 // floating point representation after 192 bits. There are no discrepancies
1088 // between this algorithm and pari/gp for bit widths < 192 bits.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001089 APInt square(x_old * x_old);
1090 APInt nextSquare((x_old + 1) * (x_old +1));
1091 if (this->ult(square))
1092 return x_old;
David Blaikie54c94622011-12-01 20:58:30 +00001093 assert(this->ule(nextSquare) && "Error in APInt::sqrt computation");
1094 APInt midpoint((nextSquare - square).udiv(two));
1095 APInt offset(*this - square);
1096 if (offset.ult(midpoint))
1097 return x_old;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001098 return x_old + 1;
1099}
1100
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001101/// Computes the multiplicative inverse of this APInt for a given modulo. The
1102/// iterative extended Euclidean algorithm is used to solve for this value,
1103/// however we simplify it to speed up calculating only the inverse, and take
1104/// advantage of div+rem calculations. We also use some tricks to avoid copying
1105/// (potentially large) APInts around.
1106APInt APInt::multiplicativeInverse(const APInt& modulo) const {
1107 assert(ult(modulo) && "This APInt must be smaller than the modulo");
1108
1109 // Using the properties listed at the following web page (accessed 06/21/08):
1110 // http://www.numbertheory.org/php/euclid.html
1111 // (especially the properties numbered 3, 4 and 9) it can be proved that
1112 // BitWidth bits suffice for all the computations in the algorithm implemented
1113 // below. More precisely, this number of bits suffice if the multiplicative
1114 // inverse exists, but may not suffice for the general extended Euclidean
1115 // algorithm.
1116
1117 APInt r[2] = { modulo, *this };
1118 APInt t[2] = { APInt(BitWidth, 0), APInt(BitWidth, 1) };
1119 APInt q(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001120
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001121 unsigned i;
1122 for (i = 0; r[i^1] != 0; i ^= 1) {
1123 // An overview of the math without the confusing bit-flipping:
1124 // q = r[i-2] / r[i-1]
1125 // r[i] = r[i-2] % r[i-1]
1126 // t[i] = t[i-2] - t[i-1] * q
1127 udivrem(r[i], r[i^1], q, r[i]);
1128 t[i] -= t[i^1] * q;
1129 }
1130
1131 // If this APInt and the modulo are not coprime, there is no multiplicative
1132 // inverse, so return 0. We check this by looking at the next-to-last
1133 // remainder, which is the gcd(*this,modulo) as calculated by the Euclidean
1134 // algorithm.
1135 if (r[i] != 1)
1136 return APInt(BitWidth, 0);
1137
1138 // The next-to-last t is the multiplicative inverse. However, we are
Craig Topper3fbecad2017-05-11 17:57:43 +00001139 // interested in a positive inverse. Calculate a positive one from a negative
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001140 // one if necessary. A simple addition of the modulo suffices because
Wojciech Matyjewiczf0d21cd2008-07-20 15:55:14 +00001141 // abs(t[i]) is known to be less than *this/2 (see the link above).
Craig Topperdbd62192017-05-11 18:40:53 +00001142 if (t[i].isNegative())
1143 t[i] += modulo;
1144
1145 return std::move(t[i]);
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001146}
1147
Jay Foadfe0c6482009-04-30 10:15:35 +00001148/// Calculate the magic numbers required to implement a signed integer division
1149/// by a constant as a sequence of multiplies, adds and shifts. Requires that
1150/// the divisor not be 0, 1, or -1. Taken from "Hacker's Delight", Henry S.
1151/// Warren, Jr., chapter 10.
1152APInt::ms APInt::magic() const {
1153 const APInt& d = *this;
1154 unsigned p;
1155 APInt ad, anc, delta, q1, r1, q2, r2, t;
Jay Foadfe0c6482009-04-30 10:15:35 +00001156 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
Jay Foadfe0c6482009-04-30 10:15:35 +00001157 struct ms mag;
Eric Christopher820256b2009-08-21 04:06:45 +00001158
Jay Foadfe0c6482009-04-30 10:15:35 +00001159 ad = d.abs();
1160 t = signedMin + (d.lshr(d.getBitWidth() - 1));
1161 anc = t - 1 - t.urem(ad); // absolute value of nc
1162 p = d.getBitWidth() - 1; // initialize p
1163 q1 = signedMin.udiv(anc); // initialize q1 = 2p/abs(nc)
1164 r1 = signedMin - q1*anc; // initialize r1 = rem(2p,abs(nc))
1165 q2 = signedMin.udiv(ad); // initialize q2 = 2p/abs(d)
1166 r2 = signedMin - q2*ad; // initialize r2 = rem(2p,abs(d))
1167 do {
1168 p = p + 1;
1169 q1 = q1<<1; // update q1 = 2p/abs(nc)
1170 r1 = r1<<1; // update r1 = rem(2p/abs(nc))
1171 if (r1.uge(anc)) { // must be unsigned comparison
1172 q1 = q1 + 1;
1173 r1 = r1 - anc;
1174 }
1175 q2 = q2<<1; // update q2 = 2p/abs(d)
1176 r2 = r2<<1; // update r2 = rem(2p/abs(d))
1177 if (r2.uge(ad)) { // must be unsigned comparison
1178 q2 = q2 + 1;
1179 r2 = r2 - ad;
1180 }
1181 delta = ad - r2;
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001182 } while (q1.ult(delta) || (q1 == delta && r1 == 0));
Eric Christopher820256b2009-08-21 04:06:45 +00001183
Jay Foadfe0c6482009-04-30 10:15:35 +00001184 mag.m = q2 + 1;
1185 if (d.isNegative()) mag.m = -mag.m; // resulting magic number
1186 mag.s = p - d.getBitWidth(); // resulting shift
1187 return mag;
1188}
1189
1190/// Calculate the magic numbers required to implement an unsigned integer
1191/// division by a constant as a sequence of multiplies, adds and shifts.
1192/// Requires that the divisor not be 0. Taken from "Hacker's Delight", Henry
1193/// S. Warren, Jr., chapter 10.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001194/// LeadingZeros can be used to simplify the calculation if the upper bits
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001195/// of the divided value are known zero.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001196APInt::mu APInt::magicu(unsigned LeadingZeros) const {
Jay Foadfe0c6482009-04-30 10:15:35 +00001197 const APInt& d = *this;
1198 unsigned p;
1199 APInt nc, delta, q1, r1, q2, r2;
1200 struct mu magu;
1201 magu.a = 0; // initialize "add" indicator
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001202 APInt allOnes = APInt::getAllOnesValue(d.getBitWidth()).lshr(LeadingZeros);
Jay Foadfe0c6482009-04-30 10:15:35 +00001203 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
1204 APInt signedMax = APInt::getSignedMaxValue(d.getBitWidth());
1205
Benjamin Kramer3aab6a82012-07-11 18:31:59 +00001206 nc = allOnes - (allOnes - d).urem(d);
Jay Foadfe0c6482009-04-30 10:15:35 +00001207 p = d.getBitWidth() - 1; // initialize p
1208 q1 = signedMin.udiv(nc); // initialize q1 = 2p/nc
1209 r1 = signedMin - q1*nc; // initialize r1 = rem(2p,nc)
1210 q2 = signedMax.udiv(d); // initialize q2 = (2p-1)/d
1211 r2 = signedMax - q2*d; // initialize r2 = rem((2p-1),d)
1212 do {
1213 p = p + 1;
1214 if (r1.uge(nc - r1)) {
1215 q1 = q1 + q1 + 1; // update q1
1216 r1 = r1 + r1 - nc; // update r1
1217 }
1218 else {
1219 q1 = q1+q1; // update q1
1220 r1 = r1+r1; // update r1
1221 }
1222 if ((r2 + 1).uge(d - r2)) {
1223 if (q2.uge(signedMax)) magu.a = 1;
1224 q2 = q2+q2 + 1; // update q2
1225 r2 = r2+r2 + 1 - d; // update r2
1226 }
1227 else {
1228 if (q2.uge(signedMin)) magu.a = 1;
1229 q2 = q2+q2; // update q2
1230 r2 = r2+r2 + 1; // update r2
1231 }
1232 delta = d - 1 - r2;
1233 } while (p < d.getBitWidth()*2 &&
1234 (q1.ult(delta) || (q1 == delta && r1 == 0)));
1235 magu.m = q2 + 1; // resulting magic number
1236 magu.s = p - d.getBitWidth(); // resulting shift
1237 return magu;
1238}
1239
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001240/// Implementation of Knuth's Algorithm D (Division of nonnegative integers)
1241/// from "Art of Computer Programming, Volume 2", section 4.3.1, p. 272. The
1242/// variables here have the same names as in the algorithm. Comments explain
1243/// the algorithm and any deviation from it.
Craig Topper6271bc72017-05-10 18:15:20 +00001244static void KnuthDiv(uint32_t *u, uint32_t *v, uint32_t *q, uint32_t* r,
Chris Lattner77527f52009-01-21 18:09:24 +00001245 unsigned m, unsigned n) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001246 assert(u && "Must provide dividend");
1247 assert(v && "Must provide divisor");
1248 assert(q && "Must provide quotient");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001249 assert(u != v && u != q && v != q && "Must use different memory");
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001250 assert(n>1 && "n must be > 1");
1251
Yaron Keren39fc5a62015-03-26 19:45:19 +00001252 // b denotes the base of the number system. In our case b is 2^32.
George Burgess IV381fc0e2016-08-25 01:05:08 +00001253 const uint64_t b = uint64_t(1) << 32;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001254
Craig Topper03106bb2017-11-24 20:29:04 +00001255// The DEBUG macros here tend to be spam in the debug output if you're not
1256// debugging this code. Disable them unless KNUTH_DEBUG is defined.
1257#pragma push_macro("DEBUG")
1258#ifndef KNUTH_DEBUG
1259#undef DEBUG
1260#define DEBUG(X) do {} while (false)
1261#endif
1262
David Greenef32fcb42010-01-05 01:28:52 +00001263 DEBUG(dbgs() << "KnuthDiv: m=" << m << " n=" << n << '\n');
1264 DEBUG(dbgs() << "KnuthDiv: original:");
1265 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1266 DEBUG(dbgs() << " by");
1267 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1268 DEBUG(dbgs() << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001269 // D1. [Normalize.] Set d = b / (v[n-1] + 1) and multiply all the digits of
1270 // u and v by d. Note that we have taken Knuth's advice here to use a power
1271 // of 2 value for d such that d * v[n-1] >= b/2 (b is the base). A power of
1272 // 2 allows us to shift instead of multiply and it is easy to determine the
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001273 // shift amount from the leading zeros. We are basically normalizing the u
1274 // and v so that its high bits are shifted to the top of v's range without
1275 // overflow. Note that this can require an extra word in u so that u must
1276 // be of length m+n+1.
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001277 unsigned shift = countLeadingZeros(v[n-1]);
Craig Topper6271bc72017-05-10 18:15:20 +00001278 uint32_t v_carry = 0;
1279 uint32_t u_carry = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001280 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001281 for (unsigned i = 0; i < m+n; ++i) {
Craig Topper6271bc72017-05-10 18:15:20 +00001282 uint32_t u_tmp = u[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001283 u[i] = (u[i] << shift) | u_carry;
1284 u_carry = u_tmp;
Reid Spencer100502d2007-02-17 03:16:00 +00001285 }
Chris Lattner77527f52009-01-21 18:09:24 +00001286 for (unsigned i = 0; i < n; ++i) {
Craig Topper6271bc72017-05-10 18:15:20 +00001287 uint32_t v_tmp = v[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001288 v[i] = (v[i] << shift) | v_carry;
1289 v_carry = v_tmp;
1290 }
1291 }
1292 u[m+n] = u_carry;
Yaron Keren39fc5a62015-03-26 19:45:19 +00001293
David Greenef32fcb42010-01-05 01:28:52 +00001294 DEBUG(dbgs() << "KnuthDiv: normal:");
1295 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1296 DEBUG(dbgs() << " by");
1297 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1298 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001299
1300 // D2. [Initialize j.] Set j to m. This is the loop counter over the places.
1301 int j = m;
1302 do {
David Greenef32fcb42010-01-05 01:28:52 +00001303 DEBUG(dbgs() << "KnuthDiv: quotient digit #" << j << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001304 // D3. [Calculate q'.].
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001305 // Set qp = (u[j+n]*b + u[j+n-1]) / v[n-1]. (qp=qprime=q')
1306 // Set rp = (u[j+n]*b + u[j+n-1]) % v[n-1]. (rp=rprime=r')
1307 // Now test if qp == b or qp*v[n-2] > b*rp + u[j+n-2]; if so, decrease
Craig Topper4b83b4d2017-05-13 00:35:30 +00001308 // qp by 1, increase rp by v[n-1], and repeat this test if rp < b. The test
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001309 // on v[n-2] determines at high speed most of the cases in which the trial
Eric Christopher820256b2009-08-21 04:06:45 +00001310 // value qp is one too large, and it eliminates all cases where qp is two
1311 // too large.
Craig Topper2c9a7062017-05-13 07:14:17 +00001312 uint64_t dividend = Make_64(u[j+n], u[j+n-1]);
David Greenef32fcb42010-01-05 01:28:52 +00001313 DEBUG(dbgs() << "KnuthDiv: dividend == " << dividend << '\n');
Reid Spencercb292e42007-02-23 01:57:13 +00001314 uint64_t qp = dividend / v[n-1];
1315 uint64_t rp = dividend % v[n-1];
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001316 if (qp == b || qp*v[n-2] > b*rp + u[j+n-2]) {
1317 qp--;
1318 rp += v[n-1];
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001319 if (rp < b && (qp == b || qp*v[n-2] > b*rp + u[j+n-2]))
Reid Spencera5e0d202007-02-24 03:58:46 +00001320 qp--;
Reid Spencercb292e42007-02-23 01:57:13 +00001321 }
David Greenef32fcb42010-01-05 01:28:52 +00001322 DEBUG(dbgs() << "KnuthDiv: qp == " << qp << ", rp == " << rp << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001323
Reid Spencercb292e42007-02-23 01:57:13 +00001324 // D4. [Multiply and subtract.] Replace (u[j+n]u[j+n-1]...u[j]) with
1325 // (u[j+n]u[j+n-1]..u[j]) - qp * (v[n-1]...v[1]v[0]). This computation
1326 // consists of a simple multiplication by a one-place number, combined with
Eric Christopher820256b2009-08-21 04:06:45 +00001327 // a subtraction.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001328 // The digits (u[j+n]...u[j]) should be kept positive; if the result of
1329 // this step is actually negative, (u[j+n]...u[j]) should be left as the
1330 // true value plus b**(n+1), namely as the b's complement of
1331 // the true value, and a "borrow" to the left should be remembered.
Pawel Bylica86ac4472015-04-24 07:38:39 +00001332 int64_t borrow = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001333 for (unsigned i = 0; i < n; ++i) {
Pawel Bylica86ac4472015-04-24 07:38:39 +00001334 uint64_t p = uint64_t(qp) * uint64_t(v[i]);
Craig Topper2c9a7062017-05-13 07:14:17 +00001335 int64_t subres = int64_t(u[j+i]) - borrow - Lo_32(p);
1336 u[j+i] = Lo_32(subres);
1337 borrow = Hi_32(p) - Hi_32(subres);
Pawel Bylica86ac4472015-04-24 07:38:39 +00001338 DEBUG(dbgs() << "KnuthDiv: u[j+i] = " << u[j+i]
Daniel Dunbar763ace92009-07-13 05:27:30 +00001339 << ", borrow = " << borrow << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001340 }
Pawel Bylica86ac4472015-04-24 07:38:39 +00001341 bool isNeg = u[j+n] < borrow;
Craig Topper2c9a7062017-05-13 07:14:17 +00001342 u[j+n] -= Lo_32(borrow);
Pawel Bylica86ac4472015-04-24 07:38:39 +00001343
David Greenef32fcb42010-01-05 01:28:52 +00001344 DEBUG(dbgs() << "KnuthDiv: after subtraction:");
1345 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1346 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001347
Eric Christopher820256b2009-08-21 04:06:45 +00001348 // D5. [Test remainder.] Set q[j] = qp. If the result of step D4 was
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001349 // negative, go to step D6; otherwise go on to step D7.
Craig Topper2c9a7062017-05-13 07:14:17 +00001350 q[j] = Lo_32(qp);
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001351 if (isNeg) {
Eric Christopher820256b2009-08-21 04:06:45 +00001352 // D6. [Add back]. The probability that this step is necessary is very
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001353 // small, on the order of only 2/b. Make sure that test data accounts for
Eric Christopher820256b2009-08-21 04:06:45 +00001354 // this possibility. Decrease q[j] by 1
Reid Spencercb292e42007-02-23 01:57:13 +00001355 q[j]--;
Eric Christopher820256b2009-08-21 04:06:45 +00001356 // and add (0v[n-1]...v[1]v[0]) to (u[j+n]u[j+n-1]...u[j+1]u[j]).
1357 // A carry will occur to the left of u[j+n], and it should be ignored
Reid Spencercb292e42007-02-23 01:57:13 +00001358 // since it cancels with the borrow that occurred in D4.
1359 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001360 for (unsigned i = 0; i < n; i++) {
Craig Topper6271bc72017-05-10 18:15:20 +00001361 uint32_t limit = std::min(u[j+i],v[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001362 u[j+i] += v[i] + carry;
Reid Spencera5e0d202007-02-24 03:58:46 +00001363 carry = u[j+i] < limit || (carry && u[j+i] == limit);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001364 }
Reid Spencera5e0d202007-02-24 03:58:46 +00001365 u[j+n] += carry;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001366 }
David Greenef32fcb42010-01-05 01:28:52 +00001367 DEBUG(dbgs() << "KnuthDiv: after correction:");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001368 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
David Greenef32fcb42010-01-05 01:28:52 +00001369 DEBUG(dbgs() << "\nKnuthDiv: digit result = " << q[j] << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001370
Reid Spencercb292e42007-02-23 01:57:13 +00001371 // D7. [Loop on j.] Decrease j by one. Now if j >= 0, go back to D3.
1372 } while (--j >= 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001373
David Greenef32fcb42010-01-05 01:28:52 +00001374 DEBUG(dbgs() << "KnuthDiv: quotient:");
1375 DEBUG(for (int i = m; i >=0; i--) dbgs() <<" " << q[i]);
1376 DEBUG(dbgs() << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001377
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001378 // D8. [Unnormalize]. Now q[...] is the desired quotient, and the desired
1379 // remainder may be obtained by dividing u[...] by d. If r is non-null we
1380 // compute the remainder (urem uses this).
1381 if (r) {
1382 // The value d is expressed by the "shift" value above since we avoided
1383 // multiplication by d by using a shift left. So, all we have to do is
Simon Pilgrim0099beb2017-03-09 13:57:04 +00001384 // shift right here.
Reid Spencer468ad9112007-02-24 20:38:01 +00001385 if (shift) {
Craig Topper6271bc72017-05-10 18:15:20 +00001386 uint32_t carry = 0;
David Greenef32fcb42010-01-05 01:28:52 +00001387 DEBUG(dbgs() << "KnuthDiv: remainder:");
Reid Spencer468ad9112007-02-24 20:38:01 +00001388 for (int i = n-1; i >= 0; i--) {
1389 r[i] = (u[i] >> shift) | carry;
1390 carry = u[i] << (32 - shift);
David Greenef32fcb42010-01-05 01:28:52 +00001391 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001392 }
1393 } else {
1394 for (int i = n-1; i >= 0; i--) {
1395 r[i] = u[i];
David Greenef32fcb42010-01-05 01:28:52 +00001396 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001397 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001398 }
David Greenef32fcb42010-01-05 01:28:52 +00001399 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001400 }
David Greenef32fcb42010-01-05 01:28:52 +00001401 DEBUG(dbgs() << '\n');
Craig Topper03106bb2017-11-24 20:29:04 +00001402
1403#pragma pop_macro("DEBUG")
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001404}
1405
Craig Topper8885f932017-05-19 16:43:54 +00001406void APInt::divide(const WordType *LHS, unsigned lhsWords, const WordType *RHS,
1407 unsigned rhsWords, WordType *Quotient, WordType *Remainder) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001408 assert(lhsWords >= rhsWords && "Fractional result");
1409
Eric Christopher820256b2009-08-21 04:06:45 +00001410 // First, compose the values into an array of 32-bit words instead of
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001411 // 64-bit words. This is a necessity of both the "short division" algorithm
Dan Gohman4a618822010-02-10 16:03:48 +00001412 // and the Knuth "classical algorithm" which requires there to be native
Eric Christopher820256b2009-08-21 04:06:45 +00001413 // operations for +, -, and * on an m bit value with an m*2 bit result. We
1414 // can't use 64-bit operands here because we don't have native results of
1415 // 128-bits. Furthermore, casting the 64-bit values to 32-bit values won't
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001416 // work on large-endian machines.
Chris Lattner77527f52009-01-21 18:09:24 +00001417 unsigned n = rhsWords * 2;
1418 unsigned m = (lhsWords * 2) - n;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001419
1420 // Allocate space for the temporary values we need either on the stack, if
1421 // it will fit, or on the heap if it won't.
Craig Topper6271bc72017-05-10 18:15:20 +00001422 uint32_t SPACE[128];
1423 uint32_t *U = nullptr;
1424 uint32_t *V = nullptr;
1425 uint32_t *Q = nullptr;
1426 uint32_t *R = nullptr;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001427 if ((Remainder?4:3)*n+2*m+1 <= 128) {
1428 U = &SPACE[0];
1429 V = &SPACE[m+n+1];
1430 Q = &SPACE[(m+n+1) + n];
1431 if (Remainder)
1432 R = &SPACE[(m+n+1) + n + (m+n)];
1433 } else {
Craig Topper6271bc72017-05-10 18:15:20 +00001434 U = new uint32_t[m + n + 1];
1435 V = new uint32_t[n];
1436 Q = new uint32_t[m+n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001437 if (Remainder)
Craig Topper6271bc72017-05-10 18:15:20 +00001438 R = new uint32_t[n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001439 }
1440
1441 // Initialize the dividend
Craig Topper6271bc72017-05-10 18:15:20 +00001442 memset(U, 0, (m+n+1)*sizeof(uint32_t));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001443 for (unsigned i = 0; i < lhsWords; ++i) {
Craig Topper8885f932017-05-19 16:43:54 +00001444 uint64_t tmp = LHS[i];
Craig Topper6271bc72017-05-10 18:15:20 +00001445 U[i * 2] = Lo_32(tmp);
1446 U[i * 2 + 1] = Hi_32(tmp);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001447 }
1448 U[m+n] = 0; // this extra word is for "spill" in the Knuth algorithm.
1449
Reid Spencer522ca7c2007-02-25 01:56:07 +00001450 // Initialize the divisor
Craig Topper6271bc72017-05-10 18:15:20 +00001451 memset(V, 0, (n)*sizeof(uint32_t));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001452 for (unsigned i = 0; i < rhsWords; ++i) {
Craig Topper8885f932017-05-19 16:43:54 +00001453 uint64_t tmp = RHS[i];
Craig Topper6271bc72017-05-10 18:15:20 +00001454 V[i * 2] = Lo_32(tmp);
1455 V[i * 2 + 1] = Hi_32(tmp);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001456 }
1457
Reid Spencer522ca7c2007-02-25 01:56:07 +00001458 // initialize the quotient and remainder
Craig Topper6271bc72017-05-10 18:15:20 +00001459 memset(Q, 0, (m+n) * sizeof(uint32_t));
Reid Spencer522ca7c2007-02-25 01:56:07 +00001460 if (Remainder)
Craig Topper6271bc72017-05-10 18:15:20 +00001461 memset(R, 0, n * sizeof(uint32_t));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001462
Eric Christopher820256b2009-08-21 04:06:45 +00001463 // Now, adjust m and n for the Knuth division. n is the number of words in
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001464 // the divisor. m is the number of words by which the dividend exceeds the
Eric Christopher820256b2009-08-21 04:06:45 +00001465 // divisor (i.e. m+n is the length of the dividend). These sizes must not
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001466 // contain any zero words or the Knuth algorithm fails.
1467 for (unsigned i = n; i > 0 && V[i-1] == 0; i--) {
1468 n--;
1469 m++;
1470 }
1471 for (unsigned i = m+n; i > 0 && U[i-1] == 0; i--)
1472 m--;
1473
1474 // If we're left with only a single word for the divisor, Knuth doesn't work
1475 // so we implement the short division algorithm here. This is much simpler
1476 // and faster because we are certain that we can divide a 64-bit quantity
1477 // by a 32-bit quantity at hardware speed and short division is simply a
1478 // series of such operations. This is just like doing short division but we
1479 // are using base 2^32 instead of base 10.
1480 assert(n != 0 && "Divide by zero?");
1481 if (n == 1) {
Craig Topper6271bc72017-05-10 18:15:20 +00001482 uint32_t divisor = V[0];
1483 uint32_t remainder = 0;
Craig Topper6a1d0202017-05-15 22:01:03 +00001484 for (int i = m; i >= 0; i--) {
Craig Topper6271bc72017-05-10 18:15:20 +00001485 uint64_t partial_dividend = Make_64(remainder, U[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001486 if (partial_dividend == 0) {
1487 Q[i] = 0;
1488 remainder = 0;
1489 } else if (partial_dividend < divisor) {
1490 Q[i] = 0;
Craig Topper6271bc72017-05-10 18:15:20 +00001491 remainder = Lo_32(partial_dividend);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001492 } else if (partial_dividend == divisor) {
1493 Q[i] = 1;
1494 remainder = 0;
1495 } else {
Craig Topper6271bc72017-05-10 18:15:20 +00001496 Q[i] = Lo_32(partial_dividend / divisor);
1497 remainder = Lo_32(partial_dividend - (Q[i] * divisor));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001498 }
1499 }
1500 if (R)
1501 R[0] = remainder;
1502 } else {
1503 // Now we're ready to invoke the Knuth classical divide algorithm. In this
1504 // case n > 1.
1505 KnuthDiv(U, V, Q, R, m, n);
1506 }
1507
1508 // If the caller wants the quotient
1509 if (Quotient) {
Craig Topper8885f932017-05-19 16:43:54 +00001510 for (unsigned i = 0; i < lhsWords; ++i)
1511 Quotient[i] = Make_64(Q[i*2+1], Q[i*2]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001512 }
1513
1514 // If the caller wants the remainder
1515 if (Remainder) {
Craig Topper8885f932017-05-19 16:43:54 +00001516 for (unsigned i = 0; i < rhsWords; ++i)
1517 Remainder[i] = Make_64(R[i*2+1], R[i*2]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001518 }
1519
1520 // Clean up the memory we allocated.
Reid Spencer522ca7c2007-02-25 01:56:07 +00001521 if (U != &SPACE[0]) {
1522 delete [] U;
1523 delete [] V;
1524 delete [] Q;
1525 delete [] R;
1526 }
Reid Spencer100502d2007-02-17 03:16:00 +00001527}
1528
Craig Topper8885f932017-05-19 16:43:54 +00001529APInt APInt::udiv(const APInt &RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001530 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001531
1532 // First, deal with the easy case
1533 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001534 assert(RHS.U.VAL != 0 && "Divide by zero?");
1535 return APInt(BitWidth, U.VAL / RHS.U.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001536 }
Reid Spencer39867762007-02-17 02:07:07 +00001537
Reid Spencer39867762007-02-17 02:07:07 +00001538 // Get some facts about the LHS and RHS number of bits and words
Craig Topper62de0392017-05-10 07:50:15 +00001539 unsigned lhsWords = getNumWords(getActiveBits());
Craig Topperb1a71ca2017-05-12 21:45:50 +00001540 unsigned rhsBits = RHS.getActiveBits();
1541 unsigned rhsWords = getNumWords(rhsBits);
1542 assert(rhsWords && "Divided by zero???");
Reid Spencer39867762007-02-17 02:07:07 +00001543
1544 // Deal with some degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001545 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +00001546 // 0 / X ===> 0
Eric Christopher820256b2009-08-21 04:06:45 +00001547 return APInt(BitWidth, 0);
Craig Topperb1a71ca2017-05-12 21:45:50 +00001548 if (rhsBits == 1)
1549 // X / 1 ===> X
1550 return *this;
Craig Topper24ae6952017-05-08 23:49:49 +00001551 if (lhsWords < rhsWords || this->ult(RHS))
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001552 // X / Y ===> 0, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001553 return APInt(BitWidth, 0);
Craig Topper24ae6952017-05-08 23:49:49 +00001554 if (*this == RHS)
Reid Spencer58a6a432007-02-21 08:21:52 +00001555 // X / X ===> 1
1556 return APInt(BitWidth, 1);
Craig Topper06da0812017-05-12 18:18:57 +00001557 if (lhsWords == 1) // rhsWords is 1 if lhsWords is 1.
Reid Spencer39867762007-02-17 02:07:07 +00001558 // All high words are zero, just use native divide
Craig Topperb339c6d2017-05-03 15:46:24 +00001559 return APInt(BitWidth, this->U.pVal[0] / RHS.U.pVal[0]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001560
1561 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Craig Topper8885f932017-05-19 16:43:54 +00001562 APInt Quotient(BitWidth, 0); // to hold result.
1563 divide(U.pVal, lhsWords, RHS.U.pVal, rhsWords, Quotient.U.pVal, nullptr);
1564 return Quotient;
1565}
1566
1567APInt APInt::udiv(uint64_t RHS) const {
1568 assert(RHS != 0 && "Divide by zero?");
1569
1570 // First, deal with the easy case
1571 if (isSingleWord())
1572 return APInt(BitWidth, U.VAL / RHS);
1573
1574 // Get some facts about the LHS words.
1575 unsigned lhsWords = getNumWords(getActiveBits());
1576
1577 // Deal with some degenerate cases
1578 if (!lhsWords)
1579 // 0 / X ===> 0
1580 return APInt(BitWidth, 0);
1581 if (RHS == 1)
1582 // X / 1 ===> X
1583 return *this;
1584 if (this->ult(RHS))
1585 // X / Y ===> 0, iff X < Y
1586 return APInt(BitWidth, 0);
1587 if (*this == RHS)
1588 // X / X ===> 1
1589 return APInt(BitWidth, 1);
1590 if (lhsWords == 1) // rhsWords is 1 if lhsWords is 1.
1591 // All high words are zero, just use native divide
1592 return APInt(BitWidth, this->U.pVal[0] / RHS);
1593
1594 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
1595 APInt Quotient(BitWidth, 0); // to hold result.
1596 divide(U.pVal, lhsWords, &RHS, 1, Quotient.U.pVal, nullptr);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001597 return Quotient;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001598}
1599
Jakub Staszak6605c602013-02-20 00:17:42 +00001600APInt APInt::sdiv(const APInt &RHS) const {
1601 if (isNegative()) {
1602 if (RHS.isNegative())
1603 return (-(*this)).udiv(-RHS);
1604 return -((-(*this)).udiv(RHS));
1605 }
1606 if (RHS.isNegative())
1607 return -(this->udiv(-RHS));
1608 return this->udiv(RHS);
1609}
1610
Craig Topper8885f932017-05-19 16:43:54 +00001611APInt APInt::sdiv(int64_t RHS) const {
1612 if (isNegative()) {
1613 if (RHS < 0)
1614 return (-(*this)).udiv(-RHS);
1615 return -((-(*this)).udiv(RHS));
1616 }
1617 if (RHS < 0)
1618 return -(this->udiv(-RHS));
1619 return this->udiv(RHS);
1620}
1621
1622APInt APInt::urem(const APInt &RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001623 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001624 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001625 assert(RHS.U.VAL != 0 && "Remainder by zero?");
1626 return APInt(BitWidth, U.VAL % RHS.U.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001627 }
Reid Spencer39867762007-02-17 02:07:07 +00001628
Reid Spencer58a6a432007-02-21 08:21:52 +00001629 // Get some facts about the LHS
Craig Topper62de0392017-05-10 07:50:15 +00001630 unsigned lhsWords = getNumWords(getActiveBits());
Reid Spencer39867762007-02-17 02:07:07 +00001631
1632 // Get some facts about the RHS
Craig Topperb1a71ca2017-05-12 21:45:50 +00001633 unsigned rhsBits = RHS.getActiveBits();
1634 unsigned rhsWords = getNumWords(rhsBits);
Reid Spencer39867762007-02-17 02:07:07 +00001635 assert(rhsWords && "Performing remainder operation by zero ???");
1636
Reid Spencer39867762007-02-17 02:07:07 +00001637 // Check the degenerate cases
Craig Topper24ae6952017-05-08 23:49:49 +00001638 if (lhsWords == 0)
Reid Spencer58a6a432007-02-21 08:21:52 +00001639 // 0 % Y ===> 0
1640 return APInt(BitWidth, 0);
Craig Topperb1a71ca2017-05-12 21:45:50 +00001641 if (rhsBits == 1)
1642 // X % 1 ===> 0
1643 return APInt(BitWidth, 0);
Craig Topper24ae6952017-05-08 23:49:49 +00001644 if (lhsWords < rhsWords || this->ult(RHS))
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001645 // X % Y ===> X, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001646 return *this;
Craig Topper24ae6952017-05-08 23:49:49 +00001647 if (*this == RHS)
Reid Spencer39867762007-02-17 02:07:07 +00001648 // X % X == 0;
Reid Spencer58a6a432007-02-21 08:21:52 +00001649 return APInt(BitWidth, 0);
Craig Topper24ae6952017-05-08 23:49:49 +00001650 if (lhsWords == 1)
Reid Spencer39867762007-02-17 02:07:07 +00001651 // All high words are zero, just use native remainder
Craig Topperb339c6d2017-05-03 15:46:24 +00001652 return APInt(BitWidth, U.pVal[0] % RHS.U.pVal[0]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001653
Reid Spencer4c50b522007-05-13 23:44:59 +00001654 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Craig Topper8885f932017-05-19 16:43:54 +00001655 APInt Remainder(BitWidth, 0);
1656 divide(U.pVal, lhsWords, RHS.U.pVal, rhsWords, nullptr, Remainder.U.pVal);
1657 return Remainder;
1658}
1659
1660uint64_t APInt::urem(uint64_t RHS) const {
1661 assert(RHS != 0 && "Remainder by zero?");
1662
1663 if (isSingleWord())
1664 return U.VAL % RHS;
1665
1666 // Get some facts about the LHS
1667 unsigned lhsWords = getNumWords(getActiveBits());
1668
1669 // Check the degenerate cases
1670 if (lhsWords == 0)
1671 // 0 % Y ===> 0
1672 return 0;
1673 if (RHS == 1)
1674 // X % 1 ===> 0
1675 return 0;
1676 if (this->ult(RHS))
1677 // X % Y ===> X, iff X < Y
1678 return getZExtValue();
1679 if (*this == RHS)
1680 // X % X == 0;
1681 return 0;
1682 if (lhsWords == 1)
1683 // All high words are zero, just use native remainder
1684 return U.pVal[0] % RHS;
1685
1686 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
1687 uint64_t Remainder;
1688 divide(U.pVal, lhsWords, &RHS, 1, nullptr, &Remainder);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001689 return Remainder;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001690}
Reid Spencer100502d2007-02-17 03:16:00 +00001691
Jakub Staszak6605c602013-02-20 00:17:42 +00001692APInt APInt::srem(const APInt &RHS) const {
1693 if (isNegative()) {
1694 if (RHS.isNegative())
1695 return -((-(*this)).urem(-RHS));
1696 return -((-(*this)).urem(RHS));
1697 }
1698 if (RHS.isNegative())
1699 return this->urem(-RHS);
1700 return this->urem(RHS);
1701}
1702
Craig Topper8885f932017-05-19 16:43:54 +00001703int64_t APInt::srem(int64_t RHS) const {
1704 if (isNegative()) {
1705 if (RHS < 0)
1706 return -((-(*this)).urem(-RHS));
1707 return -((-(*this)).urem(RHS));
1708 }
1709 if (RHS < 0)
1710 return this->urem(-RHS);
1711 return this->urem(RHS);
1712}
1713
Eric Christopher820256b2009-08-21 04:06:45 +00001714void APInt::udivrem(const APInt &LHS, const APInt &RHS,
Reid Spencer4c50b522007-05-13 23:44:59 +00001715 APInt &Quotient, APInt &Remainder) {
David Majnemer7f039202014-12-14 09:41:56 +00001716 assert(LHS.BitWidth == RHS.BitWidth && "Bit widths must be the same");
Craig Topper2579c7c2017-05-12 21:45:44 +00001717 unsigned BitWidth = LHS.BitWidth;
David Majnemer7f039202014-12-14 09:41:56 +00001718
1719 // First, deal with the easy case
1720 if (LHS.isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001721 assert(RHS.U.VAL != 0 && "Divide by zero?");
1722 uint64_t QuotVal = LHS.U.VAL / RHS.U.VAL;
1723 uint64_t RemVal = LHS.U.VAL % RHS.U.VAL;
Craig Topper2579c7c2017-05-12 21:45:44 +00001724 Quotient = APInt(BitWidth, QuotVal);
1725 Remainder = APInt(BitWidth, RemVal);
David Majnemer7f039202014-12-14 09:41:56 +00001726 return;
1727 }
1728
Reid Spencer4c50b522007-05-13 23:44:59 +00001729 // Get some size facts about the dividend and divisor
Craig Topper62de0392017-05-10 07:50:15 +00001730 unsigned lhsWords = getNumWords(LHS.getActiveBits());
Craig Topperb1a71ca2017-05-12 21:45:50 +00001731 unsigned rhsBits = RHS.getActiveBits();
1732 unsigned rhsWords = getNumWords(rhsBits);
Craig Topper4bdd6212017-05-12 18:19:01 +00001733 assert(rhsWords && "Performing divrem operation by zero ???");
Reid Spencer4c50b522007-05-13 23:44:59 +00001734
1735 // Check the degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001736 if (lhsWords == 0) {
Reid Spencer4c50b522007-05-13 23:44:59 +00001737 Quotient = 0; // 0 / Y ===> 0
1738 Remainder = 0; // 0 % Y ===> 0
1739 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001740 }
1741
Craig Topperb1a71ca2017-05-12 21:45:50 +00001742 if (rhsBits == 1) {
1743 Quotient = LHS; // X / 1 ===> X
1744 Remainder = 0; // X % 1 ===> 0
1745 }
1746
Eric Christopher820256b2009-08-21 04:06:45 +00001747 if (lhsWords < rhsWords || LHS.ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001748 Remainder = LHS; // X % Y ===> X, iff X < Y
1749 Quotient = 0; // X / Y ===> 0, iff X < Y
Reid Spencer4c50b522007-05-13 23:44:59 +00001750 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001751 }
1752
Reid Spencer4c50b522007-05-13 23:44:59 +00001753 if (LHS == RHS) {
1754 Quotient = 1; // X / X ===> 1
1755 Remainder = 0; // X % X ===> 0;
1756 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001757 }
1758
Craig Topper8885f932017-05-19 16:43:54 +00001759 // Make sure there is enough space to hold the results.
1760 // NOTE: This assumes that reallocate won't affect any bits if it doesn't
1761 // change the size. This is necessary if Quotient or Remainder is aliased
1762 // with LHS or RHS.
1763 Quotient.reallocate(BitWidth);
1764 Remainder.reallocate(BitWidth);
1765
Craig Topper06da0812017-05-12 18:18:57 +00001766 if (lhsWords == 1) { // rhsWords is 1 if lhsWords is 1.
Reid Spencer4c50b522007-05-13 23:44:59 +00001767 // There is only one word to consider so use the native versions.
Craig Topper93eabae2017-05-10 18:15:14 +00001768 uint64_t lhsValue = LHS.U.pVal[0];
1769 uint64_t rhsValue = RHS.U.pVal[0];
Craig Topper87694032017-05-12 07:21:09 +00001770 Quotient = lhsValue / rhsValue;
1771 Remainder = lhsValue % rhsValue;
Reid Spencer4c50b522007-05-13 23:44:59 +00001772 return;
1773 }
1774
1775 // Okay, lets do it the long way
Craig Topper8885f932017-05-19 16:43:54 +00001776 divide(LHS.U.pVal, lhsWords, RHS.U.pVal, rhsWords, Quotient.U.pVal,
1777 Remainder.U.pVal);
1778 // Clear the rest of the Quotient and Remainder.
1779 std::memset(Quotient.U.pVal + lhsWords, 0,
1780 (getNumWords(BitWidth) - lhsWords) * APINT_WORD_SIZE);
1781 std::memset(Remainder.U.pVal + rhsWords, 0,
1782 (getNumWords(BitWidth) - rhsWords) * APINT_WORD_SIZE);
1783}
1784
1785void APInt::udivrem(const APInt &LHS, uint64_t RHS, APInt &Quotient,
1786 uint64_t &Remainder) {
1787 assert(RHS != 0 && "Divide by zero?");
1788 unsigned BitWidth = LHS.BitWidth;
1789
1790 // First, deal with the easy case
1791 if (LHS.isSingleWord()) {
1792 uint64_t QuotVal = LHS.U.VAL / RHS;
1793 Remainder = LHS.U.VAL % RHS;
1794 Quotient = APInt(BitWidth, QuotVal);
1795 return;
1796 }
1797
1798 // Get some size facts about the dividend and divisor
1799 unsigned lhsWords = getNumWords(LHS.getActiveBits());
1800
1801 // Check the degenerate cases
1802 if (lhsWords == 0) {
1803 Quotient = 0; // 0 / Y ===> 0
1804 Remainder = 0; // 0 % Y ===> 0
1805 return;
1806 }
1807
1808 if (RHS == 1) {
1809 Quotient = LHS; // X / 1 ===> X
1810 Remainder = 0; // X % 1 ===> 0
1811 }
1812
1813 if (LHS.ult(RHS)) {
1814 Remainder = LHS.getZExtValue(); // X % Y ===> X, iff X < Y
1815 Quotient = 0; // X / Y ===> 0, iff X < Y
1816 return;
1817 }
1818
1819 if (LHS == RHS) {
1820 Quotient = 1; // X / X ===> 1
1821 Remainder = 0; // X % X ===> 0;
1822 return;
1823 }
1824
1825 // Make sure there is enough space to hold the results.
1826 // NOTE: This assumes that reallocate won't affect any bits if it doesn't
1827 // change the size. This is necessary if Quotient is aliased with LHS.
1828 Quotient.reallocate(BitWidth);
1829
1830 if (lhsWords == 1) { // rhsWords is 1 if lhsWords is 1.
1831 // There is only one word to consider so use the native versions.
1832 uint64_t lhsValue = LHS.U.pVal[0];
1833 Quotient = lhsValue / RHS;
1834 Remainder = lhsValue % RHS;
1835 return;
1836 }
1837
1838 // Okay, lets do it the long way
1839 divide(LHS.U.pVal, lhsWords, &RHS, 1, Quotient.U.pVal, &Remainder);
1840 // Clear the rest of the Quotient.
1841 std::memset(Quotient.U.pVal + lhsWords, 0,
1842 (getNumWords(BitWidth) - lhsWords) * APINT_WORD_SIZE);
Reid Spencer4c50b522007-05-13 23:44:59 +00001843}
1844
Jakub Staszak6605c602013-02-20 00:17:42 +00001845void APInt::sdivrem(const APInt &LHS, const APInt &RHS,
1846 APInt &Quotient, APInt &Remainder) {
1847 if (LHS.isNegative()) {
1848 if (RHS.isNegative())
1849 APInt::udivrem(-LHS, -RHS, Quotient, Remainder);
1850 else {
1851 APInt::udivrem(-LHS, RHS, Quotient, Remainder);
Craig Topperb3c1f562017-05-11 07:02:04 +00001852 Quotient.negate();
Jakub Staszak6605c602013-02-20 00:17:42 +00001853 }
Craig Topperb3c1f562017-05-11 07:02:04 +00001854 Remainder.negate();
Jakub Staszak6605c602013-02-20 00:17:42 +00001855 } else if (RHS.isNegative()) {
1856 APInt::udivrem(LHS, -RHS, Quotient, Remainder);
Craig Topperb3c1f562017-05-11 07:02:04 +00001857 Quotient.negate();
Jakub Staszak6605c602013-02-20 00:17:42 +00001858 } else {
1859 APInt::udivrem(LHS, RHS, Quotient, Remainder);
1860 }
1861}
1862
Craig Topper8885f932017-05-19 16:43:54 +00001863void APInt::sdivrem(const APInt &LHS, int64_t RHS,
1864 APInt &Quotient, int64_t &Remainder) {
1865 uint64_t R = Remainder;
1866 if (LHS.isNegative()) {
1867 if (RHS < 0)
1868 APInt::udivrem(-LHS, -RHS, Quotient, R);
1869 else {
1870 APInt::udivrem(-LHS, RHS, Quotient, R);
1871 Quotient.negate();
1872 }
1873 R = -R;
1874 } else if (RHS < 0) {
1875 APInt::udivrem(LHS, -RHS, Quotient, R);
1876 Quotient.negate();
1877 } else {
1878 APInt::udivrem(LHS, RHS, Quotient, R);
1879 }
1880 Remainder = R;
1881}
1882
Chris Lattner2c819b02010-10-13 23:54:10 +00001883APInt APInt::sadd_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001884 APInt Res = *this+RHS;
1885 Overflow = isNonNegative() == RHS.isNonNegative() &&
1886 Res.isNonNegative() != isNonNegative();
1887 return Res;
1888}
1889
Chris Lattner698661c2010-10-14 00:05:07 +00001890APInt APInt::uadd_ov(const APInt &RHS, bool &Overflow) const {
1891 APInt Res = *this+RHS;
1892 Overflow = Res.ult(RHS);
1893 return Res;
1894}
1895
Chris Lattner2c819b02010-10-13 23:54:10 +00001896APInt APInt::ssub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001897 APInt Res = *this - RHS;
1898 Overflow = isNonNegative() != RHS.isNonNegative() &&
1899 Res.isNonNegative() != isNonNegative();
1900 return Res;
1901}
1902
Chris Lattner698661c2010-10-14 00:05:07 +00001903APInt APInt::usub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattnerb9681ad2010-10-14 00:30:00 +00001904 APInt Res = *this-RHS;
1905 Overflow = Res.ugt(*this);
Chris Lattner698661c2010-10-14 00:05:07 +00001906 return Res;
1907}
1908
Chris Lattner2c819b02010-10-13 23:54:10 +00001909APInt APInt::sdiv_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001910 // MININT/-1 --> overflow.
1911 Overflow = isMinSignedValue() && RHS.isAllOnesValue();
1912 return sdiv(RHS);
1913}
1914
Chris Lattner2c819b02010-10-13 23:54:10 +00001915APInt APInt::smul_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001916 APInt Res = *this * RHS;
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001917
Chris Lattner79bdd882010-10-13 23:46:33 +00001918 if (*this != 0 && RHS != 0)
1919 Overflow = Res.sdiv(RHS) != *this || Res.sdiv(*this) != RHS;
1920 else
1921 Overflow = false;
1922 return Res;
1923}
1924
Frits van Bommel0bb2ad22011-03-27 14:26:13 +00001925APInt APInt::umul_ov(const APInt &RHS, bool &Overflow) const {
1926 APInt Res = *this * RHS;
1927
1928 if (*this != 0 && RHS != 0)
1929 Overflow = Res.udiv(RHS) != *this || Res.udiv(*this) != RHS;
1930 else
1931 Overflow = false;
1932 return Res;
1933}
1934
David Majnemera2521382014-10-13 21:48:30 +00001935APInt APInt::sshl_ov(const APInt &ShAmt, bool &Overflow) const {
1936 Overflow = ShAmt.uge(getBitWidth());
Chris Lattner79bdd882010-10-13 23:46:33 +00001937 if (Overflow)
David Majnemera2521382014-10-13 21:48:30 +00001938 return APInt(BitWidth, 0);
Chris Lattner79bdd882010-10-13 23:46:33 +00001939
1940 if (isNonNegative()) // Don't allow sign change.
David Majnemera2521382014-10-13 21:48:30 +00001941 Overflow = ShAmt.uge(countLeadingZeros());
Chris Lattner79bdd882010-10-13 23:46:33 +00001942 else
David Majnemera2521382014-10-13 21:48:30 +00001943 Overflow = ShAmt.uge(countLeadingOnes());
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001944
Chris Lattner79bdd882010-10-13 23:46:33 +00001945 return *this << ShAmt;
1946}
1947
David Majnemera2521382014-10-13 21:48:30 +00001948APInt APInt::ushl_ov(const APInt &ShAmt, bool &Overflow) const {
1949 Overflow = ShAmt.uge(getBitWidth());
1950 if (Overflow)
1951 return APInt(BitWidth, 0);
1952
1953 Overflow = ShAmt.ugt(countLeadingZeros());
1954
1955 return *this << ShAmt;
1956}
1957
Chris Lattner79bdd882010-10-13 23:46:33 +00001958
1959
1960
Benjamin Kramer92d89982010-07-14 22:38:02 +00001961void APInt::fromString(unsigned numbits, StringRef str, uint8_t radix) {
Reid Spencer1ba83352007-02-21 03:55:44 +00001962 // Check our assumptions here
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001963 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001964 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00001965 radix == 36) &&
1966 "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001967
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001968 StringRef::iterator p = str.begin();
1969 size_t slen = str.size();
1970 bool isNeg = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001971 if (*p == '-' || *p == '+') {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001972 p++;
1973 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +00001974 assert(slen && "String is only a sign, needs a value.");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001975 }
Chris Lattnerdad2d092007-05-03 18:15:36 +00001976 assert((slen <= numbits || radix != 2) && "Insufficient bit width");
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001977 assert(((slen-1)*3 <= numbits || radix != 8) && "Insufficient bit width");
1978 assert(((slen-1)*4 <= numbits || radix != 16) && "Insufficient bit width");
Dan Gohmanb452d4e2010-03-24 19:38:02 +00001979 assert((((slen-1)*64)/22 <= numbits || radix != 10) &&
1980 "Insufficient bit width");
Reid Spencer1ba83352007-02-21 03:55:44 +00001981
Craig Topperb339c6d2017-05-03 15:46:24 +00001982 // Allocate memory if needed
1983 if (isSingleWord())
1984 U.VAL = 0;
1985 else
1986 U.pVal = getClearedMemory(getNumWords());
Reid Spencer1ba83352007-02-21 03:55:44 +00001987
1988 // Figure out if we can shift instead of multiply
Chris Lattner77527f52009-01-21 18:09:24 +00001989 unsigned shift = (radix == 16 ? 4 : radix == 8 ? 3 : radix == 2 ? 1 : 0);
Reid Spencer1ba83352007-02-21 03:55:44 +00001990
Reid Spencer1ba83352007-02-21 03:55:44 +00001991 // Enter digit traversal loop
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001992 for (StringRef::iterator e = str.end(); p != e; ++p) {
Erick Tryzelaardadb15712009-08-21 03:15:28 +00001993 unsigned digit = getDigit(*p, radix);
Erick Tryzelaar60964092009-08-21 06:48:37 +00001994 assert(digit < radix && "Invalid character in digit string");
Reid Spencer1ba83352007-02-21 03:55:44 +00001995
Reid Spencera93c9812007-05-16 19:18:22 +00001996 // Shift or multiply the value by the radix
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001997 if (slen > 1) {
1998 if (shift)
1999 *this <<= shift;
2000 else
Craig Topperf15bec52017-05-08 04:55:12 +00002001 *this *= radix;
Chris Lattnerb869a0a2009-04-25 18:34:04 +00002002 }
Reid Spencer1ba83352007-02-21 03:55:44 +00002003
2004 // Add in the digit we just interpreted
Craig Topperb7d8faa2017-04-02 06:59:38 +00002005 *this += digit;
Reid Spencer100502d2007-02-17 03:16:00 +00002006 }
Reid Spencerb6b5cc32007-02-25 23:44:53 +00002007 // If its negative, put it in two's complement form
Craig Topperef0114c2017-05-10 20:01:38 +00002008 if (isNeg)
2009 this->negate();
Reid Spencer100502d2007-02-17 03:16:00 +00002010}
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002011
Chris Lattner17f71652008-08-17 07:19:36 +00002012void APInt::toString(SmallVectorImpl<char> &Str, unsigned Radix,
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002013 bool Signed, bool formatAsCLiteral) const {
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00002014 assert((Radix == 10 || Radix == 8 || Radix == 16 || Radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00002015 Radix == 36) &&
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002016 "Radix should be 2, 8, 10, 16, or 36!");
Eric Christopher820256b2009-08-21 04:06:45 +00002017
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002018 const char *Prefix = "";
2019 if (formatAsCLiteral) {
2020 switch (Radix) {
2021 case 2:
2022 // Binary literals are a non-standard extension added in gcc 4.3:
2023 // http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Binary-constants.html
2024 Prefix = "0b";
2025 break;
2026 case 8:
2027 Prefix = "0";
2028 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002029 case 10:
2030 break; // No prefix
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002031 case 16:
2032 Prefix = "0x";
2033 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00002034 default:
2035 llvm_unreachable("Invalid radix!");
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002036 }
2037 }
2038
Chris Lattner17f71652008-08-17 07:19:36 +00002039 // First, check for a zero value and just short circuit the logic below.
2040 if (*this == 0) {
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002041 while (*Prefix) {
2042 Str.push_back(*Prefix);
2043 ++Prefix;
2044 };
Chris Lattner17f71652008-08-17 07:19:36 +00002045 Str.push_back('0');
2046 return;
2047 }
Eric Christopher820256b2009-08-21 04:06:45 +00002048
Douglas Gregor663c0682011-09-14 15:54:46 +00002049 static const char Digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
Eric Christopher820256b2009-08-21 04:06:45 +00002050
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002051 if (isSingleWord()) {
Chris Lattner17f71652008-08-17 07:19:36 +00002052 char Buffer[65];
Craig Toppere6a23182017-05-24 07:00:55 +00002053 char *BufPtr = std::end(Buffer);
Eric Christopher820256b2009-08-21 04:06:45 +00002054
Chris Lattner17f71652008-08-17 07:19:36 +00002055 uint64_t N;
Chris Lattnerb91c9032010-08-18 00:33:47 +00002056 if (!Signed) {
Chris Lattner17f71652008-08-17 07:19:36 +00002057 N = getZExtValue();
Chris Lattnerb91c9032010-08-18 00:33:47 +00002058 } else {
2059 int64_t I = getSExtValue();
2060 if (I >= 0) {
2061 N = I;
2062 } else {
2063 Str.push_back('-');
2064 N = -(uint64_t)I;
2065 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002066 }
Eric Christopher820256b2009-08-21 04:06:45 +00002067
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002068 while (*Prefix) {
2069 Str.push_back(*Prefix);
2070 ++Prefix;
2071 };
2072
Chris Lattner17f71652008-08-17 07:19:36 +00002073 while (N) {
2074 *--BufPtr = Digits[N % Radix];
2075 N /= Radix;
2076 }
Craig Toppere6a23182017-05-24 07:00:55 +00002077 Str.append(BufPtr, std::end(Buffer));
Chris Lattner17f71652008-08-17 07:19:36 +00002078 return;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002079 }
2080
Chris Lattner17f71652008-08-17 07:19:36 +00002081 APInt Tmp(*this);
Eric Christopher820256b2009-08-21 04:06:45 +00002082
Chris Lattner17f71652008-08-17 07:19:36 +00002083 if (Signed && isNegative()) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002084 // They want to print the signed version and it is a negative value
2085 // Flip the bits and add one to turn it into the equivalent positive
2086 // value and put a '-' in the result.
Craig Topperef0114c2017-05-10 20:01:38 +00002087 Tmp.negate();
Chris Lattner17f71652008-08-17 07:19:36 +00002088 Str.push_back('-');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002089 }
Eric Christopher820256b2009-08-21 04:06:45 +00002090
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002091 while (*Prefix) {
2092 Str.push_back(*Prefix);
2093 ++Prefix;
2094 };
2095
Chris Lattner17f71652008-08-17 07:19:36 +00002096 // We insert the digits backward, then reverse them to get the right order.
2097 unsigned StartDig = Str.size();
Eric Christopher820256b2009-08-21 04:06:45 +00002098
2099 // For the 2, 8 and 16 bit cases, we can just shift instead of divide
2100 // because the number of bits per digit (1, 3 and 4 respectively) divides
Craig Topperd7ed50d2017-04-02 06:59:36 +00002101 // equally. We just shift until the value is zero.
Douglas Gregor663c0682011-09-14 15:54:46 +00002102 if (Radix == 2 || Radix == 8 || Radix == 16) {
Chris Lattner17f71652008-08-17 07:19:36 +00002103 // Just shift tmp right for each digit width until it becomes zero
2104 unsigned ShiftAmt = (Radix == 16 ? 4 : (Radix == 8 ? 3 : 1));
2105 unsigned MaskAmt = Radix - 1;
Eric Christopher820256b2009-08-21 04:06:45 +00002106
Craig Topperecb97da2017-05-10 18:15:24 +00002107 while (Tmp.getBoolValue()) {
Chris Lattner17f71652008-08-17 07:19:36 +00002108 unsigned Digit = unsigned(Tmp.getRawData()[0]) & MaskAmt;
2109 Str.push_back(Digits[Digit]);
Craig Topperfc947bc2017-04-18 17:14:21 +00002110 Tmp.lshrInPlace(ShiftAmt);
Chris Lattner17f71652008-08-17 07:19:36 +00002111 }
2112 } else {
Craig Topperecb97da2017-05-10 18:15:24 +00002113 while (Tmp.getBoolValue()) {
Craig Topper8885f932017-05-19 16:43:54 +00002114 uint64_t Digit;
2115 udivrem(Tmp, Radix, Tmp, Digit);
Chris Lattner17f71652008-08-17 07:19:36 +00002116 assert(Digit < Radix && "divide failed");
2117 Str.push_back(Digits[Digit]);
Chris Lattner17f71652008-08-17 07:19:36 +00002118 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002119 }
Eric Christopher820256b2009-08-21 04:06:45 +00002120
Chris Lattner17f71652008-08-17 07:19:36 +00002121 // Reverse the digits before returning.
2122 std::reverse(Str.begin()+StartDig, Str.end());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00002123}
2124
Pawel Bylica6eeeac72015-04-06 13:31:39 +00002125/// Returns the APInt as a std::string. Note that this is an inefficient method.
2126/// It is better to pass in a SmallVector/SmallString to the methods above.
Chris Lattner17f71652008-08-17 07:19:36 +00002127std::string APInt::toString(unsigned Radix = 10, bool Signed = true) const {
2128 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002129 toString(S, Radix, Signed, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00002130 return S.str();
Reid Spencer1ba83352007-02-21 03:55:44 +00002131}
Chris Lattner6b695682007-08-16 15:56:55 +00002132
Aaron Ballman615eb472017-10-15 14:32:27 +00002133#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Yaron Kereneb2a2542016-01-29 20:50:44 +00002134LLVM_DUMP_METHOD void APInt::dump() const {
Chris Lattner17f71652008-08-17 07:19:36 +00002135 SmallString<40> S, U;
2136 this->toStringUnsigned(U);
2137 this->toStringSigned(S);
David Greenef32fcb42010-01-05 01:28:52 +00002138 dbgs() << "APInt(" << BitWidth << "b, "
Davide Italiano5a473d22017-01-31 21:26:18 +00002139 << U << "u " << S << "s)\n";
Chris Lattner17f71652008-08-17 07:19:36 +00002140}
Matthias Braun8c209aa2017-01-28 02:02:38 +00002141#endif
Chris Lattner17f71652008-08-17 07:19:36 +00002142
Chris Lattner0c19df42008-08-23 22:23:09 +00002143void APInt::print(raw_ostream &OS, bool isSigned) const {
Chris Lattner17f71652008-08-17 07:19:36 +00002144 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002145 this->toString(S, 10, isSigned, /* formatAsCLiteral = */false);
Yaron Keren92e1b622015-03-18 10:17:07 +00002146 OS << S;
Chris Lattner17f71652008-08-17 07:19:36 +00002147}
2148
Chris Lattner6b695682007-08-16 15:56:55 +00002149// This implements a variety of operations on a representation of
2150// arbitrary precision, two's-complement, bignum integer values.
2151
Chris Lattner96cffa62009-08-23 23:11:28 +00002152// Assumed by lowHalf, highHalf, partMSB and partLSB. A fairly safe
2153// and unrestricting assumption.
Craig Topper55229b72017-04-02 19:17:22 +00002154static_assert(APInt::APINT_BITS_PER_WORD % 2 == 0,
2155 "Part width must be divisible by 2!");
Chris Lattner6b695682007-08-16 15:56:55 +00002156
2157/* Some handy functions local to this file. */
Chris Lattner6b695682007-08-16 15:56:55 +00002158
Craig Topper76f42462017-03-28 05:32:53 +00002159/* Returns the integer part with the least significant BITS set.
2160 BITS cannot be zero. */
Craig Topper55229b72017-04-02 19:17:22 +00002161static inline APInt::WordType lowBitMask(unsigned bits) {
2162 assert(bits != 0 && bits <= APInt::APINT_BITS_PER_WORD);
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002163
Craig Topper55229b72017-04-02 19:17:22 +00002164 return ~(APInt::WordType) 0 >> (APInt::APINT_BITS_PER_WORD - bits);
Craig Topper76f42462017-03-28 05:32:53 +00002165}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002166
Craig Topper76f42462017-03-28 05:32:53 +00002167/* Returns the value of the lower half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002168static inline APInt::WordType lowHalf(APInt::WordType part) {
2169 return part & lowBitMask(APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002170}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002171
Craig Topper76f42462017-03-28 05:32:53 +00002172/* Returns the value of the upper half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002173static inline APInt::WordType highHalf(APInt::WordType part) {
2174 return part >> (APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002175}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002176
Craig Topper76f42462017-03-28 05:32:53 +00002177/* Returns the bit number of the most significant set bit of a part.
2178 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002179static unsigned partMSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002180 return findLastSet(value, ZB_Max);
2181}
Chris Lattner6b695682007-08-16 15:56:55 +00002182
Craig Topper76f42462017-03-28 05:32:53 +00002183/* Returns the bit number of the least significant set bit of a
2184 part. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002185static unsigned partLSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002186 return findFirstSet(value, ZB_Max);
Alexander Kornienkof00654e2015-06-23 09:49:53 +00002187}
Chris Lattner6b695682007-08-16 15:56:55 +00002188
2189/* Sets the least significant part of a bignum to the input value, and
2190 zeroes out higher parts. */
Craig Topper55229b72017-04-02 19:17:22 +00002191void APInt::tcSet(WordType *dst, WordType part, unsigned parts) {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002192 assert(parts > 0);
Neil Boothb6182162007-10-08 13:47:12 +00002193
Chris Lattner6b695682007-08-16 15:56:55 +00002194 dst[0] = part;
Craig Topperb0038162017-03-28 05:32:52 +00002195 for (unsigned i = 1; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002196 dst[i] = 0;
2197}
2198
2199/* Assign one bignum to another. */
Craig Topper55229b72017-04-02 19:17:22 +00002200void APInt::tcAssign(WordType *dst, const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002201 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002202 dst[i] = src[i];
2203}
2204
2205/* Returns true if a bignum is zero, false otherwise. */
Craig Topper55229b72017-04-02 19:17:22 +00002206bool APInt::tcIsZero(const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002207 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002208 if (src[i])
2209 return false;
2210
2211 return true;
2212}
2213
2214/* Extract the given bit of a bignum; returns 0 or 1. */
Craig Topper55229b72017-04-02 19:17:22 +00002215int APInt::tcExtractBit(const WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002216 return (parts[whichWord(bit)] & maskBit(bit)) != 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002217}
2218
John McCalldcb9a7a2010-02-28 02:51:25 +00002219/* Set the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002220void APInt::tcSetBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002221 parts[whichWord(bit)] |= maskBit(bit);
Chris Lattner6b695682007-08-16 15:56:55 +00002222}
2223
John McCalldcb9a7a2010-02-28 02:51:25 +00002224/* Clears the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002225void APInt::tcClearBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002226 parts[whichWord(bit)] &= ~maskBit(bit);
John McCalldcb9a7a2010-02-28 02:51:25 +00002227}
2228
Neil Boothc8b650a2007-10-06 00:43:45 +00002229/* Returns the bit number of the least significant set bit of a
2230 number. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002231unsigned APInt::tcLSB(const WordType *parts, unsigned n) {
Craig Topperb0038162017-03-28 05:32:52 +00002232 for (unsigned i = 0; i < n; i++) {
2233 if (parts[i] != 0) {
2234 unsigned lsb = partLSB(parts[i]);
Chris Lattner6b695682007-08-16 15:56:55 +00002235
Craig Topper55229b72017-04-02 19:17:22 +00002236 return lsb + i * APINT_BITS_PER_WORD;
Craig Topperb0038162017-03-28 05:32:52 +00002237 }
Chris Lattner6b695682007-08-16 15:56:55 +00002238 }
2239
2240 return -1U;
2241}
2242
Neil Boothc8b650a2007-10-06 00:43:45 +00002243/* Returns the bit number of the most significant set bit of a number.
2244 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002245unsigned APInt::tcMSB(const WordType *parts, unsigned n) {
Chris Lattner6b695682007-08-16 15:56:55 +00002246 do {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002247 --n;
Chris Lattner6b695682007-08-16 15:56:55 +00002248
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002249 if (parts[n] != 0) {
Craig Topperb0038162017-03-28 05:32:52 +00002250 unsigned msb = partMSB(parts[n]);
Chris Lattner6b695682007-08-16 15:56:55 +00002251
Craig Topper55229b72017-04-02 19:17:22 +00002252 return msb + n * APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002253 }
Chris Lattner6b695682007-08-16 15:56:55 +00002254 } while (n);
2255
2256 return -1U;
2257}
2258
Neil Boothb6182162007-10-08 13:47:12 +00002259/* Copy the bit vector of width srcBITS from SRC, starting at bit
2260 srcLSB, to DST, of dstCOUNT parts, such that the bit srcLSB becomes
2261 the least significant bit of DST. All high bits above srcBITS in
2262 DST are zero-filled. */
2263void
Craig Topper55229b72017-04-02 19:17:22 +00002264APInt::tcExtract(WordType *dst, unsigned dstCount, const WordType *src,
Craig Topper6a8518082017-03-28 05:32:55 +00002265 unsigned srcBits, unsigned srcLSB) {
Craig Topper55229b72017-04-02 19:17:22 +00002266 unsigned dstParts = (srcBits + APINT_BITS_PER_WORD - 1) / APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002267 assert(dstParts <= dstCount);
Neil Boothb6182162007-10-08 13:47:12 +00002268
Craig Topper55229b72017-04-02 19:17:22 +00002269 unsigned firstSrcPart = srcLSB / APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002270 tcAssign (dst, src + firstSrcPart, dstParts);
2271
Craig Topper55229b72017-04-02 19:17:22 +00002272 unsigned shift = srcLSB % APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002273 tcShiftRight (dst, dstParts, shift);
2274
Craig Topper55229b72017-04-02 19:17:22 +00002275 /* We now have (dstParts * APINT_BITS_PER_WORD - shift) bits from SRC
Neil Boothb6182162007-10-08 13:47:12 +00002276 in DST. If this is less that srcBits, append the rest, else
2277 clear the high bits. */
Craig Topper55229b72017-04-02 19:17:22 +00002278 unsigned n = dstParts * APINT_BITS_PER_WORD - shift;
Neil Boothb6182162007-10-08 13:47:12 +00002279 if (n < srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002280 WordType mask = lowBitMask (srcBits - n);
Neil Boothb6182162007-10-08 13:47:12 +00002281 dst[dstParts - 1] |= ((src[firstSrcPart + dstParts] & mask)
Craig Topper55229b72017-04-02 19:17:22 +00002282 << n % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002283 } else if (n > srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002284 if (srcBits % APINT_BITS_PER_WORD)
2285 dst[dstParts - 1] &= lowBitMask (srcBits % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002286 }
2287
2288 /* Clear high parts. */
2289 while (dstParts < dstCount)
2290 dst[dstParts++] = 0;
2291}
2292
Chris Lattner6b695682007-08-16 15:56:55 +00002293/* DST += RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002294APInt::WordType APInt::tcAdd(WordType *dst, const WordType *rhs,
2295 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002296 assert(c <= 1);
2297
Craig Topperb0038162017-03-28 05:32:52 +00002298 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002299 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002300 if (c) {
2301 dst[i] += rhs[i] + 1;
2302 c = (dst[i] <= l);
2303 } else {
2304 dst[i] += rhs[i];
2305 c = (dst[i] < l);
2306 }
2307 }
2308
2309 return c;
2310}
2311
Craig Topper92fc4772017-04-13 04:36:06 +00002312/// This function adds a single "word" integer, src, to the multiple
2313/// "word" integer array, dst[]. dst[] is modified to reflect the addition and
2314/// 1 is returned if there is a carry out, otherwise 0 is returned.
2315/// @returns the carry of the addition.
2316APInt::WordType APInt::tcAddPart(WordType *dst, WordType src,
2317 unsigned parts) {
2318 for (unsigned i = 0; i < parts; ++i) {
2319 dst[i] += src;
2320 if (dst[i] >= src)
2321 return 0; // No need to carry so exit early.
2322 src = 1; // Carry one to next digit.
2323 }
2324
2325 return 1;
2326}
2327
Chris Lattner6b695682007-08-16 15:56:55 +00002328/* DST -= RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002329APInt::WordType APInt::tcSubtract(WordType *dst, const WordType *rhs,
2330 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002331 assert(c <= 1);
2332
Craig Topperb0038162017-03-28 05:32:52 +00002333 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002334 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002335 if (c) {
2336 dst[i] -= rhs[i] + 1;
2337 c = (dst[i] >= l);
2338 } else {
2339 dst[i] -= rhs[i];
2340 c = (dst[i] > l);
2341 }
2342 }
2343
2344 return c;
2345}
2346
Craig Topper92fc4772017-04-13 04:36:06 +00002347/// This function subtracts a single "word" (64-bit word), src, from
2348/// the multi-word integer array, dst[], propagating the borrowed 1 value until
2349/// no further borrowing is needed or it runs out of "words" in dst. The result
2350/// is 1 if "borrowing" exhausted the digits in dst, or 0 if dst was not
2351/// exhausted. In other words, if src > dst then this function returns 1,
2352/// otherwise 0.
2353/// @returns the borrow out of the subtraction
2354APInt::WordType APInt::tcSubtractPart(WordType *dst, WordType src,
2355 unsigned parts) {
2356 for (unsigned i = 0; i < parts; ++i) {
2357 WordType Dst = dst[i];
2358 dst[i] -= src;
2359 if (src <= Dst)
2360 return 0; // No need to borrow so exit early.
2361 src = 1; // We have to "borrow 1" from next "word"
2362 }
2363
2364 return 1;
2365}
2366
Chris Lattner6b695682007-08-16 15:56:55 +00002367/* Negate a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002368void APInt::tcNegate(WordType *dst, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002369 tcComplement(dst, parts);
2370 tcIncrement(dst, parts);
2371}
2372
Neil Boothc8b650a2007-10-06 00:43:45 +00002373/* DST += SRC * MULTIPLIER + CARRY if add is true
2374 DST = SRC * MULTIPLIER + CARRY if add is false
Chris Lattner6b695682007-08-16 15:56:55 +00002375
2376 Requires 0 <= DSTPARTS <= SRCPARTS + 1. If DST overlaps SRC
2377 they must start at the same point, i.e. DST == SRC.
2378
2379 If DSTPARTS == SRCPARTS + 1 no overflow occurs and zero is
2380 returned. Otherwise DST is filled with the least significant
2381 DSTPARTS parts of the result, and if all of the omitted higher
2382 parts were zero return zero, otherwise overflow occurred and
2383 return one. */
Craig Topper55229b72017-04-02 19:17:22 +00002384int APInt::tcMultiplyPart(WordType *dst, const WordType *src,
2385 WordType multiplier, WordType carry,
Craig Topper6a8518082017-03-28 05:32:55 +00002386 unsigned srcParts, unsigned dstParts,
2387 bool add) {
Chris Lattner6b695682007-08-16 15:56:55 +00002388 /* Otherwise our writes of DST kill our later reads of SRC. */
2389 assert(dst <= src || dst >= src + srcParts);
2390 assert(dstParts <= srcParts + 1);
2391
2392 /* N loops; minimum of dstParts and srcParts. */
Craig Topper0cbab7c2017-05-08 06:34:39 +00002393 unsigned n = std::min(dstParts, srcParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002394
Craig Topperc96a84d2017-05-08 06:34:41 +00002395 for (unsigned i = 0; i < n; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002396 WordType low, mid, high, srcPart;
Chris Lattner6b695682007-08-16 15:56:55 +00002397
2398 /* [ LOW, HIGH ] = MULTIPLIER * SRC[i] + DST[i] + CARRY.
2399
2400 This cannot overflow, because
2401
2402 (n - 1) * (n - 1) + 2 (n - 1) = (n - 1) * (n + 1)
2403
2404 which is less than n^2. */
2405
2406 srcPart = src[i];
2407
Craig Topper6a8518082017-03-28 05:32:55 +00002408 if (multiplier == 0 || srcPart == 0) {
Chris Lattner6b695682007-08-16 15:56:55 +00002409 low = carry;
2410 high = 0;
2411 } else {
2412 low = lowHalf(srcPart) * lowHalf(multiplier);
2413 high = highHalf(srcPart) * highHalf(multiplier);
2414
2415 mid = lowHalf(srcPart) * highHalf(multiplier);
2416 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002417 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002418 if (low + mid < low)
2419 high++;
2420 low += mid;
2421
2422 mid = highHalf(srcPart) * lowHalf(multiplier);
2423 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002424 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002425 if (low + mid < low)
2426 high++;
2427 low += mid;
2428
2429 /* Now add carry. */
2430 if (low + carry < low)
2431 high++;
2432 low += carry;
2433 }
2434
2435 if (add) {
2436 /* And now DST[i], and store the new low part there. */
2437 if (low + dst[i] < low)
2438 high++;
2439 dst[i] += low;
2440 } else
2441 dst[i] = low;
2442
2443 carry = high;
2444 }
2445
Craig Topperc96a84d2017-05-08 06:34:41 +00002446 if (srcParts < dstParts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002447 /* Full multiplication, there is no overflow. */
Craig Topperc96a84d2017-05-08 06:34:41 +00002448 assert(srcParts + 1 == dstParts);
2449 dst[srcParts] = carry;
Chris Lattner6b695682007-08-16 15:56:55 +00002450 return 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002451 }
Craig Toppera6c142a2017-05-08 06:34:36 +00002452
2453 /* We overflowed if there is carry. */
2454 if (carry)
2455 return 1;
2456
2457 /* We would overflow if any significant unwritten parts would be
2458 non-zero. This is true if any remaining src parts are non-zero
2459 and the multiplier is non-zero. */
2460 if (multiplier)
Craig Topperc96a84d2017-05-08 06:34:41 +00002461 for (unsigned i = dstParts; i < srcParts; i++)
Craig Toppera6c142a2017-05-08 06:34:36 +00002462 if (src[i])
2463 return 1;
2464
2465 /* We fitted in the narrow destination. */
2466 return 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002467}
2468
2469/* DST = LHS * RHS, where DST has the same width as the operands and
2470 is filled with the least significant parts of the result. Returns
2471 one if overflow occurred, otherwise zero. DST must be disjoint
2472 from both operands. */
Craig Topper55229b72017-04-02 19:17:22 +00002473int APInt::tcMultiply(WordType *dst, const WordType *lhs,
2474 const WordType *rhs, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002475 assert(dst != lhs && dst != rhs);
2476
Craig Topperb0038162017-03-28 05:32:52 +00002477 int overflow = 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002478 tcSet(dst, 0, parts);
2479
Craig Topperb0038162017-03-28 05:32:52 +00002480 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002481 overflow |= tcMultiplyPart(&dst[i], lhs, rhs[i], 0, parts,
2482 parts - i, true);
2483
2484 return overflow;
2485}
2486
Craig Topper0acb6652017-05-09 16:47:33 +00002487/// DST = LHS * RHS, where DST has width the sum of the widths of the
2488/// operands. No overflow occurs. DST must be disjoint from both operands.
2489void APInt::tcFullMultiply(WordType *dst, const WordType *lhs,
2490 const WordType *rhs, unsigned lhsParts,
2491 unsigned rhsParts) {
Neil Booth0ea72a92007-10-06 00:24:48 +00002492 /* Put the narrower number on the LHS for less loops below. */
Craig Toppera6c142a2017-05-08 06:34:36 +00002493 if (lhsParts > rhsParts)
Neil Booth0ea72a92007-10-06 00:24:48 +00002494 return tcFullMultiply (dst, rhs, lhs, rhsParts, lhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002495
Craig Toppera6c142a2017-05-08 06:34:36 +00002496 assert(dst != lhs && dst != rhs);
Chris Lattner6b695682007-08-16 15:56:55 +00002497
Craig Toppera6c142a2017-05-08 06:34:36 +00002498 tcSet(dst, 0, rhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002499
Craig Toppera6c142a2017-05-08 06:34:36 +00002500 for (unsigned i = 0; i < lhsParts; i++)
2501 tcMultiplyPart(&dst[i], rhs, lhs[i], 0, rhsParts, rhsParts + 1, true);
Chris Lattner6b695682007-08-16 15:56:55 +00002502}
2503
2504/* If RHS is zero LHS and REMAINDER are left unchanged, return one.
2505 Otherwise set LHS to LHS / RHS with the fractional part discarded,
2506 set REMAINDER to the remainder, return zero. i.e.
2507
2508 OLD_LHS = RHS * LHS + REMAINDER
2509
2510 SCRATCH is a bignum of the same size as the operands and result for
2511 use by the routine; its contents need not be initialized and are
2512 destroyed. LHS, REMAINDER and SCRATCH must be distinct.
2513*/
Craig Topper55229b72017-04-02 19:17:22 +00002514int APInt::tcDivide(WordType *lhs, const WordType *rhs,
2515 WordType *remainder, WordType *srhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002516 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002517 assert(lhs != remainder && lhs != srhs && remainder != srhs);
2518
Craig Topperb0038162017-03-28 05:32:52 +00002519 unsigned shiftCount = tcMSB(rhs, parts) + 1;
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002520 if (shiftCount == 0)
Chris Lattner6b695682007-08-16 15:56:55 +00002521 return true;
2522
Craig Topper55229b72017-04-02 19:17:22 +00002523 shiftCount = parts * APINT_BITS_PER_WORD - shiftCount;
2524 unsigned n = shiftCount / APINT_BITS_PER_WORD;
2525 WordType mask = (WordType) 1 << (shiftCount % APINT_BITS_PER_WORD);
Chris Lattner6b695682007-08-16 15:56:55 +00002526
2527 tcAssign(srhs, rhs, parts);
2528 tcShiftLeft(srhs, parts, shiftCount);
2529 tcAssign(remainder, lhs, parts);
2530 tcSet(lhs, 0, parts);
2531
2532 /* Loop, subtracting SRHS if REMAINDER is greater and adding that to
2533 the total. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002534 for (;;) {
Craig Toppera584af52017-05-10 07:50:17 +00002535 int compare = tcCompare(remainder, srhs, parts);
2536 if (compare >= 0) {
2537 tcSubtract(remainder, srhs, 0, parts);
2538 lhs[n] |= mask;
2539 }
Chris Lattner6b695682007-08-16 15:56:55 +00002540
Craig Toppera584af52017-05-10 07:50:17 +00002541 if (shiftCount == 0)
2542 break;
2543 shiftCount--;
2544 tcShiftRight(srhs, parts, 1);
2545 if ((mask >>= 1) == 0) {
2546 mask = (WordType) 1 << (APINT_BITS_PER_WORD - 1);
2547 n--;
2548 }
Chris Lattner6b695682007-08-16 15:56:55 +00002549 }
2550
2551 return false;
2552}
2553
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002554/// Shift a bignum left Cound bits in-place. Shifted in bits are zero. There are
2555/// no restrictions on Count.
2556void APInt::tcShiftLeft(WordType *Dst, unsigned Words, unsigned Count) {
2557 // Don't bother performing a no-op shift.
2558 if (!Count)
2559 return;
Chris Lattner6b695682007-08-16 15:56:55 +00002560
Craig Topperc6b05682017-04-24 17:00:22 +00002561 // WordShift is the inter-part shift; BitShift is the intra-part shift.
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002562 unsigned WordShift = std::min(Count / APINT_BITS_PER_WORD, Words);
2563 unsigned BitShift = Count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002564
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002565 // Fastpath for moving by whole words.
2566 if (BitShift == 0) {
2567 std::memmove(Dst + WordShift, Dst, (Words - WordShift) * APINT_WORD_SIZE);
2568 } else {
2569 while (Words-- > WordShift) {
2570 Dst[Words] = Dst[Words - WordShift] << BitShift;
2571 if (Words > WordShift)
2572 Dst[Words] |=
2573 Dst[Words - WordShift - 1] >> (APINT_BITS_PER_WORD - BitShift);
Neil Boothb6182162007-10-08 13:47:12 +00002574 }
Neil Boothb6182162007-10-08 13:47:12 +00002575 }
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002576
2577 // Fill in the remainder with 0s.
2578 std::memset(Dst, 0, WordShift * APINT_WORD_SIZE);
Chris Lattner6b695682007-08-16 15:56:55 +00002579}
2580
Craig Topper9575d8f2017-04-17 21:43:43 +00002581/// Shift a bignum right Count bits in-place. Shifted in bits are zero. There
2582/// are no restrictions on Count.
2583void APInt::tcShiftRight(WordType *Dst, unsigned Words, unsigned Count) {
2584 // Don't bother performing a no-op shift.
2585 if (!Count)
2586 return;
Chris Lattner6b695682007-08-16 15:56:55 +00002587
Craig Topperc6b05682017-04-24 17:00:22 +00002588 // WordShift is the inter-part shift; BitShift is the intra-part shift.
Craig Topper9575d8f2017-04-17 21:43:43 +00002589 unsigned WordShift = std::min(Count / APINT_BITS_PER_WORD, Words);
2590 unsigned BitShift = Count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002591
Craig Topper9575d8f2017-04-17 21:43:43 +00002592 unsigned WordsToMove = Words - WordShift;
2593 // Fastpath for moving by whole words.
2594 if (BitShift == 0) {
2595 std::memmove(Dst, Dst + WordShift, WordsToMove * APINT_WORD_SIZE);
2596 } else {
2597 for (unsigned i = 0; i != WordsToMove; ++i) {
2598 Dst[i] = Dst[i + WordShift] >> BitShift;
2599 if (i + 1 != WordsToMove)
2600 Dst[i] |= Dst[i + WordShift + 1] << (APINT_BITS_PER_WORD - BitShift);
Neil Boothb6182162007-10-08 13:47:12 +00002601 }
Chris Lattner6b695682007-08-16 15:56:55 +00002602 }
Craig Topper9575d8f2017-04-17 21:43:43 +00002603
2604 // Fill in the remainder with 0s.
2605 std::memset(Dst + WordsToMove, 0, WordShift * APINT_WORD_SIZE);
Chris Lattner6b695682007-08-16 15:56:55 +00002606}
2607
2608/* Bitwise and of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002609void APInt::tcAnd(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002610 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002611 dst[i] &= rhs[i];
2612}
2613
2614/* Bitwise inclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002615void APInt::tcOr(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002616 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002617 dst[i] |= rhs[i];
2618}
2619
2620/* Bitwise exclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002621void APInt::tcXor(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002622 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002623 dst[i] ^= rhs[i];
2624}
2625
2626/* Complement a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002627void APInt::tcComplement(WordType *dst, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002628 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002629 dst[i] = ~dst[i];
2630}
2631
2632/* Comparison (unsigned) of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002633int APInt::tcCompare(const WordType *lhs, const WordType *rhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002634 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002635 while (parts) {
Craig Topper99cfe4f2017-04-01 21:50:06 +00002636 parts--;
Craig Topper1dc8fc82017-04-21 16:13:15 +00002637 if (lhs[parts] != rhs[parts])
2638 return (lhs[parts] > rhs[parts]) ? 1 : -1;
Craig Topper99cfe4f2017-04-01 21:50:06 +00002639 }
Chris Lattner6b695682007-08-16 15:56:55 +00002640
2641 return 0;
2642}
2643
Chris Lattner6b695682007-08-16 15:56:55 +00002644/* Set the least significant BITS bits of a bignum, clear the
2645 rest. */
Craig Topper55229b72017-04-02 19:17:22 +00002646void APInt::tcSetLeastSignificantBits(WordType *dst, unsigned parts,
Craig Topper6a8518082017-03-28 05:32:55 +00002647 unsigned bits) {
Craig Topperb0038162017-03-28 05:32:52 +00002648 unsigned i = 0;
Craig Topper55229b72017-04-02 19:17:22 +00002649 while (bits > APINT_BITS_PER_WORD) {
2650 dst[i++] = ~(WordType) 0;
2651 bits -= APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002652 }
2653
2654 if (bits)
Craig Topper55229b72017-04-02 19:17:22 +00002655 dst[i++] = ~(WordType) 0 >> (APINT_BITS_PER_WORD - bits);
Chris Lattner6b695682007-08-16 15:56:55 +00002656
2657 while (i < parts)
2658 dst[i++] = 0;
2659}