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_mul_ju.c | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'libj2_j2u_mul_ju.c') diff --git a/libj2_j2u_mul_ju.c b/libj2_j2u_mul_ju.c index 6be737c..33eabba 100644 --- a/libj2_j2u_mul_ju.c +++ b/libj2_j2u_mul_ju.c @@ -82,6 +82,10 @@ mul(const struct libj2_j2u *a, uintmax_t b, struct libj2_j2u *expected, int expe EXPECT(libj2_j2u_mul_ju_overflow(&t, b) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, expected)); + t = *a; + libj2_j2u_sat_mul_ju(&t, b); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + t = *a; EXPECT(libj2_j2u_mul_ju_overflow_p((const struct libj2_j2u *)&t, b) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, a)); @@ -114,6 +118,15 @@ mul(const struct libj2_j2u *a, uintmax_t b, struct libj2_j2u *expected, int expe EXPECT(libj2_j2u_mul_ju_to_j2u_overflow(&t, b, &t) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, expected)); + t = (struct libj2_j2u){111, 222}; + libj2_j2u_sat_mul_ju_to_j2u(a, b, &t); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + EXPECT(libj2_j2u_eq_j2u(a, &a_saved)); + + t = *a; + libj2_j2u_sat_mul_ju_to_j2u(&t, b, &t); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + t = (struct libj2_j2u){111, 222}; EXPECT(libj2_ju_mul_j2u_to_j2u_overflow(b, a, &t) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, expected)); @@ -123,6 +136,15 @@ mul(const struct libj2_j2u *a, uintmax_t b, struct libj2_j2u *expected, int expe EXPECT(libj2_ju_mul_j2u_to_j2u_overflow(b, &t, &t) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, expected)); + t = (struct libj2_j2u){111, 222}; + libj2_ju_sat_mul_j2u_to_j2u(b, a, &t); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + EXPECT(libj2_j2u_eq_j2u(a, &a_saved)); + + t = *a; + libj2_ju_sat_mul_j2u_to_j2u(b, &t, &t); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + set = 999; t = (struct libj2_j2u){111, 222}; t_saved = t; -- cgit v1.2.3-70-g09d2