From: Alexandre Oliva <aoliva@cygnus.com>
Date: Sat, 20 May 2000 20:26:18 +0000 (+0000)
Subject: * ifcvt.c (if_convert): Scan and kill dead code.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=13462862842c7daca19d3754627bc8aa3eeb1778;p=gcc.git

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

From-SVN: r34057
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9d178f66d03..b88b86c6a06 100644
--- 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 d2bb6bd5726..dd7763d27fb 100644
--- 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
 }