diff options
| author | YenHaoChen <howard25336284@gmail.com> | 2023-12-26 15:47:54 +0800 |
|---|---|---|
| committer | YenHaoChen <howard25336284@gmail.com> | 2023-12-26 15:47:54 +0800 |
| commit | 42e0e63914943ddbc2d7201af26a95962918b55a (patch) | |
| tree | dbde1096003e8aa976bb346bf9f5221eee9bf607 | |
| parent | f557404ceaf1c9a5cecf82a49e557dc5fbf4a728 (diff) | |
| download | riscv-isa-sim-42e0e63914943ddbc2d7201af26a95962918b55a.zip riscv-isa-sim-42e0e63914943ddbc2d7201af26a95962918b55a.tar.gz riscv-isa-sim-42e0e63914943ddbc2d7201af26a95962918b55a.tar.bz2 | |
zip and unzip of Zbkb require RV32
| -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; |