20 #include <ripple/basics/Blob.h>
21 #include <ripple/basics/base_uint.h>
22 #include <ripple/basics/hardened_hash.h>
23 #include <ripple/beast/unit_test.h>
24 #include <boost/endian/conversion.hpp>
34 template <std::
size_t Bits>
37 static constexpr
auto const endian = boost::endian::order::big;
67 static constexpr std::
68 array<std::pair<std::string_view, std::string_view>, 6>
70 {{
"0000000000000000",
"0000000000000001"},
71 {
"0000000000000000",
"ffffffffffffffff"},
72 {
"1234567812345678",
"2345678923456789"},
73 {
"8000000000000000",
"8000000000000001"},
74 {
"aaaaaaaaaaaaaaa9",
"aaaaaaaaaaaaaaaa"},
75 {
"fffffffffffffffe",
"ffffffffffffffff"}}};
77 for (
auto const& arg : test_args)
83 BEAST_EXPECT(!(u == v));
84 BEAST_EXPECT(!(u > v));
85 BEAST_EXPECT(!(u >= v));
86 BEAST_EXPECT(!(v < u));
87 BEAST_EXPECT(!(v <= u));
89 BEAST_EXPECT(!(v == u));
102 {
"000000000000000000000000",
"000000000000000000000001"},
103 {
"000000000000000000000000",
"ffffffffffffffffffffffff"},
104 {
"0123456789ab0123456789ab",
"123456789abc123456789abc"},
105 {
"555555555555555555555555",
"55555555555a555555555555"},
106 {
"aaaaaaaaaaaaaaa9aaaaaaaa",
"aaaaaaaaaaaaaaaaaaaaaaaa"},
107 {
"fffffffffffffffffffffffe",
"ffffffffffffffffffffffff"},
110 for (
auto const& arg : test_args)
114 BEAST_EXPECT(u <= v);
115 BEAST_EXPECT(u != v);
116 BEAST_EXPECT(!(u == v));
117 BEAST_EXPECT(!(u > v));
118 BEAST_EXPECT(!(u >= v));
119 BEAST_EXPECT(!(v < u));
120 BEAST_EXPECT(!(v <= u));
121 BEAST_EXPECT(v != u);
122 BEAST_EXPECT(!(v == u));
124 BEAST_EXPECT(v >= u);
125 BEAST_EXPECT(u == u);
126 BEAST_EXPECT(v == v);
134 testcase(
"base_uint: general purpose tests");
146 Blob raw{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12};
151 BEAST_EXPECT(raw.size() == u.size());
152 BEAST_EXPECT(
to_string(u) ==
"0102030405060708090A0B0C");
153 BEAST_EXPECT(*u.data() == 1);
154 BEAST_EXPECT(u.signum() == 1);
156 BEAST_EXPECT(!u.isZero());
157 BEAST_EXPECT(u.isNonZero());
161 BEAST_EXPECT(d == ++t);
170 BEAST_EXPECT(w == u);
174 BEAST_EXPECT(
to_string(v) ==
"FEFDFCFBFAF9F8F7F6F5F4F3");
175 BEAST_EXPECT(*v.data() == 0xfe);
176 BEAST_EXPECT(v.signum() == 1);
178 BEAST_EXPECT(!v.isZero());
179 BEAST_EXPECT(v.isNonZero());
183 BEAST_EXPECT(d == --t);
190 BEAST_EXPECT(v == u);
194 BEAST_EXPECT(
to_string(z) ==
"000000000000000000000000");
195 BEAST_EXPECT(*z.data() == 0);
196 BEAST_EXPECT(*z.begin() == 0);
197 BEAST_EXPECT(*
std::prev(z.end(), 1) == 0);
198 BEAST_EXPECT(z.signum() == 0);
200 BEAST_EXPECT(z.isZero());
201 BEAST_EXPECT(!z.isNonZero());
204 BEAST_EXPECT(d == 0);
209 BEAST_EXPECT(n ==
test96(1));
211 BEAST_EXPECT(n == beast::zero);
212 BEAST_EXPECT(n == z);
214 BEAST_EXPECT(
to_string(n) ==
"FFFFFFFFFFFFFFFFFFFFFFFF");
216 BEAST_EXPECT(n == z);
226 BEAST_EXPECT(uset.
size() == 4);
230 BEAST_EXPECT(tmp == u);
246 x[i] = (
'G' + (i % 10));
273 static_assert(
test96(
"0").signum() == 0);
274 static_assert(
test96(
"000000000000000000000000").signum() == 0);
275 static_assert(
test96(
"000000000000000000000001").signum() == 1);
276 static_assert(
test96(
"800000000000000000000000").signum() == 1);
281 static_assert(
test96(
"00000000000000000000000").signum() == 0);
284 static_assert(
test96(
"0000000000000000000000000").signum() == 0);
287 static_assert(
test96(
"00000000000000000000000 ").signum() == 1);
288 static_assert(
test96(
"00000000000000000000000/").signum() == 1);
289 static_assert(
test96(
"00000000000000000000000:").signum() == 1);
290 static_assert(
test96(
"00000000000000000000000@").signum() == 1);
291 static_assert(
test96(
"00000000000000000000000G").signum() == 1);
292 static_assert(
test96(
"00000000000000000000000`").signum() == 1);
293 static_assert(
test96(
"00000000000000000000000g").signum() == 1);
294 static_assert(
test96(
"00000000000000000000000~").signum() == 1);
307 [[maybe_unused]]
test96 t96(sView);
316 BEAST_EXPECT(caught);
327 [[maybe_unused]]
test96 t96(sView);
335 BEAST_EXPECT(caught);
342 char const*
const str;
345 constexpr StrBaseUint(
char const* s) : str(s), tst(s)
349 constexpr StrBaseUint testCases[] = {
350 "000000000000000000000000",
351 "000000000000000000000001",
352 "fedcba9876543210ABCDEF91",
353 "19FEDCBA0123456789abcdef",
354 "800000000000000000000000",
355 "fFfFfFfFfFfFfFfFfFfFfFfF"};
357 for (StrBaseUint
const& t : testCases)
361 BEAST_EXPECT(t96 == t.tst);