add a cp2_next_pc function to update cheri state in fde loop and a stub version for mips.

1 files changed, 9 insertions, 0 deletions

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:",