summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mips/mips_insts.sail2
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail
index 76ec25d7..04bfc48d 100644
--- a/mips/mips_insts.sail
+++ b/mips/mips_insts.sail
@@ -1398,6 +1398,7 @@ function clause decode (0b010000 : 0b1 : 0b0000000000000000000 : 0b011000) =
function clause execute (ERET) =
{
ERETHook();
+ CP0LLBit := 0b0;
if (CP0Status.ERL == bitone) then
{
nextPC := CP0ErrorEPC;
@@ -1405,7 +1406,6 @@ function clause execute (ERET) =
}
else
{
- CP0LLBit := 0b0;
nextPC := CP0EPC;
CP0Status.EXL := 0;
}