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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
///
/// @file int128.cpp
/// @brief Test int128_t and uint128_t types.
///
/// Copyright (C) 2025 Kim Walisch, <kim.walisch@gmail.com>
///
/// This file is distributed under the BSD License. See the COPYING
/// file in the top level directory.
///
#include <int128_t.hpp>
#include <macros.hpp>
#include <stdint.h>
#include <iostream>
using namespace primecount;
#if defined(HAVE_INT128_T)
#include <cstdlib>
#include <string>
void check(bool OK)
{
std::cout << " " << (OK ? "OK" : "ERROR") << "\n";
if (!OK)
std::exit(1);
}
#endif
int main()
{
#if defined(HAVE_INT128_T)
static_assert(pstd::numeric_limits<uint128_t>::max() == ~((uint128_t) 0),
"pstd::numeric_limits<uint128_t>::max() is broken");
static_assert(pstd::is_integral<int128_t>::value,
"is_integral<int128_t> != true");
static_assert(pstd::is_integral<uint128_t>::value,
"is_integral<uint128_t> != true");
static_assert(pstd::is_signed<int128_t>::value,
"is_signed<int128_t> != true");
static_assert(!pstd::is_signed<uint128_t>::value,
"is_signed<uint128_t> != false");
static_assert(!pstd::is_unsigned<int128_t>::value,
"is_unsigned<int128_t> != false");
static_assert(pstd::is_unsigned<uint128_t>::value,
"is_unsigned<uint128_t> != true");
{
int128_t x = int128_t(1) << 100;
std::string str = to_string(x);
std::cout << "2^100 = " << str;
check(str == "1267650600228229401496703205376");
}
{
int128_t x = pstd::numeric_limits<int128_t>::min() + 1;
std::string str = to_string(x);
std::cout << "-2^127+1 = " << str;
check(str == "-170141183460469231731687303715884105727");
}
{
int128_t x = pstd::numeric_limits<int128_t>::max();
std::string str = to_string(x);
std::cout << "2^127-1 = " << str;
check(str == "170141183460469231731687303715884105727");
}
{
uint128_t x = pstd::numeric_limits<uint128_t>::max();
std::string str = to_string(x);
std::cout << "2^128-1 = " << str;
check(str == "340282366920938463463374607431768211455");
}
#endif
std::cout << std::endl;
std::cout << "All tests passed successfully!" << std::endl;
return 0;
}
|
