diff options
-rw-r--r-- | gcc/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/dce.c | 23 |
2 files changed, 15 insertions, 12 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fa0304ffbd5..9063edc4ee9 100644 --- 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 12f3af0760f..7191f90414f 100644 --- 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); } |