diff options
| author | Robert Norton | 2018-03-02 13:42:22 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-02 13:44:11 +0000 |
| commit | bfb7331e0d1df763e51c59016f9d42e1ff7f90c5 (patch) | |
| tree | ca4fb6518f9e8472b493d6e0a7b27209f5a89296 /mips_new_tc/mips_wrappers.sail | |
| parent | 38ea40a8c9764fa6600141f5ec13d4b5c81d80b7 (diff) | |
add a cp2_next_pc function to update cheri state in fde loop and a stub version for mips.
Diffstat (limited to 'mips_new_tc/mips_wrappers.sail')
| -rw-r--r-- | mips_new_tc/mips_wrappers.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mips_new_tc/mips_wrappers.sail b/mips_new_tc/mips_wrappers.sail index bbb99e17..2e67a880 100644 --- a/mips_new_tc/mips_wrappers.sail +++ b/mips_new_tc/mips_wrappers.sail @@ -82,4 +82,5 @@ val ERETHook : unit -> unit function ERETHook() = () function init_cp2_state () = skip_wreg() +function cp2_next_pc() = {skip_wreg(); skip_rreg()} function dump_cp2_state () = skip_rreg() |