(invariant_p, case REG): Pointers into frame are not invariants if

function has nonlocal gotos.

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

diff --git a/gcc/loop.c b/gcc/loop.c
index 3e7bb58..698e7a1 100644 (file)
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -2761,14 +2761,19 @@ invariant_p (x)
     case REG:
       /* We used to check RTX_UNCHANGING_P (x) here, but that is invalid
         since the reg might be set by initialization within the loop.  */
-      if (x == frame_pointer_rtx || x == hard_frame_pointer_rtx
-         || x == arg_pointer_rtx)
+
+      if ((x == frame_pointer_rtx || x == hard_frame_pointer_rtx
+          || x == arg_pointer_rtx)
+         && ! current_function_has_nonlocal_goto)
        return 1;
+
       if (loop_has_call
          && REGNO (x) < FIRST_PSEUDO_REGISTER && call_used_regs[REGNO (x)])
        return 0;
+
       if (n_times_set[REGNO (x)] < 0)
        return 2;
+
       return n_times_set[REGNO (x)] == 0;
 
     case MEM: