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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST
extern inline unsigned libj2_ffc_j2u(const struct libj2_j2u *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;
}
int
main(void)
{
struct libj2_j2u a, b, a_saved, b_saved;
unsigned i, j;
srand((unsigned)time(NULL));
libj2_ju_to_j2u(0, &a);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == 0);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_ju_to_j2u(1, &a);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == 1);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_ju_to_j2u(2, &a);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == 2);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_ju_to_j2u(3, &a);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == 1);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_ju_to_j2u(4, &a);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == 3);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_ju_to_j2u(5, &a);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == 1);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_ju_to_j2u(6, &a);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == 2);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_j2u_max(&a);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == 1);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
for (i = 0; i < LIBJ2_J2U_BIT; i++) {
libj2_j2u_zero(&a);
libj2_j2u_or_bit(&a, i);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == i + 1U);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
}
for (i = 0; i < LIBJ2_JU_BIT; i++) {
libj2_j2u_zero(&a);
libj2_j2u_or_bit(&a, i);
a.high = UINTMAX_MAX;
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == i + 1U);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
}
for (i = 0; i < LIBJ2_J2U_BIT; i++) {
libj2_j2u_max(&a);
libj2_j2u_lsh(&a, i);
libj2_not_j2u(&a);
a_saved = a;
EXPECT(libj2_ffc_j2u(&a) == i + 1U);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_not_j2u(&a);
a_saved = a;
for (j = 0; j < 32; j++) {
EXPECT(libj2_j2u_test_bit(&a, i));
b.high = random_ju();
b.low = random_ju();
libj2_j2u_and_j2u(&b, &a);
libj2_j2u_or_bit(&b, i);
EXPECT(libj2_j2u_eq_j2u(&a, &a_saved));
libj2_not_j2u(&b);
b_saved = b;
EXPECT(libj2_ffc_j2u(&b) == i + 1U);
EXPECT(libj2_j2u_eq_j2u(&b, &b_saved));
}
}
return 0;
}
#endif
|
