| 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 |
|