diff options
| author | Robert Norton | 2016-05-13 10:39:41 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-13 10:39:41 +0100 |
| commit | 3f7b0e35f28648f640e2360496c7a03a8bafd331 (patch) | |
| tree | 8fe9a7fae702351d5eae2111a63ea64828063c37 | |
| parent | b1b9bdf418e1af3d1c02d1c9ffa9d6a91250d08b (diff) | |
don't write 33-bit value to hwrena (suprised that this type checked).
| -rw-r--r-- | mips/mips_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail index 42822550..ec4e8f8e 100644 --- a/mips/mips_insts.sail +++ b/mips/mips_insts.sail @@ -1370,7 +1370,7 @@ function clause execute (MTC0(rt, rd, sel, double)) = { switch (rd, sel) { case (0b00100,0b010) -> CP0UserLocal := reg_val - case (0b00111,0b000) -> CP0HWREna := (reg_val[31..29] : 0b0000000000000000000000000 : reg_val[4..0]) + case (0b00111,0b000) -> CP0HWREna := (reg_val[31..29] : 0b0000000000000000000000000 : reg_val[3..0]) case (0b01001,0b000) -> CP0Count := reg_val[31..0] case (0b01011,0b000) -> { (* 11, sel 0: Compare reg *) CP0Compare := reg_val[31..0]; |