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