1*0b57cec5SDimitry Andric //==- lib/Support/ScaledNumber.cpp - Support for scaled numbers -*- C++ -*-===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric // Implementation of some scaled number algorithms.
10*0b57cec5SDimitry Andric //
11*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
12*0b57cec5SDimitry Andric
13*0b57cec5SDimitry Andric #include "llvm/Support/ScaledNumber.h"
14*0b57cec5SDimitry Andric #include "llvm/ADT/APFloat.h"
15*0b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
16*0b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
17*0b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
18*0b57cec5SDimitry Andric
19*0b57cec5SDimitry Andric using namespace llvm;
20*0b57cec5SDimitry Andric using namespace llvm::ScaledNumbers;
21*0b57cec5SDimitry Andric
multiply64(uint64_t LHS,uint64_t RHS)22*0b57cec5SDimitry Andric std::pair<uint64_t, int16_t> ScaledNumbers::multiply64(uint64_t LHS,
23*0b57cec5SDimitry Andric uint64_t RHS) {
24*0b57cec5SDimitry Andric // Separate into two 32-bit digits (U.L).
25*0b57cec5SDimitry Andric auto getU = [](uint64_t N) { return N >> 32; };
26*0b57cec5SDimitry Andric auto getL = [](uint64_t N) { return N & UINT32_MAX; };
27*0b57cec5SDimitry Andric uint64_t UL = getU(LHS), LL = getL(LHS), UR = getU(RHS), LR = getL(RHS);
28*0b57cec5SDimitry Andric
29*0b57cec5SDimitry Andric // Compute cross products.
30*0b57cec5SDimitry Andric uint64_t P1 = UL * UR, P2 = UL * LR, P3 = LL * UR, P4 = LL * LR;
31*0b57cec5SDimitry Andric
32*0b57cec5SDimitry Andric // Sum into two 64-bit digits.
33*0b57cec5SDimitry Andric uint64_t Upper = P1, Lower = P4;
34*0b57cec5SDimitry Andric auto addWithCarry = [&](uint64_t N) {
35*0b57cec5SDimitry Andric uint64_t NewLower = Lower + (getL(N) << 32);
36*0b57cec5SDimitry Andric Upper += getU(N) + (NewLower < Lower);
37*0b57cec5SDimitry Andric Lower = NewLower;
38*0b57cec5SDimitry Andric };
39*0b57cec5SDimitry Andric addWithCarry(P2);
40*0b57cec5SDimitry Andric addWithCarry(P3);
41*0b57cec5SDimitry Andric
42*0b57cec5SDimitry Andric // Check whether the upper digit is empty.
43*0b57cec5SDimitry Andric if (!Upper)
44*0b57cec5SDimitry Andric return std::make_pair(Lower, 0);
45*0b57cec5SDimitry Andric
46*0b57cec5SDimitry Andric // Shift as little as possible to maximize precision.
47*0b57cec5SDimitry Andric unsigned LeadingZeros = countLeadingZeros(Upper);
48*0b57cec5SDimitry Andric int Shift = 64 - LeadingZeros;
49*0b57cec5SDimitry Andric if (LeadingZeros)
50*0b57cec5SDimitry Andric Upper = Upper << LeadingZeros | Lower >> Shift;
51*0b57cec5SDimitry Andric return getRounded(Upper, Shift,
52*0b57cec5SDimitry Andric Shift && (Lower & UINT64_C(1) << (Shift - 1)));
53*0b57cec5SDimitry Andric }
54*0b57cec5SDimitry Andric
getHalf(uint64_t N)55*0b57cec5SDimitry Andric static uint64_t getHalf(uint64_t N) { return (N >> 1) + (N & 1); }
56*0b57cec5SDimitry Andric
divide32(uint32_t Dividend,uint32_t Divisor)57*0b57cec5SDimitry Andric std::pair<uint32_t, int16_t> ScaledNumbers::divide32(uint32_t Dividend,
58*0b57cec5SDimitry Andric uint32_t Divisor) {
59*0b57cec5SDimitry Andric assert(Dividend && "expected non-zero dividend");
60*0b57cec5SDimitry Andric assert(Divisor && "expected non-zero divisor");
61*0b57cec5SDimitry Andric
62*0b57cec5SDimitry Andric // Use 64-bit math and canonicalize the dividend to gain precision.
63*0b57cec5SDimitry Andric uint64_t Dividend64 = Dividend;
64*0b57cec5SDimitry Andric int Shift = 0;
65*0b57cec5SDimitry Andric if (int Zeros = countLeadingZeros(Dividend64)) {
66*0b57cec5SDimitry Andric Shift -= Zeros;
67*0b57cec5SDimitry Andric Dividend64 <<= Zeros;
68*0b57cec5SDimitry Andric }
69*0b57cec5SDimitry Andric uint64_t Quotient = Dividend64 / Divisor;
70*0b57cec5SDimitry Andric uint64_t Remainder = Dividend64 % Divisor;
71*0b57cec5SDimitry Andric
72*0b57cec5SDimitry Andric // If Quotient needs to be shifted, leave the rounding to getAdjusted().
73*0b57cec5SDimitry Andric if (Quotient > UINT32_MAX)
74*0b57cec5SDimitry Andric return getAdjusted<uint32_t>(Quotient, Shift);
75*0b57cec5SDimitry Andric
76*0b57cec5SDimitry Andric // Round based on the value of the next bit.
77*0b57cec5SDimitry Andric return getRounded<uint32_t>(Quotient, Shift, Remainder >= getHalf(Divisor));
78*0b57cec5SDimitry Andric }
79*0b57cec5SDimitry Andric
divide64(uint64_t Dividend,uint64_t Divisor)80*0b57cec5SDimitry Andric std::pair<uint64_t, int16_t> ScaledNumbers::divide64(uint64_t Dividend,
81*0b57cec5SDimitry Andric uint64_t Divisor) {
82*0b57cec5SDimitry Andric assert(Dividend && "expected non-zero dividend");
83*0b57cec5SDimitry Andric assert(Divisor && "expected non-zero divisor");
84*0b57cec5SDimitry Andric
85*0b57cec5SDimitry Andric // Minimize size of divisor.
86*0b57cec5SDimitry Andric int Shift = 0;
87*0b57cec5SDimitry Andric if (int Zeros = countTrailingZeros(Divisor)) {
88*0b57cec5SDimitry Andric Shift -= Zeros;
89*0b57cec5SDimitry Andric Divisor >>= Zeros;
90*0b57cec5SDimitry Andric }
91*0b57cec5SDimitry Andric
92*0b57cec5SDimitry Andric // Check for powers of two.
93*0b57cec5SDimitry Andric if (Divisor == 1)
94*0b57cec5SDimitry Andric return std::make_pair(Dividend, Shift);
95*0b57cec5SDimitry Andric
96*0b57cec5SDimitry Andric // Maximize size of dividend.
97*0b57cec5SDimitry Andric if (int Zeros = countLeadingZeros(Dividend)) {
98*0b57cec5SDimitry Andric Shift -= Zeros;
99*0b57cec5SDimitry Andric Dividend <<= Zeros;
100*0b57cec5SDimitry Andric }
101*0b57cec5SDimitry Andric
102*0b57cec5SDimitry Andric // Start with the result of a divide.
103*0b57cec5SDimitry Andric uint64_t Quotient = Dividend / Divisor;
104*0b57cec5SDimitry Andric Dividend %= Divisor;
105*0b57cec5SDimitry Andric
106*0b57cec5SDimitry Andric // Continue building the quotient with long division.
107*0b57cec5SDimitry Andric while (!(Quotient >> 63) && Dividend) {
108*0b57cec5SDimitry Andric // Shift Dividend and check for overflow.
109*0b57cec5SDimitry Andric bool IsOverflow = Dividend >> 63;
110*0b57cec5SDimitry Andric Dividend <<= 1;
111*0b57cec5SDimitry Andric --Shift;
112*0b57cec5SDimitry Andric
113*0b57cec5SDimitry Andric // Get the next bit of Quotient.
114*0b57cec5SDimitry Andric Quotient <<= 1;
115*0b57cec5SDimitry Andric if (IsOverflow || Divisor <= Dividend) {
116*0b57cec5SDimitry Andric Quotient |= 1;
117*0b57cec5SDimitry Andric Dividend -= Divisor;
118*0b57cec5SDimitry Andric }
119*0b57cec5SDimitry Andric }
120*0b57cec5SDimitry Andric
121*0b57cec5SDimitry Andric return getRounded(Quotient, Shift, Dividend >= getHalf(Divisor));
122*0b57cec5SDimitry Andric }
123*0b57cec5SDimitry Andric
compareImpl(uint64_t L,uint64_t R,int ScaleDiff)124*0b57cec5SDimitry Andric int ScaledNumbers::compareImpl(uint64_t L, uint64_t R, int ScaleDiff) {
125*0b57cec5SDimitry Andric assert(ScaleDiff >= 0 && "wrong argument order");
126*0b57cec5SDimitry Andric assert(ScaleDiff < 64 && "numbers too far apart");
127*0b57cec5SDimitry Andric
128*0b57cec5SDimitry Andric uint64_t L_adjusted = L >> ScaleDiff;
129*0b57cec5SDimitry Andric if (L_adjusted < R)
130*0b57cec5SDimitry Andric return -1;
131*0b57cec5SDimitry Andric if (L_adjusted > R)
132*0b57cec5SDimitry Andric return 1;
133*0b57cec5SDimitry Andric
134*0b57cec5SDimitry Andric return L > L_adjusted << ScaleDiff ? 1 : 0;
135*0b57cec5SDimitry Andric }
136*0b57cec5SDimitry Andric
appendDigit(std::string & Str,unsigned D)137*0b57cec5SDimitry Andric static void appendDigit(std::string &Str, unsigned D) {
138*0b57cec5SDimitry Andric assert(D < 10);
139*0b57cec5SDimitry Andric Str += '0' + D % 10;
140*0b57cec5SDimitry Andric }
141*0b57cec5SDimitry Andric
appendNumber(std::string & Str,uint64_t N)142*0b57cec5SDimitry Andric static void appendNumber(std::string &Str, uint64_t N) {
143*0b57cec5SDimitry Andric while (N) {
144*0b57cec5SDimitry Andric appendDigit(Str, N % 10);
145*0b57cec5SDimitry Andric N /= 10;
146*0b57cec5SDimitry Andric }
147*0b57cec5SDimitry Andric }
148*0b57cec5SDimitry Andric
doesRoundUp(char Digit)149*0b57cec5SDimitry Andric static bool doesRoundUp(char Digit) {
150*0b57cec5SDimitry Andric switch (Digit) {
151*0b57cec5SDimitry Andric case '5':
152*0b57cec5SDimitry Andric case '6':
153*0b57cec5SDimitry Andric case '7':
154*0b57cec5SDimitry Andric case '8':
155*0b57cec5SDimitry Andric case '9':
156*0b57cec5SDimitry Andric return true;
157*0b57cec5SDimitry Andric default:
158*0b57cec5SDimitry Andric return false;
159*0b57cec5SDimitry Andric }
160*0b57cec5SDimitry Andric }
161*0b57cec5SDimitry Andric
toStringAPFloat(uint64_t D,int E,unsigned Precision)162*0b57cec5SDimitry Andric static std::string toStringAPFloat(uint64_t D, int E, unsigned Precision) {
163*0b57cec5SDimitry Andric assert(E >= ScaledNumbers::MinScale);
164*0b57cec5SDimitry Andric assert(E <= ScaledNumbers::MaxScale);
165*0b57cec5SDimitry Andric
166*0b57cec5SDimitry Andric // Find a new E, but don't let it increase past MaxScale.
167*0b57cec5SDimitry Andric int LeadingZeros = ScaledNumberBase::countLeadingZeros64(D);
168*0b57cec5SDimitry Andric int NewE = std::min(ScaledNumbers::MaxScale, E + 63 - LeadingZeros);
169*0b57cec5SDimitry Andric int Shift = 63 - (NewE - E);
170*0b57cec5SDimitry Andric assert(Shift <= LeadingZeros);
171*0b57cec5SDimitry Andric assert(Shift == LeadingZeros || NewE == ScaledNumbers::MaxScale);
172*0b57cec5SDimitry Andric assert(Shift >= 0 && Shift < 64 && "undefined behavior");
173*0b57cec5SDimitry Andric D <<= Shift;
174*0b57cec5SDimitry Andric E = NewE;
175*0b57cec5SDimitry Andric
176*0b57cec5SDimitry Andric // Check for a denormal.
177*0b57cec5SDimitry Andric unsigned AdjustedE = E + 16383;
178*0b57cec5SDimitry Andric if (!(D >> 63)) {
179*0b57cec5SDimitry Andric assert(E == ScaledNumbers::MaxScale);
180*0b57cec5SDimitry Andric AdjustedE = 0;
181*0b57cec5SDimitry Andric }
182*0b57cec5SDimitry Andric
183*0b57cec5SDimitry Andric // Build the float and print it.
184*0b57cec5SDimitry Andric uint64_t RawBits[2] = {D, AdjustedE};
185*0b57cec5SDimitry Andric APFloat Float(APFloat::x87DoubleExtended(), APInt(80, RawBits));
186*0b57cec5SDimitry Andric SmallVector<char, 24> Chars;
187*0b57cec5SDimitry Andric Float.toString(Chars, Precision, 0);
188*0b57cec5SDimitry Andric return std::string(Chars.begin(), Chars.end());
189*0b57cec5SDimitry Andric }
190*0b57cec5SDimitry Andric
stripTrailingZeros(const std::string & Float)191*0b57cec5SDimitry Andric static std::string stripTrailingZeros(const std::string &Float) {
192*0b57cec5SDimitry Andric size_t NonZero = Float.find_last_not_of('0');
193*0b57cec5SDimitry Andric assert(NonZero != std::string::npos && "no . in floating point string");
194*0b57cec5SDimitry Andric
195*0b57cec5SDimitry Andric if (Float[NonZero] == '.')
196*0b57cec5SDimitry Andric ++NonZero;
197*0b57cec5SDimitry Andric
198*0b57cec5SDimitry Andric return Float.substr(0, NonZero + 1);
199*0b57cec5SDimitry Andric }
200*0b57cec5SDimitry Andric
toString(uint64_t D,int16_t E,int Width,unsigned Precision)201*0b57cec5SDimitry Andric std::string ScaledNumberBase::toString(uint64_t D, int16_t E, int Width,
202*0b57cec5SDimitry Andric unsigned Precision) {
203*0b57cec5SDimitry Andric if (!D)
204*0b57cec5SDimitry Andric return "0.0";
205*0b57cec5SDimitry Andric
206*0b57cec5SDimitry Andric // Canonicalize exponent and digits.
207*0b57cec5SDimitry Andric uint64_t Above0 = 0;
208*0b57cec5SDimitry Andric uint64_t Below0 = 0;
209*0b57cec5SDimitry Andric uint64_t Extra = 0;
210*0b57cec5SDimitry Andric int ExtraShift = 0;
211*0b57cec5SDimitry Andric if (E == 0) {
212*0b57cec5SDimitry Andric Above0 = D;
213*0b57cec5SDimitry Andric } else if (E > 0) {
214*0b57cec5SDimitry Andric if (int Shift = std::min(int16_t(countLeadingZeros64(D)), E)) {
215*0b57cec5SDimitry Andric D <<= Shift;
216*0b57cec5SDimitry Andric E -= Shift;
217*0b57cec5SDimitry Andric
218*0b57cec5SDimitry Andric if (!E)
219*0b57cec5SDimitry Andric Above0 = D;
220*0b57cec5SDimitry Andric }
221*0b57cec5SDimitry Andric } else if (E > -64) {
222*0b57cec5SDimitry Andric Above0 = D >> -E;
223*0b57cec5SDimitry Andric Below0 = D << (64 + E);
224*0b57cec5SDimitry Andric } else if (E == -64) {
225*0b57cec5SDimitry Andric // Special case: shift by 64 bits is undefined behavior.
226*0b57cec5SDimitry Andric Below0 = D;
227*0b57cec5SDimitry Andric } else if (E > -120) {
228*0b57cec5SDimitry Andric Below0 = D >> (-E - 64);
229*0b57cec5SDimitry Andric Extra = D << (128 + E);
230*0b57cec5SDimitry Andric ExtraShift = -64 - E;
231*0b57cec5SDimitry Andric }
232*0b57cec5SDimitry Andric
233*0b57cec5SDimitry Andric // Fall back on APFloat for very small and very large numbers.
234*0b57cec5SDimitry Andric if (!Above0 && !Below0)
235*0b57cec5SDimitry Andric return toStringAPFloat(D, E, Precision);
236*0b57cec5SDimitry Andric
237*0b57cec5SDimitry Andric // Append the digits before the decimal.
238*0b57cec5SDimitry Andric std::string Str;
239*0b57cec5SDimitry Andric size_t DigitsOut = 0;
240*0b57cec5SDimitry Andric if (Above0) {
241*0b57cec5SDimitry Andric appendNumber(Str, Above0);
242*0b57cec5SDimitry Andric DigitsOut = Str.size();
243*0b57cec5SDimitry Andric } else
244*0b57cec5SDimitry Andric appendDigit(Str, 0);
245*0b57cec5SDimitry Andric std::reverse(Str.begin(), Str.end());
246*0b57cec5SDimitry Andric
247*0b57cec5SDimitry Andric // Return early if there's nothing after the decimal.
248*0b57cec5SDimitry Andric if (!Below0)
249*0b57cec5SDimitry Andric return Str + ".0";
250*0b57cec5SDimitry Andric
251*0b57cec5SDimitry Andric // Append the decimal and beyond.
252*0b57cec5SDimitry Andric Str += '.';
253*0b57cec5SDimitry Andric uint64_t Error = UINT64_C(1) << (64 - Width);
254*0b57cec5SDimitry Andric
255*0b57cec5SDimitry Andric // We need to shift Below0 to the right to make space for calculating
256*0b57cec5SDimitry Andric // digits. Save the precision we're losing in Extra.
257*0b57cec5SDimitry Andric Extra = (Below0 & 0xf) << 56 | (Extra >> 8);
258*0b57cec5SDimitry Andric Below0 >>= 4;
259*0b57cec5SDimitry Andric size_t SinceDot = 0;
260*0b57cec5SDimitry Andric size_t AfterDot = Str.size();
261*0b57cec5SDimitry Andric do {
262*0b57cec5SDimitry Andric if (ExtraShift) {
263*0b57cec5SDimitry Andric --ExtraShift;
264*0b57cec5SDimitry Andric Error *= 5;
265*0b57cec5SDimitry Andric } else
266*0b57cec5SDimitry Andric Error *= 10;
267*0b57cec5SDimitry Andric
268*0b57cec5SDimitry Andric Below0 *= 10;
269*0b57cec5SDimitry Andric Extra *= 10;
270*0b57cec5SDimitry Andric Below0 += (Extra >> 60);
271*0b57cec5SDimitry Andric Extra = Extra & (UINT64_MAX >> 4);
272*0b57cec5SDimitry Andric appendDigit(Str, Below0 >> 60);
273*0b57cec5SDimitry Andric Below0 = Below0 & (UINT64_MAX >> 4);
274*0b57cec5SDimitry Andric if (DigitsOut || Str.back() != '0')
275*0b57cec5SDimitry Andric ++DigitsOut;
276*0b57cec5SDimitry Andric ++SinceDot;
277*0b57cec5SDimitry Andric } while (Error && (Below0 << 4 | Extra >> 60) >= Error / 2 &&
278*0b57cec5SDimitry Andric (!Precision || DigitsOut <= Precision || SinceDot < 2));
279*0b57cec5SDimitry Andric
280*0b57cec5SDimitry Andric // Return early for maximum precision.
281*0b57cec5SDimitry Andric if (!Precision || DigitsOut <= Precision)
282*0b57cec5SDimitry Andric return stripTrailingZeros(Str);
283*0b57cec5SDimitry Andric
284*0b57cec5SDimitry Andric // Find where to truncate.
285*0b57cec5SDimitry Andric size_t Truncate =
286*0b57cec5SDimitry Andric std::max(Str.size() - (DigitsOut - Precision), AfterDot + 1);
287*0b57cec5SDimitry Andric
288*0b57cec5SDimitry Andric // Check if there's anything to truncate.
289*0b57cec5SDimitry Andric if (Truncate >= Str.size())
290*0b57cec5SDimitry Andric return stripTrailingZeros(Str);
291*0b57cec5SDimitry Andric
292*0b57cec5SDimitry Andric bool Carry = doesRoundUp(Str[Truncate]);
293*0b57cec5SDimitry Andric if (!Carry)
294*0b57cec5SDimitry Andric return stripTrailingZeros(Str.substr(0, Truncate));
295*0b57cec5SDimitry Andric
296*0b57cec5SDimitry Andric // Round with the first truncated digit.
297*0b57cec5SDimitry Andric for (std::string::reverse_iterator I(Str.begin() + Truncate), E = Str.rend();
298*0b57cec5SDimitry Andric I != E; ++I) {
299*0b57cec5SDimitry Andric if (*I == '.')
300*0b57cec5SDimitry Andric continue;
301*0b57cec5SDimitry Andric if (*I == '9') {
302*0b57cec5SDimitry Andric *I = '0';
303*0b57cec5SDimitry Andric continue;
304*0b57cec5SDimitry Andric }
305*0b57cec5SDimitry Andric
306*0b57cec5SDimitry Andric ++*I;
307*0b57cec5SDimitry Andric Carry = false;
308*0b57cec5SDimitry Andric break;
309*0b57cec5SDimitry Andric }
310*0b57cec5SDimitry Andric
311*0b57cec5SDimitry Andric // Add "1" in front if we still need to carry.
312*0b57cec5SDimitry Andric return stripTrailingZeros(std::string(Carry, '1') + Str.substr(0, Truncate));
313*0b57cec5SDimitry Andric }
314*0b57cec5SDimitry Andric
print(raw_ostream & OS,uint64_t D,int16_t E,int Width,unsigned Precision)315*0b57cec5SDimitry Andric raw_ostream &ScaledNumberBase::print(raw_ostream &OS, uint64_t D, int16_t E,
316*0b57cec5SDimitry Andric int Width, unsigned Precision) {
317*0b57cec5SDimitry Andric return OS << toString(D, E, Width, Precision);
318*0b57cec5SDimitry Andric }
319*0b57cec5SDimitry Andric
dump(uint64_t D,int16_t E,int Width)320*0b57cec5SDimitry Andric void ScaledNumberBase::dump(uint64_t D, int16_t E, int Width) {
321*0b57cec5SDimitry Andric print(dbgs(), D, E, Width, 0) << "[" << Width << ":" << D << "*2^" << E
322*0b57cec5SDimitry Andric << "]";
323*0b57cec5SDimitry Andric }
324