RISC-V: Add binop constraints tests for integer compare

gcc/testsuite/ChangeLog:

	* gcc.target/riscv/rvv/base/binop_vv_constraint-2.c: New test.
	* gcc.target/riscv/rvv/base/binop_vv_constraint-3.c: New test.
	* gcc.target/riscv/rvv/base/binop_vv_constraint-4.c: New test.
	* gcc.target/riscv/rvv/base/binop_vv_constraint-5.c: New test.
	* gcc.target/riscv/rvv/base/binop_vv_constraint-6.c: New test.
	* gcc.target/riscv/rvv/base/binop_vv_constraint-7.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-123.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-124.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-125.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-126.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-127.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-128.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-129.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-130.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-131.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-132.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-133.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-134.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-135.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-136.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-137.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-138.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-139.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-140.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-141.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-142.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-143.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-144.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-145.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-146.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-147.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-148.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-149.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-150.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-151.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-152.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-153.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-154.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-155.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-156.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-157.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-158.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-159.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-160.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-161.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-162.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-163.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-164.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-165.c: New test.
	* gcc.target/riscv/rvv/base/binop_vx_constraint-166.c: New test.

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-2.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-2.c
new file mode 100644 (file)
index 0000000..6a03b00
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-2.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f (void * in, void *out)
+{
+    vint32mf2_t v = __riscv_vle32_v_i32mf2 (in, 4);
+    vbool64_t mask = __riscv_vlm_v_b64 (in + 1, 4);
+    vint32mf2_t v2 = __riscv_vle32_v_i32mf2 (in+444, 4);
+    vbool64_t mask2 = __riscv_vmseq_vv_i32mf2_b64_m(mask,v,v2,4);
+    mask2 = __riscv_vmslt_vv_i32mf2_b64_mu(mask2,mask2,v2,v,4);
+    __riscv_vsm_v_b64 (out, mask2, 4);
+}
+
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-3.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-3.c
new file mode 100644 (file)
index 0000000..c4f8138
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-3.c
@@ -0,0 +1,27 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vv_i32m1_b32 (v, v, 4);
+    vbool32_t m4 = __riscv_vmseq_vv_i32m1_b32_m (m3, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vv_i32m1_b32 (v, v, 4);
+    vbool32_t m4 = __riscv_vmslt_vv_i32m1_b32_m (m3, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-4.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-4.c
new file mode 100644 (file)
index 0000000..e16db93
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-4.c
@@ -0,0 +1,27 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vv_i32m1_b32 (v, v, 4);
+    vbool32_t m4 = __riscv_vmseq_vv_i32m1_b32_mu (m3, m3, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vv_i32m1_b32 (v, v, 4);
+    vbool32_t m4 = __riscv_vmslt_vv_i32m1_b32_mu (m3, m3, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-5.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-5.c
new file mode 100644 (file)
index 0000000..54a240f
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-5.c
@@ -0,0 +1,29 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vv_i32m1_b32 (v, v, 4);
+    vbool32_t m4 = __riscv_vmseq_vv_i32m1_b32_mu (mask, m3, v, v, 4);
+    m4 = __riscv_vmseq_vv_i32m1_b32_m (m4, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vv_i32m1_b32 (v, v, 4);
+    vbool32_t m4 = __riscv_vmslt_vv_i32m1_b32_mu (mask, m3, v, v, 4);
+    m4 = __riscv_vmslt_vv_i32m1_b32_m (m4, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmv} 2 } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-6.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-6.c
new file mode 100644 (file)
index 0000000..ad5441f
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-6.c
@@ -0,0 +1,27 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = __riscv_vlm_v_b32 (in, 4);
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vv_i32m1_b32 (v, v2, 4);
+    vbool32_t m4 = __riscv_vmseq_vv_i32m1_b32_mu (m3, mask, v, v, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = __riscv_vlm_v_b32 (in, 4);
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vv_i32m1_b32 (v, v2, 4);
+    vbool32_t m4 = __riscv_vmslt_vv_i32m1_b32_mu (m3, mask, v, v, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmv} 2 } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-7.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-7.c
new file mode 100644 (file)
index 0000000..0ef92a2
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vv_constraint-7.c
@@ -0,0 +1,29 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vv_i32m1_b32 (v, v, 4);
+    vbool32_t m4 = __riscv_vmseq_vv_i32m1_b32_m (m3, v2, v2, 4);
+    m4 = __riscv_vmseq_vv_i32m1_b32_m (m4, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vv_i32m1_b32 (v, v, 4);
+    vbool32_t m4 = __riscv_vmslt_vv_i32m1_b32_m (m3, v2, v2, 4);
+    m4 = __riscv_vmslt_vv_i32m1_b32_m (m4, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-123.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-123.c
new file mode 100644 (file)
index 0000000..f11219c
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-123.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f (void * in, void *out, int32_t x)
+{
+    vint32mf2_t v = __riscv_vle32_v_i32mf2 (in, 4);
+    vbool64_t mask = __riscv_vlm_v_b64 (in + 1, 4);
+    vint32mf2_t v2 = __riscv_vle32_v_i32mf2 (in+444, 4);
+    vbool64_t mask2 = __riscv_vmseq_vx_i32mf2_b64_m(mask,v,x,4);
+    mask2 = __riscv_vmslt_vx_i32mf2_b64_mu(mask2,mask2,v2,x,4);
+    __riscv_vsm_v_b64 (out, mask2, 4);
+}
+
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-124.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-124.c
new file mode 100644 (file)
index 0000000..f6c3015
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-124.c
@@ -0,0 +1,27 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_m (m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_m (m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-125.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-125.c
new file mode 100644 (file)
index 0000000..d92e250
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-125.c
@@ -0,0 +1,27 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (m3, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (m3, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-126.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-126.c
new file mode 100644 (file)
index 0000000..5797191
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-126.c
@@ -0,0 +1,29 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (mask, m3, v, x, 4);
+    m4 = __riscv_vmseq_vv_i32m1_b32_m (m4, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (mask, m3, v, x, 4);
+    m4 = __riscv_vmslt_vv_i32m1_b32_m (m4, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmv} 2 } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-127.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-127.c
new file mode 100644 (file)
index 0000000..3933c35
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-127.c
@@ -0,0 +1,27 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = __riscv_vlm_v_b32 (in, 4);
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v2, x, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (m3, mask, v, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = __riscv_vlm_v_b32 (in, 4);
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v2, x, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (m3, mask, v, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmv} 2 } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-128.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-128.c
new file mode 100644 (file)
index 0000000..77c3a2b
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-128.c
@@ -0,0 +1,29 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_m (m3, v2, x, 4);
+    m4 = __riscv_vmseq_vx_i32m1_b32_m (m4, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_m (m3, v2, x, 4);
+    m4 = __riscv_vmslt_vx_i32m1_b32_m (m4, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-129.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-129.c
new file mode 100644 (file)
index 0000000..db5dfe1
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-129.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (m3, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (mask, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_m (m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-130.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-130.c
new file mode 100644 (file)
index 0000000..da6b02d
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-130.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, -16, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (m3, m3, v2, -16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16
+**     vmseq\.vi\tv[1-9][0-9]?,\s*v[0-9]+,\s*-16,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, -16, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (mask, m3, v2, -16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, -16, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_m (m3, v2, -16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-131.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-131.c
new file mode 100644 (file)
index 0000000..16d35c8
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-131.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, 15, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (m3, m3, v2, 15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15
+**     vmseq\.vi\tv[1-9][0-9]?,\s*v[0-9]+,\s*15,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, 15, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (mask, m3, v2, 15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, 15, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_m (m3, v2, 15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-132.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-132.c
new file mode 100644 (file)
index 0000000..b804c15
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-132.c
@@ -0,0 +1,59 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     ...
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (m3, m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     ...
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_mu (mask, m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     ...
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmseq_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmseq_vx_i32m1_b32_m (m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-133.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-133.c
new file mode 100644 (file)
index 0000000..2da8ab7
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-133.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (m3, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (mask, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_m (m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-134.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-134.c
new file mode 100644 (file)
index 0000000..a83fee4
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-134.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, -15, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (m3, m3, v2, -15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmslt\.vi\tv[1-9][0-9]?,\s*v[0-9]+,\s*-15,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, -15, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (mask, m3, v2, -15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, -15, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_m (m3, v2, -15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-135.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-135.c
new file mode 100644 (file)
index 0000000..7679876
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-135.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (m3, m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmslt\.vi\tv[1-9][0-9]?,\s*v[0-9]+,\s*16,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (mask, m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_m (m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-136.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-136.c
new file mode 100644 (file)
index 0000000..d938c20
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-136.c
@@ -0,0 +1,59 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     ...
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (m3, m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     ...
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_mu (mask, m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     ...
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmslt_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmslt_vx_i32m1_b32_m (m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-137.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-137.c
new file mode 100644 (file)
index 0000000..1825a6a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-137.c
@@ -0,0 +1,123 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f0:
+**  ...
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16,v0.t
+**  ...
+**     ret
+*/
+void f0 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, -16, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, -16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f1:
+**  ...
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15,v0.t
+**  ...
+**     ret
+*/
+void f1 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 15, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 15, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f2:
+**  ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f2 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 16, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f3:
+**  ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 0xAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f4:
+**  ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f4 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f5:
+**  ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f5 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f6:
+**  ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f6 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, x, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, x, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-138.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-138.c
new file mode 100644 (file)
index 0000000..1b19982
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-138.c
@@ -0,0 +1,123 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f0:
+**  ...
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,v0.t
+**  ...
+**     ret
+*/
+void f0 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, -15, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, -15, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f1:
+**  ...
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,v0.t
+**  ...
+**     ret
+*/
+void f1 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 16, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f2:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f2 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 17, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 17, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f3:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 0xAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f4:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f4 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f5:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f5 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f6:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f6 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, x, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, x, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-139.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-139.c
new file mode 100644 (file)
index 0000000..e062234
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-139.c
@@ -0,0 +1,72 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f0:
+**  ...
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*-16,v0.t
+**  ...
+**     ret
+*/
+void f0 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, -16, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, -16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f1:
+**  ...
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15
+**     vmseq\.vi\tv[0-9]+,\s*v[0-9]+,\s*15,v0.t
+**  ...
+**     ret
+*/
+void f1 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 15, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 15, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f2:
+**  ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f2 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 16, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f3:
+**  ...
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmseq\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 0xAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 0xAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-140.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-140.c
new file mode 100644 (file)
index 0000000..a1dbf77
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-140.c
@@ -0,0 +1,72 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f0:
+**  ...
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,v0.t
+**  ...
+**     ret
+*/
+void f0 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, -15, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, -15, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f1:
+**  ...
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmslt\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,v0.t
+**  ...
+**     ret
+*/
+void f1 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 16, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f2:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f2 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 17, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 17, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f3:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**  ...
+**     ret
+*/
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 0xAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 0xAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-141.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-141.c
new file mode 100644 (file)
index 0000000..7ff6aff
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-141.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 0xAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmseq\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-142.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-142.c
new file mode 100644 (file)
index 0000000..4613447
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-142.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 0xAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-143.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-143.c
new file mode 100644 (file)
index 0000000..7f44087
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-143.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmseq\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-144.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-144.c
new file mode 100644 (file)
index 0000000..9ccbc15
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-144.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-145.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-145.c
new file mode 100644 (file)
index 0000000..3d73b2a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-145.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f6 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmseq_vx_i64m1_b64 (v2, x, 4);
+  vbool64_t v4 = __riscv_vmseq_vx_i64m1_b64_m (v3, v2, x, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmseq\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-146.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-146.c
new file mode 100644 (file)
index 0000000..9aae1dc
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-146.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f6 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmslt_vx_i64m1_b64 (v2, x, 4);
+  vbool64_t v4 = __riscv_vmslt_vx_i64m1_b64_m (v3, v2, x, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-147.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-147.c
new file mode 100644 (file)
index 0000000..bf08954
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-147.c
@@ -0,0 +1,19 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f (void * in, void *out, int32_t x)
+{
+    vint32mf2_t v = __riscv_vle32_v_i32mf2 (in, 4);
+    vbool64_t mask = __riscv_vlm_v_b64 (in + 1, 4);
+    vint32mf2_t v2 = __riscv_vle32_v_i32mf2 (in+444, 4);
+    vbool64_t mask2 = __riscv_vmsge_vx_i32mf2_b64_m(mask,v,x,4);
+    mask2 = __riscv_vmsge_vx_i32mf2_b64_mu(mask2,mask2,v2,x,4);
+    __riscv_vsm_v_b64 (out, mask2, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 1 } } */
+/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-148.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-148.c
new file mode 100644 (file)
index 0000000..c48134b
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-148.c
@@ -0,0 +1,20 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_m (m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 1 } } */
+/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-149.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-149.c
new file mode 100644 (file)
index 0000000..7ba1a14
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-149.c
@@ -0,0 +1,19 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (m3, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 2 } } */
+/* { dg-final { scan-assembler-times {vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-150.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-150.c
new file mode 100644 (file)
index 0000000..6282fb4
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-150.c
@@ -0,0 +1,21 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (mask, m3, v, x, 4);
+    m4 = __riscv_vmsge_vv_i32m1_b32_m (m4, v2, v2, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 1 } } */
+/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmv} 1 } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-151.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-151.c
new file mode 100644 (file)
index 0000000..a2aa633
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-151.c
@@ -0,0 +1,20 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = __riscv_vlm_v_b32 (in, 4);
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v2, x, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (m3, mask, v, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 1 } } */
+/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */
+/* { dg-final { scan-assembler-times {vmv} 1 } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-152.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-152.c
new file mode 100644 (file)
index 0000000..1bd7515
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-152.c
@@ -0,0 +1,20 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3" } */
+#include "riscv_vector.h"
+
+void f1 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    //asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_m (m3, v2, x, 4);
+    m4 = __riscv_vmsge_vx_i32m1_b32_m (m4, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+\s+} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vx\s+v[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t} 2 } } */
+/* { dg-final { scan-assembler-times {vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-times {vmnot\.mm\s+v[0-9]+,\s*v[0-9]+} 1 } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-153.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-153.c
new file mode 100644 (file)
index 0000000..5a3d475
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-153.c
@@ -0,0 +1,75 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (m3, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (mask, m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, x, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_m (m3, v2, x, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-154.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-154.c
new file mode 100644 (file)
index 0000000..ddbde57
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-154.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, -15, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (m3, m3, v2, -15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmsge\.vi\tv[1-9][0-9]?,\s*v[0-9]+,\s*-15,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, -15, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (mask, m3, v2, -15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, -15, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_m (m3, v2, -15, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-155.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-155.c
new file mode 100644 (file)
index 0000000..d22f3e4
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-155.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (m3, m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[1-9][0-9]?,\s*v[0-9]+,\s*16,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (mask, m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_m (m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-156.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-156.c
new file mode 100644 (file)
index 0000000..e2e7570
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-156.c
@@ -0,0 +1,65 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     ...
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (m3, m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     ...
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (mask, m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     ...
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_m (m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-157.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-157.c
new file mode 100644 (file)
index 0000000..2a9cb6e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-157.c
@@ -0,0 +1,133 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f0:
+**  ...
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,v0.t
+**  ...
+**     ret
+*/
+void f0 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, -15, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, -15, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f1:
+**  ...
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,v0.t
+**  ...
+**     ret
+*/
+void f1 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 16, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f2:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f2 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 17, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 17, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f3:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f4:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f4 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f5:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f5 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f6:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f6 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, x, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, x, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-158.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-158.c
new file mode 100644 (file)
index 0000000..d22f3e4
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-158.c
@@ -0,0 +1,69 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,v0.t
+**     vsm\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (m3, m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],mu
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[1-9][0-9]?,\s*v[0-9]+,\s*16,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (mask, m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     vsetvli\t[a-x0-9]+,zero,e8,mf4,ta,ma
+**     vlm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vsetivli\tzero,4,e32,m1,t[au],m[au]
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\)
+**     vle32\.v\tv[0-9]+,0\([a-x0-9]+\),v0.t
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,\s*v0.t
+**     vsm.v\tv[0-9]+,0\([a-x0-9]+\)
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 16, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_m (m3, v2, 16, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-159.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-159.c
new file mode 100644 (file)
index 0000000..e2e7570
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-159.c
@@ -0,0 +1,65 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f1:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**     vmandn\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     ...
+**     ret
+*/
+void f1 (void * in, void * in2, void *out, int32_t x)
+{
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1 (in2, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (m3, m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f2:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[1-9][0-9]?,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     ...
+**     ret
+*/
+void f2 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_mu (mask, m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}
+
+/*
+** f3:
+**     ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,\s*v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**     ...
+**     ret
+*/
+void f3 (void * in, void *out, int32_t x)
+{
+    vbool32_t mask = *(vbool32_t*)in;
+    asm volatile ("":::"memory");
+    vint32m1_t v = __riscv_vle32_v_i32m1 (in, 4);
+    vint32m1_t v2 = __riscv_vle32_v_i32m1_m (mask, in, 4);
+    vbool32_t m3 = __riscv_vmsge_vx_i32m1_b32 (v, 17, 4);
+    vbool32_t m4 = __riscv_vmsge_vx_i32m1_b32_m (m3, v2, 17, 4);
+    __riscv_vsm_v_b32 (out, m4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-160.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-160.c
new file mode 100644 (file)
index 0000000..2a9cb6e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-160.c
@@ -0,0 +1,133 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv64gcv -mabi=lp64d -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f0:
+**  ...
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,v0.t
+**  ...
+**     ret
+*/
+void f0 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, -15, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, -15, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f1:
+**  ...
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,v0.t
+**  ...
+**     ret
+*/
+void f1 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 16, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f2:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f2 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 17, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 17, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f3:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f4:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f4 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f5:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f5 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f6:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f6 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, x, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, x, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-161.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-161.c
new file mode 100644 (file)
index 0000000..d95c7c6
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-161.c
@@ -0,0 +1,76 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3 -fno-schedule-insns -fno-schedule-insns2" } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include "riscv_vector.h"
+
+/*
+** f0:
+**  ...
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*-15,v0.t
+**  ...
+**     ret
+*/
+void f0 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, -15, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, -15, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f1:
+**  ...
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16
+**     vmsge\.vi\tv[0-9]+,\s*v[0-9]+,\s*16,v0.t
+**  ...
+**     ret
+*/
+void f1 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 16, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 16, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f2:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f2 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 17, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 17, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/*
+** f3:
+**  ...
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+
+**  vmnot\.mm\s+v[0-9]+,\s*v[0-9]+
+**     vmslt\.vx\tv[0-9]+,\s*v[0-9]+,\s*[a-x0-9]+,v0.t
+**     vmxor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+
+**  ...
+**     ret
+*/
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-162.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-162.c
new file mode 100644 (file)
index 0000000..976487a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-162.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */
+

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-163.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-163.c
new file mode 100644 (file)
index 0000000..9245f19
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-163.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f3 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, 0xAAAAAAAAAAAAAAAA, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, 0xAAAAAAAAAAAAAAAA, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-164.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-164.c
new file mode 100644 (file)
index 0000000..bd6916e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-164.c
@@ -0,0 +1,16 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f6 (void * in, void *out, int64_t x, int n)
+{
+  vint64m1_t v = __riscv_vle64_v_i64m1 (in + 1, 4);
+  vint64m1_t v2 = __riscv_vle64_v_i64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsge_vx_i64m1_b64 (v2, x, 4);
+  vbool64_t v4 = __riscv_vmsge_vx_i64m1_b64_m (v3, v2, x, 4);
+  __riscv_vsm_v_b64 (out + 2, v4, 4);
+}
+
+/* { dg-final { scan-assembler-times {vlse64\.v\s+v[0-9]+,\s*0\([a-x0-9]+\),\s*zero} 1 } } */
+/* { dg-final { scan-assembler-times {vmslt\.vv\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 2 } } */
+/* { dg-final { scan-assembler-not {vmv} } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-165.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-165.c
new file mode 100644 (file)
index 0000000..313595e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-165.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f (void * in, void *out, int64_t x, int n)
+{
+  vuint64m1_t v = __riscv_vle64_v_u64m1 (in + 1, 4);
+  vuint64m1_t v2 = __riscv_vle64_v_u64m1_tu (v, in + 2, 4);
+  vbool64_t v3 = __riscv_vmsgeu_vx_u64m1_b64 (v2, 0, 4);
+  __riscv_vsm_v_b64 (out + 2, v3, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmset\.m\s+v[0-9]+} 1 } } */

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-166.c b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-166.c
new file mode 100644 (file)
index 0000000..1bd52f4
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/base/binop_vx_constraint-166.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-march=rv32gcv -mabi=ilp32 -O3" } */
+#include "riscv_vector.h"
+
+void f (void * in, void *out, int64_t x, int n)
+{
+  vuint64m1_t v = __riscv_vle64_v_u64m1 (in + 1, 4);
+  vuint64m1_t v2 = __riscv_vle64_v_u64m1_tu (v, in + 2, 4);
+  vbool64_t mask = __riscv_vlm_v_b64 (in,8);
+  vbool64_t mask2 = __riscv_vlm_v_b64 (in + 100,8);
+  vbool64_t v3 = __riscv_vmsgeu_vx_u64m1_b64_mu (mask,mask2,v2, 0, 4);
+  __riscv_vsm_v_b64 (out + 2, v3, 4);
+}
+
+/* { dg-final { scan-assembler-times {vmor\.mm\s+v[0-9]+,\s*v[0-9]+,\s*v[0-9]+} 1 } } */