From bc03a666203de25faf6246847fecbc8502267212 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sat, 6 Dec 2025 16:13:53 +0100 Subject: Add saturated arithmetic operations MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- libj2_j2u_add_ju.c | 93 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 93 insertions(+) (limited to 'libj2_j2u_add_ju.c') diff --git a/libj2_j2u_add_ju.c b/libj2_j2u_add_ju.c index f368857..1b6458f 100644 --- a/libj2_j2u_add_ju.c +++ b/libj2_j2u_add_ju.c @@ -35,6 +35,11 @@ check_zero_low(uintmax_t high, uintmax_t low) EXPECT(a.high == high); EXPECT(a.low == low); + a = (struct libj2_j2u){.high = high, .low = 0}; + libj2_j2u_sat_add_ju(&a, low); + EXPECT(a.high == high); + EXPECT(a.low == low); + a = (struct libj2_j2u){.high = high, .low = 0}; EXPECT(libj2_j2u_add_ju_overflow_p((const struct libj2_j2u *)&a, low) == 0); EXPECT(a.high == high); @@ -66,6 +71,19 @@ check_zero_low(uintmax_t high, uintmax_t low) EXPECT(a.high == high); EXPECT(a.low == low); + r = (struct libj2_j2u){111, 222}; + a = (struct libj2_j2u){.high = high, .low = 0}; + libj2_j2u_sat_add_ju_to_j2u(&a, low, &r); + EXPECT(a.high == high); + EXPECT(a.low == 0); + EXPECT(r.high == high); + EXPECT(r.low == low); + + a = (struct libj2_j2u){.high = high, .low = 0}; + libj2_j2u_sat_add_ju_to_j2u(&a, low, &a); + EXPECT(a.high == high); + EXPECT(a.low == low); + r = (struct libj2_j2u){111, 222}; a = (struct libj2_j2u){.high = high, .low = 0}; libj2_ju_add_j2u_to_j2u(low, &a, &r); @@ -92,6 +110,19 @@ check_zero_low(uintmax_t high, uintmax_t low) EXPECT(a.high == high); EXPECT(a.low == low); + r = (struct libj2_j2u){111, 222}; + a = (struct libj2_j2u){.high = high, .low = 0}; + libj2_ju_sat_add_j2u_to_j2u(low, &a, &r); + EXPECT(a.high == high); + EXPECT(a.low == 0); + EXPECT(r.high == high); + EXPECT(r.low == low); + + a = (struct libj2_j2u){.high = high, .low = 0}; + libj2_ju_sat_add_j2u_to_j2u(low, &a, &a); + EXPECT(a.high == high); + EXPECT(a.low == low); + a = (struct libj2_j2u){.high = high, .low = 0}; EXPECT(libj2_ju_add_j2u_overflow_p(low, (const struct libj2_j2u *)&a) == 0); EXPECT(a.high == high); @@ -117,6 +148,11 @@ check_max_low(uintmax_t high, uintmax_t low) EXPECT(a.high == expected_high); EXPECT(a.low == expected_low); + a = (struct libj2_j2u){.high = high, .low = UINTMAX_MAX}; + libj2_j2u_sat_add_ju(&a, low); + EXPECT(a.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(a.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + a = (struct libj2_j2u){.high = high, .low = UINTMAX_MAX}; EXPECT(libj2_j2u_add_ju_overflow_p((const struct libj2_j2u *)&a, low) == expected_overflow); EXPECT(a.high == high); @@ -148,6 +184,19 @@ check_max_low(uintmax_t high, uintmax_t low) EXPECT(a.high == expected_high); EXPECT(a.low == expected_low); + r = (struct libj2_j2u){111, 222}; + a = (struct libj2_j2u){.high = high, .low = UINTMAX_MAX}; + libj2_j2u_sat_add_ju_to_j2u(&a, low, &r); + EXPECT(a.high == high); + EXPECT(a.low == UINTMAX_MAX); + EXPECT(r.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(r.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + + a = (struct libj2_j2u){.high = high, .low = UINTMAX_MAX}; + libj2_j2u_sat_add_ju_to_j2u(&a, low, &a); + EXPECT(a.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(a.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + r = (struct libj2_j2u){111, 222}; a = (struct libj2_j2u){.high = high, .low = UINTMAX_MAX}; libj2_ju_add_j2u_to_j2u(low, &a, &r); @@ -174,6 +223,19 @@ check_max_low(uintmax_t high, uintmax_t low) EXPECT(a.high == expected_high); EXPECT(a.low == expected_low); + r = (struct libj2_j2u){111, 222}; + a = (struct libj2_j2u){.high = high, .low = UINTMAX_MAX}; + libj2_ju_sat_add_j2u_to_j2u(low, &a, &r); + EXPECT(a.high == high); + EXPECT(a.low == UINTMAX_MAX); + EXPECT(r.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(r.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + + a = (struct libj2_j2u){.high = high, .low = UINTMAX_MAX}; + libj2_ju_sat_add_j2u_to_j2u(low, &a, &a); + EXPECT(a.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(a.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + a = (struct libj2_j2u){.high = high, .low = UINTMAX_MAX}; EXPECT(libj2_ju_add_j2u_overflow_p(low, (const struct libj2_j2u *)&a) == expected_overflow); EXPECT(a.high == high); @@ -226,6 +288,11 @@ check(uintmax_t a_high, uintmax_t a_low, uintmax_t b) EXPECT(a.high == expected_high); EXPECT(a.low == expected_low); + a = (struct libj2_j2u){.high = a_high, .low = a_low}; + libj2_j2u_sat_add_ju(&a, b); + EXPECT(a.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(a.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + a = (struct libj2_j2u){.high = a_high, .low = a_low}; EXPECT(libj2_j2u_add_ju_overflow_p((const struct libj2_j2u *)&a, b) == expected_overflow); EXPECT(a.high == a_high); @@ -257,6 +324,19 @@ check(uintmax_t a_high, uintmax_t a_low, uintmax_t b) EXPECT(a.high == expected_high); EXPECT(a.low == expected_low); + r = (struct libj2_j2u){111, 222}; + a = (struct libj2_j2u){.high = a_high, .low = a_low}; + libj2_j2u_sat_add_ju_to_j2u(&a, b, &r); + EXPECT(a.high == a_high); + EXPECT(a.low == a_low); + EXPECT(r.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(r.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + + a = (struct libj2_j2u){.high = a_high, .low = a_low}; + libj2_j2u_sat_add_ju_to_j2u(&a, b, &a); + EXPECT(a.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(a.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + r = (struct libj2_j2u){111, 222}; a = (struct libj2_j2u){.high = a_high, .low = a_low}; libj2_ju_add_j2u_to_j2u(b, &a, &r); @@ -283,6 +363,19 @@ check(uintmax_t a_high, uintmax_t a_low, uintmax_t b) EXPECT(a.high == expected_high); EXPECT(a.low == expected_low); + r = (struct libj2_j2u){111, 222}; + a = (struct libj2_j2u){.high = a_high, .low = a_low}; + libj2_ju_sat_add_j2u_to_j2u(b, &a, &r); + EXPECT(a.high == a_high); + EXPECT(a.low == a_low); + EXPECT(r.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(r.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + + a = (struct libj2_j2u){.high = a_high, .low = a_low}; + libj2_ju_sat_add_j2u_to_j2u(b, &a, &a); + EXPECT(a.high == (expected_overflow ? UINTMAX_MAX : expected_high)); + EXPECT(a.low == (expected_overflow ? UINTMAX_MAX : expected_low)); + a = (struct libj2_j2u){.high = a_high, .low = a_low}; EXPECT(libj2_ju_add_j2u_overflow_p(b, (const struct libj2_j2u *)&a) == expected_overflow); EXPECT(a.high == a_high); -- cgit v1.2.3-70-g09d2