From bb8bee18b67ba87a875d648d166aa474794d5123 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 13 May 2016 15:14:57 +0100
Subject: do something a bit more interesting with WAIT.

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

diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail
index 53a813e6..ba0dc258 100644
--- a/mips/mips_insts.sail
+++ b/mips/mips_insts.sail
@@ -976,7 +976,9 @@ function clause execute (BREAK) =
 union ast member unit WAIT
 function clause decode (0b010000 : 0x80000 : 0b100000) =
   Some(WAIT) (* we only accept code == 0 *)
-function clause execute (WAIT) = ()
+function clause execute (WAIT) = {
+  nextPC := PC;
+}
 
 (* Trap instructions with two register operands *)
 union ast member (regno, regno, Comparison) TRAPREG
-- 
cgit v1.2.3