diff options
| author | Robert Norton | 2016-02-01 17:02:53 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-01 17:02:53 +0000 |
| commit | 681872327b67b856b6c2c11a17998ba8edb52e81 (patch) | |
| tree | e11aab373fdf0715bc9f38440a2489c5ecc897c6 | |
| parent | 904487ad8c5741c46c4127c3955d4813fdf589dc (diff) | |
mips.sail: fix decode of trap instructions.
| -rw-r--r-- | mips/mips.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index b34096ff..4277f672 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -1238,8 +1238,8 @@ function clause execute (TRAPREG(rs, rt, cmp)) = union ast member (regno, imm16, Comparison) TRAPIMM function clause decode (0b000001 : (regno) rs : 0b01100 : (imm16) imm) = Some(TRAPIMM(rs, imm, EQ)) (* TEQI *) function clause decode (0b000001 : (regno) rs : 0b01110 : (imm16) imm) = Some(TRAPIMM(rs, imm, NE)) (* TNEI *) -function clause decode (0b000001 : (regno) rs : 0b10000 : (imm16) imm) = Some(TRAPIMM(rs, imm, GE)) (* TGEI *) -function clause decode (0b000001 : (regno) rs : 0b10001 : (imm16) imm) = Some(TRAPIMM(rs, imm, GEU)) (* TGEIU *) +function clause decode (0b000001 : (regno) rs : 0b01000 : (imm16) imm) = Some(TRAPIMM(rs, imm, GE)) (* TGEI *) +function clause decode (0b000001 : (regno) rs : 0b01001 : (imm16) imm) = Some(TRAPIMM(rs, imm, GEU)) (* TGEIU *) function clause decode (0b000001 : (regno) rs : 0b01010 : (imm16) imm) = Some(TRAPIMM(rs, imm, LT)) (* TLTI *) function clause decode (0b000001 : (regno) rs : 0b01011 : (imm16) imm) = Some(TRAPIMM(rs, imm, LTU)) (* TLTIU *) function clause execute (TRAPIMM(rs, imm, cmp)) = |