diff options
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude_common.sail | 9 |
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:", |