diff options
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/mips_prelude.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail index 5be1a3cc..a490efb9 100644 --- a/mips/mips_prelude.sail +++ b/mips/mips_prelude.sail @@ -152,7 +152,6 @@ register (bit[1]) CP0LLBit register (bit[64]) CP0LLAddr register (bit[64]) CP0BadVAddr register (bit[32]) CP0Count -register (bit[32]) CP0Compare register (bit[32]) CP0HWREna register (bit[64]) CP0UserLocal @@ -277,7 +276,6 @@ function (bit[5]) ExceptionCode ((Exception) ex) = } -val Exception -> unit effect {rreg, wreg} SignalException function unit SignalExceptionMIPS ((Exception) ex, (bit[64]) kccBase) = { @@ -318,6 +316,8 @@ function unit SignalExceptionMIPS ((Exception) ex, (bit[64]) kccBase) = CP0Status.EXL := 1; } +val Exception -> unit effect {rreg, wreg} SignalException + function unit SignalExceptionBadAddr((Exception) ex, (bit[64]) badAddr) = { CP0BadVAddr := badAddr; |