diff options
| author | Robert Norton | 2016-10-17 10:55:10 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-10-17 10:55:10 +0100 |
| commit | c48ba68814c8d03a0e2a1f212278264a0d52d081 (patch) | |
| tree | 75b64c7a945e61d67c85742867c231ac0978dba9 | |
| parent | c03824ebd166e98d143cfd171156707d928749d8 (diff) | |
don't forget link register in register bcmp footprint
| -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); } |