10 #include <nlohmann/detail/macro_scope.hpp>
39 template<
typename Target,
typename Source>
40 Target reinterpret_bits(
const Source
source)
42 static_assert(
sizeof(Target) ==
sizeof(Source),
"size mismatch");
45 std::memcpy(&target, &
source,
sizeof(Source));
51 static constexpr
int kPrecision = 64;
64 JSON_ASSERT(x.e == y.e);
65 JSON_ASSERT(x.f >= y.f);
67 return {x.f - y.f, x.e};
76 static_assert(kPrecision == 64,
"internal error");
132 return {h, x.e + y.e + 64};
141 JSON_ASSERT(x.f != 0);
143 while ((x.f >> 63u) == 0)
158 const int delta = x.e - target_exponent;
160 JSON_ASSERT(delta >= 0);
161 JSON_ASSERT(((x.f << delta) >> delta) == x.f);
163 return {x.f << delta, target_exponent};
180 template<
typename FloatType>
183 JSON_ASSERT(std::isfinite(
value));
184 JSON_ASSERT(
value > 0);
193 static_assert(std::numeric_limits<FloatType>::is_iec559,
194 "internal error: dtoa_short requires an IEEE-754 floating-point implementation");
196 constexpr
int kPrecision = std::numeric_limits<FloatType>::digits;
197 constexpr
int kBias = std::numeric_limits<FloatType>::max_exponent - 1 + (kPrecision - 1);
198 constexpr
int kMinExp = 1 - kBias;
201 using bits_type =
typename std::conditional<kPrecision == 24, std::uint32_t, std::uint64_t >::type;
207 const bool is_denormal = E == 0;
208 const diyfp v = is_denormal
210 :
diyfp(F + kHiddenBit,
static_cast<int>(E) - kBias);
233 const bool lower_boundary_is_closer = F == 0 && E > 1;
234 const diyfp m_plus =
diyfp(2 * v.f + 1, v.e - 1);
235 const diyfp m_minus = lower_boundary_is_closer
236 ?
diyfp(4 * v.f - 1, v.e - 2)
237 :
diyfp(2 * v.f - 1, v.e - 1);
303 constexpr
int kAlpha = -60;
304 constexpr
int kGamma = -32;
372 constexpr
int kCachedPowersMinDecExp = -300;
373 constexpr
int kCachedPowersDecStep = 8;
375 static constexpr std::array<cached_power, 79> kCachedPowers =
378 { 0xAB70FE17C79AC6CA, -1060, -300 },
379 { 0xFF77B1FCBEBCDC4F, -1034, -292 },
380 { 0xBE5691EF416BD60C, -1007, -284 },
381 { 0x8DD01FAD907FFC3C, -980, -276 },
382 { 0xD3515C2831559A83, -954, -268 },
383 { 0x9D71AC8FADA6C9B5, -927, -260 },
384 { 0xEA9C227723EE8BCB, -901, -252 },
385 { 0xAECC49914078536D, -874, -244 },
386 { 0x823C12795DB6CE57, -847, -236 },
387 { 0xC21094364DFB5637, -821, -228 },
388 { 0x9096EA6F3848984F, -794, -220 },
389 { 0xD77485CB25823AC7, -768, -212 },
390 { 0xA086CFCD97BF97F4, -741, -204 },
391 { 0xEF340A98172AACE5, -715, -196 },
392 { 0xB23867FB2A35B28E, -688, -188 },
393 { 0x84C8D4DFD2C63F3B, -661, -180 },
394 { 0xC5DD44271AD3CDBA, -635, -172 },
395 { 0x936B9FCEBB25C996, -608, -164 },
396 { 0xDBAC6C247D62A584, -582, -156 },
397 { 0xA3AB66580D5FDAF6, -555, -148 },
398 { 0xF3E2F893DEC3F126, -529, -140 },
399 { 0xB5B5ADA8AAFF80B8, -502, -132 },
400 { 0x87625F056C7C4A8B, -475, -124 },
401 { 0xC9BCFF6034C13053, -449, -116 },
402 { 0x964E858C91BA2655, -422, -108 },
403 { 0xDFF9772470297EBD, -396, -100 },
404 { 0xA6DFBD9FB8E5B88F, -369, -92 },
405 { 0xF8A95FCF88747D94, -343, -84 },
406 { 0xB94470938FA89BCF, -316, -76 },
407 { 0x8A08F0F8BF0F156B, -289, -68 },
408 { 0xCDB02555653131B6, -263, -60 },
409 { 0x993FE2C6D07B7FAC, -236, -52 },
410 { 0xE45C10C42A2B3B06, -210, -44 },
411 { 0xAA242499697392D3, -183, -36 },
412 { 0xFD87B5F28300CA0E, -157, -28 },
413 { 0xBCE5086492111AEB, -130, -20 },
414 { 0x8CBCCC096F5088CC, -103, -12 },
415 { 0xD1B71758E219652C, -77, -4 },
416 { 0x9C40000000000000, -50, 4 },
417 { 0xE8D4A51000000000, -24, 12 },
418 { 0xAD78EBC5AC620000, 3, 20 },
419 { 0x813F3978F8940984, 30, 28 },
420 { 0xC097CE7BC90715B3, 56, 36 },
421 { 0x8F7E32CE7BEA5C70, 83, 44 },
422 { 0xD5D238A4ABE98068, 109, 52 },
423 { 0x9F4F2726179A2245, 136, 60 },
424 { 0xED63A231D4C4FB27, 162, 68 },
425 { 0xB0DE65388CC8ADA8, 189, 76 },
426 { 0x83C7088E1AAB65DB, 216, 84 },
427 { 0xC45D1DF942711D9A, 242, 92 },
428 { 0x924D692CA61BE758, 269, 100 },
429 { 0xDA01EE641A708DEA, 295, 108 },
430 { 0xA26DA3999AEF774A, 322, 116 },
431 { 0xF209787BB47D6B85, 348, 124 },
432 { 0xB454E4A179DD1877, 375, 132 },
433 { 0x865B86925B9BC5C2, 402, 140 },
434 { 0xC83553C5C8965D3D, 428, 148 },
435 { 0x952AB45CFA97A0B3, 455, 156 },
436 { 0xDE469FBD99A05FE3, 481, 164 },
437 { 0xA59BC234DB398C25, 508, 172 },
438 { 0xF6C69A72A3989F5C, 534, 180 },
439 { 0xB7DCBF5354E9BECE, 561, 188 },
440 { 0x88FCF317F22241E2, 588, 196 },
441 { 0xCC20CE9BD35C78A5, 614, 204 },
442 { 0x98165AF37B2153DF, 641, 212 },
443 { 0xE2A0B5DC971F303A, 667, 220 },
444 { 0xA8D9D1535CE3B396, 694, 228 },
445 { 0xFB9B7CD9A4A7443C, 720, 236 },
446 { 0xBB764C4CA7A44410, 747, 244 },
447 { 0x8BAB8EEFB6409C1A, 774, 252 },
448 { 0xD01FEF10A657842C, 800, 260 },
449 { 0x9B10A4E5E9913129, 827, 268 },
450 { 0xE7109BFBA19C0C9D, 853, 276 },
451 { 0xAC2820D9623BF429, 880, 284 },
452 { 0x80444B5E7AA7CF85, 907, 292 },
453 { 0xBF21E44003ACDD2D, 933, 300 },
454 { 0x8E679C2F5E44FF8F, 960, 308 },
455 { 0xD433179D9C8CB841, 986, 316 },
456 { 0x9E19DB92B4E31BA9, 1013, 324 },
464 JSON_ASSERT(e >= -1500);
465 JSON_ASSERT(e <= 1500);
466 const int f = kAlpha - e - 1;
467 const int k = (f * 78913) / (1 << 18) +
static_cast<int>(f > 0);
469 const int index = (-kCachedPowersMinDecExp + k + (kCachedPowersDecStep - 1)) / kCachedPowersDecStep;
470 JSON_ASSERT(index >= 0);
471 JSON_ASSERT(
static_cast<std::size_t
>(index) < kCachedPowers.size());
473 const cached_power cached = kCachedPowers[
static_cast<std::size_t
>(index)];
474 JSON_ASSERT(kAlpha <= cached.e + e + 64);
475 JSON_ASSERT(kGamma >= cached.e + e + 64);
541 JSON_ASSERT(len >= 1);
542 JSON_ASSERT(dist <= delta);
543 JSON_ASSERT(rest <= delta);
544 JSON_ASSERT(ten_k > 0);
566 && delta - rest >= ten_k
567 && (rest + ten_k < dist || dist - rest > rest + ten_k - dist))
569 JSON_ASSERT(buf[len - 1] !=
'0');
582 static_assert(kAlpha >= -60,
"internal error");
583 static_assert(kGamma <= -32,
"internal error");
597 JSON_ASSERT(M_plus.e >= kAlpha);
598 JSON_ASSERT(M_plus.e <= kGamma);
656 buffer[length++] =
static_cast<char>(
'0' + d);
680 decimal_exponent += n;
692 grisu2_round(buffer, length, dist, delta, rest, ten_n);
742 JSON_ASSERT(p2 > delta);
753 JSON_ASSERT(p2 <= (std::numeric_limits<std::uint64_t>::max)() / 10);
763 buffer[length++] =
static_cast<char>(
'0' + d);
788 decimal_exponent -= m;
797 grisu2_round(buffer, length, dist, delta, p2, ten_m);
819 JSON_HEDLEY_NON_NULL(1)
820 inline
void grisu2(
char* buf,
int& len,
int& decimal_exponent,
823 JSON_ASSERT(m_plus.e == m_minus.e);
824 JSON_ASSERT(m_plus.e == v.e);
837 const diyfp c_minus_k(cached.f, cached.e);
865 const diyfp M_minus(w_minus.f + 1, w_minus.e);
866 const diyfp M_plus (w_plus.f - 1, w_plus.e );
868 decimal_exponent = -cached.k;
878 template<
typename FloatType>
879 JSON_HEDLEY_NON_NULL(1)
880 void
grisu2(
char* buf,
int& len,
int& decimal_exponent, FloatType value)
882 static_assert(diyfp::kPrecision >= std::numeric_limits<FloatType>::digits + 3,
883 "internal error: not enough precision");
885 JSON_ASSERT(std::isfinite(
value));
886 JSON_ASSERT(
value > 0);
910 grisu2(buf, len, decimal_exponent, w.minus, w.w, w.plus);
918 JSON_HEDLEY_NON_NULL(1)
919 JSON_HEDLEY_RETURNS_NON_NULL
922 JSON_ASSERT(e > -1000);
923 JSON_ASSERT(e < 1000);
941 *buf++ =
static_cast<char>(
'0' + k);
945 *buf++ =
static_cast<char>(
'0' + k / 10);
947 *buf++ =
static_cast<char>(
'0' + k);
951 *buf++ =
static_cast<char>(
'0' + k / 100);
953 *buf++ =
static_cast<char>(
'0' + k / 10);
955 *buf++ =
static_cast<char>(
'0' + k);
970 JSON_HEDLEY_NON_NULL(1)
971 JSON_HEDLEY_RETURNS_NON_NULL
973 int min_exp,
int max_exp)
975 JSON_ASSERT(min_exp < 0);
976 JSON_ASSERT(max_exp > 0);
979 const int n = len + decimal_exponent;
985 if (k <= n && n <= max_exp)
990 std::memset(buf + k,
'0',
static_cast<size_t>(n) -
static_cast<size_t>(k));
994 return buf + (
static_cast<size_t>(n) + 2);
997 if (0 < n && n <= max_exp)
1004 std::memmove(buf + (
static_cast<size_t>(n) + 1), buf + n,
static_cast<size_t>(k) -
static_cast<size_t>(n));
1006 return buf + (
static_cast<size_t>(k) + 1U);
1009 if (min_exp < n && n <= 0)
1014 std::memmove(buf + (2 +
static_cast<size_t>(-n)), buf,
static_cast<size_t>(k));
1017 std::memset(buf + 2,
'0',
static_cast<size_t>(-n));
1018 return buf + (2U +
static_cast<size_t>(-n) +
static_cast<size_t>(k));
1033 std::memmove(buf + 2, buf + 1,
static_cast<size_t>(k) - 1);
1035 buf += 1 +
static_cast<size_t>(k);
1054 template<
typename FloatType>
1055 JSON_HEDLEY_NON_NULL(1, 2)
1056 JSON_HEDLEY_RETURNS_NON_NULL
1057 char*
to_chars(
char* first, const
char* last, FloatType value)
1059 static_cast<void>(last);
1060 JSON_ASSERT(std::isfinite(
value));
1063 if (std::signbit(
value))
1070 #pragma GCC diagnostic push
1071 #pragma GCC diagnostic ignored "-Wfloat-equal"
1082 #pragma GCC diagnostic pop
1085 JSON_ASSERT(last - first >= std::numeric_limits<FloatType>::max_digits10);
1092 int decimal_exponent = 0;
1095 JSON_ASSERT(len <= std::numeric_limits<FloatType>::max_digits10);
1098 constexpr
int kMinExp = -4;
1100 constexpr
int kMaxExp = std::numeric_limits<FloatType>::digits10;
1102 JSON_ASSERT(last - first >= kMaxExp + 2);
1103 JSON_ASSERT(last - first >= 2 + (-kMinExp - 1) + std::numeric_limits<FloatType>::max_digits10);
1104 JSON_ASSERT(last - first >= std::numeric_limits<FloatType>::max_digits10 + 6);
zip_uint64_t uint64_t
zip_uint64_t_t typedef.
Definition: zip.hpp:108
zip_uint32_t uint32_t
zip_uint32_t typedef.
Definition: zip.hpp:98
std::function< struct zip_source *(struct zip *)> source
Source creation for adding files.
Definition: zip.hpp:122
void grisu2(char *buf, int &len, int &decimal_exponent, diyfp m_minus, diyfp v, diyfp m_plus)
Definition: to_chars.hpp:820
boundaries compute_boundaries(FloatType value)
Definition: to_chars.hpp:181
int find_largest_pow10(const std::uint32_t n, std::uint32_t &pow10)
Definition: to_chars.hpp:484
void grisu2_digit_gen(char *buffer, int &length, int &decimal_exponent, diyfp M_minus, diyfp w, diyfp M_plus)
Definition: to_chars.hpp:579
JSON_HEDLEY_RETURNS_NON_NULL char * format_buffer(char *buf, int len, int decimal_exponent, int min_exp, int max_exp)
prettify v = buf * 10^decimal_exponent
Definition: to_chars.hpp:972
JSON_HEDLEY_RETURNS_NON_NULL char * append_exponent(char *buf, int e)
appends a decimal representation of e to buf
Definition: to_chars.hpp:920
cached_power get_cached_power_for_binary_exponent(int e)
Definition: to_chars.hpp:320
@ value
the parser finished reading a JSON value
JSON_HEDLEY_RETURNS_NON_NULL char * to_chars(char *first, const char *last, FloatType value)
generates a decimal representation of the floating-point number value in [first, last).
Definition: to_chars.hpp:1057
namespace for Niels Lohmann
Definition: adl_serializer.hpp:12
Definition: to_chars.hpp:168
Definition: to_chars.hpp:307
Definition: to_chars.hpp:50
static diyfp normalize(diyfp x) noexcept
normalize x such that the significand is >= 2^(q-1)
Definition: to_chars.hpp:139
static diyfp normalize_to(const diyfp &x, const int target_exponent) noexcept
normalize x such that the result has the exponent E
Definition: to_chars.hpp:156
static diyfp mul(const diyfp &x, const diyfp &y) noexcept
returns x * y
Definition: to_chars.hpp:74
static diyfp sub(const diyfp &x, const diyfp &y) noexcept
returns x - y
Definition: to_chars.hpp:62