diff options
| author | Mattias Andrée <m@maandree.se> | 2025-12-06 16:13:53 +0100 |
|---|---|---|
| committer | Mattias Andrée <m@maandree.se> | 2025-12-06 16:13:53 +0100 |
| commit | bc03a666203de25faf6246847fecbc8502267212 (patch) | |
| tree | 080080b24980640c6d4935a4684bf78b4d2d3077 /libj2_j2u_lsh.c | |
| parent | Add division with underflow detection (diff) | |
| download | libj2-bc03a666203de25faf6246847fecbc8502267212.tar.gz libj2-bc03a666203de25faf6246847fecbc8502267212.tar.bz2 libj2-bc03a666203de25faf6246847fecbc8502267212.tar.xz | |
Add saturated arithmetic operations
Signed-off-by: Mattias Andrée <m@maandree.se>
Diffstat (limited to 'libj2_j2u_lsh.c')
| -rw-r--r-- | libj2_j2u_lsh.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/libj2_j2u_lsh.c b/libj2_j2u_lsh.c index 914c3b2..3d4f7fd 100644 --- a/libj2_j2u_lsh.c +++ b/libj2_j2u_lsh.c @@ -127,6 +127,10 @@ check(const char *pattern) EXPECT(libj2_j2u_eq_j2u(&r, &expected)); r = a; + libj2_j2u_sat_lsh(&r, i); + EXPECT(overflows ? libj2_j2u_is_max(&r) : libj2_j2u_eq_j2u(&r, &expected)); + + r = a; EXPECT(libj2_j2u_lsh_overflow_p((const struct libj2_j2u *)&r, i) == overflows); EXPECT(libj2_j2u_eq_j2u(&r, &a)); @@ -140,6 +144,11 @@ check(const char *pattern) EXPECT(libj2_j2u_eq_j2u(&r, &expected)); EXPECT(libj2_j2u_eq_j2u(&a, &a_saved)); + r = (struct libj2_j2u){111, 222}; + libj2_j2u_sat_lsh_to_j2u(&a, i, &r); + EXPECT(overflows ? libj2_j2u_is_max(&r) : libj2_j2u_eq_j2u(&r, &expected)); + EXPECT(libj2_j2u_eq_j2u(&a, &a_saved)); + r = a; libj2_j2u_lsh_to_j2u(&r, i, &r); EXPECT(libj2_j2u_eq_j2u(&r, &expected)); @@ -147,6 +156,10 @@ check(const char *pattern) r = a; EXPECT(libj2_j2u_lsh_to_j2u_overflow(&r, i, &r) == overflows); EXPECT(libj2_j2u_eq_j2u(&r, &expected)); + + r = a; + libj2_j2u_sat_lsh_to_j2u(&r, i, &r); + EXPECT(overflows ? libj2_j2u_is_max(&r) : libj2_j2u_eq_j2u(&r, &expected)); } } |