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_j2u_destructive.c | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) (limited to 'libj2_j2u_mul_j2u_destructive.c') diff --git a/libj2_j2u_mul_j2u_destructive.c b/libj2_j2u_mul_j2u_destructive.c index ba986da..04b4428 100644 --- a/libj2_j2u_mul_j2u_destructive.c +++ b/libj2_j2u_mul_j2u_destructive.c @@ -88,6 +88,11 @@ mul_(const struct libj2_j2u *a, const struct libj2_j2u *b, struct libj2_j2u *exp EXPECT(libj2_j2u_eq_j2u(&t, expected)); EXPECT(libj2_j2u_eq_j2u(b, &b_saved)); + t = *a; + libj2_j2u_sat_mul_j2u(&t, b); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + EXPECT(libj2_j2u_eq_j2u(b, &b_saved)); + t = *a; EXPECT(libj2_j2u_mul_j2u_overflow_p(&t, b) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, a)); @@ -137,6 +142,22 @@ mul_(const struct libj2_j2u *a, const struct libj2_j2u *b, struct libj2_j2u *exp EXPECT(libj2_j2u_eq_j2u(&t, expected)); EXPECT(libj2_j2u_eq_j2u(a, &a_saved)); + t = (struct libj2_j2u){111, 222}; + libj2_j2u_sat_mul_j2u_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)); + EXPECT(libj2_j2u_eq_j2u(b, &b_saved)); + + t = *a; + libj2_j2u_sat_mul_j2u_to_j2u(&t, b, &t); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + EXPECT(libj2_j2u_eq_j2u(b, &b_saved)); + + t = *b; + libj2_j2u_sat_mul_j2u_to_j2u(a, &t, &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; x = *b; libj2_j2u_mul_j2u_destructive(&t, &x); @@ -147,6 +168,11 @@ mul_(const struct libj2_j2u *a, const struct libj2_j2u *b, struct libj2_j2u *exp EXPECT(libj2_j2u_mul_j2u_overflow_destructive(&t, &x) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, expected)); + t = *a; + x = *b; + libj2_j2u_sat_mul_j2u_destructive(&t, &x); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + if (a == b) { t = *a; libj2_j2u_mul_j2u(&t, &t); @@ -160,6 +186,10 @@ mul_(const struct libj2_j2u *a, const struct libj2_j2u *b, struct libj2_j2u *exp EXPECT(libj2_j2u_mul_j2u_overflow(&t, &t) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, expected)); + t = *a; + libj2_j2u_sat_mul_j2u(&t, &t); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); + t = *a; EXPECT(libj2_j2u_mul_j2u_overflow_p(&t, &t) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, a)); @@ -178,6 +208,10 @@ mul_(const struct libj2_j2u *a, const struct libj2_j2u *b, struct libj2_j2u *exp t = *a; EXPECT(libj2_j2u_mul_j2u_to_j2u_overflow(&t, &t, &t) == expect_overflow); EXPECT(libj2_j2u_eq_j2u(&t, expected)); + + t = *a; + libj2_j2u_sat_mul_j2u_to_j2u(&t, &t, &t); + EXPECT(expect_overflow ? libj2_j2u_is_max(&t) : libj2_j2u_eq_j2u(&t, expected)); }} -- cgit v1.2.3-70-g09d2