aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/vmsif_m.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/vmsif_m.h')
-rw-r--r--riscv/insns/vmsif_m.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/vmsif_m.h b/riscv/insns/vmsif_m.h
index e608a61..cda4313 100644
--- a/riscv/insns/vmsif_m.h
+++ b/riscv/insns/vmsif_m.h
@@ -5,7 +5,7 @@ require(P.VU.vstart == 0);
if (insn.v_vm() == 0)
require(insn.rd() != 0 && insn.rd() != insn.rs2());
-reg_t vl = std::min(P.VU.vl, P.VU.VLEN);
+reg_t vl = P.VU.vl;
reg_t rd_num = insn.rd();
reg_t rs2_num = insn.rs2();