[gcc r17-2967] RISC-V: Add more test cases for vwsub/vwsubu/vwmul/vwmulu.vv

https://gcc.gnu.org/g:19fdf88ba9bb1f08ce4eff7521a095fc07a5ecf8

commit r17-2967-g19fdf88ba9bb1f08ce4eff7521a095fc07a5ecf8
Author: Pan Li <[email protected]>
Date:   Sun Aug 2 10:46:05 2026 +0800

    RISC-V: Add more test cases for vwsub/vwsubu/vwmul/vwmulu.vv
    
    For csrr not asm check when enable overlap enabled.
    
    gcc/testsuite/ChangeLog:
    
            * gcc.target/riscv/rvv/base/pr112431-44.c: New test.
            * gcc.target/riscv/rvv/base/pr112431-45.c: New test.
            * gcc.target/riscv/rvv/base/pr112431-46.c: New test.
            * gcc.target/riscv/rvv/base/pr112431-47.c: New test.
    
    Signed-off-by: Pan Li <[email protected]>
    Co-Authored-By: Claude Opus 5 (1M context) <[email protected]>

Diff:
---
 .../gcc.target/riscv/rvv/base/pr112431-44.c        | 56 ++++++++++++++++++++
 .../gcc.target/riscv/rvv/base/pr112431-45.c        | 56 ++++++++++++++++++++
 .../gcc.target/riscv/rvv/base/pr112431-46.c        | 59 ++++++++++++++++++++++
 .../gcc.target/riscv/rvv/base/pr112431-47.c        | 59 ++++++++++++++++++++++
 4 files changed, 230 insertions(+)

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-44.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-44.c
new file mode 100644
index 000000000000..528b233e6305
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-44.c
@@ -0,0 +1,56 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O3" } */
+
+#include "riscv_vector.h"
+
+void
+foo (void *in, void *out, int n)
+{
+  vint8m2_t vs = __riscv_vle8_v_i8m2 (in, 4);in+=100;
+
+  for (int i = 0; i < n; i++)
+    {
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v0 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v0_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v0, 1));
+      v0 = __riscv_vwsub_vv_i16m4_tu (v0, v0_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v1 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v1_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v1, 1));
+      v1 = __riscv_vwsub_vv_i16m4_tu (v1, v1_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v2 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v2_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v2, 1));
+      v2 = __riscv_vwsub_vv_i16m4_tu (v2, v2_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v3 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v3_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v3, 1));
+      v3 = __riscv_vwsub_vv_i16m4_tu (v3, v3_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v4 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v4_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v4, 1));
+      v4 = __riscv_vwsub_vv_i16m4_tu (v4, v4_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v5 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v5_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v5, 1));
+      v5 = __riscv_vwsub_vv_i16m4_tu (v5, v5_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vint8m2_t v6_n = __riscv_vle8_v_i8m2 (in, 4);in+=100;
+      vint16m4_t v6 = __riscv_vwcvt_x_x_v_i16m4 (v6_n, 4);
+
+      asm volatile("nop" ::: "memory");
+      __riscv_vsse16_v_i16m4 (out, 4, v0, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v1, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v2, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v3, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v4, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v5, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v6, 4);out+=100;
+    }
+}
+
+/* { dg-final { scan-assembler-not {vmv1r} } } */
+/* { dg-final { scan-assembler-not {vmv2r} } } */
+/* { dg-final { scan-assembler-not {vmv4r} { xfail riscv*-*-* } } } */
+/* { dg-final { scan-assembler-not {vmv8r} } } */
+/* { dg-final { scan-assembler-not {csrr} } } */
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-45.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-45.c
new file mode 100644
index 000000000000..e7967913e8b9
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-45.c
@@ -0,0 +1,56 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O3" } */
+
+#include "riscv_vector.h"
+
+void
+foo (void *in, void *out, int n)
+{
+  vuint8m2_t vs = __riscv_vle8_v_u8m2 (in, 4);in+=100;
+
+  for (int i = 0; i < n; i++)
+    {
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v0 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v0_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v0, 1));
+      v0 = __riscv_vwsubu_vv_u16m4_tu (v0, v0_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v1 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v1_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v1, 1));
+      v1 = __riscv_vwsubu_vv_u16m4_tu (v1, v1_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v2 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v2_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v2, 1));
+      v2 = __riscv_vwsubu_vv_u16m4_tu (v2, v2_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v3 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v3_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v3, 1));
+      v3 = __riscv_vwsubu_vv_u16m4_tu (v3, v3_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v4 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v4_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v4, 1));
+      v4 = __riscv_vwsubu_vv_u16m4_tu (v4, v4_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v5 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v5_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v5, 1));
+      v5 = __riscv_vwsubu_vv_u16m4_tu (v5, v5_n, vs, 4);
+      asm volatile("nop" ::: "memory");
+      vuint8m2_t v6_n = __riscv_vle8_v_u8m2 (in, 4);in+=100;
+      vuint16m4_t v6 = __riscv_vwcvtu_x_x_v_u16m4 (v6_n, 4);
+
+      asm volatile("nop" ::: "memory");
+      __riscv_vsse16_v_u16m4 (out, 4, v0, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v1, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v2, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v3, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v4, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v5, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v6, 4);out+=100;
+    }
+}
+
+/* { dg-final { scan-assembler-not {vmv1r} } } */
+/* { dg-final { scan-assembler-not {vmv2r} } } */
+/* { dg-final { scan-assembler-not {vmv4r} { xfail riscv*-*-* } } } */
+/* { dg-final { scan-assembler-not {vmv8r} } } */
+/* { dg-final { scan-assembler-not {csrr} } } */
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-46.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-46.c
new file mode 100644
index 000000000000..32be63ff1a57
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-46.c
@@ -0,0 +1,59 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O3" } */
+
+#include "riscv_vector.h"
+
+void
+foo (void *in, void *out, int n)
+{
+  for (int i = 0; i < n; i++)
+    {
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v0 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v0_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v0, 1));
+      v0 = __riscv_vwmul_vv_i16m4_tu (v0, v0_n, v0_n, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v1 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v1_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v1, 1));
+      v1 = __riscv_vwmul_vv_i16m4_tu (v1, v1_n, v1_n, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v2 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v2_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v2, 1));
+      v2 = __riscv_vwmul_vv_i16m4_tu (v2, v2_n, v2_n, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v3 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v3_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v3, 1));
+      v3 = __riscv_vwmul_vv_i16m4_tu (v3, v3_n, v3_n, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v4 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v4_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v4, 1));
+      v4 = __riscv_vwmul_vv_i16m4_tu (v4, v4_n, v4_n, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v5 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v5_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v5, 1));
+      v5 = __riscv_vwmul_vv_i16m4_tu (v5, v5_n, v5_n, 4);
+      asm volatile("nop" ::: "memory");
+      vint16m4_t v6 = __riscv_vle16_v_i16m4 (in, 4);in+=100;
+      vint8m2_t v6_n = __riscv_vreinterpret_v_i16m2_i8m2 (__riscv_vget_v_i16m4_i16m2 (v6, 1));
+      v6 = __riscv_vwmul_vv_i16m4_tu (v6, v6_n, v6_n, 4);
+      asm volatile("nop" ::: "memory");
+      vint8m2_t v7_n = __riscv_vle8_v_i8m2 (in, 4);in+=100;
+      vint16m4_t v7 = __riscv_vwcvt_x_x_v_i16m4 (v7_n, 4);
+
+      asm volatile("nop" ::: "memory");
+      __riscv_vsse16_v_i16m4 (out, 4, v0, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v1, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v2, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v3, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v4, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v5, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v6, 4);out+=100;
+      __riscv_vsse16_v_i16m4 (out, 4, v7, 4);out+=100;
+    }
+}
+
+/* { dg-final { scan-assembler-not {vmv1r} } } */
+/* { dg-final { scan-assembler-not {vmv2r} } } */
+/* { dg-final { scan-assembler-not {vmv4r} { xfail riscv*-*-* } } } */
+/* { dg-final { scan-assembler-not {vmv8r} } } */
+/* { dg-final { scan-assembler-not {csrr} } } */
diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-47.c b/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-47.c
new file mode 100644
index 000000000000..1a1c4c39a9c0
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/pr112431-47.c
@@ -0,0 +1,59 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O3" } */
+
+#include "riscv_vector.h"
+
+void
+foo (void *in, void *out, int n)
+{
+  for (int i = 0; i < n; i++)
+    {
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v0 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v0_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v0, 1));
+      v0 = __riscv_vwmulu_vv_u16m4_tu (v0, v0_n, v0_n, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v1 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v1_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v1, 1));
+      v1 = __riscv_vwmulu_vv_u16m4_tu (v1, v1_n, v1_n, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v2 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v2_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v2, 1));
+      v2 = __riscv_vwmulu_vv_u16m4_tu (v2, v2_n, v2_n, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v3 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v3_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v3, 1));
+      v3 = __riscv_vwmulu_vv_u16m4_tu (v3, v3_n, v3_n, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v4 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v4_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v4, 1));
+      v4 = __riscv_vwmulu_vv_u16m4_tu (v4, v4_n, v4_n, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v5 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v5_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v5, 1));
+      v5 = __riscv_vwmulu_vv_u16m4_tu (v5, v5_n, v5_n, 4);
+      asm volatile("nop" ::: "memory");
+      vuint16m4_t v6 = __riscv_vle16_v_u16m4 (in, 4);in+=100;
+      vuint8m2_t v6_n = __riscv_vreinterpret_v_u16m2_u8m2 (__riscv_vget_v_u16m4_u16m2 (v6, 1));
+      v6 = __riscv_vwmulu_vv_u16m4_tu (v6, v6_n, v6_n, 4);
+      asm volatile("nop" ::: "memory");
+      vuint8m2_t v7_n = __riscv_vle8_v_u8m2 (in, 4);in+=100;
+      vuint16m4_t v7 = __riscv_vwcvtu_x_x_v_u16m4 (v7_n, 4);
+
+      asm volatile("nop" ::: "memory");
+      __riscv_vsse16_v_u16m4 (out, 4, v0, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v1, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v2, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v3, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v4, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v5, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v6, 4);out+=100;
+      __riscv_vsse16_v_u16m4 (out, 4, v7, 4);out+=100;
+    }
+}
+
+/* { dg-final { scan-assembler-not {vmv1r} } } */
+/* { dg-final { scan-assembler-not {vmv2r} } } */
+/* { dg-final { scan-assembler-not {vmv4r} { xfail riscv*-*-* } } } */
+/* { dg-final { scan-assembler-not {vmv8r} } } */
+/* { dg-final { scan-assembler-not {csrr} } } */