builtins.c (expand_builtin_longjmp): A longjmp can be a call too.

2001-05-22  Andrew MacLeod  <amacleod@redhat.com>

	* builtins.c (expand_builtin_longjmp): A longjmp can be a call too.
	* config/ia64/ia64.md (nonlocal_goto): Reverse label and frame pointer
	parameters to __ia64_nonlocal_goto. Flag as NO_RETURN.
	* config/ia64/ia64.c (ia64_expand_epilogue): Make sure we are issuing
	"r2" to the assembly file. Only issue allocs with non-zero parameters.

From-SVN: r42467

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index efdd1a4b42264f73066a535df4090269a77c6dd6..d9af40274e09d2676a78beab26d153d70089fa08 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2001-05-22  Andrew MacLeod  <amacleod@redhat.com>
+
+       * builtins.c (expand_builtin_longjmp): A longjmp can be a call too.
+       * config/ia64/ia64.md (nonlocal_goto): Reverse label and frame pointer
+       parameters to __ia64_nonlocal_goto. Flag as NO_RETURN.
+       * config/ia64/ia64.c (ia64_expand_epilogue): Make sure we are issuing 
+       "r2" to the assembly file. Only issue allocs with non-zero parameters.
+
 2001-05-22  Loren J. Rittle  <ljrittle@acm.org>
            David O'Brien  <obrien@freebsd.org>
 

diff --git a/gcc/builtins.c b/gcc/builtins.c
index eecf1c5a86086355ecbdc1b70796d54e1eb13113..7b4cd7593c9b32a6a8e463b2922a983c1c8351d8 100644 (file)
--- a/gcc/builtins.c
+++ b/gcc/builtins.c
@@ -718,12 +718,17 @@ expand_builtin_longjmp (buf_addr, value)
      __builtin_setjmp target in the same function.  However, we've
      already cautioned the user that these functions are for
      internal exception handling use only.  */
-  for (insn = get_last_insn ();
-       GET_CODE (insn) != JUMP_INSN;
-       insn = PREV_INSN (insn))
-    continue;
-  REG_NOTES (insn) = alloc_EXPR_LIST (REG_NON_LOCAL_GOTO, const0_rtx,
-                                     REG_NOTES (insn));
+  for (insn = get_last_insn (); insn; insn = PREV_INSN (insn))
+    {
+      if (GET_CODE (insn) == JUMP_INSN)
+       {
+         REG_NOTES (insn) = alloc_EXPR_LIST (REG_NON_LOCAL_GOTO, const0_rtx,
+                                             REG_NOTES (insn));
+         break;
+       }
+      else if (GET_CODE (insn) == CALL_INSN)
+        break;
+    }
 }
 
 /* Get a MEM rtx for expression EXP which is the address of an operand

diff --git a/gcc/config/ia64/ia64.c b/gcc/config/ia64/ia64.c
index 46e9ee8f0cb47d5b505c9d77e02d3737e582e1e7..e9af4fff4be6ddb44e69fc5eea3ac3425d3d16ab 100644 (file)
--- a/gcc/config/ia64/ia64.c
+++ b/gcc/config/ia64/ia64.c
@@ -2400,17 +2400,29 @@ ia64_expand_epilogue (sibcall_p)
   if (! sibcall_p)
     emit_jump_insn (gen_return_internal (gen_rtx_REG (DImode, BR_REG (0))));
   else
-    /* We must emit an alloc to force the input registers to become output
-       registers.  Otherwise, if the callee tries to pass its parameters
-       through to another call without an intervening alloc, then these
-       values get lost.  */
-    /* ??? We don't need to preserve all input registers.  We only need to
-       preserve those input registers used as arguments to the sibling call.
-       It is unclear how to compute that number here.  */
-    emit_insn (gen_alloc (gen_rtx_REG (DImode, GR_REG (2)),
-                         GEN_INT (0), GEN_INT (0),
-                         GEN_INT (current_frame_info.n_input_regs),
-                         GEN_INT (0)));
+    {
+      int fp = GR_REG (2);
+      /* We need a throw away register here, r0 and r1 are reserved, so r2 is the
+        first available call clobbered register.  If there was a frame_pointer 
+        register, we may have swapped the names of r2 and HARD_FRAME_POINTER_REGNUM, 
+        so we have to make sure we're using the string "r2" when emitting
+        the register name for the assmbler.  */
+      if (current_frame_info.reg_fp && current_frame_info.reg_fp == GR_REG (2))
+       fp = HARD_FRAME_POINTER_REGNUM;
+
+      /* We must emit an alloc to force the input registers to become output
+        registers.  Otherwise, if the callee tries to pass its parameters
+        through to another call without an intervening alloc, then these
+        values get lost.  */
+      /* ??? We don't need to preserve all input registers.  We only need to
+        preserve those input registers used as arguments to the sibling call.
+        It is unclear how to compute that number here.  */
+      if (current_frame_info.n_input_regs != 0)
+       emit_insn (gen_alloc (gen_rtx_REG (DImode, fp),
+                             GEN_INT (0), GEN_INT (0),
+                             GEN_INT (current_frame_info.n_input_regs),
+                             GEN_INT (0)));
+    }
 }
 
 /* Return 1 if br.ret can do all the work required to return from a

diff --git a/gcc/config/ia64/ia64.md b/gcc/config/ia64/ia64.md
index 98507779b2d83036637065359dba23b921f3e03e..e43bcc537a21bf9560b002b40159a840ac802145 100644 (file)
--- a/gcc/config/ia64/ia64.md
+++ b/gcc/config/ia64/ia64.md
@@ -4971,10 +4971,10 @@
   "
 {
   emit_library_call (gen_rtx_SYMBOL_REF (Pmode, \"__ia64_nonlocal_goto\"),
-                    0, VOIDmode, 3,
-                    operands[1], Pmode,
+                    LCT_NORETURN, VOIDmode, 3,
+                    operands[3], Pmode,
                     copy_to_reg (XEXP (operands[2], 0)), Pmode,
-                    operands[3], Pmode);
+                    operands[1], Pmode);
   emit_barrier ();
   DONE;
 }")