diff options
| -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 662dc1f9..ca781d23 100644 --- a/mips/mips_regfp.sail +++ b/mips/mips_regfp.sail @@ -382,6 +382,8 @@ function (regfps,regfps,regfps,nias,dia,instruction_kind) initial_analysis (inst case (BCMPZ(rs, imm, cmp, link, likely)) -> { ik := IK_cond_branch; if rs == 0 then () else iR := RFull(GPRs[rs]) :: iR; + if link then + oR := RFull("GPR31") :: oR; let (bit[64]) offset = (EXTS(imm : 0b00) + 4) in Dia := DIA_concrete (PC + offset); } |