From d8d8956978dc5989ce6771db8b7516b4ae090ece Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 21 Jan 2016 12:05:59 +0000
Subject: add another encoding for HCF instruction and add execute clause ->
 first complete execution of test mips program!

---
 mips/mips.sail | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mips/mips.sail b/mips/mips.sail
index d0c2b385..9e2ac189 100644
--- a/mips/mips.sail
+++ b/mips/mips.sail
@@ -1488,6 +1488,12 @@ union ast member unit HCF
 function clause decode (0b010000 : 0b00100 : (regno) rt : 0b10111 : 0b00000000000) =
   Some(HCF()) (* simulator halt instruction "MTC0 rt, $23" (cheri specific behaviour) *)
 
+function clause decode (0b010000 : 0b00100 : (regno) rt : 0b11010 : 0b00000000000) =
+  Some(HCF()) (* simulator halt instruction "MTC0 rt, $26" (cheri specific behaviour) *)
+
+function clause execute (HCF) =
+  () (* halt instruction actually executed by interpreter framework *)
+
 function clause decode _ = None
 
 end decode
-- 
cgit v1.2.3