diff options
Diffstat (limited to 'riscv/insns/vmsof_m.h')
-rw-r--r-- | riscv/insns/vmsof_m.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/vmsof_m.h b/riscv/insns/vmsof_m.h index 9dd122d..5ef0bfd 100644 --- a/riscv/insns/vmsof_m.h +++ b/riscv/insns/vmsof_m.h @@ -1,6 +1,6 @@ // vmsof.m rd, vs2, vm require(P.VU.vsew >= e8 && P.VU.vsew <= e64); -require_vector; +require_vector(true); require(P.VU.vstart == 0); require_vm; require(insn.rd() != insn.rs2()); |