From 4ae4845f234e9f2e06e9849b14cd5bc337efcead Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Fri, 19 Jul 2019 00:43:38 -0700 Subject: Check for F extension in vfmv instructions --- riscv/insns/vfmv_s_f.h | 1 + 1 file changed, 1 insertion(+) (limited to 'riscv/insns/vfmv_s_f.h') 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; -- cgit v1.1