xref: /openbsd-src/gnu/llvm/libcxx/include/__charconv/to_chars_base_10.h (revision 4bdff4bed0e3d54e55670334c7d0077db4170f86)
1*4bdff4beSrobert // -*- C++ -*-
2*4bdff4beSrobert //===----------------------------------------------------------------------===//
3*4bdff4beSrobert //
4*4bdff4beSrobert // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5*4bdff4beSrobert // See https://llvm.org/LICENSE.txt for license information.
6*4bdff4beSrobert // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7*4bdff4beSrobert //
8*4bdff4beSrobert //===----------------------------------------------------------------------===//
9*4bdff4beSrobert 
10*4bdff4beSrobert #ifndef _LIBCPP___CHARCONV_TO_CHARS_BASE_10_H
11*4bdff4beSrobert #define _LIBCPP___CHARCONV_TO_CHARS_BASE_10_H
12*4bdff4beSrobert 
13*4bdff4beSrobert #include <__algorithm/copy_n.h>
14*4bdff4beSrobert #include <__charconv/tables.h>
15*4bdff4beSrobert #include <__config>
16*4bdff4beSrobert #include <cstdint>
17*4bdff4beSrobert #include <limits>
18*4bdff4beSrobert 
19*4bdff4beSrobert #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
20*4bdff4beSrobert #  pragma GCC system_header
21*4bdff4beSrobert #endif
22*4bdff4beSrobert 
23*4bdff4beSrobert _LIBCPP_PUSH_MACROS
24*4bdff4beSrobert #include <__undef_macros>
25*4bdff4beSrobert 
26*4bdff4beSrobert _LIBCPP_BEGIN_NAMESPACE_STD
27*4bdff4beSrobert 
28*4bdff4beSrobert #if _LIBCPP_STD_VER > 14
29*4bdff4beSrobert 
30*4bdff4beSrobert namespace __itoa {
31*4bdff4beSrobert 
__append1(char * __first,uint32_t __value)32*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append1(char* __first, uint32_t __value) noexcept {
33*4bdff4beSrobert   *__first = '0' + static_cast<char>(__value);
34*4bdff4beSrobert   return __first + 1;
35*4bdff4beSrobert }
36*4bdff4beSrobert 
__append2(char * __first,uint32_t __value)37*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append2(char* __first, uint32_t __value) noexcept {
38*4bdff4beSrobert   return std::copy_n(&__digits_base_10[__value * 2], 2, __first);
39*4bdff4beSrobert }
40*4bdff4beSrobert 
__append3(char * __first,uint32_t __value)41*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append3(char* __first, uint32_t __value) noexcept {
42*4bdff4beSrobert   return __itoa::__append2(__itoa::__append1(__first, __value / 100), __value % 100);
43*4bdff4beSrobert }
44*4bdff4beSrobert 
__append4(char * __first,uint32_t __value)45*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append4(char* __first, uint32_t __value) noexcept {
46*4bdff4beSrobert   return __itoa::__append2(__itoa::__append2(__first, __value / 100), __value % 100);
47*4bdff4beSrobert }
48*4bdff4beSrobert 
__append5(char * __first,uint32_t __value)49*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append5(char* __first, uint32_t __value) noexcept {
50*4bdff4beSrobert   return __itoa::__append4(__itoa::__append1(__first, __value / 10000), __value % 10000);
51*4bdff4beSrobert }
52*4bdff4beSrobert 
__append6(char * __first,uint32_t __value)53*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append6(char* __first, uint32_t __value) noexcept {
54*4bdff4beSrobert   return __itoa::__append4(__itoa::__append2(__first, __value / 10000), __value % 10000);
55*4bdff4beSrobert }
56*4bdff4beSrobert 
__append7(char * __first,uint32_t __value)57*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append7(char* __first, uint32_t __value) noexcept {
58*4bdff4beSrobert   return __itoa::__append6(__itoa::__append1(__first, __value / 1000000), __value % 1000000);
59*4bdff4beSrobert }
60*4bdff4beSrobert 
__append8(char * __first,uint32_t __value)61*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append8(char* __first, uint32_t __value) noexcept {
62*4bdff4beSrobert   return __itoa::__append6(__itoa::__append2(__first, __value / 1000000), __value % 1000000);
63*4bdff4beSrobert }
64*4bdff4beSrobert 
__append9(char * __first,uint32_t __value)65*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __append9(char* __first, uint32_t __value) noexcept {
66*4bdff4beSrobert   return __itoa::__append8(__itoa::__append1(__first, __value / 100000000), __value % 100000000);
67*4bdff4beSrobert }
68*4bdff4beSrobert 
69*4bdff4beSrobert template <class _Tp>
__append10(char * __first,_Tp __value)70*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI char* __append10(char* __first, _Tp __value) noexcept {
71*4bdff4beSrobert   return __itoa::__append8(__itoa::__append2(__first, static_cast<uint32_t>(__value / 100000000)),
72*4bdff4beSrobert                            static_cast<uint32_t>(__value % 100000000));
73*4bdff4beSrobert }
74*4bdff4beSrobert 
__base_10_u32(char * __first,uint32_t __value)75*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __base_10_u32(char* __first, uint32_t __value) noexcept {
76*4bdff4beSrobert   if (__value < 1000000) {
77*4bdff4beSrobert     if (__value < 10000) {
78*4bdff4beSrobert       if (__value < 100) {
79*4bdff4beSrobert         // 0 <= __value < 100
80*4bdff4beSrobert         if (__value < 10)
81*4bdff4beSrobert           return __itoa::__append1(__first, __value);
82*4bdff4beSrobert         return __itoa::__append2(__first, __value);
83*4bdff4beSrobert       }
84*4bdff4beSrobert       // 100 <= __value < 10'000
85*4bdff4beSrobert       if (__value < 1000)
86*4bdff4beSrobert         return __itoa::__append3(__first, __value);
87*4bdff4beSrobert       return __itoa::__append4(__first, __value);
88*4bdff4beSrobert     }
89*4bdff4beSrobert 
90*4bdff4beSrobert     // 10'000 <= __value < 1'000'000
91*4bdff4beSrobert     if (__value < 100000)
92*4bdff4beSrobert       return __itoa::__append5(__first, __value);
93*4bdff4beSrobert     return __itoa::__append6(__first, __value);
94*4bdff4beSrobert   }
95*4bdff4beSrobert 
96*4bdff4beSrobert   // __value => 1'000'000
97*4bdff4beSrobert   if (__value < 100000000) {
98*4bdff4beSrobert     // 1'000'000 <= __value < 100'000'000
99*4bdff4beSrobert     if (__value < 10000000)
100*4bdff4beSrobert       return __itoa::__append7(__first, __value);
101*4bdff4beSrobert     return __itoa::__append8(__first, __value);
102*4bdff4beSrobert   }
103*4bdff4beSrobert 
104*4bdff4beSrobert   // 100'000'000 <= __value < max
105*4bdff4beSrobert   if (__value < 1000000000)
106*4bdff4beSrobert     return __itoa::__append9(__first, __value);
107*4bdff4beSrobert   return __itoa::__append10(__first, __value);
108*4bdff4beSrobert }
109*4bdff4beSrobert 
__base_10_u64(char * __buffer,uint64_t __value)110*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __base_10_u64(char* __buffer, uint64_t __value) noexcept {
111*4bdff4beSrobert   if (__value <= UINT32_MAX)
112*4bdff4beSrobert     return __itoa::__base_10_u32(__buffer, static_cast<uint32_t>(__value));
113*4bdff4beSrobert 
114*4bdff4beSrobert   // Numbers in the range UINT32_MAX <= val < 10'000'000'000 always contain 10
115*4bdff4beSrobert   // digits and are outputted after this if statement.
116*4bdff4beSrobert   if (__value >= 10000000000) {
117*4bdff4beSrobert     // This function properly deterimines the first non-zero leading digit.
118*4bdff4beSrobert     __buffer = __itoa::__base_10_u32(__buffer, static_cast<uint32_t>(__value / 10000000000));
119*4bdff4beSrobert     __value %= 10000000000;
120*4bdff4beSrobert   }
121*4bdff4beSrobert   return __itoa::__append10(__buffer, __value);
122*4bdff4beSrobert }
123*4bdff4beSrobert 
124*4bdff4beSrobert #  ifndef _LIBCPP_HAS_NO_INT128
125*4bdff4beSrobert /// \returns 10^\a exp
126*4bdff4beSrobert ///
127*4bdff4beSrobert /// \pre \a exp [19, 39]
128*4bdff4beSrobert ///
129*4bdff4beSrobert /// \note The lookup table contains a partial set of exponents limiting the
130*4bdff4beSrobert /// range that can be used. However the range is sufficient for
131*4bdff4beSrobert /// \ref __base_10_u128.
__pow_10(int __exp)132*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline __uint128_t __pow_10(int __exp) noexcept {
133*4bdff4beSrobert   _LIBCPP_ASSERT(__exp >= __pow10_128_offset, "Index out of bounds");
134*4bdff4beSrobert   return __pow10_128[__exp - __pow10_128_offset];
135*4bdff4beSrobert }
136*4bdff4beSrobert 
__base_10_u128(char * __buffer,__uint128_t __value)137*4bdff4beSrobert _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI inline char* __base_10_u128(char* __buffer, __uint128_t __value) noexcept {
138*4bdff4beSrobert   _LIBCPP_ASSERT(
139*4bdff4beSrobert       __value > numeric_limits<uint64_t>::max(), "The optimizations for this algorithm fail when this isn't true.");
140*4bdff4beSrobert 
141*4bdff4beSrobert   // Unlike the 64 to 32 bit case the 128 bit case the "upper half" can't be
142*4bdff4beSrobert   // stored in the "lower half". Instead we first need to handle the top most
143*4bdff4beSrobert   // digits separately.
144*4bdff4beSrobert   //
145*4bdff4beSrobert   // Maximum unsigned values
146*4bdff4beSrobert   // 64  bit                             18'446'744'073'709'551'615 (20 digits)
147*4bdff4beSrobert   // 128 bit    340'282'366'920'938'463'463'374'607'431'768'211'455 (39 digits)
148*4bdff4beSrobert   // step 1     ^                                                   ([0-1] digits)
149*4bdff4beSrobert   // step 2      ^^^^^^^^^^^^^^^^^^^^^^^^^                          ([0-19] digits)
150*4bdff4beSrobert   // step 3                               ^^^^^^^^^^^^^^^^^^^^^^^^^ (19 digits)
151*4bdff4beSrobert   if (__value >= __itoa::__pow_10(38)) {
152*4bdff4beSrobert     // step 1
153*4bdff4beSrobert     __buffer = __itoa::__append1(__buffer, static_cast<uint32_t>(__value / __itoa::__pow_10(38)));
154*4bdff4beSrobert     __value %= __itoa::__pow_10(38);
155*4bdff4beSrobert 
156*4bdff4beSrobert     // step 2 always 19 digits.
157*4bdff4beSrobert     // They are handled here since leading zeros need to be appended to the buffer,
158*4bdff4beSrobert     __buffer = __itoa::__append9(__buffer, static_cast<uint32_t>(__value / __itoa::__pow_10(29)));
159*4bdff4beSrobert     __value %= __itoa::__pow_10(29);
160*4bdff4beSrobert     __buffer = __itoa::__append10(__buffer, static_cast<uint64_t>(__value / __itoa::__pow_10(19)));
161*4bdff4beSrobert     __value %= __itoa::__pow_10(19);
162*4bdff4beSrobert   }
163*4bdff4beSrobert   else {
164*4bdff4beSrobert     // step 2
165*4bdff4beSrobert     // This version needs to determine the position of the leading non-zero digit.
166*4bdff4beSrobert     __buffer = __base_10_u64(__buffer, static_cast<uint64_t>(__value / __itoa::__pow_10(19)));
167*4bdff4beSrobert     __value %= __itoa::__pow_10(19);
168*4bdff4beSrobert   }
169*4bdff4beSrobert 
170*4bdff4beSrobert   // Step 3
171*4bdff4beSrobert   __buffer = __itoa::__append9(__buffer, static_cast<uint32_t>(__value / 10000000000));
172*4bdff4beSrobert   __buffer = __itoa::__append10(__buffer, static_cast<uint64_t>(__value % 10000000000));
173*4bdff4beSrobert 
174*4bdff4beSrobert   return __buffer;
175*4bdff4beSrobert }
176*4bdff4beSrobert #  endif
177*4bdff4beSrobert } // namespace __itoa
178*4bdff4beSrobert 
179*4bdff4beSrobert #endif // _LIBCPP_STD_VER > 14
180*4bdff4beSrobert 
181*4bdff4beSrobert _LIBCPP_END_NAMESPACE_STD
182*4bdff4beSrobert 
183*4bdff4beSrobert _LIBCPP_POP_MACROS
184*4bdff4beSrobert 
185*4bdff4beSrobert #endif // _LIBCPP___CHARCONV_TO_CHARS_BASE_10_H
186