diff options
author | J"orn Rennecke <joern.rennecke@st.com> | 2005-06-01 11:38:53 +0000 |
---|---|---|
committer | Joern Rennecke <amylaar@gcc.gnu.org> | 2005-06-01 12:38:53 +0100 |
commit | 5fffc382a653d195d175a0e03f0262fb07962a3e (patch) | |
tree | 9aa79da08f8f0253c34a6a51b34ed733dc7fbacf | |
parent | 8e0a600bdd9dee1b4eb8f3e5ce840e76fdabf133 (diff) | |
download | gcc-5fffc382a653d195d175a0e03f0262fb07962a3e.zip gcc-5fffc382a653d195d175a0e03f0262fb07962a3e.tar.gz gcc-5fffc382a653d195d175a0e03f0262fb07962a3e.tar.bz2 |
re PR rtl-optimization/21767 (if-convert leaves invalid REG_EQUAL notes)
PR rtl-optimization/21767
* rtl.h (function_invariant_p): Re-add declaration.
* reload1.c (function_invariant_p): No longer static.
* ifcvt.c (dead_or_predicable): Remove REG_EQUAL notes that
might have become invalid.
From-SVN: r100448
-rw-r--r-- | gcc/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/ifcvt.c | 19 | ||||
-rw-r--r-- | gcc/reload1.c | 3 | ||||
-rw-r--r-- | gcc/rtl.h | 3 |
4 files changed, 31 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2cc5929..0c87790 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2005-06-01 J"orn Rennecke <joern.rennecke@st.com> + + PR rtl-optimization/21767 + * rtl.h (function_invariant_p): Re-add declaration. + * reload1.c (function_invariant_p): No longer static. + * ifcvt.c (dead_or_predicable): Remove REG_EQUAL notes that + might have become invalid. + 2005-06-01 Jakub Jelinek <jakub@redhat.com> PR c/21536 diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c index 5c822b6..d4b66a5 100644 --- a/gcc/ifcvt.c +++ b/gcc/ifcvt.c @@ -3430,12 +3430,31 @@ dead_or_predicable (basic_block test_bb, basic_block merge_bb, /* Move the insns out of MERGE_BB to before the branch. */ if (head != NULL) { + rtx insn; + if (end == BB_END (merge_bb)) BB_END (merge_bb) = PREV_INSN (head); if (squeeze_notes (&head, &end)) return TRUE; + /* PR 21767: When moving insns above a conditional branch, REG_EQUAL + notes might become invalid. */ + insn = head; + do + { + rtx note, set; + + if (! INSN_P (insn)) + continue; + note = find_reg_note (insn, REG_EQUAL, NULL_RTX); + if (! note) + continue; + set = single_set (insn); + if (!set || !function_invariant_p (SET_SRC (set))) + remove_note (insn, note); + } while (insn != end && (insn = NEXT_INSN (insn))); + reorder_insns (head, end, PREV_INSN (earliest)); } diff --git a/gcc/reload1.c b/gcc/reload1.c index 6158af5..0caa411 100644 --- a/gcc/reload1.c +++ b/gcc/reload1.c @@ -405,7 +405,6 @@ static int reload_reg_free_for_value_p (int, int, int, enum reload_type, rtx, rtx, int, int); static int free_for_value_p (int, enum machine_mode, int, enum reload_type, rtx, rtx, int, int); -static int function_invariant_p (rtx); static int reload_reg_reaches_end_p (unsigned int, int, enum reload_type); static int allocate_reload_reg (struct insn_chain *, int, int); static int conflicts_with_override (rtx); @@ -4984,7 +4983,7 @@ free_for_value_p (int regno, enum machine_mode mode, int opnum, pic_offset_table_rtx is not, and we must not spill these things to memory. */ -static int +int function_invariant_p (rtx x) { if (CONSTANT_P (x)) @@ -2062,6 +2062,9 @@ extern void dbr_schedule (rtx, FILE *); extern void dump_local_alloc (FILE *); extern int local_alloc (void); +/* In reload1.c */ +extern int function_invariant_p (rtx); + /* In reg-stack.c */ extern bool reg_to_stack (FILE *); |