From 50bb696a6b4d75a097f22274834f67961fa9e440 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Thu, 11 Dec 2025 18:32:27 +0100 Subject: Add signed integers (arithmetics and some testing not implemented yet) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- libj2_j2i_is_min.c | 225 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 225 insertions(+) create mode 100644 libj2_j2i_is_min.c (limited to 'libj2_j2i_is_min.c') diff --git a/libj2_j2i_is_min.c b/libj2_j2i_is_min.c new file mode 100644 index 0000000..2393b72 --- /dev/null +++ b/libj2_j2i_is_min.c @@ -0,0 +1,225 @@ +/* See LICENSE file for copyright and license details. */ +#include "common.h" +#ifndef TEST + +extern inline int libj2_j2i_is_min(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_min(&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_min(&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_min(&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_min(&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_min(&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_min(&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_min(&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_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + } + + value.high = 0; + value.low = a = i + 1U; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a = i + 1U; + value.low = 0; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = 0; + value.low = a = (uintmax_t)1 << i; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a = (uintmax_t)1 << i; + value.low = 0; + EXPECT(libj2_j2i_is_min(&value) == (i == LIBJ2_JU_BIT - 1U)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = 0; + value.low = a = ~((uintmax_t)(i + 1U)); + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a = ~((uintmax_t)(i + 1U)); + value.low = 0; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = 0; + value.low = a = ~((uintmax_t)1 << i); + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a = ~((uintmax_t)1 << i); + value.low = 0; + EXPECT(!libj2_j2i_is_min(&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_min(&value)); + EXPECT(value.high == b); + EXPECT(value.low == a); + + value.high = a = i + 1U; + value.low = b; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = b; + value.low = a = (uintmax_t)1 << i; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == b); + EXPECT(value.low == a); + + value.high = a = (uintmax_t)1 << i; + value.low = b; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = b; + value.low = a = ~((uintmax_t)(i + 1U)); + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == b); + EXPECT(value.low == a); + + value.high = a = ~((uintmax_t)(i + 1U)); + value.low = b; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + + value.high = b; + value.low = a = ~((uintmax_t)1 << i); + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == b); + EXPECT(value.low == a); + + value.high = a = ~((uintmax_t)1 << i); + value.low = b; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == b); + } + + value.high = 0; + value.low = 0; + EXPECT(libj2_j2i_is_min(&value) == 0); + EXPECT(value.high == 0); + EXPECT(value.low == 0); + + a = ~(uintmax_t)0; + + value.high = 0; + value.low = a; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == 0); + EXPECT(value.low == a); + + value.high = a; + value.low = 0; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = a; + value.low = a; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == a); + + a >>= 1; + + value.high = a; + value.low = 0; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = a; + value.low = ~(uintmax_t)0; + EXPECT(!libj2_j2i_is_min(&value)); + 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_min(&value) == 1); + EXPECT(value.high == a); + EXPECT(value.low == 0); + + value.high = a; + value.low = ~(uintmax_t)0; + EXPECT(!libj2_j2i_is_min(&value)); + EXPECT(value.high == a); + EXPECT(value.low == ~(uintmax_t)0); + + return 0; +} + +#endif -- cgit v1.2.3-70-g09d2