diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/unroll.c | 7 |
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f01ea2b..b6dcbca 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2002-10-04 David Edelsohn <edelsohn@gnu.org> + + * unroll.c (copy_loop_body): Remove REG_EQUAL note attached to + copied instruction if the note is not loop invariant. + 2002-10-04 Loren J. Rittle <ljrittle@acm.org> * gcc/ginclude/stddef.h: Support the FreeBSD 5 typedef system. diff --git a/gcc/unroll.c b/gcc/unroll.c index 97e646e..3e5ea7f 100644 --- a/gcc/unroll.c +++ b/gcc/unroll.c @@ -2033,6 +2033,13 @@ copy_loop_body (loop, copy_start, copy_end, map, exit_label, last_iteration, REG_NOTES (copy) = initial_reg_note_copy (REG_NOTES (insn), map); INSN_SCOPE (copy) = INSN_SCOPE (insn); + /* If there is a REG_EQUAL note present whose value + is not loop invariant, then delete it, since it + may cause problems with later optimization passes. */ + if ((tem = find_reg_note (copy, REG_EQUAL, NULL_RTX)) + && !loop_invariant_p (loop, XEXP (tem, 0))) + remove_note (copy, tem); + #ifdef HAVE_cc0 /* If this insn is setting CC0, it may need to look at the insn that uses CC0 to see what type of insn it is. |