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
|
#include <stdint.h>
#include <assert.h>
#include <gmp.h>
#include <sail.h>
int main(void)
{
#ifdef SAIL_INT128
/* Check that our 128-bit integer MIN/MAX macros do sensible things */
assert(SAIL_INT_MAX > SAIL_INT_MIN);
assert(SAIL_INT_MAX > 0);
assert(SAIL_INT_MIN < 0);
assert(SAIL_INT_MIN - SAIL_INT_MIN == 0);
assert(SAIL_INT_MAX - SAIL_INT_MAX == 0);
assert((uint64_t) (SAIL_INT_MAX >> 64) == 0x7FFFFFFFFFFFFFFF);
assert((uint64_t) (SAIL_INT_MAX >> 127) == 0);
assert((uint64_t) (SAIL_INT_MAX >> 126) == 1);
assert((unsigned __int128) SAIL_INT_MAX + 1 == (unsigned __int128) SAIL_INT_MIN);
assert((__int128) ((unsigned __int128) SAIL_INT_MAX + 1) == SAIL_INT_MIN);
assert((__int128) ((unsigned __int128) SAIL_INT_MAX + 1) < 0);
assert((uint64_t) SAIL_INT_MAX == 0xFFFFFFFFFFFFFFFF);
/* Expect precision failures */
assert(CREATE_OF(mach_int, sail_int)(SAIL_INT_MAX) == -1);
assert(CREATE_OF(mach_int, sail_int)(SAIL_INT_MIN) == -1);
/* Expect warnings for overflow/underflow */
assert(add_int(SAIL_INT_MAX, SAIL_INT_MAX) == -1); //overflow
assert(add_int(SAIL_INT_MAX, 1) == -1); //overflow
assert(add_int(SAIL_INT_MAX, 0) == SAIL_INT_MAX);
assert(add_int(SAIL_INT_MIN, SAIL_INT_MIN) == -1); //underflow
assert(add_int(SAIL_INT_MIN, -1) == -1); //underflow
assert(add_int(SAIL_INT_MIN, 0) == SAIL_INT_MIN);
#endif
return 0;
}
|
