diff options
| -rw-r--r-- | mips/mips_regfp.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mips/mips_regfp.sail b/mips/mips_regfp.sail index b7cfce2b..816cd1fe 100644 --- a/mips/mips_regfp.sail +++ b/mips/mips_regfp.sail @@ -347,6 +347,7 @@ function (regfps,regfps,regfps,niafps,diafp,instruction_kind) initial_analysis ( if base == 0 then () else aR := RFull(GPRs[base]) :: aR; iR := aR; if conditional then iR := RFull("CP0LLBit")::iR else (); + if (conditional & (rt != 0)) then oR := RFull(GPRs[rt])::oR else (); if rt == 0 then () else iR := RFull(GPRs[rt]) :: iR; } case (LWL(base, rt, offset)) -> { |