blob: a2bd63524cb95d668ac7a92037ade8867e5e0d4e [file] [log] [blame]
//===-- flang/unittests/RuntimeGTest/NumericalFormatTest.cpp ----*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#include "CrashHandlerFixture.h"
#include "flang/Runtime/descriptor.h"
#include "flang/Runtime/io-api.h"
#include <algorithm>
#include <array>
#include <cstring>
#include <gtest/gtest.h>
#include <tuple>
using namespace Fortran::runtime;
using namespace Fortran::runtime::io;
static bool CompareFormattedStrings(
const std::string &expect, const std::string &&got) {
std::string want{expect};
want.resize(got.size(), ' ');
return want == got;
}
static bool CompareFormattedStrings(
const char *expect, const std::string &&got) {
return CompareFormattedStrings(std::string(expect), std::move(got));
}
// Perform format and compare the result with expected value
static bool CompareFormatReal(
const char *format, double x, const char *expect) {
char buffer[800];
auto cookie{IONAME(BeginInternalFormattedOutput)(
buffer, sizeof buffer, format, std::strlen(format))};
EXPECT_TRUE(IONAME(OutputReal64)(cookie, x));
auto status{IONAME(EndIoStatement)(cookie)};
EXPECT_EQ(status, 0);
return CompareFormattedStrings(expect, std::string{buffer, sizeof buffer});
}
// Convert raw uint64 into double, perform format, and compare with expected
static bool CompareFormatReal(
const char *format, std::uint64_t xInt, const char *expect) {
double x;
static_assert(sizeof(double) == sizeof(std::uint64_t),
"Size of double != size of uint64_t!");
std::memcpy(&x, &xInt, sizeof xInt);
return CompareFormatReal(format, x, expect);
}
struct IOApiTests : CrashHandlerFixture {};
TEST(IOApiTests, HelloWorldOutputTest) {
static constexpr int bufferSize{32};
char buffer[bufferSize];
// Create format for all types and values to be written
const char *format{"(6HHELLO,,A6,2X,I3,1X,'0x',Z8,1X,L1)"};
auto cookie{IONAME(BeginInternalFormattedOutput)(
buffer, bufferSize, format, std::strlen(format))};
// Write string, integer, and logical values to buffer
IONAME(OutputAscii)(cookie, "WORLD", 5);
IONAME(OutputInteger64)(cookie, 678);
IONAME(OutputInteger32)(cookie, 0xfeedface);
IONAME(OutputLogical)(cookie, true);
// Ensure IO succeeded
auto status{IONAME(EndIoStatement)(cookie)};
ASSERT_EQ(status, 0) << "hello: '" << format << "' failed, status "
<< static_cast<int>(status);
// Ensure final buffer matches expected string output
static const std::string expect{"HELLO, WORLD 678 0xFEEDFACE T"};
ASSERT_TRUE(
CompareFormattedStrings(expect, std::string{buffer, sizeof buffer}))
<< "Expected '" << expect << "', got " << buffer;
}
TEST(IOApiTests, MultilineOutputTest) {
// Allocate buffer for multiline output
static constexpr int numLines{5};
static constexpr int lineLength{32};
char buffer[numLines][lineLength];
// Create descriptor for entire buffer
static constexpr int staticDescriptorMaxRank{1};
StaticDescriptor<staticDescriptorMaxRank> wholeStaticDescriptor;
Descriptor &whole{wholeStaticDescriptor.descriptor()};
static const SubscriptValue extent[]{numLines};
whole.Establish(TypeCode{CFI_type_char}, /*elementBytes=*/lineLength, &buffer,
staticDescriptorMaxRank, extent, CFI_attribute_pointer);
whole.Dump(stderr);
whole.Check();
// Create descriptor for buffer section
StaticDescriptor<staticDescriptorMaxRank> sectionStaticDescriptor;
Descriptor &section{sectionStaticDescriptor.descriptor()};
static const SubscriptValue lowers[]{0}, uppers[]{4}, strides[]{1};
section.Establish(whole.type(), /*elementBytes=*/whole.ElementBytes(),
nullptr, /*maxRank=*/staticDescriptorMaxRank, extent,
CFI_attribute_pointer);
// Ensure C descriptor address `section.raw()` is updated without error
const auto error{
CFI_section(&section.raw(), &whole.raw(), lowers, uppers, strides)};
ASSERT_EQ(error, 0) << "multiline: CFI_section failed: " << error;
section.Dump(stderr);
section.Check();
// Create format string and initialize IO operation
const char *format{
"('?abcde,',T1,'>',T9,A,TL12,A,TR25,'<'//G0,17X,'abcd',1(2I4))"};
auto cookie{IONAME(BeginInternalArrayFormattedOutput)(
section, format, std::strlen(format))};
// Write data to buffer
IONAME(OutputAscii)(cookie, "WORLD", 5);
IONAME(OutputAscii)(cookie, "HELLO", 5);
IONAME(OutputInteger64)(cookie, 789);
for (int j{666}; j <= 999; j += 111) {
IONAME(OutputInteger64)(cookie, j);
}
// Ensure no errors occured in write operations above
const auto status{IONAME(EndIoStatement)(cookie)};
ASSERT_EQ(status, 0) << "multiline: '" << format << "' failed, status "
<< static_cast<int>(status);
static const std::string expect{">HELLO, WORLD <"
" "
"789 abcd 666 777"
" 888 999 "
" "};
// Ensure formatted string matches expected output
EXPECT_TRUE(
CompareFormattedStrings(expect, std::string{buffer[0], sizeof buffer}))
<< "Expected '" << expect << "' but got '"
<< std::string{buffer[0], sizeof buffer} << "'";
}
TEST(IOApiTests, ListInputTest) {
static const char input[]{",1*,(5.,6.),(7.0,8.0)"};
auto cookie{IONAME(BeginInternalListInput)(input, sizeof input - 1)};
// Create real values for IO tests
static constexpr int numRealValues{8};
float z[numRealValues];
for (int j{0}; j < numRealValues; ++j) {
z[j] = -(j + 1);
}
// Ensure reading complex values to floats does not result in an error
for (int j{0}; j < numRealValues; j += 2) {
ASSERT_TRUE(IONAME(InputComplex32)(cookie, &z[j]))
<< "InputComplex32 failed with value " << z[j];
}
// Ensure no IO errors occured during IO operations above
auto status{IONAME(EndIoStatement)(cookie)};
ASSERT_EQ(status, 0) << "Failed complex list-directed input, status "
<< static_cast<int>(status);
// Ensure writing complex values from floats does not result in an error
static constexpr int bufferSize{39};
char output[bufferSize];
output[bufferSize - 1] = '\0';
cookie = IONAME(BeginInternalListOutput)(output, bufferSize - 1);
for (int j{0}; j < numRealValues; j += 2) {
ASSERT_TRUE(IONAME(OutputComplex32)(cookie, z[j], z[j + 1]))
<< "OutputComplex32 failed when outputting value " << z[j] << ", "
<< z[j + 1];
}
// Ensure no IO errors occured during IO operations above
status = IONAME(EndIoStatement)(cookie);
ASSERT_EQ(status, 0) << "Failed complex list-directed output, status "
<< static_cast<int>(status);
// Verify output buffer against expected value
static const char expect[bufferSize]{
" (-1.,-2.) (-3.,-4.) (5.,6.) (7.,8.) "};
ASSERT_EQ(std::strncmp(output, expect, bufferSize), 0)
<< "Failed complex list-directed output, expected '" << expect
<< "', but got '" << output << "'";
}
TEST(IOApiTests, DescriptorOutputTest) {
static constexpr int bufferSize{10};
char buffer[bufferSize];
const char *format{"(2A4)"};
auto cookie{IONAME(BeginInternalFormattedOutput)(
buffer, bufferSize, format, std::strlen(format))};
// Create descriptor for output
static constexpr int staticDescriptorMaxRank{1};
StaticDescriptor<staticDescriptorMaxRank> staticDescriptor;
Descriptor &desc{staticDescriptor.descriptor()};
static constexpr int subscriptExtent{2};
static const SubscriptValue extent[]{subscriptExtent};
// Manually write to descriptor buffer
static constexpr int dataLength{4};
char data[subscriptExtent][dataLength];
std::memcpy(data[0], "ABCD", dataLength);
std::memcpy(data[1], "EFGH", dataLength);
desc.Establish(TypeCode{CFI_type_char}, dataLength, &data,
staticDescriptorMaxRank, extent);
desc.Dump(stderr);
desc.Check();
IONAME(OutputDescriptor)(cookie, desc);
// Ensure no errors were encountered in initializing the cookie and descriptor
auto formatStatus{IONAME(EndIoStatement)(cookie)};
ASSERT_EQ(formatStatus, 0)
<< "descrOutputTest: '" << format << "' failed, status "
<< static_cast<int>(formatStatus);
// Ensure buffer matches expected output
EXPECT_TRUE(
CompareFormattedStrings("ABCDEFGH ", std::string{buffer, sizeof buffer}))
<< "descrOutputTest: formatted: got '"
<< std::string{buffer, sizeof buffer} << "'";
// Begin list-directed output on cookie by descriptor
cookie = IONAME(BeginInternalListOutput)(buffer, sizeof buffer);
IONAME(OutputDescriptor)(cookie, desc);
// Ensure list-directed output does not result in an IO error
auto listDirectedStatus{IONAME(EndIoStatement)(cookie)};
ASSERT_EQ(listDirectedStatus, 0)
<< "descrOutputTest: list-directed failed, status "
<< static_cast<int>(listDirectedStatus);
// Ensure buffer matches expected output
EXPECT_TRUE(
CompareFormattedStrings(" ABCDEFGH ", std::string{buffer, sizeof buffer}))
<< "descrOutputTest: list-directed: got '"
<< std::string{buffer, sizeof buffer} << "'";
}
//------------------------------------------------------------------------------
/// Tests for output formatting real values
//------------------------------------------------------------------------------
TEST(IOApiTests, FormatZeroes) {
static constexpr std::pair<const char *, const char *> zeroes[]{
{"(E32.17,';')", " 0.00000000000000000E+00;"},
{"(F32.17,';')", " 0.00000000000000000;"},
{"(G32.17,';')", " 0.0000000000000000 ;"},
{"(DC,E32.17,';')", " 0,00000000000000000E+00;"},
{"(DC,F32.17,';')", " 0,00000000000000000;"},
{"(DC,G32.17,';')", " 0,0000000000000000 ;"},
{"(D32.17,';')", " 0.00000000000000000D+00;"},
{"(E32.17E1,';')", " 0.00000000000000000E+0;"},
{"(G32.17E1,';')", " 0.0000000000000000 ;"},
{"(E32.17E0,';')", " 0.00000000000000000E+0;"},
{"(G32.17E0,';')", " 0.0000000000000000 ;"},
{"(1P,E32.17,';')", " 0.00000000000000000E+00;"},
{"(1PE32.17,';')", " 0.00000000000000000E+00;"}, // no comma
{"(1P,F32.17,';')", " 0.00000000000000000;"},
{"(1P,G32.17,';')", " 0.0000000000000000 ;"},
{"(2P,E32.17,';')", " 00.0000000000000000E+00;"},
{"(-1P,E32.17,';')", " 0.00000000000000000E+00;"},
{"(G0,';')", "0.;"},
};
for (auto const &[format, expect] : zeroes) {
ASSERT_TRUE(CompareFormatReal(format, 0.0, expect))
<< "Failed to format " << format << ", expected " << expect;
}
}
TEST(IOApiTests, FormatOnes) {
static constexpr std::pair<const char *, const char *> ones[]{
{"(E32.17,';')", " 0.10000000000000000E+01;"},
{"(F32.17,';')", " 1.00000000000000000;"},
{"(G32.17,';')", " 1.0000000000000000 ;"},
{"(E32.17E1,';')", " 0.10000000000000000E+1;"},
{"(G32.17E1,';')", " 1.0000000000000000 ;"},
{"(E32.17E0,';')", " 0.10000000000000000E+1;"},
{"(G32.17E0,';')", " 1.0000000000000000 ;"},
{"(E32.17E4,';')", " 0.10000000000000000E+0001;"},
{"(G32.17E4,';')", " 1.0000000000000000 ;"},
{"(1P,E32.17,';')", " 1.00000000000000000E+00;"},
{"(1PE32.17,';')", " 1.00000000000000000E+00;"}, // no comma
{"(1P,F32.17,';')", " 10.00000000000000000;"},
{"(1P,G32.17,';')", " 1.0000000000000000 ;"},
{"(ES32.17,';')", " 1.00000000000000000E+00;"},
{"(2P,E32.17,';')", " 10.0000000000000000E-01;"},
{"(2P,G32.17,';')", " 1.0000000000000000 ;"},
{"(-1P,E32.17,';')", " 0.01000000000000000E+02;"},
{"(-1P,G32.17,';')", " 1.0000000000000000 ;"},
{"(G0,';')", "1.;"},
};
for (auto const &[format, expect] : ones) {
ASSERT_TRUE(CompareFormatReal(format, 1.0, expect))
<< "Failed to format " << format << ", expected " << expect;
}
}
TEST(IOApiTests, FormatNegativeOnes) {
static constexpr std::tuple<const char *, const char *> negOnes[]{
{"(E32.17,';')", " -0.10000000000000000E+01;"},
{"(F32.17,';')", " -1.00000000000000000;"},
{"(G32.17,';')", " -1.0000000000000000 ;"},
{"(G0,';')", "-1.;"},
};
for (auto const &[format, expect] : negOnes) {
ASSERT_TRUE(CompareFormatReal(format, -1.0, expect))
<< "Failed to format " << format << ", expected " << expect;
}
}
// Each test case contains a raw uint64, a format string for a real value, and
// the expected resulting string from formatting the raw uint64. The double
// representation of the uint64 is commented above each test case.
TEST(IOApiTests, FormatDoubleValues) {
using TestCaseTy = std::tuple<std::uint64_t,
std::vector<std::tuple<const char *, const char *>>>;
static const std::vector<TestCaseTy> testCases{
{// -0
0x8000000000000000,
{
{"(E9.1,';')", " -0.0E+00;"},
{"(F4.0,';')", " -0.;"},
{"(G8.0,';')", "-0.0E+00;"},
{"(G8.1,';')", " -0. ;"},
{"(G0,';')", "-0.;"},
{"(E9.1,';')", " -0.0E+00;"},
}},
{// +Inf
0x7ff0000000000000,
{
{"(E9.1,';')", " Inf;"},
{"(F9.1,';')", " Inf;"},
{"(G9.1,';')", " Inf;"},
{"(SP,E9.1,';')", " +Inf;"},
{"(SP,F9.1,';')", " +Inf;"},
{"(SP,G9.1,';')", " +Inf;"},
{"(G0,';')", "Inf;"},
}},
{// -Inf
0xfff0000000000000,
{
{"(E9.1,';')", " -Inf;"},
{"(F9.1,';')", " -Inf;"},
{"(G9.1,';')", " -Inf;"},
{"(G0,';')", "-Inf;"},
}},
{// NaN
0x7ff0000000000001,
{
{"(E9.1,';')", " NaN;"},
{"(F9.1,';')", " NaN;"},
{"(G9.1,';')", " NaN;"},
{"(G0,';')", "NaN;"},
}},
{// NaN (sign irrelevant)
0xfff0000000000001,
{
{"(E9.1,';')", " NaN;"},
{"(F9.1,';')", " NaN;"},
{"(G9.1,';')", " NaN;"},
{"(SP,E9.1,';')", " NaN;"},
{"(SP,F9.1,';')", " NaN;"},
{"(SP,G9.1,';')", " NaN;"},
{"(G0,';')", "NaN;"},
}},
{// 0.1 rounded
0x3fb999999999999a,
{
{"(E62.55,';')",
" 0.1000000000000000055511151231257827021181583404541015625E+"
"00;"},
{"(E0.0,';')", "0.E+00;"},
{"(E0.55,';')",
"0.1000000000000000055511151231257827021181583404541015625E+"
"00;"},
{"(E0,';')", ".1E+00;"},
{"(F58.55,';')",
" 0."
"1000000000000000055511151231257827021181583404541015625;"},
{"(F0.0,';')", "0.;"},
{"(F0.55,';')",
".1000000000000000055511151231257827021181583404541015625;"},
{"(F0,';')", ".1;"},
{"(G62.55,';')",
" 0.1000000000000000055511151231257827021181583404541015625 "
" ;"},
{"(G0.0,';')", "0.;"},
{"(G0.55,';')",
".1000000000000000055511151231257827021181583404541015625;"},
{"(G0,';')", ".1;"},
}},
{// 1.5
0x3ff8000000000000,
{
{"(E9.2,';')", " 0.15E+01;"},
{"(F4.1,';')", " 1.5;"},
{"(G7.1,';')", " 2. ;"},
{"(RN,E8.1,';')", " 0.2E+01;"},
{"(RN,F3.0,';')", " 2.;"},
{"(RN,G7.0,';')", " 0.E+01;"},
{"(RN,G7.1,';')", " 2. ;"},
{"(RD,E8.1,';')", " 0.1E+01;"},
{"(RD,F3.0,';')", " 1.;"},
{"(RD,G7.0,';')", " 0.E+01;"},
{"(RD,G7.1,';')", " 1. ;"},
{"(RU,E8.1,';')", " 0.2E+01;"},
{"(RU,G7.0,';')", " 0.E+01;"},
{"(RU,G7.1,';')", " 2. ;"},
{"(RZ,E8.1,';')", " 0.1E+01;"},
{"(RZ,F3.0,';')", " 1.;"},
{"(RZ,G7.0,';')", " 0.E+01;"},
{"(RZ,G7.1,';')", " 1. ;"},
{"(RC,E8.1,';')", " 0.2E+01;"},
{"(RC,F3.0,';')", " 2.;"},
{"(RC,G7.0,';')", " 0.E+01;"},
{"(RC,G7.1,';')", " 2. ;"},
}},
{// -1.5
0xbff8000000000000,
{
{"(E9.2,';')", "-0.15E+01;"},
{"(RN,E8.1,';')", "-0.2E+01;"},
{"(RD,E8.1,';')", "-0.2E+01;"},
{"(RU,E8.1,';')", "-0.1E+01;"},
{"(RZ,E8.1,';')", "-0.1E+01;"},
{"(RC,E8.1,';')", "-0.2E+01;"},
}},
{// 2.5
0x4004000000000000,
{
{"(E9.2,';')", " 0.25E+01;"},
{"(RN,E8.1,';')", " 0.2E+01;"},
{"(RD,E8.1,';')", " 0.2E+01;"},
{"(RU,E8.1,';')", " 0.3E+01;"},
{"(RZ,E8.1,';')", " 0.2E+01;"},
{"(RC,E8.1,';')", " 0.3E+01;"},
}},
{// -2.5
0xc004000000000000,
{
{"(E9.2,';')", "-0.25E+01;"},
{"(RN,E8.1,';')", "-0.2E+01;"},
{"(RD,E8.1,';')", "-0.3E+01;"},
{"(RU,E8.1,';')", "-0.2E+01;"},
{"(RZ,E8.1,';')", "-0.2E+01;"},
{"(RC,E8.1,';')", "-0.3E+01;"},
}},
{// least positive nonzero subnormal
1,
{
{"(E32.17,';')", " 0.49406564584124654-323;"},
{"(ES32.17,';')", " 4.94065645841246544-324;"},
{"(EN32.17,';')", " 4.94065645841246544-324;"},
{"(E759.752,';')",
" 0."
"494065645841246544176568792868221372365059802614324764425585"
"682500675507270208751865299836361635992379796564695445717730"
"926656710355939796398774796010781878126300713190311404527845"
"817167848982103688718636056998730723050006387409153564984387"
"312473397273169615140031715385398074126238565591171026658556"
"686768187039560310624931945271591492455329305456544401127480"
"129709999541931989409080416563324524757147869014726780159355"
"238611550134803526493472019379026810710749170333222684475333"
"572083243193609238289345836806010601150616980975307834227731"
"832924790498252473077637592724787465608477820373446969953364"
"701797267771758512566055119913150489110145103786273816725095"
"583738973359899366480994116420570263709027924276754456522908"
"75386825064197182655334472656250-323;"},
{"(G0,';')", ".5-323;"},
{"(E757.750,';')",
" 0."
"494065645841246544176568792868221372365059802614324764425585"
"682500675507270208751865299836361635992379796564695445717730"
"926656710355939796398774796010781878126300713190311404527845"
"817167848982103688718636056998730723050006387409153564984387"
"312473397273169615140031715385398074126238565591171026658556"
"686768187039560310624931945271591492455329305456544401127480"
"129709999541931989409080416563324524757147869014726780159355"
"238611550134803526493472019379026810710749170333222684475333"
"572083243193609238289345836806010601150616980975307834227731"
"832924790498252473077637592724787465608477820373446969953364"
"701797267771758512566055119913150489110145103786273816725095"
"583738973359899366480994116420570263709027924276754456522908"
"753868250641971826553344726562-323;"},
{"(RN,E757.750,';')",
" 0."
"494065645841246544176568792868221372365059802614324764425585"
"682500675507270208751865299836361635992379796564695445717730"
"926656710355939796398774796010781878126300713190311404527845"
"817167848982103688718636056998730723050006387409153564984387"
"312473397273169615140031715385398074126238565591171026658556"
"686768187039560310624931945271591492455329305456544401127480"
"129709999541931989409080416563324524757147869014726780159355"
"238611550134803526493472019379026810710749170333222684475333"
"572083243193609238289345836806010601150616980975307834227731"
"832924790498252473077637592724787465608477820373446969953364"
"701797267771758512566055119913150489110145103786273816725095"
"583738973359899366480994116420570263709027924276754456522908"
"753868250641971826553344726562-323;"},
{"(RD,E757.750,';')",
" 0."
"494065645841246544176568792868221372365059802614324764425585"
"682500675507270208751865299836361635992379796564695445717730"
"926656710355939796398774796010781878126300713190311404527845"
"817167848982103688718636056998730723050006387409153564984387"
"312473397273169615140031715385398074126238565591171026658556"
"686768187039560310624931945271591492455329305456544401127480"
"129709999541931989409080416563324524757147869014726780159355"
"238611550134803526493472019379026810710749170333222684475333"
"572083243193609238289345836806010601150616980975307834227731"
"832924790498252473077637592724787465608477820373446969953364"
"701797267771758512566055119913150489110145103786273816725095"
"583738973359899366480994116420570263709027924276754456522908"
"753868250641971826553344726562-323;"},
{"(RU,E757.750,';')",
" 0."
"494065645841246544176568792868221372365059802614324764425585"
"682500675507270208751865299836361635992379796564695445717730"
"926656710355939796398774796010781878126300713190311404527845"
"817167848982103688718636056998730723050006387409153564984387"
"312473397273169615140031715385398074126238565591171026658556"
"686768187039560310624931945271591492455329305456544401127480"
"129709999541931989409080416563324524757147869014726780159355"
"238611550134803526493472019379026810710749170333222684475333"
"572083243193609238289345836806010601150616980975307834227731"
"832924790498252473077637592724787465608477820373446969953364"
"701797267771758512566055119913150489110145103786273816725095"
"583738973359899366480994116420570263709027924276754456522908"
"753868250641971826553344726563-323;"},
{"(RC,E757.750,';')",
" 0."
"494065645841246544176568792868221372365059802614324764425585"
"682500675507270208751865299836361635992379796564695445717730"
"926656710355939796398774796010781878126300713190311404527845"
"817167848982103688718636056998730723050006387409153564984387"
"312473397273169615140031715385398074126238565591171026658556"
"686768187039560310624931945271591492455329305456544401127480"
"129709999541931989409080416563324524757147869014726780159355"
"238611550134803526493472019379026810710749170333222684475333"
"572083243193609238289345836806010601150616980975307834227731"
"832924790498252473077637592724787465608477820373446969953364"
"701797267771758512566055119913150489110145103786273816725095"
"583738973359899366480994116420570263709027924276754456522908"
"753868250641971826553344726563-323;"},
}},
{// least positive nonzero normal
0x10000000000000,
{
{"(E723.716,';')",
" 0."
"222507385850720138309023271733240406421921598046233183055332"
"741688720443481391819585428315901251102056406733973103581100"
"515243416155346010885601238537771882113077799353200233047961"
"014744258363607192156504694250373420837525080665061665815894"
"872049117996859163964850063590877011830487479978088775374994"
"945158045160505091539985658247081864511353793580499211598108"
"576605199243335211435239014879569960959128889160299264151106"
"346631339366347758651302937176204732563178148566435087212282"
"863764204484681140761391147706280168985324411002416144742161"
"856716615054015428508471675290190316132277889672970737312333"
"408698898317506783884692609277397797285865965494109136909540"
"61364675687023986783152906809846172109246253967285156250-"
"307;"},
{"(G0,';')", ".22250738585072014-307;"},
}},
{// greatest finite
0x7fefffffffffffffuLL,
{
{"(E32.17,';')", " 0.17976931348623157+309;"},
{"(E317.310,';')",
" 0."
"179769313486231570814527423731704356798070567525844996598917"
"476803157260780028538760589558632766878171540458953514382464"
"234321326889464182768467546703537516986049910576551282076245"
"490090389328944075868508455133942304583236903222948165808559"
"332123348274797826204144723168738177180919299881250404026184"
"1248583680+309;"},
{"(ES317.310,';')",
" 1."
"797693134862315708145274237317043567980705675258449965989174"
"768031572607800285387605895586327668781715404589535143824642"
"343213268894641827684675467035375169860499105765512820762454"
"900903893289440758685084551339423045832369032229481658085593"
"321233482747978262041447231687381771809192998812504040261841"
"2485836800+308;"},
{"(EN319.310,';')",
" 179."
"769313486231570814527423731704356798070567525844996598917476"
"803157260780028538760589558632766878171540458953514382464234"
"321326889464182768467546703537516986049910576551282076245490"
"090389328944075868508455133942304583236903222948165808559332"
"123348274797826204144723168738177180919299881250404026184124"
"8583680000+306;"},
{"(G0,';')", ".17976931348623157+309;"},
}},
};
for (auto const &[value, cases] : testCases) {
for (auto const &[format, expect] : cases) {
ASSERT_TRUE(CompareFormatReal(format, value, expect))
<< "Failed to format " << format << ", expected " << expect;
}
}
using IndividualTestCaseTy = std::tuple<const char *, double, const char *>;
static const std::vector<IndividualTestCaseTy> individualTestCases{
{"(F5.3,';')", 25., "*****;"},
{"(F5.3,';')", 2.5, "2.500;"},
{"(F5.3,';')", 0.25, "0.250;"},
{"(F5.3,';')", 0.025, "0.025;"},
{"(F5.3,';')", 0.0025, "0.003;"},
{"(F5.3,';')", 0.00025, "0.000;"},
{"(F5.3,';')", 0.000025, "0.000;"},
{"(F5.3,';')", -25., "*****;"},
{"(F5.3,';')", -2.5, "*****;"},
{"(F5.3,';')", -0.25, "-.250;"},
{"(F5.3,';')", -0.025, "-.025;"},
{"(F5.3,';')", -0.0025, "-.003;"},
{"(F5.3,';')", -0.00025, "-.000;"},
{"(F5.3,';')", -0.000025, "-.000;"},
{"(F5.3,';')", 99.999, "*****;"},
{"(F5.3,';')", 9.9999, "*****;"},
{"(F5.3,';')", 0.99999, "1.000;"},
{"(F5.3,';')", 0.099999, "0.100;"},
{"(F5.3,';')", 0.0099999, "0.010;"},
{"(F5.3,';')", 0.00099999, "0.001;"},
{"(F5.3,';')", 0.0005, "0.001;"},
{"(F5.3,';')", 0.00049999, "0.000;"},
{"(F5.3,';')", 0.000099999, "0.000;"},
{"(F5.3,';')", -99.999, "*****;"},
{"(F5.3,';')", -9.9999, "*****;"},
{"(F5.3,';')", -0.99999, "*****;"},
{"(F5.3,';')", -0.099999, "-.100;"},
{"(F5.3,';')", -0.0099999, "-.010;"},
{"(F5.3,';')", -0.00099999, "-.001;"},
{"(F5.3,';')", -0.0005, "-.001;"},
{"(F5.3,';')", -0.00049999, "-.000;"},
{"(F5.3,';')", -0.000099999, "-.000;"},
};
for (auto const &[format, value, expect] : individualTestCases) {
ASSERT_TRUE(CompareFormatReal(format, value, expect))
<< "Failed to format " << format << ", expected " << expect;
}
}
//------------------------------------------------------------------------------
/// Tests for input formatting real values
//------------------------------------------------------------------------------
// Ensure double input values correctly map to raw uint64 values
TEST(IOApiTests, FormatDoubleInputValues) {
using TestCaseTy = std::tuple<const char *, const char *, std::uint64_t>;
static const std::vector<TestCaseTy> testCases{
{"(F18.0)", " 0", 0x0},
{"(F18.0)", " ", 0x0},
{"(F18.0)", " -0", 0x8000000000000000},
{"(F18.0)", " 01", 0x3ff0000000000000},
{"(F18.0)", " 1", 0x3ff0000000000000},
{"(F18.0)", " 125.", 0x405f400000000000},
{"(F18.0)", " 12.5", 0x4029000000000000},
{"(F18.0)", " 1.25", 0x3ff4000000000000},
{"(F18.0)", " 01.25", 0x3ff4000000000000},
{"(F18.0)", " .125", 0x3fc0000000000000},
{"(F18.0)", " 0.125", 0x3fc0000000000000},
{"(F18.0)", " .0625", 0x3fb0000000000000},
{"(F18.0)", " 0.0625", 0x3fb0000000000000},
{"(F18.0)", " 125", 0x405f400000000000},
{"(F18.1)", " 125", 0x4029000000000000},
{"(F18.2)", " 125", 0x3ff4000000000000},
{"(F18.3)", " 125", 0x3fc0000000000000},
{"(-1P,F18.0)", " 125", 0x4093880000000000}, // 1250
{"(1P,F18.0)", " 125", 0x4029000000000000}, // 12.5
{"(BZ,F18.0)", " 125 ", 0x4093880000000000}, // 1250
{"(BZ,F18.0)", " 125 . e +1 ", 0x42a6bcc41e900000}, // 1.25e13
{"(DC,F18.0)", " 12,5", 0x4029000000000000},
};
for (auto const &[format, data, want] : testCases) {
auto cookie{IONAME(BeginInternalFormattedInput)(
data, std::strlen(data), format, std::strlen(format))};
union {
double x;
std::uint64_t raw;
} u;
u.raw = 0;
// Read buffer into union value
IONAME(EnableHandlers)(cookie, true, true, true, true, true);
IONAME(InputReal64)(cookie, u.x);
static constexpr int bufferSize{65};
char iomsg[bufferSize];
std::memset(iomsg, '\0', bufferSize - 1);
// Ensure no errors were encountered reading input buffer into union value
IONAME(GetIoMsg)(cookie, iomsg, bufferSize - 1);
auto status{IONAME(EndIoStatement)(cookie)};
ASSERT_EQ(status, 0) << '\'' << format << "' failed reading '" << data
<< "', status " << static_cast<int>(status)
<< " iomsg '" << iomsg << "'";
// Ensure raw uint64 value matches expected conversion from double
ASSERT_EQ(u.raw, want) << '\'' << format << "' failed reading '" << data
<< "', want " << want << ", got " << u.raw;
}
}