diff options
author | Chih-Min Chao <chihmin.chao@sifive.com> | 2020-08-25 23:41:46 -0700 |
---|---|---|
committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2020-08-31 00:44:35 -0700 |
commit | fa23a1cc1db85862c92bf4795e14419bab2e611e (patch) | |
tree | fb80c5d3fa500593e3dd87a17b6d80ffbebb20e8 /riscv/insns/vfmv_s_f.h | |
parent | c9da2943328acf74f58812f1bf29cfc4091dc4cd (diff) | |
download | spike-fa23a1cc1db85862c92bf4795e14419bab2e611e.zip spike-fa23a1cc1db85862c92bf4795e14419bab2e611e.tar.gz spike-fa23a1cc1db85862c92bf4795e14419bab2e611e.tar.bz2 |
rvv: check invalid frm for floating operations
Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
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 4a4c105..52ed7b2 100644 --- a/riscv/insns/vfmv_s_f.h +++ b/riscv/insns/vfmv_s_f.h @@ -4,6 +4,7 @@ require_fp; require((P.VU.vsew == e16 && p->supports_extension(EXT_ZFH)) || (P.VU.vsew == e32 && p->supports_extension('F')) || (P.VU.vsew == e64 && p->supports_extension('D'))); +require(STATE.frm < 0x5); reg_t vl = P.VU.vl; |