loop.c (scan_loop): Ensure update_end label does not go away until reg_scan_update...

	* loop.c (scan_loop): Ensure update_end label does not
	go away until reg_scan_update is run.

From-SVN: r35428

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5c7d740f5a3fbca7c1124df8c3d9f8bbf8cae403..3343f37ca079cd575bb75efab26b23d8bfcd5f07 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2000-08-02  Jakub Jelinek  <jakub@redhat.com>
+
+       * loop.c (scan_loop): Ensure update_end label does not
+       go away until reg_scan_update is run.
+
 2000-08-02  Zack Weinberg  <zack@wolery.cumb.org>
 
        * c-common.h: Prototype min_precision and c_build_qualified_type here...

diff --git a/gcc/loop.c b/gcc/loop.c
index ea4a0271762482f90e0bd495722ce211461fd46f..4903cec0e2d306967b915dba0250c32d3e077f59 100644 (file)
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -1131,11 +1131,19 @@ scan_loop (loop, flags)
 
   if (flag_strength_reduce)
     {
+      if (update_end && GET_CODE (update_end) == CODE_LABEL)
+       /* Ensure our label doesn't go away.  */
+       LABEL_NUSES (update_end)++;
+
       the_movables = movables;
       strength_reduce (loop, insn_count, flags);
 
       reg_scan_update (update_start, update_end, loop_max_reg);
       loop_max_reg = max_reg_num ();
+
+      if (update_end && GET_CODE (update_end) == CODE_LABEL
+         && --LABEL_NUSES (update_end) == 0)
+       delete_insn (update_end);
     }
 
   VARRAY_FREE (reg_single_usage);