diff options
| author | Robert Norton | 2016-02-10 11:41:14 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-10 11:42:00 +0000 |
| commit | a9ef0cff423acaaa5ebbb1b1b0293c777903dcfb (patch) | |
| tree | 9d09c17aefcf59796d4e9c4efc32e267c84bbc65 | |
| parent | dcc3653e27a534540941af86bc0e834a3f397782 (diff) | |
mips.sail: make unimplemented/non-existent throw a reserved instruction exception as per ISA.
| -rw-r--r-- | mips/mips.sail | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index 88ca1c33..6fca5300 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -1658,7 +1658,10 @@ function clause execute (ERET) = function clause execute (HCF) = () (* halt instruction actually executed by interpreter framework *) -function clause decode _ = None +union ast member unit RI +function clause decode _ = Some(RI) +function clause execute (RI) = + exit (SignalException (ResI)) end decode end execute |