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

        2000-01-18  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.

From-SVN: r32403

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0d20b3999364f3df6d6279ad36c573736647922b..6c89e4a74beab34a04f4554ec470c50931f9b5d0 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 Tue Mar  7 21:41:17 2000  Jeffrey A Law  (law@cygnus.com)
 
+       2000-01-18  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.
+
        Sat Jan  8 12:12:46 2000  Nick Clifton  <nickc@cygnus.com>
        * config/v850/v850.c (expand_epilogue): Interrupt functions no
        longer allocate extra stack for function calls.

diff --git a/gcc/loop.c b/gcc/loop.c
index a5c50529d8131c062a2928e686f7032b8a6faf50..497ac369c2b37a25eadc1063bef7685436677c35 100644 (file)
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -7856,7 +7856,7 @@ 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))
+                                        PATTERN (first_loop_store_insn)) 
                      && loop_insn_first_p (first_loop_store_insn, v->insn))
                    reversible_mem_store = 0;
                }