https://gcc.gnu.org/g:51d7eac36b6eba2575fe42bce3e1caa872c391e9
commit r17-546-g51d7eac36b6eba2575fe42bce3e1caa872c391e9 Author: Pan Li <[email protected]> Date: Tue May 12 22:23:03 2026 +0800 RISC-V: Add test cases for scalar unsigned SAT form 9 Form 9 is supported already, add test to make sure of it. gcc/testsuite/ChangeLog: * gcc.target/riscv/sat/sat_arith.h: Add form 9. * gcc.target/riscv/sat/sat_u_mul-10-u16.c: New test. * gcc.target/riscv/sat/sat_u_mul-10-u32.c: New test. * gcc.target/riscv/sat/sat_u_mul-10-u64.c: New test. * gcc.target/riscv/sat/sat_u_mul-10-u8.c: New test. * gcc.target/riscv/sat/sat_u_mul-run-10-u16.c: New test. * gcc.target/riscv/sat/sat_u_mul-run-10-u32.c: New test. * gcc.target/riscv/sat/sat_u_mul-run-10-u64.c: New test. * gcc.target/riscv/sat/sat_u_mul-run-10-u8.c: New test. Signed-off-by: Pan Li <[email protected]> Diff: --- gcc/testsuite/gcc.target/riscv/sat/sat_arith.h | 12 ++++++++++++ gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u16.c | 11 +++++++++++ gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u32.c | 11 +++++++++++ gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u64.c | 11 +++++++++++ gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u8.c | 11 +++++++++++ gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u16.c | 15 +++++++++++++++ gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u32.c | 15 +++++++++++++++ gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u64.c | 15 +++++++++++++++ gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u8.c | 15 +++++++++++++++ 9 files changed, 116 insertions(+) diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_arith.h b/gcc/testsuite/gcc.target/riscv/sat/sat_arith.h index 92f1527da4c0..16d29c85f42b 100644 --- a/gcc/testsuite/gcc.target/riscv/sat/sat_arith.h +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_arith.h @@ -799,4 +799,16 @@ sat_u_mul_##NT##_from_##WT##_fmt_8 (NT a, NT b) \ sat_u_mul_##NT##_from_##WT##_fmt_8 (a, b) #define RUN_SAT_U_MUL_FMT_8_WRAP(NT, WT, a, b) RUN_SAT_U_MUL_FMT_8(NT, WT, a, b) +#define DEF_SAT_U_MUL_FMT_9(T) \ +T __attribute__((noinline)) \ +sat_u_mul_##T##_fmt_9 (T a, T b) \ +{ \ + T result; \ + return __builtin_mul_overflow (a, b, &result) ? -1 : result; \ +} + +#define DEF_SAT_U_MUL_FMT_9_WRAP(T) DEF_SAT_U_MUL_FMT_9(T) +#define RUN_SAT_U_MUL_FMT_9(T, a, b) sat_u_mul_##T##_fmt_9(a, b) +#define RUN_SAT_U_MUL_FMT_9_WRAP(T, a, b) RUN_SAT_U_MUL_FMT_9(T, a, b) + #endif diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u16.c b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u16.c new file mode 100644 index 000000000000..822e847ebb4b --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u16.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc -mabi=lp64d -fdump-tree-optimized" } */ + +#include "sat_arith.h" + +#define T uint16_t + +DEF_SAT_U_MUL_FMT_9_WRAP(T) + +/* { dg-final { scan-tree-dump-times ".SAT_MUL" 1 "optimized" } } */ +/* { dg-final { scan-assembler-not "\.L\[0-9\]+" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u32.c b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u32.c new file mode 100644 index 000000000000..699f1dd4e91b --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u32.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc -mabi=lp64d -fdump-tree-optimized" } */ + +#include "sat_arith.h" + +#define T uint32_t + +DEF_SAT_U_MUL_FMT_9_WRAP(T) + +/* { dg-final { scan-tree-dump-times ".SAT_MUL" 1 "optimized" } } */ +/* { dg-final { scan-assembler-not "\.L\[0-9\]+" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u64.c b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u64.c new file mode 100644 index 000000000000..1c2cddf1e93d --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u64.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc -mabi=lp64d -fdump-tree-optimized" } */ + +#include "sat_arith.h" + +#define T uint64_t + +DEF_SAT_U_MUL_FMT_9_WRAP(T) + +/* { dg-final { scan-tree-dump-times ".SAT_MUL" 1 "optimized" } } */ +/* { dg-final { scan-assembler-not "\.L\[0-9\]+" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u8.c b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u8.c new file mode 100644 index 000000000000..78171254cf3d --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-10-u8.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-march=rv64gc -mabi=lp64d -fdump-tree-optimized" } */ + +#include "sat_arith.h" + +#define T uint8_t + +DEF_SAT_U_MUL_FMT_9_WRAP(T) + +/* { dg-final { scan-tree-dump-times ".SAT_MUL" 1 "optimized" } } */ +/* { dg-final { scan-assembler-not "\.L\[0-9\]+" } } */ diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u16.c b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u16.c new file mode 100644 index 000000000000..b0fad85cadc9 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u16.c @@ -0,0 +1,15 @@ +/* { dg-do run { target { rv32 || rv64 } } } */ +/* { dg-additional-options "-std=c99" } */ + +#include "sat_arith.h" +#include "sat_arith_data.h" + +#define NT uint16_t +#define NAME usmul +#define DATA TEST_BINARY_DATA_WRAP(NT, NAME) +#define T TEST_BINARY_STRUCT_DECL_WRAP(NT, NAME) +#define RUN_BINARY(x, y) RUN_SAT_U_MUL_FMT_9_WRAP(NT, x, y) + +DEF_SAT_U_MUL_FMT_9_WRAP(NT) + +#include "scalar_sat_binary_run_xxx.h" diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u32.c b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u32.c new file mode 100644 index 000000000000..560e253bfe5c --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u32.c @@ -0,0 +1,15 @@ +/* { dg-do run { target { rv32 || rv64 } } } */ +/* { dg-additional-options "-std=c99" } */ + +#include "sat_arith.h" +#include "sat_arith_data.h" + +#define NT uint32_t +#define NAME usmul +#define DATA TEST_BINARY_DATA_WRAP(NT, NAME) +#define T TEST_BINARY_STRUCT_DECL_WRAP(NT, NAME) +#define RUN_BINARY(x, y) RUN_SAT_U_MUL_FMT_9_WRAP(NT, x, y) + +DEF_SAT_U_MUL_FMT_9_WRAP(NT) + +#include "scalar_sat_binary_run_xxx.h" diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u64.c b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u64.c new file mode 100644 index 000000000000..84c23fd05fa3 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u64.c @@ -0,0 +1,15 @@ +/* { dg-do run { target { rv32 || rv64 } } } */ +/* { dg-additional-options "-std=c99" } */ + +#include "sat_arith.h" +#include "sat_arith_data.h" + +#define NT uint64_t +#define NAME usmul +#define DATA TEST_BINARY_DATA_WRAP(NT, NAME) +#define T TEST_BINARY_STRUCT_DECL_WRAP(NT, NAME) +#define RUN_BINARY(x, y) RUN_SAT_U_MUL_FMT_9_WRAP(NT, x, y) + +DEF_SAT_U_MUL_FMT_9_WRAP(NT) + +#include "scalar_sat_binary_run_xxx.h" diff --git a/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u8.c b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u8.c new file mode 100644 index 000000000000..7c88805526e1 --- /dev/null +++ b/gcc/testsuite/gcc.target/riscv/sat/sat_u_mul-run-10-u8.c @@ -0,0 +1,15 @@ +/* { dg-do run { target { rv32 || rv64 } } } */ +/* { dg-additional-options "-std=c99" } */ + +#include "sat_arith.h" +#include "sat_arith_data.h" + +#define NT uint8_t +#define NAME usmul +#define DATA TEST_BINARY_DATA_WRAP(NT, NAME) +#define T TEST_BINARY_STRUCT_DECL_WRAP(NT, NAME) +#define RUN_BINARY(x, y) RUN_SAT_U_MUL_FMT_9_WRAP(NT, x, y) + +DEF_SAT_U_MUL_FMT_9_WRAP(NT) + +#include "scalar_sat_binary_run_xxx.h"
