1411840d9SDuncan P. N. Exon Smith //==- lib/Support/ScaledNumber.cpp - Support for scaled numbers -*- C++ -*-===//
2411840d9SDuncan P. N. Exon Smith //
3*2946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*2946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
5*2946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6411840d9SDuncan P. N. Exon Smith //
7411840d9SDuncan P. N. Exon Smith //===----------------------------------------------------------------------===//
8411840d9SDuncan P. N. Exon Smith //
9411840d9SDuncan P. N. Exon Smith // Implementation of some scaled number algorithms.
10411840d9SDuncan P. N. Exon Smith //
11411840d9SDuncan P. N. Exon Smith //===----------------------------------------------------------------------===//
12411840d9SDuncan P. N. Exon Smith
13411840d9SDuncan P. N. Exon Smith #include "llvm/Support/ScaledNumber.h"
1484553d8fSDuncan P. N. Exon Smith #include "llvm/ADT/APFloat.h"
1547b292d3SMehdi Amini #include "llvm/ADT/ArrayRef.h"
1684553d8fSDuncan P. N. Exon Smith #include "llvm/Support/Debug.h"
1716132e6fSBenjamin Kramer #include "llvm/Support/raw_ostream.h"
1884553d8fSDuncan P. N. Exon Smith
19411840d9SDuncan P. N. Exon Smith using namespace llvm;
20411840d9SDuncan P. N. Exon Smith using namespace llvm::ScaledNumbers;
21411840d9SDuncan P. N. Exon Smith
multiply64(uint64_t LHS,uint64_t RHS)22411840d9SDuncan P. N. Exon Smith std::pair<uint64_t, int16_t> ScaledNumbers::multiply64(uint64_t LHS,
23411840d9SDuncan P. N. Exon Smith uint64_t RHS) {
24411840d9SDuncan P. N. Exon Smith // Separate into two 32-bit digits (U.L).
25411840d9SDuncan P. N. Exon Smith auto getU = [](uint64_t N) { return N >> 32; };
26411840d9SDuncan P. N. Exon Smith auto getL = [](uint64_t N) { return N & UINT32_MAX; };
27411840d9SDuncan P. N. Exon Smith uint64_t UL = getU(LHS), LL = getL(LHS), UR = getU(RHS), LR = getL(RHS);
28411840d9SDuncan P. N. Exon Smith
29411840d9SDuncan P. N. Exon Smith // Compute cross products.
30411840d9SDuncan P. N. Exon Smith uint64_t P1 = UL * UR, P2 = UL * LR, P3 = LL * UR, P4 = LL * LR;
31411840d9SDuncan P. N. Exon Smith
32411840d9SDuncan P. N. Exon Smith // Sum into two 64-bit digits.
33411840d9SDuncan P. N. Exon Smith uint64_t Upper = P1, Lower = P4;
34411840d9SDuncan P. N. Exon Smith auto addWithCarry = [&](uint64_t N) {
35411840d9SDuncan P. N. Exon Smith uint64_t NewLower = Lower + (getL(N) << 32);
36411840d9SDuncan P. N. Exon Smith Upper += getU(N) + (NewLower < Lower);
37411840d9SDuncan P. N. Exon Smith Lower = NewLower;
38411840d9SDuncan P. N. Exon Smith };
39411840d9SDuncan P. N. Exon Smith addWithCarry(P2);
40411840d9SDuncan P. N. Exon Smith addWithCarry(P3);
41411840d9SDuncan P. N. Exon Smith
42411840d9SDuncan P. N. Exon Smith // Check whether the upper digit is empty.
43411840d9SDuncan P. N. Exon Smith if (!Upper)
44411840d9SDuncan P. N. Exon Smith return std::make_pair(Lower, 0);
45411840d9SDuncan P. N. Exon Smith
46411840d9SDuncan P. N. Exon Smith // Shift as little as possible to maximize precision.
47411840d9SDuncan P. N. Exon Smith unsigned LeadingZeros = countLeadingZeros(Upper);
48411840d9SDuncan P. N. Exon Smith int Shift = 64 - LeadingZeros;
49411840d9SDuncan P. N. Exon Smith if (LeadingZeros)
50411840d9SDuncan P. N. Exon Smith Upper = Upper << LeadingZeros | Lower >> Shift;
51411840d9SDuncan P. N. Exon Smith return getRounded(Upper, Shift,
52411840d9SDuncan P. N. Exon Smith Shift && (Lower & UINT64_C(1) << (Shift - 1)));
53411840d9SDuncan P. N. Exon Smith }
54411840d9SDuncan P. N. Exon Smith
getHalf(uint64_t N)55411840d9SDuncan P. N. Exon Smith static uint64_t getHalf(uint64_t N) { return (N >> 1) + (N & 1); }
56411840d9SDuncan P. N. Exon Smith
divide32(uint32_t Dividend,uint32_t Divisor)57411840d9SDuncan P. N. Exon Smith std::pair<uint32_t, int16_t> ScaledNumbers::divide32(uint32_t Dividend,
58411840d9SDuncan P. N. Exon Smith uint32_t Divisor) {
59411840d9SDuncan P. N. Exon Smith assert(Dividend && "expected non-zero dividend");
60411840d9SDuncan P. N. Exon Smith assert(Divisor && "expected non-zero divisor");
61411840d9SDuncan P. N. Exon Smith
62411840d9SDuncan P. N. Exon Smith // Use 64-bit math and canonicalize the dividend to gain precision.
63411840d9SDuncan P. N. Exon Smith uint64_t Dividend64 = Dividend;
64411840d9SDuncan P. N. Exon Smith int Shift = 0;
65411840d9SDuncan P. N. Exon Smith if (int Zeros = countLeadingZeros(Dividend64)) {
66411840d9SDuncan P. N. Exon Smith Shift -= Zeros;
67411840d9SDuncan P. N. Exon Smith Dividend64 <<= Zeros;
68411840d9SDuncan P. N. Exon Smith }
69411840d9SDuncan P. N. Exon Smith uint64_t Quotient = Dividend64 / Divisor;
70411840d9SDuncan P. N. Exon Smith uint64_t Remainder = Dividend64 % Divisor;
71411840d9SDuncan P. N. Exon Smith
72411840d9SDuncan P. N. Exon Smith // If Quotient needs to be shifted, leave the rounding to getAdjusted().
73411840d9SDuncan P. N. Exon Smith if (Quotient > UINT32_MAX)
74411840d9SDuncan P. N. Exon Smith return getAdjusted<uint32_t>(Quotient, Shift);
75411840d9SDuncan P. N. Exon Smith
76411840d9SDuncan P. N. Exon Smith // Round based on the value of the next bit.
77411840d9SDuncan P. N. Exon Smith return getRounded<uint32_t>(Quotient, Shift, Remainder >= getHalf(Divisor));
78411840d9SDuncan P. N. Exon Smith }
79411840d9SDuncan P. N. Exon Smith
divide64(uint64_t Dividend,uint64_t Divisor)80411840d9SDuncan P. N. Exon Smith std::pair<uint64_t, int16_t> ScaledNumbers::divide64(uint64_t Dividend,
81411840d9SDuncan P. N. Exon Smith uint64_t Divisor) {
82411840d9SDuncan P. N. Exon Smith assert(Dividend && "expected non-zero dividend");
83411840d9SDuncan P. N. Exon Smith assert(Divisor && "expected non-zero divisor");
84411840d9SDuncan P. N. Exon Smith
85411840d9SDuncan P. N. Exon Smith // Minimize size of divisor.
86411840d9SDuncan P. N. Exon Smith int Shift = 0;
87411840d9SDuncan P. N. Exon Smith if (int Zeros = countTrailingZeros(Divisor)) {
88411840d9SDuncan P. N. Exon Smith Shift -= Zeros;
89411840d9SDuncan P. N. Exon Smith Divisor >>= Zeros;
90411840d9SDuncan P. N. Exon Smith }
91411840d9SDuncan P. N. Exon Smith
92411840d9SDuncan P. N. Exon Smith // Check for powers of two.
93411840d9SDuncan P. N. Exon Smith if (Divisor == 1)
94411840d9SDuncan P. N. Exon Smith return std::make_pair(Dividend, Shift);
95411840d9SDuncan P. N. Exon Smith
96411840d9SDuncan P. N. Exon Smith // Maximize size of dividend.
97411840d9SDuncan P. N. Exon Smith if (int Zeros = countLeadingZeros(Dividend)) {
98411840d9SDuncan P. N. Exon Smith Shift -= Zeros;
99411840d9SDuncan P. N. Exon Smith Dividend <<= Zeros;
100411840d9SDuncan P. N. Exon Smith }
101411840d9SDuncan P. N. Exon Smith
102411840d9SDuncan P. N. Exon Smith // Start with the result of a divide.
103411840d9SDuncan P. N. Exon Smith uint64_t Quotient = Dividend / Divisor;
104411840d9SDuncan P. N. Exon Smith Dividend %= Divisor;
105411840d9SDuncan P. N. Exon Smith
106411840d9SDuncan P. N. Exon Smith // Continue building the quotient with long division.
107411840d9SDuncan P. N. Exon Smith while (!(Quotient >> 63) && Dividend) {
108411840d9SDuncan P. N. Exon Smith // Shift Dividend and check for overflow.
109411840d9SDuncan P. N. Exon Smith bool IsOverflow = Dividend >> 63;
110411840d9SDuncan P. N. Exon Smith Dividend <<= 1;
111411840d9SDuncan P. N. Exon Smith --Shift;
112411840d9SDuncan P. N. Exon Smith
113411840d9SDuncan P. N. Exon Smith // Get the next bit of Quotient.
114411840d9SDuncan P. N. Exon Smith Quotient <<= 1;
115411840d9SDuncan P. N. Exon Smith if (IsOverflow || Divisor <= Dividend) {
116411840d9SDuncan P. N. Exon Smith Quotient |= 1;
117411840d9SDuncan P. N. Exon Smith Dividend -= Divisor;
118411840d9SDuncan P. N. Exon Smith }
119411840d9SDuncan P. N. Exon Smith }
120411840d9SDuncan P. N. Exon Smith
121411840d9SDuncan P. N. Exon Smith return getRounded(Quotient, Shift, Dividend >= getHalf(Divisor));
122411840d9SDuncan P. N. Exon Smith }
1230067ff46SDuncan P. N. Exon Smith
compareImpl(uint64_t L,uint64_t R,int ScaleDiff)1240067ff46SDuncan P. N. Exon Smith int ScaledNumbers::compareImpl(uint64_t L, uint64_t R, int ScaleDiff) {
1250067ff46SDuncan P. N. Exon Smith assert(ScaleDiff >= 0 && "wrong argument order");
1260067ff46SDuncan P. N. Exon Smith assert(ScaleDiff < 64 && "numbers too far apart");
1270067ff46SDuncan P. N. Exon Smith
1280067ff46SDuncan P. N. Exon Smith uint64_t L_adjusted = L >> ScaleDiff;
1290067ff46SDuncan P. N. Exon Smith if (L_adjusted < R)
1300067ff46SDuncan P. N. Exon Smith return -1;
1310067ff46SDuncan P. N. Exon Smith if (L_adjusted > R)
1320067ff46SDuncan P. N. Exon Smith return 1;
1330067ff46SDuncan P. N. Exon Smith
1340067ff46SDuncan P. N. Exon Smith return L > L_adjusted << ScaleDiff ? 1 : 0;
1350067ff46SDuncan P. N. Exon Smith }
13684553d8fSDuncan P. N. Exon Smith
appendDigit(std::string & Str,unsigned D)13784553d8fSDuncan P. N. Exon Smith static void appendDigit(std::string &Str, unsigned D) {
13884553d8fSDuncan P. N. Exon Smith assert(D < 10);
13984553d8fSDuncan P. N. Exon Smith Str += '0' + D % 10;
14084553d8fSDuncan P. N. Exon Smith }
14184553d8fSDuncan P. N. Exon Smith
appendNumber(std::string & Str,uint64_t N)14284553d8fSDuncan P. N. Exon Smith static void appendNumber(std::string &Str, uint64_t N) {
14384553d8fSDuncan P. N. Exon Smith while (N) {
14484553d8fSDuncan P. N. Exon Smith appendDigit(Str, N % 10);
14584553d8fSDuncan P. N. Exon Smith N /= 10;
14684553d8fSDuncan P. N. Exon Smith }
14784553d8fSDuncan P. N. Exon Smith }
14884553d8fSDuncan P. N. Exon Smith
doesRoundUp(char Digit)14984553d8fSDuncan P. N. Exon Smith static bool doesRoundUp(char Digit) {
15084553d8fSDuncan P. N. Exon Smith switch (Digit) {
15184553d8fSDuncan P. N. Exon Smith case '5':
15284553d8fSDuncan P. N. Exon Smith case '6':
15384553d8fSDuncan P. N. Exon Smith case '7':
15484553d8fSDuncan P. N. Exon Smith case '8':
15584553d8fSDuncan P. N. Exon Smith case '9':
15684553d8fSDuncan P. N. Exon Smith return true;
15784553d8fSDuncan P. N. Exon Smith default:
15884553d8fSDuncan P. N. Exon Smith return false;
15984553d8fSDuncan P. N. Exon Smith }
16084553d8fSDuncan P. N. Exon Smith }
16184553d8fSDuncan P. N. Exon Smith
toStringAPFloat(uint64_t D,int E,unsigned Precision)16284553d8fSDuncan P. N. Exon Smith static std::string toStringAPFloat(uint64_t D, int E, unsigned Precision) {
16384553d8fSDuncan P. N. Exon Smith assert(E >= ScaledNumbers::MinScale);
16484553d8fSDuncan P. N. Exon Smith assert(E <= ScaledNumbers::MaxScale);
16584553d8fSDuncan P. N. Exon Smith
16684553d8fSDuncan P. N. Exon Smith // Find a new E, but don't let it increase past MaxScale.
16784553d8fSDuncan P. N. Exon Smith int LeadingZeros = ScaledNumberBase::countLeadingZeros64(D);
16884553d8fSDuncan P. N. Exon Smith int NewE = std::min(ScaledNumbers::MaxScale, E + 63 - LeadingZeros);
16984553d8fSDuncan P. N. Exon Smith int Shift = 63 - (NewE - E);
17084553d8fSDuncan P. N. Exon Smith assert(Shift <= LeadingZeros);
17184553d8fSDuncan P. N. Exon Smith assert(Shift == LeadingZeros || NewE == ScaledNumbers::MaxScale);
1725be22a12SMichael Ilseman assert(Shift >= 0 && Shift < 64 && "undefined behavior");
17384553d8fSDuncan P. N. Exon Smith D <<= Shift;
17484553d8fSDuncan P. N. Exon Smith E = NewE;
17584553d8fSDuncan P. N. Exon Smith
17684553d8fSDuncan P. N. Exon Smith // Check for a denormal.
17784553d8fSDuncan P. N. Exon Smith unsigned AdjustedE = E + 16383;
17884553d8fSDuncan P. N. Exon Smith if (!(D >> 63)) {
17984553d8fSDuncan P. N. Exon Smith assert(E == ScaledNumbers::MaxScale);
18084553d8fSDuncan P. N. Exon Smith AdjustedE = 0;
18184553d8fSDuncan P. N. Exon Smith }
18284553d8fSDuncan P. N. Exon Smith
18384553d8fSDuncan P. N. Exon Smith // Build the float and print it.
18484553d8fSDuncan P. N. Exon Smith uint64_t RawBits[2] = {D, AdjustedE};
18517c7f703SStephan Bergmann APFloat Float(APFloat::x87DoubleExtended(), APInt(80, RawBits));
18684553d8fSDuncan P. N. Exon Smith SmallVector<char, 24> Chars;
18784553d8fSDuncan P. N. Exon Smith Float.toString(Chars, Precision, 0);
18884553d8fSDuncan P. N. Exon Smith return std::string(Chars.begin(), Chars.end());
18984553d8fSDuncan P. N. Exon Smith }
19084553d8fSDuncan P. N. Exon Smith
stripTrailingZeros(const std::string & Float)19184553d8fSDuncan P. N. Exon Smith static std::string stripTrailingZeros(const std::string &Float) {
19284553d8fSDuncan P. N. Exon Smith size_t NonZero = Float.find_last_not_of('0');
19384553d8fSDuncan P. N. Exon Smith assert(NonZero != std::string::npos && "no . in floating point string");
19484553d8fSDuncan P. N. Exon Smith
19584553d8fSDuncan P. N. Exon Smith if (Float[NonZero] == '.')
19684553d8fSDuncan P. N. Exon Smith ++NonZero;
19784553d8fSDuncan P. N. Exon Smith
19884553d8fSDuncan P. N. Exon Smith return Float.substr(0, NonZero + 1);
19984553d8fSDuncan P. N. Exon Smith }
20084553d8fSDuncan P. N. Exon Smith
toString(uint64_t D,int16_t E,int Width,unsigned Precision)20184553d8fSDuncan P. N. Exon Smith std::string ScaledNumberBase::toString(uint64_t D, int16_t E, int Width,
20284553d8fSDuncan P. N. Exon Smith unsigned Precision) {
20384553d8fSDuncan P. N. Exon Smith if (!D)
20484553d8fSDuncan P. N. Exon Smith return "0.0";
20584553d8fSDuncan P. N. Exon Smith
20684553d8fSDuncan P. N. Exon Smith // Canonicalize exponent and digits.
20784553d8fSDuncan P. N. Exon Smith uint64_t Above0 = 0;
20884553d8fSDuncan P. N. Exon Smith uint64_t Below0 = 0;
20984553d8fSDuncan P. N. Exon Smith uint64_t Extra = 0;
21084553d8fSDuncan P. N. Exon Smith int ExtraShift = 0;
21184553d8fSDuncan P. N. Exon Smith if (E == 0) {
21284553d8fSDuncan P. N. Exon Smith Above0 = D;
21384553d8fSDuncan P. N. Exon Smith } else if (E > 0) {
21484553d8fSDuncan P. N. Exon Smith if (int Shift = std::min(int16_t(countLeadingZeros64(D)), E)) {
21584553d8fSDuncan P. N. Exon Smith D <<= Shift;
21684553d8fSDuncan P. N. Exon Smith E -= Shift;
21784553d8fSDuncan P. N. Exon Smith
21884553d8fSDuncan P. N. Exon Smith if (!E)
21984553d8fSDuncan P. N. Exon Smith Above0 = D;
22084553d8fSDuncan P. N. Exon Smith }
22184553d8fSDuncan P. N. Exon Smith } else if (E > -64) {
22284553d8fSDuncan P. N. Exon Smith Above0 = D >> -E;
22384553d8fSDuncan P. N. Exon Smith Below0 = D << (64 + E);
224314c643bSAlexey Samsonov } else if (E == -64) {
225314c643bSAlexey Samsonov // Special case: shift by 64 bits is undefined behavior.
226314c643bSAlexey Samsonov Below0 = D;
22784553d8fSDuncan P. N. Exon Smith } else if (E > -120) {
22884553d8fSDuncan P. N. Exon Smith Below0 = D >> (-E - 64);
22984553d8fSDuncan P. N. Exon Smith Extra = D << (128 + E);
23084553d8fSDuncan P. N. Exon Smith ExtraShift = -64 - E;
23184553d8fSDuncan P. N. Exon Smith }
23284553d8fSDuncan P. N. Exon Smith
23384553d8fSDuncan P. N. Exon Smith // Fall back on APFloat for very small and very large numbers.
23484553d8fSDuncan P. N. Exon Smith if (!Above0 && !Below0)
23584553d8fSDuncan P. N. Exon Smith return toStringAPFloat(D, E, Precision);
23684553d8fSDuncan P. N. Exon Smith
23784553d8fSDuncan P. N. Exon Smith // Append the digits before the decimal.
23884553d8fSDuncan P. N. Exon Smith std::string Str;
23984553d8fSDuncan P. N. Exon Smith size_t DigitsOut = 0;
24084553d8fSDuncan P. N. Exon Smith if (Above0) {
24184553d8fSDuncan P. N. Exon Smith appendNumber(Str, Above0);
24284553d8fSDuncan P. N. Exon Smith DigitsOut = Str.size();
24384553d8fSDuncan P. N. Exon Smith } else
24484553d8fSDuncan P. N. Exon Smith appendDigit(Str, 0);
24584553d8fSDuncan P. N. Exon Smith std::reverse(Str.begin(), Str.end());
24684553d8fSDuncan P. N. Exon Smith
24784553d8fSDuncan P. N. Exon Smith // Return early if there's nothing after the decimal.
24884553d8fSDuncan P. N. Exon Smith if (!Below0)
24984553d8fSDuncan P. N. Exon Smith return Str + ".0";
25084553d8fSDuncan P. N. Exon Smith
25184553d8fSDuncan P. N. Exon Smith // Append the decimal and beyond.
25284553d8fSDuncan P. N. Exon Smith Str += '.';
25384553d8fSDuncan P. N. Exon Smith uint64_t Error = UINT64_C(1) << (64 - Width);
25484553d8fSDuncan P. N. Exon Smith
25584553d8fSDuncan P. N. Exon Smith // We need to shift Below0 to the right to make space for calculating
25684553d8fSDuncan P. N. Exon Smith // digits. Save the precision we're losing in Extra.
25784553d8fSDuncan P. N. Exon Smith Extra = (Below0 & 0xf) << 56 | (Extra >> 8);
25884553d8fSDuncan P. N. Exon Smith Below0 >>= 4;
25984553d8fSDuncan P. N. Exon Smith size_t SinceDot = 0;
26084553d8fSDuncan P. N. Exon Smith size_t AfterDot = Str.size();
26184553d8fSDuncan P. N. Exon Smith do {
26284553d8fSDuncan P. N. Exon Smith if (ExtraShift) {
26384553d8fSDuncan P. N. Exon Smith --ExtraShift;
26484553d8fSDuncan P. N. Exon Smith Error *= 5;
26584553d8fSDuncan P. N. Exon Smith } else
26684553d8fSDuncan P. N. Exon Smith Error *= 10;
26784553d8fSDuncan P. N. Exon Smith
26884553d8fSDuncan P. N. Exon Smith Below0 *= 10;
26984553d8fSDuncan P. N. Exon Smith Extra *= 10;
27084553d8fSDuncan P. N. Exon Smith Below0 += (Extra >> 60);
27184553d8fSDuncan P. N. Exon Smith Extra = Extra & (UINT64_MAX >> 4);
27284553d8fSDuncan P. N. Exon Smith appendDigit(Str, Below0 >> 60);
27384553d8fSDuncan P. N. Exon Smith Below0 = Below0 & (UINT64_MAX >> 4);
27484553d8fSDuncan P. N. Exon Smith if (DigitsOut || Str.back() != '0')
27584553d8fSDuncan P. N. Exon Smith ++DigitsOut;
27684553d8fSDuncan P. N. Exon Smith ++SinceDot;
27784553d8fSDuncan P. N. Exon Smith } while (Error && (Below0 << 4 | Extra >> 60) >= Error / 2 &&
27884553d8fSDuncan P. N. Exon Smith (!Precision || DigitsOut <= Precision || SinceDot < 2));
27984553d8fSDuncan P. N. Exon Smith
28084553d8fSDuncan P. N. Exon Smith // Return early for maximum precision.
28184553d8fSDuncan P. N. Exon Smith if (!Precision || DigitsOut <= Precision)
28284553d8fSDuncan P. N. Exon Smith return stripTrailingZeros(Str);
28384553d8fSDuncan P. N. Exon Smith
28484553d8fSDuncan P. N. Exon Smith // Find where to truncate.
28584553d8fSDuncan P. N. Exon Smith size_t Truncate =
28684553d8fSDuncan P. N. Exon Smith std::max(Str.size() - (DigitsOut - Precision), AfterDot + 1);
28784553d8fSDuncan P. N. Exon Smith
28884553d8fSDuncan P. N. Exon Smith // Check if there's anything to truncate.
28984553d8fSDuncan P. N. Exon Smith if (Truncate >= Str.size())
29084553d8fSDuncan P. N. Exon Smith return stripTrailingZeros(Str);
29184553d8fSDuncan P. N. Exon Smith
29284553d8fSDuncan P. N. Exon Smith bool Carry = doesRoundUp(Str[Truncate]);
29384553d8fSDuncan P. N. Exon Smith if (!Carry)
29484553d8fSDuncan P. N. Exon Smith return stripTrailingZeros(Str.substr(0, Truncate));
29584553d8fSDuncan P. N. Exon Smith
29684553d8fSDuncan P. N. Exon Smith // Round with the first truncated digit.
29784553d8fSDuncan P. N. Exon Smith for (std::string::reverse_iterator I(Str.begin() + Truncate), E = Str.rend();
29884553d8fSDuncan P. N. Exon Smith I != E; ++I) {
29984553d8fSDuncan P. N. Exon Smith if (*I == '.')
30084553d8fSDuncan P. N. Exon Smith continue;
30184553d8fSDuncan P. N. Exon Smith if (*I == '9') {
30284553d8fSDuncan P. N. Exon Smith *I = '0';
30384553d8fSDuncan P. N. Exon Smith continue;
30484553d8fSDuncan P. N. Exon Smith }
30584553d8fSDuncan P. N. Exon Smith
30684553d8fSDuncan P. N. Exon Smith ++*I;
30784553d8fSDuncan P. N. Exon Smith Carry = false;
30884553d8fSDuncan P. N. Exon Smith break;
30984553d8fSDuncan P. N. Exon Smith }
31084553d8fSDuncan P. N. Exon Smith
31184553d8fSDuncan P. N. Exon Smith // Add "1" in front if we still need to carry.
31284553d8fSDuncan P. N. Exon Smith return stripTrailingZeros(std::string(Carry, '1') + Str.substr(0, Truncate));
31384553d8fSDuncan P. N. Exon Smith }
31484553d8fSDuncan P. N. Exon Smith
print(raw_ostream & OS,uint64_t D,int16_t E,int Width,unsigned Precision)31584553d8fSDuncan P. N. Exon Smith raw_ostream &ScaledNumberBase::print(raw_ostream &OS, uint64_t D, int16_t E,
31684553d8fSDuncan P. N. Exon Smith int Width, unsigned Precision) {
31784553d8fSDuncan P. N. Exon Smith return OS << toString(D, E, Width, Precision);
31884553d8fSDuncan P. N. Exon Smith }
31984553d8fSDuncan P. N. Exon Smith
dump(uint64_t D,int16_t E,int Width)32084553d8fSDuncan P. N. Exon Smith void ScaledNumberBase::dump(uint64_t D, int16_t E, int Width) {
32184553d8fSDuncan P. N. Exon Smith print(dbgs(), D, E, Width, 0) << "[" << Width << ":" << D << "*2^" << E
32284553d8fSDuncan P. N. Exon Smith << "]";
32384553d8fSDuncan P. N. Exon Smith }
324