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
|
/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST
extern inline void libj2_minus_j2i_to_j2u(const struct libj2_j2i *a, struct libj2_j2u *res);
/* TODO Add man page */
#else
static void
check_ji_ju(intmax_t ji, uintmax_t ju)
{
struct libj2_j2i a, a_saved, b;
struct libj2_j2u r;
r = (struct libj2_j2u){111, 222};
libj2_ji_to_j2i(ji, &a);
a_saved = a;
libj2_minus_j2i_to_j2u((const struct libj2_j2i *)&a, &r);
EXPECT(libj2_j2i_eq_j2i(&a, &a_saved));
EXPECT(libj2_j2u_eq_ju(&r, ju));
b = (struct libj2_j2i){111, 222};
libj2_minus_j2u_to_j2i((const struct libj2_j2u *)&r, &b);
EXPECT(libj2_j2u_eq_ju(&r, ju));
EXPECT(libj2_j2i_eq_j2i(&b, &a_saved));
}
static void
check_j2i_j2u(uintmax_t a_high, uintmax_t a_low, int a_minus, uintmax_t r_high, uintmax_t r_low)
{
struct libj2_j2i a, a_saved, b;
struct libj2_j2u r;
r = (struct libj2_j2u){111, 222};
a.high = a_high;
a.low = a_low;
if (a_minus)
libj2_minus_j2i(&a);
a_saved = a;
libj2_minus_j2i_to_j2u((const struct libj2_j2i *)&a, &r);
EXPECT(libj2_j2i_eq_j2i(&a, &a_saved));
EXPECT(r.high == r_high);
EXPECT(r.low == r_low);
b = (struct libj2_j2i){111, 222};
libj2_minus_j2u_to_j2i((const struct libj2_j2u *)&r, &b);
EXPECT(r.high == r_high);
EXPECT(r.low == r_low);
EXPECT(libj2_j2i_eq_j2i(&b, &a_saved));
}
int
main(void)
{
check_ji_ju(0, 0);
check_ji_ju(-1, 1);
check_ji_ju(-2, 2);
check_j2i_j2u(UINTMAX_MAX >> 1, UINTMAX_MAX, 1, UINTMAX_MAX >> 1, UINTMAX_MAX);
check_j2i_j2u(UINTMAX_MAX ^ (UINTMAX_MAX >> 1), 0, 0, UINTMAX_MAX ^ (UINTMAX_MAX >> 1), 0);
check_j2i_j2u(0, 1, 0, UINTMAX_MAX, UINTMAX_MAX);
check_j2i_j2u(0, 2, 0, UINTMAX_MAX, UINTMAX_MAX - 1U);
check_j2i_j2u(UINTMAX_MAX >> 1, UINTMAX_MAX, 0, UINTMAX_MAX ^ (UINTMAX_MAX >> 1), 1);
check_j2i_j2u(UINTMAX_MAX ^ (UINTMAX_MAX >> 1), 0, 0, UINTMAX_MAX ^ (UINTMAX_MAX >> 1), 0);
return 0;
}
#endif
|
