diff options
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/mips_insts.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail index 853397fa..76ec25d7 100644 --- a/mips/mips_insts.sail +++ b/mips/mips_insts.sail @@ -1352,6 +1352,7 @@ function clause execute (MFC0(rt, rd, sel, double)) = case (0b10010,0b000) -> 0 (* 18, WatchLo *) case (0b10011,0b000) -> 0 (* 19, WatchHi *) case (0b10100,0b000) -> 0 (* 20, XContext *) + case (0b11110,0b000) -> CP0ErrorEPC (* 30, ErrorEPC *) case _ -> {exit (SignalException(ResI)); 0} } in wGPR(rt) := if (double) then result else EXTS(result[31..0]) @@ -1387,6 +1388,7 @@ function clause execute (MTC0(rt, rd, sel, double)) = (CP0Cause.IP)[9..8] := reg_val[9..8]; } case (0b01110,0b000) -> CP0EPC := reg_val (* 14, EPC *) + case (0b11110,0b000) -> CP0ErrorEPC := reg_val (* 30, ErrorEPC *) case _ -> exit (SignalException(ResI)) } |