From a9ef0cff423acaaa5ebbb1b1b0293c777903dcfb Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 10 Feb 2016 11:41:14 +0000
Subject: mips.sail: make unimplemented/non-existent throw a reserved
 instruction exception as per ISA.

---
 mips/mips.sail | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3