1*0b57cec5SDimitry Andric //===- NativeFormatting.cpp - Low level formatting helpers -------*- 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 #include "llvm/Support/NativeFormatting.h"
10*0b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
11*0b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h"
12*0b57cec5SDimitry Andric #include "llvm/ADT/StringExtras.h"
13*0b57cec5SDimitry Andric #include "llvm/Support/Format.h"
14fe6060f1SDimitry Andric #include "llvm/Support/MathExtras.h"
155ffd83dbSDimitry Andric #include "llvm/Support/raw_ostream.h"
16*0b57cec5SDimitry Andric 
17bdd1243dSDimitry Andric #include <cmath>
18bdd1243dSDimitry Andric 
1981ad6265SDimitry Andric #if defined(_WIN32) && !defined(__MINGW32__)
2081ad6265SDimitry Andric #include <float.h> // For _fpclass in llvm::write_double.
2181ad6265SDimitry Andric #endif
2281ad6265SDimitry Andric 
23*0b57cec5SDimitry Andric using namespace llvm;
24*0b57cec5SDimitry Andric 
25*0b57cec5SDimitry Andric template<typename T, std::size_t N>
26*0b57cec5SDimitry Andric static int format_to_buffer(T Value, char (&Buffer)[N]) {
27*0b57cec5SDimitry Andric   char *EndPtr = std::end(Buffer);
28*0b57cec5SDimitry Andric   char *CurPtr = EndPtr;
29*0b57cec5SDimitry Andric 
30*0b57cec5SDimitry Andric   do {
31*0b57cec5SDimitry Andric     *--CurPtr = '0' + char(Value % 10);
32*0b57cec5SDimitry Andric     Value /= 10;
33*0b57cec5SDimitry Andric   } while (Value);
34*0b57cec5SDimitry Andric   return EndPtr - CurPtr;
35*0b57cec5SDimitry Andric }
36*0b57cec5SDimitry Andric 
37*0b57cec5SDimitry Andric static void writeWithCommas(raw_ostream &S, ArrayRef<char> Buffer) {
38*0b57cec5SDimitry Andric   assert(!Buffer.empty());
39*0b57cec5SDimitry Andric 
40*0b57cec5SDimitry Andric   ArrayRef<char> ThisGroup;
41*0b57cec5SDimitry Andric   int InitialDigits = ((Buffer.size() - 1) % 3) + 1;
42*0b57cec5SDimitry Andric   ThisGroup = Buffer.take_front(InitialDigits);
43*0b57cec5SDimitry Andric   S.write(ThisGroup.data(), ThisGroup.size());
44*0b57cec5SDimitry Andric 
45*0b57cec5SDimitry Andric   Buffer = Buffer.drop_front(InitialDigits);
46*0b57cec5SDimitry Andric   assert(Buffer.size() % 3 == 0);
47*0b57cec5SDimitry Andric   while (!Buffer.empty()) {
48*0b57cec5SDimitry Andric     S << ',';
49*0b57cec5SDimitry Andric     ThisGroup = Buffer.take_front(3);
50*0b57cec5SDimitry Andric     S.write(ThisGroup.data(), 3);
51*0b57cec5SDimitry Andric     Buffer = Buffer.drop_front(3);
52*0b57cec5SDimitry Andric   }
53*0b57cec5SDimitry Andric }
54*0b57cec5SDimitry Andric 
55*0b57cec5SDimitry Andric template <typename T>
56*0b57cec5SDimitry Andric static void write_unsigned_impl(raw_ostream &S, T N, size_t MinDigits,
57*0b57cec5SDimitry Andric                                 IntegerStyle Style, bool IsNegative) {
58bdd1243dSDimitry Andric   static_assert(std::is_unsigned_v<T>, "Value is not unsigned!");
59*0b57cec5SDimitry Andric 
60*0b57cec5SDimitry Andric   char NumberBuffer[128];
61*0b57cec5SDimitry Andric   std::memset(NumberBuffer, '0', sizeof(NumberBuffer));
62*0b57cec5SDimitry Andric 
63*0b57cec5SDimitry Andric   size_t Len = 0;
64*0b57cec5SDimitry Andric   Len = format_to_buffer(N, NumberBuffer);
65*0b57cec5SDimitry Andric 
66*0b57cec5SDimitry Andric   if (IsNegative)
67*0b57cec5SDimitry Andric     S << '-';
68*0b57cec5SDimitry Andric 
69*0b57cec5SDimitry Andric   if (Len < MinDigits && Style != IntegerStyle::Number) {
70*0b57cec5SDimitry Andric     for (size_t I = Len; I < MinDigits; ++I)
71*0b57cec5SDimitry Andric       S << '0';
72*0b57cec5SDimitry Andric   }
73*0b57cec5SDimitry Andric 
74*0b57cec5SDimitry Andric   if (Style == IntegerStyle::Number) {
75*0b57cec5SDimitry Andric     writeWithCommas(S, ArrayRef<char>(std::end(NumberBuffer) - Len, Len));
76*0b57cec5SDimitry Andric   } else {
77*0b57cec5SDimitry Andric     S.write(std::end(NumberBuffer) - Len, Len);
78*0b57cec5SDimitry Andric   }
79*0b57cec5SDimitry Andric }
80*0b57cec5SDimitry Andric 
81*0b57cec5SDimitry Andric template <typename T>
82*0b57cec5SDimitry Andric static void write_unsigned(raw_ostream &S, T N, size_t MinDigits,
83*0b57cec5SDimitry Andric                            IntegerStyle Style, bool IsNegative = false) {
84*0b57cec5SDimitry Andric   // Output using 32-bit div/mod if possible.
85*0b57cec5SDimitry Andric   if (N == static_cast<uint32_t>(N))
86*0b57cec5SDimitry Andric     write_unsigned_impl(S, static_cast<uint32_t>(N), MinDigits, Style,
87*0b57cec5SDimitry Andric                         IsNegative);
88*0b57cec5SDimitry Andric   else
89*0b57cec5SDimitry Andric     write_unsigned_impl(S, N, MinDigits, Style, IsNegative);
90*0b57cec5SDimitry Andric }
91*0b57cec5SDimitry Andric 
92*0b57cec5SDimitry Andric template <typename T>
93*0b57cec5SDimitry Andric static void write_signed(raw_ostream &S, T N, size_t MinDigits,
94*0b57cec5SDimitry Andric                          IntegerStyle Style) {
95bdd1243dSDimitry Andric   static_assert(std::is_signed_v<T>, "Value is not signed!");
96*0b57cec5SDimitry Andric 
975ffd83dbSDimitry Andric   using UnsignedT = std::make_unsigned_t<T>;
98*0b57cec5SDimitry Andric 
99*0b57cec5SDimitry Andric   if (N >= 0) {
100*0b57cec5SDimitry Andric     write_unsigned(S, static_cast<UnsignedT>(N), MinDigits, Style);
101*0b57cec5SDimitry Andric     return;
102*0b57cec5SDimitry Andric   }
103*0b57cec5SDimitry Andric 
104*0b57cec5SDimitry Andric   UnsignedT UN = -(UnsignedT)N;
105*0b57cec5SDimitry Andric   write_unsigned(S, UN, MinDigits, Style, true);
106*0b57cec5SDimitry Andric }
107*0b57cec5SDimitry Andric 
108*0b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, unsigned int N, size_t MinDigits,
109*0b57cec5SDimitry Andric                          IntegerStyle Style) {
110*0b57cec5SDimitry Andric   write_unsigned(S, N, MinDigits, Style);
111*0b57cec5SDimitry Andric }
112*0b57cec5SDimitry Andric 
113*0b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, int N, size_t MinDigits,
114*0b57cec5SDimitry Andric                          IntegerStyle Style) {
115*0b57cec5SDimitry Andric   write_signed(S, N, MinDigits, Style);
116*0b57cec5SDimitry Andric }
117*0b57cec5SDimitry Andric 
118*0b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, unsigned long N, size_t MinDigits,
119*0b57cec5SDimitry Andric                          IntegerStyle Style) {
120*0b57cec5SDimitry Andric   write_unsigned(S, N, MinDigits, Style);
121*0b57cec5SDimitry Andric }
122*0b57cec5SDimitry Andric 
123*0b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, long N, size_t MinDigits,
124*0b57cec5SDimitry Andric                          IntegerStyle Style) {
125*0b57cec5SDimitry Andric   write_signed(S, N, MinDigits, Style);
126*0b57cec5SDimitry Andric }
127*0b57cec5SDimitry Andric 
128*0b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, unsigned long long N, size_t MinDigits,
129*0b57cec5SDimitry Andric                          IntegerStyle Style) {
130*0b57cec5SDimitry Andric   write_unsigned(S, N, MinDigits, Style);
131*0b57cec5SDimitry Andric }
132*0b57cec5SDimitry Andric 
133*0b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, long long N, size_t MinDigits,
134*0b57cec5SDimitry Andric                          IntegerStyle Style) {
135*0b57cec5SDimitry Andric   write_signed(S, N, MinDigits, Style);
136*0b57cec5SDimitry Andric }
137*0b57cec5SDimitry Andric 
138*0b57cec5SDimitry Andric void llvm::write_hex(raw_ostream &S, uint64_t N, HexPrintStyle Style,
139bdd1243dSDimitry Andric                      std::optional<size_t> Width) {
140*0b57cec5SDimitry Andric   const size_t kMaxWidth = 128u;
141*0b57cec5SDimitry Andric 
14281ad6265SDimitry Andric   size_t W = std::min(kMaxWidth, Width.value_or(0u));
143*0b57cec5SDimitry Andric 
144bdd1243dSDimitry Andric   unsigned Nibbles = (llvm::bit_width(N) + 3) / 4;
145*0b57cec5SDimitry Andric   bool Prefix = (Style == HexPrintStyle::PrefixLower ||
146*0b57cec5SDimitry Andric                  Style == HexPrintStyle::PrefixUpper);
147*0b57cec5SDimitry Andric   bool Upper =
148*0b57cec5SDimitry Andric       (Style == HexPrintStyle::Upper || Style == HexPrintStyle::PrefixUpper);
149*0b57cec5SDimitry Andric   unsigned PrefixChars = Prefix ? 2 : 0;
150*0b57cec5SDimitry Andric   unsigned NumChars =
151*0b57cec5SDimitry Andric       std::max(static_cast<unsigned>(W), std::max(1u, Nibbles) + PrefixChars);
152*0b57cec5SDimitry Andric 
153*0b57cec5SDimitry Andric   char NumberBuffer[kMaxWidth];
154bdd1243dSDimitry Andric   ::memset(NumberBuffer, '0', std::size(NumberBuffer));
155*0b57cec5SDimitry Andric   if (Prefix)
156*0b57cec5SDimitry Andric     NumberBuffer[1] = 'x';
157*0b57cec5SDimitry Andric   char *EndPtr = NumberBuffer + NumChars;
158*0b57cec5SDimitry Andric   char *CurPtr = EndPtr;
159*0b57cec5SDimitry Andric   while (N) {
160*0b57cec5SDimitry Andric     unsigned char x = static_cast<unsigned char>(N) % 16;
161*0b57cec5SDimitry Andric     *--CurPtr = hexdigit(x, !Upper);
162*0b57cec5SDimitry Andric     N /= 16;
163*0b57cec5SDimitry Andric   }
164*0b57cec5SDimitry Andric 
165*0b57cec5SDimitry Andric   S.write(NumberBuffer, NumChars);
166*0b57cec5SDimitry Andric }
167*0b57cec5SDimitry Andric 
168*0b57cec5SDimitry Andric void llvm::write_double(raw_ostream &S, double N, FloatStyle Style,
169bdd1243dSDimitry Andric                         std::optional<size_t> Precision) {
17081ad6265SDimitry Andric   size_t Prec = Precision.value_or(getDefaultPrecision(Style));
171*0b57cec5SDimitry Andric 
172*0b57cec5SDimitry Andric   if (std::isnan(N)) {
173*0b57cec5SDimitry Andric     S << "nan";
174*0b57cec5SDimitry Andric     return;
175*0b57cec5SDimitry Andric   } else if (std::isinf(N)) {
1760eae32dcSDimitry Andric     S << (std::signbit(N) ? "-INF" : "INF");
177*0b57cec5SDimitry Andric     return;
178*0b57cec5SDimitry Andric   }
179*0b57cec5SDimitry Andric 
180*0b57cec5SDimitry Andric   char Letter;
181*0b57cec5SDimitry Andric   if (Style == FloatStyle::Exponent)
182*0b57cec5SDimitry Andric     Letter = 'e';
183*0b57cec5SDimitry Andric   else if (Style == FloatStyle::ExponentUpper)
184*0b57cec5SDimitry Andric     Letter = 'E';
185*0b57cec5SDimitry Andric   else
186*0b57cec5SDimitry Andric     Letter = 'f';
187*0b57cec5SDimitry Andric 
188*0b57cec5SDimitry Andric   SmallString<8> Spec;
189*0b57cec5SDimitry Andric   llvm::raw_svector_ostream Out(Spec);
190*0b57cec5SDimitry Andric   Out << "%." << Prec << Letter;
191*0b57cec5SDimitry Andric 
192*0b57cec5SDimitry Andric   if (Style == FloatStyle::Exponent || Style == FloatStyle::ExponentUpper) {
193*0b57cec5SDimitry Andric #ifdef _WIN32
194*0b57cec5SDimitry Andric // On MSVCRT and compatible, output of %e is incompatible to Posix
195*0b57cec5SDimitry Andric // by default. Number of exponent digits should be at least 2. "%+03d"
196*0b57cec5SDimitry Andric // FIXME: Implement our formatter to here or Support/Format.h!
197*0b57cec5SDimitry Andric #if defined(__MINGW32__)
198*0b57cec5SDimitry Andric     // FIXME: It should be generic to C++11.
199*0b57cec5SDimitry Andric     if (N == 0.0 && std::signbit(N)) {
200*0b57cec5SDimitry Andric       char NegativeZero[] = "-0.000000e+00";
201*0b57cec5SDimitry Andric       if (Style == FloatStyle::ExponentUpper)
202*0b57cec5SDimitry Andric         NegativeZero[strlen(NegativeZero) - 4] = 'E';
203*0b57cec5SDimitry Andric       S << NegativeZero;
204*0b57cec5SDimitry Andric       return;
205*0b57cec5SDimitry Andric     }
206*0b57cec5SDimitry Andric #else
207*0b57cec5SDimitry Andric     int fpcl = _fpclass(N);
208*0b57cec5SDimitry Andric 
209*0b57cec5SDimitry Andric     // negative zero
210*0b57cec5SDimitry Andric     if (fpcl == _FPCLASS_NZ) {
211*0b57cec5SDimitry Andric       char NegativeZero[] = "-0.000000e+00";
212*0b57cec5SDimitry Andric       if (Style == FloatStyle::ExponentUpper)
213*0b57cec5SDimitry Andric         NegativeZero[strlen(NegativeZero) - 4] = 'E';
214*0b57cec5SDimitry Andric       S << NegativeZero;
215*0b57cec5SDimitry Andric       return;
216*0b57cec5SDimitry Andric     }
217*0b57cec5SDimitry Andric #endif
218*0b57cec5SDimitry Andric 
219*0b57cec5SDimitry Andric     char buf[32];
220*0b57cec5SDimitry Andric     unsigned len;
221*0b57cec5SDimitry Andric     len = format(Spec.c_str(), N).snprint(buf, sizeof(buf));
222*0b57cec5SDimitry Andric     if (len <= sizeof(buf) - 2) {
223*0b57cec5SDimitry Andric       if (len >= 5 && (buf[len - 5] == 'e' || buf[len - 5] == 'E') &&
224*0b57cec5SDimitry Andric           buf[len - 3] == '0') {
225*0b57cec5SDimitry Andric         int cs = buf[len - 4];
226*0b57cec5SDimitry Andric         if (cs == '+' || cs == '-') {
227*0b57cec5SDimitry Andric           int c1 = buf[len - 2];
228*0b57cec5SDimitry Andric           int c0 = buf[len - 1];
229*0b57cec5SDimitry Andric           if (isdigit(static_cast<unsigned char>(c1)) &&
230*0b57cec5SDimitry Andric               isdigit(static_cast<unsigned char>(c0))) {
231*0b57cec5SDimitry Andric             // Trim leading '0': "...e+012" -> "...e+12\0"
232*0b57cec5SDimitry Andric             buf[len - 3] = c1;
233*0b57cec5SDimitry Andric             buf[len - 2] = c0;
234*0b57cec5SDimitry Andric             buf[--len] = 0;
235*0b57cec5SDimitry Andric           }
236*0b57cec5SDimitry Andric         }
237*0b57cec5SDimitry Andric       }
238*0b57cec5SDimitry Andric       S << buf;
239*0b57cec5SDimitry Andric       return;
240*0b57cec5SDimitry Andric     }
241*0b57cec5SDimitry Andric #endif
242*0b57cec5SDimitry Andric   }
243*0b57cec5SDimitry Andric 
244*0b57cec5SDimitry Andric   if (Style == FloatStyle::Percent)
245*0b57cec5SDimitry Andric     N *= 100.0;
246*0b57cec5SDimitry Andric 
247*0b57cec5SDimitry Andric   char Buf[32];
248*0b57cec5SDimitry Andric   format(Spec.c_str(), N).snprint(Buf, sizeof(Buf));
249*0b57cec5SDimitry Andric   S << Buf;
250*0b57cec5SDimitry Andric   if (Style == FloatStyle::Percent)
251*0b57cec5SDimitry Andric     S << '%';
252*0b57cec5SDimitry Andric }
253*0b57cec5SDimitry Andric 
254*0b57cec5SDimitry Andric bool llvm::isPrefixedHexStyle(HexPrintStyle S) {
255*0b57cec5SDimitry Andric   return (S == HexPrintStyle::PrefixLower || S == HexPrintStyle::PrefixUpper);
256*0b57cec5SDimitry Andric }
257*0b57cec5SDimitry Andric 
258*0b57cec5SDimitry Andric size_t llvm::getDefaultPrecision(FloatStyle Style) {
259*0b57cec5SDimitry Andric   switch (Style) {
260*0b57cec5SDimitry Andric   case FloatStyle::Exponent:
261*0b57cec5SDimitry Andric   case FloatStyle::ExponentUpper:
262*0b57cec5SDimitry Andric     return 6; // Number of decimal places.
263*0b57cec5SDimitry Andric   case FloatStyle::Fixed:
264*0b57cec5SDimitry Andric   case FloatStyle::Percent:
265*0b57cec5SDimitry Andric     return 2; // Number of decimal places.
266*0b57cec5SDimitry Andric   }
26781ad6265SDimitry Andric   llvm_unreachable("Unknown FloatStyle enum");
268*0b57cec5SDimitry Andric }
269