diff mbox series

[v4,17/34] RISC-V: Add vsex.c

Message ID	20220601022917.270325-18-juzhe.zhong@rivai.ai
State	Deferred, archived
Headers	DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 10872385702F From: juzhe.zhong@rivai.ai To: gcc-patches@gcc.gnu.org Subject: [PATCH v4 17/34] RISC-V: Add vsex.c Date: Wed, 1 Jun 2022 10:29:00 +0800 Message-Id: <20220601022917.270325-18-juzhe.zhong@rivai.ai> In-Reply-To: <20220601022917.270325-1-juzhe.zhong@rivai.ai> References: <20220601022917.270325-1-juzhe.zhong@rivai.ai> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Feedback-ID: bizesmtp:rivai.ai:qybgforeign:qybgforeign8 Precedence: list Cc: zhongjuzhe <juzhe.zhong@rivai.ai> Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" <gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org>
Series	RISC-V: Add RVV (RISC-V 'V' Extension) support \| [00/34] RISC-V: Add RVV (RISC-V 'V' Extension) support [v4,02/34] RISC-V: Add vlex_2.c [v4,03/34] RISC-V: Add vlex_1.C [v4,04/34] RISC-V: Add mask load store testcases [v4,06/34] RISC-V: Add vlexff_2.c [v4,12/34] RISC-V: Add vlsex_2.c [v4,17/34] RISC-V: Add vsex.c [v4,19/34] RISC-V: Add vssex.c [v4,21/34] RISC-V: Add vlexff_1.C [v4,22/34] RISC-V: Add vloxeix_1.C [v4,23/34] RISC-V: Add vloxeix_2.C [v4,24/34] RISC-V: Add vloxeix_3.C [v4,25/34] RISC-V: Add vloxeix_4.C [v4,26/34] RISC-V: Add vlsex_1.C [v4,27/34] RISC-V: Add vluxeix_1.C [v4,28/34] RISC-V: Add vluxeix_2.C [v4,29/34] RISC-V: Add vluxeix_3.C [v4,30/34] RISC-V: Add vluxeix_4.C [v4,31/34] RISC-V: Add vsex.C [v4,32/34] RISC-V: Add vsoxeix.C [v4,33/34] RISC-V: Add vssex.C [v4,34/34] RISC-V: Add vsuxeix.C

Commit Message

钟居哲 June 1, 2022, 2:29 a.m. UTC

  From: zhongjuzhe <juzhe.zhong@rivai.ai>

gcc/testsuite/ChangeLog:

        * gcc.target/riscv/rvv/intrinsic/vsex.c: New test.

---
 .../gcc.target/riscv/rvv/intrinsic/vsex.c     | 4776 +++++++++++++++++
 1 file changed, 4776 insertions(+)
 create mode 100644 gcc/testsuite/gcc.target/riscv/rvv/intrinsic/vsex.c

diff mbox series

Patch

diff --git a/gcc/testsuite/gcc.target/riscv/rvv/intrinsic/vsex.c b/gcc/testsuite/gcc.target/riscv/rvv/intrinsic/vsex.c
new file mode 100644
index 00000000000..bc6f4f34135
--- /dev/null
+++ b/gcc/testsuite/gcc.target/riscv/rvv/intrinsic/vsex.c
@@ -0,0 +1,4776 @@ 
+/* { dg-do compile } */
+/* { dg-skip-if "test vector intrinsic" { *-*-* } { "*" } { "-march=rv*v*" } } */
+/* { dg-final { check-function-bodies "**" "" } } */
+#include <stddef.h>
+#include <riscv_vector.h>
+
+/*
+** test_vse32_v_f32mf2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32mf2 (float32_t *base, vfloat32mf2_t v0, size_t vl)
+{
+  vse32_v_f32mf2 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32mf2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32mf2_vl31 (float32_t *base, vfloat32mf2_t v0)
+{
+  vse32_v_f32mf2 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32mf2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32mf2_m (vbool64_t mask, float32_t *base, vfloat32mf2_t v0, size_t vl)
+{
+  vse32_v_f32mf2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32mf2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32mf2_m_vl31 (vbool64_t mask, float32_t *base, vfloat32mf2_t v0)
+{
+  vse32_v_f32mf2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m1 (float32_t *base, vfloat32m1_t v0, size_t vl)
+{
+  vse32_v_f32m1 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m1_vl31 (float32_t *base, vfloat32m1_t v0)
+{
+  vse32_v_f32m1 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m1_m (vbool32_t mask, float32_t *base, vfloat32m1_t v0, size_t vl)
+{
+  vse32_v_f32m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m1_m_vl31 (vbool32_t mask, float32_t *base, vfloat32m1_t v0)
+{
+  vse32_v_f32m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m2 (float32_t *base, vfloat32m2_t v0, size_t vl)
+{
+  vse32_v_f32m2 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m2_vl31 (float32_t *base, vfloat32m2_t v0)
+{
+  vse32_v_f32m2 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m2_m (vbool16_t mask, float32_t *base, vfloat32m2_t v0, size_t vl)
+{
+  vse32_v_f32m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m2_m_vl31 (vbool16_t mask, float32_t *base, vfloat32m2_t v0)
+{
+  vse32_v_f32m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m4 (float32_t *base, vfloat32m4_t v0, size_t vl)
+{
+  vse32_v_f32m4 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m4_vl31 (float32_t *base, vfloat32m4_t v0)
+{
+  vse32_v_f32m4 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m4_m (vbool8_t mask, float32_t *base, vfloat32m4_t v0, size_t vl)
+{
+  vse32_v_f32m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m4_m_vl31 (vbool8_t mask, float32_t *base, vfloat32m4_t v0)
+{
+  vse32_v_f32m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m8 (float32_t *base, vfloat32m8_t v0, size_t vl)
+{
+  vse32_v_f32m8 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m8_vl31 (float32_t *base, vfloat32m8_t v0)
+{
+  vse32_v_f32m8 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m8_m (vbool4_t mask, float32_t *base, vfloat32m8_t v0, size_t vl)
+{
+  vse32_v_f32m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_f32m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m8_m_vl31 (vbool4_t mask, float32_t *base, vfloat32m8_t v0)
+{
+  vse32_v_f32m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_f64m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m1 (float64_t *base, vfloat64m1_t v0, size_t vl)
+{
+  vse64_v_f64m1 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_f64m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m1_vl31 (float64_t *base, vfloat64m1_t v0)
+{
+  vse64_v_f64m1 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_f64m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m1_m (vbool64_t mask, float64_t *base, vfloat64m1_t v0, size_t vl)
+{
+  vse64_v_f64m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_f64m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m1_m_vl31 (vbool64_t mask, float64_t *base, vfloat64m1_t v0)
+{
+  vse64_v_f64m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_f64m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m2 (float64_t *base, vfloat64m2_t v0, size_t vl)
+{
+  vse64_v_f64m2 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_f64m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m2_vl31 (float64_t *base, vfloat64m2_t v0)
+{
+  vse64_v_f64m2 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_f64m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m2_m (vbool32_t mask, float64_t *base, vfloat64m2_t v0, size_t vl)
+{
+  vse64_v_f64m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_f64m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m2_m_vl31 (vbool32_t mask, float64_t *base, vfloat64m2_t v0)
+{
+  vse64_v_f64m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_f64m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m4 (float64_t *base, vfloat64m4_t v0, size_t vl)
+{
+  vse64_v_f64m4 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_f64m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m4_vl31 (float64_t *base, vfloat64m4_t v0)
+{
+  vse64_v_f64m4 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_f64m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m4_m (vbool16_t mask, float64_t *base, vfloat64m4_t v0, size_t vl)
+{
+  vse64_v_f64m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_f64m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m4_m_vl31 (vbool16_t mask, float64_t *base, vfloat64m4_t v0)
+{
+  vse64_v_f64m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_f64m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m8 (float64_t *base, vfloat64m8_t v0, size_t vl)
+{
+  vse64_v_f64m8 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_f64m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m8_vl31 (float64_t *base, vfloat64m8_t v0)
+{
+  vse64_v_f64m8 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_f64m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m8_m (vbool8_t mask, float64_t *base, vfloat64m8_t v0, size_t vl)
+{
+  vse64_v_f64m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_f64m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m8_m_vl31 (vbool8_t mask, float64_t *base, vfloat64m8_t v0)
+{
+  vse64_v_f64m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8mf8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf8 (int8_t *base, vint8mf8_t v0, size_t vl)
+{
+  vse8_v_i8mf8 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8mf8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf8_vl31 (int8_t *base, vint8mf8_t v0)
+{
+  vse8_v_i8mf8 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8mf8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf8_m (vbool64_t mask, int8_t *base, vint8mf8_t v0, size_t vl)
+{
+  vse8_v_i8mf8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8mf8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf8_m_vl31 (vbool64_t mask, int8_t *base, vint8mf8_t v0)
+{
+  vse8_v_i8mf8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8mf4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf4 (int8_t *base, vint8mf4_t v0, size_t vl)
+{
+  vse8_v_i8mf4 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8mf4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf4_vl31 (int8_t *base, vint8mf4_t v0)
+{
+  vse8_v_i8mf4 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8mf4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf4_m (vbool32_t mask, int8_t *base, vint8mf4_t v0, size_t vl)
+{
+  vse8_v_i8mf4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8mf4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf4_m_vl31 (vbool32_t mask, int8_t *base, vint8mf4_t v0)
+{
+  vse8_v_i8mf4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8mf2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf2 (int8_t *base, vint8mf2_t v0, size_t vl)
+{
+  vse8_v_i8mf2 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8mf2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf2_vl31 (int8_t *base, vint8mf2_t v0)
+{
+  vse8_v_i8mf2 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8mf2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf2_m (vbool16_t mask, int8_t *base, vint8mf2_t v0, size_t vl)
+{
+  vse8_v_i8mf2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8mf2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf2_m_vl31 (vbool16_t mask, int8_t *base, vint8mf2_t v0)
+{
+  vse8_v_i8mf2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m1 (int8_t *base, vint8m1_t v0, size_t vl)
+{
+  vse8_v_i8m1 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m1_vl31 (int8_t *base, vint8m1_t v0)
+{
+  vse8_v_i8m1 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m1_m (vbool8_t mask, int8_t *base, vint8m1_t v0, size_t vl)
+{
+  vse8_v_i8m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m1_m_vl31 (vbool8_t mask, int8_t *base, vint8m1_t v0)
+{
+  vse8_v_i8m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m2 (int8_t *base, vint8m2_t v0, size_t vl)
+{
+  vse8_v_i8m2 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m2_vl31 (int8_t *base, vint8m2_t v0)
+{
+  vse8_v_i8m2 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m2_m (vbool4_t mask, int8_t *base, vint8m2_t v0, size_t vl)
+{
+  vse8_v_i8m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m2_m_vl31 (vbool4_t mask, int8_t *base, vint8m2_t v0)
+{
+  vse8_v_i8m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m4 (int8_t *base, vint8m4_t v0, size_t vl)
+{
+  vse8_v_i8m4 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m4_vl31 (int8_t *base, vint8m4_t v0)
+{
+  vse8_v_i8m4 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m4_m (vbool2_t mask, int8_t *base, vint8m4_t v0, size_t vl)
+{
+  vse8_v_i8m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m4_m_vl31 (vbool2_t mask, int8_t *base, vint8m4_t v0)
+{
+  vse8_v_i8m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m8 (int8_t *base, vint8m8_t v0, size_t vl)
+{
+  vse8_v_i8m8 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m8_vl31 (int8_t *base, vint8m8_t v0)
+{
+  vse8_v_i8m8 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_i8m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m8_m (vbool1_t mask, int8_t *base, vint8m8_t v0, size_t vl)
+{
+  vse8_v_i8m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_i8m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m8_m_vl31 (vbool1_t mask, int8_t *base, vint8m8_t v0)
+{
+  vse8_v_i8m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16mf4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf4 (int16_t *base, vint16mf4_t v0, size_t vl)
+{
+  vse16_v_i16mf4 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16mf4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf4_vl31 (int16_t *base, vint16mf4_t v0)
+{
+  vse16_v_i16mf4 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16mf4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf4_m (vbool64_t mask, int16_t *base, vint16mf4_t v0, size_t vl)
+{
+  vse16_v_i16mf4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16mf4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf4_m_vl31 (vbool64_t mask, int16_t *base, vint16mf4_t v0)
+{
+  vse16_v_i16mf4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16mf2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf2 (int16_t *base, vint16mf2_t v0, size_t vl)
+{
+  vse16_v_i16mf2 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16mf2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf2_vl31 (int16_t *base, vint16mf2_t v0)
+{
+  vse16_v_i16mf2 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16mf2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf2_m (vbool32_t mask, int16_t *base, vint16mf2_t v0, size_t vl)
+{
+  vse16_v_i16mf2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16mf2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf2_m_vl31 (vbool32_t mask, int16_t *base, vint16mf2_t v0)
+{
+  vse16_v_i16mf2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m1 (int16_t *base, vint16m1_t v0, size_t vl)
+{
+  vse16_v_i16m1 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m1_vl31 (int16_t *base, vint16m1_t v0)
+{
+  vse16_v_i16m1 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m1_m (vbool16_t mask, int16_t *base, vint16m1_t v0, size_t vl)
+{
+  vse16_v_i16m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m1_m_vl31 (vbool16_t mask, int16_t *base, vint16m1_t v0)
+{
+  vse16_v_i16m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m2 (int16_t *base, vint16m2_t v0, size_t vl)
+{
+  vse16_v_i16m2 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m2_vl31 (int16_t *base, vint16m2_t v0)
+{
+  vse16_v_i16m2 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m2_m (vbool8_t mask, int16_t *base, vint16m2_t v0, size_t vl)
+{
+  vse16_v_i16m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m2_m_vl31 (vbool8_t mask, int16_t *base, vint16m2_t v0)
+{
+  vse16_v_i16m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m4 (int16_t *base, vint16m4_t v0, size_t vl)
+{
+  vse16_v_i16m4 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m4_vl31 (int16_t *base, vint16m4_t v0)
+{
+  vse16_v_i16m4 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m4_m (vbool4_t mask, int16_t *base, vint16m4_t v0, size_t vl)
+{
+  vse16_v_i16m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m4_m_vl31 (vbool4_t mask, int16_t *base, vint16m4_t v0)
+{
+  vse16_v_i16m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m8 (int16_t *base, vint16m8_t v0, size_t vl)
+{
+  vse16_v_i16m8 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m8_vl31 (int16_t *base, vint16m8_t v0)
+{
+  vse16_v_i16m8 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_i16m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m8_m (vbool2_t mask, int16_t *base, vint16m8_t v0, size_t vl)
+{
+  vse16_v_i16m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_i16m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m8_m_vl31 (vbool2_t mask, int16_t *base, vint16m8_t v0)
+{
+  vse16_v_i16m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32mf2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32mf2 (int32_t *base, vint32mf2_t v0, size_t vl)
+{
+  vse32_v_i32mf2 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32mf2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32mf2_vl31 (int32_t *base, vint32mf2_t v0)
+{
+  vse32_v_i32mf2 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32mf2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32mf2_m (vbool64_t mask, int32_t *base, vint32mf2_t v0, size_t vl)
+{
+  vse32_v_i32mf2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32mf2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32mf2_m_vl31 (vbool64_t mask, int32_t *base, vint32mf2_t v0)
+{
+  vse32_v_i32mf2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m1 (int32_t *base, vint32m1_t v0, size_t vl)
+{
+  vse32_v_i32m1 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m1_vl31 (int32_t *base, vint32m1_t v0)
+{
+  vse32_v_i32m1 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m1_m (vbool32_t mask, int32_t *base, vint32m1_t v0, size_t vl)
+{
+  vse32_v_i32m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m1_m_vl31 (vbool32_t mask, int32_t *base, vint32m1_t v0)
+{
+  vse32_v_i32m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m2 (int32_t *base, vint32m2_t v0, size_t vl)
+{
+  vse32_v_i32m2 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m2_vl31 (int32_t *base, vint32m2_t v0)
+{
+  vse32_v_i32m2 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m2_m (vbool16_t mask, int32_t *base, vint32m2_t v0, size_t vl)
+{
+  vse32_v_i32m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m2_m_vl31 (vbool16_t mask, int32_t *base, vint32m2_t v0)
+{
+  vse32_v_i32m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m4 (int32_t *base, vint32m4_t v0, size_t vl)
+{
+  vse32_v_i32m4 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m4_vl31 (int32_t *base, vint32m4_t v0)
+{
+  vse32_v_i32m4 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m4_m (vbool8_t mask, int32_t *base, vint32m4_t v0, size_t vl)
+{
+  vse32_v_i32m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m4_m_vl31 (vbool8_t mask, int32_t *base, vint32m4_t v0)
+{
+  vse32_v_i32m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m8 (int32_t *base, vint32m8_t v0, size_t vl)
+{
+  vse32_v_i32m8 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m8_vl31 (int32_t *base, vint32m8_t v0)
+{
+  vse32_v_i32m8 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_i32m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m8_m (vbool4_t mask, int32_t *base, vint32m8_t v0, size_t vl)
+{
+  vse32_v_i32m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_i32m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m8_m_vl31 (vbool4_t mask, int32_t *base, vint32m8_t v0)
+{
+  vse32_v_i32m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_i64m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m1 (int64_t *base, vint64m1_t v0, size_t vl)
+{
+  vse64_v_i64m1 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_i64m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m1_vl31 (int64_t *base, vint64m1_t v0)
+{
+  vse64_v_i64m1 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_i64m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m1_m (vbool64_t mask, int64_t *base, vint64m1_t v0, size_t vl)
+{
+  vse64_v_i64m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_i64m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m1_m_vl31 (vbool64_t mask, int64_t *base, vint64m1_t v0)
+{
+  vse64_v_i64m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_i64m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m2 (int64_t *base, vint64m2_t v0, size_t vl)
+{
+  vse64_v_i64m2 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_i64m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m2_vl31 (int64_t *base, vint64m2_t v0)
+{
+  vse64_v_i64m2 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_i64m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m2_m (vbool32_t mask, int64_t *base, vint64m2_t v0, size_t vl)
+{
+  vse64_v_i64m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_i64m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m2_m_vl31 (vbool32_t mask, int64_t *base, vint64m2_t v0)
+{
+  vse64_v_i64m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_i64m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m4 (int64_t *base, vint64m4_t v0, size_t vl)
+{
+  vse64_v_i64m4 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_i64m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m4_vl31 (int64_t *base, vint64m4_t v0)
+{
+  vse64_v_i64m4 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_i64m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m4_m (vbool16_t mask, int64_t *base, vint64m4_t v0, size_t vl)
+{
+  vse64_v_i64m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_i64m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m4_m_vl31 (vbool16_t mask, int64_t *base, vint64m4_t v0)
+{
+  vse64_v_i64m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_i64m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m8 (int64_t *base, vint64m8_t v0, size_t vl)
+{
+  vse64_v_i64m8 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_i64m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m8_vl31 (int64_t *base, vint64m8_t v0)
+{
+  vse64_v_i64m8 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_i64m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m8_m (vbool8_t mask, int64_t *base, vint64m8_t v0, size_t vl)
+{
+  vse64_v_i64m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_i64m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m8_m_vl31 (vbool8_t mask, int64_t *base, vint64m8_t v0)
+{
+  vse64_v_i64m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8mf8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf8 (uint8_t *base, vuint8mf8_t v0, size_t vl)
+{
+  vse8_v_u8mf8 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8mf8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf8_vl31 (uint8_t *base, vuint8mf8_t v0)
+{
+  vse8_v_u8mf8 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8mf8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf8_m (vbool64_t mask, uint8_t *base, vuint8mf8_t v0, size_t vl)
+{
+  vse8_v_u8mf8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8mf8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf8_m_vl31 (vbool64_t mask, uint8_t *base, vuint8mf8_t v0)
+{
+  vse8_v_u8mf8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8mf4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf4 (uint8_t *base, vuint8mf4_t v0, size_t vl)
+{
+  vse8_v_u8mf4 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8mf4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf4_vl31 (uint8_t *base, vuint8mf4_t v0)
+{
+  vse8_v_u8mf4 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8mf4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf4_m (vbool32_t mask, uint8_t *base, vuint8mf4_t v0, size_t vl)
+{
+  vse8_v_u8mf4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8mf4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf4_m_vl31 (vbool32_t mask, uint8_t *base, vuint8mf4_t v0)
+{
+  vse8_v_u8mf4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8mf2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf2 (uint8_t *base, vuint8mf2_t v0, size_t vl)
+{
+  vse8_v_u8mf2 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8mf2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf2_vl31 (uint8_t *base, vuint8mf2_t v0)
+{
+  vse8_v_u8mf2 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8mf2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf2_m (vbool16_t mask, uint8_t *base, vuint8mf2_t v0, size_t vl)
+{
+  vse8_v_u8mf2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8mf2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf2_m_vl31 (vbool16_t mask, uint8_t *base, vuint8mf2_t v0)
+{
+  vse8_v_u8mf2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m1 (uint8_t *base, vuint8m1_t v0, size_t vl)
+{
+  vse8_v_u8m1 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m1_vl31 (uint8_t *base, vuint8m1_t v0)
+{
+  vse8_v_u8m1 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m1_m (vbool8_t mask, uint8_t *base, vuint8m1_t v0, size_t vl)
+{
+  vse8_v_u8m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m1_m_vl31 (vbool8_t mask, uint8_t *base, vuint8m1_t v0)
+{
+  vse8_v_u8m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m2 (uint8_t *base, vuint8m2_t v0, size_t vl)
+{
+  vse8_v_u8m2 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m2_vl31 (uint8_t *base, vuint8m2_t v0)
+{
+  vse8_v_u8m2 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m2_m (vbool4_t mask, uint8_t *base, vuint8m2_t v0, size_t vl)
+{
+  vse8_v_u8m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m2_m_vl31 (vbool4_t mask, uint8_t *base, vuint8m2_t v0)
+{
+  vse8_v_u8m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m4 (uint8_t *base, vuint8m4_t v0, size_t vl)
+{
+  vse8_v_u8m4 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m4_vl31 (uint8_t *base, vuint8m4_t v0)
+{
+  vse8_v_u8m4 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m4_m (vbool2_t mask, uint8_t *base, vuint8m4_t v0, size_t vl)
+{
+  vse8_v_u8m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m4_m_vl31 (vbool2_t mask, uint8_t *base, vuint8m4_t v0)
+{
+  vse8_v_u8m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m8 (uint8_t *base, vuint8m8_t v0, size_t vl)
+{
+  vse8_v_u8m8 (base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m8_vl31 (uint8_t *base, vuint8m8_t v0)
+{
+  vse8_v_u8m8 (base, v0, 31);
+}
+
+/*
+** test_vse8_v_u8m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m8_m (vbool1_t mask, uint8_t *base, vuint8m8_t v0, size_t vl)
+{
+  vse8_v_u8m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse8_v_u8m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m8_m_vl31 (vbool1_t mask, uint8_t *base, vuint8m8_t v0)
+{
+  vse8_v_u8m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16mf4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf4 (uint16_t *base, vuint16mf4_t v0, size_t vl)
+{
+  vse16_v_u16mf4 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16mf4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf4_vl31 (uint16_t *base, vuint16mf4_t v0)
+{
+  vse16_v_u16mf4 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16mf4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf4_m (vbool64_t mask, uint16_t *base, vuint16mf4_t v0, size_t vl)
+{
+  vse16_v_u16mf4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16mf4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf4_m_vl31 (vbool64_t mask, uint16_t *base, vuint16mf4_t v0)
+{
+  vse16_v_u16mf4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16mf2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf2 (uint16_t *base, vuint16mf2_t v0, size_t vl)
+{
+  vse16_v_u16mf2 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16mf2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf2_vl31 (uint16_t *base, vuint16mf2_t v0)
+{
+  vse16_v_u16mf2 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16mf2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf2_m (vbool32_t mask, uint16_t *base, vuint16mf2_t v0, size_t vl)
+{
+  vse16_v_u16mf2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16mf2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf2_m_vl31 (vbool32_t mask, uint16_t *base, vuint16mf2_t v0)
+{
+  vse16_v_u16mf2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m1 (uint16_t *base, vuint16m1_t v0, size_t vl)
+{
+  vse16_v_u16m1 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m1_vl31 (uint16_t *base, vuint16m1_t v0)
+{
+  vse16_v_u16m1 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m1_m (vbool16_t mask, uint16_t *base, vuint16m1_t v0, size_t vl)
+{
+  vse16_v_u16m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m1_m_vl31 (vbool16_t mask, uint16_t *base, vuint16m1_t v0)
+{
+  vse16_v_u16m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m2 (uint16_t *base, vuint16m2_t v0, size_t vl)
+{
+  vse16_v_u16m2 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m2_vl31 (uint16_t *base, vuint16m2_t v0)
+{
+  vse16_v_u16m2 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m2_m (vbool8_t mask, uint16_t *base, vuint16m2_t v0, size_t vl)
+{
+  vse16_v_u16m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m2_m_vl31 (vbool8_t mask, uint16_t *base, vuint16m2_t v0)
+{
+  vse16_v_u16m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m4 (uint16_t *base, vuint16m4_t v0, size_t vl)
+{
+  vse16_v_u16m4 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m4_vl31 (uint16_t *base, vuint16m4_t v0)
+{
+  vse16_v_u16m4 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m4_m (vbool4_t mask, uint16_t *base, vuint16m4_t v0, size_t vl)
+{
+  vse16_v_u16m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m4_m_vl31 (vbool4_t mask, uint16_t *base, vuint16m4_t v0)
+{
+  vse16_v_u16m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m8 (uint16_t *base, vuint16m8_t v0, size_t vl)
+{
+  vse16_v_u16m8 (base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m8_vl31 (uint16_t *base, vuint16m8_t v0)
+{
+  vse16_v_u16m8 (base, v0, 31);
+}
+
+/*
+** test_vse16_v_u16m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m8_m (vbool2_t mask, uint16_t *base, vuint16m8_t v0, size_t vl)
+{
+  vse16_v_u16m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse16_v_u16m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m8_m_vl31 (vbool2_t mask, uint16_t *base, vuint16m8_t v0)
+{
+  vse16_v_u16m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32mf2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32mf2 (uint32_t *base, vuint32mf2_t v0, size_t vl)
+{
+  vse32_v_u32mf2 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32mf2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32mf2_vl31 (uint32_t *base, vuint32mf2_t v0)
+{
+  vse32_v_u32mf2 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32mf2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32mf2_m (vbool64_t mask, uint32_t *base, vuint32mf2_t v0, size_t vl)
+{
+  vse32_v_u32mf2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32mf2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32mf2_m_vl31 (vbool64_t mask, uint32_t *base, vuint32mf2_t v0)
+{
+  vse32_v_u32mf2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m1 (uint32_t *base, vuint32m1_t v0, size_t vl)
+{
+  vse32_v_u32m1 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m1_vl31 (uint32_t *base, vuint32m1_t v0)
+{
+  vse32_v_u32m1 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m1_m (vbool32_t mask, uint32_t *base, vuint32m1_t v0, size_t vl)
+{
+  vse32_v_u32m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m1_m_vl31 (vbool32_t mask, uint32_t *base, vuint32m1_t v0)
+{
+  vse32_v_u32m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m2 (uint32_t *base, vuint32m2_t v0, size_t vl)
+{
+  vse32_v_u32m2 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m2_vl31 (uint32_t *base, vuint32m2_t v0)
+{
+  vse32_v_u32m2 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m2_m (vbool16_t mask, uint32_t *base, vuint32m2_t v0, size_t vl)
+{
+  vse32_v_u32m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m2_m_vl31 (vbool16_t mask, uint32_t *base, vuint32m2_t v0)
+{
+  vse32_v_u32m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m4 (uint32_t *base, vuint32m4_t v0, size_t vl)
+{
+  vse32_v_u32m4 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m4_vl31 (uint32_t *base, vuint32m4_t v0)
+{
+  vse32_v_u32m4 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m4_m (vbool8_t mask, uint32_t *base, vuint32m4_t v0, size_t vl)
+{
+  vse32_v_u32m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m4_m_vl31 (vbool8_t mask, uint32_t *base, vuint32m4_t v0)
+{
+  vse32_v_u32m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m8 (uint32_t *base, vuint32m8_t v0, size_t vl)
+{
+  vse32_v_u32m8 (base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m8_vl31 (uint32_t *base, vuint32m8_t v0)
+{
+  vse32_v_u32m8 (base, v0, 31);
+}
+
+/*
+** test_vse32_v_u32m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m8_m (vbool4_t mask, uint32_t *base, vuint32m8_t v0, size_t vl)
+{
+  vse32_v_u32m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse32_v_u32m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m8_m_vl31 (vbool4_t mask, uint32_t *base, vuint32m8_t v0)
+{
+  vse32_v_u32m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_u64m1:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m1 (uint64_t *base, vuint64m1_t v0, size_t vl)
+{
+  vse64_v_u64m1 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_u64m1_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m1_vl31 (uint64_t *base, vuint64m1_t v0)
+{
+  vse64_v_u64m1 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_u64m1_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m1_m (vbool64_t mask, uint64_t *base, vuint64m1_t v0, size_t vl)
+{
+  vse64_v_u64m1_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_u64m1_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m1_m_vl31 (vbool64_t mask, uint64_t *base, vuint64m1_t v0)
+{
+  vse64_v_u64m1_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_u64m2:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m2 (uint64_t *base, vuint64m2_t v0, size_t vl)
+{
+  vse64_v_u64m2 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_u64m2_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m2_vl31 (uint64_t *base, vuint64m2_t v0)
+{
+  vse64_v_u64m2 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_u64m2_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m2_m (vbool32_t mask, uint64_t *base, vuint64m2_t v0, size_t vl)
+{
+  vse64_v_u64m2_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_u64m2_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m2_m_vl31 (vbool32_t mask, uint64_t *base, vuint64m2_t v0)
+{
+  vse64_v_u64m2_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_u64m4:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m4 (uint64_t *base, vuint64m4_t v0, size_t vl)
+{
+  vse64_v_u64m4 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_u64m4_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m4_vl31 (uint64_t *base, vuint64m4_t v0)
+{
+  vse64_v_u64m4 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_u64m4_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m4_m (vbool16_t mask, uint64_t *base, vuint64m4_t v0, size_t vl)
+{
+  vse64_v_u64m4_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_u64m4_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m4_m_vl31 (vbool16_t mask, uint64_t *base, vuint64m4_t v0)
+{
+  vse64_v_u64m4_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse64_v_u64m8:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m8 (uint64_t *base, vuint64m8_t v0, size_t vl)
+{
+  vse64_v_u64m8 (base, v0, vl);
+}
+
+/*
+** test_vse64_v_u64m8_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m8_vl31 (uint64_t *base, vuint64m8_t v0)
+{
+  vse64_v_u64m8 (base, v0, 31);
+}
+
+/*
+** test_vse64_v_u64m8_m:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m8_m (vbool8_t mask, uint64_t *base, vuint64m8_t v0, size_t vl)
+{
+  vse64_v_u64m8_m (mask, base, v0, vl);
+}
+
+/*
+** test_vse64_v_u64m8_m_vl31:
+**  ...
+**	vsetivli\s+zero,\s*31,\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m8_m_vl31 (vbool8_t mask, uint64_t *base, vuint64m8_t v0)
+{
+  vse64_v_u64m8_m (mask, base, v0, 31);
+}
+
+/*
+** test_vse32_v_f32mf2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32mf2_vl32 (float32_t *base, vfloat32mf2_t v0)
+{
+  vse32_v_f32mf2 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32mf2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32mf2_m_vl32 (vbool64_t mask, float32_t *base, vfloat32mf2_t v0)
+{
+  vse32_v_f32mf2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m1_vl32 (float32_t *base, vfloat32m1_t v0)
+{
+  vse32_v_f32m1 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m1_m_vl32 (vbool32_t mask, float32_t *base, vfloat32m1_t v0)
+{
+  vse32_v_f32m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m2_vl32 (float32_t *base, vfloat32m2_t v0)
+{
+  vse32_v_f32m2 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m2_m_vl32 (vbool16_t mask, float32_t *base, vfloat32m2_t v0)
+{
+  vse32_v_f32m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m4_vl32 (float32_t *base, vfloat32m4_t v0)
+{
+  vse32_v_f32m4 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m4_m_vl32 (vbool8_t mask, float32_t *base, vfloat32m4_t v0)
+{
+  vse32_v_f32m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m8_vl32 (float32_t *base, vfloat32m8_t v0)
+{
+  vse32_v_f32m8 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_f32m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_f32m8_m_vl32 (vbool4_t mask, float32_t *base, vfloat32m8_t v0)
+{
+  vse32_v_f32m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_f64m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m1_vl32 (float64_t *base, vfloat64m1_t v0)
+{
+  vse64_v_f64m1 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_f64m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m1_m_vl32 (vbool64_t mask, float64_t *base, vfloat64m1_t v0)
+{
+  vse64_v_f64m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_f64m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m2_vl32 (float64_t *base, vfloat64m2_t v0)
+{
+  vse64_v_f64m2 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_f64m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m2_m_vl32 (vbool32_t mask, float64_t *base, vfloat64m2_t v0)
+{
+  vse64_v_f64m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_f64m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m4_vl32 (float64_t *base, vfloat64m4_t v0)
+{
+  vse64_v_f64m4 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_f64m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m4_m_vl32 (vbool16_t mask, float64_t *base, vfloat64m4_t v0)
+{
+  vse64_v_f64m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_f64m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m8_vl32 (float64_t *base, vfloat64m8_t v0)
+{
+  vse64_v_f64m8 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_f64m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_f64m8_m_vl32 (vbool8_t mask, float64_t *base, vfloat64m8_t v0)
+{
+  vse64_v_f64m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8mf8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf8_vl32 (int8_t *base, vint8mf8_t v0)
+{
+  vse8_v_i8mf8 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8mf8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf8_m_vl32 (vbool64_t mask, int8_t *base, vint8mf8_t v0)
+{
+  vse8_v_i8mf8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8mf4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf4_vl32 (int8_t *base, vint8mf4_t v0)
+{
+  vse8_v_i8mf4 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8mf4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf4_m_vl32 (vbool32_t mask, int8_t *base, vint8mf4_t v0)
+{
+  vse8_v_i8mf4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8mf2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf2_vl32 (int8_t *base, vint8mf2_t v0)
+{
+  vse8_v_i8mf2 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8mf2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8mf2_m_vl32 (vbool16_t mask, int8_t *base, vint8mf2_t v0)
+{
+  vse8_v_i8mf2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m1_vl32 (int8_t *base, vint8m1_t v0)
+{
+  vse8_v_i8m1 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m1_m_vl32 (vbool8_t mask, int8_t *base, vint8m1_t v0)
+{
+  vse8_v_i8m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m2_vl32 (int8_t *base, vint8m2_t v0)
+{
+  vse8_v_i8m2 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m2_m_vl32 (vbool4_t mask, int8_t *base, vint8m2_t v0)
+{
+  vse8_v_i8m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m4_vl32 (int8_t *base, vint8m4_t v0)
+{
+  vse8_v_i8m4 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m4_m_vl32 (vbool2_t mask, int8_t *base, vint8m4_t v0)
+{
+  vse8_v_i8m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m8_vl32 (int8_t *base, vint8m8_t v0)
+{
+  vse8_v_i8m8 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_i8m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_i8m8_m_vl32 (vbool1_t mask, int8_t *base, vint8m8_t v0)
+{
+  vse8_v_i8m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16mf4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf4_vl32 (int16_t *base, vint16mf4_t v0)
+{
+  vse16_v_i16mf4 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16mf4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf4_m_vl32 (vbool64_t mask, int16_t *base, vint16mf4_t v0)
+{
+  vse16_v_i16mf4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16mf2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf2_vl32 (int16_t *base, vint16mf2_t v0)
+{
+  vse16_v_i16mf2 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16mf2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16mf2_m_vl32 (vbool32_t mask, int16_t *base, vint16mf2_t v0)
+{
+  vse16_v_i16mf2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m1_vl32 (int16_t *base, vint16m1_t v0)
+{
+  vse16_v_i16m1 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m1_m_vl32 (vbool16_t mask, int16_t *base, vint16m1_t v0)
+{
+  vse16_v_i16m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m2_vl32 (int16_t *base, vint16m2_t v0)
+{
+  vse16_v_i16m2 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m2_m_vl32 (vbool8_t mask, int16_t *base, vint16m2_t v0)
+{
+  vse16_v_i16m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m4_vl32 (int16_t *base, vint16m4_t v0)
+{
+  vse16_v_i16m4 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m4_m_vl32 (vbool4_t mask, int16_t *base, vint16m4_t v0)
+{
+  vse16_v_i16m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m8_vl32 (int16_t *base, vint16m8_t v0)
+{
+  vse16_v_i16m8 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_i16m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_i16m8_m_vl32 (vbool2_t mask, int16_t *base, vint16m8_t v0)
+{
+  vse16_v_i16m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32mf2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32mf2_vl32 (int32_t *base, vint32mf2_t v0)
+{
+  vse32_v_i32mf2 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32mf2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32mf2_m_vl32 (vbool64_t mask, int32_t *base, vint32mf2_t v0)
+{
+  vse32_v_i32mf2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m1_vl32 (int32_t *base, vint32m1_t v0)
+{
+  vse32_v_i32m1 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m1_m_vl32 (vbool32_t mask, int32_t *base, vint32m1_t v0)
+{
+  vse32_v_i32m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m2_vl32 (int32_t *base, vint32m2_t v0)
+{
+  vse32_v_i32m2 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m2_m_vl32 (vbool16_t mask, int32_t *base, vint32m2_t v0)
+{
+  vse32_v_i32m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m4_vl32 (int32_t *base, vint32m4_t v0)
+{
+  vse32_v_i32m4 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m4_m_vl32 (vbool8_t mask, int32_t *base, vint32m4_t v0)
+{
+  vse32_v_i32m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m8_vl32 (int32_t *base, vint32m8_t v0)
+{
+  vse32_v_i32m8 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_i32m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_i32m8_m_vl32 (vbool4_t mask, int32_t *base, vint32m8_t v0)
+{
+  vse32_v_i32m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_i64m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m1_vl32 (int64_t *base, vint64m1_t v0)
+{
+  vse64_v_i64m1 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_i64m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m1_m_vl32 (vbool64_t mask, int64_t *base, vint64m1_t v0)
+{
+  vse64_v_i64m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_i64m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m2_vl32 (int64_t *base, vint64m2_t v0)
+{
+  vse64_v_i64m2 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_i64m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m2_m_vl32 (vbool32_t mask, int64_t *base, vint64m2_t v0)
+{
+  vse64_v_i64m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_i64m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m4_vl32 (int64_t *base, vint64m4_t v0)
+{
+  vse64_v_i64m4 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_i64m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m4_m_vl32 (vbool16_t mask, int64_t *base, vint64m4_t v0)
+{
+  vse64_v_i64m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_i64m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m8_vl32 (int64_t *base, vint64m8_t v0)
+{
+  vse64_v_i64m8 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_i64m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_i64m8_m_vl32 (vbool8_t mask, int64_t *base, vint64m8_t v0)
+{
+  vse64_v_i64m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8mf8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf8_vl32 (uint8_t *base, vuint8mf8_t v0)
+{
+  vse8_v_u8mf8 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8mf8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf8_m_vl32 (vbool64_t mask, uint8_t *base, vuint8mf8_t v0)
+{
+  vse8_v_u8mf8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8mf4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf4_vl32 (uint8_t *base, vuint8mf4_t v0)
+{
+  vse8_v_u8mf4 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8mf4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf4_m_vl32 (vbool32_t mask, uint8_t *base, vuint8mf4_t v0)
+{
+  vse8_v_u8mf4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8mf2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf2_vl32 (uint8_t *base, vuint8mf2_t v0)
+{
+  vse8_v_u8mf2 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8mf2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8mf2_m_vl32 (vbool16_t mask, uint8_t *base, vuint8mf2_t v0)
+{
+  vse8_v_u8mf2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m1_vl32 (uint8_t *base, vuint8m1_t v0)
+{
+  vse8_v_u8m1 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m1_m_vl32 (vbool8_t mask, uint8_t *base, vuint8m1_t v0)
+{
+  vse8_v_u8m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m2_vl32 (uint8_t *base, vuint8m2_t v0)
+{
+  vse8_v_u8m2 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m2_m_vl32 (vbool4_t mask, uint8_t *base, vuint8m2_t v0)
+{
+  vse8_v_u8m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m4_vl32 (uint8_t *base, vuint8m4_t v0)
+{
+  vse8_v_u8m4 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m4_m_vl32 (vbool2_t mask, uint8_t *base, vuint8m4_t v0)
+{
+  vse8_v_u8m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m8_vl32 (uint8_t *base, vuint8m8_t v0)
+{
+  vse8_v_u8m8 (base, v0, 32);
+}
+
+/*
+** test_vse8_v_u8m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e8,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse8\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse8_v_u8m8_m_vl32 (vbool1_t mask, uint8_t *base, vuint8m8_t v0)
+{
+  vse8_v_u8m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16mf4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf4_vl32 (uint16_t *base, vuint16mf4_t v0)
+{
+  vse16_v_u16mf4 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16mf4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf4_m_vl32 (vbool64_t mask, uint16_t *base, vuint16mf4_t v0)
+{
+  vse16_v_u16mf4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16mf2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf2_vl32 (uint16_t *base, vuint16mf2_t v0)
+{
+  vse16_v_u16mf2 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16mf2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16mf2_m_vl32 (vbool32_t mask, uint16_t *base, vuint16mf2_t v0)
+{
+  vse16_v_u16mf2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m1_vl32 (uint16_t *base, vuint16m1_t v0)
+{
+  vse16_v_u16m1 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m1_m_vl32 (vbool16_t mask, uint16_t *base, vuint16m1_t v0)
+{
+  vse16_v_u16m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m2_vl32 (uint16_t *base, vuint16m2_t v0)
+{
+  vse16_v_u16m2 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m2_m_vl32 (vbool8_t mask, uint16_t *base, vuint16m2_t v0)
+{
+  vse16_v_u16m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m4_vl32 (uint16_t *base, vuint16m4_t v0)
+{
+  vse16_v_u16m4 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m4_m_vl32 (vbool4_t mask, uint16_t *base, vuint16m4_t v0)
+{
+  vse16_v_u16m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m8_vl32 (uint16_t *base, vuint16m8_t v0)
+{
+  vse16_v_u16m8 (base, v0, 32);
+}
+
+/*
+** test_vse16_v_u16m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e16,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse16\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse16_v_u16m8_m_vl32 (vbool2_t mask, uint16_t *base, vuint16m8_t v0)
+{
+  vse16_v_u16m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32mf2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32mf2_vl32 (uint32_t *base, vuint32mf2_t v0)
+{
+  vse32_v_u32mf2 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32mf2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*mf2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32mf2_m_vl32 (vbool64_t mask, uint32_t *base, vuint32mf2_t v0)
+{
+  vse32_v_u32mf2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m1_vl32 (uint32_t *base, vuint32m1_t v0)
+{
+  vse32_v_u32m1 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m1_m_vl32 (vbool32_t mask, uint32_t *base, vuint32m1_t v0)
+{
+  vse32_v_u32m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m2_vl32 (uint32_t *base, vuint32m2_t v0)
+{
+  vse32_v_u32m2 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m2_m_vl32 (vbool16_t mask, uint32_t *base, vuint32m2_t v0)
+{
+  vse32_v_u32m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m4_vl32 (uint32_t *base, vuint32m4_t v0)
+{
+  vse32_v_u32m4 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m4_m_vl32 (vbool8_t mask, uint32_t *base, vuint32m4_t v0)
+{
+  vse32_v_u32m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m8_vl32 (uint32_t *base, vuint32m8_t v0)
+{
+  vse32_v_u32m8 (base, v0, 32);
+}
+
+/*
+** test_vse32_v_u32m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e32,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse32\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse32_v_u32m8_m_vl32 (vbool4_t mask, uint32_t *base, vuint32m8_t v0)
+{
+  vse32_v_u32m8_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_u64m1_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m1_vl32 (uint64_t *base, vuint64m1_t v0)
+{
+  vse64_v_u64m1 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_u64m1_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m1,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[0-9]|v[1-2][0-9]|v3[0-1]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m1_m_vl32 (vbool64_t mask, uint64_t *base, vuint64m1_t v0)
+{
+  vse64_v_u64m1_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_u64m2_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m2_vl32 (uint64_t *base, vuint64m2_t v0)
+{
+  vse64_v_u64m2 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_u64m2_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m2,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[02468]|v[1-2][02468]|v30),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m2_m_vl32 (vbool32_t mask, uint64_t *base, vuint64m2_t v0)
+{
+  vse64_v_u64m2_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_u64m4_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m4_vl32 (uint64_t *base, vuint64m4_t v0)
+{
+  vse64_v_u64m4 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_u64m4_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m4,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[048]|v1[26]|v2[048]),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m4_m_vl32 (vbool16_t mask, uint64_t *base, vuint64m4_t v0)
+{
+  vse64_v_u64m4_m (mask, base, v0, 32);
+}
+
+/*
+** test_vse64_v_u64m8_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\)
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m8_vl32 (uint64_t *base, vuint64m8_t v0)
+{
+  vse64_v_u64m8 (base, v0, 32);
+}
+
+/*
+** test_vse64_v_u64m8_m_vl32:
+**  ...
+**	vsetvli\s+zero,\s*(?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7]),\s*e64,\s*m8,\s*t[au],\s*m[au]
+**  ...
+**	vse64\.v\s+(?:v[08]|v16|v24),\s*\((?:ra|[sgtf]p|t[0-6]|s[0-9]|s10|s11|a[0-7])\),\s*v0\.t
+**  ...
+**  ret
+*/
+void
+test_vse64_v_u64m8_m_vl32 (vbool8_t mask, uint64_t *base, vuint64m8_t v0)
+{
+  vse64_v_u64m8_m (mask, base, v0, 32);
+}
+