diff options
Diffstat (limited to 'riscv/insns/vfmv_s_f.h')
-rw-r--r-- | riscv/insns/vfmv_s_f.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/insns/vfmv_s_f.h b/riscv/insns/vfmv_s_f.h index 13423b1..4d1ec2d 100644 --- a/riscv/insns/vfmv_s_f.h +++ b/riscv/insns/vfmv_s_f.h @@ -1,6 +1,7 @@ // vfmv_s_f: vd[0] = rs1 (vs2=0) require(insn.v_vm() == 1); require_fp; +require_extension('F'); require(P.VU.vsew == e32); reg_t vl = P.VU.vl; |