OSDN Git Service

PR rtl-optimization/31848
authorsteven <steven@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 12 May 2007 18:12:54 +0000 (18:12 +0000)
committersteven <steven@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 12 May 2007 18:12:54 +0000 (18:12 +0000)
* loop-invariant.c (move_invariant_reg): If we move an insn
with a REG_EQUAL note, and that insn is not always executed,
remove the REG_EQUAL note.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@124639 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/loop-invariant.c

index bc7e921..32fa239 100644 (file)
@@ -1,3 +1,10 @@
+2007-05-12  Steven Bosscher  <steven@gcc.gnu.org>
+
+       PR rtl-optimization/31848
+       * loop-invariant.c (move_invariant_reg): If we move an insn
+       with a REG_EQUAL note, and that insn is not always executed,
+       remove the REG_EQUAL note.
+
 2007-05-12  Richard Guenther  <rguenther@suse.de>
 
        PR tree-optimization/31797
index 304e424..613bfb1 100644 (file)
@@ -1156,9 +1156,21 @@ move_invariant_reg (struct loop *loop, unsigned invno)
         to let emit_move_insn produce a valid instruction stream.  */
       if (REG_P (dest) && !HARD_REGISTER_P (dest))
        {
+         rtx note;
+
          emit_insn_after (gen_move_insn (dest, reg), inv->insn);
          SET_DEST (set) = reg;
          reorder_insns (inv->insn, inv->insn, BB_END (preheader));
+
+         /* If there is a REG_EQUAL note on the insn we just moved, and
+            insn is in a basic block that is not always executed, the note
+            may no longer be valid after we move the insn.
+            Note that uses in REG_EQUAL notes are taken into account in
+            the computation of invariants.  Hence it is safe to retain the
+            note even if the note contains register references.  */
+         if (! inv->always_executed
+             && (note = find_reg_note (inv->insn, REG_EQUAL, NULL_RTX)))
+           remove_note (inv->insn, note);
        }
       else
        {