loop.c (check_dbra_loop): A store using an address giv for which we have no life…

loop.c (check_dbra_loop): A store using an address giv for which we have no life information is not...

        * loop.c (check_dbra_loop): A store using an address giv for which
        we have no life information is not reversible.

From-SVN: r25051

gcc/ChangeLog

+1999-02-05  Michael Meissner  <meissner@cygnus.com>
+
+	* loop.c (check_dbra_loop): A store using an address giv for which
+	we have no life information is not reversible.
+
 Fri Feb  5 17:08:01 1999  Dave Brolley  <brolley@cygnus.com>
 
         * function.c (fixup_var_refs): Scan catch_clauses too.

gcc/loop.c

@@ -7713,8 +7713,9 @@ check_dbra_loop (loop_end, insn_count, loop_start, loop_info)
 		  if (v->giv_type == DEST_REG
 		      && reg_mentioned_p (v->dest_reg,
 					  XEXP (loop_store_mems, 0))
-		      && (INSN_LUID (v->insn)
-			  > INSN_LUID (first_loop_store_insn)))
+		      && (INSN_UID (v->insn) >= max_uid_for_loop
+			  || (INSN_LUID (v->insn)
+			      > INSN_LUID (first_loop_store_insn))))
 		    reversible_mem_store = 0;
 		}
 	    }