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