diff options
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/mips_regfp.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mips/mips_regfp.sail b/mips/mips_regfp.sail index b1a86b56..b7cfce2b 100644 --- a/mips/mips_regfp.sail +++ b/mips/mips_regfp.sail @@ -337,6 +337,7 @@ function (regfps,regfps,regfps,niafps,diafp,instruction_kind) initial_analysis ( *) case (Load(width, signed, linked, base, rt, offset)) -> { ik := IK_mem_read (if linked then Read_reserve else Read_plain); + if linked then oR := RFull("CP0LLBit")::RFull("CP0LLAddr")::oR else (); if base == 0 then () else aR := RFull(GPRs[base]) :: aR; iR := aR; if rt == 0 then () else oR := RFull(GPRs[rt]) :: oR; @@ -345,6 +346,7 @@ function (regfps,regfps,regfps,niafps,diafp,instruction_kind) initial_analysis ( ik := IK_mem_write(if conditional then Write_conditional else Write_plain); if base == 0 then () else aR := RFull(GPRs[base]) :: aR; iR := aR; + if conditional then iR := RFull("CP0LLBit")::iR else (); if rt == 0 then () else iR := RFull(GPRs[rt]) :: iR; } case (LWL(base, rt, offset)) -> { |