summaryrefslogtreecommitdiff
path: root/mips
diff options
context:
space:
mode:
Diffstat (limited to 'mips')
-rw-r--r--mips/mips_insts.sail4
1 files changed, 3 insertions, 1 deletions
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