Index: src/trusted/validator_mips/mips-opt.table |
diff --git a/src/trusted/validator_mips/mips-opt.table b/src/trusted/validator_mips/mips-opt.table |
index 83d483b9bc8b1032d4d2e07109ceaaefa815f028..38d8f507e422dcceb78975e7b08a45400797de07 100644 |
--- a/src/trusted/validator_mips/mips-opt.table |
+++ b/src/trusted/validator_mips/mips-opt.table |
@@ -30,10 +30,10 @@ pat0(31:0) |
000010xxxxxxxxxxxxxxxxxxxxxxxxxx =JmpImm |
001111xxxxxxxxxxxxxxxxxxxxxxxxxx ->arithm2_1 |
011111xxxxxxxxxxxxxxxxxxxxxxxxxx ->special3 |
-100110xxxxxxxxxxxxxxxxxxxxxxxxxx =Load |
+100011xxxxxxxxxxxxxxxxxxxxxxxxxx =LoadWord |
110000xxxxxxxxxxxxxxxxxxxxxxxxxx =Load |
-10010xxxxxxxxxxxxxxxxxxxxxxxxxxx =Load |
-1000xxxxxxxxxxxxxxxxxxxxxxxxxxxx =Load |
+100x0xxxxxxxxxxxxxxxxxxxxxxxxxxx =Load |
+100x10xxxxxxxxxxxxxxxxxxxxxxxxxx =Load |
-- special (See Table A.3) |
pat0(31:0) |