diff options
Diffstat (limited to 'mips/mips.sail')
| -rw-r--r-- | mips/mips.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index 0d762a91..3b31d837 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -1119,7 +1119,7 @@ function clause execute (JALR(rs, rd)) = union ast member (regno, regno, imm16, bool, bool) BEQ function clause decode (0b000100 : (regno) rs : (regno) rt : (imm16) imm) = Some(BEQ(rs, rt, imm, false, false)) (* BEQ *) -function clause decode (0b000100 : (regno) rs : (regno) rt : (imm16) imm) = Some(BEQ(rs, rt, imm, false, true)) (* BEQL *) +function clause decode (0b010100 : (regno) rs : (regno) rt : (imm16) imm) = Some(BEQ(rs, rt, imm, false, true)) (* BEQL *) function clause decode (0b000101 : (regno) rs : (regno) rt : (imm16) imm) = Some(BEQ(rs, rt, imm, true , false)) (* BNE *) function clause decode (0b010101 : (regno) rs : (regno) rt : (imm16) imm) = Some(BEQ(rs, rt, imm, true , true)) (* BNEL *) function clause execute (BEQ(rs, rd, imm, ne, likely)) = |