From 5fe7d887ccb0594debbc87078af116eb41e29e36 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur <prashanth.mundkur@gmail.com>
Date: Fri, 8 Feb 2019 15:20:37 -0800
Subject: Start parameterizing definitions by xlen, which is currently still
 64.

---
 model/riscv_jalr_seq.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'model/riscv_jalr_seq.sail')

diff --git a/model/riscv_jalr_seq.sail b/model/riscv_jalr_seq.sail
index fcf9526..d4982c6 100644
--- a/model/riscv_jalr_seq.sail
+++ b/model/riscv_jalr_seq.sail
@@ -7,7 +7,7 @@ function clause execute (RISCV_JALR(imm, rs1, rd)) = {
    some manner, but for now, we just keep a reordered definition to improve simulator
    performance.
 */
-  let newPC : xlenbits = (X(rs1) + EXTS(imm))[63..1] @ 0b0;
+  let newPC : xlenbits = (X(rs1) + EXTS(imm))[(xlen_val) - 1 .. 1] @ 0b0;
   if newPC[1] & (~ (haveRVC())) then {
     handle_mem_exception(newPC, E_Fetch_Addr_Align);
     false;
-- 
cgit v1.1