diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cselib.c | 5 | ||||
| -rw-r--r-- | gcc/reload.c | 6 |
3 files changed, 14 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8740f2b..33f2560 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-02-11 Dale Johannesen <dalej@apple.com> + + * cselib.c (cselib_process_insn): Clear out regs where + HARD_REGNO_CALL_PART_CLOBBERED is true at a call. + * reload.c (find_equiv_reg): Ditto. + 2005-02-11 Ian Lance Taylor <ian@airs.com> * read-rtl.c (read_rtx_1): Give fatal error if we see a vector diff --git a/gcc/cselib.c b/gcc/cselib.c index c64e087..f453489 100644 --- a/gcc/cselib.c +++ b/gcc/cselib.c @@ -1380,7 +1380,10 @@ cselib_process_insn (rtx insn) if (CALL_P (insn)) { for (i = 0; i < FIRST_PSEUDO_REGISTER; i++) - if (call_used_regs[i]) + if (call_used_regs[i] + || (REG_VALUES (i) && REG_VALUES (i)->elt + && HARD_REGNO_CALL_PART_CLOBBERED (i, + GET_MODE (REG_VALUES (i)->elt->u.val_rtx)))) cselib_invalidate_regno (i, reg_raw_mode[i]); if (! CONST_OR_PURE_CALL_P (insn)) diff --git a/gcc/reload.c b/gcc/reload.c index 0b865a1..3b3ca9f 100644 --- a/gcc/reload.c +++ b/gcc/reload.c @@ -6705,12 +6705,14 @@ find_equiv_reg (rtx goal, rtx insn, enum reg_class class, int other, if (regno >= 0 && regno < FIRST_PSEUDO_REGISTER) for (i = 0; i < nregs; ++i) - if (call_used_regs[regno + i]) + if (call_used_regs[regno + i] + || HARD_REGNO_CALL_PART_CLOBBERED (regno + i, mode)) return 0; if (valueno >= 0 && valueno < FIRST_PSEUDO_REGISTER) for (i = 0; i < valuenregs; ++i) - if (call_used_regs[valueno + i]) + if (call_used_regs[valueno + i] + || HARD_REGNO_CALL_PART_CLOBBERED (valueno + i, mode)) return 0; } |