diff options
Diffstat (limited to 'libj2_j2i_is_max.c')
| -rw-r--r-- | libj2_j2i_is_max.c | 225 |
1 files changed, 225 insertions, 0 deletions
diff --git a/libj2_j2i_is_max.c b/libj2_j2i_is_max.c new file mode 100644 index 0000000..78c9448 --- /dev/null +++ b/libj2_j2i_is_max.c @@ -0,0 +1,225 @@ +/* See LICENSE file for copyright and license details. */ +#include "common.h" +#ifndef TEST + +extern inline int libj2_j2i_is_max(const struct libj2_j2i *a); +/* TODO Add man page */ + + +#else + +int +main(void) +{ + struct libj2_j2i value; + uintmax_t a, b; + unsigned i, j; + + for (i = 0; i < LIBJ2_JU_BIT; i++) { + for (j = 0; j < LIBJ2_JU_BIT; j++) { + value.high = a = i + 1U; + value.low = b = j + 1U; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = a = (uintmax_t)1 << i; + value.low = b = j + 1U; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = a = i + 1U; + value.low = b = (uintmax_t)1 << j; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = a = (uintmax_t)1 << i; + value.low = b = (uintmax_t)1 << j; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = a = ~((uintmax_t)(i + 1U)); + value.low = b = ~((uintmax_t)(j + 1U)); + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = a = ~((uintmax_t)1 << i); + value.low = b = ~((uintmax_t)(j + 1U)); + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = a = ~((uintmax_t)(i + 1U)); + value.low = b = ~((uintmax_t)1 << j); + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = a = ~((uintmax_t)1 << i); + value.low = b = ~((uintmax_t)1 << j); + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + } + + value.high = 0; + value.low = a = i + 1U; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a = i + 1U; + value.low = 0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = 0; + value.low = a = (uintmax_t)1 << i; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a = (uintmax_t)1 << i; + value.low = 0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = 0; + value.low = a = ~((uintmax_t)(i + 1U)); + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a = ~((uintmax_t)(i + 1U)); + value.low = 0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = 0; + value.low = a = ~((uintmax_t)1 << i); + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a = ~((uintmax_t)1 << i); + value.low = 0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + b = ~(uintmax_t)0; + + value.high = b; + value.low = a = i + 1U; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == b); + EXPECT(value.low == a); + + value.high = a = i + 1U; + value.low = b; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = b; + value.low = a = (uintmax_t)1 << i; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == b); + EXPECT(value.low == a); + + value.high = a = (uintmax_t)1 << i; + value.low = b; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = b; + value.low = a = ~((uintmax_t)(i + 1U)); + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == b); + EXPECT(value.low == a); + + value.high = a = ~((uintmax_t)(i + 1U)); + value.low = b; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = b; + value.low = a = ~((uintmax_t)1 << i); + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == b); + EXPECT(value.low == a); + + value.high = a = ~((uintmax_t)1 << i); + value.low = b; + EXPECT(libj2_j2i_is_max(&value) == (a == (uintmax_t)INTMAX_MAX)); + EXPECT(value.high == a); + EXPECT(value.low == b); + } + + value.high = 0; + value.low = 0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == 0); + + a = ~(uintmax_t)0; + + value.high = 0; + value.low = a; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a; + value.low = 0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = a; + value.low = a; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == a); + + a >>= 1; + + value.high = a; + value.low = 0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = a; + value.low = ~(uintmax_t)0; + EXPECT(libj2_j2i_is_max(&value) == 1); + EXPECT(value.high == a); + EXPECT(value.low == ~(uintmax_t)0); + + a = UINTMAX_MAX ^ (UINTMAX_MAX >> 1); + + value.high = a; + value.low = 0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = a; + value.low = ~(uintmax_t)0; + EXPECT(!libj2_j2i_is_max(&value)); + EXPECT(value.high == a); + EXPECT(value.low == ~(uintmax_t)0); + + return 0; +} + +#endif |