109467b48Spatrick //===- NativeFormatting.cpp - Low level formatting helpers -------*- C++-*-===//
209467b48Spatrick //
309467b48Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
409467b48Spatrick // See https://llvm.org/LICENSE.txt for license information.
509467b48Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
609467b48Spatrick //
709467b48Spatrick //===----------------------------------------------------------------------===//
809467b48Spatrick
909467b48Spatrick #include "llvm/Support/NativeFormatting.h"
1009467b48Spatrick #include "llvm/ADT/ArrayRef.h"
1109467b48Spatrick #include "llvm/ADT/SmallString.h"
1209467b48Spatrick #include "llvm/ADT/StringExtras.h"
1309467b48Spatrick #include "llvm/Support/Format.h"
1473471bf0Spatrick #include "llvm/Support/MathExtras.h"
15097a140dSpatrick #include "llvm/Support/raw_ostream.h"
16*d415bd75Srobert
17*d415bd75Srobert #include <cmath>
18*d415bd75Srobert
19*d415bd75Srobert #if defined(_WIN32) && !defined(__MINGW32__)
20*d415bd75Srobert #include <float.h> // For _fpclass in llvm::write_double.
21*d415bd75Srobert #endif
2209467b48Spatrick
2309467b48Spatrick using namespace llvm;
2409467b48Spatrick
2509467b48Spatrick template<typename T, std::size_t N>
format_to_buffer(T Value,char (& Buffer)[N])2609467b48Spatrick static int format_to_buffer(T Value, char (&Buffer)[N]) {
2709467b48Spatrick char *EndPtr = std::end(Buffer);
2809467b48Spatrick char *CurPtr = EndPtr;
2909467b48Spatrick
3009467b48Spatrick do {
3109467b48Spatrick *--CurPtr = '0' + char(Value % 10);
3209467b48Spatrick Value /= 10;
3309467b48Spatrick } while (Value);
3409467b48Spatrick return EndPtr - CurPtr;
3509467b48Spatrick }
3609467b48Spatrick
writeWithCommas(raw_ostream & S,ArrayRef<char> Buffer)3709467b48Spatrick static void writeWithCommas(raw_ostream &S, ArrayRef<char> Buffer) {
3809467b48Spatrick assert(!Buffer.empty());
3909467b48Spatrick
4009467b48Spatrick ArrayRef<char> ThisGroup;
4109467b48Spatrick int InitialDigits = ((Buffer.size() - 1) % 3) + 1;
4209467b48Spatrick ThisGroup = Buffer.take_front(InitialDigits);
4309467b48Spatrick S.write(ThisGroup.data(), ThisGroup.size());
4409467b48Spatrick
4509467b48Spatrick Buffer = Buffer.drop_front(InitialDigits);
4609467b48Spatrick assert(Buffer.size() % 3 == 0);
4709467b48Spatrick while (!Buffer.empty()) {
4809467b48Spatrick S << ',';
4909467b48Spatrick ThisGroup = Buffer.take_front(3);
5009467b48Spatrick S.write(ThisGroup.data(), 3);
5109467b48Spatrick Buffer = Buffer.drop_front(3);
5209467b48Spatrick }
5309467b48Spatrick }
5409467b48Spatrick
5509467b48Spatrick template <typename T>
write_unsigned_impl(raw_ostream & S,T N,size_t MinDigits,IntegerStyle Style,bool IsNegative)5609467b48Spatrick static void write_unsigned_impl(raw_ostream &S, T N, size_t MinDigits,
5709467b48Spatrick IntegerStyle Style, bool IsNegative) {
58*d415bd75Srobert static_assert(std::is_unsigned_v<T>, "Value is not unsigned!");
5909467b48Spatrick
6009467b48Spatrick char NumberBuffer[128];
6109467b48Spatrick std::memset(NumberBuffer, '0', sizeof(NumberBuffer));
6209467b48Spatrick
6309467b48Spatrick size_t Len = 0;
6409467b48Spatrick Len = format_to_buffer(N, NumberBuffer);
6509467b48Spatrick
6609467b48Spatrick if (IsNegative)
6709467b48Spatrick S << '-';
6809467b48Spatrick
6909467b48Spatrick if (Len < MinDigits && Style != IntegerStyle::Number) {
7009467b48Spatrick for (size_t I = Len; I < MinDigits; ++I)
7109467b48Spatrick S << '0';
7209467b48Spatrick }
7309467b48Spatrick
7409467b48Spatrick if (Style == IntegerStyle::Number) {
7509467b48Spatrick writeWithCommas(S, ArrayRef<char>(std::end(NumberBuffer) - Len, Len));
7609467b48Spatrick } else {
7709467b48Spatrick S.write(std::end(NumberBuffer) - Len, Len);
7809467b48Spatrick }
7909467b48Spatrick }
8009467b48Spatrick
8109467b48Spatrick template <typename T>
write_unsigned(raw_ostream & S,T N,size_t MinDigits,IntegerStyle Style,bool IsNegative=false)8209467b48Spatrick static void write_unsigned(raw_ostream &S, T N, size_t MinDigits,
8309467b48Spatrick IntegerStyle Style, bool IsNegative = false) {
8409467b48Spatrick // Output using 32-bit div/mod if possible.
8509467b48Spatrick if (N == static_cast<uint32_t>(N))
8609467b48Spatrick write_unsigned_impl(S, static_cast<uint32_t>(N), MinDigits, Style,
8709467b48Spatrick IsNegative);
8809467b48Spatrick else
8909467b48Spatrick write_unsigned_impl(S, N, MinDigits, Style, IsNegative);
9009467b48Spatrick }
9109467b48Spatrick
9209467b48Spatrick template <typename T>
write_signed(raw_ostream & S,T N,size_t MinDigits,IntegerStyle Style)9309467b48Spatrick static void write_signed(raw_ostream &S, T N, size_t MinDigits,
9409467b48Spatrick IntegerStyle Style) {
95*d415bd75Srobert static_assert(std::is_signed_v<T>, "Value is not signed!");
9609467b48Spatrick
97097a140dSpatrick using UnsignedT = std::make_unsigned_t<T>;
9809467b48Spatrick
9909467b48Spatrick if (N >= 0) {
10009467b48Spatrick write_unsigned(S, static_cast<UnsignedT>(N), MinDigits, Style);
10109467b48Spatrick return;
10209467b48Spatrick }
10309467b48Spatrick
10409467b48Spatrick UnsignedT UN = -(UnsignedT)N;
10509467b48Spatrick write_unsigned(S, UN, MinDigits, Style, true);
10609467b48Spatrick }
10709467b48Spatrick
write_integer(raw_ostream & S,unsigned int N,size_t MinDigits,IntegerStyle Style)10809467b48Spatrick void llvm::write_integer(raw_ostream &S, unsigned int N, size_t MinDigits,
10909467b48Spatrick IntegerStyle Style) {
11009467b48Spatrick write_unsigned(S, N, MinDigits, Style);
11109467b48Spatrick }
11209467b48Spatrick
write_integer(raw_ostream & S,int N,size_t MinDigits,IntegerStyle Style)11309467b48Spatrick void llvm::write_integer(raw_ostream &S, int N, size_t MinDigits,
11409467b48Spatrick IntegerStyle Style) {
11509467b48Spatrick write_signed(S, N, MinDigits, Style);
11609467b48Spatrick }
11709467b48Spatrick
write_integer(raw_ostream & S,unsigned long N,size_t MinDigits,IntegerStyle Style)11809467b48Spatrick void llvm::write_integer(raw_ostream &S, unsigned long N, size_t MinDigits,
11909467b48Spatrick IntegerStyle Style) {
12009467b48Spatrick write_unsigned(S, N, MinDigits, Style);
12109467b48Spatrick }
12209467b48Spatrick
write_integer(raw_ostream & S,long N,size_t MinDigits,IntegerStyle Style)12309467b48Spatrick void llvm::write_integer(raw_ostream &S, long N, size_t MinDigits,
12409467b48Spatrick IntegerStyle Style) {
12509467b48Spatrick write_signed(S, N, MinDigits, Style);
12609467b48Spatrick }
12709467b48Spatrick
write_integer(raw_ostream & S,unsigned long long N,size_t MinDigits,IntegerStyle Style)12809467b48Spatrick void llvm::write_integer(raw_ostream &S, unsigned long long N, size_t MinDigits,
12909467b48Spatrick IntegerStyle Style) {
13009467b48Spatrick write_unsigned(S, N, MinDigits, Style);
13109467b48Spatrick }
13209467b48Spatrick
write_integer(raw_ostream & S,long long N,size_t MinDigits,IntegerStyle Style)13309467b48Spatrick void llvm::write_integer(raw_ostream &S, long long N, size_t MinDigits,
13409467b48Spatrick IntegerStyle Style) {
13509467b48Spatrick write_signed(S, N, MinDigits, Style);
13609467b48Spatrick }
13709467b48Spatrick
write_hex(raw_ostream & S,uint64_t N,HexPrintStyle Style,std::optional<size_t> Width)13809467b48Spatrick void llvm::write_hex(raw_ostream &S, uint64_t N, HexPrintStyle Style,
139*d415bd75Srobert std::optional<size_t> Width) {
14009467b48Spatrick const size_t kMaxWidth = 128u;
14109467b48Spatrick
142*d415bd75Srobert size_t W = std::min(kMaxWidth, Width.value_or(0u));
14309467b48Spatrick
144*d415bd75Srobert unsigned Nibbles = (llvm::bit_width(N) + 3) / 4;
14509467b48Spatrick bool Prefix = (Style == HexPrintStyle::PrefixLower ||
14609467b48Spatrick Style == HexPrintStyle::PrefixUpper);
14709467b48Spatrick bool Upper =
14809467b48Spatrick (Style == HexPrintStyle::Upper || Style == HexPrintStyle::PrefixUpper);
14909467b48Spatrick unsigned PrefixChars = Prefix ? 2 : 0;
15009467b48Spatrick unsigned NumChars =
15109467b48Spatrick std::max(static_cast<unsigned>(W), std::max(1u, Nibbles) + PrefixChars);
15209467b48Spatrick
15309467b48Spatrick char NumberBuffer[kMaxWidth];
154*d415bd75Srobert ::memset(NumberBuffer, '0', std::size(NumberBuffer));
15509467b48Spatrick if (Prefix)
15609467b48Spatrick NumberBuffer[1] = 'x';
15709467b48Spatrick char *EndPtr = NumberBuffer + NumChars;
15809467b48Spatrick char *CurPtr = EndPtr;
15909467b48Spatrick while (N) {
16009467b48Spatrick unsigned char x = static_cast<unsigned char>(N) % 16;
16109467b48Spatrick *--CurPtr = hexdigit(x, !Upper);
16209467b48Spatrick N /= 16;
16309467b48Spatrick }
16409467b48Spatrick
16509467b48Spatrick S.write(NumberBuffer, NumChars);
16609467b48Spatrick }
16709467b48Spatrick
write_double(raw_ostream & S,double N,FloatStyle Style,std::optional<size_t> Precision)16809467b48Spatrick void llvm::write_double(raw_ostream &S, double N, FloatStyle Style,
169*d415bd75Srobert std::optional<size_t> Precision) {
170*d415bd75Srobert size_t Prec = Precision.value_or(getDefaultPrecision(Style));
17109467b48Spatrick
17209467b48Spatrick if (std::isnan(N)) {
17309467b48Spatrick S << "nan";
17409467b48Spatrick return;
17509467b48Spatrick } else if (std::isinf(N)) {
176*d415bd75Srobert S << (std::signbit(N) ? "-INF" : "INF");
17709467b48Spatrick return;
17809467b48Spatrick }
17909467b48Spatrick
18009467b48Spatrick char Letter;
18109467b48Spatrick if (Style == FloatStyle::Exponent)
18209467b48Spatrick Letter = 'e';
18309467b48Spatrick else if (Style == FloatStyle::ExponentUpper)
18409467b48Spatrick Letter = 'E';
18509467b48Spatrick else
18609467b48Spatrick Letter = 'f';
18709467b48Spatrick
18809467b48Spatrick SmallString<8> Spec;
18909467b48Spatrick llvm::raw_svector_ostream Out(Spec);
19009467b48Spatrick Out << "%." << Prec << Letter;
19109467b48Spatrick
19209467b48Spatrick if (Style == FloatStyle::Exponent || Style == FloatStyle::ExponentUpper) {
19309467b48Spatrick #ifdef _WIN32
19409467b48Spatrick // On MSVCRT and compatible, output of %e is incompatible to Posix
19509467b48Spatrick // by default. Number of exponent digits should be at least 2. "%+03d"
19609467b48Spatrick // FIXME: Implement our formatter to here or Support/Format.h!
19709467b48Spatrick #if defined(__MINGW32__)
19809467b48Spatrick // FIXME: It should be generic to C++11.
19909467b48Spatrick if (N == 0.0 && std::signbit(N)) {
20009467b48Spatrick char NegativeZero[] = "-0.000000e+00";
20109467b48Spatrick if (Style == FloatStyle::ExponentUpper)
20209467b48Spatrick NegativeZero[strlen(NegativeZero) - 4] = 'E';
20309467b48Spatrick S << NegativeZero;
20409467b48Spatrick return;
20509467b48Spatrick }
20609467b48Spatrick #else
20709467b48Spatrick int fpcl = _fpclass(N);
20809467b48Spatrick
20909467b48Spatrick // negative zero
21009467b48Spatrick if (fpcl == _FPCLASS_NZ) {
21109467b48Spatrick char NegativeZero[] = "-0.000000e+00";
21209467b48Spatrick if (Style == FloatStyle::ExponentUpper)
21309467b48Spatrick NegativeZero[strlen(NegativeZero) - 4] = 'E';
21409467b48Spatrick S << NegativeZero;
21509467b48Spatrick return;
21609467b48Spatrick }
21709467b48Spatrick #endif
21809467b48Spatrick
21909467b48Spatrick char buf[32];
22009467b48Spatrick unsigned len;
22109467b48Spatrick len = format(Spec.c_str(), N).snprint(buf, sizeof(buf));
22209467b48Spatrick if (len <= sizeof(buf) - 2) {
22309467b48Spatrick if (len >= 5 && (buf[len - 5] == 'e' || buf[len - 5] == 'E') &&
22409467b48Spatrick buf[len - 3] == '0') {
22509467b48Spatrick int cs = buf[len - 4];
22609467b48Spatrick if (cs == '+' || cs == '-') {
22709467b48Spatrick int c1 = buf[len - 2];
22809467b48Spatrick int c0 = buf[len - 1];
22909467b48Spatrick if (isdigit(static_cast<unsigned char>(c1)) &&
23009467b48Spatrick isdigit(static_cast<unsigned char>(c0))) {
23109467b48Spatrick // Trim leading '0': "...e+012" -> "...e+12\0"
23209467b48Spatrick buf[len - 3] = c1;
23309467b48Spatrick buf[len - 2] = c0;
23409467b48Spatrick buf[--len] = 0;
23509467b48Spatrick }
23609467b48Spatrick }
23709467b48Spatrick }
23809467b48Spatrick S << buf;
23909467b48Spatrick return;
24009467b48Spatrick }
24109467b48Spatrick #endif
24209467b48Spatrick }
24309467b48Spatrick
24409467b48Spatrick if (Style == FloatStyle::Percent)
24509467b48Spatrick N *= 100.0;
24609467b48Spatrick
24709467b48Spatrick char Buf[32];
24809467b48Spatrick format(Spec.c_str(), N).snprint(Buf, sizeof(Buf));
24909467b48Spatrick S << Buf;
25009467b48Spatrick if (Style == FloatStyle::Percent)
25109467b48Spatrick S << '%';
25209467b48Spatrick }
25309467b48Spatrick
isPrefixedHexStyle(HexPrintStyle S)25409467b48Spatrick bool llvm::isPrefixedHexStyle(HexPrintStyle S) {
25509467b48Spatrick return (S == HexPrintStyle::PrefixLower || S == HexPrintStyle::PrefixUpper);
25609467b48Spatrick }
25709467b48Spatrick
getDefaultPrecision(FloatStyle Style)25809467b48Spatrick size_t llvm::getDefaultPrecision(FloatStyle Style) {
25909467b48Spatrick switch (Style) {
26009467b48Spatrick case FloatStyle::Exponent:
26109467b48Spatrick case FloatStyle::ExponentUpper:
26209467b48Spatrick return 6; // Number of decimal places.
26309467b48Spatrick case FloatStyle::Fixed:
26409467b48Spatrick case FloatStyle::Percent:
26509467b48Spatrick return 2; // Number of decimal places.
26609467b48Spatrick }
267*d415bd75Srobert llvm_unreachable("Unknown FloatStyle enum");
26809467b48Spatrick }
269