diff options
author | Jerry Zhao <jerryz123@berkeley.edu> | 2024-01-17 14:53:46 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-17 14:53:46 -0800 |
commit | 99a447247a2a4b6d366e15c7a92cc79fbba9a397 (patch) | |
tree | 4982eee1312b494e8089c8d68d42a41293de222c /riscv | |
parent | 5e9eccec75b5feddd4a89ec18551bdace3431c15 (diff) | |
parent | 42e0e63914943ddbc2d7201af26a95962918b55a (diff) | |
download | spike-99a447247a2a4b6d366e15c7a92cc79fbba9a397.zip spike-99a447247a2a4b6d366e15c7a92cc79fbba9a397.tar.gz spike-99a447247a2a4b6d366e15c7a92cc79fbba9a397.tar.bz2 |
Merge pull request #1551 from YenHaoChen/pr-shfli
zip and unzip of Zbkb require RV32
Diffstat (limited to 'riscv')
-rw-r--r-- | riscv/insns/shfli.h | 1 | ||||
-rw-r--r-- | riscv/insns/unshfli.h | 1 |
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; |