aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns
diff options
context:
space:
mode:
authorChih-Min Chao <chihmin.chao@sifive.com>2020-03-24 21:28:22 -0700
committerChih-Min Chao <chihmin.chao@sifive.com>2020-03-24 21:28:26 -0700
commitcb846e2a19fa79262a2741ae2eed69a378cbc0cd (patch)
tree220df3a83b77212cfbd9092d3899e85699b300b1 /riscv/insns
parent2d11e8acaef0573903f795e7277352c1442d64d2 (diff)
downloadspike-cb846e2a19fa79262a2741ae2eed69a378cbc0cd.zip
spike-cb846e2a19fa79262a2741ae2eed69a378cbc0cd.tar.gz
spike-cb846e2a19fa79262a2741ae2eed69a378cbc0cd.tar.bz2
rvv: fix vmv reg checking failure
Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
Diffstat (limited to 'riscv/insns')
-rw-r--r--riscv/insns/vmv_v_i.h2
-rw-r--r--riscv/insns/vmv_v_v.h3
-rw-r--r--riscv/insns/vmv_v_x.h2
3 files changed, 6 insertions, 1 deletions
diff --git a/riscv/insns/vmv_v_i.h b/riscv/insns/vmv_v_i.h
index 31e9877..f6b5b48 100644
--- a/riscv/insns/vmv_v_i.h
+++ b/riscv/insns/vmv_v_i.h
@@ -1,4 +1,6 @@
// vmv.v.i vd, simm5
+require_vector;
+VI_CHECK_SSS(false);
VI_VVXI_MERGE_LOOP
({
vd = simm5;
diff --git a/riscv/insns/vmv_v_v.h b/riscv/insns/vmv_v_v.h
index a4f9a5c..523f2d9 100644
--- a/riscv/insns/vmv_v_v.h
+++ b/riscv/insns/vmv_v_v.h
@@ -1,5 +1,6 @@
// vvmv.v.v vd, vs1
-require((insn.rs1() & (P.VU.vlmul - 1)) == 0);
+require_vector;
+VI_CHECK_SSS(true);
VI_VVXI_MERGE_LOOP
({
vd = vs1;
diff --git a/riscv/insns/vmv_v_x.h b/riscv/insns/vmv_v_x.h
index 4688b3f..7528f41 100644
--- a/riscv/insns/vmv_v_x.h
+++ b/riscv/insns/vmv_v_x.h
@@ -1,4 +1,6 @@
// vmv.v.x vd, rs1
+require_vector;
+VI_CHECK_SSS(false);
VI_VVXI_MERGE_LOOP
({
vd = rs1;