xref: /freebsd-src/contrib/llvm-project/llvm/lib/Support/NativeFormatting.cpp (revision 06c3fb2749bda94cb5201f81ffdb8fa6c3161b2e)
10b57cec5SDimitry Andric //===- NativeFormatting.cpp - Low level formatting helpers -------*- C++-*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
90b57cec5SDimitry Andric #include "llvm/Support/NativeFormatting.h"
100b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
110b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h"
120b57cec5SDimitry Andric #include "llvm/ADT/StringExtras.h"
130b57cec5SDimitry Andric #include "llvm/Support/Format.h"
14fe6060f1SDimitry Andric #include "llvm/Support/MathExtras.h"
155ffd83dbSDimitry Andric #include "llvm/Support/raw_ostream.h"
160b57cec5SDimitry 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 
230b57cec5SDimitry Andric using namespace llvm;
240b57cec5SDimitry Andric 
250b57cec5SDimitry Andric template<typename T, std::size_t N>
format_to_buffer(T Value,char (& Buffer)[N])260b57cec5SDimitry Andric static int format_to_buffer(T Value, char (&Buffer)[N]) {
270b57cec5SDimitry Andric   char *EndPtr = std::end(Buffer);
280b57cec5SDimitry Andric   char *CurPtr = EndPtr;
290b57cec5SDimitry Andric 
300b57cec5SDimitry Andric   do {
310b57cec5SDimitry Andric     *--CurPtr = '0' + char(Value % 10);
320b57cec5SDimitry Andric     Value /= 10;
330b57cec5SDimitry Andric   } while (Value);
340b57cec5SDimitry Andric   return EndPtr - CurPtr;
350b57cec5SDimitry Andric }
360b57cec5SDimitry Andric 
writeWithCommas(raw_ostream & S,ArrayRef<char> Buffer)370b57cec5SDimitry Andric static void writeWithCommas(raw_ostream &S, ArrayRef<char> Buffer) {
380b57cec5SDimitry Andric   assert(!Buffer.empty());
390b57cec5SDimitry Andric 
400b57cec5SDimitry Andric   ArrayRef<char> ThisGroup;
410b57cec5SDimitry Andric   int InitialDigits = ((Buffer.size() - 1) % 3) + 1;
420b57cec5SDimitry Andric   ThisGroup = Buffer.take_front(InitialDigits);
430b57cec5SDimitry Andric   S.write(ThisGroup.data(), ThisGroup.size());
440b57cec5SDimitry Andric 
450b57cec5SDimitry Andric   Buffer = Buffer.drop_front(InitialDigits);
460b57cec5SDimitry Andric   assert(Buffer.size() % 3 == 0);
470b57cec5SDimitry Andric   while (!Buffer.empty()) {
480b57cec5SDimitry Andric     S << ',';
490b57cec5SDimitry Andric     ThisGroup = Buffer.take_front(3);
500b57cec5SDimitry Andric     S.write(ThisGroup.data(), 3);
510b57cec5SDimitry Andric     Buffer = Buffer.drop_front(3);
520b57cec5SDimitry Andric   }
530b57cec5SDimitry Andric }
540b57cec5SDimitry Andric 
550b57cec5SDimitry Andric template <typename T>
write_unsigned_impl(raw_ostream & S,T N,size_t MinDigits,IntegerStyle Style,bool IsNegative)560b57cec5SDimitry Andric static void write_unsigned_impl(raw_ostream &S, T N, size_t MinDigits,
570b57cec5SDimitry Andric                                 IntegerStyle Style, bool IsNegative) {
58bdd1243dSDimitry Andric   static_assert(std::is_unsigned_v<T>, "Value is not unsigned!");
590b57cec5SDimitry Andric 
600b57cec5SDimitry Andric   char NumberBuffer[128];
61*06c3fb27SDimitry Andric   size_t Len = format_to_buffer(N, NumberBuffer);
620b57cec5SDimitry Andric 
630b57cec5SDimitry Andric   if (IsNegative)
640b57cec5SDimitry Andric     S << '-';
650b57cec5SDimitry Andric 
660b57cec5SDimitry Andric   if (Len < MinDigits && Style != IntegerStyle::Number) {
670b57cec5SDimitry Andric     for (size_t I = Len; I < MinDigits; ++I)
680b57cec5SDimitry Andric       S << '0';
690b57cec5SDimitry Andric   }
700b57cec5SDimitry Andric 
710b57cec5SDimitry Andric   if (Style == IntegerStyle::Number) {
720b57cec5SDimitry Andric     writeWithCommas(S, ArrayRef<char>(std::end(NumberBuffer) - Len, Len));
730b57cec5SDimitry Andric   } else {
740b57cec5SDimitry Andric     S.write(std::end(NumberBuffer) - Len, Len);
750b57cec5SDimitry Andric   }
760b57cec5SDimitry Andric }
770b57cec5SDimitry Andric 
780b57cec5SDimitry Andric template <typename T>
write_unsigned(raw_ostream & S,T N,size_t MinDigits,IntegerStyle Style,bool IsNegative=false)790b57cec5SDimitry Andric static void write_unsigned(raw_ostream &S, T N, size_t MinDigits,
800b57cec5SDimitry Andric                            IntegerStyle Style, bool IsNegative = false) {
810b57cec5SDimitry Andric   // Output using 32-bit div/mod if possible.
820b57cec5SDimitry Andric   if (N == static_cast<uint32_t>(N))
830b57cec5SDimitry Andric     write_unsigned_impl(S, static_cast<uint32_t>(N), MinDigits, Style,
840b57cec5SDimitry Andric                         IsNegative);
850b57cec5SDimitry Andric   else
860b57cec5SDimitry Andric     write_unsigned_impl(S, N, MinDigits, Style, IsNegative);
870b57cec5SDimitry Andric }
880b57cec5SDimitry Andric 
890b57cec5SDimitry Andric template <typename T>
write_signed(raw_ostream & S,T N,size_t MinDigits,IntegerStyle Style)900b57cec5SDimitry Andric static void write_signed(raw_ostream &S, T N, size_t MinDigits,
910b57cec5SDimitry Andric                          IntegerStyle Style) {
92bdd1243dSDimitry Andric   static_assert(std::is_signed_v<T>, "Value is not signed!");
930b57cec5SDimitry Andric 
945ffd83dbSDimitry Andric   using UnsignedT = std::make_unsigned_t<T>;
950b57cec5SDimitry Andric 
960b57cec5SDimitry Andric   if (N >= 0) {
970b57cec5SDimitry Andric     write_unsigned(S, static_cast<UnsignedT>(N), MinDigits, Style);
980b57cec5SDimitry Andric     return;
990b57cec5SDimitry Andric   }
1000b57cec5SDimitry Andric 
1010b57cec5SDimitry Andric   UnsignedT UN = -(UnsignedT)N;
1020b57cec5SDimitry Andric   write_unsigned(S, UN, MinDigits, Style, true);
1030b57cec5SDimitry Andric }
1040b57cec5SDimitry Andric 
write_integer(raw_ostream & S,unsigned int N,size_t MinDigits,IntegerStyle Style)1050b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, unsigned int N, size_t MinDigits,
1060b57cec5SDimitry Andric                          IntegerStyle Style) {
1070b57cec5SDimitry Andric   write_unsigned(S, N, MinDigits, Style);
1080b57cec5SDimitry Andric }
1090b57cec5SDimitry Andric 
write_integer(raw_ostream & S,int N,size_t MinDigits,IntegerStyle Style)1100b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, int N, size_t MinDigits,
1110b57cec5SDimitry Andric                          IntegerStyle Style) {
1120b57cec5SDimitry Andric   write_signed(S, N, MinDigits, Style);
1130b57cec5SDimitry Andric }
1140b57cec5SDimitry Andric 
write_integer(raw_ostream & S,unsigned long N,size_t MinDigits,IntegerStyle Style)1150b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, unsigned long N, size_t MinDigits,
1160b57cec5SDimitry Andric                          IntegerStyle Style) {
1170b57cec5SDimitry Andric   write_unsigned(S, N, MinDigits, Style);
1180b57cec5SDimitry Andric }
1190b57cec5SDimitry Andric 
write_integer(raw_ostream & S,long N,size_t MinDigits,IntegerStyle Style)1200b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, long N, size_t MinDigits,
1210b57cec5SDimitry Andric                          IntegerStyle Style) {
1220b57cec5SDimitry Andric   write_signed(S, N, MinDigits, Style);
1230b57cec5SDimitry Andric }
1240b57cec5SDimitry Andric 
write_integer(raw_ostream & S,unsigned long long N,size_t MinDigits,IntegerStyle Style)1250b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, unsigned long long N, size_t MinDigits,
1260b57cec5SDimitry Andric                          IntegerStyle Style) {
1270b57cec5SDimitry Andric   write_unsigned(S, N, MinDigits, Style);
1280b57cec5SDimitry Andric }
1290b57cec5SDimitry Andric 
write_integer(raw_ostream & S,long long N,size_t MinDigits,IntegerStyle Style)1300b57cec5SDimitry Andric void llvm::write_integer(raw_ostream &S, long long N, size_t MinDigits,
1310b57cec5SDimitry Andric                          IntegerStyle Style) {
1320b57cec5SDimitry Andric   write_signed(S, N, MinDigits, Style);
1330b57cec5SDimitry Andric }
1340b57cec5SDimitry Andric 
write_hex(raw_ostream & S,uint64_t N,HexPrintStyle Style,std::optional<size_t> Width)1350b57cec5SDimitry Andric void llvm::write_hex(raw_ostream &S, uint64_t N, HexPrintStyle Style,
136bdd1243dSDimitry Andric                      std::optional<size_t> Width) {
1370b57cec5SDimitry Andric   const size_t kMaxWidth = 128u;
1380b57cec5SDimitry Andric 
13981ad6265SDimitry Andric   size_t W = std::min(kMaxWidth, Width.value_or(0u));
1400b57cec5SDimitry Andric 
141bdd1243dSDimitry Andric   unsigned Nibbles = (llvm::bit_width(N) + 3) / 4;
1420b57cec5SDimitry Andric   bool Prefix = (Style == HexPrintStyle::PrefixLower ||
1430b57cec5SDimitry Andric                  Style == HexPrintStyle::PrefixUpper);
1440b57cec5SDimitry Andric   bool Upper =
1450b57cec5SDimitry Andric       (Style == HexPrintStyle::Upper || Style == HexPrintStyle::PrefixUpper);
1460b57cec5SDimitry Andric   unsigned PrefixChars = Prefix ? 2 : 0;
1470b57cec5SDimitry Andric   unsigned NumChars =
1480b57cec5SDimitry Andric       std::max(static_cast<unsigned>(W), std::max(1u, Nibbles) + PrefixChars);
1490b57cec5SDimitry Andric 
1500b57cec5SDimitry Andric   char NumberBuffer[kMaxWidth];
151bdd1243dSDimitry Andric   ::memset(NumberBuffer, '0', std::size(NumberBuffer));
1520b57cec5SDimitry Andric   if (Prefix)
1530b57cec5SDimitry Andric     NumberBuffer[1] = 'x';
1540b57cec5SDimitry Andric   char *EndPtr = NumberBuffer + NumChars;
1550b57cec5SDimitry Andric   char *CurPtr = EndPtr;
1560b57cec5SDimitry Andric   while (N) {
1570b57cec5SDimitry Andric     unsigned char x = static_cast<unsigned char>(N) % 16;
1580b57cec5SDimitry Andric     *--CurPtr = hexdigit(x, !Upper);
1590b57cec5SDimitry Andric     N /= 16;
1600b57cec5SDimitry Andric   }
1610b57cec5SDimitry Andric 
1620b57cec5SDimitry Andric   S.write(NumberBuffer, NumChars);
1630b57cec5SDimitry Andric }
1640b57cec5SDimitry Andric 
write_double(raw_ostream & S,double N,FloatStyle Style,std::optional<size_t> Precision)1650b57cec5SDimitry Andric void llvm::write_double(raw_ostream &S, double N, FloatStyle Style,
166bdd1243dSDimitry Andric                         std::optional<size_t> Precision) {
16781ad6265SDimitry Andric   size_t Prec = Precision.value_or(getDefaultPrecision(Style));
1680b57cec5SDimitry Andric 
1690b57cec5SDimitry Andric   if (std::isnan(N)) {
1700b57cec5SDimitry Andric     S << "nan";
1710b57cec5SDimitry Andric     return;
1720b57cec5SDimitry Andric   } else if (std::isinf(N)) {
1730eae32dcSDimitry Andric     S << (std::signbit(N) ? "-INF" : "INF");
1740b57cec5SDimitry Andric     return;
1750b57cec5SDimitry Andric   }
1760b57cec5SDimitry Andric 
1770b57cec5SDimitry Andric   char Letter;
1780b57cec5SDimitry Andric   if (Style == FloatStyle::Exponent)
1790b57cec5SDimitry Andric     Letter = 'e';
1800b57cec5SDimitry Andric   else if (Style == FloatStyle::ExponentUpper)
1810b57cec5SDimitry Andric     Letter = 'E';
1820b57cec5SDimitry Andric   else
1830b57cec5SDimitry Andric     Letter = 'f';
1840b57cec5SDimitry Andric 
1850b57cec5SDimitry Andric   SmallString<8> Spec;
1860b57cec5SDimitry Andric   llvm::raw_svector_ostream Out(Spec);
1870b57cec5SDimitry Andric   Out << "%." << Prec << Letter;
1880b57cec5SDimitry Andric 
1890b57cec5SDimitry Andric   if (Style == FloatStyle::Exponent || Style == FloatStyle::ExponentUpper) {
1900b57cec5SDimitry Andric #ifdef _WIN32
1910b57cec5SDimitry Andric // On MSVCRT and compatible, output of %e is incompatible to Posix
1920b57cec5SDimitry Andric // by default. Number of exponent digits should be at least 2. "%+03d"
1930b57cec5SDimitry Andric // FIXME: Implement our formatter to here or Support/Format.h!
1940b57cec5SDimitry Andric #if defined(__MINGW32__)
1950b57cec5SDimitry Andric     // FIXME: It should be generic to C++11.
1960b57cec5SDimitry Andric     if (N == 0.0 && std::signbit(N)) {
1970b57cec5SDimitry Andric       char NegativeZero[] = "-0.000000e+00";
1980b57cec5SDimitry Andric       if (Style == FloatStyle::ExponentUpper)
1990b57cec5SDimitry Andric         NegativeZero[strlen(NegativeZero) - 4] = 'E';
2000b57cec5SDimitry Andric       S << NegativeZero;
2010b57cec5SDimitry Andric       return;
2020b57cec5SDimitry Andric     }
2030b57cec5SDimitry Andric #else
2040b57cec5SDimitry Andric     int fpcl = _fpclass(N);
2050b57cec5SDimitry Andric 
2060b57cec5SDimitry Andric     // negative zero
2070b57cec5SDimitry Andric     if (fpcl == _FPCLASS_NZ) {
2080b57cec5SDimitry Andric       char NegativeZero[] = "-0.000000e+00";
2090b57cec5SDimitry Andric       if (Style == FloatStyle::ExponentUpper)
2100b57cec5SDimitry Andric         NegativeZero[strlen(NegativeZero) - 4] = 'E';
2110b57cec5SDimitry Andric       S << NegativeZero;
2120b57cec5SDimitry Andric       return;
2130b57cec5SDimitry Andric     }
2140b57cec5SDimitry Andric #endif
2150b57cec5SDimitry Andric 
2160b57cec5SDimitry Andric     char buf[32];
2170b57cec5SDimitry Andric     unsigned len;
2180b57cec5SDimitry Andric     len = format(Spec.c_str(), N).snprint(buf, sizeof(buf));
2190b57cec5SDimitry Andric     if (len <= sizeof(buf) - 2) {
2200b57cec5SDimitry Andric       if (len >= 5 && (buf[len - 5] == 'e' || buf[len - 5] == 'E') &&
2210b57cec5SDimitry Andric           buf[len - 3] == '0') {
2220b57cec5SDimitry Andric         int cs = buf[len - 4];
2230b57cec5SDimitry Andric         if (cs == '+' || cs == '-') {
2240b57cec5SDimitry Andric           int c1 = buf[len - 2];
2250b57cec5SDimitry Andric           int c0 = buf[len - 1];
2260b57cec5SDimitry Andric           if (isdigit(static_cast<unsigned char>(c1)) &&
2270b57cec5SDimitry Andric               isdigit(static_cast<unsigned char>(c0))) {
2280b57cec5SDimitry Andric             // Trim leading '0': "...e+012" -> "...e+12\0"
2290b57cec5SDimitry Andric             buf[len - 3] = c1;
2300b57cec5SDimitry Andric             buf[len - 2] = c0;
2310b57cec5SDimitry Andric             buf[--len] = 0;
2320b57cec5SDimitry Andric           }
2330b57cec5SDimitry Andric         }
2340b57cec5SDimitry Andric       }
2350b57cec5SDimitry Andric       S << buf;
2360b57cec5SDimitry Andric       return;
2370b57cec5SDimitry Andric     }
2380b57cec5SDimitry Andric #endif
2390b57cec5SDimitry Andric   }
2400b57cec5SDimitry Andric 
2410b57cec5SDimitry Andric   if (Style == FloatStyle::Percent)
2420b57cec5SDimitry Andric     N *= 100.0;
2430b57cec5SDimitry Andric 
2440b57cec5SDimitry Andric   char Buf[32];
2450b57cec5SDimitry Andric   format(Spec.c_str(), N).snprint(Buf, sizeof(Buf));
2460b57cec5SDimitry Andric   S << Buf;
2470b57cec5SDimitry Andric   if (Style == FloatStyle::Percent)
2480b57cec5SDimitry Andric     S << '%';
2490b57cec5SDimitry Andric }
2500b57cec5SDimitry Andric 
isPrefixedHexStyle(HexPrintStyle S)2510b57cec5SDimitry Andric bool llvm::isPrefixedHexStyle(HexPrintStyle S) {
2520b57cec5SDimitry Andric   return (S == HexPrintStyle::PrefixLower || S == HexPrintStyle::PrefixUpper);
2530b57cec5SDimitry Andric }
2540b57cec5SDimitry Andric 
getDefaultPrecision(FloatStyle Style)2550b57cec5SDimitry Andric size_t llvm::getDefaultPrecision(FloatStyle Style) {
2560b57cec5SDimitry Andric   switch (Style) {
2570b57cec5SDimitry Andric   case FloatStyle::Exponent:
2580b57cec5SDimitry Andric   case FloatStyle::ExponentUpper:
2590b57cec5SDimitry Andric     return 6; // Number of decimal places.
2600b57cec5SDimitry Andric   case FloatStyle::Fixed:
2610b57cec5SDimitry Andric   case FloatStyle::Percent:
2620b57cec5SDimitry Andric     return 2; // Number of decimal places.
2630b57cec5SDimitry Andric   }
26481ad6265SDimitry Andric   llvm_unreachable("Unknown FloatStyle enum");
2650b57cec5SDimitry Andric }
266