aboutsummaryrefslogtreecommitdiffstats
path: root/libj2_ju_sub_ju_to_j2u.c
blob: 5de5046914aba8e0806a54a452349580f5f2852d (plain) (blame)
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
/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST

extern inline void libj2_ju_sub_ju_to_j2u(uintmax_t a, uintmax_t b, struct libj2_j2u *res);
/* 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
check(uintmax_t a, uintmax_t b)
{
	struct libj2_j2u r, expected;
	int expected_overflow;

	libj2_ju_to_j2u(a, &expected);
	expected_overflow = libj2_j2u_sub_ju_overflow(&expected, b);

	r = (struct libj2_j2u){111, 222};
	libj2_ju_sub_ju_to_j2u(a, b, &r);
	EXPECT(libj2_j2u_eq_j2u(&r, &expected));

	r = (struct libj2_j2u){111, 222};
	EXPECT(libj2_ju_sub_ju_to_j2u_overflow(a, b, &r) == expected_overflow);
	EXPECT(libj2_j2u_eq_j2u(&r, &expected));

	EXPECT(libj2_ju_sub_ju_overflow_p(a, b) == expected_overflow);
}


int
main(void)
{
	unsigned i;

	srand((unsigned)time(NULL));

	check(0, 0);
	check(0, UINTMAX_MAX);
	check(UINTMAX_MAX, 0);
	check(UINTMAX_MAX, UINTMAX_MAX);
	for (i = 0; i < 256; i++) {
		check(0, random_ju());
		check(UINTMAX_MAX, random_ju());
		check(random_ju(), 0);
		check(random_ju(), random_ju());
		check(random_ju(), UINTMAX_MAX);
	}

	return 0;
}

#endif