3 files changed, 6 insertions, 1 deletions
diff --git a/riscv/insns/vmv_v_i.h b/riscv/insns/vmv_v_i.h
index 31e9877..f6b5b48 100644
--- a/riscv/insns/vmv_v_i.h
+++ b/riscv/insns/vmv_v_i.h
@@ -1,4 +1,6 @@
 // vmv.v.i vd, simm5
+require_vector;
+VI_CHECK_SSS(false);
 VI_VVXI_MERGE_LOOP
 ({
   vd = simm5;
diff --git a/riscv/insns/vmv_v_v.h b/riscv/insns/vmv_v_v.h
index a4f9a5c..523f2d9 100644
--- a/riscv/insns/vmv_v_v.h
+++ b/riscv/insns/vmv_v_v.h
@@ -1,5 +1,6 @@
 // vvmv.v.v vd, vs1
-require((insn.rs1() & (P.VU.vlmul - 1)) == 0);
+require_vector;
+VI_CHECK_SSS(true);
 VI_VVXI_MERGE_LOOP
 ({
   vd = vs1;
diff --git a/riscv/insns/vmv_v_x.h b/riscv/insns/vmv_v_x.h
index 4688b3f..7528f41 100644
--- a/riscv/insns/vmv_v_x.h
+++ b/riscv/insns/vmv_v_x.h
@@ -1,4 +1,6 @@
 // vmv.v.x vd, rs1
+require_vector;
+VI_CHECK_SSS(false);
 VI_VVXI_MERGE_LOOP
 ({
   vd = rs1;