blob: 17144522db82efdb107fd81124c2427fec7fd5ac [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
Chris Lattner77527f52009-01-21 18:09:24 +0000549unsigned APInt::countLeadingOnes() const {
Reid Spencer31acef52007-02-27 21:59:26 +0000550 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000551 return llvm::countLeadingOnes(U.VAL << (APINT_BITS_PER_WORD - BitWidth));
Reid Spencer31acef52007-02-27 21:59:26 +0000552
Chris Lattner77527f52009-01-21 18:09:24 +0000553 unsigned highWordBits = BitWidth % APINT_BITS_PER_WORD;
Torok Edwinec39eb82009-01-27 18:06:03 +0000554 unsigned shift;
555 if (!highWordBits) {
556 highWordBits = APINT_BITS_PER_WORD;
557 shift = 0;
558 } else {
559 shift = APINT_BITS_PER_WORD - highWordBits;
560 }
Reid Spencer31acef52007-02-27 21:59:26 +0000561 int i = getNumWords() - 1;
Craig Topperb339c6d2017-05-03 15:46:24 +0000562 unsigned Count = llvm::countLeadingOnes(U.pVal[i] << shift);
Reid Spencer31acef52007-02-27 21:59:26 +0000563 if (Count == highWordBits) {
564 for (i--; i >= 0; --i) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000565 if (U.pVal[i] == WORD_MAX)
Reid Spencer31acef52007-02-27 21:59:26 +0000566 Count += APINT_BITS_PER_WORD;
567 else {
Craig Topperb339c6d2017-05-03 15:46:24 +0000568 Count += llvm::countLeadingOnes(U.pVal[i]);
Reid Spencer31acef52007-02-27 21:59:26 +0000569 break;
570 }
571 }
572 }
573 return Count;
574}
575
Chris Lattner77527f52009-01-21 18:09:24 +0000576unsigned APInt::countTrailingZeros() const {
Zhou Shengdac63782007-02-06 03:00:16 +0000577 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000578 return std::min(unsigned(llvm::countTrailingZeros(U.VAL)), BitWidth);
Chris Lattner77527f52009-01-21 18:09:24 +0000579 unsigned Count = 0;
580 unsigned i = 0;
Craig Topperb339c6d2017-05-03 15:46:24 +0000581 for (; i < getNumWords() && U.pVal[i] == 0; ++i)
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000582 Count += APINT_BITS_PER_WORD;
583 if (i < getNumWords())
Craig Topperb339c6d2017-05-03 15:46:24 +0000584 Count += llvm::countTrailingZeros(U.pVal[i]);
Chris Lattnerc2c4c742007-11-23 22:36:25 +0000585 return std::min(Count, BitWidth);
Zhou Shengdac63782007-02-06 03:00:16 +0000586}
587
Chris Lattner77527f52009-01-21 18:09:24 +0000588unsigned APInt::countTrailingOnesSlowCase() const {
589 unsigned Count = 0;
590 unsigned i = 0;
Craig Topperb339c6d2017-05-03 15:46:24 +0000591 for (; i < getNumWords() && U.pVal[i] == WORD_MAX; ++i)
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000592 Count += APINT_BITS_PER_WORD;
593 if (i < getNumWords())
Craig Topperb339c6d2017-05-03 15:46:24 +0000594 Count += llvm::countTrailingOnes(U.pVal[i]);
Craig Topper3a29e3b82017-04-22 19:59:11 +0000595 assert(Count <= BitWidth);
596 return Count;
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000597}
598
Chris Lattner77527f52009-01-21 18:09:24 +0000599unsigned APInt::countPopulationSlowCase() const {
600 unsigned Count = 0;
601 for (unsigned i = 0; i < getNumWords(); ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000602 Count += llvm::countPopulation(U.pVal[i]);
Zhou Shengdac63782007-02-06 03:00:16 +0000603 return Count;
604}
605
Craig Topperbaa392e2017-04-20 02:11:27 +0000606bool APInt::intersectsSlowCase(const APInt &RHS) const {
607 for (unsigned i = 0, e = getNumWords(); i != e; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000608 if ((U.pVal[i] & RHS.U.pVal[i]) != 0)
Craig Topperbaa392e2017-04-20 02:11:27 +0000609 return true;
610
611 return false;
612}
613
Craig Toppera8129a12017-04-20 16:17:13 +0000614bool APInt::isSubsetOfSlowCase(const APInt &RHS) const {
615 for (unsigned i = 0, e = getNumWords(); i != e; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000616 if ((U.pVal[i] & ~RHS.U.pVal[i]) != 0)
Craig Toppera8129a12017-04-20 16:17:13 +0000617 return false;
618
619 return true;
620}
621
Reid Spencer1d072122007-02-16 22:36:51 +0000622APInt APInt::byteSwap() const {
623 assert(BitWidth >= 16 && BitWidth % 16 == 0 && "Cannot byteswap!");
624 if (BitWidth == 16)
Craig Topperb339c6d2017-05-03 15:46:24 +0000625 return APInt(BitWidth, ByteSwap_16(uint16_t(U.VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000626 if (BitWidth == 32)
Craig Topperb339c6d2017-05-03 15:46:24 +0000627 return APInt(BitWidth, ByteSwap_32(unsigned(U.VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000628 if (BitWidth == 48) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000629 unsigned Tmp1 = unsigned(U.VAL >> 16);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000630 Tmp1 = ByteSwap_32(Tmp1);
Craig Topperb339c6d2017-05-03 15:46:24 +0000631 uint16_t Tmp2 = uint16_t(U.VAL);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000632 Tmp2 = ByteSwap_16(Tmp2);
Jeff Cohene06855e2007-03-20 20:42:36 +0000633 return APInt(BitWidth, (uint64_t(Tmp2) << 32) | Tmp1);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000634 }
Richard Smith4f9a8082011-11-23 21:33:37 +0000635 if (BitWidth == 64)
Craig Topperb339c6d2017-05-03 15:46:24 +0000636 return APInt(BitWidth, ByteSwap_64(U.VAL));
Richard Smith4f9a8082011-11-23 21:33:37 +0000637
638 APInt Result(getNumWords() * APINT_BITS_PER_WORD, 0);
639 for (unsigned I = 0, N = getNumWords(); I != N; ++I)
Craig Topperb339c6d2017-05-03 15:46:24 +0000640 Result.U.pVal[I] = ByteSwap_64(U.pVal[N - I - 1]);
Richard Smith4f9a8082011-11-23 21:33:37 +0000641 if (Result.BitWidth != BitWidth) {
Richard Smith55bd3752017-04-13 20:29:59 +0000642 Result.lshrInPlace(Result.BitWidth - BitWidth);
Richard Smith4f9a8082011-11-23 21:33:37 +0000643 Result.BitWidth = BitWidth;
644 }
645 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000646}
647
Matt Arsenault155dda92016-03-21 15:00:35 +0000648APInt APInt::reverseBits() const {
649 switch (BitWidth) {
650 case 64:
Craig Topperb339c6d2017-05-03 15:46:24 +0000651 return APInt(BitWidth, llvm::reverseBits<uint64_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000652 case 32:
Craig Topperb339c6d2017-05-03 15:46:24 +0000653 return APInt(BitWidth, llvm::reverseBits<uint32_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000654 case 16:
Craig Topperb339c6d2017-05-03 15:46:24 +0000655 return APInt(BitWidth, llvm::reverseBits<uint16_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000656 case 8:
Craig Topperb339c6d2017-05-03 15:46:24 +0000657 return APInt(BitWidth, llvm::reverseBits<uint8_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000658 default:
659 break;
660 }
661
662 APInt Val(*this);
Craig Topper9eaef072017-04-18 05:02:21 +0000663 APInt Reversed(BitWidth, 0);
664 unsigned S = BitWidth;
Matt Arsenault155dda92016-03-21 15:00:35 +0000665
Craig Topper9eaef072017-04-18 05:02:21 +0000666 for (; Val != 0; Val.lshrInPlace(1)) {
Matt Arsenault155dda92016-03-21 15:00:35 +0000667 Reversed <<= 1;
Craig Topper9eaef072017-04-18 05:02:21 +0000668 Reversed |= Val[0];
Matt Arsenault155dda92016-03-21 15:00:35 +0000669 --S;
670 }
671
672 Reversed <<= S;
673 return Reversed;
674}
675
Craig Topper278ebd22017-04-01 20:30:57 +0000676APInt llvm::APIntOps::GreatestCommonDivisor(APInt A, APInt B) {
Richard Smith55bd3752017-04-13 20:29:59 +0000677 // Fast-path a common case.
678 if (A == B) return A;
679
680 // Corner cases: if either operand is zero, the other is the gcd.
681 if (!A) return B;
682 if (!B) return A;
683
684 // Count common powers of 2 and remove all other powers of 2.
685 unsigned Pow2;
686 {
687 unsigned Pow2_A = A.countTrailingZeros();
688 unsigned Pow2_B = B.countTrailingZeros();
689 if (Pow2_A > Pow2_B) {
690 A.lshrInPlace(Pow2_A - Pow2_B);
691 Pow2 = Pow2_B;
692 } else if (Pow2_B > Pow2_A) {
693 B.lshrInPlace(Pow2_B - Pow2_A);
694 Pow2 = Pow2_A;
695 } else {
696 Pow2 = Pow2_A;
697 }
Zhou Shengdac63782007-02-06 03:00:16 +0000698 }
Richard Smith55bd3752017-04-13 20:29:59 +0000699
700 // Both operands are odd multiples of 2^Pow_2:
701 //
702 // gcd(a, b) = gcd(|a - b| / 2^i, min(a, b))
703 //
704 // This is a modified version of Stein's algorithm, taking advantage of
705 // efficient countTrailingZeros().
706 while (A != B) {
707 if (A.ugt(B)) {
708 A -= B;
709 A.lshrInPlace(A.countTrailingZeros() - Pow2);
710 } else {
711 B -= A;
712 B.lshrInPlace(B.countTrailingZeros() - Pow2);
713 }
714 }
715
Zhou Shengdac63782007-02-06 03:00:16 +0000716 return A;
717}
Chris Lattner28cbd1d2007-02-06 05:38:37 +0000718
Chris Lattner77527f52009-01-21 18:09:24 +0000719APInt llvm::APIntOps::RoundDoubleToAPInt(double Double, unsigned width) {
Zhou Shengd707d632007-02-12 20:02:55 +0000720 union {
721 double D;
722 uint64_t I;
723 } T;
724 T.D = Double;
Reid Spencer974551a2007-02-27 01:28:10 +0000725
726 // Get the sign bit from the highest order bit
Zhou Shengd707d632007-02-12 20:02:55 +0000727 bool isNeg = T.I >> 63;
Reid Spencer974551a2007-02-27 01:28:10 +0000728
729 // Get the 11-bit exponent and adjust for the 1023 bit bias
Zhou Shengd707d632007-02-12 20:02:55 +0000730 int64_t exp = ((T.I >> 52) & 0x7ff) - 1023;
Reid Spencer974551a2007-02-27 01:28:10 +0000731
732 // If the exponent is negative, the value is < 0 so just return 0.
Zhou Shengd707d632007-02-12 20:02:55 +0000733 if (exp < 0)
Reid Spencer66d0d572007-02-28 01:30:08 +0000734 return APInt(width, 0u);
Reid Spencer974551a2007-02-27 01:28:10 +0000735
736 // Extract the mantissa by clearing the top 12 bits (sign + exponent).
737 uint64_t mantissa = (T.I & (~0ULL >> 12)) | 1ULL << 52;
738
739 // If the exponent doesn't shift all bits out of the mantissa
Zhou Shengd707d632007-02-12 20:02:55 +0000740 if (exp < 52)
Eric Christopher820256b2009-08-21 04:06:45 +0000741 return isNeg ? -APInt(width, mantissa >> (52 - exp)) :
Reid Spencer54abdcf2007-02-27 18:23:40 +0000742 APInt(width, mantissa >> (52 - exp));
743
744 // If the client didn't provide enough bits for us to shift the mantissa into
745 // then the result is undefined, just return 0
746 if (width <= exp - 52)
747 return APInt(width, 0);
Reid Spencer974551a2007-02-27 01:28:10 +0000748
749 // Otherwise, we have to shift the mantissa bits up to the right location
Reid Spencer54abdcf2007-02-27 18:23:40 +0000750 APInt Tmp(width, mantissa);
Craig Topper24e71012017-04-28 03:36:24 +0000751 Tmp <<= (unsigned)exp - 52;
Zhou Shengd707d632007-02-12 20:02:55 +0000752 return isNeg ? -Tmp : Tmp;
753}
754
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000755/// This function converts this APInt to a double.
Zhou Shengd707d632007-02-12 20:02:55 +0000756/// The layout for double is as following (IEEE Standard 754):
757/// --------------------------------------
758/// | Sign Exponent Fraction Bias |
759/// |-------------------------------------- |
760/// | 1[63] 11[62-52] 52[51-00] 1023 |
Eric Christopher820256b2009-08-21 04:06:45 +0000761/// --------------------------------------
Reid Spencer1d072122007-02-16 22:36:51 +0000762double APInt::roundToDouble(bool isSigned) const {
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000763
764 // Handle the simple case where the value is contained in one uint64_t.
Dale Johannesen54be7852009-08-12 18:04:11 +0000765 // It is wrong to optimize getWord(0) to VAL; there might be more than one word.
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000766 if (isSingleWord() || getActiveBits() <= APINT_BITS_PER_WORD) {
767 if (isSigned) {
David Majnemer03992262016-06-24 21:15:36 +0000768 int64_t sext = SignExtend64(getWord(0), BitWidth);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000769 return double(sext);
770 } else
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000771 return double(getWord(0));
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000772 }
773
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000774 // Determine if the value is negative.
Reid Spencer1d072122007-02-16 22:36:51 +0000775 bool isNeg = isSigned ? (*this)[BitWidth-1] : false;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000776
777 // Construct the absolute value if we're negative.
Zhou Shengd707d632007-02-12 20:02:55 +0000778 APInt Tmp(isNeg ? -(*this) : (*this));
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000779
780 // Figure out how many bits we're using.
Chris Lattner77527f52009-01-21 18:09:24 +0000781 unsigned n = Tmp.getActiveBits();
Zhou Shengd707d632007-02-12 20:02:55 +0000782
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000783 // The exponent (without bias normalization) is just the number of bits
784 // we are using. Note that the sign bit is gone since we constructed the
785 // absolute value.
786 uint64_t exp = n;
Zhou Shengd707d632007-02-12 20:02:55 +0000787
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000788 // Return infinity for exponent overflow
789 if (exp > 1023) {
790 if (!isSigned || !isNeg)
Jeff Cohene06855e2007-03-20 20:42:36 +0000791 return std::numeric_limits<double>::infinity();
Eric Christopher820256b2009-08-21 04:06:45 +0000792 else
Jeff Cohene06855e2007-03-20 20:42:36 +0000793 return -std::numeric_limits<double>::infinity();
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000794 }
795 exp += 1023; // Increment for 1023 bias
796
797 // Number of bits in mantissa is 52. To obtain the mantissa value, we must
798 // extract the high 52 bits from the correct words in pVal.
Zhou Shengd707d632007-02-12 20:02:55 +0000799 uint64_t mantissa;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000800 unsigned hiWord = whichWord(n-1);
801 if (hiWord == 0) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000802 mantissa = Tmp.U.pVal[0];
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000803 if (n > 52)
804 mantissa >>= n - 52; // shift down, we want the top 52 bits.
805 } else {
806 assert(hiWord > 0 && "huh?");
Craig Topperb339c6d2017-05-03 15:46:24 +0000807 uint64_t hibits = Tmp.U.pVal[hiWord] << (52 - n % APINT_BITS_PER_WORD);
808 uint64_t lobits = Tmp.U.pVal[hiWord-1] >> (11 + n % APINT_BITS_PER_WORD);
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000809 mantissa = hibits | lobits;
810 }
811
Zhou Shengd707d632007-02-12 20:02:55 +0000812 // The leading bit of mantissa is implicit, so get rid of it.
Reid Spencerfbd48a52007-02-18 00:44:22 +0000813 uint64_t sign = isNeg ? (1ULL << (APINT_BITS_PER_WORD - 1)) : 0;
Zhou Shengd707d632007-02-12 20:02:55 +0000814 union {
815 double D;
816 uint64_t I;
817 } T;
818 T.I = sign | (exp << 52) | mantissa;
819 return T.D;
820}
821
Reid Spencer1d072122007-02-16 22:36:51 +0000822// Truncate to new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000823APInt APInt::trunc(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000824 assert(width < BitWidth && "Invalid APInt Truncate request");
Chris Lattner1ac3e252008-08-20 17:02:31 +0000825 assert(width && "Can't truncate to 0 bits");
Jay Foad583abbc2010-12-07 08:25:19 +0000826
827 if (width <= APINT_BITS_PER_WORD)
828 return APInt(width, getRawData()[0]);
829
830 APInt Result(getMemory(getNumWords(width)), width);
831
832 // Copy full words.
833 unsigned i;
834 for (i = 0; i != width / APINT_BITS_PER_WORD; i++)
Craig Topperb339c6d2017-05-03 15:46:24 +0000835 Result.U.pVal[i] = U.pVal[i];
Jay Foad583abbc2010-12-07 08:25:19 +0000836
837 // Truncate and copy any partial word.
838 unsigned bits = (0 - width) % APINT_BITS_PER_WORD;
839 if (bits != 0)
Craig Topperb339c6d2017-05-03 15:46:24 +0000840 Result.U.pVal[i] = U.pVal[i] << bits >> bits;
Jay Foad583abbc2010-12-07 08:25:19 +0000841
842 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000843}
844
845// Sign extend to a new width.
Craig Topper1dec2812017-04-24 17:37:10 +0000846APInt APInt::sext(unsigned Width) const {
847 assert(Width > BitWidth && "Invalid APInt SignExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000848
Craig Topper1dec2812017-04-24 17:37:10 +0000849 if (Width <= APINT_BITS_PER_WORD)
Craig Topperb339c6d2017-05-03 15:46:24 +0000850 return APInt(Width, SignExtend64(U.VAL, BitWidth));
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000851
Craig Topper1dec2812017-04-24 17:37:10 +0000852 APInt Result(getMemory(getNumWords(Width)), Width);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000853
Craig Topper1dec2812017-04-24 17:37:10 +0000854 // Copy words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000855 std::memcpy(Result.U.pVal, getRawData(), getNumWords() * APINT_WORD_SIZE);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000856
Craig Topper1dec2812017-04-24 17:37:10 +0000857 // Sign extend the last word since there may be unused bits in the input.
Craig Topperb339c6d2017-05-03 15:46:24 +0000858 Result.U.pVal[getNumWords() - 1] =
859 SignExtend64(Result.U.pVal[getNumWords() - 1],
Craig Topper1dec2812017-04-24 17:37:10 +0000860 ((BitWidth - 1) % APINT_BITS_PER_WORD) + 1);
Jay Foad583abbc2010-12-07 08:25:19 +0000861
Craig Topper1dec2812017-04-24 17:37:10 +0000862 // Fill with sign bits.
Craig Topperb339c6d2017-05-03 15:46:24 +0000863 std::memset(Result.U.pVal + getNumWords(), isNegative() ? -1 : 0,
Craig Topper1dec2812017-04-24 17:37:10 +0000864 (Result.getNumWords() - getNumWords()) * APINT_WORD_SIZE);
865 Result.clearUnusedBits();
Jay Foad583abbc2010-12-07 08:25:19 +0000866 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000867}
868
869// Zero extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000870APInt APInt::zext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000871 assert(width > BitWidth && "Invalid APInt ZeroExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000872
873 if (width <= APINT_BITS_PER_WORD)
Craig Topperb339c6d2017-05-03 15:46:24 +0000874 return APInt(width, U.VAL);
Jay Foad583abbc2010-12-07 08:25:19 +0000875
876 APInt Result(getMemory(getNumWords(width)), width);
877
878 // Copy words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000879 std::memcpy(Result.U.pVal, getRawData(), getNumWords() * APINT_WORD_SIZE);
Jay Foad583abbc2010-12-07 08:25:19 +0000880
881 // Zero remaining words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000882 std::memset(Result.U.pVal + getNumWords(), 0,
Craig Topper1dec2812017-04-24 17:37:10 +0000883 (Result.getNumWords() - getNumWords()) * APINT_WORD_SIZE);
Jay Foad583abbc2010-12-07 08:25:19 +0000884
885 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000886}
887
Jay Foad583abbc2010-12-07 08:25:19 +0000888APInt APInt::zextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +0000889 if (BitWidth < width)
890 return zext(width);
891 if (BitWidth > width)
892 return trunc(width);
893 return *this;
894}
895
Jay Foad583abbc2010-12-07 08:25:19 +0000896APInt APInt::sextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +0000897 if (BitWidth < width)
898 return sext(width);
899 if (BitWidth > width)
900 return trunc(width);
901 return *this;
902}
903
Rafael Espindolabb893fe2012-01-27 23:33:07 +0000904APInt APInt::zextOrSelf(unsigned width) const {
905 if (BitWidth < width)
906 return zext(width);
907 return *this;
908}
909
910APInt APInt::sextOrSelf(unsigned width) const {
911 if (BitWidth < width)
912 return sext(width);
913 return *this;
914}
915
Zhou Shenge93db8f2007-02-09 07:48:24 +0000916/// Arithmetic right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000917/// @brief Arithmetic right-shift function.
Craig Topper8b373262017-04-24 17:18:47 +0000918void APInt::ashrInPlace(const APInt &shiftAmt) {
919 ashrInPlace((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +0000920}
921
922/// Arithmetic right-shift this APInt by shiftAmt.
923/// @brief Arithmetic right-shift function.
Craig Topper8b373262017-04-24 17:18:47 +0000924void APInt::ashrSlowCase(unsigned ShiftAmt) {
925 // Don't bother performing a no-op shift.
926 if (!ShiftAmt)
927 return;
Reid Spencer1825dd02007-03-02 22:39:11 +0000928
Craig Topper8b373262017-04-24 17:18:47 +0000929 // Save the original sign bit for later.
930 bool Negative = isNegative();
Reid Spencer522ca7c2007-02-25 01:56:07 +0000931
Craig Topper8b373262017-04-24 17:18:47 +0000932 // WordShift is the inter-part shift; BitShift is is intra-part shift.
933 unsigned WordShift = ShiftAmt / APINT_BITS_PER_WORD;
934 unsigned BitShift = ShiftAmt % APINT_BITS_PER_WORD;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000935
Craig Topper8b373262017-04-24 17:18:47 +0000936 unsigned WordsToMove = getNumWords() - WordShift;
937 if (WordsToMove != 0) {
938 // Sign extend the last word to fill in the unused bits.
Craig Topperb339c6d2017-05-03 15:46:24 +0000939 U.pVal[getNumWords() - 1] = SignExtend64(
940 U.pVal[getNumWords() - 1], ((BitWidth - 1) % APINT_BITS_PER_WORD) + 1);
Renato Golincc4a9122017-04-23 12:02:07 +0000941
Craig Topper8b373262017-04-24 17:18:47 +0000942 // Fastpath for moving by whole words.
943 if (BitShift == 0) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000944 std::memmove(U.pVal, U.pVal + WordShift, WordsToMove * APINT_WORD_SIZE);
Craig Topper8b373262017-04-24 17:18:47 +0000945 } else {
946 // Move the words containing significant bits.
947 for (unsigned i = 0; i != WordsToMove - 1; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000948 U.pVal[i] = (U.pVal[i + WordShift] >> BitShift) |
949 (U.pVal[i + WordShift + 1] << (APINT_BITS_PER_WORD - BitShift));
Renato Golincc4a9122017-04-23 12:02:07 +0000950
Craig Topper8b373262017-04-24 17:18:47 +0000951 // Handle the last word which has no high bits to copy.
Craig Topperb339c6d2017-05-03 15:46:24 +0000952 U.pVal[WordsToMove - 1] = U.pVal[WordShift + WordsToMove - 1] >> BitShift;
Craig Topper8b373262017-04-24 17:18:47 +0000953 // Sign extend one more time.
Craig Topperb339c6d2017-05-03 15:46:24 +0000954 U.pVal[WordsToMove - 1] =
955 SignExtend64(U.pVal[WordsToMove - 1], APINT_BITS_PER_WORD - BitShift);
Chris Lattnerdad2d092007-05-03 18:15:36 +0000956 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000957 }
958
Craig Topper8b373262017-04-24 17:18:47 +0000959 // Fill in the remainder based on the original sign.
Craig Topperb339c6d2017-05-03 15:46:24 +0000960 std::memset(U.pVal + WordsToMove, Negative ? -1 : 0,
Craig Topper8b373262017-04-24 17:18:47 +0000961 WordShift * APINT_WORD_SIZE);
962 clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000963}
964
Zhou Shenge93db8f2007-02-09 07:48:24 +0000965/// Logical right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000966/// @brief Logical right-shift function.
Craig Topperfc947bc2017-04-18 17:14:21 +0000967void APInt::lshrInPlace(const APInt &shiftAmt) {
968 lshrInPlace((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +0000969}
970
971/// Logical right-shift this APInt by shiftAmt.
972/// @brief Logical right-shift function.
Craig Topperae8bd672017-04-18 19:13:27 +0000973void APInt::lshrSlowCase(unsigned ShiftAmt) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000974 tcShiftRight(U.pVal, getNumWords(), ShiftAmt);
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000975}
976
Zhou Shenge93db8f2007-02-09 07:48:24 +0000977/// Left-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000978/// @brief Left-shift function.
Craig Topper24e71012017-04-28 03:36:24 +0000979APInt &APInt::operator<<=(const APInt &shiftAmt) {
Nick Lewycky030c4502009-01-19 17:42:33 +0000980 // It's undefined behavior in C to shift by BitWidth or greater.
Craig Topper24e71012017-04-28 03:36:24 +0000981 *this <<= (unsigned)shiftAmt.getLimitedValue(BitWidth);
982 return *this;
Dan Gohman105c1d42008-02-29 01:40:47 +0000983}
984
Craig Toppera8a4f0d2017-04-18 04:39:48 +0000985void APInt::shlSlowCase(unsigned ShiftAmt) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000986 tcShiftLeft(U.pVal, getNumWords(), ShiftAmt);
Craig Toppera8a4f0d2017-04-18 04:39:48 +0000987 clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000988}
989
Joey Gouly51c0ae52017-02-07 11:58:22 +0000990// Calculate the rotate amount modulo the bit width.
991static unsigned rotateModulo(unsigned BitWidth, const APInt &rotateAmt) {
992 unsigned rotBitWidth = rotateAmt.getBitWidth();
993 APInt rot = rotateAmt;
994 if (rotBitWidth < BitWidth) {
995 // Extend the rotate APInt, so that the urem doesn't divide by 0.
996 // e.g. APInt(1, 32) would give APInt(1, 0).
997 rot = rotateAmt.zext(BitWidth);
998 }
999 rot = rot.urem(APInt(rot.getBitWidth(), BitWidth));
1000 return rot.getLimitedValue(BitWidth);
1001}
1002
Dan Gohman105c1d42008-02-29 01:40:47 +00001003APInt APInt::rotl(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +00001004 return rotl(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001005}
1006
Chris Lattner77527f52009-01-21 18:09:24 +00001007APInt APInt::rotl(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001008 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001009 if (rotateAmt == 0)
1010 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001011 return shl(rotateAmt) | lshr(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001012}
1013
Dan Gohman105c1d42008-02-29 01:40:47 +00001014APInt APInt::rotr(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +00001015 return rotr(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001016}
1017
Chris Lattner77527f52009-01-21 18:09:24 +00001018APInt APInt::rotr(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001019 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001020 if (rotateAmt == 0)
1021 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001022 return lshr(rotateAmt) | shl(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001023}
Reid Spencerd99feaf2007-03-01 05:39:56 +00001024
1025// Square Root - this method computes and returns the square root of "this".
1026// Three mechanisms are used for computation. For small values (<= 5 bits),
1027// a table lookup is done. This gets some performance for common cases. For
1028// values using less than 52 bits, the value is converted to double and then
1029// the libc sqrt function is called. The result is rounded and then converted
1030// back to a uint64_t which is then used to construct the result. Finally,
Eric Christopher820256b2009-08-21 04:06:45 +00001031// the Babylonian method for computing square roots is used.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001032APInt APInt::sqrt() const {
1033
1034 // Determine the magnitude of the value.
Chris Lattner77527f52009-01-21 18:09:24 +00001035 unsigned magnitude = getActiveBits();
Reid Spencerd99feaf2007-03-01 05:39:56 +00001036
1037 // Use a fast table for some small values. This also gets rid of some
1038 // rounding errors in libc sqrt for small values.
1039 if (magnitude <= 5) {
Reid Spencer2f6ad4d2007-03-01 17:47:31 +00001040 static const uint8_t results[32] = {
Reid Spencerc8841d22007-03-01 06:23:32 +00001041 /* 0 */ 0,
1042 /* 1- 2 */ 1, 1,
Eric Christopher820256b2009-08-21 04:06:45 +00001043 /* 3- 6 */ 2, 2, 2, 2,
Reid Spencerc8841d22007-03-01 06:23:32 +00001044 /* 7-12 */ 3, 3, 3, 3, 3, 3,
1045 /* 13-20 */ 4, 4, 4, 4, 4, 4, 4, 4,
1046 /* 21-30 */ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1047 /* 31 */ 6
1048 };
Craig Topperb339c6d2017-05-03 15:46:24 +00001049 return APInt(BitWidth, results[ (isSingleWord() ? U.VAL : U.pVal[0]) ]);
Reid Spencerd99feaf2007-03-01 05:39:56 +00001050 }
1051
1052 // If the magnitude of the value fits in less than 52 bits (the precision of
1053 // an IEEE double precision floating point value), then we can use the
1054 // libc sqrt function which will probably use a hardware sqrt computation.
1055 // This should be faster than the algorithm below.
Jeff Cohenb622c112007-03-05 00:00:42 +00001056 if (magnitude < 52) {
Eric Christopher820256b2009-08-21 04:06:45 +00001057 return APInt(BitWidth,
Craig Topperb339c6d2017-05-03 15:46:24 +00001058 uint64_t(::round(::sqrt(double(isSingleWord() ? U.VAL
1059 : U.pVal[0])))));
Jeff Cohenb622c112007-03-05 00:00:42 +00001060 }
Reid Spencerd99feaf2007-03-01 05:39:56 +00001061
1062 // Okay, all the short cuts are exhausted. We must compute it. The following
1063 // is a classical Babylonian method for computing the square root. This code
Sanjay Patel4cb54e02014-09-11 15:41:01 +00001064 // was adapted to APInt from a wikipedia article on such computations.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001065 // See http://www.wikipedia.org/ and go to the page named
Eric Christopher820256b2009-08-21 04:06:45 +00001066 // Calculate_an_integer_square_root.
Chris Lattner77527f52009-01-21 18:09:24 +00001067 unsigned nbits = BitWidth, i = 4;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001068 APInt testy(BitWidth, 16);
1069 APInt x_old(BitWidth, 1);
1070 APInt x_new(BitWidth, 0);
1071 APInt two(BitWidth, 2);
1072
1073 // Select a good starting value using binary logarithms.
Eric Christopher820256b2009-08-21 04:06:45 +00001074 for (;; i += 2, testy = testy.shl(2))
Reid Spencerd99feaf2007-03-01 05:39:56 +00001075 if (i >= nbits || this->ule(testy)) {
1076 x_old = x_old.shl(i / 2);
1077 break;
1078 }
1079
Eric Christopher820256b2009-08-21 04:06:45 +00001080 // Use the Babylonian method to arrive at the integer square root:
Reid Spencerd99feaf2007-03-01 05:39:56 +00001081 for (;;) {
1082 x_new = (this->udiv(x_old) + x_old).udiv(two);
1083 if (x_old.ule(x_new))
1084 break;
1085 x_old = x_new;
1086 }
1087
1088 // Make sure we return the closest approximation
Eric Christopher820256b2009-08-21 04:06:45 +00001089 // NOTE: The rounding calculation below is correct. It will produce an
Reid Spencercf817562007-03-02 04:21:55 +00001090 // off-by-one discrepancy with results from pari/gp. That discrepancy has been
Eric Christopher820256b2009-08-21 04:06:45 +00001091 // determined to be a rounding issue with pari/gp as it begins to use a
Reid Spencercf817562007-03-02 04:21:55 +00001092 // floating point representation after 192 bits. There are no discrepancies
1093 // between this algorithm and pari/gp for bit widths < 192 bits.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001094 APInt square(x_old * x_old);
1095 APInt nextSquare((x_old + 1) * (x_old +1));
1096 if (this->ult(square))
1097 return x_old;
David Blaikie54c94622011-12-01 20:58:30 +00001098 assert(this->ule(nextSquare) && "Error in APInt::sqrt computation");
1099 APInt midpoint((nextSquare - square).udiv(two));
1100 APInt offset(*this - square);
1101 if (offset.ult(midpoint))
1102 return x_old;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001103 return x_old + 1;
1104}
1105
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001106/// Computes the multiplicative inverse of this APInt for a given modulo. The
1107/// iterative extended Euclidean algorithm is used to solve for this value,
1108/// however we simplify it to speed up calculating only the inverse, and take
1109/// advantage of div+rem calculations. We also use some tricks to avoid copying
1110/// (potentially large) APInts around.
1111APInt APInt::multiplicativeInverse(const APInt& modulo) const {
1112 assert(ult(modulo) && "This APInt must be smaller than the modulo");
1113
1114 // Using the properties listed at the following web page (accessed 06/21/08):
1115 // http://www.numbertheory.org/php/euclid.html
1116 // (especially the properties numbered 3, 4 and 9) it can be proved that
1117 // BitWidth bits suffice for all the computations in the algorithm implemented
1118 // below. More precisely, this number of bits suffice if the multiplicative
1119 // inverse exists, but may not suffice for the general extended Euclidean
1120 // algorithm.
1121
1122 APInt r[2] = { modulo, *this };
1123 APInt t[2] = { APInt(BitWidth, 0), APInt(BitWidth, 1) };
1124 APInt q(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001125
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001126 unsigned i;
1127 for (i = 0; r[i^1] != 0; i ^= 1) {
1128 // An overview of the math without the confusing bit-flipping:
1129 // q = r[i-2] / r[i-1]
1130 // r[i] = r[i-2] % r[i-1]
1131 // t[i] = t[i-2] - t[i-1] * q
1132 udivrem(r[i], r[i^1], q, r[i]);
1133 t[i] -= t[i^1] * q;
1134 }
1135
1136 // If this APInt and the modulo are not coprime, there is no multiplicative
1137 // inverse, so return 0. We check this by looking at the next-to-last
1138 // remainder, which is the gcd(*this,modulo) as calculated by the Euclidean
1139 // algorithm.
1140 if (r[i] != 1)
1141 return APInt(BitWidth, 0);
1142
1143 // The next-to-last t is the multiplicative inverse. However, we are
Craig Topper3fbecad2017-05-11 17:57:43 +00001144 // interested in a positive inverse. Calculate a positive one from a negative
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001145 // one if necessary. A simple addition of the modulo suffices because
Wojciech Matyjewiczf0d21cd2008-07-20 15:55:14 +00001146 // abs(t[i]) is known to be less than *this/2 (see the link above).
Craig Topperdbd62192017-05-11 18:40:53 +00001147 if (t[i].isNegative())
1148 t[i] += modulo;
1149
1150 return std::move(t[i]);
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001151}
1152
Jay Foadfe0c6482009-04-30 10:15:35 +00001153/// Calculate the magic numbers required to implement a signed integer division
1154/// by a constant as a sequence of multiplies, adds and shifts. Requires that
1155/// the divisor not be 0, 1, or -1. Taken from "Hacker's Delight", Henry S.
1156/// Warren, Jr., chapter 10.
1157APInt::ms APInt::magic() const {
1158 const APInt& d = *this;
1159 unsigned p;
1160 APInt ad, anc, delta, q1, r1, q2, r2, t;
Jay Foadfe0c6482009-04-30 10:15:35 +00001161 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
Jay Foadfe0c6482009-04-30 10:15:35 +00001162 struct ms mag;
Eric Christopher820256b2009-08-21 04:06:45 +00001163
Jay Foadfe0c6482009-04-30 10:15:35 +00001164 ad = d.abs();
1165 t = signedMin + (d.lshr(d.getBitWidth() - 1));
1166 anc = t - 1 - t.urem(ad); // absolute value of nc
1167 p = d.getBitWidth() - 1; // initialize p
1168 q1 = signedMin.udiv(anc); // initialize q1 = 2p/abs(nc)
1169 r1 = signedMin - q1*anc; // initialize r1 = rem(2p,abs(nc))
1170 q2 = signedMin.udiv(ad); // initialize q2 = 2p/abs(d)
1171 r2 = signedMin - q2*ad; // initialize r2 = rem(2p,abs(d))
1172 do {
1173 p = p + 1;
1174 q1 = q1<<1; // update q1 = 2p/abs(nc)
1175 r1 = r1<<1; // update r1 = rem(2p/abs(nc))
1176 if (r1.uge(anc)) { // must be unsigned comparison
1177 q1 = q1 + 1;
1178 r1 = r1 - anc;
1179 }
1180 q2 = q2<<1; // update q2 = 2p/abs(d)
1181 r2 = r2<<1; // update r2 = rem(2p/abs(d))
1182 if (r2.uge(ad)) { // must be unsigned comparison
1183 q2 = q2 + 1;
1184 r2 = r2 - ad;
1185 }
1186 delta = ad - r2;
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001187 } while (q1.ult(delta) || (q1 == delta && r1 == 0));
Eric Christopher820256b2009-08-21 04:06:45 +00001188
Jay Foadfe0c6482009-04-30 10:15:35 +00001189 mag.m = q2 + 1;
1190 if (d.isNegative()) mag.m = -mag.m; // resulting magic number
1191 mag.s = p - d.getBitWidth(); // resulting shift
1192 return mag;
1193}
1194
1195/// Calculate the magic numbers required to implement an unsigned integer
1196/// division by a constant as a sequence of multiplies, adds and shifts.
1197/// Requires that the divisor not be 0. Taken from "Hacker's Delight", Henry
1198/// S. Warren, Jr., chapter 10.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001199/// LeadingZeros can be used to simplify the calculation if the upper bits
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001200/// of the divided value are known zero.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001201APInt::mu APInt::magicu(unsigned LeadingZeros) const {
Jay Foadfe0c6482009-04-30 10:15:35 +00001202 const APInt& d = *this;
1203 unsigned p;
1204 APInt nc, delta, q1, r1, q2, r2;
1205 struct mu magu;
1206 magu.a = 0; // initialize "add" indicator
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001207 APInt allOnes = APInt::getAllOnesValue(d.getBitWidth()).lshr(LeadingZeros);
Jay Foadfe0c6482009-04-30 10:15:35 +00001208 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
1209 APInt signedMax = APInt::getSignedMaxValue(d.getBitWidth());
1210
Benjamin Kramer3aab6a82012-07-11 18:31:59 +00001211 nc = allOnes - (allOnes - d).urem(d);
Jay Foadfe0c6482009-04-30 10:15:35 +00001212 p = d.getBitWidth() - 1; // initialize p
1213 q1 = signedMin.udiv(nc); // initialize q1 = 2p/nc
1214 r1 = signedMin - q1*nc; // initialize r1 = rem(2p,nc)
1215 q2 = signedMax.udiv(d); // initialize q2 = (2p-1)/d
1216 r2 = signedMax - q2*d; // initialize r2 = rem((2p-1),d)
1217 do {
1218 p = p + 1;
1219 if (r1.uge(nc - r1)) {
1220 q1 = q1 + q1 + 1; // update q1
1221 r1 = r1 + r1 - nc; // update r1
1222 }
1223 else {
1224 q1 = q1+q1; // update q1
1225 r1 = r1+r1; // update r1
1226 }
1227 if ((r2 + 1).uge(d - r2)) {
1228 if (q2.uge(signedMax)) magu.a = 1;
1229 q2 = q2+q2 + 1; // update q2
1230 r2 = r2+r2 + 1 - d; // update r2
1231 }
1232 else {
1233 if (q2.uge(signedMin)) magu.a = 1;
1234 q2 = q2+q2; // update q2
1235 r2 = r2+r2 + 1; // update r2
1236 }
1237 delta = d - 1 - r2;
1238 } while (p < d.getBitWidth()*2 &&
1239 (q1.ult(delta) || (q1 == delta && r1 == 0)));
1240 magu.m = q2 + 1; // resulting magic number
1241 magu.s = p - d.getBitWidth(); // resulting shift
1242 return magu;
1243}
1244
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001245/// Implementation of Knuth's Algorithm D (Division of nonnegative integers)
1246/// from "Art of Computer Programming, Volume 2", section 4.3.1, p. 272. The
1247/// variables here have the same names as in the algorithm. Comments explain
1248/// the algorithm and any deviation from it.
Craig Topper6271bc72017-05-10 18:15:20 +00001249static void KnuthDiv(uint32_t *u, uint32_t *v, uint32_t *q, uint32_t* r,
Chris Lattner77527f52009-01-21 18:09:24 +00001250 unsigned m, unsigned n) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001251 assert(u && "Must provide dividend");
1252 assert(v && "Must provide divisor");
1253 assert(q && "Must provide quotient");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001254 assert(u != v && u != q && v != q && "Must use different memory");
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001255 assert(n>1 && "n must be > 1");
1256
Yaron Keren39fc5a62015-03-26 19:45:19 +00001257 // b denotes the base of the number system. In our case b is 2^32.
George Burgess IV381fc0e2016-08-25 01:05:08 +00001258 const uint64_t b = uint64_t(1) << 32;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001259
David Greenef32fcb42010-01-05 01:28:52 +00001260 DEBUG(dbgs() << "KnuthDiv: m=" << m << " n=" << n << '\n');
1261 DEBUG(dbgs() << "KnuthDiv: original:");
1262 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1263 DEBUG(dbgs() << " by");
1264 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1265 DEBUG(dbgs() << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001266 // D1. [Normalize.] Set d = b / (v[n-1] + 1) and multiply all the digits of
1267 // u and v by d. Note that we have taken Knuth's advice here to use a power
1268 // of 2 value for d such that d * v[n-1] >= b/2 (b is the base). A power of
1269 // 2 allows us to shift instead of multiply and it is easy to determine the
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001270 // shift amount from the leading zeros. We are basically normalizing the u
1271 // and v so that its high bits are shifted to the top of v's range without
1272 // overflow. Note that this can require an extra word in u so that u must
1273 // be of length m+n+1.
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001274 unsigned shift = countLeadingZeros(v[n-1]);
Craig Topper6271bc72017-05-10 18:15:20 +00001275 uint32_t v_carry = 0;
1276 uint32_t u_carry = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001277 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001278 for (unsigned i = 0; i < m+n; ++i) {
Craig Topper6271bc72017-05-10 18:15:20 +00001279 uint32_t u_tmp = u[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001280 u[i] = (u[i] << shift) | u_carry;
1281 u_carry = u_tmp;
Reid Spencer100502d2007-02-17 03:16:00 +00001282 }
Chris Lattner77527f52009-01-21 18:09:24 +00001283 for (unsigned i = 0; i < n; ++i) {
Craig Topper6271bc72017-05-10 18:15:20 +00001284 uint32_t v_tmp = v[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001285 v[i] = (v[i] << shift) | v_carry;
1286 v_carry = v_tmp;
1287 }
1288 }
1289 u[m+n] = u_carry;
Yaron Keren39fc5a62015-03-26 19:45:19 +00001290
David Greenef32fcb42010-01-05 01:28:52 +00001291 DEBUG(dbgs() << "KnuthDiv: normal:");
1292 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1293 DEBUG(dbgs() << " by");
1294 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1295 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001296
1297 // D2. [Initialize j.] Set j to m. This is the loop counter over the places.
1298 int j = m;
1299 do {
David Greenef32fcb42010-01-05 01:28:52 +00001300 DEBUG(dbgs() << "KnuthDiv: quotient digit #" << j << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001301 // D3. [Calculate q'.].
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001302 // Set qp = (u[j+n]*b + u[j+n-1]) / v[n-1]. (qp=qprime=q')
1303 // Set rp = (u[j+n]*b + u[j+n-1]) % v[n-1]. (rp=rprime=r')
1304 // 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 +00001305 // 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 +00001306 // on v[n-2] determines at high speed most of the cases in which the trial
Eric Christopher820256b2009-08-21 04:06:45 +00001307 // value qp is one too large, and it eliminates all cases where qp is two
1308 // too large.
Craig Topper2c9a7062017-05-13 07:14:17 +00001309 uint64_t dividend = Make_64(u[j+n], u[j+n-1]);
David Greenef32fcb42010-01-05 01:28:52 +00001310 DEBUG(dbgs() << "KnuthDiv: dividend == " << dividend << '\n');
Reid Spencercb292e42007-02-23 01:57:13 +00001311 uint64_t qp = dividend / v[n-1];
1312 uint64_t rp = dividend % v[n-1];
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001313 if (qp == b || qp*v[n-2] > b*rp + u[j+n-2]) {
1314 qp--;
1315 rp += v[n-1];
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001316 if (rp < b && (qp == b || qp*v[n-2] > b*rp + u[j+n-2]))
Reid Spencera5e0d202007-02-24 03:58:46 +00001317 qp--;
Reid Spencercb292e42007-02-23 01:57:13 +00001318 }
David Greenef32fcb42010-01-05 01:28:52 +00001319 DEBUG(dbgs() << "KnuthDiv: qp == " << qp << ", rp == " << rp << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001320
Reid Spencercb292e42007-02-23 01:57:13 +00001321 // D4. [Multiply and subtract.] Replace (u[j+n]u[j+n-1]...u[j]) with
1322 // (u[j+n]u[j+n-1]..u[j]) - qp * (v[n-1]...v[1]v[0]). This computation
1323 // consists of a simple multiplication by a one-place number, combined with
Eric Christopher820256b2009-08-21 04:06:45 +00001324 // a subtraction.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001325 // The digits (u[j+n]...u[j]) should be kept positive; if the result of
1326 // this step is actually negative, (u[j+n]...u[j]) should be left as the
1327 // true value plus b**(n+1), namely as the b's complement of
1328 // the true value, and a "borrow" to the left should be remembered.
Pawel Bylica86ac4472015-04-24 07:38:39 +00001329 int64_t borrow = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001330 for (unsigned i = 0; i < n; ++i) {
Pawel Bylica86ac4472015-04-24 07:38:39 +00001331 uint64_t p = uint64_t(qp) * uint64_t(v[i]);
Craig Topper2c9a7062017-05-13 07:14:17 +00001332 int64_t subres = int64_t(u[j+i]) - borrow - Lo_32(p);
1333 u[j+i] = Lo_32(subres);
1334 borrow = Hi_32(p) - Hi_32(subres);
Pawel Bylica86ac4472015-04-24 07:38:39 +00001335 DEBUG(dbgs() << "KnuthDiv: u[j+i] = " << u[j+i]
Daniel Dunbar763ace92009-07-13 05:27:30 +00001336 << ", borrow = " << borrow << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001337 }
Pawel Bylica86ac4472015-04-24 07:38:39 +00001338 bool isNeg = u[j+n] < borrow;
Craig Topper2c9a7062017-05-13 07:14:17 +00001339 u[j+n] -= Lo_32(borrow);
Pawel Bylica86ac4472015-04-24 07:38:39 +00001340
David Greenef32fcb42010-01-05 01:28:52 +00001341 DEBUG(dbgs() << "KnuthDiv: after subtraction:");
1342 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1343 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001344
Eric Christopher820256b2009-08-21 04:06:45 +00001345 // D5. [Test remainder.] Set q[j] = qp. If the result of step D4 was
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001346 // negative, go to step D6; otherwise go on to step D7.
Craig Topper2c9a7062017-05-13 07:14:17 +00001347 q[j] = Lo_32(qp);
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001348 if (isNeg) {
Eric Christopher820256b2009-08-21 04:06:45 +00001349 // D6. [Add back]. The probability that this step is necessary is very
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001350 // small, on the order of only 2/b. Make sure that test data accounts for
Eric Christopher820256b2009-08-21 04:06:45 +00001351 // this possibility. Decrease q[j] by 1
Reid Spencercb292e42007-02-23 01:57:13 +00001352 q[j]--;
Eric Christopher820256b2009-08-21 04:06:45 +00001353 // and add (0v[n-1]...v[1]v[0]) to (u[j+n]u[j+n-1]...u[j+1]u[j]).
1354 // A carry will occur to the left of u[j+n], and it should be ignored
Reid Spencercb292e42007-02-23 01:57:13 +00001355 // since it cancels with the borrow that occurred in D4.
1356 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001357 for (unsigned i = 0; i < n; i++) {
Craig Topper6271bc72017-05-10 18:15:20 +00001358 uint32_t limit = std::min(u[j+i],v[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001359 u[j+i] += v[i] + carry;
Reid Spencera5e0d202007-02-24 03:58:46 +00001360 carry = u[j+i] < limit || (carry && u[j+i] == limit);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001361 }
Reid Spencera5e0d202007-02-24 03:58:46 +00001362 u[j+n] += carry;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001363 }
David Greenef32fcb42010-01-05 01:28:52 +00001364 DEBUG(dbgs() << "KnuthDiv: after correction:");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001365 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
David Greenef32fcb42010-01-05 01:28:52 +00001366 DEBUG(dbgs() << "\nKnuthDiv: digit result = " << q[j] << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001367
Reid Spencercb292e42007-02-23 01:57:13 +00001368 // D7. [Loop on j.] Decrease j by one. Now if j >= 0, go back to D3.
1369 } while (--j >= 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001370
David Greenef32fcb42010-01-05 01:28:52 +00001371 DEBUG(dbgs() << "KnuthDiv: quotient:");
1372 DEBUG(for (int i = m; i >=0; i--) dbgs() <<" " << q[i]);
1373 DEBUG(dbgs() << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001374
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001375 // D8. [Unnormalize]. Now q[...] is the desired quotient, and the desired
1376 // remainder may be obtained by dividing u[...] by d. If r is non-null we
1377 // compute the remainder (urem uses this).
1378 if (r) {
1379 // The value d is expressed by the "shift" value above since we avoided
1380 // multiplication by d by using a shift left. So, all we have to do is
Simon Pilgrim0099beb2017-03-09 13:57:04 +00001381 // shift right here.
Reid Spencer468ad9112007-02-24 20:38:01 +00001382 if (shift) {
Craig Topper6271bc72017-05-10 18:15:20 +00001383 uint32_t carry = 0;
David Greenef32fcb42010-01-05 01:28:52 +00001384 DEBUG(dbgs() << "KnuthDiv: remainder:");
Reid Spencer468ad9112007-02-24 20:38:01 +00001385 for (int i = n-1; i >= 0; i--) {
1386 r[i] = (u[i] >> shift) | carry;
1387 carry = u[i] << (32 - shift);
David Greenef32fcb42010-01-05 01:28:52 +00001388 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001389 }
1390 } else {
1391 for (int i = n-1; i >= 0; i--) {
1392 r[i] = u[i];
David Greenef32fcb42010-01-05 01:28:52 +00001393 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001394 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001395 }
David Greenef32fcb42010-01-05 01:28:52 +00001396 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001397 }
David Greenef32fcb42010-01-05 01:28:52 +00001398 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001399}
1400
Benjamin Kramerc321e532016-06-08 19:09:22 +00001401void APInt::divide(const APInt &LHS, unsigned lhsWords, const APInt &RHS,
1402 unsigned rhsWords, APInt *Quotient, APInt *Remainder) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001403 assert(lhsWords >= rhsWords && "Fractional result");
1404
Eric Christopher820256b2009-08-21 04:06:45 +00001405 // First, compose the values into an array of 32-bit words instead of
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001406 // 64-bit words. This is a necessity of both the "short division" algorithm
Dan Gohman4a618822010-02-10 16:03:48 +00001407 // and the Knuth "classical algorithm" which requires there to be native
Eric Christopher820256b2009-08-21 04:06:45 +00001408 // operations for +, -, and * on an m bit value with an m*2 bit result. We
1409 // can't use 64-bit operands here because we don't have native results of
1410 // 128-bits. Furthermore, casting the 64-bit values to 32-bit values won't
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001411 // work on large-endian machines.
Chris Lattner77527f52009-01-21 18:09:24 +00001412 unsigned n = rhsWords * 2;
1413 unsigned m = (lhsWords * 2) - n;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001414
1415 // Allocate space for the temporary values we need either on the stack, if
1416 // it will fit, or on the heap if it won't.
Craig Topper6271bc72017-05-10 18:15:20 +00001417 uint32_t SPACE[128];
1418 uint32_t *U = nullptr;
1419 uint32_t *V = nullptr;
1420 uint32_t *Q = nullptr;
1421 uint32_t *R = nullptr;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001422 if ((Remainder?4:3)*n+2*m+1 <= 128) {
1423 U = &SPACE[0];
1424 V = &SPACE[m+n+1];
1425 Q = &SPACE[(m+n+1) + n];
1426 if (Remainder)
1427 R = &SPACE[(m+n+1) + n + (m+n)];
1428 } else {
Craig Topper6271bc72017-05-10 18:15:20 +00001429 U = new uint32_t[m + n + 1];
1430 V = new uint32_t[n];
1431 Q = new uint32_t[m+n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001432 if (Remainder)
Craig Topper6271bc72017-05-10 18:15:20 +00001433 R = new uint32_t[n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001434 }
1435
1436 // Initialize the dividend
Craig Topper6271bc72017-05-10 18:15:20 +00001437 memset(U, 0, (m+n+1)*sizeof(uint32_t));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001438 for (unsigned i = 0; i < lhsWords; ++i) {
Craig Topperf86b9d52017-05-10 18:15:17 +00001439 uint64_t tmp = LHS.getRawData()[i];
Craig Topper6271bc72017-05-10 18:15:20 +00001440 U[i * 2] = Lo_32(tmp);
1441 U[i * 2 + 1] = Hi_32(tmp);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001442 }
1443 U[m+n] = 0; // this extra word is for "spill" in the Knuth algorithm.
1444
Reid Spencer522ca7c2007-02-25 01:56:07 +00001445 // Initialize the divisor
Craig Topper6271bc72017-05-10 18:15:20 +00001446 memset(V, 0, (n)*sizeof(uint32_t));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001447 for (unsigned i = 0; i < rhsWords; ++i) {
Craig Topperf86b9d52017-05-10 18:15:17 +00001448 uint64_t tmp = RHS.getRawData()[i];
Craig Topper6271bc72017-05-10 18:15:20 +00001449 V[i * 2] = Lo_32(tmp);
1450 V[i * 2 + 1] = Hi_32(tmp);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001451 }
1452
Reid Spencer522ca7c2007-02-25 01:56:07 +00001453 // initialize the quotient and remainder
Craig Topper6271bc72017-05-10 18:15:20 +00001454 memset(Q, 0, (m+n) * sizeof(uint32_t));
Reid Spencer522ca7c2007-02-25 01:56:07 +00001455 if (Remainder)
Craig Topper6271bc72017-05-10 18:15:20 +00001456 memset(R, 0, n * sizeof(uint32_t));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001457
Eric Christopher820256b2009-08-21 04:06:45 +00001458 // Now, adjust m and n for the Knuth division. n is the number of words in
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001459 // the divisor. m is the number of words by which the dividend exceeds the
Eric Christopher820256b2009-08-21 04:06:45 +00001460 // divisor (i.e. m+n is the length of the dividend). These sizes must not
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001461 // contain any zero words or the Knuth algorithm fails.
1462 for (unsigned i = n; i > 0 && V[i-1] == 0; i--) {
1463 n--;
1464 m++;
1465 }
1466 for (unsigned i = m+n; i > 0 && U[i-1] == 0; i--)
1467 m--;
1468
1469 // If we're left with only a single word for the divisor, Knuth doesn't work
1470 // so we implement the short division algorithm here. This is much simpler
1471 // and faster because we are certain that we can divide a 64-bit quantity
1472 // by a 32-bit quantity at hardware speed and short division is simply a
1473 // series of such operations. This is just like doing short division but we
1474 // are using base 2^32 instead of base 10.
1475 assert(n != 0 && "Divide by zero?");
1476 if (n == 1) {
Craig Topper6271bc72017-05-10 18:15:20 +00001477 uint32_t divisor = V[0];
1478 uint32_t remainder = 0;
Craig Topper6a1d0202017-05-15 22:01:03 +00001479 for (int i = m; i >= 0; i--) {
Craig Topper6271bc72017-05-10 18:15:20 +00001480 uint64_t partial_dividend = Make_64(remainder, U[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001481 if (partial_dividend == 0) {
1482 Q[i] = 0;
1483 remainder = 0;
1484 } else if (partial_dividend < divisor) {
1485 Q[i] = 0;
Craig Topper6271bc72017-05-10 18:15:20 +00001486 remainder = Lo_32(partial_dividend);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001487 } else if (partial_dividend == divisor) {
1488 Q[i] = 1;
1489 remainder = 0;
1490 } else {
Craig Topper6271bc72017-05-10 18:15:20 +00001491 Q[i] = Lo_32(partial_dividend / divisor);
1492 remainder = Lo_32(partial_dividend - (Q[i] * divisor));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001493 }
1494 }
1495 if (R)
1496 R[0] = remainder;
1497 } else {
1498 // Now we're ready to invoke the Knuth classical divide algorithm. In this
1499 // case n > 1.
1500 KnuthDiv(U, V, Q, R, m, n);
1501 }
1502
1503 // If the caller wants the quotient
1504 if (Quotient) {
1505 // Set up the Quotient value's memory.
Craig Toppera92fd0b2017-05-12 01:46:01 +00001506 Quotient->reallocate(LHS.BitWidth);
1507 // Clear out any previous bits.
1508 Quotient->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001509
Eric Christopher820256b2009-08-21 04:06:45 +00001510 // The quotient is in Q. Reconstitute the quotient into Quotient's low
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001511 // order words.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001512 // This case is currently dead as all users of divide() handle trivial cases
1513 // earlier.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001514 if (lhsWords == 1) {
Craig Topper6271bc72017-05-10 18:15:20 +00001515 uint64_t tmp = Make_64(Q[1], Q[0]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001516 if (Quotient->isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +00001517 Quotient->U.VAL = tmp;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001518 else
Craig Topperb339c6d2017-05-03 15:46:24 +00001519 Quotient->U.pVal[0] = tmp;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001520 } else {
1521 assert(!Quotient->isSingleWord() && "Quotient APInt not large enough");
1522 for (unsigned i = 0; i < lhsWords; ++i)
Craig Topper6271bc72017-05-10 18:15:20 +00001523 Quotient->U.pVal[i] = Make_64(Q[i*2+1], Q[i*2]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001524 }
1525 }
1526
1527 // If the caller wants the remainder
1528 if (Remainder) {
1529 // Set up the Remainder value's memory.
Craig Toppera92fd0b2017-05-12 01:46:01 +00001530 Remainder->reallocate(RHS.BitWidth);
1531 // Clear out any previous bits.
1532 Remainder->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001533
1534 // The remainder is in R. Reconstitute the remainder into Remainder's low
1535 // order words.
1536 if (rhsWords == 1) {
Craig Topper6271bc72017-05-10 18:15:20 +00001537 uint64_t tmp = Make_64(R[1], R[0]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001538 if (Remainder->isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +00001539 Remainder->U.VAL = tmp;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001540 else
Craig Topperb339c6d2017-05-03 15:46:24 +00001541 Remainder->U.pVal[0] = tmp;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001542 } else {
1543 assert(!Remainder->isSingleWord() && "Remainder APInt not large enough");
1544 for (unsigned i = 0; i < rhsWords; ++i)
Craig Topper6271bc72017-05-10 18:15:20 +00001545 Remainder->U.pVal[i] = Make_64(R[i*2+1], R[i*2]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001546 }
1547 }
1548
1549 // Clean up the memory we allocated.
Reid Spencer522ca7c2007-02-25 01:56:07 +00001550 if (U != &SPACE[0]) {
1551 delete [] U;
1552 delete [] V;
1553 delete [] Q;
1554 delete [] R;
1555 }
Reid Spencer100502d2007-02-17 03:16:00 +00001556}
1557
Reid Spencer1d072122007-02-16 22:36:51 +00001558APInt APInt::udiv(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001559 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001560
1561 // First, deal with the easy case
1562 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001563 assert(RHS.U.VAL != 0 && "Divide by zero?");
1564 return APInt(BitWidth, U.VAL / RHS.U.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001565 }
Reid Spencer39867762007-02-17 02:07:07 +00001566
Reid Spencer39867762007-02-17 02:07:07 +00001567 // Get some facts about the LHS and RHS number of bits and words
Craig Topper62de0392017-05-10 07:50:15 +00001568 unsigned lhsWords = getNumWords(getActiveBits());
Craig Topperb1a71ca2017-05-12 21:45:50 +00001569 unsigned rhsBits = RHS.getActiveBits();
1570 unsigned rhsWords = getNumWords(rhsBits);
1571 assert(rhsWords && "Divided by zero???");
Reid Spencer39867762007-02-17 02:07:07 +00001572
1573 // Deal with some degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001574 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +00001575 // 0 / X ===> 0
Eric Christopher820256b2009-08-21 04:06:45 +00001576 return APInt(BitWidth, 0);
Craig Topperb1a71ca2017-05-12 21:45:50 +00001577 if (rhsBits == 1)
1578 // X / 1 ===> X
1579 return *this;
Craig Topper24ae6952017-05-08 23:49:49 +00001580 if (lhsWords < rhsWords || this->ult(RHS))
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001581 // X / Y ===> 0, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001582 return APInt(BitWidth, 0);
Craig Topper24ae6952017-05-08 23:49:49 +00001583 if (*this == RHS)
Reid Spencer58a6a432007-02-21 08:21:52 +00001584 // X / X ===> 1
1585 return APInt(BitWidth, 1);
Craig Topper06da0812017-05-12 18:18:57 +00001586 if (lhsWords == 1) // rhsWords is 1 if lhsWords is 1.
Reid Spencer39867762007-02-17 02:07:07 +00001587 // All high words are zero, just use native divide
Craig Topperb339c6d2017-05-03 15:46:24 +00001588 return APInt(BitWidth, this->U.pVal[0] / RHS.U.pVal[0]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001589
1590 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Craig Topper3369f8c2017-05-08 23:49:54 +00001591 APInt Quotient; // to hold result.
Craig Topperc10719f2014-04-07 04:17:22 +00001592 divide(*this, lhsWords, RHS, rhsWords, &Quotient, nullptr);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001593 return Quotient;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001594}
1595
Jakub Staszak6605c602013-02-20 00:17:42 +00001596APInt APInt::sdiv(const APInt &RHS) const {
1597 if (isNegative()) {
1598 if (RHS.isNegative())
1599 return (-(*this)).udiv(-RHS);
1600 return -((-(*this)).udiv(RHS));
1601 }
1602 if (RHS.isNegative())
1603 return -(this->udiv(-RHS));
1604 return this->udiv(RHS);
1605}
1606
Reid Spencer1d072122007-02-16 22:36:51 +00001607APInt APInt::urem(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001608 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001609 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001610 assert(RHS.U.VAL != 0 && "Remainder by zero?");
1611 return APInt(BitWidth, U.VAL % RHS.U.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001612 }
Reid Spencer39867762007-02-17 02:07:07 +00001613
Reid Spencer58a6a432007-02-21 08:21:52 +00001614 // Get some facts about the LHS
Craig Topper62de0392017-05-10 07:50:15 +00001615 unsigned lhsWords = getNumWords(getActiveBits());
Reid Spencer39867762007-02-17 02:07:07 +00001616
1617 // Get some facts about the RHS
Craig Topperb1a71ca2017-05-12 21:45:50 +00001618 unsigned rhsBits = RHS.getActiveBits();
1619 unsigned rhsWords = getNumWords(rhsBits);
Reid Spencer39867762007-02-17 02:07:07 +00001620 assert(rhsWords && "Performing remainder operation by zero ???");
1621
Reid Spencer39867762007-02-17 02:07:07 +00001622 // Check the degenerate cases
Craig Topper24ae6952017-05-08 23:49:49 +00001623 if (lhsWords == 0)
Reid Spencer58a6a432007-02-21 08:21:52 +00001624 // 0 % Y ===> 0
1625 return APInt(BitWidth, 0);
Craig Topperb1a71ca2017-05-12 21:45:50 +00001626 if (rhsBits == 1)
1627 // X % 1 ===> 0
1628 return APInt(BitWidth, 0);
Craig Topper24ae6952017-05-08 23:49:49 +00001629 if (lhsWords < rhsWords || this->ult(RHS))
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001630 // X % Y ===> X, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001631 return *this;
Craig Topper24ae6952017-05-08 23:49:49 +00001632 if (*this == RHS)
Reid Spencer39867762007-02-17 02:07:07 +00001633 // X % X == 0;
Reid Spencer58a6a432007-02-21 08:21:52 +00001634 return APInt(BitWidth, 0);
Craig Topper24ae6952017-05-08 23:49:49 +00001635 if (lhsWords == 1)
Reid Spencer39867762007-02-17 02:07:07 +00001636 // All high words are zero, just use native remainder
Craig Topperb339c6d2017-05-03 15:46:24 +00001637 return APInt(BitWidth, U.pVal[0] % RHS.U.pVal[0]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001638
Reid Spencer4c50b522007-05-13 23:44:59 +00001639 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Craig Topper3369f8c2017-05-08 23:49:54 +00001640 APInt Remainder;
Craig Topperc10719f2014-04-07 04:17:22 +00001641 divide(*this, lhsWords, RHS, rhsWords, nullptr, &Remainder);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001642 return Remainder;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001643}
Reid Spencer100502d2007-02-17 03:16:00 +00001644
Jakub Staszak6605c602013-02-20 00:17:42 +00001645APInt APInt::srem(const APInt &RHS) const {
1646 if (isNegative()) {
1647 if (RHS.isNegative())
1648 return -((-(*this)).urem(-RHS));
1649 return -((-(*this)).urem(RHS));
1650 }
1651 if (RHS.isNegative())
1652 return this->urem(-RHS);
1653 return this->urem(RHS);
1654}
1655
Eric Christopher820256b2009-08-21 04:06:45 +00001656void APInt::udivrem(const APInt &LHS, const APInt &RHS,
Reid Spencer4c50b522007-05-13 23:44:59 +00001657 APInt &Quotient, APInt &Remainder) {
David Majnemer7f039202014-12-14 09:41:56 +00001658 assert(LHS.BitWidth == RHS.BitWidth && "Bit widths must be the same");
Craig Topper2579c7c2017-05-12 21:45:44 +00001659 unsigned BitWidth = LHS.BitWidth;
David Majnemer7f039202014-12-14 09:41:56 +00001660
1661 // First, deal with the easy case
1662 if (LHS.isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001663 assert(RHS.U.VAL != 0 && "Divide by zero?");
1664 uint64_t QuotVal = LHS.U.VAL / RHS.U.VAL;
1665 uint64_t RemVal = LHS.U.VAL % RHS.U.VAL;
Craig Topper2579c7c2017-05-12 21:45:44 +00001666 Quotient = APInt(BitWidth, QuotVal);
1667 Remainder = APInt(BitWidth, RemVal);
David Majnemer7f039202014-12-14 09:41:56 +00001668 return;
1669 }
1670
Reid Spencer4c50b522007-05-13 23:44:59 +00001671 // Get some size facts about the dividend and divisor
Craig Topper62de0392017-05-10 07:50:15 +00001672 unsigned lhsWords = getNumWords(LHS.getActiveBits());
Craig Topperb1a71ca2017-05-12 21:45:50 +00001673 unsigned rhsBits = RHS.getActiveBits();
1674 unsigned rhsWords = getNumWords(rhsBits);
Craig Topper4bdd6212017-05-12 18:19:01 +00001675 assert(rhsWords && "Performing divrem operation by zero ???");
Reid Spencer4c50b522007-05-13 23:44:59 +00001676
1677 // Check the degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001678 if (lhsWords == 0) {
Reid Spencer4c50b522007-05-13 23:44:59 +00001679 Quotient = 0; // 0 / Y ===> 0
1680 Remainder = 0; // 0 % Y ===> 0
1681 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001682 }
1683
Craig Topperb1a71ca2017-05-12 21:45:50 +00001684 if (rhsBits == 1) {
1685 Quotient = LHS; // X / 1 ===> X
1686 Remainder = 0; // X % 1 ===> 0
1687 }
1688
Eric Christopher820256b2009-08-21 04:06:45 +00001689 if (lhsWords < rhsWords || LHS.ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001690 Remainder = LHS; // X % Y ===> X, iff X < Y
1691 Quotient = 0; // X / Y ===> 0, iff X < Y
Reid Spencer4c50b522007-05-13 23:44:59 +00001692 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001693 }
1694
Reid Spencer4c50b522007-05-13 23:44:59 +00001695 if (LHS == RHS) {
1696 Quotient = 1; // X / X ===> 1
1697 Remainder = 0; // X % X ===> 0;
1698 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001699 }
1700
Craig Topper06da0812017-05-12 18:18:57 +00001701 if (lhsWords == 1) { // rhsWords is 1 if lhsWords is 1.
Reid Spencer4c50b522007-05-13 23:44:59 +00001702 // There is only one word to consider so use the native versions.
Craig Topper93eabae2017-05-10 18:15:14 +00001703 uint64_t lhsValue = LHS.U.pVal[0];
1704 uint64_t rhsValue = RHS.U.pVal[0];
Craig Topper87694032017-05-12 07:21:09 +00001705 // Make sure there is enough space to hold the results.
Craig Topper2579c7c2017-05-12 21:45:44 +00001706 Quotient.reallocate(BitWidth);
1707 Remainder.reallocate(BitWidth);
Craig Topper87694032017-05-12 07:21:09 +00001708 Quotient = lhsValue / rhsValue;
1709 Remainder = lhsValue % rhsValue;
Reid Spencer4c50b522007-05-13 23:44:59 +00001710 return;
1711 }
1712
1713 // Okay, lets do it the long way
1714 divide(LHS, lhsWords, RHS, rhsWords, &Quotient, &Remainder);
1715}
1716
Jakub Staszak6605c602013-02-20 00:17:42 +00001717void APInt::sdivrem(const APInt &LHS, const APInt &RHS,
1718 APInt &Quotient, APInt &Remainder) {
1719 if (LHS.isNegative()) {
1720 if (RHS.isNegative())
1721 APInt::udivrem(-LHS, -RHS, Quotient, Remainder);
1722 else {
1723 APInt::udivrem(-LHS, RHS, Quotient, Remainder);
Craig Topperb3c1f562017-05-11 07:02:04 +00001724 Quotient.negate();
Jakub Staszak6605c602013-02-20 00:17:42 +00001725 }
Craig Topperb3c1f562017-05-11 07:02:04 +00001726 Remainder.negate();
Jakub Staszak6605c602013-02-20 00:17:42 +00001727 } else if (RHS.isNegative()) {
1728 APInt::udivrem(LHS, -RHS, Quotient, Remainder);
Craig Topperb3c1f562017-05-11 07:02:04 +00001729 Quotient.negate();
Jakub Staszak6605c602013-02-20 00:17:42 +00001730 } else {
1731 APInt::udivrem(LHS, RHS, Quotient, Remainder);
1732 }
1733}
1734
Chris Lattner2c819b02010-10-13 23:54:10 +00001735APInt APInt::sadd_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001736 APInt Res = *this+RHS;
1737 Overflow = isNonNegative() == RHS.isNonNegative() &&
1738 Res.isNonNegative() != isNonNegative();
1739 return Res;
1740}
1741
Chris Lattner698661c2010-10-14 00:05:07 +00001742APInt APInt::uadd_ov(const APInt &RHS, bool &Overflow) const {
1743 APInt Res = *this+RHS;
1744 Overflow = Res.ult(RHS);
1745 return Res;
1746}
1747
Chris Lattner2c819b02010-10-13 23:54:10 +00001748APInt APInt::ssub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001749 APInt Res = *this - RHS;
1750 Overflow = isNonNegative() != RHS.isNonNegative() &&
1751 Res.isNonNegative() != isNonNegative();
1752 return Res;
1753}
1754
Chris Lattner698661c2010-10-14 00:05:07 +00001755APInt APInt::usub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattnerb9681ad2010-10-14 00:30:00 +00001756 APInt Res = *this-RHS;
1757 Overflow = Res.ugt(*this);
Chris Lattner698661c2010-10-14 00:05:07 +00001758 return Res;
1759}
1760
Chris Lattner2c819b02010-10-13 23:54:10 +00001761APInt APInt::sdiv_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001762 // MININT/-1 --> overflow.
1763 Overflow = isMinSignedValue() && RHS.isAllOnesValue();
1764 return sdiv(RHS);
1765}
1766
Chris Lattner2c819b02010-10-13 23:54:10 +00001767APInt APInt::smul_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001768 APInt Res = *this * RHS;
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001769
Chris Lattner79bdd882010-10-13 23:46:33 +00001770 if (*this != 0 && RHS != 0)
1771 Overflow = Res.sdiv(RHS) != *this || Res.sdiv(*this) != RHS;
1772 else
1773 Overflow = false;
1774 return Res;
1775}
1776
Frits van Bommel0bb2ad22011-03-27 14:26:13 +00001777APInt APInt::umul_ov(const APInt &RHS, bool &Overflow) const {
1778 APInt Res = *this * RHS;
1779
1780 if (*this != 0 && RHS != 0)
1781 Overflow = Res.udiv(RHS) != *this || Res.udiv(*this) != RHS;
1782 else
1783 Overflow = false;
1784 return Res;
1785}
1786
David Majnemera2521382014-10-13 21:48:30 +00001787APInt APInt::sshl_ov(const APInt &ShAmt, bool &Overflow) const {
1788 Overflow = ShAmt.uge(getBitWidth());
Chris Lattner79bdd882010-10-13 23:46:33 +00001789 if (Overflow)
David Majnemera2521382014-10-13 21:48:30 +00001790 return APInt(BitWidth, 0);
Chris Lattner79bdd882010-10-13 23:46:33 +00001791
1792 if (isNonNegative()) // Don't allow sign change.
David Majnemera2521382014-10-13 21:48:30 +00001793 Overflow = ShAmt.uge(countLeadingZeros());
Chris Lattner79bdd882010-10-13 23:46:33 +00001794 else
David Majnemera2521382014-10-13 21:48:30 +00001795 Overflow = ShAmt.uge(countLeadingOnes());
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001796
Chris Lattner79bdd882010-10-13 23:46:33 +00001797 return *this << ShAmt;
1798}
1799
David Majnemera2521382014-10-13 21:48:30 +00001800APInt APInt::ushl_ov(const APInt &ShAmt, bool &Overflow) const {
1801 Overflow = ShAmt.uge(getBitWidth());
1802 if (Overflow)
1803 return APInt(BitWidth, 0);
1804
1805 Overflow = ShAmt.ugt(countLeadingZeros());
1806
1807 return *this << ShAmt;
1808}
1809
Chris Lattner79bdd882010-10-13 23:46:33 +00001810
1811
1812
Benjamin Kramer92d89982010-07-14 22:38:02 +00001813void APInt::fromString(unsigned numbits, StringRef str, uint8_t radix) {
Reid Spencer1ba83352007-02-21 03:55:44 +00001814 // Check our assumptions here
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001815 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001816 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00001817 radix == 36) &&
1818 "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001819
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001820 StringRef::iterator p = str.begin();
1821 size_t slen = str.size();
1822 bool isNeg = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001823 if (*p == '-' || *p == '+') {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001824 p++;
1825 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +00001826 assert(slen && "String is only a sign, needs a value.");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001827 }
Chris Lattnerdad2d092007-05-03 18:15:36 +00001828 assert((slen <= numbits || radix != 2) && "Insufficient bit width");
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001829 assert(((slen-1)*3 <= numbits || radix != 8) && "Insufficient bit width");
1830 assert(((slen-1)*4 <= numbits || radix != 16) && "Insufficient bit width");
Dan Gohmanb452d4e2010-03-24 19:38:02 +00001831 assert((((slen-1)*64)/22 <= numbits || radix != 10) &&
1832 "Insufficient bit width");
Reid Spencer1ba83352007-02-21 03:55:44 +00001833
Craig Topperb339c6d2017-05-03 15:46:24 +00001834 // Allocate memory if needed
1835 if (isSingleWord())
1836 U.VAL = 0;
1837 else
1838 U.pVal = getClearedMemory(getNumWords());
Reid Spencer1ba83352007-02-21 03:55:44 +00001839
1840 // Figure out if we can shift instead of multiply
Chris Lattner77527f52009-01-21 18:09:24 +00001841 unsigned shift = (radix == 16 ? 4 : radix == 8 ? 3 : radix == 2 ? 1 : 0);
Reid Spencer1ba83352007-02-21 03:55:44 +00001842
Reid Spencer1ba83352007-02-21 03:55:44 +00001843 // Enter digit traversal loop
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001844 for (StringRef::iterator e = str.end(); p != e; ++p) {
Erick Tryzelaardadb15712009-08-21 03:15:28 +00001845 unsigned digit = getDigit(*p, radix);
Erick Tryzelaar60964092009-08-21 06:48:37 +00001846 assert(digit < radix && "Invalid character in digit string");
Reid Spencer1ba83352007-02-21 03:55:44 +00001847
Reid Spencera93c9812007-05-16 19:18:22 +00001848 // Shift or multiply the value by the radix
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001849 if (slen > 1) {
1850 if (shift)
1851 *this <<= shift;
1852 else
Craig Topperf15bec52017-05-08 04:55:12 +00001853 *this *= radix;
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001854 }
Reid Spencer1ba83352007-02-21 03:55:44 +00001855
1856 // Add in the digit we just interpreted
Craig Topperb7d8faa2017-04-02 06:59:38 +00001857 *this += digit;
Reid Spencer100502d2007-02-17 03:16:00 +00001858 }
Reid Spencerb6b5cc32007-02-25 23:44:53 +00001859 // If its negative, put it in two's complement form
Craig Topperef0114c2017-05-10 20:01:38 +00001860 if (isNeg)
1861 this->negate();
Reid Spencer100502d2007-02-17 03:16:00 +00001862}
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001863
Chris Lattner17f71652008-08-17 07:19:36 +00001864void APInt::toString(SmallVectorImpl<char> &Str, unsigned Radix,
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001865 bool Signed, bool formatAsCLiteral) const {
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001866 assert((Radix == 10 || Radix == 8 || Radix == 16 || Radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00001867 Radix == 36) &&
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001868 "Radix should be 2, 8, 10, 16, or 36!");
Eric Christopher820256b2009-08-21 04:06:45 +00001869
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001870 const char *Prefix = "";
1871 if (formatAsCLiteral) {
1872 switch (Radix) {
1873 case 2:
1874 // Binary literals are a non-standard extension added in gcc 4.3:
1875 // http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Binary-constants.html
1876 Prefix = "0b";
1877 break;
1878 case 8:
1879 Prefix = "0";
1880 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001881 case 10:
1882 break; // No prefix
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001883 case 16:
1884 Prefix = "0x";
1885 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001886 default:
1887 llvm_unreachable("Invalid radix!");
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001888 }
1889 }
1890
Chris Lattner17f71652008-08-17 07:19:36 +00001891 // First, check for a zero value and just short circuit the logic below.
1892 if (*this == 0) {
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001893 while (*Prefix) {
1894 Str.push_back(*Prefix);
1895 ++Prefix;
1896 };
Chris Lattner17f71652008-08-17 07:19:36 +00001897 Str.push_back('0');
1898 return;
1899 }
Eric Christopher820256b2009-08-21 04:06:45 +00001900
Douglas Gregor663c0682011-09-14 15:54:46 +00001901 static const char Digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
Eric Christopher820256b2009-08-21 04:06:45 +00001902
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001903 if (isSingleWord()) {
Chris Lattner17f71652008-08-17 07:19:36 +00001904 char Buffer[65];
1905 char *BufPtr = Buffer+65;
Eric Christopher820256b2009-08-21 04:06:45 +00001906
Chris Lattner17f71652008-08-17 07:19:36 +00001907 uint64_t N;
Chris Lattnerb91c9032010-08-18 00:33:47 +00001908 if (!Signed) {
Chris Lattner17f71652008-08-17 07:19:36 +00001909 N = getZExtValue();
Chris Lattnerb91c9032010-08-18 00:33:47 +00001910 } else {
1911 int64_t I = getSExtValue();
1912 if (I >= 0) {
1913 N = I;
1914 } else {
1915 Str.push_back('-');
1916 N = -(uint64_t)I;
1917 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001918 }
Eric Christopher820256b2009-08-21 04:06:45 +00001919
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001920 while (*Prefix) {
1921 Str.push_back(*Prefix);
1922 ++Prefix;
1923 };
1924
Chris Lattner17f71652008-08-17 07:19:36 +00001925 while (N) {
1926 *--BufPtr = Digits[N % Radix];
1927 N /= Radix;
1928 }
1929 Str.append(BufPtr, Buffer+65);
1930 return;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001931 }
1932
Chris Lattner17f71652008-08-17 07:19:36 +00001933 APInt Tmp(*this);
Eric Christopher820256b2009-08-21 04:06:45 +00001934
Chris Lattner17f71652008-08-17 07:19:36 +00001935 if (Signed && isNegative()) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001936 // They want to print the signed version and it is a negative value
1937 // Flip the bits and add one to turn it into the equivalent positive
1938 // value and put a '-' in the result.
Craig Topperef0114c2017-05-10 20:01:38 +00001939 Tmp.negate();
Chris Lattner17f71652008-08-17 07:19:36 +00001940 Str.push_back('-');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001941 }
Eric Christopher820256b2009-08-21 04:06:45 +00001942
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001943 while (*Prefix) {
1944 Str.push_back(*Prefix);
1945 ++Prefix;
1946 };
1947
Chris Lattner17f71652008-08-17 07:19:36 +00001948 // We insert the digits backward, then reverse them to get the right order.
1949 unsigned StartDig = Str.size();
Eric Christopher820256b2009-08-21 04:06:45 +00001950
1951 // For the 2, 8 and 16 bit cases, we can just shift instead of divide
1952 // because the number of bits per digit (1, 3 and 4 respectively) divides
Craig Topperd7ed50d2017-04-02 06:59:36 +00001953 // equally. We just shift until the value is zero.
Douglas Gregor663c0682011-09-14 15:54:46 +00001954 if (Radix == 2 || Radix == 8 || Radix == 16) {
Chris Lattner17f71652008-08-17 07:19:36 +00001955 // Just shift tmp right for each digit width until it becomes zero
1956 unsigned ShiftAmt = (Radix == 16 ? 4 : (Radix == 8 ? 3 : 1));
1957 unsigned MaskAmt = Radix - 1;
Eric Christopher820256b2009-08-21 04:06:45 +00001958
Craig Topperecb97da2017-05-10 18:15:24 +00001959 while (Tmp.getBoolValue()) {
Chris Lattner17f71652008-08-17 07:19:36 +00001960 unsigned Digit = unsigned(Tmp.getRawData()[0]) & MaskAmt;
1961 Str.push_back(Digits[Digit]);
Craig Topperfc947bc2017-04-18 17:14:21 +00001962 Tmp.lshrInPlace(ShiftAmt);
Chris Lattner17f71652008-08-17 07:19:36 +00001963 }
1964 } else {
Craig Topperecb97da2017-05-10 18:15:24 +00001965 APInt divisor(Tmp.getBitWidth(), Radix);
1966 APInt APdigit;
Craig Topperecb97da2017-05-10 18:15:24 +00001967 while (Tmp.getBoolValue()) {
Craig Topperc59ced32017-05-11 07:10:43 +00001968 udivrem(Tmp, divisor, Tmp, APdigit);
Chris Lattner77527f52009-01-21 18:09:24 +00001969 unsigned Digit = (unsigned)APdigit.getZExtValue();
Chris Lattner17f71652008-08-17 07:19:36 +00001970 assert(Digit < Radix && "divide failed");
1971 Str.push_back(Digits[Digit]);
Chris Lattner17f71652008-08-17 07:19:36 +00001972 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001973 }
Eric Christopher820256b2009-08-21 04:06:45 +00001974
Chris Lattner17f71652008-08-17 07:19:36 +00001975 // Reverse the digits before returning.
1976 std::reverse(Str.begin()+StartDig, Str.end());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001977}
1978
Pawel Bylica6eeeac72015-04-06 13:31:39 +00001979/// Returns the APInt as a std::string. Note that this is an inefficient method.
1980/// It is better to pass in a SmallVector/SmallString to the methods above.
Chris Lattner17f71652008-08-17 07:19:36 +00001981std::string APInt::toString(unsigned Radix = 10, bool Signed = true) const {
1982 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001983 toString(S, Radix, Signed, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00001984 return S.str();
Reid Spencer1ba83352007-02-21 03:55:44 +00001985}
Chris Lattner6b695682007-08-16 15:56:55 +00001986
Matthias Braun8c209aa2017-01-28 02:02:38 +00001987#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Yaron Kereneb2a2542016-01-29 20:50:44 +00001988LLVM_DUMP_METHOD void APInt::dump() const {
Chris Lattner17f71652008-08-17 07:19:36 +00001989 SmallString<40> S, U;
1990 this->toStringUnsigned(U);
1991 this->toStringSigned(S);
David Greenef32fcb42010-01-05 01:28:52 +00001992 dbgs() << "APInt(" << BitWidth << "b, "
Davide Italiano5a473d22017-01-31 21:26:18 +00001993 << U << "u " << S << "s)\n";
Chris Lattner17f71652008-08-17 07:19:36 +00001994}
Matthias Braun8c209aa2017-01-28 02:02:38 +00001995#endif
Chris Lattner17f71652008-08-17 07:19:36 +00001996
Chris Lattner0c19df42008-08-23 22:23:09 +00001997void APInt::print(raw_ostream &OS, bool isSigned) const {
Chris Lattner17f71652008-08-17 07:19:36 +00001998 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001999 this->toString(S, 10, isSigned, /* formatAsCLiteral = */false);
Yaron Keren92e1b622015-03-18 10:17:07 +00002000 OS << S;
Chris Lattner17f71652008-08-17 07:19:36 +00002001}
2002
Chris Lattner6b695682007-08-16 15:56:55 +00002003// This implements a variety of operations on a representation of
2004// arbitrary precision, two's-complement, bignum integer values.
2005
Chris Lattner96cffa62009-08-23 23:11:28 +00002006// Assumed by lowHalf, highHalf, partMSB and partLSB. A fairly safe
2007// and unrestricting assumption.
Craig Topper55229b72017-04-02 19:17:22 +00002008static_assert(APInt::APINT_BITS_PER_WORD % 2 == 0,
2009 "Part width must be divisible by 2!");
Chris Lattner6b695682007-08-16 15:56:55 +00002010
2011/* Some handy functions local to this file. */
Chris Lattner6b695682007-08-16 15:56:55 +00002012
Craig Topper76f42462017-03-28 05:32:53 +00002013/* Returns the integer part with the least significant BITS set.
2014 BITS cannot be zero. */
Craig Topper55229b72017-04-02 19:17:22 +00002015static inline APInt::WordType lowBitMask(unsigned bits) {
2016 assert(bits != 0 && bits <= APInt::APINT_BITS_PER_WORD);
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002017
Craig Topper55229b72017-04-02 19:17:22 +00002018 return ~(APInt::WordType) 0 >> (APInt::APINT_BITS_PER_WORD - bits);
Craig Topper76f42462017-03-28 05:32:53 +00002019}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002020
Craig Topper76f42462017-03-28 05:32:53 +00002021/* Returns the value of the lower half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002022static inline APInt::WordType lowHalf(APInt::WordType part) {
2023 return part & lowBitMask(APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002024}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002025
Craig Topper76f42462017-03-28 05:32:53 +00002026/* Returns the value of the upper half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002027static inline APInt::WordType highHalf(APInt::WordType part) {
2028 return part >> (APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002029}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002030
Craig Topper76f42462017-03-28 05:32:53 +00002031/* Returns the bit number of the most significant set bit of a part.
2032 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002033static unsigned partMSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002034 return findLastSet(value, ZB_Max);
2035}
Chris Lattner6b695682007-08-16 15:56:55 +00002036
Craig Topper76f42462017-03-28 05:32:53 +00002037/* Returns the bit number of the least significant set bit of a
2038 part. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002039static unsigned partLSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002040 return findFirstSet(value, ZB_Max);
Alexander Kornienkof00654e2015-06-23 09:49:53 +00002041}
Chris Lattner6b695682007-08-16 15:56:55 +00002042
2043/* Sets the least significant part of a bignum to the input value, and
2044 zeroes out higher parts. */
Craig Topper55229b72017-04-02 19:17:22 +00002045void APInt::tcSet(WordType *dst, WordType part, unsigned parts) {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002046 assert(parts > 0);
Neil Boothb6182162007-10-08 13:47:12 +00002047
Chris Lattner6b695682007-08-16 15:56:55 +00002048 dst[0] = part;
Craig Topperb0038162017-03-28 05:32:52 +00002049 for (unsigned i = 1; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002050 dst[i] = 0;
2051}
2052
2053/* Assign one bignum to another. */
Craig Topper55229b72017-04-02 19:17:22 +00002054void APInt::tcAssign(WordType *dst, const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002055 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002056 dst[i] = src[i];
2057}
2058
2059/* Returns true if a bignum is zero, false otherwise. */
Craig Topper55229b72017-04-02 19:17:22 +00002060bool APInt::tcIsZero(const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002061 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002062 if (src[i])
2063 return false;
2064
2065 return true;
2066}
2067
2068/* Extract the given bit of a bignum; returns 0 or 1. */
Craig Topper55229b72017-04-02 19:17:22 +00002069int APInt::tcExtractBit(const WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002070 return (parts[whichWord(bit)] & maskBit(bit)) != 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002071}
2072
John McCalldcb9a7a2010-02-28 02:51:25 +00002073/* Set the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002074void APInt::tcSetBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002075 parts[whichWord(bit)] |= maskBit(bit);
Chris Lattner6b695682007-08-16 15:56:55 +00002076}
2077
John McCalldcb9a7a2010-02-28 02:51:25 +00002078/* Clears the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002079void APInt::tcClearBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002080 parts[whichWord(bit)] &= ~maskBit(bit);
John McCalldcb9a7a2010-02-28 02:51:25 +00002081}
2082
Neil Boothc8b650a2007-10-06 00:43:45 +00002083/* Returns the bit number of the least significant set bit of a
2084 number. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002085unsigned APInt::tcLSB(const WordType *parts, unsigned n) {
Craig Topperb0038162017-03-28 05:32:52 +00002086 for (unsigned i = 0; i < n; i++) {
2087 if (parts[i] != 0) {
2088 unsigned lsb = partLSB(parts[i]);
Chris Lattner6b695682007-08-16 15:56:55 +00002089
Craig Topper55229b72017-04-02 19:17:22 +00002090 return lsb + i * APINT_BITS_PER_WORD;
Craig Topperb0038162017-03-28 05:32:52 +00002091 }
Chris Lattner6b695682007-08-16 15:56:55 +00002092 }
2093
2094 return -1U;
2095}
2096
Neil Boothc8b650a2007-10-06 00:43:45 +00002097/* Returns the bit number of the most significant set bit of a number.
2098 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002099unsigned APInt::tcMSB(const WordType *parts, unsigned n) {
Chris Lattner6b695682007-08-16 15:56:55 +00002100 do {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002101 --n;
Chris Lattner6b695682007-08-16 15:56:55 +00002102
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002103 if (parts[n] != 0) {
Craig Topperb0038162017-03-28 05:32:52 +00002104 unsigned msb = partMSB(parts[n]);
Chris Lattner6b695682007-08-16 15:56:55 +00002105
Craig Topper55229b72017-04-02 19:17:22 +00002106 return msb + n * APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002107 }
Chris Lattner6b695682007-08-16 15:56:55 +00002108 } while (n);
2109
2110 return -1U;
2111}
2112
Neil Boothb6182162007-10-08 13:47:12 +00002113/* Copy the bit vector of width srcBITS from SRC, starting at bit
2114 srcLSB, to DST, of dstCOUNT parts, such that the bit srcLSB becomes
2115 the least significant bit of DST. All high bits above srcBITS in
2116 DST are zero-filled. */
2117void
Craig Topper55229b72017-04-02 19:17:22 +00002118APInt::tcExtract(WordType *dst, unsigned dstCount, const WordType *src,
Craig Topper6a8518082017-03-28 05:32:55 +00002119 unsigned srcBits, unsigned srcLSB) {
Craig Topper55229b72017-04-02 19:17:22 +00002120 unsigned dstParts = (srcBits + APINT_BITS_PER_WORD - 1) / APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002121 assert(dstParts <= dstCount);
Neil Boothb6182162007-10-08 13:47:12 +00002122
Craig Topper55229b72017-04-02 19:17:22 +00002123 unsigned firstSrcPart = srcLSB / APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002124 tcAssign (dst, src + firstSrcPart, dstParts);
2125
Craig Topper55229b72017-04-02 19:17:22 +00002126 unsigned shift = srcLSB % APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002127 tcShiftRight (dst, dstParts, shift);
2128
Craig Topper55229b72017-04-02 19:17:22 +00002129 /* We now have (dstParts * APINT_BITS_PER_WORD - shift) bits from SRC
Neil Boothb6182162007-10-08 13:47:12 +00002130 in DST. If this is less that srcBits, append the rest, else
2131 clear the high bits. */
Craig Topper55229b72017-04-02 19:17:22 +00002132 unsigned n = dstParts * APINT_BITS_PER_WORD - shift;
Neil Boothb6182162007-10-08 13:47:12 +00002133 if (n < srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002134 WordType mask = lowBitMask (srcBits - n);
Neil Boothb6182162007-10-08 13:47:12 +00002135 dst[dstParts - 1] |= ((src[firstSrcPart + dstParts] & mask)
Craig Topper55229b72017-04-02 19:17:22 +00002136 << n % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002137 } else if (n > srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002138 if (srcBits % APINT_BITS_PER_WORD)
2139 dst[dstParts - 1] &= lowBitMask (srcBits % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002140 }
2141
2142 /* Clear high parts. */
2143 while (dstParts < dstCount)
2144 dst[dstParts++] = 0;
2145}
2146
Chris Lattner6b695682007-08-16 15:56:55 +00002147/* DST += RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002148APInt::WordType APInt::tcAdd(WordType *dst, const WordType *rhs,
2149 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002150 assert(c <= 1);
2151
Craig Topperb0038162017-03-28 05:32:52 +00002152 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002153 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002154 if (c) {
2155 dst[i] += rhs[i] + 1;
2156 c = (dst[i] <= l);
2157 } else {
2158 dst[i] += rhs[i];
2159 c = (dst[i] < l);
2160 }
2161 }
2162
2163 return c;
2164}
2165
Craig Topper92fc4772017-04-13 04:36:06 +00002166/// This function adds a single "word" integer, src, to the multiple
2167/// "word" integer array, dst[]. dst[] is modified to reflect the addition and
2168/// 1 is returned if there is a carry out, otherwise 0 is returned.
2169/// @returns the carry of the addition.
2170APInt::WordType APInt::tcAddPart(WordType *dst, WordType src,
2171 unsigned parts) {
2172 for (unsigned i = 0; i < parts; ++i) {
2173 dst[i] += src;
2174 if (dst[i] >= src)
2175 return 0; // No need to carry so exit early.
2176 src = 1; // Carry one to next digit.
2177 }
2178
2179 return 1;
2180}
2181
Chris Lattner6b695682007-08-16 15:56:55 +00002182/* DST -= RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002183APInt::WordType APInt::tcSubtract(WordType *dst, const WordType *rhs,
2184 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002185 assert(c <= 1);
2186
Craig Topperb0038162017-03-28 05:32:52 +00002187 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002188 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002189 if (c) {
2190 dst[i] -= rhs[i] + 1;
2191 c = (dst[i] >= l);
2192 } else {
2193 dst[i] -= rhs[i];
2194 c = (dst[i] > l);
2195 }
2196 }
2197
2198 return c;
2199}
2200
Craig Topper92fc4772017-04-13 04:36:06 +00002201/// This function subtracts a single "word" (64-bit word), src, from
2202/// the multi-word integer array, dst[], propagating the borrowed 1 value until
2203/// no further borrowing is needed or it runs out of "words" in dst. The result
2204/// is 1 if "borrowing" exhausted the digits in dst, or 0 if dst was not
2205/// exhausted. In other words, if src > dst then this function returns 1,
2206/// otherwise 0.
2207/// @returns the borrow out of the subtraction
2208APInt::WordType APInt::tcSubtractPart(WordType *dst, WordType src,
2209 unsigned parts) {
2210 for (unsigned i = 0; i < parts; ++i) {
2211 WordType Dst = dst[i];
2212 dst[i] -= src;
2213 if (src <= Dst)
2214 return 0; // No need to borrow so exit early.
2215 src = 1; // We have to "borrow 1" from next "word"
2216 }
2217
2218 return 1;
2219}
2220
Chris Lattner6b695682007-08-16 15:56:55 +00002221/* Negate a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002222void APInt::tcNegate(WordType *dst, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002223 tcComplement(dst, parts);
2224 tcIncrement(dst, parts);
2225}
2226
Neil Boothc8b650a2007-10-06 00:43:45 +00002227/* DST += SRC * MULTIPLIER + CARRY if add is true
2228 DST = SRC * MULTIPLIER + CARRY if add is false
Chris Lattner6b695682007-08-16 15:56:55 +00002229
2230 Requires 0 <= DSTPARTS <= SRCPARTS + 1. If DST overlaps SRC
2231 they must start at the same point, i.e. DST == SRC.
2232
2233 If DSTPARTS == SRCPARTS + 1 no overflow occurs and zero is
2234 returned. Otherwise DST is filled with the least significant
2235 DSTPARTS parts of the result, and if all of the omitted higher
2236 parts were zero return zero, otherwise overflow occurred and
2237 return one. */
Craig Topper55229b72017-04-02 19:17:22 +00002238int APInt::tcMultiplyPart(WordType *dst, const WordType *src,
2239 WordType multiplier, WordType carry,
Craig Topper6a8518082017-03-28 05:32:55 +00002240 unsigned srcParts, unsigned dstParts,
2241 bool add) {
Chris Lattner6b695682007-08-16 15:56:55 +00002242 /* Otherwise our writes of DST kill our later reads of SRC. */
2243 assert(dst <= src || dst >= src + srcParts);
2244 assert(dstParts <= srcParts + 1);
2245
2246 /* N loops; minimum of dstParts and srcParts. */
Craig Topper0cbab7c2017-05-08 06:34:39 +00002247 unsigned n = std::min(dstParts, srcParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002248
Craig Topperc96a84d2017-05-08 06:34:41 +00002249 for (unsigned i = 0; i < n; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002250 WordType low, mid, high, srcPart;
Chris Lattner6b695682007-08-16 15:56:55 +00002251
2252 /* [ LOW, HIGH ] = MULTIPLIER * SRC[i] + DST[i] + CARRY.
2253
2254 This cannot overflow, because
2255
2256 (n - 1) * (n - 1) + 2 (n - 1) = (n - 1) * (n + 1)
2257
2258 which is less than n^2. */
2259
2260 srcPart = src[i];
2261
Craig Topper6a8518082017-03-28 05:32:55 +00002262 if (multiplier == 0 || srcPart == 0) {
Chris Lattner6b695682007-08-16 15:56:55 +00002263 low = carry;
2264 high = 0;
2265 } else {
2266 low = lowHalf(srcPart) * lowHalf(multiplier);
2267 high = highHalf(srcPart) * highHalf(multiplier);
2268
2269 mid = lowHalf(srcPart) * highHalf(multiplier);
2270 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002271 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002272 if (low + mid < low)
2273 high++;
2274 low += mid;
2275
2276 mid = highHalf(srcPart) * lowHalf(multiplier);
2277 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002278 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002279 if (low + mid < low)
2280 high++;
2281 low += mid;
2282
2283 /* Now add carry. */
2284 if (low + carry < low)
2285 high++;
2286 low += carry;
2287 }
2288
2289 if (add) {
2290 /* And now DST[i], and store the new low part there. */
2291 if (low + dst[i] < low)
2292 high++;
2293 dst[i] += low;
2294 } else
2295 dst[i] = low;
2296
2297 carry = high;
2298 }
2299
Craig Topperc96a84d2017-05-08 06:34:41 +00002300 if (srcParts < dstParts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002301 /* Full multiplication, there is no overflow. */
Craig Topperc96a84d2017-05-08 06:34:41 +00002302 assert(srcParts + 1 == dstParts);
2303 dst[srcParts] = carry;
Chris Lattner6b695682007-08-16 15:56:55 +00002304 return 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002305 }
Craig Toppera6c142a2017-05-08 06:34:36 +00002306
2307 /* We overflowed if there is carry. */
2308 if (carry)
2309 return 1;
2310
2311 /* We would overflow if any significant unwritten parts would be
2312 non-zero. This is true if any remaining src parts are non-zero
2313 and the multiplier is non-zero. */
2314 if (multiplier)
Craig Topperc96a84d2017-05-08 06:34:41 +00002315 for (unsigned i = dstParts; i < srcParts; i++)
Craig Toppera6c142a2017-05-08 06:34:36 +00002316 if (src[i])
2317 return 1;
2318
2319 /* We fitted in the narrow destination. */
2320 return 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002321}
2322
2323/* DST = LHS * RHS, where DST has the same width as the operands and
2324 is filled with the least significant parts of the result. Returns
2325 one if overflow occurred, otherwise zero. DST must be disjoint
2326 from both operands. */
Craig Topper55229b72017-04-02 19:17:22 +00002327int APInt::tcMultiply(WordType *dst, const WordType *lhs,
2328 const WordType *rhs, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002329 assert(dst != lhs && dst != rhs);
2330
Craig Topperb0038162017-03-28 05:32:52 +00002331 int overflow = 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002332 tcSet(dst, 0, parts);
2333
Craig Topperb0038162017-03-28 05:32:52 +00002334 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002335 overflow |= tcMultiplyPart(&dst[i], lhs, rhs[i], 0, parts,
2336 parts - i, true);
2337
2338 return overflow;
2339}
2340
Craig Topper0acb6652017-05-09 16:47:33 +00002341/// DST = LHS * RHS, where DST has width the sum of the widths of the
2342/// operands. No overflow occurs. DST must be disjoint from both operands.
2343void APInt::tcFullMultiply(WordType *dst, const WordType *lhs,
2344 const WordType *rhs, unsigned lhsParts,
2345 unsigned rhsParts) {
Neil Booth0ea72a92007-10-06 00:24:48 +00002346 /* Put the narrower number on the LHS for less loops below. */
Craig Toppera6c142a2017-05-08 06:34:36 +00002347 if (lhsParts > rhsParts)
Neil Booth0ea72a92007-10-06 00:24:48 +00002348 return tcFullMultiply (dst, rhs, lhs, rhsParts, lhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002349
Craig Toppera6c142a2017-05-08 06:34:36 +00002350 assert(dst != lhs && dst != rhs);
Chris Lattner6b695682007-08-16 15:56:55 +00002351
Craig Toppera6c142a2017-05-08 06:34:36 +00002352 tcSet(dst, 0, rhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002353
Craig Toppera6c142a2017-05-08 06:34:36 +00002354 for (unsigned i = 0; i < lhsParts; i++)
2355 tcMultiplyPart(&dst[i], rhs, lhs[i], 0, rhsParts, rhsParts + 1, true);
Chris Lattner6b695682007-08-16 15:56:55 +00002356}
2357
2358/* If RHS is zero LHS and REMAINDER are left unchanged, return one.
2359 Otherwise set LHS to LHS / RHS with the fractional part discarded,
2360 set REMAINDER to the remainder, return zero. i.e.
2361
2362 OLD_LHS = RHS * LHS + REMAINDER
2363
2364 SCRATCH is a bignum of the same size as the operands and result for
2365 use by the routine; its contents need not be initialized and are
2366 destroyed. LHS, REMAINDER and SCRATCH must be distinct.
2367*/
Craig Topper55229b72017-04-02 19:17:22 +00002368int APInt::tcDivide(WordType *lhs, const WordType *rhs,
2369 WordType *remainder, WordType *srhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002370 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002371 assert(lhs != remainder && lhs != srhs && remainder != srhs);
2372
Craig Topperb0038162017-03-28 05:32:52 +00002373 unsigned shiftCount = tcMSB(rhs, parts) + 1;
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002374 if (shiftCount == 0)
Chris Lattner6b695682007-08-16 15:56:55 +00002375 return true;
2376
Craig Topper55229b72017-04-02 19:17:22 +00002377 shiftCount = parts * APINT_BITS_PER_WORD - shiftCount;
2378 unsigned n = shiftCount / APINT_BITS_PER_WORD;
2379 WordType mask = (WordType) 1 << (shiftCount % APINT_BITS_PER_WORD);
Chris Lattner6b695682007-08-16 15:56:55 +00002380
2381 tcAssign(srhs, rhs, parts);
2382 tcShiftLeft(srhs, parts, shiftCount);
2383 tcAssign(remainder, lhs, parts);
2384 tcSet(lhs, 0, parts);
2385
2386 /* Loop, subtracting SRHS if REMAINDER is greater and adding that to
2387 the total. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002388 for (;;) {
Craig Toppera584af52017-05-10 07:50:17 +00002389 int compare = tcCompare(remainder, srhs, parts);
2390 if (compare >= 0) {
2391 tcSubtract(remainder, srhs, 0, parts);
2392 lhs[n] |= mask;
2393 }
Chris Lattner6b695682007-08-16 15:56:55 +00002394
Craig Toppera584af52017-05-10 07:50:17 +00002395 if (shiftCount == 0)
2396 break;
2397 shiftCount--;
2398 tcShiftRight(srhs, parts, 1);
2399 if ((mask >>= 1) == 0) {
2400 mask = (WordType) 1 << (APINT_BITS_PER_WORD - 1);
2401 n--;
2402 }
Chris Lattner6b695682007-08-16 15:56:55 +00002403 }
2404
2405 return false;
2406}
2407
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002408/// Shift a bignum left Cound bits in-place. Shifted in bits are zero. There are
2409/// no restrictions on Count.
2410void APInt::tcShiftLeft(WordType *Dst, unsigned Words, unsigned Count) {
2411 // Don't bother performing a no-op shift.
2412 if (!Count)
2413 return;
Chris Lattner6b695682007-08-16 15:56:55 +00002414
Craig Topperc6b05682017-04-24 17:00:22 +00002415 // WordShift is the inter-part shift; BitShift is the intra-part shift.
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002416 unsigned WordShift = std::min(Count / APINT_BITS_PER_WORD, Words);
2417 unsigned BitShift = Count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002418
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002419 // Fastpath for moving by whole words.
2420 if (BitShift == 0) {
2421 std::memmove(Dst + WordShift, Dst, (Words - WordShift) * APINT_WORD_SIZE);
2422 } else {
2423 while (Words-- > WordShift) {
2424 Dst[Words] = Dst[Words - WordShift] << BitShift;
2425 if (Words > WordShift)
2426 Dst[Words] |=
2427 Dst[Words - WordShift - 1] >> (APINT_BITS_PER_WORD - BitShift);
Neil Boothb6182162007-10-08 13:47:12 +00002428 }
Neil Boothb6182162007-10-08 13:47:12 +00002429 }
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002430
2431 // Fill in the remainder with 0s.
2432 std::memset(Dst, 0, WordShift * APINT_WORD_SIZE);
Chris Lattner6b695682007-08-16 15:56:55 +00002433}
2434
Craig Topper9575d8f2017-04-17 21:43:43 +00002435/// Shift a bignum right Count bits in-place. Shifted in bits are zero. There
2436/// are no restrictions on Count.
2437void APInt::tcShiftRight(WordType *Dst, unsigned Words, unsigned Count) {
2438 // Don't bother performing a no-op shift.
2439 if (!Count)
2440 return;
Chris Lattner6b695682007-08-16 15:56:55 +00002441
Craig Topperc6b05682017-04-24 17:00:22 +00002442 // WordShift is the inter-part shift; BitShift is the intra-part shift.
Craig Topper9575d8f2017-04-17 21:43:43 +00002443 unsigned WordShift = std::min(Count / APINT_BITS_PER_WORD, Words);
2444 unsigned BitShift = Count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002445
Craig Topper9575d8f2017-04-17 21:43:43 +00002446 unsigned WordsToMove = Words - WordShift;
2447 // Fastpath for moving by whole words.
2448 if (BitShift == 0) {
2449 std::memmove(Dst, Dst + WordShift, WordsToMove * APINT_WORD_SIZE);
2450 } else {
2451 for (unsigned i = 0; i != WordsToMove; ++i) {
2452 Dst[i] = Dst[i + WordShift] >> BitShift;
2453 if (i + 1 != WordsToMove)
2454 Dst[i] |= Dst[i + WordShift + 1] << (APINT_BITS_PER_WORD - BitShift);
Neil Boothb6182162007-10-08 13:47:12 +00002455 }
Chris Lattner6b695682007-08-16 15:56:55 +00002456 }
Craig Topper9575d8f2017-04-17 21:43:43 +00002457
2458 // Fill in the remainder with 0s.
2459 std::memset(Dst + WordsToMove, 0, WordShift * APINT_WORD_SIZE);
Chris Lattner6b695682007-08-16 15:56:55 +00002460}
2461
2462/* Bitwise and of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002463void APInt::tcAnd(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002464 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002465 dst[i] &= rhs[i];
2466}
2467
2468/* Bitwise inclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002469void APInt::tcOr(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002470 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002471 dst[i] |= rhs[i];
2472}
2473
2474/* Bitwise exclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002475void APInt::tcXor(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002476 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002477 dst[i] ^= rhs[i];
2478}
2479
2480/* Complement a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002481void APInt::tcComplement(WordType *dst, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002482 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002483 dst[i] = ~dst[i];
2484}
2485
2486/* Comparison (unsigned) of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002487int APInt::tcCompare(const WordType *lhs, const WordType *rhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002488 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002489 while (parts) {
Craig Topper99cfe4f2017-04-01 21:50:06 +00002490 parts--;
Craig Topper1dc8fc82017-04-21 16:13:15 +00002491 if (lhs[parts] != rhs[parts])
2492 return (lhs[parts] > rhs[parts]) ? 1 : -1;
Craig Topper99cfe4f2017-04-01 21:50:06 +00002493 }
Chris Lattner6b695682007-08-16 15:56:55 +00002494
2495 return 0;
2496}
2497
Chris Lattner6b695682007-08-16 15:56:55 +00002498/* Set the least significant BITS bits of a bignum, clear the
2499 rest. */
Craig Topper55229b72017-04-02 19:17:22 +00002500void APInt::tcSetLeastSignificantBits(WordType *dst, unsigned parts,
Craig Topper6a8518082017-03-28 05:32:55 +00002501 unsigned bits) {
Craig Topperb0038162017-03-28 05:32:52 +00002502 unsigned i = 0;
Craig Topper55229b72017-04-02 19:17:22 +00002503 while (bits > APINT_BITS_PER_WORD) {
2504 dst[i++] = ~(WordType) 0;
2505 bits -= APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002506 }
2507
2508 if (bits)
Craig Topper55229b72017-04-02 19:17:22 +00002509 dst[i++] = ~(WordType) 0 >> (APINT_BITS_PER_WORD - bits);
Chris Lattner6b695682007-08-16 15:56:55 +00002510
2511 while (i < parts)
2512 dst[i++] = 0;
2513}