flow.c (propagate_one_insn): Call mark_set_regs for stack pointer updates too.

	* flow.c (propagate_one_insn): Call mark_set_regs for stack pointer
	updates too.

From-SVN: r81334

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a972e93d6ea57eda15a77c9a2d254e2303bcac84..cdf801a86298ceb08ecf6920622482d52aa02657 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-04-30  J"orn Rennecke <joern.rennecke@superh.com>
+
+       * flow.c (propagate_one_insn): Call mark_set_regs for stack pointer
+       updates too.
+
 2004-04-30  Paul Brook  <paul@codesourcery.com>
 
        * arm.c (arm_needs_doubleword_align): Use mode alignment.

diff --git a/gcc/flow.c b/gcc/flow.c
index 686292cf9ab0fef832f2ece3b0983660bfe0da38..1cd08230c8e3703485d5ac07d11c17ee0b4deb30 100644 (file)
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -1707,12 +1707,18 @@ propagate_one_insn (struct propagate_block_info *pbi, rtx insn)
           && GET_CODE (SET_SRC (PATTERN (insn))) == PLUS
           && XEXP (SET_SRC (PATTERN (insn)), 0) == stack_pointer_rtx
           && GET_CODE (XEXP (SET_SRC (PATTERN (insn)), 1)) == CONST_INT)
-    /* We have an insn to pop a constant amount off the stack.
-       (Such insns use PLUS regardless of the direction of the stack,
-       and any insn to adjust the stack by a constant is always a pop.)
-       These insns, if not dead stores, have no effect on life, though
-       they do have an effect on the memory stores we are tracking.  */
-    invalidate_mems_from_set (pbi, stack_pointer_rtx);
+    {
+      /* We have an insn to pop a constant amount off the stack.
+         (Such insns use PLUS regardless of the direction of the stack,
+         and any insn to adjust the stack by a constant is always a pop
+        or part of a push.)
+         These insns, if not dead stores, have no effect on life, though
+         they do have an effect on the memory stores we are tracking.  */
+      invalidate_mems_from_set (pbi, stack_pointer_rtx);
+      /* Still, we need to update local_set, lest ifcvt.c:dead_or_predicable
+        concludes that the stack pointer is not modified.  */
+      mark_set_regs (pbi, PATTERN (insn), insn);
+    }
   else
     {
       rtx note;