From 8d95266216f3249e40c01977065600a4363ea42e Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Wed, 11 Jul 2018 21:04:34 -0700
Subject: Add fixme note about riscv jalr.

---
 riscv/riscv.sail | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index ca30f4b4..548091e2 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -84,6 +84,14 @@ 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);
+/*  RMEM FIXME: For the sequential model, the above definition doesn't work directly
+    if rs1 = rd.  We would effectively have to keep a regfile for reads and another for
+    writes, and swap on instruction fetch.  This could perhaps be optimized in
+    some manner, but for now, we just reorder the previous two lines to improve simulator
+    performance in the sequential model, as below:
+    let newPC : xlenbits = X(rs1) + EXTS(imm);
+    X(rd) = nextPC; /* compatible with JALR, C.JR and C.JALR
+*/
     nextPC = newPC[63..1] @ 0b0;
     true
 }
-- 
cgit v1.2.3