diff options
| author | Robert Norton | 2016-02-01 11:32:21 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-01 11:32:21 +0000 |
| commit | 342df953c2c9f84c1ee50bd1c99652b261bed453 (patch) | |
| tree | d0486a42cb5b71c190f239f69c7e3002655f0aa7 | |
| parent | c97b530649c2dc2c1364803a6fb7e23f690da1d7 (diff) | |
mips.sail: fix decoding of BEQL instruction.
| -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)) = |