[PATCH v1 5/6] RISC-V: Add test case for PR123916

[pan2 . li]

From: Pan Li <pan2...@intel.com>

Add test case to ensure vectorization on gpr2vr-cost=0.

        PR/target 123916

gcc/testsuite/ChangeLog:

        * gcc.target/riscv/rvv/autovec/pr123916.c: New test.

Signed-off-by: Pan Li <pan2...@intel.com>
---
 .../gcc.target/riscv/rvv/autovec/pr123916.c   | 48 +++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/autovec/pr123916.c

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/autovec/pr123916.c 
b/gcc/testsuite/gcc.target/riscv/rvv/autovec/pr123916.c
new file mode 100644
index 00000000000..6705fbdbdf8
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/autovec/pr123916.c
@@ -0,0 +1,48 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv_zvl128b -mabi=lp64d --param=gpr2vr-cost=0 
--param=vr2gpr-cost=0 -fdump-tree-optimized" } */
+
+#include <stdint.h>
+
+#define T int32_t
+#define UT uint32_t
+
+T
+test_sat_add (T x, T y)
+{
+  T sum = (UT)x + (UT)y;
+  return (x ^ y) < 0
+    ? sum
+    : (sum ^ x) >= 0
+      ? sum
+      : x < 0 ? INT32_MIN : INT32_MAX;
+}
+
+void
+test_vx_binary_sat_add (T * restrict out, T * restrict in, T x, unsigned n)
+{
+  unsigned k = 0;
+  T tmp = x + 3;
+
+  while (k < n)
+    {
+      tmp = tmp ^ 0x82;
+      out[k + 0] = test_sat_add (in[k + 0], tmp);
+      out[k + 1] = test_sat_add (in[k + 1], tmp);
+      k += 2;
+
+      out[k + 0] = test_sat_add (in[k + 0], tmp);
+      out[k + 1] = test_sat_add (in[k + 1], tmp);
+      k += 2;
+
+      out[k + 0] = test_sat_add (in[k + 0], tmp);
+      out[k + 1] = test_sat_add (in[k + 1], tmp);
+      k += 2;
+
+      out[k + 0] = test_sat_add (in[k + 0], tmp);
+      out[k + 1] = test_sat_add (in[k + 1], tmp);
+      k += 2;
+    }
+}
+
+/* { dg-final { scan-assembler {vsadd.vx} } } */
+/* { dg-final { scan-tree-dump ".SAT_ADD " "optimized" } } */
-- 
2.43.0