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
93
94
95
|
/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST
extern inline void libj2_minus_j2i(struct libj2_j2i *a);
/* TODO Add man page */
#else
static uintmax_t
random_ju(void)
{
size_t n = LIBJ2_JU_BIT;
uintmax_t r = 0;
while (n--)
if (rand() < rand())
r |= (uintmax_t)1 << n;
return r;
}
static void
minus_j2i(struct libj2_j2i *a)
{
struct libj2_j2i r, a_saved = *a;
r = (struct libj2_j2i){111, 222};
libj2_minus_j2i_to_j2i(a, &r);
EXPECT(libj2_j2i_eq_j2i(a, &a_saved));
libj2_minus_j2i(a);
EXPECT(libj2_j2i_eq_j2i(a, &r));
}
int
main(void)
{
unsigned i;
struct libj2_j2i a, b;
uintmax_t v;
libj2_j2i_zero(&a);
minus_j2i(&a);
EXPECT(libj2_j2i_is_zero(&a));
for (i = 1; i < 256; i++) {
libj2_ji_to_j2i((intmax_t)i, &a);
minus_j2i(&a);
EXPECT(libj2_j2i_eq_ji(&a, -(intmax_t)i));
minus_j2i(&a);
EXPECT(libj2_j2i_eq_ji(&a, (intmax_t)i));
}
a = (struct libj2_j2i){.high = 0, .low = 1};
minus_j2i(&a);
EXPECT(libj2_j2i_eq_j2i(&a, &(struct libj2_j2i){.high = UINTMAX_MAX, .low = UINTMAX_MAX}));
a = (struct libj2_j2i){.high = UINTMAX_MAX, .low = UINTMAX_MAX};
minus_j2i(&a);
EXPECT(libj2_j2i_eq_j2i(&a, &(struct libj2_j2i){.high = 0, .low = 1}));
for (i = 0; i < 256; i++) {
a.high = 0;
a.low = v = random_ju();
minus_j2i(&a);
EXPECT(a.high == UINTMAX_MAX);
EXPECT(a.low == 0U - v);
a.high = UINTMAX_MAX;
a.low = v = random_ju();
minus_j2i(&a);
EXPECT(a.high == 0);
EXPECT(a.low == 0U - v);
}
#ifdef TODO /* requires libj2_j2i_add_j2i */
for (i = 0; i < 256; i++) {
a.high = b.high = random_ju() >> 1;
a.low = b.low = random_ju();
minus_j2i(&a);
libj2_j2i_add_j2i(&a, &b);
EXPECT(libj2_j2i_is_zero(&a));
a.high = b.high ^= UINTMAX_MAX;
a.low = b.low ^= UINTMAX_MAX;
minus_j2i(&a);
libj2_j2i_add_j2i(&a, &b);
EXPECT(libj2_j2i_is_zero(&a));
}
#endif
return 0;
}
#endif
|
