* dce.c (dce_process_block): Do not re-scan already marked instructions.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fa0304f..9063edc 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2010-06-04  Jan Hubicka  <jh@suse.cz>
+
+       * dce.c (dce_process_block): Do not re-scan already marked instructions.
+
 2010-06-04  Bernd Schmidt  <bernds@codesourcery.com>
 
        PR rtl-optimization/39871

diff --git a/gcc/dce.c b/gcc/dce.c
index 12f3af0..7191f90 100644 (file)
--- a/gcc/dce.c
+++ b/gcc/dce.c
@@ -904,19 +904,18 @@ dce_process_block (basic_block bb, bool redo_out, bitmap au)
   FOR_BB_INSNS_REVERSE (bb, insn)
     if (INSN_P (insn))
       {
-       bool needed = false;
+       bool needed = marked_insn_p (insn);
 
        /* The insn is needed if there is someone who uses the output.  */
-       for (def_rec = DF_INSN_DEFS (insn); *def_rec; def_rec++)
-         if (bitmap_bit_p (local_live, DF_REF_REGNO (*def_rec))
-             || bitmap_bit_p (au, DF_REF_REGNO (*def_rec)))
-           {
-             needed = true;
-             break;
-           }
-
-       if (needed)
-         mark_insn (insn, true);
+       if (!needed)
+         for (def_rec = DF_INSN_DEFS (insn); *def_rec; def_rec++)
+           if (bitmap_bit_p (local_live, DF_REF_REGNO (*def_rec))
+               || bitmap_bit_p (au, DF_REF_REGNO (*def_rec)))
+             {
+               needed = true;
+               mark_insn (insn, true);
+               break;
+             }
 
        /* No matter if the instruction is needed or not, we remove
           any regno in the defs from the live set.  */
@@ -924,7 +923,7 @@ dce_process_block (basic_block bb, bool redo_out, bitmap au)
 
        /* On the other hand, we do not allow the dead uses to set
           anything in local_live.  */
-       if (marked_insn_p (insn))
+       if (needed)
          df_simulate_uses (insn, local_live);
       }