Index: src/trusted/validator_mips/mips32.table |
diff --git a/src/trusted/validator_mips/mips32.table b/src/trusted/validator_mips/mips32.table |
index 3573ffb5861bbf7d9de400a7d1ae9465ac84e797..7d65066364c088cb71510a967884bbfd8058cdad 100644 |
--- a/src/trusted/validator_mips/mips32.table |
+++ b/src/trusted/validator_mips/mips32.table |
@@ -108,7 +108,7 @@ function(5:0) |
001010 ->arithm3_2 # movz |
001011 ->arithm3_2 # movn |
001100 =Forbidden # syscall |
-001101 =Forbidden # break |
+001101 =NaClHalt # break |
001110 =Forbidden |
001111 ->sync # sync |
010000 ->mfhi # mfhi |
@@ -736,8 +736,7 @@ pat0(10:6) |
-- jr (jr) |
rs(25:21) pat1(20:6) |
-00000 000000000000000 =NaClHalt # jr $zero |
-~00000 000000000000000 =JmpReg # jr |
+xxxxx 000000000000000 =JmpReg # jr |
xxxxx ~000000000000000 =Forbidden |