blob: 57d0169afc1e6ade0d0d6a8c2fa5cfc200b2e37b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
#include <catch2/catch.hpp>
#include <vcpkg/base/uint128.h>
TEST_CASE ("uint128 constructor and assign", "[uint128]") {
vcpkg::UInt128 x = 120;
REQUIRE(x.bottom_64_bits() == 120);
REQUIRE(x.top_64_bits() == 0);
x = 3201;
REQUIRE(x.bottom_64_bits() == 3201);
REQUIRE(x.top_64_bits() == 0);
x = 0xFFFF'FFFF'FFFF'FFFF;
REQUIRE(x.bottom_64_bits() == 0xFFFF'FFFF'FFFF'FFFF);
REQUIRE(x.top_64_bits() == 0);
}
TEST_CASE ("uint128 add-assign", "[uint128]") {
vcpkg::UInt128 x = 0xFFFF'FFFF'FFFF'FFFF;
x += 1;
REQUIRE(x.bottom_64_bits() == 0);
REQUIRE(x.top_64_bits() == 1);
}
TEST_CASE ("uint128 shl-assign", "[uint128]") {
vcpkg::UInt128 x = 0xFFFF'FFFF'FFFF'FFFF;
x <<= 32;
REQUIRE(x.bottom_64_bits() == 0xFFFF'FFFF'0000'0000);
REQUIRE(x.top_64_bits() == 0x0000'0000'FFFF'FFFF);
x <<= 60;
REQUIRE(x.bottom_64_bits() == 0);
REQUIRE(x.top_64_bits() == 0xFFFF'FFFF'F000'0000);
x = 1;
x <<= 96;
REQUIRE(x.bottom_64_bits() == 0);
REQUIRE(x.top_64_bits() == (uint64_t(1) << 32));
}
TEST_CASE ("uint128 shr-assign", "[uint128]") {
vcpkg::UInt128 x = 0xFFFF'FFFF'FFFF'FFFF;
x <<= 64;
REQUIRE(x.bottom_64_bits() == 0x0000'0000'0000'0000);
REQUIRE(x.top_64_bits() == 0xFFFF'FFFF'FFFF'FFFF);
x >>= 32;
REQUIRE(x.bottom_64_bits() == 0xFFFF'FFFF'0000'0000);
REQUIRE(x.top_64_bits() == 0x0000'0000'FFFF'FFFF);
x >>= 60;
REQUIRE(x.bottom_64_bits() == 0x0000'000F'FFFF'FFFF);
REQUIRE(x.top_64_bits() == 0x0000'0000'0000'0000);
x = 0x8000'0000'0000'0000;
x <<= 64;
REQUIRE(x.bottom_64_bits() == 0);
REQUIRE(x.top_64_bits() == 0x8000'0000'0000'0000);
x >>= 96;
REQUIRE(x.bottom_64_bits() == (uint64_t(1) << 31));
REQUIRE(x.top_64_bits() == 0);
}
|
