diff options
Diffstat (limited to 'mips/mips_prelude.sail')
| -rw-r--r-- | mips/mips_prelude.sail | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail index 801802de..9161b929 100644 --- a/mips/mips_prelude.sail +++ b/mips/mips_prelude.sail @@ -146,7 +146,9 @@ function (bit[5]) ExceptionCode ((Exception) ex) = } -function unit SignalException ((Exception) ex) = +val Exception -> unit effect {rreg, wreg} SignalException + +function unit SignalExceptionMIPS ((Exception) ex) = { (* Only update EPC and BD if not already in EXL mode *) if (~ (CP0Status.EXL)) then |