summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Norton2016-05-10 16:51:00 +0100
committerRobert Norton2016-05-10 16:51:00 +0100
commit31f621287e75e4214673433c1eb11f7bdc38ccfe (patch)
treeaa06d834018316227826c60f0536595df5e29e1f
parent2881758c6fa86460329e27e419cedca5b4921f15 (diff)
Clear LLbit on ERET regardless of ERL value.
-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;
}