From b9cccb81930ebe51f6e13621de3d9cf67f46ee6a Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur <prashanth.mundkur@gmail.com>
Date: Mon, 11 Feb 2019 16:59:13 -0800
Subject: Fix xlen variable name.

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

(limited to 'model/riscv_jalr_rmem.sail')

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
 }
-- 
cgit v1.1