164ab3302SCarolineConcatto //===-- lib/Decimal/decimal-to-binary.cpp ---------------------------------===// 264ab3302SCarolineConcatto // 364ab3302SCarolineConcatto // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 464ab3302SCarolineConcatto // See https://llvm.org/LICENSE.txt for license information. 564ab3302SCarolineConcatto // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 664ab3302SCarolineConcatto // 764ab3302SCarolineConcatto //===----------------------------------------------------------------------===// 864ab3302SCarolineConcatto 964ab3302SCarolineConcatto #include "big-radix-floating-point.h" 1064ab3302SCarolineConcatto #include "flang/Common/bit-population-count.h" 1164ab3302SCarolineConcatto #include "flang/Common/leading-zero-bit-count.h" 1264ab3302SCarolineConcatto #include "flang/Decimal/binary-floating-point.h" 1364ab3302SCarolineConcatto #include "flang/Decimal/decimal.h" 1464ab3302SCarolineConcatto #include <cinttypes> 1564ab3302SCarolineConcatto #include <cstring> 1664ab3302SCarolineConcatto #include <ctype.h> 1764ab3302SCarolineConcatto 1864ab3302SCarolineConcatto namespace Fortran::decimal { 1964ab3302SCarolineConcatto 2064ab3302SCarolineConcatto template<int PREC, int LOG10RADIX> 2164ab3302SCarolineConcatto bool BigRadixFloatingPointNumber<PREC, LOG10RADIX>::ParseNumber( 2264ab3302SCarolineConcatto const char *&p, bool &inexact) { 2364ab3302SCarolineConcatto SetToZero(); 2464ab3302SCarolineConcatto while (*p == ' ') { 2564ab3302SCarolineConcatto ++p; 2664ab3302SCarolineConcatto } 2764ab3302SCarolineConcatto const char *q{p}; 2864ab3302SCarolineConcatto isNegative_ = *q == '-'; 2964ab3302SCarolineConcatto if (*q == '-' || *q == '+') { 3064ab3302SCarolineConcatto ++q; 3164ab3302SCarolineConcatto } 3264ab3302SCarolineConcatto const char *start{q}; 3364ab3302SCarolineConcatto while (*q == '0') { 3464ab3302SCarolineConcatto ++q; 3564ab3302SCarolineConcatto } 3664ab3302SCarolineConcatto const char *first{q}; 3764ab3302SCarolineConcatto for (; *q >= '0' && *q <= '9'; ++q) { 3864ab3302SCarolineConcatto } 3964ab3302SCarolineConcatto const char *point{nullptr}; 4064ab3302SCarolineConcatto if (*q == '.') { 4164ab3302SCarolineConcatto point = q; 4264ab3302SCarolineConcatto for (++q; *q >= '0' && *q <= '9'; ++q) { 4364ab3302SCarolineConcatto } 4464ab3302SCarolineConcatto } 4564ab3302SCarolineConcatto if (q == start || (q == start + 1 && *start == '.')) { 4664ab3302SCarolineConcatto return false; // require at least one digit 4764ab3302SCarolineConcatto } 4864ab3302SCarolineConcatto // There's a valid number here; set the reference argument to point to 4964ab3302SCarolineConcatto // the first character afterward. 5064ab3302SCarolineConcatto p = q; 5164ab3302SCarolineConcatto // Strip off trailing zeroes 5264ab3302SCarolineConcatto if (point) { 5364ab3302SCarolineConcatto while (q[-1] == '0') { 5464ab3302SCarolineConcatto --q; 5564ab3302SCarolineConcatto } 5664ab3302SCarolineConcatto if (q[-1] == '.') { 5764ab3302SCarolineConcatto point = nullptr; 5864ab3302SCarolineConcatto --q; 5964ab3302SCarolineConcatto } 6064ab3302SCarolineConcatto } 6164ab3302SCarolineConcatto if (!point) { 6264ab3302SCarolineConcatto while (q > first && q[-1] == '0') { 6364ab3302SCarolineConcatto --q; 6464ab3302SCarolineConcatto ++exponent_; 6564ab3302SCarolineConcatto } 6664ab3302SCarolineConcatto } 6764ab3302SCarolineConcatto // Trim any excess digits 6864ab3302SCarolineConcatto const char *limit{first + maxDigits * log10Radix + (point != nullptr)}; 6964ab3302SCarolineConcatto if (q > limit) { 7064ab3302SCarolineConcatto inexact = true; 7164ab3302SCarolineConcatto if (point >= limit) { 7264ab3302SCarolineConcatto q = point; 7364ab3302SCarolineConcatto point = nullptr; 7464ab3302SCarolineConcatto } 7564ab3302SCarolineConcatto if (!point) { 7664ab3302SCarolineConcatto exponent_ += q - limit; 7764ab3302SCarolineConcatto } 7864ab3302SCarolineConcatto q = limit; 7964ab3302SCarolineConcatto } 8064ab3302SCarolineConcatto if (point) { 8164ab3302SCarolineConcatto exponent_ -= static_cast<int>(q - point - 1); 8264ab3302SCarolineConcatto } 8364ab3302SCarolineConcatto if (q == first) { 8464ab3302SCarolineConcatto exponent_ = 0; // all zeros 8564ab3302SCarolineConcatto } 8664ab3302SCarolineConcatto // Rack the decimal digits up into big Digits. 8764ab3302SCarolineConcatto for (auto times{radix}; q-- > first;) { 8864ab3302SCarolineConcatto if (*q != '.') { 8964ab3302SCarolineConcatto if (times == radix) { 9064ab3302SCarolineConcatto digit_[digits_++] = *q - '0'; 9164ab3302SCarolineConcatto times = 10; 9264ab3302SCarolineConcatto } else { 9364ab3302SCarolineConcatto digit_[digits_ - 1] += times * (*q - '0'); 9464ab3302SCarolineConcatto times *= 10; 9564ab3302SCarolineConcatto } 9664ab3302SCarolineConcatto } 9764ab3302SCarolineConcatto } 9864ab3302SCarolineConcatto // Look for an optional exponent field. 9964ab3302SCarolineConcatto q = p; 10064ab3302SCarolineConcatto switch (*q) { 10164ab3302SCarolineConcatto case 'e': 10264ab3302SCarolineConcatto case 'E': 10364ab3302SCarolineConcatto case 'd': 10464ab3302SCarolineConcatto case 'D': 10564ab3302SCarolineConcatto case 'q': 10664ab3302SCarolineConcatto case 'Q': { 10764ab3302SCarolineConcatto bool negExpo{*++q == '-'}; 10864ab3302SCarolineConcatto if (*q == '-' || *q == '+') { 10964ab3302SCarolineConcatto ++q; 11064ab3302SCarolineConcatto } 11164ab3302SCarolineConcatto if (*q >= '0' && *q <= '9') { 11264ab3302SCarolineConcatto int expo{0}; 11364ab3302SCarolineConcatto while (*q == '0') { 11464ab3302SCarolineConcatto ++q; 11564ab3302SCarolineConcatto } 11664ab3302SCarolineConcatto const char *expDig{q}; 11764ab3302SCarolineConcatto while (*q >= '0' && *q <= '9') { 11864ab3302SCarolineConcatto expo = 10 * expo + *q++ - '0'; 11964ab3302SCarolineConcatto } 12064ab3302SCarolineConcatto if (q >= expDig + 8) { 12164ab3302SCarolineConcatto // There's a ridiculous number of nonzero exponent digits. 12264ab3302SCarolineConcatto // The decimal->binary conversion routine will cope with 12364ab3302SCarolineConcatto // returning 0 or Inf, but we must ensure that "expo" didn't 12464ab3302SCarolineConcatto // overflow back around to something legal. 12564ab3302SCarolineConcatto expo = 10 * Real::decimalRange; 12664ab3302SCarolineConcatto exponent_ = 0; 12764ab3302SCarolineConcatto } 12864ab3302SCarolineConcatto p = q; // exponent was valid 12964ab3302SCarolineConcatto if (negExpo) { 13064ab3302SCarolineConcatto exponent_ -= expo; 13164ab3302SCarolineConcatto } else { 13264ab3302SCarolineConcatto exponent_ += expo; 13364ab3302SCarolineConcatto } 13464ab3302SCarolineConcatto } 13564ab3302SCarolineConcatto } break; 13664ab3302SCarolineConcatto default: break; 13764ab3302SCarolineConcatto } 13864ab3302SCarolineConcatto return true; 13964ab3302SCarolineConcatto } 14064ab3302SCarolineConcatto 14164ab3302SCarolineConcatto // This local utility class represents an unrounded nonnegative 14264ab3302SCarolineConcatto // binary floating-point value with an unbiased (i.e., signed) 14364ab3302SCarolineConcatto // binary exponent, an integer value (not a fraction) with an implied 14464ab3302SCarolineConcatto // binary point to its *right*, and some guard bits for rounding. 14564ab3302SCarolineConcatto template<int PREC> class IntermediateFloat { 14664ab3302SCarolineConcatto public: 14764ab3302SCarolineConcatto static constexpr int precision{PREC}; 14864ab3302SCarolineConcatto using IntType = common::HostUnsignedIntType<precision>; 14964ab3302SCarolineConcatto static constexpr IntType topBit{IntType{1} << (precision - 1)}; 15064ab3302SCarolineConcatto static constexpr IntType mask{topBit + (topBit - 1)}; 15164ab3302SCarolineConcatto 15264ab3302SCarolineConcatto IntermediateFloat() {} 15364ab3302SCarolineConcatto IntermediateFloat(const IntermediateFloat &) = default; 15464ab3302SCarolineConcatto 15564ab3302SCarolineConcatto // Assumes that exponent_ is valid on entry, and may increment it. 15664ab3302SCarolineConcatto // Returns the number of guard_ bits that have been determined. 15764ab3302SCarolineConcatto template<typename UINT> bool SetTo(UINT n) { 15864ab3302SCarolineConcatto static constexpr int nBits{CHAR_BIT * sizeof n}; 15964ab3302SCarolineConcatto if constexpr (precision >= nBits) { 16064ab3302SCarolineConcatto value_ = n; 16164ab3302SCarolineConcatto guard_ = 0; 16264ab3302SCarolineConcatto return 0; 16364ab3302SCarolineConcatto } else { 16464ab3302SCarolineConcatto int shift{common::BitsNeededFor(n) - precision}; 16564ab3302SCarolineConcatto if (shift <= 0) { 16664ab3302SCarolineConcatto value_ = n; 16764ab3302SCarolineConcatto guard_ = 0; 16864ab3302SCarolineConcatto return 0; 16964ab3302SCarolineConcatto } else { 17064ab3302SCarolineConcatto value_ = n >> shift; 17164ab3302SCarolineConcatto exponent_ += shift; 17264ab3302SCarolineConcatto n <<= nBits - shift; 17364ab3302SCarolineConcatto guard_ = (n >> (nBits - guardBits)) | ((n << guardBits) != 0); 17464ab3302SCarolineConcatto return shift; 17564ab3302SCarolineConcatto } 17664ab3302SCarolineConcatto } 17764ab3302SCarolineConcatto } 17864ab3302SCarolineConcatto 17964ab3302SCarolineConcatto void ShiftIn(int bit = 0) { value_ = value_ + value_ + bit; } 18064ab3302SCarolineConcatto bool IsFull() const { return value_ >= topBit; } 18164ab3302SCarolineConcatto void AdjustExponent(int by) { exponent_ += by; } 18264ab3302SCarolineConcatto void SetGuard(int g) { 18364ab3302SCarolineConcatto guard_ |= (static_cast<GuardType>(g & 6) << (guardBits - 3)) | (g & 1); 18464ab3302SCarolineConcatto } 18564ab3302SCarolineConcatto 18664ab3302SCarolineConcatto ConversionToBinaryResult<PREC> ToBinary( 18764ab3302SCarolineConcatto bool isNegative, FortranRounding) const; 18864ab3302SCarolineConcatto 18964ab3302SCarolineConcatto private: 19064ab3302SCarolineConcatto static constexpr int guardBits{3}; // guard, round, sticky 19164ab3302SCarolineConcatto using GuardType = int; 19264ab3302SCarolineConcatto static constexpr GuardType oneHalf{GuardType{1} << (guardBits - 1)}; 19364ab3302SCarolineConcatto 19464ab3302SCarolineConcatto IntType value_{0}; 19564ab3302SCarolineConcatto GuardType guard_{0}; 19664ab3302SCarolineConcatto int exponent_{0}; 19764ab3302SCarolineConcatto }; 19864ab3302SCarolineConcatto 19964ab3302SCarolineConcatto template<int PREC> 20064ab3302SCarolineConcatto ConversionToBinaryResult<PREC> IntermediateFloat<PREC>::ToBinary( 20164ab3302SCarolineConcatto bool isNegative, FortranRounding rounding) const { 20264ab3302SCarolineConcatto using Binary = BinaryFloatingPointNumber<PREC>; 20364ab3302SCarolineConcatto // Create a fraction with a binary point to the left of the integer 20464ab3302SCarolineConcatto // value_, and bias the exponent. 20564ab3302SCarolineConcatto IntType fraction{value_}; 20664ab3302SCarolineConcatto GuardType guard{guard_}; 20764ab3302SCarolineConcatto int expo{exponent_ + Binary::exponentBias + (precision - 1)}; 20864ab3302SCarolineConcatto while (expo < 1 && (fraction > 0 || guard > oneHalf)) { 20964ab3302SCarolineConcatto guard = (guard & 1) | (guard >> 1) | 21064ab3302SCarolineConcatto ((static_cast<GuardType>(fraction) & 1) << (guardBits - 1)); 21164ab3302SCarolineConcatto fraction >>= 1; 21264ab3302SCarolineConcatto ++expo; 21364ab3302SCarolineConcatto } 21464ab3302SCarolineConcatto int flags{Exact}; 21564ab3302SCarolineConcatto if (guard != 0) { 21664ab3302SCarolineConcatto flags |= Inexact; 21764ab3302SCarolineConcatto } 21864ab3302SCarolineConcatto if (fraction == 0 && guard <= oneHalf) { 21964ab3302SCarolineConcatto return {Binary{}, static_cast<enum ConversionResultFlags>(flags)}; 22064ab3302SCarolineConcatto } 22164ab3302SCarolineConcatto // The value is nonzero; normalize it. 22264ab3302SCarolineConcatto while (fraction < topBit && expo > 1) { 22364ab3302SCarolineConcatto --expo; 22464ab3302SCarolineConcatto fraction = fraction * 2 + (guard >> (guardBits - 2)); 22564ab3302SCarolineConcatto guard = (((guard >> (guardBits - 2)) & 1) << (guardBits - 1)) | (guard & 1); 22664ab3302SCarolineConcatto } 22764ab3302SCarolineConcatto // Apply rounding 22864ab3302SCarolineConcatto bool incr{false}; 22964ab3302SCarolineConcatto switch (rounding) { 23064ab3302SCarolineConcatto case RoundNearest: 23164ab3302SCarolineConcatto case RoundDefault: 23264ab3302SCarolineConcatto incr = guard > oneHalf || (guard == oneHalf && (fraction & 1)); 23364ab3302SCarolineConcatto break; 23464ab3302SCarolineConcatto case RoundUp: incr = guard != 0 && !isNegative; break; 23564ab3302SCarolineConcatto case RoundDown: incr = guard != 0 && isNegative; break; 23664ab3302SCarolineConcatto case RoundToZero: break; 23764ab3302SCarolineConcatto case RoundCompatible: incr = guard >= oneHalf; break; 23864ab3302SCarolineConcatto } 23964ab3302SCarolineConcatto if (incr) { 24064ab3302SCarolineConcatto if (fraction == mask) { 24164ab3302SCarolineConcatto // rounding causes a carry 24264ab3302SCarolineConcatto ++expo; 24364ab3302SCarolineConcatto fraction = topBit; 24464ab3302SCarolineConcatto } else { 24564ab3302SCarolineConcatto ++fraction; 24664ab3302SCarolineConcatto } 24764ab3302SCarolineConcatto } 24864ab3302SCarolineConcatto if (expo == 1 && fraction < topBit) { 24964ab3302SCarolineConcatto expo = 0; // subnormal 25064ab3302SCarolineConcatto } 25164ab3302SCarolineConcatto if (expo >= Binary::maxExponent) { 25264ab3302SCarolineConcatto expo = Binary::maxExponent; // Inf 25364ab3302SCarolineConcatto flags |= Overflow; 25464ab3302SCarolineConcatto fraction = 0; 25564ab3302SCarolineConcatto } 25664ab3302SCarolineConcatto using Raw = typename Binary::RawType; 25764ab3302SCarolineConcatto Raw raw = static_cast<Raw>(isNegative) << (Binary::bits - 1); 25864ab3302SCarolineConcatto raw |= static_cast<Raw>(expo) << Binary::significandBits; 25964ab3302SCarolineConcatto if constexpr (Binary::isImplicitMSB) { 26064ab3302SCarolineConcatto fraction &= ~topBit; 26164ab3302SCarolineConcatto } 26264ab3302SCarolineConcatto raw |= fraction; 26364ab3302SCarolineConcatto return {Binary(raw), static_cast<enum ConversionResultFlags>(flags)}; 26464ab3302SCarolineConcatto } 26564ab3302SCarolineConcatto 26664ab3302SCarolineConcatto template<int PREC, int LOG10RADIX> 26764ab3302SCarolineConcatto ConversionToBinaryResult<PREC> 26864ab3302SCarolineConcatto BigRadixFloatingPointNumber<PREC, LOG10RADIX>::ConvertToBinary() { 26964ab3302SCarolineConcatto // On entry, *this holds a multi-precision integer value in a radix of a 27064ab3302SCarolineConcatto // large power of ten. Its radix point is defined to be to the right of its 27164ab3302SCarolineConcatto // digits, and "exponent_" is the power of ten by which it is to be scaled. 27264ab3302SCarolineConcatto Normalize(); 27364ab3302SCarolineConcatto if (digits_ == 0) { // zero value 27464ab3302SCarolineConcatto return {Real{SignBit()}}; 27564ab3302SCarolineConcatto } 27664ab3302SCarolineConcatto // The value is not zero: x = D. * 10.**E 27764ab3302SCarolineConcatto // Shift our perspective on the radix (& decimal) point so that 27864ab3302SCarolineConcatto // it sits to the *left* of the digits: i.e., x = .D * 10.**E 27964ab3302SCarolineConcatto exponent_ += digits_ * log10Radix; 28064ab3302SCarolineConcatto // Sanity checks for ridiculous exponents 28164ab3302SCarolineConcatto static constexpr int crazy{2 * Real::decimalRange + log10Radix}; 28264ab3302SCarolineConcatto if (exponent_ < -crazy) { // underflow to +/-0. 28364ab3302SCarolineConcatto return {Real{SignBit()}, Inexact}; 28464ab3302SCarolineConcatto } else if (exponent_ > crazy) { // overflow to +/-Inf. 28564ab3302SCarolineConcatto return {Real{Infinity()}, Overflow}; 28664ab3302SCarolineConcatto } 28764ab3302SCarolineConcatto // Apply any negative decimal exponent by multiplication 28864ab3302SCarolineConcatto // by a power of two, adjusting the binary exponent to compensate. 28964ab3302SCarolineConcatto IntermediateFloat<PREC> f; 29064ab3302SCarolineConcatto while (exponent_ < log10Radix) { 29164ab3302SCarolineConcatto // x = 0.D * 10.**E * 2.**(f.ex) -> 512 * 0.D * 10.**E * 2.**(f.ex-9) 29264ab3302SCarolineConcatto f.AdjustExponent(-9); 29364ab3302SCarolineConcatto digitLimit_ = digits_; 29464ab3302SCarolineConcatto if (int carry{MultiplyWithoutNormalization<512>()}) { 29564ab3302SCarolineConcatto // x = c.D * 10.**E * 2.**(f.ex) -> .cD * 10.**(E+16) * 2.**(f.ex) 29664ab3302SCarolineConcatto PushCarry(carry); 29764ab3302SCarolineConcatto exponent_ += log10Radix; 29864ab3302SCarolineConcatto } 29964ab3302SCarolineConcatto } 30064ab3302SCarolineConcatto // Apply any positive decimal exponent greater than 30164ab3302SCarolineConcatto // is needed to treat the topmost digit as an integer 30264ab3302SCarolineConcatto // part by multiplying by 10 or 10000 repeatedly. 30364ab3302SCarolineConcatto while (exponent_ > log10Radix) { 30464ab3302SCarolineConcatto digitLimit_ = digits_; 30564ab3302SCarolineConcatto int carry; 30664ab3302SCarolineConcatto if (exponent_ >= log10Radix + 4) { 30764ab3302SCarolineConcatto // x = 0.D * 10.**E * 2.**(f.ex) -> 625 * .D * 10.**(E-4) * 2.**(f.ex+4) 30864ab3302SCarolineConcatto exponent_ -= 4; 30964ab3302SCarolineConcatto carry = MultiplyWithoutNormalization<(5 * 5 * 5 * 5)>(); 31064ab3302SCarolineConcatto f.AdjustExponent(4); 31164ab3302SCarolineConcatto } else { 31264ab3302SCarolineConcatto // x = 0.D * 10.**E * 2.**(f.ex) -> 5 * .D * 10.**(E-1) * 2.**(f.ex+1) 31364ab3302SCarolineConcatto --exponent_; 31464ab3302SCarolineConcatto carry = MultiplyWithoutNormalization<5>(); 31564ab3302SCarolineConcatto f.AdjustExponent(1); 31664ab3302SCarolineConcatto } 31764ab3302SCarolineConcatto if (carry != 0) { 31864ab3302SCarolineConcatto // x = c.D * 10.**E * 2.**(f.ex) -> .cD * 10.**(E+16) * 2.**(f.ex) 31964ab3302SCarolineConcatto PushCarry(carry); 32064ab3302SCarolineConcatto exponent_ += log10Radix; 32164ab3302SCarolineConcatto } 32264ab3302SCarolineConcatto } 32364ab3302SCarolineConcatto // So exponent_ is now log10Radix, meaning that the 32464ab3302SCarolineConcatto // MSD can be taken as an integer part and transferred 32564ab3302SCarolineConcatto // to the binary result. 32664ab3302SCarolineConcatto // x = .jD * 10.**16 * 2.**(f.ex) -> .D * j * 2.**(f.ex) 32764ab3302SCarolineConcatto int guardShift{f.SetTo(digit_[--digits_])}; 32864ab3302SCarolineConcatto // Transfer additional bits until the result is normal. 32964ab3302SCarolineConcatto digitLimit_ = digits_; 33064ab3302SCarolineConcatto while (!f.IsFull()) { 33164ab3302SCarolineConcatto // x = ((b.D)/2) * j * 2.**(f.ex) -> .D * (2j + b) * 2.**(f.ex-1) 33264ab3302SCarolineConcatto f.AdjustExponent(-1); 33364ab3302SCarolineConcatto std::uint32_t carry = MultiplyWithoutNormalization<2>(); 33464ab3302SCarolineConcatto f.ShiftIn(carry); 33564ab3302SCarolineConcatto } 33664ab3302SCarolineConcatto // Get the next few bits for rounding. Allow for some guard bits 33764ab3302SCarolineConcatto // that may have already been set in f.SetTo() above. 33864ab3302SCarolineConcatto int guard{0}; 33964ab3302SCarolineConcatto if (guardShift == 0) { 34064ab3302SCarolineConcatto guard = MultiplyWithoutNormalization<4>(); 34164ab3302SCarolineConcatto } else if (guardShift == 1) { 34264ab3302SCarolineConcatto guard = MultiplyWithoutNormalization<2>(); 34364ab3302SCarolineConcatto } 34464ab3302SCarolineConcatto guard = guard + guard + !IsZero(); 34564ab3302SCarolineConcatto f.SetGuard(guard); 34664ab3302SCarolineConcatto return f.ToBinary(isNegative_, rounding_); 34764ab3302SCarolineConcatto } 34864ab3302SCarolineConcatto 34964ab3302SCarolineConcatto template<int PREC, int LOG10RADIX> 35064ab3302SCarolineConcatto ConversionToBinaryResult<PREC> 35164ab3302SCarolineConcatto BigRadixFloatingPointNumber<PREC, LOG10RADIX>::ConvertToBinary(const char *&p) { 35264ab3302SCarolineConcatto bool inexact{false}; 35364ab3302SCarolineConcatto if (ParseNumber(p, inexact)) { 35464ab3302SCarolineConcatto auto result{ConvertToBinary()}; 35564ab3302SCarolineConcatto if (inexact) { 35664ab3302SCarolineConcatto result.flags = 35764ab3302SCarolineConcatto static_cast<enum ConversionResultFlags>(result.flags | Inexact); 35864ab3302SCarolineConcatto } 35964ab3302SCarolineConcatto return result; 36064ab3302SCarolineConcatto } else { 36164ab3302SCarolineConcatto // Could not parse a decimal floating-point number. p has been 36264ab3302SCarolineConcatto // advanced over any leading spaces. 36364ab3302SCarolineConcatto if (toupper(p[0]) == 'N' && toupper(p[1]) == 'A' && toupper(p[2]) == 'N') { 36464ab3302SCarolineConcatto // NaN 36564ab3302SCarolineConcatto p += 3; 36664ab3302SCarolineConcatto return {Real{NaN()}}; 36764ab3302SCarolineConcatto } else { 36864ab3302SCarolineConcatto // Try to parse Inf, maybe with a sign 36964ab3302SCarolineConcatto const char *q{p}; 37064ab3302SCarolineConcatto isNegative_ = *q == '-'; 37164ab3302SCarolineConcatto if (*q == '-' || *q == '+') { 37264ab3302SCarolineConcatto ++q; 37364ab3302SCarolineConcatto } 37464ab3302SCarolineConcatto if (toupper(q[0]) == 'I' && toupper(q[1]) == 'N' && 37564ab3302SCarolineConcatto toupper(q[2]) == 'F') { 37664ab3302SCarolineConcatto p = q + 3; 37764ab3302SCarolineConcatto return {Real{Infinity()}}; 37864ab3302SCarolineConcatto } else { 37964ab3302SCarolineConcatto // Invalid input 38064ab3302SCarolineConcatto return {Real{NaN()}, Invalid}; 38164ab3302SCarolineConcatto } 38264ab3302SCarolineConcatto } 38364ab3302SCarolineConcatto } 38464ab3302SCarolineConcatto } 38564ab3302SCarolineConcatto 38664ab3302SCarolineConcatto template<int PREC> 38764ab3302SCarolineConcatto ConversionToBinaryResult<PREC> ConvertToBinary( 38864ab3302SCarolineConcatto const char *&p, enum FortranRounding rounding) { 38964ab3302SCarolineConcatto return BigRadixFloatingPointNumber<PREC>{rounding}.ConvertToBinary(p); 39064ab3302SCarolineConcatto } 39164ab3302SCarolineConcatto 39264ab3302SCarolineConcatto template ConversionToBinaryResult<8> ConvertToBinary<8>( 39364ab3302SCarolineConcatto const char *&, enum FortranRounding); 39464ab3302SCarolineConcatto template ConversionToBinaryResult<11> ConvertToBinary<11>( 39564ab3302SCarolineConcatto const char *&, enum FortranRounding); 39664ab3302SCarolineConcatto template ConversionToBinaryResult<24> ConvertToBinary<24>( 39764ab3302SCarolineConcatto const char *&, enum FortranRounding); 39864ab3302SCarolineConcatto template ConversionToBinaryResult<53> ConvertToBinary<53>( 39964ab3302SCarolineConcatto const char *&, enum FortranRounding); 40064ab3302SCarolineConcatto template ConversionToBinaryResult<64> ConvertToBinary<64>( 40164ab3302SCarolineConcatto const char *&, enum FortranRounding); 402*b7a5b5c7Speter klausler template ConversionToBinaryResult<113> ConvertToBinary<113>( 40364ab3302SCarolineConcatto const char *&, enum FortranRounding); 40464ab3302SCarolineConcatto 40564ab3302SCarolineConcatto extern "C" { 40664ab3302SCarolineConcatto enum ConversionResultFlags ConvertDecimalToFloat( 40764ab3302SCarolineConcatto const char **p, float *f, enum FortranRounding rounding) { 40864ab3302SCarolineConcatto auto result{Fortran::decimal::ConvertToBinary<24>(*p, rounding)}; 40964ab3302SCarolineConcatto std::memcpy(reinterpret_cast<void *>(f), 41064ab3302SCarolineConcatto reinterpret_cast<const void *>(&result.binary), sizeof *f); 41164ab3302SCarolineConcatto return result.flags; 41264ab3302SCarolineConcatto } 41364ab3302SCarolineConcatto enum ConversionResultFlags ConvertDecimalToDouble( 41464ab3302SCarolineConcatto const char **p, double *d, enum FortranRounding rounding) { 41564ab3302SCarolineConcatto auto result{Fortran::decimal::ConvertToBinary<53>(*p, rounding)}; 41664ab3302SCarolineConcatto std::memcpy(reinterpret_cast<void *>(d), 41764ab3302SCarolineConcatto reinterpret_cast<const void *>(&result.binary), sizeof *d); 41864ab3302SCarolineConcatto return result.flags; 41964ab3302SCarolineConcatto } 42064ab3302SCarolineConcatto #if __x86_64__ && !defined(_MSC_VER) 42164ab3302SCarolineConcatto enum ConversionResultFlags ConvertDecimalToLongDouble( 42264ab3302SCarolineConcatto const char **p, long double *ld, enum FortranRounding rounding) { 42364ab3302SCarolineConcatto auto result{Fortran::decimal::ConvertToBinary<64>(*p, rounding)}; 42464ab3302SCarolineConcatto std::memcpy(reinterpret_cast<void *>(ld), 42564ab3302SCarolineConcatto reinterpret_cast<const void *>(&result.binary), sizeof *ld); 42664ab3302SCarolineConcatto return result.flags; 42764ab3302SCarolineConcatto } 42864ab3302SCarolineConcatto #endif 42964ab3302SCarolineConcatto } 43064ab3302SCarolineConcatto } 431