git repos / blockattack-game

blame: source/misc/embedded_libs/fmt-8.1.1/test/format-impl-test.cc

normal view · raw

f8deb5b9 Poul Sander 2022-01-15 13:55 1
// Formatting library for C++ - formatting library implementation tests
f8deb5b9 Poul Sander 2022-01-15 13:55 2
//
f8deb5b9 Poul Sander 2022-01-15 13:55 3
// Copyright (c) 2012 - present, Victor Zverovich
f8deb5b9 Poul Sander 2022-01-15 13:55 4
// All rights reserved.
f8deb5b9 Poul Sander 2022-01-15 13:55 5
//
f8deb5b9 Poul Sander 2022-01-15 13:55 6
// For the license information refer to format.h.
f8deb5b9 Poul Sander 2022-01-15 13:55 7
f8deb5b9 Poul Sander 2022-01-15 13:55 8
#include <algorithm>
f8deb5b9 Poul Sander 2022-01-15 13:55 9
#include <cstring>
f8deb5b9 Poul Sander 2022-01-15 13:55 10
f8deb5b9 Poul Sander 2022-01-15 13:55 11
// clang-format off
f8deb5b9 Poul Sander 2022-01-15 13:55 12
#include "test-assert.h"
f8deb5b9 Poul Sander 2022-01-15 13:55 13
// clang-format on
f8deb5b9 Poul Sander 2022-01-15 13:55 14
f8deb5b9 Poul Sander 2022-01-15 13:55 15
#include "fmt/format.h"
f8deb5b9 Poul Sander 2022-01-15 13:55 16
#include "gmock/gmock.h"
f8deb5b9 Poul Sander 2022-01-15 13:55 17
#include "util.h"
f8deb5b9 Poul Sander 2022-01-15 13:55 18
f8deb5b9 Poul Sander 2022-01-15 13:55 19
using fmt::detail::bigint;
f8deb5b9 Poul Sander 2022-01-15 13:55 20
using fmt::detail::fp;
f8deb5b9 Poul Sander 2022-01-15 13:55 21
using fmt::detail::max_value;
f8deb5b9 Poul Sander 2022-01-15 13:55 22
f8deb5b9 Poul Sander 2022-01-15 13:55 23
static_assert(!std::is_copy_constructible<bigint>::value, "");
f8deb5b9 Poul Sander 2022-01-15 13:55 24
static_assert(!std::is_copy_assignable<bigint>::value, "");
f8deb5b9 Poul Sander 2022-01-15 13:55 25
f8deb5b9 Poul Sander 2022-01-15 13:55 26
TEST(bigint_test, construct) {
f8deb5b9 Poul Sander 2022-01-15 13:55 27
  EXPECT_EQ("", fmt::format("{}", bigint()));
f8deb5b9 Poul Sander 2022-01-15 13:55 28
  EXPECT_EQ("42", fmt::format("{}", bigint(0x42)));
f8deb5b9 Poul Sander 2022-01-15 13:55 29
  EXPECT_EQ("123456789abcedf0", fmt::format("{}", bigint(0x123456789abcedf0)));
f8deb5b9 Poul Sander 2022-01-15 13:55 30
}
f8deb5b9 Poul Sander 2022-01-15 13:55 31
f8deb5b9 Poul Sander 2022-01-15 13:55 32
TEST(bigint_test, compare) {
f8deb5b9 Poul Sander 2022-01-15 13:55 33
  bigint n1(42);
f8deb5b9 Poul Sander 2022-01-15 13:55 34
  bigint n2(42);
f8deb5b9 Poul Sander 2022-01-15 13:55 35
  EXPECT_EQ(compare(n1, n2), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 36
  n2 <<= 32;
f8deb5b9 Poul Sander 2022-01-15 13:55 37
  EXPECT_LT(compare(n1, n2), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 38
  bigint n3(43);
f8deb5b9 Poul Sander 2022-01-15 13:55 39
  EXPECT_LT(compare(n1, n3), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 40
  EXPECT_GT(compare(n3, n1), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 41
  bigint n4(42 * 0x100000001);
f8deb5b9 Poul Sander 2022-01-15 13:55 42
  EXPECT_LT(compare(n2, n4), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 43
  EXPECT_GT(compare(n4, n2), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 44
}
f8deb5b9 Poul Sander 2022-01-15 13:55 45
f8deb5b9 Poul Sander 2022-01-15 13:55 46
TEST(bigint_test, add_compare) {
f8deb5b9 Poul Sander 2022-01-15 13:55 47
  EXPECT_LT(
f8deb5b9 Poul Sander 2022-01-15 13:55 48
      add_compare(bigint(0xffffffff), bigint(0xffffffff), bigint(1) <<= 64), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 49
  EXPECT_LT(add_compare(bigint(1) <<= 32, bigint(1), bigint(1) <<= 96), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 50
  EXPECT_GT(add_compare(bigint(1) <<= 32, bigint(0), bigint(0xffffffff)), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 51
  EXPECT_GT(add_compare(bigint(0), bigint(1) <<= 32, bigint(0xffffffff)), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 52
  EXPECT_GT(add_compare(bigint(42), bigint(1), bigint(42)), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 53
  EXPECT_GT(add_compare(bigint(0xffffffff), bigint(1), bigint(0xffffffff)), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 54
  EXPECT_LT(add_compare(bigint(10), bigint(10), bigint(22)), 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 55
  EXPECT_LT(add_compare(bigint(0x100000010), bigint(0x100000010),
f8deb5b9 Poul Sander 2022-01-15 13:55 56
                        bigint(0x300000010)),
f8deb5b9 Poul Sander 2022-01-15 13:55 57
            0);
f8deb5b9 Poul Sander 2022-01-15 13:55 58
  EXPECT_GT(add_compare(bigint(0x1ffffffff), bigint(0x100000002),
f8deb5b9 Poul Sander 2022-01-15 13:55 59
                        bigint(0x300000000)),
f8deb5b9 Poul Sander 2022-01-15 13:55 60
            0);
f8deb5b9 Poul Sander 2022-01-15 13:55 61
  EXPECT_EQ(add_compare(bigint(0x1ffffffff), bigint(0x100000002),
f8deb5b9 Poul Sander 2022-01-15 13:55 62
                        bigint(0x300000001)),
f8deb5b9 Poul Sander 2022-01-15 13:55 63
            0);
f8deb5b9 Poul Sander 2022-01-15 13:55 64
  EXPECT_LT(add_compare(bigint(0x1ffffffff), bigint(0x100000002),
f8deb5b9 Poul Sander 2022-01-15 13:55 65
                        bigint(0x300000002)),
f8deb5b9 Poul Sander 2022-01-15 13:55 66
            0);
f8deb5b9 Poul Sander 2022-01-15 13:55 67
  EXPECT_LT(add_compare(bigint(0x1ffffffff), bigint(0x100000002),
f8deb5b9 Poul Sander 2022-01-15 13:55 68
                        bigint(0x300000003)),
f8deb5b9 Poul Sander 2022-01-15 13:55 69
            0);
f8deb5b9 Poul Sander 2022-01-15 13:55 70
}
f8deb5b9 Poul Sander 2022-01-15 13:55 71
f8deb5b9 Poul Sander 2022-01-15 13:55 72
TEST(bigint_test, shift_left) {
f8deb5b9 Poul Sander 2022-01-15 13:55 73
  bigint n(0x42);
f8deb5b9 Poul Sander 2022-01-15 13:55 74
  n <<= 0;
f8deb5b9 Poul Sander 2022-01-15 13:55 75
  EXPECT_EQ("42", fmt::format("{}", n));
f8deb5b9 Poul Sander 2022-01-15 13:55 76
  n <<= 1;
f8deb5b9 Poul Sander 2022-01-15 13:55 77
  EXPECT_EQ("84", fmt::format("{}", n));
f8deb5b9 Poul Sander 2022-01-15 13:55 78
  n <<= 25;
f8deb5b9 Poul Sander 2022-01-15 13:55 79
  EXPECT_EQ("108000000", fmt::format("{}", n));
f8deb5b9 Poul Sander 2022-01-15 13:55 80
}
f8deb5b9 Poul Sander 2022-01-15 13:55 81
f8deb5b9 Poul Sander 2022-01-15 13:55 82
TEST(bigint_test, multiply) {
f8deb5b9 Poul Sander 2022-01-15 13:55 83
  bigint n(0x42);
f8deb5b9 Poul Sander 2022-01-15 13:55 84
  EXPECT_THROW(n *= 0, assertion_failure);
f8deb5b9 Poul Sander 2022-01-15 13:55 85
  n *= 1;
f8deb5b9 Poul Sander 2022-01-15 13:55 86
  EXPECT_EQ("42", fmt::format("{}", n));
f8deb5b9 Poul Sander 2022-01-15 13:55 87
  n *= 2;
f8deb5b9 Poul Sander 2022-01-15 13:55 88
  EXPECT_EQ("84", fmt::format("{}", n));
f8deb5b9 Poul Sander 2022-01-15 13:55 89
  n *= 0x12345678;
f8deb5b9 Poul Sander 2022-01-15 13:55 90
  EXPECT_EQ("962fc95e0", fmt::format("{}", n));
f8deb5b9 Poul Sander 2022-01-15 13:55 91
  bigint bigmax(max_value<uint32_t>());
f8deb5b9 Poul Sander 2022-01-15 13:55 92
  bigmax *= max_value<uint32_t>();
f8deb5b9 Poul Sander 2022-01-15 13:55 93
  EXPECT_EQ("fffffffe00000001", fmt::format("{}", bigmax));
f8deb5b9 Poul Sander 2022-01-15 13:55 94
  bigmax.assign(max_value<uint64_t>());
f8deb5b9 Poul Sander 2022-01-15 13:55 95
  bigmax *= max_value<uint64_t>();
f8deb5b9 Poul Sander 2022-01-15 13:55 96
  EXPECT_EQ("fffffffffffffffe0000000000000001", fmt::format("{}", bigmax));
f8deb5b9 Poul Sander 2022-01-15 13:55 97
}
f8deb5b9 Poul Sander 2022-01-15 13:55 98
f8deb5b9 Poul Sander 2022-01-15 13:55 99
TEST(bigint_test, accumulator) {
f8deb5b9 Poul Sander 2022-01-15 13:55 100
  fmt::detail::accumulator acc;
f8deb5b9 Poul Sander 2022-01-15 13:55 101
  EXPECT_EQ(acc.lower, 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 102
  EXPECT_EQ(acc.upper, 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 103
  acc.upper = 12;
f8deb5b9 Poul Sander 2022-01-15 13:55 104
  acc.lower = 34;
f8deb5b9 Poul Sander 2022-01-15 13:55 105
  EXPECT_EQ(static_cast<uint32_t>(acc), 34);
f8deb5b9 Poul Sander 2022-01-15 13:55 106
  acc += 56;
f8deb5b9 Poul Sander 2022-01-15 13:55 107
  EXPECT_EQ(acc.lower, 90);
f8deb5b9 Poul Sander 2022-01-15 13:55 108
  acc += max_value<uint64_t>();
f8deb5b9 Poul Sander 2022-01-15 13:55 109
  EXPECT_EQ(acc.upper, 13);
f8deb5b9 Poul Sander 2022-01-15 13:55 110
  EXPECT_EQ(acc.lower, 89);
f8deb5b9 Poul Sander 2022-01-15 13:55 111
  acc >>= 32;
f8deb5b9 Poul Sander 2022-01-15 13:55 112
  EXPECT_EQ(acc.upper, 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 113
  EXPECT_EQ(acc.lower, 13 * 0x100000000);
f8deb5b9 Poul Sander 2022-01-15 13:55 114
}
f8deb5b9 Poul Sander 2022-01-15 13:55 115
f8deb5b9 Poul Sander 2022-01-15 13:55 116
TEST(bigint_test, square) {
f8deb5b9 Poul Sander 2022-01-15 13:55 117
  bigint n0(0);
f8deb5b9 Poul Sander 2022-01-15 13:55 118
  n0.square();
f8deb5b9 Poul Sander 2022-01-15 13:55 119
  EXPECT_EQ("0", fmt::format("{}", n0));
f8deb5b9 Poul Sander 2022-01-15 13:55 120
  bigint n1(0x100);
f8deb5b9 Poul Sander 2022-01-15 13:55 121
  n1.square();
f8deb5b9 Poul Sander 2022-01-15 13:55 122
  EXPECT_EQ("10000", fmt::format("{}", n1));
f8deb5b9 Poul Sander 2022-01-15 13:55 123
  bigint n2(0xfffffffff);
f8deb5b9 Poul Sander 2022-01-15 13:55 124
  n2.square();
f8deb5b9 Poul Sander 2022-01-15 13:55 125
  EXPECT_EQ("ffffffffe000000001", fmt::format("{}", n2));
f8deb5b9 Poul Sander 2022-01-15 13:55 126
  bigint n3(max_value<uint64_t>());
f8deb5b9 Poul Sander 2022-01-15 13:55 127
  n3.square();
f8deb5b9 Poul Sander 2022-01-15 13:55 128
  EXPECT_EQ("fffffffffffffffe0000000000000001", fmt::format("{}", n3));
f8deb5b9 Poul Sander 2022-01-15 13:55 129
  bigint n4;
f8deb5b9 Poul Sander 2022-01-15 13:55 130
  n4.assign_pow10(10);
f8deb5b9 Poul Sander 2022-01-15 13:55 131
  EXPECT_EQ("2540be400", fmt::format("{}", n4));
f8deb5b9 Poul Sander 2022-01-15 13:55 132
}
f8deb5b9 Poul Sander 2022-01-15 13:55 133
f8deb5b9 Poul Sander 2022-01-15 13:55 134
TEST(bigint_test, divmod_assign_zero_divisor) {
f8deb5b9 Poul Sander 2022-01-15 13:55 135
  bigint zero(0);
f8deb5b9 Poul Sander 2022-01-15 13:55 136
  EXPECT_THROW(bigint(0).divmod_assign(zero), assertion_failure);
f8deb5b9 Poul Sander 2022-01-15 13:55 137
  EXPECT_THROW(bigint(42).divmod_assign(zero), assertion_failure);
f8deb5b9 Poul Sander 2022-01-15 13:55 138
}
f8deb5b9 Poul Sander 2022-01-15 13:55 139
f8deb5b9 Poul Sander 2022-01-15 13:55 140
TEST(bigint_test, divmod_assign_self) {
f8deb5b9 Poul Sander 2022-01-15 13:55 141
  bigint n(100);
f8deb5b9 Poul Sander 2022-01-15 13:55 142
  EXPECT_THROW(n.divmod_assign(n), assertion_failure);
f8deb5b9 Poul Sander 2022-01-15 13:55 143
}
f8deb5b9 Poul Sander 2022-01-15 13:55 144
f8deb5b9 Poul Sander 2022-01-15 13:55 145
TEST(bigint_test, divmod_assign_unaligned) {
f8deb5b9 Poul Sander 2022-01-15 13:55 146
  // (42 << 340) / pow(10, 100):
f8deb5b9 Poul Sander 2022-01-15 13:55 147
  bigint n1(42);
f8deb5b9 Poul Sander 2022-01-15 13:55 148
  n1 <<= 340;
f8deb5b9 Poul Sander 2022-01-15 13:55 149
  bigint n2;
f8deb5b9 Poul Sander 2022-01-15 13:55 150
  n2.assign_pow10(100);
f8deb5b9 Poul Sander 2022-01-15 13:55 151
  int result = n1.divmod_assign(n2);
f8deb5b9 Poul Sander 2022-01-15 13:55 152
  EXPECT_EQ(result, 9406);
f8deb5b9 Poul Sander 2022-01-15 13:55 153
  EXPECT_EQ("10f8353019583bfc29ffc8f564e1b9f9d819dbb4cf783e4507eca1539220p96",
f8deb5b9 Poul Sander 2022-01-15 13:55 154
            fmt::format("{}", n1));
f8deb5b9 Poul Sander 2022-01-15 13:55 155
}
f8deb5b9 Poul Sander 2022-01-15 13:55 156
f8deb5b9 Poul Sander 2022-01-15 13:55 157
TEST(bigint_test, divmod_assign) {
f8deb5b9 Poul Sander 2022-01-15 13:55 158
  // 100 / 10:
f8deb5b9 Poul Sander 2022-01-15 13:55 159
  bigint n1(100);
f8deb5b9 Poul Sander 2022-01-15 13:55 160
  int result = n1.divmod_assign(bigint(10));
f8deb5b9 Poul Sander 2022-01-15 13:55 161
  EXPECT_EQ(result, 10);
f8deb5b9 Poul Sander 2022-01-15 13:55 162
  EXPECT_EQ("0", fmt::format("{}", n1));
f8deb5b9 Poul Sander 2022-01-15 13:55 163
  // pow(10, 100) / (42 << 320):
f8deb5b9 Poul Sander 2022-01-15 13:55 164
  n1.assign_pow10(100);
f8deb5b9 Poul Sander 2022-01-15 13:55 165
  result = n1.divmod_assign(bigint(42) <<= 320);
f8deb5b9 Poul Sander 2022-01-15 13:55 166
  EXPECT_EQ(result, 111);
f8deb5b9 Poul Sander 2022-01-15 13:55 167
  EXPECT_EQ("13ad2594c37ceb0b2784c4ce0bf38ace408e211a7caab24308a82e8f10p96",
f8deb5b9 Poul Sander 2022-01-15 13:55 168
            fmt::format("{}", n1));
f8deb5b9 Poul Sander 2022-01-15 13:55 169
  // 42 / 100:
f8deb5b9 Poul Sander 2022-01-15 13:55 170
  bigint n2(42);
f8deb5b9 Poul Sander 2022-01-15 13:55 171
  n1.assign_pow10(2);
f8deb5b9 Poul Sander 2022-01-15 13:55 172
  result = n2.divmod_assign(n1);
f8deb5b9 Poul Sander 2022-01-15 13:55 173
  EXPECT_EQ(result, 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 174
  EXPECT_EQ("2a", fmt::format("{}", n2));
f8deb5b9 Poul Sander 2022-01-15 13:55 175
}
f8deb5b9 Poul Sander 2022-01-15 13:55 176
f8deb5b9 Poul Sander 2022-01-15 13:55 177
template <bool is_iec559> void run_double_tests() {
f8deb5b9 Poul Sander 2022-01-15 13:55 178
  fmt::print("warning: double is not IEC559, skipping FP tests\n");
f8deb5b9 Poul Sander 2022-01-15 13:55 179
}
f8deb5b9 Poul Sander 2022-01-15 13:55 180
f8deb5b9 Poul Sander 2022-01-15 13:55 181
template <> void run_double_tests<true>() {
f8deb5b9 Poul Sander 2022-01-15 13:55 182
  // Construct from double.
f8deb5b9 Poul Sander 2022-01-15 13:55 183
  EXPECT_EQ(fp(1.23), fp(0x13ae147ae147aeu, -52));
f8deb5b9 Poul Sander 2022-01-15 13:55 184
}
f8deb5b9 Poul Sander 2022-01-15 13:55 185
f8deb5b9 Poul Sander 2022-01-15 13:55 186
TEST(fp_test, double_tests) {
f8deb5b9 Poul Sander 2022-01-15 13:55 187
  run_double_tests<std::numeric_limits<double>::is_iec559>();
f8deb5b9 Poul Sander 2022-01-15 13:55 188
}
f8deb5b9 Poul Sander 2022-01-15 13:55 189
f8deb5b9 Poul Sander 2022-01-15 13:55 190
TEST(fp_test, normalize) {
f8deb5b9 Poul Sander 2022-01-15 13:55 191
  const auto v = fp(0xbeef, 42);
f8deb5b9 Poul Sander 2022-01-15 13:55 192
  auto normalized = normalize(v);
f8deb5b9 Poul Sander 2022-01-15 13:55 193
  EXPECT_EQ(0xbeef000000000000, normalized.f);
f8deb5b9 Poul Sander 2022-01-15 13:55 194
  EXPECT_EQ(-6, normalized.e);
f8deb5b9 Poul Sander 2022-01-15 13:55 195
}
f8deb5b9 Poul Sander 2022-01-15 13:55 196
f8deb5b9 Poul Sander 2022-01-15 13:55 197
TEST(fp_test, multiply) {
f8deb5b9 Poul Sander 2022-01-15 13:55 198
  auto v = fp(123ULL << 32, 4) * fp(56ULL << 32, 7);
f8deb5b9 Poul Sander 2022-01-15 13:55 199
  EXPECT_EQ(v.f, 123u * 56u);
f8deb5b9 Poul Sander 2022-01-15 13:55 200
  EXPECT_EQ(v.e, 4 + 7 + 64);
f8deb5b9 Poul Sander 2022-01-15 13:55 201
  v = fp(123ULL << 32, 4) * fp(567ULL << 31, 8);
f8deb5b9 Poul Sander 2022-01-15 13:55 202
  EXPECT_EQ(v.f, (123 * 567 + 1u) / 2);
f8deb5b9 Poul Sander 2022-01-15 13:55 203
  EXPECT_EQ(v.e, 4 + 8 + 64);
f8deb5b9 Poul Sander 2022-01-15 13:55 204
}
f8deb5b9 Poul Sander 2022-01-15 13:55 205
f8deb5b9 Poul Sander 2022-01-15 13:55 206
TEST(fp_test, get_cached_power) {
f8deb5b9 Poul Sander 2022-01-15 13:55 207
  using limits = std::numeric_limits<double>;
f8deb5b9 Poul Sander 2022-01-15 13:55 208
  for (auto exp = limits::min_exponent; exp <= limits::max_exponent; ++exp) {
f8deb5b9 Poul Sander 2022-01-15 13:55 209
    int dec_exp = 0;
f8deb5b9 Poul Sander 2022-01-15 13:55 210
    auto fp = fmt::detail::get_cached_power(exp, dec_exp);
f8deb5b9 Poul Sander 2022-01-15 13:55 211
    bigint exact, cache(fp.f);
f8deb5b9 Poul Sander 2022-01-15 13:55 212
    if (dec_exp >= 0) {
f8deb5b9 Poul Sander 2022-01-15 13:55 213
      exact.assign_pow10(dec_exp);
f8deb5b9 Poul Sander 2022-01-15 13:55 214
      if (fp.e <= 0)
f8deb5b9 Poul Sander 2022-01-15 13:55 215
        exact <<= -fp.e;
f8deb5b9 Poul Sander 2022-01-15 13:55 216
      else
f8deb5b9 Poul Sander 2022-01-15 13:55 217
        cache <<= fp.e;
f8deb5b9 Poul Sander 2022-01-15 13:55 218
      exact.align(cache);
f8deb5b9 Poul Sander 2022-01-15 13:55 219
      cache.align(exact);
f8deb5b9 Poul Sander 2022-01-15 13:55 220
      auto exact_str = fmt::format("{}", exact);
f8deb5b9 Poul Sander 2022-01-15 13:55 221
      auto cache_str = fmt::format("{}", cache);
f8deb5b9 Poul Sander 2022-01-15 13:55 222
      EXPECT_EQ(exact_str.size(), cache_str.size());
f8deb5b9 Poul Sander 2022-01-15 13:55 223
      EXPECT_EQ(exact_str.substr(0, 15), cache_str.substr(0, 15));
f8deb5b9 Poul Sander 2022-01-15 13:55 224
      int diff = cache_str[15] - exact_str[15];
f8deb5b9 Poul Sander 2022-01-15 13:55 225
      if (diff == 1)
f8deb5b9 Poul Sander 2022-01-15 13:55 226
        EXPECT_GT(exact_str[16], '8');
f8deb5b9 Poul Sander 2022-01-15 13:55 227
      else
f8deb5b9 Poul Sander 2022-01-15 13:55 228
        EXPECT_EQ(diff, 0);
f8deb5b9 Poul Sander 2022-01-15 13:55 229
    } else {
f8deb5b9 Poul Sander 2022-01-15 13:55 230
      cache.assign_pow10(-dec_exp);
f8deb5b9 Poul Sander 2022-01-15 13:55 231
      cache *= fp.f + 1;  // Inexact check.
f8deb5b9 Poul Sander 2022-01-15 13:55 232
      exact.assign(1);
f8deb5b9 Poul Sander 2022-01-15 13:55 233
      exact <<= -fp.e;
f8deb5b9 Poul Sander 2022-01-15 13:55 234
      exact.align(cache);
f8deb5b9 Poul Sander 2022-01-15 13:55 235
      auto exact_str = fmt::format("{}", exact);
f8deb5b9 Poul Sander 2022-01-15 13:55 236
      auto cache_str = fmt::format("{}", cache);
f8deb5b9 Poul Sander 2022-01-15 13:55 237
      EXPECT_EQ(exact_str.size(), cache_str.size());
f8deb5b9 Poul Sander 2022-01-15 13:55 238
      EXPECT_EQ(exact_str.substr(0, 16), cache_str.substr(0, 16));
f8deb5b9 Poul Sander 2022-01-15 13:55 239
    }
f8deb5b9 Poul Sander 2022-01-15 13:55 240
  }
f8deb5b9 Poul Sander 2022-01-15 13:55 241
}
f8deb5b9 Poul Sander 2022-01-15 13:55 242
f8deb5b9 Poul Sander 2022-01-15 13:55 243
TEST(fp_test, dragonbox_max_k) {
f8deb5b9 Poul Sander 2022-01-15 13:55 244
  using fmt::detail::dragonbox::floor_log10_pow2;
f8deb5b9 Poul Sander 2022-01-15 13:55 245
  using float_info = fmt::detail::dragonbox::float_info<float>;
f8deb5b9 Poul Sander 2022-01-15 13:55 246
  EXPECT_EQ(fmt::detail::const_check(float_info::max_k),
f8deb5b9 Poul Sander 2022-01-15 13:55 247
            float_info::kappa - floor_log10_pow2(float_info::min_exponent -
f8deb5b9 Poul Sander 2022-01-15 13:55 248
                                                 float_info::significand_bits));
f8deb5b9 Poul Sander 2022-01-15 13:55 249
  using double_info = fmt::detail::dragonbox::float_info<double>;
f8deb5b9 Poul Sander 2022-01-15 13:55 250
  EXPECT_EQ(
f8deb5b9 Poul Sander 2022-01-15 13:55 251
      fmt::detail::const_check(double_info::max_k),
f8deb5b9 Poul Sander 2022-01-15 13:55 252
      double_info::kappa - floor_log10_pow2(double_info::min_exponent -
f8deb5b9 Poul Sander 2022-01-15 13:55 253
                                            double_info::significand_bits));
f8deb5b9 Poul Sander 2022-01-15 13:55 254
}
f8deb5b9 Poul Sander 2022-01-15 13:55 255
f8deb5b9 Poul Sander 2022-01-15 13:55 256
TEST(fp_test, get_round_direction) {
f8deb5b9 Poul Sander 2022-01-15 13:55 257
  using fmt::detail::get_round_direction;
f8deb5b9 Poul Sander 2022-01-15 13:55 258
  using fmt::detail::round_direction;
f8deb5b9 Poul Sander 2022-01-15 13:55 259
  EXPECT_EQ(round_direction::down, get_round_direction(100, 50, 0));
f8deb5b9 Poul Sander 2022-01-15 13:55 260
  EXPECT_EQ(round_direction::up, get_round_direction(100, 51, 0));
f8deb5b9 Poul Sander 2022-01-15 13:55 261
  EXPECT_EQ(round_direction::down, get_round_direction(100, 40, 10));
f8deb5b9 Poul Sander 2022-01-15 13:55 262
  EXPECT_EQ(round_direction::up, get_round_direction(100, 60, 10));
f8deb5b9 Poul Sander 2022-01-15 13:55 263
  for (size_t i = 41; i < 60; ++i)
f8deb5b9 Poul Sander 2022-01-15 13:55 264
    EXPECT_EQ(round_direction::unknown, get_round_direction(100, i, 10));
f8deb5b9 Poul Sander 2022-01-15 13:55 265
  uint64_t max = max_value<uint64_t>();
f8deb5b9 Poul Sander 2022-01-15 13:55 266
  EXPECT_THROW(get_round_direction(100, 100, 0), assertion_failure);
f8deb5b9 Poul Sander 2022-01-15 13:55 267
  EXPECT_THROW(get_round_direction(100, 0, 100), assertion_failure);
f8deb5b9 Poul Sander 2022-01-15 13:55 268
  EXPECT_THROW(get_round_direction(100, 0, 50), assertion_failure);
f8deb5b9 Poul Sander 2022-01-15 13:55 269
  // Check that remainder + error doesn't overflow.
f8deb5b9 Poul Sander 2022-01-15 13:55 270
  EXPECT_EQ(round_direction::up, get_round_direction(max, max - 1, 2));
f8deb5b9 Poul Sander 2022-01-15 13:55 271
  // Check that 2 * (remainder + error) doesn't overflow.
f8deb5b9 Poul Sander 2022-01-15 13:55 272
  EXPECT_EQ(round_direction::unknown,
f8deb5b9 Poul Sander 2022-01-15 13:55 273
            get_round_direction(max, max / 2 + 1, max / 2));
f8deb5b9 Poul Sander 2022-01-15 13:55 274
  // Check that remainder - error doesn't overflow.
f8deb5b9 Poul Sander 2022-01-15 13:55 275
  EXPECT_EQ(round_direction::unknown, get_round_direction(100, 40, 41));
f8deb5b9 Poul Sander 2022-01-15 13:55 276
  // Check that 2 * (remainder - error) doesn't overflow.
f8deb5b9 Poul Sander 2022-01-15 13:55 277
  EXPECT_EQ(round_direction::up, get_round_direction(max, max - 1, 1));
f8deb5b9 Poul Sander 2022-01-15 13:55 278
}
f8deb5b9 Poul Sander 2022-01-15 13:55 279
f8deb5b9 Poul Sander 2022-01-15 13:55 280
TEST(fp_test, fixed_handler) {
f8deb5b9 Poul Sander 2022-01-15 13:55 281
  struct handler : fmt::detail::gen_digits_handler {
f8deb5b9 Poul Sander 2022-01-15 13:55 282
    char buffer[10];
f8deb5b9 Poul Sander 2022-01-15 13:55 283
    handler(int prec = 0) : fmt::detail::gen_digits_handler() {
f8deb5b9 Poul Sander 2022-01-15 13:55 284
      buf = buffer;
f8deb5b9 Poul Sander 2022-01-15 13:55 285
      precision = prec;
f8deb5b9 Poul Sander 2022-01-15 13:55 286
    }
f8deb5b9 Poul Sander 2022-01-15 13:55 287
  };
f8deb5b9 Poul Sander 2022-01-15 13:55 288
  handler().on_digit('0', 100, 99, 0, false);
f8deb5b9 Poul Sander 2022-01-15 13:55 289
  EXPECT_THROW(handler().on_digit('0', 100, 100, 0, false), assertion_failure);
f8deb5b9 Poul Sander 2022-01-15 13:55 290
  namespace digits = fmt::detail::digits;
f8deb5b9 Poul Sander 2022-01-15 13:55 291
  EXPECT_EQ(handler(1).on_digit('0', 100, 10, 10, false), digits::error);
f8deb5b9 Poul Sander 2022-01-15 13:55 292
  // Check that divisor - error doesn't overflow.
f8deb5b9 Poul Sander 2022-01-15 13:55 293
  EXPECT_EQ(handler(1).on_digit('0', 100, 10, 101, false), digits::error);
f8deb5b9 Poul Sander 2022-01-15 13:55 294
  // Check that 2 * error doesn't overflow.
f8deb5b9 Poul Sander 2022-01-15 13:55 295
  uint64_t max = max_value<uint64_t>();
f8deb5b9 Poul Sander 2022-01-15 13:55 296
  EXPECT_EQ(handler(1).on_digit('0', max, 10, max - 1, false), digits::error);
f8deb5b9 Poul Sander 2022-01-15 13:55 297
}
f8deb5b9 Poul Sander 2022-01-15 13:55 298
f8deb5b9 Poul Sander 2022-01-15 13:55 299
TEST(fp_test, grisu_format_compiles_with_on_ieee_double) {
f8deb5b9 Poul Sander 2022-01-15 13:55 300
  fmt::memory_buffer buf;
f8deb5b9 Poul Sander 2022-01-15 13:55 301
  format_float(0.42, -1, fmt::detail::float_specs(), buf);
f8deb5b9 Poul Sander 2022-01-15 13:55 302
}
f8deb5b9 Poul Sander 2022-01-15 13:55 303
f8deb5b9 Poul Sander 2022-01-15 13:55 304
TEST(format_impl_test, format_error_code) {
f8deb5b9 Poul Sander 2022-01-15 13:55 305
  std::string msg = "error 42", sep = ": ";
f8deb5b9 Poul Sander 2022-01-15 13:55 306
  {
f8deb5b9 Poul Sander 2022-01-15 13:55 307
    fmt::memory_buffer buffer;
f8deb5b9 Poul Sander 2022-01-15 13:55 308
    format_to(fmt::appender(buffer), "garbage");
f8deb5b9 Poul Sander 2022-01-15 13:55 309
    fmt::detail::format_error_code(buffer, 42, "test");
f8deb5b9 Poul Sander 2022-01-15 13:55 310
    EXPECT_EQ("test: " + msg, to_string(buffer));
f8deb5b9 Poul Sander 2022-01-15 13:55 311
  }
f8deb5b9 Poul Sander 2022-01-15 13:55 312
  {
f8deb5b9 Poul Sander 2022-01-15 13:55 313
    fmt::memory_buffer buffer;
f8deb5b9 Poul Sander 2022-01-15 13:55 314
    auto prefix =
f8deb5b9 Poul Sander 2022-01-15 13:55 315
        std::string(fmt::inline_buffer_size - msg.size() - sep.size() + 1, 'x');
f8deb5b9 Poul Sander 2022-01-15 13:55 316
    fmt::detail::format_error_code(buffer, 42, prefix);
f8deb5b9 Poul Sander 2022-01-15 13:55 317
    EXPECT_EQ(msg, to_string(buffer));
f8deb5b9 Poul Sander 2022-01-15 13:55 318
  }
f8deb5b9 Poul Sander 2022-01-15 13:55 319
  int codes[] = {42, -1};
f8deb5b9 Poul Sander 2022-01-15 13:55 320
  for (size_t i = 0, n = sizeof(codes) / sizeof(*codes); i < n; ++i) {
f8deb5b9 Poul Sander 2022-01-15 13:55 321
    // Test maximum buffer size.
f8deb5b9 Poul Sander 2022-01-15 13:55 322
    msg = fmt::format("error {}", codes[i]);
f8deb5b9 Poul Sander 2022-01-15 13:55 323
    fmt::memory_buffer buffer;
f8deb5b9 Poul Sander 2022-01-15 13:55 324
    auto prefix =
f8deb5b9 Poul Sander 2022-01-15 13:55 325
        std::string(fmt::inline_buffer_size - msg.size() - sep.size(), 'x');
f8deb5b9 Poul Sander 2022-01-15 13:55 326
    fmt::detail::format_error_code(buffer, codes[i], prefix);
f8deb5b9 Poul Sander 2022-01-15 13:55 327
    EXPECT_EQ(prefix + sep + msg, to_string(buffer));
f8deb5b9 Poul Sander 2022-01-15 13:55 328
    size_t size = fmt::inline_buffer_size;
f8deb5b9 Poul Sander 2022-01-15 13:55 329
    EXPECT_EQ(size, buffer.size());
f8deb5b9 Poul Sander 2022-01-15 13:55 330
    buffer.resize(0);
f8deb5b9 Poul Sander 2022-01-15 13:55 331
    // Test with a message that doesn't fit into the buffer.
f8deb5b9 Poul Sander 2022-01-15 13:55 332
    prefix += 'x';
f8deb5b9 Poul Sander 2022-01-15 13:55 333
    fmt::detail::format_error_code(buffer, codes[i], prefix);
f8deb5b9 Poul Sander 2022-01-15 13:55 334
    EXPECT_EQ(msg, to_string(buffer));
f8deb5b9 Poul Sander 2022-01-15 13:55 335
  }
f8deb5b9 Poul Sander 2022-01-15 13:55 336
}
f8deb5b9 Poul Sander 2022-01-15 13:55 337
f8deb5b9 Poul Sander 2022-01-15 13:55 338
TEST(format_impl_test, compute_width) {
f8deb5b9 Poul Sander 2022-01-15 13:55 339
  EXPECT_EQ(4,
f8deb5b9 Poul Sander 2022-01-15 13:55 340
            fmt::detail::compute_width(
f8deb5b9 Poul Sander 2022-01-15 13:55 341
                fmt::basic_string_view<fmt::detail::char8_type>(
f8deb5b9 Poul Sander 2022-01-15 13:55 342
                    reinterpret_cast<const fmt::detail::char8_type*>("ёжик"))));
f8deb5b9 Poul Sander 2022-01-15 13:55 343
}
f8deb5b9 Poul Sander 2022-01-15 13:55 344
f8deb5b9 Poul Sander 2022-01-15 13:55 345
// Tests fmt::detail::count_digits for integer type Int.
f8deb5b9 Poul Sander 2022-01-15 13:55 346
template <typename Int> void test_count_digits() {
f8deb5b9 Poul Sander 2022-01-15 13:55 347
  for (Int i = 0; i < 10; ++i) EXPECT_EQ(1u, fmt::detail::count_digits(i));
f8deb5b9 Poul Sander 2022-01-15 13:55 348
  for (Int i = 1, n = 1, end = max_value<Int>() / 10; n <= end; ++i) {
f8deb5b9 Poul Sander 2022-01-15 13:55 349
    n *= 10;
f8deb5b9 Poul Sander 2022-01-15 13:55 350
    EXPECT_EQ(i, fmt::detail::count_digits(n - 1));
f8deb5b9 Poul Sander 2022-01-15 13:55 351
    EXPECT_EQ(i + 1, fmt::detail::count_digits(n));
f8deb5b9 Poul Sander 2022-01-15 13:55 352
  }
f8deb5b9 Poul Sander 2022-01-15 13:55 353
}
f8deb5b9 Poul Sander 2022-01-15 13:55 354
f8deb5b9 Poul Sander 2022-01-15 13:55 355
TEST(format_impl_test, count_digits) {
f8deb5b9 Poul Sander 2022-01-15 13:55 356
  test_count_digits<uint32_t>();
f8deb5b9 Poul Sander 2022-01-15 13:55 357
  test_count_digits<uint64_t>();
f8deb5b9 Poul Sander 2022-01-15 13:55 358
}
f8deb5b9 Poul Sander 2022-01-15 13:55 359
f8deb5b9 Poul Sander 2022-01-15 13:55 360
TEST(format_impl_test, write_fallback_uintptr) {
f8deb5b9 Poul Sander 2022-01-15 13:55 361
  std::string s;
f8deb5b9 Poul Sander 2022-01-15 13:55 362
  fmt::detail::write_ptr<char>(
f8deb5b9 Poul Sander 2022-01-15 13:55 363
      std::back_inserter(s),
f8deb5b9 Poul Sander 2022-01-15 13:55 364
      fmt::detail::fallback_uintptr(reinterpret_cast<void*>(0xface)), nullptr);
f8deb5b9 Poul Sander 2022-01-15 13:55 365
  EXPECT_EQ(s, "0xface");
f8deb5b9 Poul Sander 2022-01-15 13:55 366
}
f8deb5b9 Poul Sander 2022-01-15 13:55 367
f8deb5b9 Poul Sander 2022-01-15 13:55 368
#ifdef _WIN32
f8deb5b9 Poul Sander 2022-01-15 13:55 369
#  include <windows.h>
f8deb5b9 Poul Sander 2022-01-15 13:55 370
#endif
f8deb5b9 Poul Sander 2022-01-15 13:55 371
f8deb5b9 Poul Sander 2022-01-15 13:55 372
#ifdef _WIN32
f8deb5b9 Poul Sander 2022-01-15 13:55 373
TEST(format_impl_test, write_console_signature) {
f8deb5b9 Poul Sander 2022-01-15 13:55 374
  decltype(WriteConsoleW)* p = fmt::detail::WriteConsoleW;
f8deb5b9 Poul Sander 2022-01-15 13:55 375
  (void)p;
f8deb5b9 Poul Sander 2022-01-15 13:55 376
}
f8deb5b9 Poul Sander 2022-01-15 13:55 377
#endif
1970-01-01 00:00 378