| 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)
|
|
|