From bfb7331e0d1df763e51c59016f9d42e1ff7f90c5 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 2 Mar 2018 13:42:22 +0000
Subject: add a cp2_next_pc function to update cheri state in fde loop and a
 stub version for mips.

---
 cheri/cheri_prelude_common.sail | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'cheri')

diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail
index c11bfc8d..02a6d408 100644
--- a/cheri/cheri_prelude_common.sail
+++ b/cheri/cheri_prelude_common.sail
@@ -391,6 +391,15 @@ function init_cp2_state () = {
   }
 }
 
+function cp2_next_pc () = {
+  PCC = nextPCC;
+  if inBranchDelay then {
+    nextPCC = delayedPCC;
+  } else {
+    inCCallDelay = 0b0;
+  };
+}
+
 val capToString : CapStruct -> string
 function capToString cap =
          concat_str(" t:",
-- 
cgit v1.2.3