loop.c (check_dbra_loop): When checking a loop for reversability...

	* loop.c (check_dbra_loop): When checking a loop for
	reversability, check the source of any stores to ensure
	they don't depend on an initial value.

From-SVN: r31569

2 files changed, 7 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 56d4404..1048b56 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2000-01-23  Clinton Popetz  <cpopetz@cygnus.com>
+
+	* loop.c (check_dbra_loop): When checking a loop for
+	reversability, check the source of any stores to ensure
+	they don't depend on an initial value.
+
 2000-01-23  Michael Hayes  <m.hayes@elec.canterbury.ac.nz>
 
 	* config/c4x/c4x.h (ASM_OUTPUT_BSS): Redefine.
diff --git a/gcc/loop.c b/gcc/loop.c
index 833a0a9..936adfb 100644
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -8042,7 +8042,7 @@ check_dbra_loop (loop, insn_count)
 		{
 		  if (v->giv_type == DEST_REG
 		      && reg_mentioned_p (v->dest_reg,
-					  XEXP (loop_store_mems, 0))
+					 PATTERN (first_loop_store_insn)) 
 		      && loop_insn_first_p (first_loop_store_insn, v->insn))
 		    reversible_mem_store = 0;
 		}