mirror of
https://github.com/luxfi/intx.git
synced 2026-10-30 16:22:26 +00:00
Paweł Bylica
09b5ab333d
New order matches the values order (litte-endian) in the underlaying array of words.
70 lines
3.0 KiB
C++
70 lines
3.0 KiB
C++
// intx: extended precision integer library.
|
|
// Copyright 2019-2020 Pawel Bylica.
|
|
// Licensed under the Apache License, Version 2.0.
|
|
|
|
#pragma once
|
|
|
|
#include <intx/intx.hpp>
|
|
|
|
namespace
|
|
{
|
|
using namespace intx;
|
|
|
|
struct arithmetic_test_case
|
|
{
|
|
intx::uint256 x;
|
|
intx::uint256 y;
|
|
intx::uint256 sum;
|
|
intx::uint256 product;
|
|
};
|
|
|
|
inline constexpr auto M = ~uint64_t{0};
|
|
|
|
inline constexpr arithmetic_test_case arithmetic_test_cases[] = {
|
|
{0, 0, 0, 0},
|
|
{127, 1, 128, 127},
|
|
{1, 1, 2, 1},
|
|
{{1, 1, 1, 1}, {1, 1, 1, 1}, {2, 2, 2, 2}, {1, 2, 3, 4}},
|
|
{{M, 1, 1, 1}, {1, 1, 1, 1}, {0, 3, 2, 2}, {M, 0, 2, 3}},
|
|
{{1, M, 1, 1}, {1, 1, 1, 1}, {2, 0, 3, 2}, {1, 0, 2, 3}},
|
|
{{1, 1, M, 1}, {1, 1, 1, 1}, {2, 2, 0, 3}, {1, 2, 1, 3}},
|
|
{{1, 1, 1, M}, {1, 1, 1, 1}, {2, 2, 2, 0}, {1, 2, 3, 2}},
|
|
{0xffffffffffffffff, 1, intx::uint128{0, 1}, 0xffffffffffffffff},
|
|
{intx::uint128{0, 0x8000000000000000}, intx::uint128{0, 0x8000000000000000}, {0, 0, 1, 0},
|
|
{0, 0, 0, 0x4000000000000000}},
|
|
{{0, 0, 1, 0}, 0, {0, 0, 1, 0}, 0},
|
|
{{0, 0, 0x8000000000000000, 0}, {0, 0, 0xffffffffffffffff, 0}, {0, 0, 0x7fffffffffffffff, 1},
|
|
0},
|
|
{{0, 0, 0, 0x7fffffffffffffff}, {0, 0, 0, 0x7fffffffffffffff}, {0, 0, 0, 0xfffffffffffffffe},
|
|
0},
|
|
{{0, 0, 0, 0x8000000000000000}, {0, 0, 0, 0x7fffffffffffffff}, {0, 0, 0, 0xffffffffffffffff},
|
|
0},
|
|
{{0, 0, 0, 0xfffffffffffffffe}, {0, 0, 0, 1}, {0, 0, 0, 0xffffffffffffffff}, 0},
|
|
{{0, 0, 0, 0xffffffffffffffff}, {0, 0, 0, 1}, {0, 0, 0, 0}, 0},
|
|
{{0, 0, 1, 0xffffffffffffffff}, {0, 0, 0xffffffffffffffff, 0}, {0, 0, 0, 0}, 0},
|
|
{{0, 0, 1, 0xfffffffffffffffe}, {0, 0, 0xffffffffffffffff, 1}, {0, 0, 0, 0}, 0},
|
|
{{0, 0xffffffffffffffff, 0, 0xffffffffffffffff}, {0, 1, 0xffffffffffffffff, 0}, 0,
|
|
{0, 0, 0xffffffffffffffff, 1}},
|
|
{{2, 0xfffffffffffffffe, 1, 0xfffffffffffffffe}, {0xfffffffffffffffe, 1, 0xfffffffffffffffe, 1},
|
|
0, {0xfffffffffffffffc, 7, 0xfffffffffffffff4, 0xf}},
|
|
{
|
|
0xffffffffffffff00feffff42000000767606000000000007ffffffffffffffff_u256,
|
|
0xffff000000000000000000000000000000000000000000032b00000000008000_u256,
|
|
0xfffeffffffffff00feffff4200000076760600000000000b2b00000000007fff_u256,
|
|
0x27d5fda6158080f747860200003b3b1c580000000003fffcd4ffffffffff8000_u256,
|
|
},
|
|
{
|
|
0x01000000000000000000030000000000000000000000000002000000000000ff_u256,
|
|
0x0000000000000000000002000000000000ffffffffffffffffffffffffff0000_u256,
|
|
0x01000000000000000000050000000000010000000000000001ffffffffff00ff_u256,
|
|
0x00000003fffffffffd03fe0000000000fefffffffffffdffffffffffff010000_u256,
|
|
},
|
|
{
|
|
0xffffffff000000ffffffffffffffffffffffffffffffffffffff81002f000000_u256,
|
|
0x00000000000000000000000000ffffffffffffffffffffffffffffffffffb0ff_u256,
|
|
0xffffffff000001000000000000ffffffffffffffffffffffffff81002effb0ff_u256,
|
|
0x00004f00ffb0fe81002f00000000000000000000000000002731707ed1000000_u256,
|
|
},
|
|
};
|
|
} // namespace
|