aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/vfmv_f_s.h
diff options
context:
space:
mode:
authorChih-Min Chao <chihmin.chao@sifive.com>2019-10-23 01:36:48 -0700
committerChih-Min Chao <chihmin.chao@sifive.com>2019-11-11 19:02:35 -0800
commit4808f84a1833de2bbd87a92355f75991c4697312 (patch)
tree464a74599559173af989a150973a76539d1ba663 /riscv/insns/vfmv_f_s.h
parente289b996c6ef60693b394b57bb53034c38eff4e4 (diff)
downloadspike-4808f84a1833de2bbd87a92355f75991c4697312.zip
spike-4808f84a1833de2bbd87a92355f75991c4697312.tar.gz
spike-4808f84a1833de2bbd87a92355f75991c4697312.tar.bz2
rvv: add reg checking for specifial instructions
Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
Diffstat (limited to 'riscv/insns/vfmv_f_s.h')
-rw-r--r--riscv/insns/vfmv_f_s.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/riscv/insns/vfmv_f_s.h b/riscv/insns/vfmv_f_s.h
index c6dbaff..066db80 100644
--- a/riscv/insns/vfmv_f_s.h
+++ b/riscv/insns/vfmv_f_s.h
@@ -1,6 +1,5 @@
// vfmv_f_s: rd = vs2[0] (rs1=0)
require_vector;
-require(insn.v_vm() == 1);
require_fp;
require_extension('F');
require(P.VU.vsew == e8 || P.VU.vsew == e16 || P.VU.vsew == e32 || P.VU.vsew == e64);