* ifcvt.c (if_convert): Scan and kill dead code.

From-SVN: r34057

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9d178f66d0318b8369bbc199cdc1943cc8cff0eb..b88b86c6a066cb46c1a553fc8514061f12f0c957 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,7 @@
 2000-05-20  Alexandre Oliva  <aoliva@cygnus.com>
 
+       * ifcvt.c (if_convert): Scan and kill dead code.
+
        * emit-rtl.c (unshare_all_rtl): Store the copied rtx.
 
 2000-05-20  Zack Weinberg  <zack@wolery.cumb.org>

diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c
index d2bb6bd57261602d31e08585d8ffc98da62ecb94..dd7763d27fba111fa61300426f9c5fb48784782d 100644 (file)
--- a/gcc/ifcvt.c
+++ b/gcc/ifcvt.c
@@ -2038,7 +2038,8 @@ if_convert (life_data_ok)
 
       count_or_remove_death_notes (update_life_blocks, 1);
       update_life_info (update_life_blocks, UPDATE_LIFE_LOCAL,
-                       PROP_DEATH_NOTES);
+                       PROP_DEATH_NOTES | PROP_SCAN_DEAD_CODE
+                       | PROP_KILL_DEAD_CODE);
 
       sbitmap_free (update_life_blocks);
     }
@@ -2058,6 +2059,7 @@ if_convert (life_data_ok)
     }
 
 #ifdef ENABLE_CHECKING
-  verify_flow_info ();
+  if (life_data_ok)
+    verify_flow_info ();
 #endif
 }