diff options
| author | Jan Henrik Weinstock <janweinstock@users.noreply.github.com> | 2023-01-16 19:20:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-16 18:20:41 +0000 |
| commit | fea224f5ed4f8eab3654691484bdb5685151fe07 (patch) | |
| tree | c6a88c1bfaca966ab53e929f37a6699608501cb7 | |
| parent | 5a10838c087ec5140d20f89fcb56237df5ca04fd (diff) | |
| download | sail-riscv-fea224f5ed4f8eab3654691484bdb5685151fe07.zip sail-riscv-fea224f5ed4f8eab3654691484bdb5685151fe07.tar.gz sail-riscv-fea224f5ed4f8eab3654691484bdb5685151fe07.tar.bz2 | |
Fix packw sign-extension (#185)
Signed-off-by: Jan Henrik Weinstock <jan@mwa.re>
Signed-off-by: Jan Henrik Weinstock <jan@mwa.re>
| -rw-r--r-- | model/riscv_insts_zbkb.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_insts_zbkb.sail b/model/riscv_insts_zbkb.sail index d8a6592..a4d8fc4 100644 --- a/model/riscv_insts_zbkb.sail +++ b/model/riscv_insts_zbkb.sail @@ -40,7 +40,7 @@ function clause execute (ZBKB_PACKW(rs2, rs1, rd)) = { let rs1_val = X(rs1); let rs2_val = X(rs2); let result : bits(32) = rs2_val[15..0] @ rs1_val[15..0]; - X(rd) = EXTZ(result); + X(rd) = EXTS(result); RETIRE_SUCCESS } |