fea7751
2005-11-28  Jakub Jelinek  <jakub@redhat.com>
fea7751
fea7751
	* config/rs6000/rs6000.c (rs6000_return_addr): If COUNT == 0,
fea7751
	read word RETURN_ADDRESS_OFFSET bytes above arg_pointer_rtx
fea7751
	instead of doing an extran indirection from frame_pointer_rtx.
fea7751
fea7751
	* gcc.dg/20051128-1.c: New test.
fea7751
fea7751
--- gcc/config/rs6000/rs6000.c.jj	2005-11-26 14:38:01.000000000 +0100
fea7751
+++ gcc/config/rs6000/rs6000.c	2005-11-28 20:32:18.000000000 +0100
fea7751
@@ -13166,17 +13166,22 @@ rs6000_return_addr (int count, rtx frame
fea7751
      don't try to be too clever here.  */
fea7751
   if (count != 0 || (DEFAULT_ABI != ABI_AIX && flag_pic))
fea7751
     {
fea7751
+      rtx x;
fea7751
       cfun->machine->ra_needs_full_frame = 1;
fea7751
 
fea7751
-      return
fea7751
-	gen_rtx_MEM
fea7751
-	  (Pmode,
fea7751
-	   memory_address
fea7751
-	   (Pmode,
fea7751
-	    plus_constant (copy_to_reg
fea7751
-			   (gen_rtx_MEM (Pmode,
fea7751
-					 memory_address (Pmode, frame))),
fea7751
-			   RETURN_ADDRESS_OFFSET)));
fea7751
+      if (count == 0)
fea7751
+	{
fea7751
+	  gcc_assert (frame == frame_pointer_rtx);
fea7751
+	  x = arg_pointer_rtx;
fea7751
+	}
fea7751
+      else
fea7751
+	{
fea7751
+	  x = memory_address (Pmode, frame);
fea7751
+	  x = copy_to_reg (gen_rtx_MEM (Pmode, x));
fea7751
+	}
fea7751
+
fea7751
+      x = plus_constant (x, RETURN_ADDRESS_OFFSET);
fea7751
+      return gen_rtx_MEM (Pmode, memory_address (Pmode, x));
fea7751
     }
fea7751
 
fea7751
   cfun->machine->ra_need_lr = 1;
fea7751
--- gcc/testsuite/gcc.dg/20051128-1.c.jj	2005-10-10 11:21:41.096999000 +0200
fea7751
+++ gcc/testsuite/gcc.dg/20051128-1.c	2005-11-28 12:30:57.000000000 +0100
fea7751
@@ -0,0 +1,41 @@
fea7751
+/* { dg-do run } */
fea7751
+/* { dg-options "-O2 -fpic" } */
fea7751
+
fea7751
+extern void exit (int);
fea7751
+extern void abort (void);
fea7751
+
fea7751
+int b;
fea7751
+
fea7751
+struct A
fea7751
+{
fea7751
+  void *pad[147];
fea7751
+  void *ra, *h;
fea7751
+  long o;
fea7751
+};
fea7751
+
fea7751
+void
fea7751
+__attribute__((noinline))
fea7751
+foo (struct A *a, void *x)
fea7751
+{
fea7751
+  __builtin_memset (a, 0, sizeof (a));
fea7751
+  if (!b)
fea7751
+    exit (0);
fea7751
+}
fea7751
+
fea7751
+void
fea7751
+__attribute__((noinline))
fea7751
+bar (void)
fea7751
+{
fea7751
+  struct A a;
fea7751
+
fea7751
+  __builtin_unwind_init ();
fea7751
+  foo (&a, __builtin_return_address (0));
fea7751
+}
fea7751
+
fea7751
+int
fea7751
+main (void)
fea7751
+{
fea7751
+  bar ();
fea7751
+  abort ();
fea7751
+  return 0;
fea7751
+}