aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/vfmv_s_f.h
diff options
context:
space:
mode:
authorChih-Min Chao <chihmin.chao@sifive.com>2020-08-25 23:41:46 -0700
committerChih-Min Chao <chihmin.chao@sifive.com>2020-08-31 00:44:35 -0700
commitfa23a1cc1db85862c92bf4795e14419bab2e611e (patch)
treefb80c5d3fa500593e3dd87a17b6d80ffbebb20e8 /riscv/insns/vfmv_s_f.h
parentc9da2943328acf74f58812f1bf29cfc4091dc4cd (diff)
downloadspike-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.h1
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;