aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns
diff options
context:
space:
mode:
authorJerry Zhao <jerryz123@berkeley.edu>2024-01-17 14:53:46 -0800
committerGitHub <noreply@github.com>2024-01-17 14:53:46 -0800
commit99a447247a2a4b6d366e15c7a92cc79fbba9a397 (patch)
tree4982eee1312b494e8089c8d68d42a41293de222c /riscv/insns
parent5e9eccec75b5feddd4a89ec18551bdace3431c15 (diff)
parent42e0e63914943ddbc2d7201af26a95962918b55a (diff)
downloadriscv-isa-sim-99a447247a2a4b6d366e15c7a92cc79fbba9a397.zip
riscv-isa-sim-99a447247a2a4b6d366e15c7a92cc79fbba9a397.tar.gz
riscv-isa-sim-99a447247a2a4b6d366e15c7a92cc79fbba9a397.tar.bz2
Merge pull request #1551 from YenHaoChen/pr-shfli
zip and unzip of Zbkb require RV32
Diffstat (limited to 'riscv/insns')
-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;