1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
// Copyright (C) 2022-2024 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
// { dg-do run { target c++23 } }
// { dg-require-effective-target ieee_floats }
// { dg-require-effective-target size32plus }
// { dg-add-options ieee }
#include <charconv>
#include <stdfloat>
#include <limits>
#include <numbers>
#include <testsuite_hooks.h>
#if defined(__STDCPP_FLOAT128_T__) \
&& (defined(_GLIBCXX_LDOUBLE_IS_IEEE_BINARY128) \
|| defined(_GLIBCXX_HAVE_FLOAT128_MATH))
void
test(std::chars_format fmt = std::chars_format{})
{
std::float128_t tests[] = {
std::numeric_limits<std::float128_t>::denorm_min(),
std::numeric_limits<std::float128_t>::min(),
0.0f128,
-42.0f128,
1234.5678912345f128,
std::numbers::e_v<std::float128_t>,
std::numbers::log2e_v<std::float128_t>,
std::numbers::log10e_v<std::float128_t>,
std::numbers::pi_v<std::float128_t>,
std::numbers::inv_pi_v<std::float128_t>,
std::numbers::inv_sqrtpi_v<std::float128_t>,
std::numbers::ln2_v<std::float128_t>,
std::numbers::ln10_v<std::float128_t>,
std::numbers::sqrt2_v<std::float128_t>,
std::numbers::sqrt3_v<std::float128_t>,
std::numbers::inv_sqrt3_v<std::float128_t>,
std::numbers::egamma_v<std::float128_t>,
std::numbers::phi_v<std::float128_t>,
// Solaris has non-conforming printf, see PR98384 and PR107815.
#if !(defined(__sun__) && defined(__svr4__))
std::numeric_limits<std::float128_t>::max()
#endif
};
char str1[10000], str2[10000];
for (auto u : tests)
{
auto [ptr1, ec1] = (fmt == std::chars_format{}
? std::to_chars(str1, str1 + sizeof(str1), u)
: std::to_chars(str1, str1 + sizeof(str1), u, fmt));
VERIFY( ec1 == std::errc() );
// std::cout << u << ' ' << std::string_view (str1, ptr1) << '\n';
if (fmt == std::chars_format::fixed)
{
auto [ptr2, ec2] = std::to_chars(str2, str2 + (ptr1 - str1), u, fmt);
VERIFY( ec2 == std::errc() && ptr2 - str2 == ptr1 - str1 );
auto [ptr3, ec3] = std::to_chars(str2, str2 + (ptr1 - str1 - 1), u, fmt);
VERIFY( ec3 != std::errc() );
}
std::float128_t v;
auto [ptr4, ec4] = std::from_chars(str1, ptr1, v,
fmt == std::chars_format{}
? std::chars_format::general : fmt);
VERIFY( ec4 == std::errc() && ptr4 == ptr1 );
VERIFY( u == v );
if (fmt == std::chars_format{})
continue;
auto [ptr5, ec5] = std::to_chars(str1, str1 + sizeof(str1), u, fmt, 90);
VERIFY( ec5 == std::errc() );
// std::cout << u << ' ' << std::string_view (str1, ptr5) << '\n';
v = 4.0f128;
auto [ptr6, ec6] = std::from_chars(str1, ptr5, v, fmt);
VERIFY( ec6 == std::errc() && ptr6 == ptr5 );
if (fmt == std::chars_format::fixed && u > 0.0f128 && u < 0.000001f128)
VERIFY( v == 0.0 );
else
VERIFY( u == v );
}
}
#endif
int
main()
{
#if defined(__STDCPP_FLOAT128_T__) \
&& (defined(_GLIBCXX_LDOUBLE_IS_IEEE_BINARY128) \
|| defined(_GLIBCXX_HAVE_FLOAT128_MATH))
test();
test(std::chars_format::fixed);
test(std::chars_format::scientific);
test(std::chars_format::general);
test(std::chars_format::hex);
#endif
}
|
