From b7b7ed8ffbb957e9597bf0a02e988ea18e2b7a2f Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 20 Jan 2016 11:59:25 +0000
Subject: Decoding a mips instruction :) Not executing yet as some previous
 commit has broken the interpreter's local assignment

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

(limited to 'mips')

diff --git a/mips/mips.sail b/mips/mips.sail
index 6ad7b825..dd0b9c28 100644
--- a/mips/mips.sail
+++ b/mips/mips.sail
@@ -357,7 +357,7 @@ function clause execute (ADDU(rs, rt, rd)) =
 
 union ast member regregimm16 ADDIU
 
-function clause decode (0b001000 : (regno) rs : (regno) rt : (imm16) imm) =
+function clause decode (0b001001 : (regno) rs : (regno) rt : (imm16) imm) =
   Some(ADDIU(rs, rt, imm))
 
 function clause execute (ADDIU(rs, rt, imm)) = 
@@ -1494,6 +1494,8 @@ end decode
 end execute
 end ast
 
+function option<ast> supported_instructions (instr) = Some(instr)
+  
 (* fetch decode execute *)
 function unit fde() =
 {
-- 
cgit v1.2.3