diff options
| author | Kathy Gray | 2016-01-20 11:59:25 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-01-20 11:59:25 +0000 |
| commit | b7b7ed8ffbb957e9597bf0a02e988ea18e2b7a2f (patch) | |
| tree | 8a9cace8dc59fcd9825e00d2a61538a9e238926f /mips/mips.sail | |
| parent | d40b9c4b786e8eefc8e9d212d95035861566339c (diff) | |
Decoding a mips instruction :)
Not executing yet as some previous commit has broken the interpreter's local assignment
Diffstat (limited to 'mips/mips.sail')
| -rw-r--r-- | mips/mips.sail | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index 6ad7b825..dd0b9c28 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -357,7 +357,7 @@ function clause execute (ADDU(rs, rt, rd)) = union ast member regregimm16 ADDIU -function clause decode (0b001000 : (regno) rs : (regno) rt : (imm16) imm) = +function clause decode (0b001001 : (regno) rs : (regno) rt : (imm16) imm) = Some(ADDIU(rs, rt, imm)) function clause execute (ADDIU(rs, rt, imm)) = @@ -1494,6 +1494,8 @@ end decode end execute end ast +function option<ast> supported_instructions (instr) = Some(instr) + (* fetch decode execute *) function unit fde() = { |