* flow.c (mark_set_1): Don't record conditionally dead memory.

From-SVN: r34176

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 287cfb8cde2454847f8d4754e3dea3cfdad129cd..084920a5075224c091af5f55d2c53bb6ceb13b52 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2000-05-25  Richard Henderson  <rth@cygnus.com>
+
+       * flow.c (mark_set_1): Don't record conditionally dead memory.
+
 2000-05-25  Jan Hubicka  <jh@suse.cz>
 
        * combine.c (try_combine): Use any_condjump_p, any_uncondjump_p

diff --git a/gcc/flow.c b/gcc/flow.c
index ec621e555b40a87392154121d34470756b65540b..b4ae779086d0244637a57a640da4945f7601771e 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -4252,6 +4252,8 @@ mark_set_1 (pbi, code, reg, cond, insn, flags)
        invalidate_mems_from_autoinc (pbi, insn);
 
       if (GET_CODE (reg) == MEM && ! side_effects_p (reg)
+         /* ??? With more effort we could track conditional memory life.  */
+         && ! cond
          /* We do not know the size of a BLKmode store, so we do not track
             them for redundant store elimination.  */
          && GET_MODE (reg) != BLKmode