blob: ee5c9f9a577c772d36aff0ddf9a202b4e47dded9 [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 Topperc67fe572017-04-19 17:01:58 +0000125void APInt::AssignSlowCase(const APInt& RHS) {
Reid Spencer7c16cd22007-02-26 23:38:21 +0000126 // Don't do anything for X = X
127 if (this == &RHS)
Craig Topperc67fe572017-04-19 17:01:58 +0000128 return;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000129
Reid Spencer7c16cd22007-02-26 23:38:21 +0000130 if (BitWidth == RHS.getBitWidth()) {
Chris Lattner1ac3e252008-08-20 17:02:31 +0000131 // assume same bit-width single-word case is already handled
132 assert(!isSingleWord());
Craig Topperb339c6d2017-05-03 15:46:24 +0000133 memcpy(U.pVal, RHS.U.pVal, getNumWords() * APINT_WORD_SIZE);
Craig Topperc67fe572017-04-19 17:01:58 +0000134 return;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000135 }
136
Chris Lattner1ac3e252008-08-20 17:02:31 +0000137 if (isSingleWord()) {
138 // assume case where both are single words is already handled
139 assert(!RHS.isSingleWord());
Craig Topperb339c6d2017-05-03 15:46:24 +0000140 U.pVal = getMemory(RHS.getNumWords());
141 memcpy(U.pVal, RHS.U.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
Eric Christopher820256b2009-08-21 04:06:45 +0000142 } else if (getNumWords() == RHS.getNumWords())
Craig Topperb339c6d2017-05-03 15:46:24 +0000143 memcpy(U.pVal, RHS.U.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
Reid Spencer7c16cd22007-02-26 23:38:21 +0000144 else if (RHS.isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000145 delete [] U.pVal;
146 U.VAL = RHS.U.VAL;
Reid Spencer7c16cd22007-02-26 23:38:21 +0000147 } else {
Craig Topperb339c6d2017-05-03 15:46:24 +0000148 delete [] U.pVal;
149 U.pVal = getMemory(RHS.getNumWords());
150 memcpy(U.pVal, RHS.U.pVal, RHS.getNumWords() * APINT_WORD_SIZE);
Reid Spencer7c16cd22007-02-26 23:38:21 +0000151 }
152 BitWidth = RHS.BitWidth;
Craig Topperc67fe572017-04-19 17:01:58 +0000153 clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000154}
155
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000156/// This method 'profiles' an APInt for use with FoldingSet.
Ted Kremenek5c75d542008-01-19 04:23:33 +0000157void APInt::Profile(FoldingSetNodeID& ID) const {
Ted Kremenek901540f2008-02-19 20:50:41 +0000158 ID.AddInteger(BitWidth);
Eric Christopher820256b2009-08-21 04:06:45 +0000159
Ted Kremenek5c75d542008-01-19 04:23:33 +0000160 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000161 ID.AddInteger(U.VAL);
Ted Kremenek5c75d542008-01-19 04:23:33 +0000162 return;
163 }
164
Chris Lattner77527f52009-01-21 18:09:24 +0000165 unsigned NumWords = getNumWords();
Ted Kremenek5c75d542008-01-19 04:23:33 +0000166 for (unsigned i = 0; i < NumWords; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000167 ID.AddInteger(U.pVal[i]);
Ted Kremenek5c75d542008-01-19 04:23:33 +0000168}
169
Zhou Shengdac63782007-02-06 03:00:16 +0000170/// @brief Prefix increment operator. Increments the APInt by one.
171APInt& APInt::operator++() {
Eric Christopher820256b2009-08-21 04:06:45 +0000172 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000173 ++U.VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000174 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000175 tcIncrement(U.pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000176 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000177}
178
Zhou Shengdac63782007-02-06 03:00:16 +0000179/// @brief Prefix decrement operator. Decrements the APInt by one.
180APInt& APInt::operator--() {
Eric Christopher820256b2009-08-21 04:06:45 +0000181 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000182 --U.VAL;
Zhou Shengdac63782007-02-06 03:00:16 +0000183 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000184 tcDecrement(U.pVal, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000185 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000186}
187
Reid Spencera41e93b2007-02-25 19:32:03 +0000188/// Adds the RHS APint to this APInt.
189/// @returns this, after addition of RHS.
Eric Christopher820256b2009-08-21 04:06:45 +0000190/// @brief Addition assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000191APInt& APInt::operator+=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000192 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000193 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000194 U.VAL += RHS.U.VAL;
Craig Topper15e484a2017-04-02 06:59:43 +0000195 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000196 tcAdd(U.pVal, RHS.U.pVal, 0, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000197 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000198}
199
Pete Cooperfea21392016-07-22 20:55:46 +0000200APInt& APInt::operator+=(uint64_t RHS) {
201 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000202 U.VAL += RHS;
Pete Cooperfea21392016-07-22 20:55:46 +0000203 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000204 tcAddPart(U.pVal, RHS, getNumWords());
Pete Cooperfea21392016-07-22 20:55:46 +0000205 return clearUnusedBits();
206}
207
Reid Spencera41e93b2007-02-25 19:32:03 +0000208/// Subtracts the RHS APInt from this APInt
209/// @returns this, after subtraction
Eric Christopher820256b2009-08-21 04:06:45 +0000210/// @brief Subtraction assignment operator.
Zhou Shengdac63782007-02-06 03:00:16 +0000211APInt& APInt::operator-=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000212 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Eric Christopher820256b2009-08-21 04:06:45 +0000213 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000214 U.VAL -= RHS.U.VAL;
Reid Spencer7a6a8d52007-02-20 23:40:25 +0000215 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000216 tcSubtract(U.pVal, RHS.U.pVal, 0, getNumWords());
Reid Spencera41e93b2007-02-25 19:32:03 +0000217 return clearUnusedBits();
Zhou Shengdac63782007-02-06 03:00:16 +0000218}
219
Pete Cooperfea21392016-07-22 20:55:46 +0000220APInt& APInt::operator-=(uint64_t RHS) {
221 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000222 U.VAL -= RHS;
Pete Cooperfea21392016-07-22 20:55:46 +0000223 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000224 tcSubtractPart(U.pVal, RHS, getNumWords());
Pete Cooperfea21392016-07-22 20:55:46 +0000225 return clearUnusedBits();
226}
227
Craig Topper93c68e12017-05-04 17:00:41 +0000228APInt APInt::operator*(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +0000229 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Craig Topper93c68e12017-05-04 17:00:41 +0000230 if (isSingleWord())
231 return APInt(BitWidth, U.VAL * RHS.U.VAL);
Reid Spencer58a6a432007-02-21 08:21:52 +0000232
Craig Topper93c68e12017-05-04 17:00:41 +0000233 APInt Result(getMemory(getNumWords()), getBitWidth());
Reid Spencer58a6a432007-02-21 08:21:52 +0000234
Craig Topper93c68e12017-05-04 17:00:41 +0000235 tcMultiply(Result.U.pVal, U.pVal, RHS.U.pVal, getNumWords());
Reid Spencer58a6a432007-02-21 08:21:52 +0000236
Craig Topper93c68e12017-05-04 17:00:41 +0000237 Result.clearUnusedBits();
238 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000239}
240
Craig Topperc67fe572017-04-19 17:01:58 +0000241void APInt::AndAssignSlowCase(const APInt& RHS) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000242 tcAnd(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000243}
244
Craig Topperc67fe572017-04-19 17:01:58 +0000245void APInt::OrAssignSlowCase(const APInt& RHS) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000246 tcOr(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000247}
248
Craig Topperc67fe572017-04-19 17:01:58 +0000249void APInt::XorAssignSlowCase(const APInt& RHS) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000250 tcXor(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000251}
252
Craig Topper93c68e12017-05-04 17:00:41 +0000253APInt& APInt::operator*=(const APInt& RHS) {
Reid Spencera32372d12007-02-17 00:18:01 +0000254 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Craig Topper93c68e12017-05-04 17:00:41 +0000255 *this = *this * RHS;
256 return *this;
Zhou Shengdac63782007-02-06 03:00:16 +0000257}
258
Chris Lattner1ac3e252008-08-20 17:02:31 +0000259bool APInt::EqualSlowCase(const APInt& RHS) const {
Craig Topperb339c6d2017-05-03 15:46:24 +0000260 return std::equal(U.pVal, U.pVal + getNumWords(), RHS.U.pVal);
Zhou Shengdac63782007-02-06 03:00:16 +0000261}
262
Craig Topper1dc8fc82017-04-21 16:13:15 +0000263int APInt::compare(const APInt& RHS) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000264 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
265 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000266 return U.VAL < RHS.U.VAL ? -1 : U.VAL > RHS.U.VAL;
Reid Spencera41e93b2007-02-25 19:32:03 +0000267
Craig Topperb339c6d2017-05-03 15:46:24 +0000268 return tcCompare(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000269}
270
Craig Topper1dc8fc82017-04-21 16:13:15 +0000271int APInt::compareSigned(const APInt& RHS) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000272 assert(BitWidth == RHS.BitWidth && "Bit widths must be same for comparison");
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000273 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000274 int64_t lhsSext = SignExtend64(U.VAL, BitWidth);
275 int64_t rhsSext = SignExtend64(RHS.U.VAL, BitWidth);
Craig Topper1dc8fc82017-04-21 16:13:15 +0000276 return lhsSext < rhsSext ? -1 : lhsSext > rhsSext;
Reid Spencer1d072122007-02-16 22:36:51 +0000277 }
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000278
Reid Spencer54abdcf2007-02-27 18:23:40 +0000279 bool lhsNeg = isNegative();
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000280 bool rhsNeg = RHS.isNegative();
Reid Spencera41e93b2007-02-25 19:32:03 +0000281
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000282 // If the sign bits don't match, then (LHS < RHS) if LHS is negative
283 if (lhsNeg != rhsNeg)
Craig Topper1dc8fc82017-04-21 16:13:15 +0000284 return lhsNeg ? -1 : 1;
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000285
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000286 // Otherwise we can just use an unsigned comparison, because even negative
Pete Cooperd6e6bf12016-05-26 17:40:07 +0000287 // numbers compare correctly this way if both have the same signed-ness.
Craig Topperb339c6d2017-05-03 15:46:24 +0000288 return tcCompare(U.pVal, RHS.U.pVal, getNumWords());
Zhou Shengdac63782007-02-06 03:00:16 +0000289}
290
Craig Topperbafdd032017-03-07 01:56:01 +0000291void APInt::setBitsSlowCase(unsigned loBit, unsigned hiBit) {
292 unsigned loWord = whichWord(loBit);
293 unsigned hiWord = whichWord(hiBit);
Simon Pilgrimaed35222017-02-24 10:15:29 +0000294
Simon Pilgrim0099beb2017-03-09 13:57:04 +0000295 // Create an initial mask for the low word with zeros below loBit.
Craig Topper5e113742017-04-22 06:31:36 +0000296 uint64_t loMask = WORD_MAX << whichBit(loBit);
Simon Pilgrimaed35222017-02-24 10:15:29 +0000297
Craig Topperbafdd032017-03-07 01:56:01 +0000298 // If hiBit is not aligned, we need a high mask.
299 unsigned hiShiftAmt = whichBit(hiBit);
300 if (hiShiftAmt != 0) {
301 // Create a high mask with zeros above hiBit.
Craig Topper5e113742017-04-22 06:31:36 +0000302 uint64_t hiMask = WORD_MAX >> (APINT_BITS_PER_WORD - hiShiftAmt);
Craig Topperbafdd032017-03-07 01:56:01 +0000303 // If loWord and hiWord are equal, then we combine the masks. Otherwise,
304 // set the bits in hiWord.
305 if (hiWord == loWord)
306 loMask &= hiMask;
307 else
Craig Topperb339c6d2017-05-03 15:46:24 +0000308 U.pVal[hiWord] |= hiMask;
Simon Pilgrimaed35222017-02-24 10:15:29 +0000309 }
Craig Topperbafdd032017-03-07 01:56:01 +0000310 // Apply the mask to the low word.
Craig Topperb339c6d2017-05-03 15:46:24 +0000311 U.pVal[loWord] |= loMask;
Craig Topperbafdd032017-03-07 01:56:01 +0000312
313 // Fill any words between loWord and hiWord with all ones.
314 for (unsigned word = loWord + 1; word < hiWord; ++word)
Craig Topperb339c6d2017-05-03 15:46:24 +0000315 U.pVal[word] = WORD_MAX;
Simon Pilgrimaed35222017-02-24 10:15:29 +0000316}
317
Zhou Shengdac63782007-02-06 03:00:16 +0000318/// @brief Toggle every bit to its opposite value.
Craig Topperafc9e352017-03-27 17:10:21 +0000319void APInt::flipAllBitsSlowCase() {
Craig Topperb339c6d2017-05-03 15:46:24 +0000320 tcComplement(U.pVal, getNumWords());
Craig Topperafc9e352017-03-27 17:10:21 +0000321 clearUnusedBits();
322}
Zhou Shengdac63782007-02-06 03:00:16 +0000323
Eric Christopher820256b2009-08-21 04:06:45 +0000324/// Toggle a given bit to its opposite value whose position is given
Zhou Shengdac63782007-02-06 03:00:16 +0000325/// as "bitPosition".
326/// @brief Toggles a given bit to its opposite value.
Jay Foad25a5e4c2010-12-01 08:53:58 +0000327void APInt::flipBit(unsigned bitPosition) {
Reid Spencer1d072122007-02-16 22:36:51 +0000328 assert(bitPosition < BitWidth && "Out of the bit-width range!");
Jay Foad25a5e4c2010-12-01 08:53:58 +0000329 if ((*this)[bitPosition]) clearBit(bitPosition);
330 else setBit(bitPosition);
Zhou Shengdac63782007-02-06 03:00:16 +0000331}
332
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000333void APInt::insertBits(const APInt &subBits, unsigned bitPosition) {
334 unsigned subBitWidth = subBits.getBitWidth();
335 assert(0 < subBitWidth && (subBitWidth + bitPosition) <= BitWidth &&
336 "Illegal bit insertion");
337
338 // Insertion is a direct copy.
339 if (subBitWidth == BitWidth) {
340 *this = subBits;
341 return;
342 }
343
344 // Single word result can be done as a direct bitmask.
345 if (isSingleWord()) {
Craig Topper5e113742017-04-22 06:31:36 +0000346 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - subBitWidth);
Craig Topperb339c6d2017-05-03 15:46:24 +0000347 U.VAL &= ~(mask << bitPosition);
348 U.VAL |= (subBits.U.VAL << bitPosition);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000349 return;
350 }
351
352 unsigned loBit = whichBit(bitPosition);
353 unsigned loWord = whichWord(bitPosition);
354 unsigned hi1Word = whichWord(bitPosition + subBitWidth - 1);
355
356 // Insertion within a single word can be done as a direct bitmask.
357 if (loWord == hi1Word) {
Craig Topper5e113742017-04-22 06:31:36 +0000358 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - subBitWidth);
Craig Topperb339c6d2017-05-03 15:46:24 +0000359 U.pVal[loWord] &= ~(mask << loBit);
360 U.pVal[loWord] |= (subBits.U.VAL << loBit);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000361 return;
362 }
363
364 // Insert on word boundaries.
365 if (loBit == 0) {
366 // Direct copy whole words.
367 unsigned numWholeSubWords = subBitWidth / APINT_BITS_PER_WORD;
Craig Topperb339c6d2017-05-03 15:46:24 +0000368 memcpy(U.pVal + loWord, subBits.getRawData(),
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000369 numWholeSubWords * APINT_WORD_SIZE);
370
371 // Mask+insert remaining bits.
372 unsigned remainingBits = subBitWidth % APINT_BITS_PER_WORD;
373 if (remainingBits != 0) {
Craig Topper5e113742017-04-22 06:31:36 +0000374 uint64_t mask = WORD_MAX >> (APINT_BITS_PER_WORD - remainingBits);
Craig Topperb339c6d2017-05-03 15:46:24 +0000375 U.pVal[hi1Word] &= ~mask;
376 U.pVal[hi1Word] |= subBits.getWord(subBitWidth - 1);
Simon Pilgrimb02667c2017-03-10 13:44:32 +0000377 }
378 return;
379 }
380
381 // General case - set/clear individual bits in dst based on src.
382 // TODO - there is scope for optimization here, but at the moment this code
383 // path is barely used so prefer readability over performance.
384 for (unsigned i = 0; i != subBitWidth; ++i) {
385 if (subBits[i])
386 setBit(bitPosition + i);
387 else
388 clearBit(bitPosition + i);
389 }
390}
391
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000392APInt APInt::extractBits(unsigned numBits, unsigned bitPosition) const {
393 assert(numBits > 0 && "Can't extract zero bits");
394 assert(bitPosition < BitWidth && (numBits + bitPosition) <= BitWidth &&
395 "Illegal bit extraction");
396
397 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000398 return APInt(numBits, U.VAL >> bitPosition);
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000399
400 unsigned loBit = whichBit(bitPosition);
401 unsigned loWord = whichWord(bitPosition);
402 unsigned hiWord = whichWord(bitPosition + numBits - 1);
403
404 // Single word result extracting bits from a single word source.
405 if (loWord == hiWord)
Craig Topperb339c6d2017-05-03 15:46:24 +0000406 return APInt(numBits, U.pVal[loWord] >> loBit);
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000407
408 // Extracting bits that start on a source word boundary can be done
409 // as a fast memory copy.
410 if (loBit == 0)
Craig Topperb339c6d2017-05-03 15:46:24 +0000411 return APInt(numBits, makeArrayRef(U.pVal + loWord, 1 + hiWord - loWord));
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000412
413 // General case - shift + copy source words directly into place.
414 APInt Result(numBits, 0);
415 unsigned NumSrcWords = getNumWords();
416 unsigned NumDstWords = Result.getNumWords();
417
418 for (unsigned word = 0; word < NumDstWords; ++word) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000419 uint64_t w0 = U.pVal[loWord + word];
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000420 uint64_t w1 =
Craig Topperb339c6d2017-05-03 15:46:24 +0000421 (loWord + word + 1) < NumSrcWords ? U.pVal[loWord + word + 1] : 0;
422 Result.U.pVal[word] = (w0 >> loBit) | (w1 << (APINT_BITS_PER_WORD - loBit));
Simon Pilgrim0f5fb5f2017-02-25 20:01:58 +0000423 }
424
425 return Result.clearUnusedBits();
426}
427
Benjamin Kramer92d89982010-07-14 22:38:02 +0000428unsigned APInt::getBitsNeeded(StringRef str, uint8_t radix) {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000429 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000430 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +0000431 radix == 36) &&
432 "Radix should be 2, 8, 10, 16, or 36!");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +0000433
434 size_t slen = str.size();
Reid Spencer9329e7b2007-04-13 19:19:07 +0000435
Eric Christopher43a1dec2009-08-21 04:10:31 +0000436 // Each computation below needs to know if it's negative.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000437 StringRef::iterator p = str.begin();
Eric Christopher43a1dec2009-08-21 04:10:31 +0000438 unsigned isNegative = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000439 if (*p == '-' || *p == '+') {
440 p++;
Reid Spencer9329e7b2007-04-13 19:19:07 +0000441 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +0000442 assert(slen && "String is only a sign, needs a value.");
Reid Spencer9329e7b2007-04-13 19:19:07 +0000443 }
Eric Christopher43a1dec2009-08-21 04:10:31 +0000444
Reid Spencer9329e7b2007-04-13 19:19:07 +0000445 // For radixes of power-of-two values, the bits required is accurately and
446 // easily computed
447 if (radix == 2)
448 return slen + isNegative;
449 if (radix == 8)
450 return slen * 3 + isNegative;
451 if (radix == 16)
452 return slen * 4 + isNegative;
453
Douglas Gregor663c0682011-09-14 15:54:46 +0000454 // FIXME: base 36
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000455
Reid Spencer9329e7b2007-04-13 19:19:07 +0000456 // This is grossly inefficient but accurate. We could probably do something
457 // with a computation of roughly slen*64/20 and then adjust by the value of
458 // the first few digits. But, I'm not sure how accurate that could be.
459
460 // Compute a sufficient number of bits that is always large enough but might
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000461 // be too large. This avoids the assertion in the constructor. This
462 // calculation doesn't work appropriately for the numbers 0-9, so just use 4
463 // bits in that case.
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +0000464 unsigned sufficient
Douglas Gregor663c0682011-09-14 15:54:46 +0000465 = radix == 10? (slen == 1 ? 4 : slen * 64/18)
466 : (slen == 1 ? 7 : slen * 16/3);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000467
468 // Convert to the actual binary value.
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +0000469 APInt tmp(sufficient, StringRef(p, slen), radix);
Reid Spencer9329e7b2007-04-13 19:19:07 +0000470
Erick Tryzelaardadb15712009-08-21 03:15:28 +0000471 // Compute how many bits are required. If the log is infinite, assume we need
472 // just bit.
473 unsigned log = tmp.logBase2();
474 if (log == (unsigned)-1) {
475 return isNegative + 1;
476 } else {
477 return isNegative + log + 1;
478 }
Reid Spencer9329e7b2007-04-13 19:19:07 +0000479}
480
Chandler Carruth71bd7d12012-03-04 12:02:57 +0000481hash_code llvm::hash_value(const APInt &Arg) {
482 if (Arg.isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000483 return hash_combine(Arg.U.VAL);
Reid Spencerb2bc9852007-02-26 21:02:27 +0000484
Craig Topperb339c6d2017-05-03 15:46:24 +0000485 return hash_combine_range(Arg.U.pVal, Arg.U.pVal + Arg.getNumWords());
Reid Spencerb2bc9852007-02-26 21:02:27 +0000486}
487
Benjamin Kramerb4b51502015-03-25 16:49:59 +0000488bool APInt::isSplat(unsigned SplatSizeInBits) const {
489 assert(getBitWidth() % SplatSizeInBits == 0 &&
490 "SplatSizeInBits must divide width!");
491 // We can check that all parts of an integer are equal by making use of a
492 // little trick: rotate and check if it's still the same value.
493 return *this == rotl(SplatSizeInBits);
494}
495
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000496/// This function returns the high "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000497APInt APInt::getHiBits(unsigned numBits) const {
Craig Toppere7e35602017-03-31 18:48:14 +0000498 return this->lshr(BitWidth - numBits);
Zhou Shengdac63782007-02-06 03:00:16 +0000499}
500
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000501/// This function returns the low "numBits" bits of this APInt.
Chris Lattner77527f52009-01-21 18:09:24 +0000502APInt APInt::getLoBits(unsigned numBits) const {
Craig Toppere7e35602017-03-31 18:48:14 +0000503 APInt Result(getLowBitsSet(BitWidth, numBits));
504 Result &= *this;
505 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000506}
507
Craig Topper9881bd92017-05-02 06:32:27 +0000508/// Return a value containing V broadcasted over NewLen bits.
509APInt APInt::getSplat(unsigned NewLen, const APInt &V) {
510 assert(NewLen >= V.getBitWidth() && "Can't splat to smaller bit width!");
511
512 APInt Val = V.zextOrSelf(NewLen);
513 for (unsigned I = V.getBitWidth(); I < NewLen; I <<= 1)
514 Val |= Val << I;
515
516 return Val;
517}
518
Chris Lattner77527f52009-01-21 18:09:24 +0000519unsigned APInt::countLeadingZerosSlowCase() const {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000520 unsigned Count = 0;
521 for (int i = getNumWords()-1; i >= 0; --i) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000522 uint64_t V = U.pVal[i];
Matthias Brauna6be4e82016-02-15 20:06:22 +0000523 if (V == 0)
Chris Lattner1ac3e252008-08-20 17:02:31 +0000524 Count += APINT_BITS_PER_WORD;
525 else {
Matthias Brauna6be4e82016-02-15 20:06:22 +0000526 Count += llvm::countLeadingZeros(V);
Chris Lattner1ac3e252008-08-20 17:02:31 +0000527 break;
Reid Spencer74cf82e2007-02-21 00:29:48 +0000528 }
Zhou Shengdac63782007-02-06 03:00:16 +0000529 }
Matthias Brauna6be4e82016-02-15 20:06:22 +0000530 // Adjust for unused bits in the most significant word (they are zero).
531 unsigned Mod = BitWidth % APINT_BITS_PER_WORD;
532 Count -= Mod > 0 ? APINT_BITS_PER_WORD - Mod : 0;
John McCalldf951bd2010-02-03 03:42:44 +0000533 return Count;
Zhou Shengdac63782007-02-06 03:00:16 +0000534}
535
Chris Lattner77527f52009-01-21 18:09:24 +0000536unsigned APInt::countLeadingOnes() const {
Reid Spencer31acef52007-02-27 21:59:26 +0000537 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000538 return llvm::countLeadingOnes(U.VAL << (APINT_BITS_PER_WORD - BitWidth));
Reid Spencer31acef52007-02-27 21:59:26 +0000539
Chris Lattner77527f52009-01-21 18:09:24 +0000540 unsigned highWordBits = BitWidth % APINT_BITS_PER_WORD;
Torok Edwinec39eb82009-01-27 18:06:03 +0000541 unsigned shift;
542 if (!highWordBits) {
543 highWordBits = APINT_BITS_PER_WORD;
544 shift = 0;
545 } else {
546 shift = APINT_BITS_PER_WORD - highWordBits;
547 }
Reid Spencer31acef52007-02-27 21:59:26 +0000548 int i = getNumWords() - 1;
Craig Topperb339c6d2017-05-03 15:46:24 +0000549 unsigned Count = llvm::countLeadingOnes(U.pVal[i] << shift);
Reid Spencer31acef52007-02-27 21:59:26 +0000550 if (Count == highWordBits) {
551 for (i--; i >= 0; --i) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000552 if (U.pVal[i] == WORD_MAX)
Reid Spencer31acef52007-02-27 21:59:26 +0000553 Count += APINT_BITS_PER_WORD;
554 else {
Craig Topperb339c6d2017-05-03 15:46:24 +0000555 Count += llvm::countLeadingOnes(U.pVal[i]);
Reid Spencer31acef52007-02-27 21:59:26 +0000556 break;
557 }
558 }
559 }
560 return Count;
561}
562
Chris Lattner77527f52009-01-21 18:09:24 +0000563unsigned APInt::countTrailingZeros() const {
Zhou Shengdac63782007-02-06 03:00:16 +0000564 if (isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +0000565 return std::min(unsigned(llvm::countTrailingZeros(U.VAL)), BitWidth);
Chris Lattner77527f52009-01-21 18:09:24 +0000566 unsigned Count = 0;
567 unsigned i = 0;
Craig Topperb339c6d2017-05-03 15:46:24 +0000568 for (; i < getNumWords() && U.pVal[i] == 0; ++i)
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000569 Count += APINT_BITS_PER_WORD;
570 if (i < getNumWords())
Craig Topperb339c6d2017-05-03 15:46:24 +0000571 Count += llvm::countTrailingZeros(U.pVal[i]);
Chris Lattnerc2c4c742007-11-23 22:36:25 +0000572 return std::min(Count, BitWidth);
Zhou Shengdac63782007-02-06 03:00:16 +0000573}
574
Chris Lattner77527f52009-01-21 18:09:24 +0000575unsigned APInt::countTrailingOnesSlowCase() const {
576 unsigned Count = 0;
577 unsigned i = 0;
Craig Topperb339c6d2017-05-03 15:46:24 +0000578 for (; i < getNumWords() && U.pVal[i] == WORD_MAX; ++i)
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000579 Count += APINT_BITS_PER_WORD;
580 if (i < getNumWords())
Craig Topperb339c6d2017-05-03 15:46:24 +0000581 Count += llvm::countTrailingOnes(U.pVal[i]);
Craig Topper3a29e3b82017-04-22 19:59:11 +0000582 assert(Count <= BitWidth);
583 return Count;
Dan Gohman8b4fa9d2008-02-13 21:11:05 +0000584}
585
Chris Lattner77527f52009-01-21 18:09:24 +0000586unsigned APInt::countPopulationSlowCase() const {
587 unsigned Count = 0;
588 for (unsigned i = 0; i < getNumWords(); ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000589 Count += llvm::countPopulation(U.pVal[i]);
Zhou Shengdac63782007-02-06 03:00:16 +0000590 return Count;
591}
592
Craig Topperbaa392e2017-04-20 02:11:27 +0000593bool APInt::intersectsSlowCase(const APInt &RHS) const {
594 for (unsigned i = 0, e = getNumWords(); i != e; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000595 if ((U.pVal[i] & RHS.U.pVal[i]) != 0)
Craig Topperbaa392e2017-04-20 02:11:27 +0000596 return true;
597
598 return false;
599}
600
Craig Toppera8129a12017-04-20 16:17:13 +0000601bool APInt::isSubsetOfSlowCase(const APInt &RHS) const {
602 for (unsigned i = 0, e = getNumWords(); i != e; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000603 if ((U.pVal[i] & ~RHS.U.pVal[i]) != 0)
Craig Toppera8129a12017-04-20 16:17:13 +0000604 return false;
605
606 return true;
607}
608
Reid Spencer1d072122007-02-16 22:36:51 +0000609APInt APInt::byteSwap() const {
610 assert(BitWidth >= 16 && BitWidth % 16 == 0 && "Cannot byteswap!");
611 if (BitWidth == 16)
Craig Topperb339c6d2017-05-03 15:46:24 +0000612 return APInt(BitWidth, ByteSwap_16(uint16_t(U.VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000613 if (BitWidth == 32)
Craig Topperb339c6d2017-05-03 15:46:24 +0000614 return APInt(BitWidth, ByteSwap_32(unsigned(U.VAL)));
Richard Smith4f9a8082011-11-23 21:33:37 +0000615 if (BitWidth == 48) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000616 unsigned Tmp1 = unsigned(U.VAL >> 16);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000617 Tmp1 = ByteSwap_32(Tmp1);
Craig Topperb339c6d2017-05-03 15:46:24 +0000618 uint16_t Tmp2 = uint16_t(U.VAL);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000619 Tmp2 = ByteSwap_16(Tmp2);
Jeff Cohene06855e2007-03-20 20:42:36 +0000620 return APInt(BitWidth, (uint64_t(Tmp2) << 32) | Tmp1);
Zhou Shengcfa2ac02007-02-15 06:36:31 +0000621 }
Richard Smith4f9a8082011-11-23 21:33:37 +0000622 if (BitWidth == 64)
Craig Topperb339c6d2017-05-03 15:46:24 +0000623 return APInt(BitWidth, ByteSwap_64(U.VAL));
Richard Smith4f9a8082011-11-23 21:33:37 +0000624
625 APInt Result(getNumWords() * APINT_BITS_PER_WORD, 0);
626 for (unsigned I = 0, N = getNumWords(); I != N; ++I)
Craig Topperb339c6d2017-05-03 15:46:24 +0000627 Result.U.pVal[I] = ByteSwap_64(U.pVal[N - I - 1]);
Richard Smith4f9a8082011-11-23 21:33:37 +0000628 if (Result.BitWidth != BitWidth) {
Richard Smith55bd3752017-04-13 20:29:59 +0000629 Result.lshrInPlace(Result.BitWidth - BitWidth);
Richard Smith4f9a8082011-11-23 21:33:37 +0000630 Result.BitWidth = BitWidth;
631 }
632 return Result;
Zhou Shengdac63782007-02-06 03:00:16 +0000633}
634
Matt Arsenault155dda92016-03-21 15:00:35 +0000635APInt APInt::reverseBits() const {
636 switch (BitWidth) {
637 case 64:
Craig Topperb339c6d2017-05-03 15:46:24 +0000638 return APInt(BitWidth, llvm::reverseBits<uint64_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000639 case 32:
Craig Topperb339c6d2017-05-03 15:46:24 +0000640 return APInt(BitWidth, llvm::reverseBits<uint32_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000641 case 16:
Craig Topperb339c6d2017-05-03 15:46:24 +0000642 return APInt(BitWidth, llvm::reverseBits<uint16_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000643 case 8:
Craig Topperb339c6d2017-05-03 15:46:24 +0000644 return APInt(BitWidth, llvm::reverseBits<uint8_t>(U.VAL));
Matt Arsenault155dda92016-03-21 15:00:35 +0000645 default:
646 break;
647 }
648
649 APInt Val(*this);
Craig Topper9eaef072017-04-18 05:02:21 +0000650 APInt Reversed(BitWidth, 0);
651 unsigned S = BitWidth;
Matt Arsenault155dda92016-03-21 15:00:35 +0000652
Craig Topper9eaef072017-04-18 05:02:21 +0000653 for (; Val != 0; Val.lshrInPlace(1)) {
Matt Arsenault155dda92016-03-21 15:00:35 +0000654 Reversed <<= 1;
Craig Topper9eaef072017-04-18 05:02:21 +0000655 Reversed |= Val[0];
Matt Arsenault155dda92016-03-21 15:00:35 +0000656 --S;
657 }
658
659 Reversed <<= S;
660 return Reversed;
661}
662
Craig Topper278ebd22017-04-01 20:30:57 +0000663APInt llvm::APIntOps::GreatestCommonDivisor(APInt A, APInt B) {
Richard Smith55bd3752017-04-13 20:29:59 +0000664 // Fast-path a common case.
665 if (A == B) return A;
666
667 // Corner cases: if either operand is zero, the other is the gcd.
668 if (!A) return B;
669 if (!B) return A;
670
671 // Count common powers of 2 and remove all other powers of 2.
672 unsigned Pow2;
673 {
674 unsigned Pow2_A = A.countTrailingZeros();
675 unsigned Pow2_B = B.countTrailingZeros();
676 if (Pow2_A > Pow2_B) {
677 A.lshrInPlace(Pow2_A - Pow2_B);
678 Pow2 = Pow2_B;
679 } else if (Pow2_B > Pow2_A) {
680 B.lshrInPlace(Pow2_B - Pow2_A);
681 Pow2 = Pow2_A;
682 } else {
683 Pow2 = Pow2_A;
684 }
Zhou Shengdac63782007-02-06 03:00:16 +0000685 }
Richard Smith55bd3752017-04-13 20:29:59 +0000686
687 // Both operands are odd multiples of 2^Pow_2:
688 //
689 // gcd(a, b) = gcd(|a - b| / 2^i, min(a, b))
690 //
691 // This is a modified version of Stein's algorithm, taking advantage of
692 // efficient countTrailingZeros().
693 while (A != B) {
694 if (A.ugt(B)) {
695 A -= B;
696 A.lshrInPlace(A.countTrailingZeros() - Pow2);
697 } else {
698 B -= A;
699 B.lshrInPlace(B.countTrailingZeros() - Pow2);
700 }
701 }
702
Zhou Shengdac63782007-02-06 03:00:16 +0000703 return A;
704}
Chris Lattner28cbd1d2007-02-06 05:38:37 +0000705
Chris Lattner77527f52009-01-21 18:09:24 +0000706APInt llvm::APIntOps::RoundDoubleToAPInt(double Double, unsigned width) {
Zhou Shengd707d632007-02-12 20:02:55 +0000707 union {
708 double D;
709 uint64_t I;
710 } T;
711 T.D = Double;
Reid Spencer974551a2007-02-27 01:28:10 +0000712
713 // Get the sign bit from the highest order bit
Zhou Shengd707d632007-02-12 20:02:55 +0000714 bool isNeg = T.I >> 63;
Reid Spencer974551a2007-02-27 01:28:10 +0000715
716 // Get the 11-bit exponent and adjust for the 1023 bit bias
Zhou Shengd707d632007-02-12 20:02:55 +0000717 int64_t exp = ((T.I >> 52) & 0x7ff) - 1023;
Reid Spencer974551a2007-02-27 01:28:10 +0000718
719 // If the exponent is negative, the value is < 0 so just return 0.
Zhou Shengd707d632007-02-12 20:02:55 +0000720 if (exp < 0)
Reid Spencer66d0d572007-02-28 01:30:08 +0000721 return APInt(width, 0u);
Reid Spencer974551a2007-02-27 01:28:10 +0000722
723 // Extract the mantissa by clearing the top 12 bits (sign + exponent).
724 uint64_t mantissa = (T.I & (~0ULL >> 12)) | 1ULL << 52;
725
726 // If the exponent doesn't shift all bits out of the mantissa
Zhou Shengd707d632007-02-12 20:02:55 +0000727 if (exp < 52)
Eric Christopher820256b2009-08-21 04:06:45 +0000728 return isNeg ? -APInt(width, mantissa >> (52 - exp)) :
Reid Spencer54abdcf2007-02-27 18:23:40 +0000729 APInt(width, mantissa >> (52 - exp));
730
731 // If the client didn't provide enough bits for us to shift the mantissa into
732 // then the result is undefined, just return 0
733 if (width <= exp - 52)
734 return APInt(width, 0);
Reid Spencer974551a2007-02-27 01:28:10 +0000735
736 // Otherwise, we have to shift the mantissa bits up to the right location
Reid Spencer54abdcf2007-02-27 18:23:40 +0000737 APInt Tmp(width, mantissa);
Craig Topper24e71012017-04-28 03:36:24 +0000738 Tmp <<= (unsigned)exp - 52;
Zhou Shengd707d632007-02-12 20:02:55 +0000739 return isNeg ? -Tmp : Tmp;
740}
741
Pawel Bylica6eeeac72015-04-06 13:31:39 +0000742/// This function converts this APInt to a double.
Zhou Shengd707d632007-02-12 20:02:55 +0000743/// The layout for double is as following (IEEE Standard 754):
744/// --------------------------------------
745/// | Sign Exponent Fraction Bias |
746/// |-------------------------------------- |
747/// | 1[63] 11[62-52] 52[51-00] 1023 |
Eric Christopher820256b2009-08-21 04:06:45 +0000748/// --------------------------------------
Reid Spencer1d072122007-02-16 22:36:51 +0000749double APInt::roundToDouble(bool isSigned) const {
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000750
751 // Handle the simple case where the value is contained in one uint64_t.
Dale Johannesen54be7852009-08-12 18:04:11 +0000752 // It is wrong to optimize getWord(0) to VAL; there might be more than one word.
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000753 if (isSingleWord() || getActiveBits() <= APINT_BITS_PER_WORD) {
754 if (isSigned) {
David Majnemer03992262016-06-24 21:15:36 +0000755 int64_t sext = SignExtend64(getWord(0), BitWidth);
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000756 return double(sext);
757 } else
Dale Johannesen34c08bb2009-08-12 17:42:34 +0000758 return double(getWord(0));
Reid Spencerbe4ddf62007-02-18 20:09:41 +0000759 }
760
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000761 // Determine if the value is negative.
Reid Spencer1d072122007-02-16 22:36:51 +0000762 bool isNeg = isSigned ? (*this)[BitWidth-1] : false;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000763
764 // Construct the absolute value if we're negative.
Zhou Shengd707d632007-02-12 20:02:55 +0000765 APInt Tmp(isNeg ? -(*this) : (*this));
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000766
767 // Figure out how many bits we're using.
Chris Lattner77527f52009-01-21 18:09:24 +0000768 unsigned n = Tmp.getActiveBits();
Zhou Shengd707d632007-02-12 20:02:55 +0000769
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000770 // The exponent (without bias normalization) is just the number of bits
771 // we are using. Note that the sign bit is gone since we constructed the
772 // absolute value.
773 uint64_t exp = n;
Zhou Shengd707d632007-02-12 20:02:55 +0000774
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000775 // Return infinity for exponent overflow
776 if (exp > 1023) {
777 if (!isSigned || !isNeg)
Jeff Cohene06855e2007-03-20 20:42:36 +0000778 return std::numeric_limits<double>::infinity();
Eric Christopher820256b2009-08-21 04:06:45 +0000779 else
Jeff Cohene06855e2007-03-20 20:42:36 +0000780 return -std::numeric_limits<double>::infinity();
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000781 }
782 exp += 1023; // Increment for 1023 bias
783
784 // Number of bits in mantissa is 52. To obtain the mantissa value, we must
785 // extract the high 52 bits from the correct words in pVal.
Zhou Shengd707d632007-02-12 20:02:55 +0000786 uint64_t mantissa;
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000787 unsigned hiWord = whichWord(n-1);
788 if (hiWord == 0) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000789 mantissa = Tmp.U.pVal[0];
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000790 if (n > 52)
791 mantissa >>= n - 52; // shift down, we want the top 52 bits.
792 } else {
793 assert(hiWord > 0 && "huh?");
Craig Topperb339c6d2017-05-03 15:46:24 +0000794 uint64_t hibits = Tmp.U.pVal[hiWord] << (52 - n % APINT_BITS_PER_WORD);
795 uint64_t lobits = Tmp.U.pVal[hiWord-1] >> (11 + n % APINT_BITS_PER_WORD);
Reid Spencerfb77b2b2007-02-20 08:51:03 +0000796 mantissa = hibits | lobits;
797 }
798
Zhou Shengd707d632007-02-12 20:02:55 +0000799 // The leading bit of mantissa is implicit, so get rid of it.
Reid Spencerfbd48a52007-02-18 00:44:22 +0000800 uint64_t sign = isNeg ? (1ULL << (APINT_BITS_PER_WORD - 1)) : 0;
Zhou Shengd707d632007-02-12 20:02:55 +0000801 union {
802 double D;
803 uint64_t I;
804 } T;
805 T.I = sign | (exp << 52) | mantissa;
806 return T.D;
807}
808
Reid Spencer1d072122007-02-16 22:36:51 +0000809// Truncate to new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000810APInt APInt::trunc(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000811 assert(width < BitWidth && "Invalid APInt Truncate request");
Chris Lattner1ac3e252008-08-20 17:02:31 +0000812 assert(width && "Can't truncate to 0 bits");
Jay Foad583abbc2010-12-07 08:25:19 +0000813
814 if (width <= APINT_BITS_PER_WORD)
815 return APInt(width, getRawData()[0]);
816
817 APInt Result(getMemory(getNumWords(width)), width);
818
819 // Copy full words.
820 unsigned i;
821 for (i = 0; i != width / APINT_BITS_PER_WORD; i++)
Craig Topperb339c6d2017-05-03 15:46:24 +0000822 Result.U.pVal[i] = U.pVal[i];
Jay Foad583abbc2010-12-07 08:25:19 +0000823
824 // Truncate and copy any partial word.
825 unsigned bits = (0 - width) % APINT_BITS_PER_WORD;
826 if (bits != 0)
Craig Topperb339c6d2017-05-03 15:46:24 +0000827 Result.U.pVal[i] = U.pVal[i] << bits >> bits;
Jay Foad583abbc2010-12-07 08:25:19 +0000828
829 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000830}
831
832// Sign extend to a new width.
Craig Topper1dec2812017-04-24 17:37:10 +0000833APInt APInt::sext(unsigned Width) const {
834 assert(Width > BitWidth && "Invalid APInt SignExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000835
Craig Topper1dec2812017-04-24 17:37:10 +0000836 if (Width <= APINT_BITS_PER_WORD)
Craig Topperb339c6d2017-05-03 15:46:24 +0000837 return APInt(Width, SignExtend64(U.VAL, BitWidth));
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000838
Craig Topper1dec2812017-04-24 17:37:10 +0000839 APInt Result(getMemory(getNumWords(Width)), Width);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000840
Craig Topper1dec2812017-04-24 17:37:10 +0000841 // Copy words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000842 std::memcpy(Result.U.pVal, getRawData(), getNumWords() * APINT_WORD_SIZE);
Reid Spencerb6b5cc32007-02-25 23:44:53 +0000843
Craig Topper1dec2812017-04-24 17:37:10 +0000844 // Sign extend the last word since there may be unused bits in the input.
Craig Topperb339c6d2017-05-03 15:46:24 +0000845 Result.U.pVal[getNumWords() - 1] =
846 SignExtend64(Result.U.pVal[getNumWords() - 1],
Craig Topper1dec2812017-04-24 17:37:10 +0000847 ((BitWidth - 1) % APINT_BITS_PER_WORD) + 1);
Jay Foad583abbc2010-12-07 08:25:19 +0000848
Craig Topper1dec2812017-04-24 17:37:10 +0000849 // Fill with sign bits.
Craig Topperb339c6d2017-05-03 15:46:24 +0000850 std::memset(Result.U.pVal + getNumWords(), isNegative() ? -1 : 0,
Craig Topper1dec2812017-04-24 17:37:10 +0000851 (Result.getNumWords() - getNumWords()) * APINT_WORD_SIZE);
852 Result.clearUnusedBits();
Jay Foad583abbc2010-12-07 08:25:19 +0000853 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000854}
855
856// Zero extend to a new width.
Jay Foad583abbc2010-12-07 08:25:19 +0000857APInt APInt::zext(unsigned width) const {
Reid Spencer1d072122007-02-16 22:36:51 +0000858 assert(width > BitWidth && "Invalid APInt ZeroExtend request");
Jay Foad583abbc2010-12-07 08:25:19 +0000859
860 if (width <= APINT_BITS_PER_WORD)
Craig Topperb339c6d2017-05-03 15:46:24 +0000861 return APInt(width, U.VAL);
Jay Foad583abbc2010-12-07 08:25:19 +0000862
863 APInt Result(getMemory(getNumWords(width)), width);
864
865 // Copy words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000866 std::memcpy(Result.U.pVal, getRawData(), getNumWords() * APINT_WORD_SIZE);
Jay Foad583abbc2010-12-07 08:25:19 +0000867
868 // Zero remaining words.
Craig Topperb339c6d2017-05-03 15:46:24 +0000869 std::memset(Result.U.pVal + getNumWords(), 0,
Craig Topper1dec2812017-04-24 17:37:10 +0000870 (Result.getNumWords() - getNumWords()) * APINT_WORD_SIZE);
Jay Foad583abbc2010-12-07 08:25:19 +0000871
872 return Result;
Reid Spencer1d072122007-02-16 22:36:51 +0000873}
874
Jay Foad583abbc2010-12-07 08:25:19 +0000875APInt APInt::zextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +0000876 if (BitWidth < width)
877 return zext(width);
878 if (BitWidth > width)
879 return trunc(width);
880 return *this;
881}
882
Jay Foad583abbc2010-12-07 08:25:19 +0000883APInt APInt::sextOrTrunc(unsigned width) const {
Reid Spencer742d1702007-03-01 17:15:32 +0000884 if (BitWidth < width)
885 return sext(width);
886 if (BitWidth > width)
887 return trunc(width);
888 return *this;
889}
890
Rafael Espindolabb893fe2012-01-27 23:33:07 +0000891APInt APInt::zextOrSelf(unsigned width) const {
892 if (BitWidth < width)
893 return zext(width);
894 return *this;
895}
896
897APInt APInt::sextOrSelf(unsigned width) const {
898 if (BitWidth < width)
899 return sext(width);
900 return *this;
901}
902
Zhou Shenge93db8f2007-02-09 07:48:24 +0000903/// Arithmetic right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000904/// @brief Arithmetic right-shift function.
Craig Topper8b373262017-04-24 17:18:47 +0000905void APInt::ashrInPlace(const APInt &shiftAmt) {
906 ashrInPlace((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +0000907}
908
909/// Arithmetic right-shift this APInt by shiftAmt.
910/// @brief Arithmetic right-shift function.
Craig Topper8b373262017-04-24 17:18:47 +0000911void APInt::ashrSlowCase(unsigned ShiftAmt) {
912 // Don't bother performing a no-op shift.
913 if (!ShiftAmt)
914 return;
Reid Spencer1825dd02007-03-02 22:39:11 +0000915
Craig Topper8b373262017-04-24 17:18:47 +0000916 // Save the original sign bit for later.
917 bool Negative = isNegative();
Reid Spencer522ca7c2007-02-25 01:56:07 +0000918
Craig Topper8b373262017-04-24 17:18:47 +0000919 // WordShift is the inter-part shift; BitShift is is intra-part shift.
920 unsigned WordShift = ShiftAmt / APINT_BITS_PER_WORD;
921 unsigned BitShift = ShiftAmt % APINT_BITS_PER_WORD;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000922
Craig Topper8b373262017-04-24 17:18:47 +0000923 unsigned WordsToMove = getNumWords() - WordShift;
924 if (WordsToMove != 0) {
925 // Sign extend the last word to fill in the unused bits.
Craig Topperb339c6d2017-05-03 15:46:24 +0000926 U.pVal[getNumWords() - 1] = SignExtend64(
927 U.pVal[getNumWords() - 1], ((BitWidth - 1) % APINT_BITS_PER_WORD) + 1);
Renato Golincc4a9122017-04-23 12:02:07 +0000928
Craig Topper8b373262017-04-24 17:18:47 +0000929 // Fastpath for moving by whole words.
930 if (BitShift == 0) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000931 std::memmove(U.pVal, U.pVal + WordShift, WordsToMove * APINT_WORD_SIZE);
Craig Topper8b373262017-04-24 17:18:47 +0000932 } else {
933 // Move the words containing significant bits.
934 for (unsigned i = 0; i != WordsToMove - 1; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +0000935 U.pVal[i] = (U.pVal[i + WordShift] >> BitShift) |
936 (U.pVal[i + WordShift + 1] << (APINT_BITS_PER_WORD - BitShift));
Renato Golincc4a9122017-04-23 12:02:07 +0000937
Craig Topper8b373262017-04-24 17:18:47 +0000938 // Handle the last word which has no high bits to copy.
Craig Topperb339c6d2017-05-03 15:46:24 +0000939 U.pVal[WordsToMove - 1] = U.pVal[WordShift + WordsToMove - 1] >> BitShift;
Craig Topper8b373262017-04-24 17:18:47 +0000940 // Sign extend one more time.
Craig Topperb339c6d2017-05-03 15:46:24 +0000941 U.pVal[WordsToMove - 1] =
942 SignExtend64(U.pVal[WordsToMove - 1], APINT_BITS_PER_WORD - BitShift);
Chris Lattnerdad2d092007-05-03 18:15:36 +0000943 }
Reid Spenceraa8dcfe2007-02-26 07:44:38 +0000944 }
945
Craig Topper8b373262017-04-24 17:18:47 +0000946 // Fill in the remainder based on the original sign.
Craig Topperb339c6d2017-05-03 15:46:24 +0000947 std::memset(U.pVal + WordsToMove, Negative ? -1 : 0,
Craig Topper8b373262017-04-24 17:18:47 +0000948 WordShift * APINT_WORD_SIZE);
949 clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000950}
951
Zhou Shenge93db8f2007-02-09 07:48:24 +0000952/// Logical right-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000953/// @brief Logical right-shift function.
Craig Topperfc947bc2017-04-18 17:14:21 +0000954void APInt::lshrInPlace(const APInt &shiftAmt) {
955 lshrInPlace((unsigned)shiftAmt.getLimitedValue(BitWidth));
Dan Gohman105c1d42008-02-29 01:40:47 +0000956}
957
958/// Logical right-shift this APInt by shiftAmt.
959/// @brief Logical right-shift function.
Craig Topperae8bd672017-04-18 19:13:27 +0000960void APInt::lshrSlowCase(unsigned ShiftAmt) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000961 tcShiftRight(U.pVal, getNumWords(), ShiftAmt);
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000962}
963
Zhou Shenge93db8f2007-02-09 07:48:24 +0000964/// Left-shift this APInt by shiftAmt.
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000965/// @brief Left-shift function.
Craig Topper24e71012017-04-28 03:36:24 +0000966APInt &APInt::operator<<=(const APInt &shiftAmt) {
Nick Lewycky030c4502009-01-19 17:42:33 +0000967 // It's undefined behavior in C to shift by BitWidth or greater.
Craig Topper24e71012017-04-28 03:36:24 +0000968 *this <<= (unsigned)shiftAmt.getLimitedValue(BitWidth);
969 return *this;
Dan Gohman105c1d42008-02-29 01:40:47 +0000970}
971
Craig Toppera8a4f0d2017-04-18 04:39:48 +0000972void APInt::shlSlowCase(unsigned ShiftAmt) {
Craig Topperb339c6d2017-05-03 15:46:24 +0000973 tcShiftLeft(U.pVal, getNumWords(), ShiftAmt);
Craig Toppera8a4f0d2017-04-18 04:39:48 +0000974 clearUnusedBits();
Zhou Shengfbf61ea2007-02-08 14:35:19 +0000975}
976
Joey Gouly51c0ae52017-02-07 11:58:22 +0000977// Calculate the rotate amount modulo the bit width.
978static unsigned rotateModulo(unsigned BitWidth, const APInt &rotateAmt) {
979 unsigned rotBitWidth = rotateAmt.getBitWidth();
980 APInt rot = rotateAmt;
981 if (rotBitWidth < BitWidth) {
982 // Extend the rotate APInt, so that the urem doesn't divide by 0.
983 // e.g. APInt(1, 32) would give APInt(1, 0).
984 rot = rotateAmt.zext(BitWidth);
985 }
986 rot = rot.urem(APInt(rot.getBitWidth(), BitWidth));
987 return rot.getLimitedValue(BitWidth);
988}
989
Dan Gohman105c1d42008-02-29 01:40:47 +0000990APInt APInt::rotl(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +0000991 return rotl(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +0000992}
993
Chris Lattner77527f52009-01-21 18:09:24 +0000994APInt APInt::rotl(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +0000995 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +0000996 if (rotateAmt == 0)
997 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +0000998 return shl(rotateAmt) | lshr(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +0000999}
1000
Dan Gohman105c1d42008-02-29 01:40:47 +00001001APInt APInt::rotr(const APInt &rotateAmt) const {
Joey Gouly51c0ae52017-02-07 11:58:22 +00001002 return rotr(rotateModulo(BitWidth, rotateAmt));
Dan Gohman105c1d42008-02-29 01:40:47 +00001003}
1004
Chris Lattner77527f52009-01-21 18:09:24 +00001005APInt APInt::rotr(unsigned rotateAmt) const {
Eli Friedman2aae94f2011-12-22 03:15:35 +00001006 rotateAmt %= BitWidth;
Reid Spencer98ed7db2007-05-14 00:15:28 +00001007 if (rotateAmt == 0)
1008 return *this;
Eli Friedman2aae94f2011-12-22 03:15:35 +00001009 return lshr(rotateAmt) | shl(BitWidth - rotateAmt);
Reid Spencer4c50b522007-05-13 23:44:59 +00001010}
Reid Spencerd99feaf2007-03-01 05:39:56 +00001011
1012// Square Root - this method computes and returns the square root of "this".
1013// Three mechanisms are used for computation. For small values (<= 5 bits),
1014// a table lookup is done. This gets some performance for common cases. For
1015// values using less than 52 bits, the value is converted to double and then
1016// the libc sqrt function is called. The result is rounded and then converted
1017// back to a uint64_t which is then used to construct the result. Finally,
Eric Christopher820256b2009-08-21 04:06:45 +00001018// the Babylonian method for computing square roots is used.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001019APInt APInt::sqrt() const {
1020
1021 // Determine the magnitude of the value.
Chris Lattner77527f52009-01-21 18:09:24 +00001022 unsigned magnitude = getActiveBits();
Reid Spencerd99feaf2007-03-01 05:39:56 +00001023
1024 // Use a fast table for some small values. This also gets rid of some
1025 // rounding errors in libc sqrt for small values.
1026 if (magnitude <= 5) {
Reid Spencer2f6ad4d2007-03-01 17:47:31 +00001027 static const uint8_t results[32] = {
Reid Spencerc8841d22007-03-01 06:23:32 +00001028 /* 0 */ 0,
1029 /* 1- 2 */ 1, 1,
Eric Christopher820256b2009-08-21 04:06:45 +00001030 /* 3- 6 */ 2, 2, 2, 2,
Reid Spencerc8841d22007-03-01 06:23:32 +00001031 /* 7-12 */ 3, 3, 3, 3, 3, 3,
1032 /* 13-20 */ 4, 4, 4, 4, 4, 4, 4, 4,
1033 /* 21-30 */ 5, 5, 5, 5, 5, 5, 5, 5, 5, 5,
1034 /* 31 */ 6
1035 };
Craig Topperb339c6d2017-05-03 15:46:24 +00001036 return APInt(BitWidth, results[ (isSingleWord() ? U.VAL : U.pVal[0]) ]);
Reid Spencerd99feaf2007-03-01 05:39:56 +00001037 }
1038
1039 // If the magnitude of the value fits in less than 52 bits (the precision of
1040 // an IEEE double precision floating point value), then we can use the
1041 // libc sqrt function which will probably use a hardware sqrt computation.
1042 // This should be faster than the algorithm below.
Jeff Cohenb622c112007-03-05 00:00:42 +00001043 if (magnitude < 52) {
Eric Christopher820256b2009-08-21 04:06:45 +00001044 return APInt(BitWidth,
Craig Topperb339c6d2017-05-03 15:46:24 +00001045 uint64_t(::round(::sqrt(double(isSingleWord() ? U.VAL
1046 : U.pVal[0])))));
Jeff Cohenb622c112007-03-05 00:00:42 +00001047 }
Reid Spencerd99feaf2007-03-01 05:39:56 +00001048
1049 // Okay, all the short cuts are exhausted. We must compute it. The following
1050 // is a classical Babylonian method for computing the square root. This code
Sanjay Patel4cb54e02014-09-11 15:41:01 +00001051 // was adapted to APInt from a wikipedia article on such computations.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001052 // See http://www.wikipedia.org/ and go to the page named
Eric Christopher820256b2009-08-21 04:06:45 +00001053 // Calculate_an_integer_square_root.
Chris Lattner77527f52009-01-21 18:09:24 +00001054 unsigned nbits = BitWidth, i = 4;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001055 APInt testy(BitWidth, 16);
1056 APInt x_old(BitWidth, 1);
1057 APInt x_new(BitWidth, 0);
1058 APInt two(BitWidth, 2);
1059
1060 // Select a good starting value using binary logarithms.
Eric Christopher820256b2009-08-21 04:06:45 +00001061 for (;; i += 2, testy = testy.shl(2))
Reid Spencerd99feaf2007-03-01 05:39:56 +00001062 if (i >= nbits || this->ule(testy)) {
1063 x_old = x_old.shl(i / 2);
1064 break;
1065 }
1066
Eric Christopher820256b2009-08-21 04:06:45 +00001067 // Use the Babylonian method to arrive at the integer square root:
Reid Spencerd99feaf2007-03-01 05:39:56 +00001068 for (;;) {
1069 x_new = (this->udiv(x_old) + x_old).udiv(two);
1070 if (x_old.ule(x_new))
1071 break;
1072 x_old = x_new;
1073 }
1074
1075 // Make sure we return the closest approximation
Eric Christopher820256b2009-08-21 04:06:45 +00001076 // NOTE: The rounding calculation below is correct. It will produce an
Reid Spencercf817562007-03-02 04:21:55 +00001077 // off-by-one discrepancy with results from pari/gp. That discrepancy has been
Eric Christopher820256b2009-08-21 04:06:45 +00001078 // determined to be a rounding issue with pari/gp as it begins to use a
Reid Spencercf817562007-03-02 04:21:55 +00001079 // floating point representation after 192 bits. There are no discrepancies
1080 // between this algorithm and pari/gp for bit widths < 192 bits.
Reid Spencerd99feaf2007-03-01 05:39:56 +00001081 APInt square(x_old * x_old);
1082 APInt nextSquare((x_old + 1) * (x_old +1));
1083 if (this->ult(square))
1084 return x_old;
David Blaikie54c94622011-12-01 20:58:30 +00001085 assert(this->ule(nextSquare) && "Error in APInt::sqrt computation");
1086 APInt midpoint((nextSquare - square).udiv(two));
1087 APInt offset(*this - square);
1088 if (offset.ult(midpoint))
1089 return x_old;
Reid Spencerd99feaf2007-03-01 05:39:56 +00001090 return x_old + 1;
1091}
1092
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001093/// Computes the multiplicative inverse of this APInt for a given modulo. The
1094/// iterative extended Euclidean algorithm is used to solve for this value,
1095/// however we simplify it to speed up calculating only the inverse, and take
1096/// advantage of div+rem calculations. We also use some tricks to avoid copying
1097/// (potentially large) APInts around.
1098APInt APInt::multiplicativeInverse(const APInt& modulo) const {
1099 assert(ult(modulo) && "This APInt must be smaller than the modulo");
1100
1101 // Using the properties listed at the following web page (accessed 06/21/08):
1102 // http://www.numbertheory.org/php/euclid.html
1103 // (especially the properties numbered 3, 4 and 9) it can be proved that
1104 // BitWidth bits suffice for all the computations in the algorithm implemented
1105 // below. More precisely, this number of bits suffice if the multiplicative
1106 // inverse exists, but may not suffice for the general extended Euclidean
1107 // algorithm.
1108
1109 APInt r[2] = { modulo, *this };
1110 APInt t[2] = { APInt(BitWidth, 0), APInt(BitWidth, 1) };
1111 APInt q(BitWidth, 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001112
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001113 unsigned i;
1114 for (i = 0; r[i^1] != 0; i ^= 1) {
1115 // An overview of the math without the confusing bit-flipping:
1116 // q = r[i-2] / r[i-1]
1117 // r[i] = r[i-2] % r[i-1]
1118 // t[i] = t[i-2] - t[i-1] * q
1119 udivrem(r[i], r[i^1], q, r[i]);
1120 t[i] -= t[i^1] * q;
1121 }
1122
1123 // If this APInt and the modulo are not coprime, there is no multiplicative
1124 // inverse, so return 0. We check this by looking at the next-to-last
1125 // remainder, which is the gcd(*this,modulo) as calculated by the Euclidean
1126 // algorithm.
1127 if (r[i] != 1)
1128 return APInt(BitWidth, 0);
1129
1130 // The next-to-last t is the multiplicative inverse. However, we are
1131 // interested in a positive inverse. Calcuate a positive one from a negative
1132 // one if necessary. A simple addition of the modulo suffices because
Wojciech Matyjewiczf0d21cd2008-07-20 15:55:14 +00001133 // abs(t[i]) is known to be less than *this/2 (see the link above).
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001134 return t[i].isNegative() ? t[i] + modulo : t[i];
1135}
1136
Jay Foadfe0c6482009-04-30 10:15:35 +00001137/// Calculate the magic numbers required to implement a signed integer division
1138/// by a constant as a sequence of multiplies, adds and shifts. Requires that
1139/// the divisor not be 0, 1, or -1. Taken from "Hacker's Delight", Henry S.
1140/// Warren, Jr., chapter 10.
1141APInt::ms APInt::magic() const {
1142 const APInt& d = *this;
1143 unsigned p;
1144 APInt ad, anc, delta, q1, r1, q2, r2, t;
Jay Foadfe0c6482009-04-30 10:15:35 +00001145 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
Jay Foadfe0c6482009-04-30 10:15:35 +00001146 struct ms mag;
Eric Christopher820256b2009-08-21 04:06:45 +00001147
Jay Foadfe0c6482009-04-30 10:15:35 +00001148 ad = d.abs();
1149 t = signedMin + (d.lshr(d.getBitWidth() - 1));
1150 anc = t - 1 - t.urem(ad); // absolute value of nc
1151 p = d.getBitWidth() - 1; // initialize p
1152 q1 = signedMin.udiv(anc); // initialize q1 = 2p/abs(nc)
1153 r1 = signedMin - q1*anc; // initialize r1 = rem(2p,abs(nc))
1154 q2 = signedMin.udiv(ad); // initialize q2 = 2p/abs(d)
1155 r2 = signedMin - q2*ad; // initialize r2 = rem(2p,abs(d))
1156 do {
1157 p = p + 1;
1158 q1 = q1<<1; // update q1 = 2p/abs(nc)
1159 r1 = r1<<1; // update r1 = rem(2p/abs(nc))
1160 if (r1.uge(anc)) { // must be unsigned comparison
1161 q1 = q1 + 1;
1162 r1 = r1 - anc;
1163 }
1164 q2 = q2<<1; // update q2 = 2p/abs(d)
1165 r2 = r2<<1; // update r2 = rem(2p/abs(d))
1166 if (r2.uge(ad)) { // must be unsigned comparison
1167 q2 = q2 + 1;
1168 r2 = r2 - ad;
1169 }
1170 delta = ad - r2;
Cameron Zwarich8731d0c2011-02-21 00:22:02 +00001171 } while (q1.ult(delta) || (q1 == delta && r1 == 0));
Eric Christopher820256b2009-08-21 04:06:45 +00001172
Jay Foadfe0c6482009-04-30 10:15:35 +00001173 mag.m = q2 + 1;
1174 if (d.isNegative()) mag.m = -mag.m; // resulting magic number
1175 mag.s = p - d.getBitWidth(); // resulting shift
1176 return mag;
1177}
1178
1179/// Calculate the magic numbers required to implement an unsigned integer
1180/// division by a constant as a sequence of multiplies, adds and shifts.
1181/// Requires that the divisor not be 0. Taken from "Hacker's Delight", Henry
1182/// S. Warren, Jr., chapter 10.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001183/// LeadingZeros can be used to simplify the calculation if the upper bits
Chris Lattner0ab5e2c2011-04-15 05:18:47 +00001184/// of the divided value are known zero.
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001185APInt::mu APInt::magicu(unsigned LeadingZeros) const {
Jay Foadfe0c6482009-04-30 10:15:35 +00001186 const APInt& d = *this;
1187 unsigned p;
1188 APInt nc, delta, q1, r1, q2, r2;
1189 struct mu magu;
1190 magu.a = 0; // initialize "add" indicator
Benjamin Kramer09a51ba2011-03-17 20:39:06 +00001191 APInt allOnes = APInt::getAllOnesValue(d.getBitWidth()).lshr(LeadingZeros);
Jay Foadfe0c6482009-04-30 10:15:35 +00001192 APInt signedMin = APInt::getSignedMinValue(d.getBitWidth());
1193 APInt signedMax = APInt::getSignedMaxValue(d.getBitWidth());
1194
Benjamin Kramer3aab6a82012-07-11 18:31:59 +00001195 nc = allOnes - (allOnes - d).urem(d);
Jay Foadfe0c6482009-04-30 10:15:35 +00001196 p = d.getBitWidth() - 1; // initialize p
1197 q1 = signedMin.udiv(nc); // initialize q1 = 2p/nc
1198 r1 = signedMin - q1*nc; // initialize r1 = rem(2p,nc)
1199 q2 = signedMax.udiv(d); // initialize q2 = (2p-1)/d
1200 r2 = signedMax - q2*d; // initialize r2 = rem((2p-1),d)
1201 do {
1202 p = p + 1;
1203 if (r1.uge(nc - r1)) {
1204 q1 = q1 + q1 + 1; // update q1
1205 r1 = r1 + r1 - nc; // update r1
1206 }
1207 else {
1208 q1 = q1+q1; // update q1
1209 r1 = r1+r1; // update r1
1210 }
1211 if ((r2 + 1).uge(d - r2)) {
1212 if (q2.uge(signedMax)) magu.a = 1;
1213 q2 = q2+q2 + 1; // update q2
1214 r2 = r2+r2 + 1 - d; // update r2
1215 }
1216 else {
1217 if (q2.uge(signedMin)) magu.a = 1;
1218 q2 = q2+q2; // update q2
1219 r2 = r2+r2 + 1; // update r2
1220 }
1221 delta = d - 1 - r2;
1222 } while (p < d.getBitWidth()*2 &&
1223 (q1.ult(delta) || (q1 == delta && r1 == 0)));
1224 magu.m = q2 + 1; // resulting magic number
1225 magu.s = p - d.getBitWidth(); // resulting shift
1226 return magu;
1227}
1228
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001229/// Implementation of Knuth's Algorithm D (Division of nonnegative integers)
1230/// from "Art of Computer Programming, Volume 2", section 4.3.1, p. 272. The
1231/// variables here have the same names as in the algorithm. Comments explain
1232/// the algorithm and any deviation from it.
Chris Lattner77527f52009-01-21 18:09:24 +00001233static void KnuthDiv(unsigned *u, unsigned *v, unsigned *q, unsigned* r,
1234 unsigned m, unsigned n) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001235 assert(u && "Must provide dividend");
1236 assert(v && "Must provide divisor");
1237 assert(q && "Must provide quotient");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001238 assert(u != v && u != q && v != q && "Must use different memory");
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001239 assert(n>1 && "n must be > 1");
1240
Yaron Keren39fc5a62015-03-26 19:45:19 +00001241 // b denotes the base of the number system. In our case b is 2^32.
George Burgess IV381fc0e2016-08-25 01:05:08 +00001242 const uint64_t b = uint64_t(1) << 32;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001243
David Greenef32fcb42010-01-05 01:28:52 +00001244 DEBUG(dbgs() << "KnuthDiv: m=" << m << " n=" << n << '\n');
1245 DEBUG(dbgs() << "KnuthDiv: original:");
1246 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1247 DEBUG(dbgs() << " by");
1248 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1249 DEBUG(dbgs() << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001250 // D1. [Normalize.] Set d = b / (v[n-1] + 1) and multiply all the digits of
1251 // u and v by d. Note that we have taken Knuth's advice here to use a power
1252 // of 2 value for d such that d * v[n-1] >= b/2 (b is the base). A power of
1253 // 2 allows us to shift instead of multiply and it is easy to determine the
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001254 // shift amount from the leading zeros. We are basically normalizing the u
1255 // and v so that its high bits are shifted to the top of v's range without
1256 // overflow. Note that this can require an extra word in u so that u must
1257 // be of length m+n+1.
Michael J. Spencerdf1ecbd72013-05-24 22:23:49 +00001258 unsigned shift = countLeadingZeros(v[n-1]);
Chris Lattner77527f52009-01-21 18:09:24 +00001259 unsigned v_carry = 0;
1260 unsigned u_carry = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001261 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001262 for (unsigned i = 0; i < m+n; ++i) {
1263 unsigned u_tmp = u[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001264 u[i] = (u[i] << shift) | u_carry;
1265 u_carry = u_tmp;
Reid Spencer100502d2007-02-17 03:16:00 +00001266 }
Chris Lattner77527f52009-01-21 18:09:24 +00001267 for (unsigned i = 0; i < n; ++i) {
1268 unsigned v_tmp = v[i] >> (32 - shift);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001269 v[i] = (v[i] << shift) | v_carry;
1270 v_carry = v_tmp;
1271 }
1272 }
1273 u[m+n] = u_carry;
Yaron Keren39fc5a62015-03-26 19:45:19 +00001274
David Greenef32fcb42010-01-05 01:28:52 +00001275 DEBUG(dbgs() << "KnuthDiv: normal:");
1276 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1277 DEBUG(dbgs() << " by");
1278 DEBUG(for (int i = n; i >0; i--) dbgs() << " " << v[i-1]);
1279 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001280
1281 // D2. [Initialize j.] Set j to m. This is the loop counter over the places.
1282 int j = m;
1283 do {
David Greenef32fcb42010-01-05 01:28:52 +00001284 DEBUG(dbgs() << "KnuthDiv: quotient digit #" << j << '\n');
Eric Christopher820256b2009-08-21 04:06:45 +00001285 // D3. [Calculate q'.].
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001286 // Set qp = (u[j+n]*b + u[j+n-1]) / v[n-1]. (qp=qprime=q')
1287 // Set rp = (u[j+n]*b + u[j+n-1]) % v[n-1]. (rp=rprime=r')
1288 // Now test if qp == b or qp*v[n-2] > b*rp + u[j+n-2]; if so, decrease
1289 // qp by 1, inrease rp by v[n-1], and repeat this test if rp < b. The test
1290 // on v[n-2] determines at high speed most of the cases in which the trial
Eric Christopher820256b2009-08-21 04:06:45 +00001291 // value qp is one too large, and it eliminates all cases where qp is two
1292 // too large.
Reid Spencercb292e42007-02-23 01:57:13 +00001293 uint64_t dividend = ((uint64_t(u[j+n]) << 32) + u[j+n-1]);
David Greenef32fcb42010-01-05 01:28:52 +00001294 DEBUG(dbgs() << "KnuthDiv: dividend == " << dividend << '\n');
Reid Spencercb292e42007-02-23 01:57:13 +00001295 uint64_t qp = dividend / v[n-1];
1296 uint64_t rp = dividend % v[n-1];
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001297 if (qp == b || qp*v[n-2] > b*rp + u[j+n-2]) {
1298 qp--;
1299 rp += v[n-1];
Reid Spencerdf6cf5a2007-02-24 10:01:42 +00001300 if (rp < b && (qp == b || qp*v[n-2] > b*rp + u[j+n-2]))
Reid Spencera5e0d202007-02-24 03:58:46 +00001301 qp--;
Reid Spencercb292e42007-02-23 01:57:13 +00001302 }
David Greenef32fcb42010-01-05 01:28:52 +00001303 DEBUG(dbgs() << "KnuthDiv: qp == " << qp << ", rp == " << rp << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001304
Reid Spencercb292e42007-02-23 01:57:13 +00001305 // D4. [Multiply and subtract.] Replace (u[j+n]u[j+n-1]...u[j]) with
1306 // (u[j+n]u[j+n-1]..u[j]) - qp * (v[n-1]...v[1]v[0]). This computation
1307 // consists of a simple multiplication by a one-place number, combined with
Eric Christopher820256b2009-08-21 04:06:45 +00001308 // a subtraction.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001309 // The digits (u[j+n]...u[j]) should be kept positive; if the result of
1310 // this step is actually negative, (u[j+n]...u[j]) should be left as the
1311 // true value plus b**(n+1), namely as the b's complement of
1312 // the true value, and a "borrow" to the left should be remembered.
Pawel Bylica86ac4472015-04-24 07:38:39 +00001313 int64_t borrow = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001314 for (unsigned i = 0; i < n; ++i) {
Pawel Bylica86ac4472015-04-24 07:38:39 +00001315 uint64_t p = uint64_t(qp) * uint64_t(v[i]);
1316 int64_t subres = int64_t(u[j+i]) - borrow - (unsigned)p;
1317 u[j+i] = (unsigned)subres;
1318 borrow = (p >> 32) - (subres >> 32);
1319 DEBUG(dbgs() << "KnuthDiv: u[j+i] = " << u[j+i]
Daniel Dunbar763ace92009-07-13 05:27:30 +00001320 << ", borrow = " << borrow << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001321 }
Pawel Bylica86ac4472015-04-24 07:38:39 +00001322 bool isNeg = u[j+n] < borrow;
1323 u[j+n] -= (unsigned)borrow;
1324
David Greenef32fcb42010-01-05 01:28:52 +00001325 DEBUG(dbgs() << "KnuthDiv: after subtraction:");
1326 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
1327 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001328
Eric Christopher820256b2009-08-21 04:06:45 +00001329 // D5. [Test remainder.] Set q[j] = qp. If the result of step D4 was
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001330 // negative, go to step D6; otherwise go on to step D7.
Chris Lattner77527f52009-01-21 18:09:24 +00001331 q[j] = (unsigned)qp;
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001332 if (isNeg) {
Eric Christopher820256b2009-08-21 04:06:45 +00001333 // D6. [Add back]. The probability that this step is necessary is very
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001334 // small, on the order of only 2/b. Make sure that test data accounts for
Eric Christopher820256b2009-08-21 04:06:45 +00001335 // this possibility. Decrease q[j] by 1
Reid Spencercb292e42007-02-23 01:57:13 +00001336 q[j]--;
Eric Christopher820256b2009-08-21 04:06:45 +00001337 // and add (0v[n-1]...v[1]v[0]) to (u[j+n]u[j+n-1]...u[j+1]u[j]).
1338 // A carry will occur to the left of u[j+n], and it should be ignored
Reid Spencercb292e42007-02-23 01:57:13 +00001339 // since it cancels with the borrow that occurred in D4.
1340 bool carry = false;
Chris Lattner77527f52009-01-21 18:09:24 +00001341 for (unsigned i = 0; i < n; i++) {
1342 unsigned limit = std::min(u[j+i],v[i]);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001343 u[j+i] += v[i] + carry;
Reid Spencera5e0d202007-02-24 03:58:46 +00001344 carry = u[j+i] < limit || (carry && u[j+i] == limit);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001345 }
Reid Spencera5e0d202007-02-24 03:58:46 +00001346 u[j+n] += carry;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001347 }
David Greenef32fcb42010-01-05 01:28:52 +00001348 DEBUG(dbgs() << "KnuthDiv: after correction:");
Yaron Keren39fc5a62015-03-26 19:45:19 +00001349 DEBUG(for (int i = m+n; i >=0; i--) dbgs() << " " << u[i]);
David Greenef32fcb42010-01-05 01:28:52 +00001350 DEBUG(dbgs() << "\nKnuthDiv: digit result = " << q[j] << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001351
Reid Spencercb292e42007-02-23 01:57:13 +00001352 // D7. [Loop on j.] Decrease j by one. Now if j >= 0, go back to D3.
1353 } while (--j >= 0);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001354
David Greenef32fcb42010-01-05 01:28:52 +00001355 DEBUG(dbgs() << "KnuthDiv: quotient:");
1356 DEBUG(for (int i = m; i >=0; i--) dbgs() <<" " << q[i]);
1357 DEBUG(dbgs() << '\n');
Reid Spencera5e0d202007-02-24 03:58:46 +00001358
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001359 // D8. [Unnormalize]. Now q[...] is the desired quotient, and the desired
1360 // remainder may be obtained by dividing u[...] by d. If r is non-null we
1361 // compute the remainder (urem uses this).
1362 if (r) {
1363 // The value d is expressed by the "shift" value above since we avoided
1364 // multiplication by d by using a shift left. So, all we have to do is
Simon Pilgrim0099beb2017-03-09 13:57:04 +00001365 // shift right here.
Reid Spencer468ad9112007-02-24 20:38:01 +00001366 if (shift) {
Chris Lattner77527f52009-01-21 18:09:24 +00001367 unsigned carry = 0;
David Greenef32fcb42010-01-05 01:28:52 +00001368 DEBUG(dbgs() << "KnuthDiv: remainder:");
Reid Spencer468ad9112007-02-24 20:38:01 +00001369 for (int i = n-1; i >= 0; i--) {
1370 r[i] = (u[i] >> shift) | carry;
1371 carry = u[i] << (32 - shift);
David Greenef32fcb42010-01-05 01:28:52 +00001372 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001373 }
1374 } else {
1375 for (int i = n-1; i >= 0; i--) {
1376 r[i] = u[i];
David Greenef32fcb42010-01-05 01:28:52 +00001377 DEBUG(dbgs() << " " << r[i]);
Reid Spencer468ad9112007-02-24 20:38:01 +00001378 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001379 }
David Greenef32fcb42010-01-05 01:28:52 +00001380 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001381 }
David Greenef32fcb42010-01-05 01:28:52 +00001382 DEBUG(dbgs() << '\n');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001383}
1384
Benjamin Kramerc321e532016-06-08 19:09:22 +00001385void APInt::divide(const APInt &LHS, unsigned lhsWords, const APInt &RHS,
1386 unsigned rhsWords, APInt *Quotient, APInt *Remainder) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001387 assert(lhsWords >= rhsWords && "Fractional result");
1388
Eric Christopher820256b2009-08-21 04:06:45 +00001389 // First, compose the values into an array of 32-bit words instead of
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001390 // 64-bit words. This is a necessity of both the "short division" algorithm
Dan Gohman4a618822010-02-10 16:03:48 +00001391 // and the Knuth "classical algorithm" which requires there to be native
Eric Christopher820256b2009-08-21 04:06:45 +00001392 // operations for +, -, and * on an m bit value with an m*2 bit result. We
1393 // can't use 64-bit operands here because we don't have native results of
1394 // 128-bits. Furthermore, casting the 64-bit values to 32-bit values won't
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001395 // work on large-endian machines.
Dan Gohmancff69532009-04-01 18:45:54 +00001396 uint64_t mask = ~0ull >> (sizeof(unsigned)*CHAR_BIT);
Chris Lattner77527f52009-01-21 18:09:24 +00001397 unsigned n = rhsWords * 2;
1398 unsigned m = (lhsWords * 2) - n;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001399
1400 // Allocate space for the temporary values we need either on the stack, if
1401 // it will fit, or on the heap if it won't.
Chris Lattner77527f52009-01-21 18:09:24 +00001402 unsigned SPACE[128];
Craig Topperc10719f2014-04-07 04:17:22 +00001403 unsigned *U = nullptr;
1404 unsigned *V = nullptr;
1405 unsigned *Q = nullptr;
1406 unsigned *R = nullptr;
Reid Spencer522ca7c2007-02-25 01:56:07 +00001407 if ((Remainder?4:3)*n+2*m+1 <= 128) {
1408 U = &SPACE[0];
1409 V = &SPACE[m+n+1];
1410 Q = &SPACE[(m+n+1) + n];
1411 if (Remainder)
1412 R = &SPACE[(m+n+1) + n + (m+n)];
1413 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001414 U = new unsigned[m + n + 1];
1415 V = new unsigned[n];
1416 Q = new unsigned[m+n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001417 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001418 R = new unsigned[n];
Reid Spencer522ca7c2007-02-25 01:56:07 +00001419 }
1420
1421 // Initialize the dividend
Chris Lattner77527f52009-01-21 18:09:24 +00001422 memset(U, 0, (m+n+1)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001423 for (unsigned i = 0; i < lhsWords; ++i) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001424 uint64_t tmp = (LHS.getNumWords() == 1 ? LHS.U.VAL : LHS.U.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001425 U[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001426 U[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001427 }
1428 U[m+n] = 0; // this extra word is for "spill" in the Knuth algorithm.
1429
Reid Spencer522ca7c2007-02-25 01:56:07 +00001430 // Initialize the divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001431 memset(V, 0, (n)*sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001432 for (unsigned i = 0; i < rhsWords; ++i) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001433 uint64_t tmp = (RHS.getNumWords() == 1 ? RHS.U.VAL : RHS.U.pVal[i]);
Chris Lattner77527f52009-01-21 18:09:24 +00001434 V[i * 2] = (unsigned)(tmp & mask);
Dan Gohmancff69532009-04-01 18:45:54 +00001435 V[i * 2 + 1] = (unsigned)(tmp >> (sizeof(unsigned)*CHAR_BIT));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001436 }
1437
Reid Spencer522ca7c2007-02-25 01:56:07 +00001438 // initialize the quotient and remainder
Chris Lattner77527f52009-01-21 18:09:24 +00001439 memset(Q, 0, (m+n) * sizeof(unsigned));
Reid Spencer522ca7c2007-02-25 01:56:07 +00001440 if (Remainder)
Chris Lattner77527f52009-01-21 18:09:24 +00001441 memset(R, 0, n * sizeof(unsigned));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001442
Eric Christopher820256b2009-08-21 04:06:45 +00001443 // Now, adjust m and n for the Knuth division. n is the number of words in
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001444 // the divisor. m is the number of words by which the dividend exceeds the
Eric Christopher820256b2009-08-21 04:06:45 +00001445 // divisor (i.e. m+n is the length of the dividend). These sizes must not
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001446 // contain any zero words or the Knuth algorithm fails.
1447 for (unsigned i = n; i > 0 && V[i-1] == 0; i--) {
1448 n--;
1449 m++;
1450 }
1451 for (unsigned i = m+n; i > 0 && U[i-1] == 0; i--)
1452 m--;
1453
1454 // If we're left with only a single word for the divisor, Knuth doesn't work
1455 // so we implement the short division algorithm here. This is much simpler
1456 // and faster because we are certain that we can divide a 64-bit quantity
1457 // by a 32-bit quantity at hardware speed and short division is simply a
1458 // series of such operations. This is just like doing short division but we
1459 // are using base 2^32 instead of base 10.
1460 assert(n != 0 && "Divide by zero?");
1461 if (n == 1) {
Chris Lattner77527f52009-01-21 18:09:24 +00001462 unsigned divisor = V[0];
1463 unsigned remainder = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001464 for (int i = m+n-1; i >= 0; i--) {
1465 uint64_t partial_dividend = uint64_t(remainder) << 32 | U[i];
1466 if (partial_dividend == 0) {
1467 Q[i] = 0;
1468 remainder = 0;
1469 } else if (partial_dividend < divisor) {
1470 Q[i] = 0;
Chris Lattner77527f52009-01-21 18:09:24 +00001471 remainder = (unsigned)partial_dividend;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001472 } else if (partial_dividend == divisor) {
1473 Q[i] = 1;
1474 remainder = 0;
1475 } else {
Chris Lattner77527f52009-01-21 18:09:24 +00001476 Q[i] = (unsigned)(partial_dividend / divisor);
1477 remainder = (unsigned)(partial_dividend - (Q[i] * divisor));
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001478 }
1479 }
1480 if (R)
1481 R[0] = remainder;
1482 } else {
1483 // Now we're ready to invoke the Knuth classical divide algorithm. In this
1484 // case n > 1.
1485 KnuthDiv(U, V, Q, R, m, n);
1486 }
1487
1488 // If the caller wants the quotient
1489 if (Quotient) {
1490 // Set up the Quotient value's memory.
1491 if (Quotient->BitWidth != LHS.BitWidth) {
1492 if (Quotient->isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +00001493 Quotient->U.VAL = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001494 else
Craig Topperb339c6d2017-05-03 15:46:24 +00001495 delete [] Quotient->U.pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001496 Quotient->BitWidth = LHS.BitWidth;
1497 if (!Quotient->isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +00001498 Quotient->U.pVal = getClearedMemory(Quotient->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001499 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001500 Quotient->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001501
Eric Christopher820256b2009-08-21 04:06:45 +00001502 // The quotient is in Q. Reconstitute the quotient into Quotient's low
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001503 // order words.
Yaron Keren39fc5a62015-03-26 19:45:19 +00001504 // This case is currently dead as all users of divide() handle trivial cases
1505 // earlier.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001506 if (lhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001507 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001508 uint64_t(Q[0]) | (uint64_t(Q[1]) << (APINT_BITS_PER_WORD / 2));
1509 if (Quotient->isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +00001510 Quotient->U.VAL = tmp;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001511 else
Craig Topperb339c6d2017-05-03 15:46:24 +00001512 Quotient->U.pVal[0] = tmp;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001513 } else {
1514 assert(!Quotient->isSingleWord() && "Quotient APInt not large enough");
1515 for (unsigned i = 0; i < lhsWords; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +00001516 Quotient->U.pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001517 uint64_t(Q[i*2]) | (uint64_t(Q[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1518 }
1519 }
1520
1521 // If the caller wants the remainder
1522 if (Remainder) {
1523 // Set up the Remainder value's memory.
1524 if (Remainder->BitWidth != RHS.BitWidth) {
1525 if (Remainder->isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +00001526 Remainder->U.VAL = 0;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001527 else
Craig Topperb339c6d2017-05-03 15:46:24 +00001528 delete [] Remainder->U.pVal;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001529 Remainder->BitWidth = RHS.BitWidth;
1530 if (!Remainder->isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +00001531 Remainder->U.pVal = getClearedMemory(Remainder->getNumWords());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001532 } else
Jay Foad25a5e4c2010-12-01 08:53:58 +00001533 Remainder->clearAllBits();
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001534
1535 // The remainder is in R. Reconstitute the remainder into Remainder's low
1536 // order words.
1537 if (rhsWords == 1) {
Eric Christopher820256b2009-08-21 04:06:45 +00001538 uint64_t tmp =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001539 uint64_t(R[0]) | (uint64_t(R[1]) << (APINT_BITS_PER_WORD / 2));
1540 if (Remainder->isSingleWord())
Craig Topperb339c6d2017-05-03 15:46:24 +00001541 Remainder->U.VAL = tmp;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001542 else
Craig Topperb339c6d2017-05-03 15:46:24 +00001543 Remainder->U.pVal[0] = tmp;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001544 } else {
1545 assert(!Remainder->isSingleWord() && "Remainder APInt not large enough");
1546 for (unsigned i = 0; i < rhsWords; ++i)
Craig Topperb339c6d2017-05-03 15:46:24 +00001547 Remainder->U.pVal[i] =
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001548 uint64_t(R[i*2]) | (uint64_t(R[i*2+1]) << (APINT_BITS_PER_WORD / 2));
1549 }
1550 }
1551
1552 // Clean up the memory we allocated.
Reid Spencer522ca7c2007-02-25 01:56:07 +00001553 if (U != &SPACE[0]) {
1554 delete [] U;
1555 delete [] V;
1556 delete [] Q;
1557 delete [] R;
1558 }
Reid Spencer100502d2007-02-17 03:16:00 +00001559}
1560
Reid Spencer1d072122007-02-16 22:36:51 +00001561APInt APInt::udiv(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001562 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001563
1564 // First, deal with the easy case
1565 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001566 assert(RHS.U.VAL != 0 && "Divide by zero?");
1567 return APInt(BitWidth, U.VAL / RHS.U.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001568 }
Reid Spencer39867762007-02-17 02:07:07 +00001569
Reid Spencer39867762007-02-17 02:07:07 +00001570 // Get some facts about the LHS and RHS number of bits and words
Chris Lattner77527f52009-01-21 18:09:24 +00001571 unsigned rhsBits = RHS.getActiveBits();
1572 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001573 assert(rhsWords && "Divided by zero???");
Chris Lattner77527f52009-01-21 18:09:24 +00001574 unsigned lhsBits = this->getActiveBits();
1575 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001576
1577 // Deal with some degenerate cases
Eric Christopher820256b2009-08-21 04:06:45 +00001578 if (!lhsWords)
Reid Spencer58a6a432007-02-21 08:21:52 +00001579 // 0 / X ===> 0
Eric Christopher820256b2009-08-21 04:06:45 +00001580 return APInt(BitWidth, 0);
Reid Spencer58a6a432007-02-21 08:21:52 +00001581 else if (lhsWords < rhsWords || this->ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001582 // X / Y ===> 0, iff X < Y
Reid Spencer58a6a432007-02-21 08:21:52 +00001583 return APInt(BitWidth, 0);
1584 } else if (*this == RHS) {
1585 // X / X ===> 1
1586 return APInt(BitWidth, 1);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001587 } else if (lhsWords == 1 && rhsWords == 1) {
Reid Spencer39867762007-02-17 02:07:07 +00001588 // All high words are zero, just use native divide
Craig Topperb339c6d2017-05-03 15:46:24 +00001589 return APInt(BitWidth, this->U.pVal[0] / RHS.U.pVal[0]);
Reid Spencer39867762007-02-17 02:07:07 +00001590 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001591
1592 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
1593 APInt Quotient(1,0); // to hold result.
Craig Topperc10719f2014-04-07 04:17:22 +00001594 divide(*this, lhsWords, RHS, rhsWords, &Quotient, nullptr);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001595 return Quotient;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001596}
1597
Jakub Staszak6605c602013-02-20 00:17:42 +00001598APInt APInt::sdiv(const APInt &RHS) const {
1599 if (isNegative()) {
1600 if (RHS.isNegative())
1601 return (-(*this)).udiv(-RHS);
1602 return -((-(*this)).udiv(RHS));
1603 }
1604 if (RHS.isNegative())
1605 return -(this->udiv(-RHS));
1606 return this->udiv(RHS);
1607}
1608
Reid Spencer1d072122007-02-16 22:36:51 +00001609APInt APInt::urem(const APInt& RHS) const {
Reid Spencera32372d12007-02-17 00:18:01 +00001610 assert(BitWidth == RHS.BitWidth && "Bit widths must be the same");
Reid Spencer39867762007-02-17 02:07:07 +00001611 if (isSingleWord()) {
Craig Topperb339c6d2017-05-03 15:46:24 +00001612 assert(RHS.U.VAL != 0 && "Remainder by zero?");
1613 return APInt(BitWidth, U.VAL % RHS.U.VAL);
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001614 }
Reid Spencer39867762007-02-17 02:07:07 +00001615
Reid Spencer58a6a432007-02-21 08:21:52 +00001616 // Get some facts about the LHS
Chris Lattner77527f52009-01-21 18:09:24 +00001617 unsigned lhsBits = getActiveBits();
1618 unsigned lhsWords = !lhsBits ? 0 : (whichWord(lhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001619
1620 // Get some facts about the RHS
Chris Lattner77527f52009-01-21 18:09:24 +00001621 unsigned rhsBits = RHS.getActiveBits();
1622 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
Reid Spencer39867762007-02-17 02:07:07 +00001623 assert(rhsWords && "Performing remainder operation by zero ???");
1624
Reid Spencer39867762007-02-17 02:07:07 +00001625 // Check the degenerate cases
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001626 if (lhsWords == 0) {
Reid Spencer58a6a432007-02-21 08:21:52 +00001627 // 0 % Y ===> 0
1628 return APInt(BitWidth, 0);
1629 } else 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;
1632 } else 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);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001635 } else 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 Spencer39867762007-02-17 02:07:07 +00001638 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001639
Reid Spencer4c50b522007-05-13 23:44:59 +00001640 // We have to compute it the hard way. Invoke the Knuth divide algorithm.
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001641 APInt Remainder(1,0);
Craig Topperc10719f2014-04-07 04:17:22 +00001642 divide(*this, lhsWords, RHS, rhsWords, nullptr, &Remainder);
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001643 return Remainder;
Zhou Shengfbf61ea2007-02-08 14:35:19 +00001644}
Reid Spencer100502d2007-02-17 03:16:00 +00001645
Jakub Staszak6605c602013-02-20 00:17:42 +00001646APInt APInt::srem(const APInt &RHS) const {
1647 if (isNegative()) {
1648 if (RHS.isNegative())
1649 return -((-(*this)).urem(-RHS));
1650 return -((-(*this)).urem(RHS));
1651 }
1652 if (RHS.isNegative())
1653 return this->urem(-RHS);
1654 return this->urem(RHS);
1655}
1656
Eric Christopher820256b2009-08-21 04:06:45 +00001657void APInt::udivrem(const APInt &LHS, const APInt &RHS,
Reid Spencer4c50b522007-05-13 23:44:59 +00001658 APInt &Quotient, APInt &Remainder) {
David Majnemer7f039202014-12-14 09:41:56 +00001659 assert(LHS.BitWidth == RHS.BitWidth && "Bit widths must be the same");
1660
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;
David Majnemer7f039202014-12-14 09:41:56 +00001666 Quotient = APInt(LHS.BitWidth, QuotVal);
1667 Remainder = APInt(LHS.BitWidth, RemVal);
1668 return;
1669 }
1670
Reid Spencer4c50b522007-05-13 23:44:59 +00001671 // Get some size facts about the dividend and divisor
Chris Lattner77527f52009-01-21 18:09:24 +00001672 unsigned lhsBits = LHS.getActiveBits();
1673 unsigned lhsWords = !lhsBits ? 0 : (APInt::whichWord(lhsBits - 1) + 1);
1674 unsigned rhsBits = RHS.getActiveBits();
1675 unsigned rhsWords = !rhsBits ? 0 : (APInt::whichWord(rhsBits - 1) + 1);
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
1684 if (lhsWords < rhsWords || LHS.ult(RHS)) {
Sylvestre Ledru91ce36c2012-09-27 10:14:43 +00001685 Remainder = LHS; // X % Y ===> X, iff X < Y
1686 Quotient = 0; // X / Y ===> 0, iff X < Y
Reid Spencer4c50b522007-05-13 23:44:59 +00001687 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001688 }
1689
Reid Spencer4c50b522007-05-13 23:44:59 +00001690 if (LHS == RHS) {
1691 Quotient = 1; // X / X ===> 1
1692 Remainder = 0; // X % X ===> 0;
1693 return;
Eric Christopher820256b2009-08-21 04:06:45 +00001694 }
1695
Reid Spencer4c50b522007-05-13 23:44:59 +00001696 if (lhsWords == 1 && rhsWords == 1) {
1697 // There is only one word to consider so use the native versions.
Craig Topperb339c6d2017-05-03 15:46:24 +00001698 uint64_t lhsValue = LHS.isSingleWord() ? LHS.U.VAL : LHS.U.pVal[0];
1699 uint64_t rhsValue = RHS.isSingleWord() ? RHS.U.VAL : RHS.U.pVal[0];
Wojciech Matyjewicz41b744d2008-06-23 19:39:50 +00001700 Quotient = APInt(LHS.getBitWidth(), lhsValue / rhsValue);
1701 Remainder = APInt(LHS.getBitWidth(), lhsValue % rhsValue);
Reid Spencer4c50b522007-05-13 23:44:59 +00001702 return;
1703 }
1704
1705 // Okay, lets do it the long way
1706 divide(LHS, lhsWords, RHS, rhsWords, &Quotient, &Remainder);
1707}
1708
Jakub Staszak6605c602013-02-20 00:17:42 +00001709void APInt::sdivrem(const APInt &LHS, const APInt &RHS,
1710 APInt &Quotient, APInt &Remainder) {
1711 if (LHS.isNegative()) {
1712 if (RHS.isNegative())
1713 APInt::udivrem(-LHS, -RHS, Quotient, Remainder);
1714 else {
1715 APInt::udivrem(-LHS, RHS, Quotient, Remainder);
1716 Quotient = -Quotient;
1717 }
1718 Remainder = -Remainder;
1719 } else if (RHS.isNegative()) {
1720 APInt::udivrem(LHS, -RHS, Quotient, Remainder);
1721 Quotient = -Quotient;
1722 } else {
1723 APInt::udivrem(LHS, RHS, Quotient, Remainder);
1724 }
1725}
1726
Chris Lattner2c819b02010-10-13 23:54:10 +00001727APInt APInt::sadd_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001728 APInt Res = *this+RHS;
1729 Overflow = isNonNegative() == RHS.isNonNegative() &&
1730 Res.isNonNegative() != isNonNegative();
1731 return Res;
1732}
1733
Chris Lattner698661c2010-10-14 00:05:07 +00001734APInt APInt::uadd_ov(const APInt &RHS, bool &Overflow) const {
1735 APInt Res = *this+RHS;
1736 Overflow = Res.ult(RHS);
1737 return Res;
1738}
1739
Chris Lattner2c819b02010-10-13 23:54:10 +00001740APInt APInt::ssub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001741 APInt Res = *this - RHS;
1742 Overflow = isNonNegative() != RHS.isNonNegative() &&
1743 Res.isNonNegative() != isNonNegative();
1744 return Res;
1745}
1746
Chris Lattner698661c2010-10-14 00:05:07 +00001747APInt APInt::usub_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattnerb9681ad2010-10-14 00:30:00 +00001748 APInt Res = *this-RHS;
1749 Overflow = Res.ugt(*this);
Chris Lattner698661c2010-10-14 00:05:07 +00001750 return Res;
1751}
1752
Chris Lattner2c819b02010-10-13 23:54:10 +00001753APInt APInt::sdiv_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001754 // MININT/-1 --> overflow.
1755 Overflow = isMinSignedValue() && RHS.isAllOnesValue();
1756 return sdiv(RHS);
1757}
1758
Chris Lattner2c819b02010-10-13 23:54:10 +00001759APInt APInt::smul_ov(const APInt &RHS, bool &Overflow) const {
Chris Lattner79bdd882010-10-13 23:46:33 +00001760 APInt Res = *this * RHS;
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001761
Chris Lattner79bdd882010-10-13 23:46:33 +00001762 if (*this != 0 && RHS != 0)
1763 Overflow = Res.sdiv(RHS) != *this || Res.sdiv(*this) != RHS;
1764 else
1765 Overflow = false;
1766 return Res;
1767}
1768
Frits van Bommel0bb2ad22011-03-27 14:26:13 +00001769APInt APInt::umul_ov(const APInt &RHS, bool &Overflow) const {
1770 APInt Res = *this * RHS;
1771
1772 if (*this != 0 && RHS != 0)
1773 Overflow = Res.udiv(RHS) != *this || Res.udiv(*this) != RHS;
1774 else
1775 Overflow = false;
1776 return Res;
1777}
1778
David Majnemera2521382014-10-13 21:48:30 +00001779APInt APInt::sshl_ov(const APInt &ShAmt, bool &Overflow) const {
1780 Overflow = ShAmt.uge(getBitWidth());
Chris Lattner79bdd882010-10-13 23:46:33 +00001781 if (Overflow)
David Majnemera2521382014-10-13 21:48:30 +00001782 return APInt(BitWidth, 0);
Chris Lattner79bdd882010-10-13 23:46:33 +00001783
1784 if (isNonNegative()) // Don't allow sign change.
David Majnemera2521382014-10-13 21:48:30 +00001785 Overflow = ShAmt.uge(countLeadingZeros());
Chris Lattner79bdd882010-10-13 23:46:33 +00001786 else
David Majnemera2521382014-10-13 21:48:30 +00001787 Overflow = ShAmt.uge(countLeadingOnes());
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001788
Chris Lattner79bdd882010-10-13 23:46:33 +00001789 return *this << ShAmt;
1790}
1791
David Majnemera2521382014-10-13 21:48:30 +00001792APInt APInt::ushl_ov(const APInt &ShAmt, bool &Overflow) const {
1793 Overflow = ShAmt.uge(getBitWidth());
1794 if (Overflow)
1795 return APInt(BitWidth, 0);
1796
1797 Overflow = ShAmt.ugt(countLeadingZeros());
1798
1799 return *this << ShAmt;
1800}
1801
Chris Lattner79bdd882010-10-13 23:46:33 +00001802
1803
1804
Benjamin Kramer92d89982010-07-14 22:38:02 +00001805void APInt::fromString(unsigned numbits, StringRef str, uint8_t radix) {
Reid Spencer1ba83352007-02-21 03:55:44 +00001806 // Check our assumptions here
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001807 assert(!str.empty() && "Invalid string length");
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001808 assert((radix == 10 || radix == 8 || radix == 16 || radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00001809 radix == 36) &&
1810 "Radix should be 2, 8, 10, 16, or 36!");
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001811
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001812 StringRef::iterator p = str.begin();
1813 size_t slen = str.size();
1814 bool isNeg = *p == '-';
Erick Tryzelaar1264bcb2009-08-21 03:15:14 +00001815 if (*p == '-' || *p == '+') {
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001816 p++;
1817 slen--;
Eric Christopher43a1dec2009-08-21 04:10:31 +00001818 assert(slen && "String is only a sign, needs a value.");
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001819 }
Chris Lattnerdad2d092007-05-03 18:15:36 +00001820 assert((slen <= numbits || radix != 2) && "Insufficient bit width");
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001821 assert(((slen-1)*3 <= numbits || radix != 8) && "Insufficient bit width");
1822 assert(((slen-1)*4 <= numbits || radix != 16) && "Insufficient bit width");
Dan Gohmanb452d4e2010-03-24 19:38:02 +00001823 assert((((slen-1)*64)/22 <= numbits || radix != 10) &&
1824 "Insufficient bit width");
Reid Spencer1ba83352007-02-21 03:55:44 +00001825
Craig Topperb339c6d2017-05-03 15:46:24 +00001826 // Allocate memory if needed
1827 if (isSingleWord())
1828 U.VAL = 0;
1829 else
1830 U.pVal = getClearedMemory(getNumWords());
Reid Spencer1ba83352007-02-21 03:55:44 +00001831
1832 // Figure out if we can shift instead of multiply
Chris Lattner77527f52009-01-21 18:09:24 +00001833 unsigned shift = (radix == 16 ? 4 : radix == 8 ? 3 : radix == 2 ? 1 : 0);
Reid Spencer1ba83352007-02-21 03:55:44 +00001834
Craig Topperb7d8faa2017-04-02 06:59:38 +00001835 // Set up an APInt for the radix multiplier outside the loop so we don't
Reid Spencer1ba83352007-02-21 03:55:44 +00001836 // constantly construct/destruct it.
Reid Spencer1ba83352007-02-21 03:55:44 +00001837 APInt apradix(getBitWidth(), radix);
1838
1839 // Enter digit traversal loop
Daniel Dunbar3a1efd112009-08-13 02:33:34 +00001840 for (StringRef::iterator e = str.end(); p != e; ++p) {
Erick Tryzelaardadb15712009-08-21 03:15:28 +00001841 unsigned digit = getDigit(*p, radix);
Erick Tryzelaar60964092009-08-21 06:48:37 +00001842 assert(digit < radix && "Invalid character in digit string");
Reid Spencer1ba83352007-02-21 03:55:44 +00001843
Reid Spencera93c9812007-05-16 19:18:22 +00001844 // Shift or multiply the value by the radix
Chris Lattnerb869a0a2009-04-25 18:34:04 +00001845 if (slen > 1) {
1846 if (shift)
1847 *this <<= shift;
1848 else
1849 *this *= apradix;
1850 }
Reid Spencer1ba83352007-02-21 03:55:44 +00001851
1852 // Add in the digit we just interpreted
Craig Topperb7d8faa2017-04-02 06:59:38 +00001853 *this += digit;
Reid Spencer100502d2007-02-17 03:16:00 +00001854 }
Reid Spencerb6b5cc32007-02-25 23:44:53 +00001855 // If its negative, put it in two's complement form
Reid Spenceraa8dcfe2007-02-26 07:44:38 +00001856 if (isNeg) {
Jakub Staszak773be0c2013-03-20 23:56:19 +00001857 --(*this);
Jay Foad25a5e4c2010-12-01 08:53:58 +00001858 this->flipAllBits();
Reid Spencerb6b5cc32007-02-25 23:44:53 +00001859 }
Reid Spencer100502d2007-02-17 03:16:00 +00001860}
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001861
Chris Lattner17f71652008-08-17 07:19:36 +00001862void APInt::toString(SmallVectorImpl<char> &Str, unsigned Radix,
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001863 bool Signed, bool formatAsCLiteral) const {
Simon Pilgrim4c0ea9d2017-02-23 16:07:04 +00001864 assert((Radix == 10 || Radix == 8 || Radix == 16 || Radix == 2 ||
Douglas Gregor663c0682011-09-14 15:54:46 +00001865 Radix == 36) &&
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001866 "Radix should be 2, 8, 10, 16, or 36!");
Eric Christopher820256b2009-08-21 04:06:45 +00001867
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001868 const char *Prefix = "";
1869 if (formatAsCLiteral) {
1870 switch (Radix) {
1871 case 2:
1872 // Binary literals are a non-standard extension added in gcc 4.3:
1873 // http://gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc/Binary-constants.html
1874 Prefix = "0b";
1875 break;
1876 case 8:
1877 Prefix = "0";
1878 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001879 case 10:
1880 break; // No prefix
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001881 case 16:
1882 Prefix = "0x";
1883 break;
Dylan Noblesmith1c419ff2011-12-16 20:36:31 +00001884 default:
1885 llvm_unreachable("Invalid radix!");
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001886 }
1887 }
1888
Chris Lattner17f71652008-08-17 07:19:36 +00001889 // First, check for a zero value and just short circuit the logic below.
1890 if (*this == 0) {
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001891 while (*Prefix) {
1892 Str.push_back(*Prefix);
1893 ++Prefix;
1894 };
Chris Lattner17f71652008-08-17 07:19:36 +00001895 Str.push_back('0');
1896 return;
1897 }
Eric Christopher820256b2009-08-21 04:06:45 +00001898
Douglas Gregor663c0682011-09-14 15:54:46 +00001899 static const char Digits[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ";
Eric Christopher820256b2009-08-21 04:06:45 +00001900
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001901 if (isSingleWord()) {
Chris Lattner17f71652008-08-17 07:19:36 +00001902 char Buffer[65];
1903 char *BufPtr = Buffer+65;
Eric Christopher820256b2009-08-21 04:06:45 +00001904
Chris Lattner17f71652008-08-17 07:19:36 +00001905 uint64_t N;
Chris Lattnerb91c9032010-08-18 00:33:47 +00001906 if (!Signed) {
Chris Lattner17f71652008-08-17 07:19:36 +00001907 N = getZExtValue();
Chris Lattnerb91c9032010-08-18 00:33:47 +00001908 } else {
1909 int64_t I = getSExtValue();
1910 if (I >= 0) {
1911 N = I;
1912 } else {
1913 Str.push_back('-');
1914 N = -(uint64_t)I;
1915 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001916 }
Eric Christopher820256b2009-08-21 04:06:45 +00001917
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001918 while (*Prefix) {
1919 Str.push_back(*Prefix);
1920 ++Prefix;
1921 };
1922
Chris Lattner17f71652008-08-17 07:19:36 +00001923 while (N) {
1924 *--BufPtr = Digits[N % Radix];
1925 N /= Radix;
1926 }
1927 Str.append(BufPtr, Buffer+65);
1928 return;
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001929 }
1930
Chris Lattner17f71652008-08-17 07:19:36 +00001931 APInt Tmp(*this);
Eric Christopher820256b2009-08-21 04:06:45 +00001932
Chris Lattner17f71652008-08-17 07:19:36 +00001933 if (Signed && isNegative()) {
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001934 // They want to print the signed version and it is a negative value
1935 // Flip the bits and add one to turn it into the equivalent positive
1936 // value and put a '-' in the result.
Jay Foad25a5e4c2010-12-01 08:53:58 +00001937 Tmp.flipAllBits();
Jakub Staszak773be0c2013-03-20 23:56:19 +00001938 ++Tmp;
Chris Lattner17f71652008-08-17 07:19:36 +00001939 Str.push_back('-');
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001940 }
Eric Christopher820256b2009-08-21 04:06:45 +00001941
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001942 while (*Prefix) {
1943 Str.push_back(*Prefix);
1944 ++Prefix;
1945 };
1946
Chris Lattner17f71652008-08-17 07:19:36 +00001947 // We insert the digits backward, then reverse them to get the right order.
1948 unsigned StartDig = Str.size();
Eric Christopher820256b2009-08-21 04:06:45 +00001949
1950 // For the 2, 8 and 16 bit cases, we can just shift instead of divide
1951 // because the number of bits per digit (1, 3 and 4 respectively) divides
Craig Topperd7ed50d2017-04-02 06:59:36 +00001952 // equally. We just shift until the value is zero.
Douglas Gregor663c0682011-09-14 15:54:46 +00001953 if (Radix == 2 || Radix == 8 || Radix == 16) {
Chris Lattner17f71652008-08-17 07:19:36 +00001954 // Just shift tmp right for each digit width until it becomes zero
1955 unsigned ShiftAmt = (Radix == 16 ? 4 : (Radix == 8 ? 3 : 1));
1956 unsigned MaskAmt = Radix - 1;
Eric Christopher820256b2009-08-21 04:06:45 +00001957
Chris Lattner17f71652008-08-17 07:19:36 +00001958 while (Tmp != 0) {
1959 unsigned Digit = unsigned(Tmp.getRawData()[0]) & MaskAmt;
1960 Str.push_back(Digits[Digit]);
Craig Topperfc947bc2017-04-18 17:14:21 +00001961 Tmp.lshrInPlace(ShiftAmt);
Chris Lattner17f71652008-08-17 07:19:36 +00001962 }
1963 } else {
Douglas Gregor663c0682011-09-14 15:54:46 +00001964 APInt divisor(Radix == 10? 4 : 8, Radix);
Chris Lattner17f71652008-08-17 07:19:36 +00001965 while (Tmp != 0) {
1966 APInt APdigit(1, 0);
1967 APInt tmp2(Tmp.getBitWidth(), 0);
Eric Christopher820256b2009-08-21 04:06:45 +00001968 divide(Tmp, Tmp.getNumWords(), divisor, divisor.getNumWords(), &tmp2,
Chris Lattner17f71652008-08-17 07:19:36 +00001969 &APdigit);
Chris Lattner77527f52009-01-21 18:09:24 +00001970 unsigned Digit = (unsigned)APdigit.getZExtValue();
Chris Lattner17f71652008-08-17 07:19:36 +00001971 assert(Digit < Radix && "divide failed");
1972 Str.push_back(Digits[Digit]);
1973 Tmp = tmp2;
1974 }
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001975 }
Eric Christopher820256b2009-08-21 04:06:45 +00001976
Chris Lattner17f71652008-08-17 07:19:36 +00001977 // Reverse the digits before returning.
1978 std::reverse(Str.begin()+StartDig, Str.end());
Reid Spencerfb77b2b2007-02-20 08:51:03 +00001979}
1980
Pawel Bylica6eeeac72015-04-06 13:31:39 +00001981/// Returns the APInt as a std::string. Note that this is an inefficient method.
1982/// It is better to pass in a SmallVector/SmallString to the methods above.
Chris Lattner17f71652008-08-17 07:19:36 +00001983std::string APInt::toString(unsigned Radix = 10, bool Signed = true) const {
1984 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00001985 toString(S, Radix, Signed, /* formatAsCLiteral = */false);
Daniel Dunbar8b0b1152009-08-19 20:07:03 +00001986 return S.str();
Reid Spencer1ba83352007-02-21 03:55:44 +00001987}
Chris Lattner6b695682007-08-16 15:56:55 +00001988
Matthias Braun8c209aa2017-01-28 02:02:38 +00001989#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Yaron Kereneb2a2542016-01-29 20:50:44 +00001990LLVM_DUMP_METHOD void APInt::dump() const {
Chris Lattner17f71652008-08-17 07:19:36 +00001991 SmallString<40> S, U;
1992 this->toStringUnsigned(U);
1993 this->toStringSigned(S);
David Greenef32fcb42010-01-05 01:28:52 +00001994 dbgs() << "APInt(" << BitWidth << "b, "
Davide Italiano5a473d22017-01-31 21:26:18 +00001995 << U << "u " << S << "s)\n";
Chris Lattner17f71652008-08-17 07:19:36 +00001996}
Matthias Braun8c209aa2017-01-28 02:02:38 +00001997#endif
Chris Lattner17f71652008-08-17 07:19:36 +00001998
Chris Lattner0c19df42008-08-23 22:23:09 +00001999void APInt::print(raw_ostream &OS, bool isSigned) const {
Chris Lattner17f71652008-08-17 07:19:36 +00002000 SmallString<40> S;
Ted Kremenekb05f02e2011-06-15 00:51:55 +00002001 this->toString(S, 10, isSigned, /* formatAsCLiteral = */false);
Yaron Keren92e1b622015-03-18 10:17:07 +00002002 OS << S;
Chris Lattner17f71652008-08-17 07:19:36 +00002003}
2004
Chris Lattner6b695682007-08-16 15:56:55 +00002005// This implements a variety of operations on a representation of
2006// arbitrary precision, two's-complement, bignum integer values.
2007
Chris Lattner96cffa62009-08-23 23:11:28 +00002008// Assumed by lowHalf, highHalf, partMSB and partLSB. A fairly safe
2009// and unrestricting assumption.
Craig Topper55229b72017-04-02 19:17:22 +00002010static_assert(APInt::APINT_BITS_PER_WORD % 2 == 0,
2011 "Part width must be divisible by 2!");
Chris Lattner6b695682007-08-16 15:56:55 +00002012
2013/* Some handy functions local to this file. */
Chris Lattner6b695682007-08-16 15:56:55 +00002014
Craig Topper76f42462017-03-28 05:32:53 +00002015/* Returns the integer part with the least significant BITS set.
2016 BITS cannot be zero. */
Craig Topper55229b72017-04-02 19:17:22 +00002017static inline APInt::WordType lowBitMask(unsigned bits) {
2018 assert(bits != 0 && bits <= APInt::APINT_BITS_PER_WORD);
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002019
Craig Topper55229b72017-04-02 19:17:22 +00002020 return ~(APInt::WordType) 0 >> (APInt::APINT_BITS_PER_WORD - bits);
Craig Topper76f42462017-03-28 05:32:53 +00002021}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002022
Craig Topper76f42462017-03-28 05:32:53 +00002023/* Returns the value of the lower half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002024static inline APInt::WordType lowHalf(APInt::WordType part) {
2025 return part & lowBitMask(APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002026}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002027
Craig Topper76f42462017-03-28 05:32:53 +00002028/* Returns the value of the upper half of PART. */
Craig Topper55229b72017-04-02 19:17:22 +00002029static inline APInt::WordType highHalf(APInt::WordType part) {
2030 return part >> (APInt::APINT_BITS_PER_WORD / 2);
Craig Topper76f42462017-03-28 05:32:53 +00002031}
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002032
Craig Topper76f42462017-03-28 05:32:53 +00002033/* Returns the bit number of the most significant set bit of a part.
2034 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002035static unsigned partMSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002036 return findLastSet(value, ZB_Max);
2037}
Chris Lattner6b695682007-08-16 15:56:55 +00002038
Craig Topper76f42462017-03-28 05:32:53 +00002039/* Returns the bit number of the least significant set bit of a
2040 part. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002041static unsigned partLSB(APInt::WordType value) {
Craig Topper76f42462017-03-28 05:32:53 +00002042 return findFirstSet(value, ZB_Max);
Alexander Kornienkof00654e2015-06-23 09:49:53 +00002043}
Chris Lattner6b695682007-08-16 15:56:55 +00002044
2045/* Sets the least significant part of a bignum to the input value, and
2046 zeroes out higher parts. */
Craig Topper55229b72017-04-02 19:17:22 +00002047void APInt::tcSet(WordType *dst, WordType part, unsigned parts) {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002048 assert(parts > 0);
Neil Boothb6182162007-10-08 13:47:12 +00002049
Chris Lattner6b695682007-08-16 15:56:55 +00002050 dst[0] = part;
Craig Topperb0038162017-03-28 05:32:52 +00002051 for (unsigned i = 1; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002052 dst[i] = 0;
2053}
2054
2055/* Assign one bignum to another. */
Craig Topper55229b72017-04-02 19:17:22 +00002056void APInt::tcAssign(WordType *dst, const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002057 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002058 dst[i] = src[i];
2059}
2060
2061/* Returns true if a bignum is zero, false otherwise. */
Craig Topper55229b72017-04-02 19:17:22 +00002062bool APInt::tcIsZero(const WordType *src, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002063 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002064 if (src[i])
2065 return false;
2066
2067 return true;
2068}
2069
2070/* Extract the given bit of a bignum; returns 0 or 1. */
Craig Topper55229b72017-04-02 19:17:22 +00002071int APInt::tcExtractBit(const WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002072 return (parts[whichWord(bit)] & maskBit(bit)) != 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002073}
2074
John McCalldcb9a7a2010-02-28 02:51:25 +00002075/* Set the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002076void APInt::tcSetBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002077 parts[whichWord(bit)] |= maskBit(bit);
Chris Lattner6b695682007-08-16 15:56:55 +00002078}
2079
John McCalldcb9a7a2010-02-28 02:51:25 +00002080/* Clears the given bit of a bignum. */
Craig Topper55229b72017-04-02 19:17:22 +00002081void APInt::tcClearBit(WordType *parts, unsigned bit) {
Craig Topper00b47ee2017-04-02 19:35:18 +00002082 parts[whichWord(bit)] &= ~maskBit(bit);
John McCalldcb9a7a2010-02-28 02:51:25 +00002083}
2084
Neil Boothc8b650a2007-10-06 00:43:45 +00002085/* Returns the bit number of the least significant set bit of a
2086 number. If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002087unsigned APInt::tcLSB(const WordType *parts, unsigned n) {
Craig Topperb0038162017-03-28 05:32:52 +00002088 for (unsigned i = 0; i < n; i++) {
2089 if (parts[i] != 0) {
2090 unsigned lsb = partLSB(parts[i]);
Chris Lattner6b695682007-08-16 15:56:55 +00002091
Craig Topper55229b72017-04-02 19:17:22 +00002092 return lsb + i * APINT_BITS_PER_WORD;
Craig Topperb0038162017-03-28 05:32:52 +00002093 }
Chris Lattner6b695682007-08-16 15:56:55 +00002094 }
2095
2096 return -1U;
2097}
2098
Neil Boothc8b650a2007-10-06 00:43:45 +00002099/* Returns the bit number of the most significant set bit of a number.
2100 If the input number has no bits set -1U is returned. */
Craig Topper55229b72017-04-02 19:17:22 +00002101unsigned APInt::tcMSB(const WordType *parts, unsigned n) {
Chris Lattner6b695682007-08-16 15:56:55 +00002102 do {
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002103 --n;
Chris Lattner6b695682007-08-16 15:56:55 +00002104
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002105 if (parts[n] != 0) {
Craig Topperb0038162017-03-28 05:32:52 +00002106 unsigned msb = partMSB(parts[n]);
Chris Lattner6b695682007-08-16 15:56:55 +00002107
Craig Topper55229b72017-04-02 19:17:22 +00002108 return msb + n * APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002109 }
Chris Lattner6b695682007-08-16 15:56:55 +00002110 } while (n);
2111
2112 return -1U;
2113}
2114
Neil Boothb6182162007-10-08 13:47:12 +00002115/* Copy the bit vector of width srcBITS from SRC, starting at bit
2116 srcLSB, to DST, of dstCOUNT parts, such that the bit srcLSB becomes
2117 the least significant bit of DST. All high bits above srcBITS in
2118 DST are zero-filled. */
2119void
Craig Topper55229b72017-04-02 19:17:22 +00002120APInt::tcExtract(WordType *dst, unsigned dstCount, const WordType *src,
Craig Topper6a8518082017-03-28 05:32:55 +00002121 unsigned srcBits, unsigned srcLSB) {
Craig Topper55229b72017-04-02 19:17:22 +00002122 unsigned dstParts = (srcBits + APINT_BITS_PER_WORD - 1) / APINT_BITS_PER_WORD;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002123 assert(dstParts <= dstCount);
Neil Boothb6182162007-10-08 13:47:12 +00002124
Craig Topper55229b72017-04-02 19:17:22 +00002125 unsigned firstSrcPart = srcLSB / APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002126 tcAssign (dst, src + firstSrcPart, dstParts);
2127
Craig Topper55229b72017-04-02 19:17:22 +00002128 unsigned shift = srcLSB % APINT_BITS_PER_WORD;
Neil Boothb6182162007-10-08 13:47:12 +00002129 tcShiftRight (dst, dstParts, shift);
2130
Craig Topper55229b72017-04-02 19:17:22 +00002131 /* We now have (dstParts * APINT_BITS_PER_WORD - shift) bits from SRC
Neil Boothb6182162007-10-08 13:47:12 +00002132 in DST. If this is less that srcBits, append the rest, else
2133 clear the high bits. */
Craig Topper55229b72017-04-02 19:17:22 +00002134 unsigned n = dstParts * APINT_BITS_PER_WORD - shift;
Neil Boothb6182162007-10-08 13:47:12 +00002135 if (n < srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002136 WordType mask = lowBitMask (srcBits - n);
Neil Boothb6182162007-10-08 13:47:12 +00002137 dst[dstParts - 1] |= ((src[firstSrcPart + dstParts] & mask)
Craig Topper55229b72017-04-02 19:17:22 +00002138 << n % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002139 } else if (n > srcBits) {
Craig Topper55229b72017-04-02 19:17:22 +00002140 if (srcBits % APINT_BITS_PER_WORD)
2141 dst[dstParts - 1] &= lowBitMask (srcBits % APINT_BITS_PER_WORD);
Neil Boothb6182162007-10-08 13:47:12 +00002142 }
2143
2144 /* Clear high parts. */
2145 while (dstParts < dstCount)
2146 dst[dstParts++] = 0;
2147}
2148
Chris Lattner6b695682007-08-16 15:56:55 +00002149/* DST += RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002150APInt::WordType APInt::tcAdd(WordType *dst, const WordType *rhs,
2151 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002152 assert(c <= 1);
2153
Craig Topperb0038162017-03-28 05:32:52 +00002154 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002155 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002156 if (c) {
2157 dst[i] += rhs[i] + 1;
2158 c = (dst[i] <= l);
2159 } else {
2160 dst[i] += rhs[i];
2161 c = (dst[i] < l);
2162 }
2163 }
2164
2165 return c;
2166}
2167
Craig Topper92fc4772017-04-13 04:36:06 +00002168/// This function adds a single "word" integer, src, to the multiple
2169/// "word" integer array, dst[]. dst[] is modified to reflect the addition and
2170/// 1 is returned if there is a carry out, otherwise 0 is returned.
2171/// @returns the carry of the addition.
2172APInt::WordType APInt::tcAddPart(WordType *dst, WordType src,
2173 unsigned parts) {
2174 for (unsigned i = 0; i < parts; ++i) {
2175 dst[i] += src;
2176 if (dst[i] >= src)
2177 return 0; // No need to carry so exit early.
2178 src = 1; // Carry one to next digit.
2179 }
2180
2181 return 1;
2182}
2183
Chris Lattner6b695682007-08-16 15:56:55 +00002184/* DST -= RHS + C where C is zero or one. Returns the carry flag. */
Craig Topper55229b72017-04-02 19:17:22 +00002185APInt::WordType APInt::tcSubtract(WordType *dst, const WordType *rhs,
2186 WordType c, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002187 assert(c <= 1);
2188
Craig Topperb0038162017-03-28 05:32:52 +00002189 for (unsigned i = 0; i < parts; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002190 WordType l = dst[i];
Chris Lattner6b695682007-08-16 15:56:55 +00002191 if (c) {
2192 dst[i] -= rhs[i] + 1;
2193 c = (dst[i] >= l);
2194 } else {
2195 dst[i] -= rhs[i];
2196 c = (dst[i] > l);
2197 }
2198 }
2199
2200 return c;
2201}
2202
Craig Topper92fc4772017-04-13 04:36:06 +00002203/// This function subtracts a single "word" (64-bit word), src, from
2204/// the multi-word integer array, dst[], propagating the borrowed 1 value until
2205/// no further borrowing is needed or it runs out of "words" in dst. The result
2206/// is 1 if "borrowing" exhausted the digits in dst, or 0 if dst was not
2207/// exhausted. In other words, if src > dst then this function returns 1,
2208/// otherwise 0.
2209/// @returns the borrow out of the subtraction
2210APInt::WordType APInt::tcSubtractPart(WordType *dst, WordType src,
2211 unsigned parts) {
2212 for (unsigned i = 0; i < parts; ++i) {
2213 WordType Dst = dst[i];
2214 dst[i] -= src;
2215 if (src <= Dst)
2216 return 0; // No need to borrow so exit early.
2217 src = 1; // We have to "borrow 1" from next "word"
2218 }
2219
2220 return 1;
2221}
2222
Chris Lattner6b695682007-08-16 15:56:55 +00002223/* Negate a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002224void APInt::tcNegate(WordType *dst, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002225 tcComplement(dst, parts);
2226 tcIncrement(dst, parts);
2227}
2228
Neil Boothc8b650a2007-10-06 00:43:45 +00002229/* DST += SRC * MULTIPLIER + CARRY if add is true
2230 DST = SRC * MULTIPLIER + CARRY if add is false
Chris Lattner6b695682007-08-16 15:56:55 +00002231
2232 Requires 0 <= DSTPARTS <= SRCPARTS + 1. If DST overlaps SRC
2233 they must start at the same point, i.e. DST == SRC.
2234
2235 If DSTPARTS == SRCPARTS + 1 no overflow occurs and zero is
2236 returned. Otherwise DST is filled with the least significant
2237 DSTPARTS parts of the result, and if all of the omitted higher
2238 parts were zero return zero, otherwise overflow occurred and
2239 return one. */
Craig Topper55229b72017-04-02 19:17:22 +00002240int APInt::tcMultiplyPart(WordType *dst, const WordType *src,
2241 WordType multiplier, WordType carry,
Craig Topper6a8518082017-03-28 05:32:55 +00002242 unsigned srcParts, unsigned dstParts,
2243 bool add) {
Chris Lattner6b695682007-08-16 15:56:55 +00002244 /* Otherwise our writes of DST kill our later reads of SRC. */
2245 assert(dst <= src || dst >= src + srcParts);
2246 assert(dstParts <= srcParts + 1);
2247
2248 /* N loops; minimum of dstParts and srcParts. */
Craig Topperb0038162017-03-28 05:32:52 +00002249 unsigned n = dstParts < srcParts ? dstParts: srcParts;
Chris Lattner6b695682007-08-16 15:56:55 +00002250
Craig Topperb0038162017-03-28 05:32:52 +00002251 unsigned i;
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002252 for (i = 0; i < n; i++) {
Craig Topper55229b72017-04-02 19:17:22 +00002253 WordType low, mid, high, srcPart;
Chris Lattner6b695682007-08-16 15:56:55 +00002254
2255 /* [ LOW, HIGH ] = MULTIPLIER * SRC[i] + DST[i] + CARRY.
2256
2257 This cannot overflow, because
2258
2259 (n - 1) * (n - 1) + 2 (n - 1) = (n - 1) * (n + 1)
2260
2261 which is less than n^2. */
2262
2263 srcPart = src[i];
2264
Craig Topper6a8518082017-03-28 05:32:55 +00002265 if (multiplier == 0 || srcPart == 0) {
Chris Lattner6b695682007-08-16 15:56:55 +00002266 low = carry;
2267 high = 0;
2268 } else {
2269 low = lowHalf(srcPart) * lowHalf(multiplier);
2270 high = highHalf(srcPart) * highHalf(multiplier);
2271
2272 mid = lowHalf(srcPart) * highHalf(multiplier);
2273 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002274 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002275 if (low + mid < low)
2276 high++;
2277 low += mid;
2278
2279 mid = highHalf(srcPart) * lowHalf(multiplier);
2280 high += highHalf(mid);
Craig Topper55229b72017-04-02 19:17:22 +00002281 mid <<= APINT_BITS_PER_WORD / 2;
Chris Lattner6b695682007-08-16 15:56:55 +00002282 if (low + mid < low)
2283 high++;
2284 low += mid;
2285
2286 /* Now add carry. */
2287 if (low + carry < low)
2288 high++;
2289 low += carry;
2290 }
2291
2292 if (add) {
2293 /* And now DST[i], and store the new low part there. */
2294 if (low + dst[i] < low)
2295 high++;
2296 dst[i] += low;
2297 } else
2298 dst[i] = low;
2299
2300 carry = high;
2301 }
2302
2303 if (i < dstParts) {
2304 /* Full multiplication, there is no overflow. */
2305 assert(i + 1 == dstParts);
2306 dst[i] = carry;
2307 return 0;
2308 } else {
2309 /* We overflowed if there is carry. */
2310 if (carry)
2311 return 1;
2312
2313 /* We would overflow if any significant unwritten parts would be
2314 non-zero. This is true if any remaining src parts are non-zero
2315 and the multiplier is non-zero. */
2316 if (multiplier)
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002317 for (; i < srcParts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002318 if (src[i])
2319 return 1;
2320
2321 /* We fitted in the narrow destination. */
2322 return 0;
2323 }
2324}
2325
2326/* DST = LHS * RHS, where DST has the same width as the operands and
2327 is filled with the least significant parts of the result. Returns
2328 one if overflow occurred, otherwise zero. DST must be disjoint
2329 from both operands. */
Craig Topper55229b72017-04-02 19:17:22 +00002330int APInt::tcMultiply(WordType *dst, const WordType *lhs,
2331 const WordType *rhs, unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002332 assert(dst != lhs && dst != rhs);
2333
Craig Topperb0038162017-03-28 05:32:52 +00002334 int overflow = 0;
Chris Lattner6b695682007-08-16 15:56:55 +00002335 tcSet(dst, 0, parts);
2336
Craig Topperb0038162017-03-28 05:32:52 +00002337 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002338 overflow |= tcMultiplyPart(&dst[i], lhs, rhs[i], 0, parts,
2339 parts - i, true);
2340
2341 return overflow;
2342}
2343
Neil Booth0ea72a92007-10-06 00:24:48 +00002344/* DST = LHS * RHS, where DST has width the sum of the widths of the
2345 operands. No overflow occurs. DST must be disjoint from both
2346 operands. Returns the number of parts required to hold the
2347 result. */
Craig Topper55229b72017-04-02 19:17:22 +00002348unsigned APInt::tcFullMultiply(WordType *dst, const WordType *lhs,
2349 const WordType *rhs, unsigned lhsParts,
Craig Topper6a8518082017-03-28 05:32:55 +00002350 unsigned rhsParts) {
Neil Booth0ea72a92007-10-06 00:24:48 +00002351 /* Put the narrower number on the LHS for less loops below. */
2352 if (lhsParts > rhsParts) {
2353 return tcFullMultiply (dst, rhs, lhs, rhsParts, lhsParts);
2354 } else {
Neil Booth0ea72a92007-10-06 00:24:48 +00002355 assert(dst != lhs && dst != rhs);
Chris Lattner6b695682007-08-16 15:56:55 +00002356
Neil Booth0ea72a92007-10-06 00:24:48 +00002357 tcSet(dst, 0, rhsParts);
Chris Lattner6b695682007-08-16 15:56:55 +00002358
Craig Topperb0038162017-03-28 05:32:52 +00002359 for (unsigned i = 0; i < lhsParts; i++)
2360 tcMultiplyPart(&dst[i], rhs, lhs[i], 0, rhsParts, rhsParts + 1, true);
Chris Lattner6b695682007-08-16 15:56:55 +00002361
Craig Topperb0038162017-03-28 05:32:52 +00002362 unsigned n = lhsParts + rhsParts;
Neil Booth0ea72a92007-10-06 00:24:48 +00002363
2364 return n - (dst[n - 1] == 0);
2365 }
Chris Lattner6b695682007-08-16 15:56:55 +00002366}
2367
2368/* If RHS is zero LHS and REMAINDER are left unchanged, return one.
2369 Otherwise set LHS to LHS / RHS with the fractional part discarded,
2370 set REMAINDER to the remainder, return zero. i.e.
2371
2372 OLD_LHS = RHS * LHS + REMAINDER
2373
2374 SCRATCH is a bignum of the same size as the operands and result for
2375 use by the routine; its contents need not be initialized and are
2376 destroyed. LHS, REMAINDER and SCRATCH must be distinct.
2377*/
Craig Topper55229b72017-04-02 19:17:22 +00002378int APInt::tcDivide(WordType *lhs, const WordType *rhs,
2379 WordType *remainder, WordType *srhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002380 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002381 assert(lhs != remainder && lhs != srhs && remainder != srhs);
2382
Craig Topperb0038162017-03-28 05:32:52 +00002383 unsigned shiftCount = tcMSB(rhs, parts) + 1;
Chris Lattnerfe02c1f2007-08-20 22:49:32 +00002384 if (shiftCount == 0)
Chris Lattner6b695682007-08-16 15:56:55 +00002385 return true;
2386
Craig Topper55229b72017-04-02 19:17:22 +00002387 shiftCount = parts * APINT_BITS_PER_WORD - shiftCount;
2388 unsigned n = shiftCount / APINT_BITS_PER_WORD;
2389 WordType mask = (WordType) 1 << (shiftCount % APINT_BITS_PER_WORD);
Chris Lattner6b695682007-08-16 15:56:55 +00002390
2391 tcAssign(srhs, rhs, parts);
2392 tcShiftLeft(srhs, parts, shiftCount);
2393 tcAssign(remainder, lhs, parts);
2394 tcSet(lhs, 0, parts);
2395
2396 /* Loop, subtracting SRHS if REMAINDER is greater and adding that to
2397 the total. */
Dan Gohmanb452d4e2010-03-24 19:38:02 +00002398 for (;;) {
Chris Lattner6b695682007-08-16 15:56:55 +00002399 int compare;
2400
2401 compare = tcCompare(remainder, srhs, parts);
2402 if (compare >= 0) {
2403 tcSubtract(remainder, srhs, 0, parts);
2404 lhs[n] |= mask;
2405 }
2406
2407 if (shiftCount == 0)
2408 break;
2409 shiftCount--;
2410 tcShiftRight(srhs, parts, 1);
Richard Trieu7a083812016-02-18 22:09:30 +00002411 if ((mask >>= 1) == 0) {
Craig Topper55229b72017-04-02 19:17:22 +00002412 mask = (WordType) 1 << (APINT_BITS_PER_WORD - 1);
Richard Trieu7a083812016-02-18 22:09:30 +00002413 n--;
2414 }
Chris Lattner6b695682007-08-16 15:56:55 +00002415 }
2416
2417 return false;
2418}
2419
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002420/// Shift a bignum left Cound bits in-place. Shifted in bits are zero. There are
2421/// no restrictions on Count.
2422void APInt::tcShiftLeft(WordType *Dst, unsigned Words, unsigned Count) {
2423 // Don't bother performing a no-op shift.
2424 if (!Count)
2425 return;
Chris Lattner6b695682007-08-16 15:56:55 +00002426
Craig Topperc6b05682017-04-24 17:00:22 +00002427 // WordShift is the inter-part shift; BitShift is the intra-part shift.
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002428 unsigned WordShift = std::min(Count / APINT_BITS_PER_WORD, Words);
2429 unsigned BitShift = Count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002430
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002431 // Fastpath for moving by whole words.
2432 if (BitShift == 0) {
2433 std::memmove(Dst + WordShift, Dst, (Words - WordShift) * APINT_WORD_SIZE);
2434 } else {
2435 while (Words-- > WordShift) {
2436 Dst[Words] = Dst[Words - WordShift] << BitShift;
2437 if (Words > WordShift)
2438 Dst[Words] |=
2439 Dst[Words - WordShift - 1] >> (APINT_BITS_PER_WORD - BitShift);
Neil Boothb6182162007-10-08 13:47:12 +00002440 }
Neil Boothb6182162007-10-08 13:47:12 +00002441 }
Craig Toppera8a4f0d2017-04-18 04:39:48 +00002442
2443 // Fill in the remainder with 0s.
2444 std::memset(Dst, 0, WordShift * APINT_WORD_SIZE);
Chris Lattner6b695682007-08-16 15:56:55 +00002445}
2446
Craig Topper9575d8f2017-04-17 21:43:43 +00002447/// Shift a bignum right Count bits in-place. Shifted in bits are zero. There
2448/// are no restrictions on Count.
2449void APInt::tcShiftRight(WordType *Dst, unsigned Words, unsigned Count) {
2450 // Don't bother performing a no-op shift.
2451 if (!Count)
2452 return;
Chris Lattner6b695682007-08-16 15:56:55 +00002453
Craig Topperc6b05682017-04-24 17:00:22 +00002454 // WordShift is the inter-part shift; BitShift is the intra-part shift.
Craig Topper9575d8f2017-04-17 21:43:43 +00002455 unsigned WordShift = std::min(Count / APINT_BITS_PER_WORD, Words);
2456 unsigned BitShift = Count % APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002457
Craig Topper9575d8f2017-04-17 21:43:43 +00002458 unsigned WordsToMove = Words - WordShift;
2459 // Fastpath for moving by whole words.
2460 if (BitShift == 0) {
2461 std::memmove(Dst, Dst + WordShift, WordsToMove * APINT_WORD_SIZE);
2462 } else {
2463 for (unsigned i = 0; i != WordsToMove; ++i) {
2464 Dst[i] = Dst[i + WordShift] >> BitShift;
2465 if (i + 1 != WordsToMove)
2466 Dst[i] |= Dst[i + WordShift + 1] << (APINT_BITS_PER_WORD - BitShift);
Neil Boothb6182162007-10-08 13:47:12 +00002467 }
Chris Lattner6b695682007-08-16 15:56:55 +00002468 }
Craig Topper9575d8f2017-04-17 21:43:43 +00002469
2470 // Fill in the remainder with 0s.
2471 std::memset(Dst + WordsToMove, 0, WordShift * APINT_WORD_SIZE);
Chris Lattner6b695682007-08-16 15:56:55 +00002472}
2473
2474/* Bitwise and of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002475void APInt::tcAnd(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/* Bitwise inclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002481void APInt::tcOr(WordType *dst, const WordType *rhs, 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] |= rhs[i];
2484}
2485
2486/* Bitwise exclusive or of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002487void APInt::tcXor(WordType *dst, const WordType *rhs, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002488 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002489 dst[i] ^= rhs[i];
2490}
2491
2492/* Complement a bignum in-place. */
Craig Topper55229b72017-04-02 19:17:22 +00002493void APInt::tcComplement(WordType *dst, unsigned parts) {
Craig Topperb0038162017-03-28 05:32:52 +00002494 for (unsigned i = 0; i < parts; i++)
Chris Lattner6b695682007-08-16 15:56:55 +00002495 dst[i] = ~dst[i];
2496}
2497
2498/* Comparison (unsigned) of two bignums. */
Craig Topper55229b72017-04-02 19:17:22 +00002499int APInt::tcCompare(const WordType *lhs, const WordType *rhs,
Craig Topper6a8518082017-03-28 05:32:55 +00002500 unsigned parts) {
Chris Lattner6b695682007-08-16 15:56:55 +00002501 while (parts) {
Craig Topper99cfe4f2017-04-01 21:50:06 +00002502 parts--;
Craig Topper1dc8fc82017-04-21 16:13:15 +00002503 if (lhs[parts] != rhs[parts])
2504 return (lhs[parts] > rhs[parts]) ? 1 : -1;
Craig Topper99cfe4f2017-04-01 21:50:06 +00002505 }
Chris Lattner6b695682007-08-16 15:56:55 +00002506
2507 return 0;
2508}
2509
Chris Lattner6b695682007-08-16 15:56:55 +00002510/* Set the least significant BITS bits of a bignum, clear the
2511 rest. */
Craig Topper55229b72017-04-02 19:17:22 +00002512void APInt::tcSetLeastSignificantBits(WordType *dst, unsigned parts,
Craig Topper6a8518082017-03-28 05:32:55 +00002513 unsigned bits) {
Craig Topperb0038162017-03-28 05:32:52 +00002514 unsigned i = 0;
Craig Topper55229b72017-04-02 19:17:22 +00002515 while (bits > APINT_BITS_PER_WORD) {
2516 dst[i++] = ~(WordType) 0;
2517 bits -= APINT_BITS_PER_WORD;
Chris Lattner6b695682007-08-16 15:56:55 +00002518 }
2519
2520 if (bits)
Craig Topper55229b72017-04-02 19:17:22 +00002521 dst[i++] = ~(WordType) 0 >> (APINT_BITS_PER_WORD - bits);
Chris Lattner6b695682007-08-16 15:56:55 +00002522
2523 while (i < parts)
2524 dst[i++] = 0;
2525}