diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-11 16:59:13 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-11 17:19:57 -0800 |
| commit | b9cccb81930ebe51f6e13621de3d9cf67f46ee6a (patch) | |
| tree | 779f4de29808bcca972ee6a4c8e5c722f41f1dba /model/riscv_jalr_rmem.sail | |
| parent | 1f476139d69d25800c26db8451e3a8af68606f66 (diff) | |
| download | sail-riscv-b9cccb81930ebe51f6e13621de3d9cf67f46ee6a.zip sail-riscv-b9cccb81930ebe51f6e13621de3d9cf67f46ee6a.tar.gz sail-riscv-b9cccb81930ebe51f6e13621de3d9cf67f46ee6a.tar.bz2 | |
Fix xlen variable name.
Diffstat (limited to 'model/riscv_jalr_rmem.sail')
| -rw-r--r-- | model/riscv_jalr_rmem.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_jalr_rmem.sail b/model/riscv_jalr_rmem.sail index 3069582..333f385 100644 --- a/model/riscv_jalr_rmem.sail +++ b/model/riscv_jalr_rmem.sail @@ -5,6 +5,6 @@ function clause execute (RISCV_JALR(imm, rs1, rd)) = { /* write rd before anything else to prevent unintended strength */ X(rd) = nextPC; /* compatible with JALR, C.JR and C.JALR */ let newPC : xlenbits = X(rs1) + EXTS(imm); - nextPC = newPC[(xlen_val - 1) .. 1] @ 0b0; + nextPC = newPC[(xlen - 1) .. 1] @ 0b0; true } |