* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@31569 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 56d4404..1048b56 100644 (file)
--- 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 (file)
--- 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;
                }