flow.c (clear_log_links): Nuke global_live_at_start and global_live_at_end data...

* flow.c (clear_log_links): Nuke global_live_at_start and
global_live_at_end data, since if the log_links stuff is invalid
so is global_live_at_*.

From-SVN: r35396

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f69814f5c03be1862f2ec8e7a951eeb52f68f8af..d3189089bdd6622def4d0111f7b2ecd8b51b155d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2000-07-31  Geoff Keating  <geoffk@cygnus.com>
+
+       * flow.c (clear_log_links): Nuke global_live_at_start and
+       global_live_at_end data, since if the log_links stuff is invalid
+       so is global_live_at_*.
+
 2000-07-31  Richard Henderson  <rth@cygnus.com>
 
        * tm.texi (Addressing Modes): Clarify PRE/POST_MODIFY descriptions.

diff --git a/gcc/flow.c b/gcc/flow.c
index 1bd7fbc7e3ef98a1552855340d61d8196c71a655..f760019f98a150d66c065d6fb097df2c849f10f0 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -7760,16 +7760,31 @@ flow_loop_outside_edge_p (loop, e)
 }
 
 
-/* Clear LOG_LINKS fields of insns in a chain.  */
+/* Clear LOG_LINKS fields of insns in a chain.  
+   Also clear the global_live_at_{start,end} fields of the basic block
+   structures.  */
 
 void
 clear_log_links (insns)
      rtx insns;
 {
   rtx i;
+  int b;
+
   for (i = insns; i; i = NEXT_INSN (i))
     if (GET_RTX_CLASS (GET_CODE (i)) == 'i')
       LOG_LINKS (i) = 0;
+
+  for (b = 0; b < n_basic_blocks; b++)
+    {
+      basic_block bb = BASIC_BLOCK (i);
+
+      bb->global_live_at_start = NULL;
+      bb->global_live_at_end = NULL;
+    }
+
+  ENTRY_BLOCK_PTR->global_live_at_end = NULL;
+  EXIT_BLOCK_PTR->global_live_at_start = NULL;
 }
 
 /* Given a register bitmap, turn on the bits in a HARD_REG_SET that