aboutsummaryrefslogtreecommitdiff
path: root/riscv
diff options
context:
space:
mode:
authorYenHaoChen <howard25336284@gmail.com>2023-12-26 15:47:54 +0800
committerYenHaoChen <howard25336284@gmail.com>2023-12-26 15:47:54 +0800
commit42e0e63914943ddbc2d7201af26a95962918b55a (patch)
treedbde1096003e8aa976bb346bf9f5221eee9bf607 /riscv
parentf557404ceaf1c9a5cecf82a49e557dc5fbf4a728 (diff)
downloadriscv-isa-sim-42e0e63914943ddbc2d7201af26a95962918b55a.zip
riscv-isa-sim-42e0e63914943ddbc2d7201af26a95962918b55a.tar.gz
riscv-isa-sim-42e0e63914943ddbc2d7201af26a95962918b55a.tar.bz2
zip and unzip of Zbkb require RV32
Diffstat (limited to 'riscv')
-rw-r--r--riscv/insns/shfli.h1
-rw-r--r--riscv/insns/unshfli.h1
2 files changed, 2 insertions, 0 deletions
diff --git a/riscv/insns/shfli.h b/riscv/insns/shfli.h
index bb21d2c..3b3a758 100644
--- a/riscv/insns/shfli.h
+++ b/riscv/insns/shfli.h
@@ -1,4 +1,5 @@
// Zbkb contains zip but not general shfli
+require_rv32;
require(((insn.rs2() == (xlen / 2 - 1)) && p->extension_enabled(EXT_ZBKB)));
require(SHAMT < (xlen/2));
reg_t x = RS1;
diff --git a/riscv/insns/unshfli.h b/riscv/insns/unshfli.h
index 5a9cff1..d3c0340 100644
--- a/riscv/insns/unshfli.h
+++ b/riscv/insns/unshfli.h
@@ -1,4 +1,5 @@
// Zbkb contains unzip but not general unshfli
+require_rv32;
require(((insn.rs2() == (xlen / 2 - 1)) && p->extension_enabled(EXT_ZBKB)));
require(SHAMT < (xlen/2));
reg_t x = RS1;