diff options
| author | Andrew Waterman <andrew@sifive.com> | 2019-07-19 00:43:38 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2019-07-19 00:46:14 -0700 |
| commit | 4ae4845f234e9f2e06e9849b14cd5bc337efcead (patch) | |
| tree | 18e9c2c1f69361f0e7221a116c308c16b405af03 /riscv/insns/vfmv_s_f.h | |
| parent | f9745fb771cbae0b6508f2df172406a8cce54b15 (diff) | |
| download | spike-4ae4845f234e9f2e06e9849b14cd5bc337efcead.zip spike-4ae4845f234e9f2e06e9849b14cd5bc337efcead.tar.gz spike-4ae4845f234e9f2e06e9849b14cd5bc337efcead.tar.bz2 | |
Check for F extension in vfmv instructions
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; |