* amd64-tdep.c (amd64_return_value): Implement

RETURN_VALUE_ABI_RETURNS_ADDRESS.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 75fa25a396710db0cd7524f4a32f1acbe3bf6e8e..248c1204b5b191a8226e4a037aede2695d05e28e 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,8 @@
 2004-05-09  Mark Kettenis  <kettenis@gnu.org>
 
+       * amd64-tdep.c (amd64_return_value): Implement
+       RETURN_VALUE_ABI_RETURNS_ADDRESS.
+
        * m68k-tdep.c (m68k_convert_register_p, m68k_register_to_value)
        (m68k_value_to_register): New functions.
        (m68k_gdbarch_init): Set convert_register_p, register_to_value and

diff --git a/gdb/amd64-tdep.c b/gdb/amd64-tdep.c
index d16571411bd9c26e39a0bad51dd306442d5daf90..2b56776dac2c320240da2dcde44a5208822f7595 100644 (file)
--- a/gdb/amd64-tdep.c
+++ b/gdb/amd64-tdep.c
@@ -422,11 +422,28 @@ amd64_return_value (struct gdbarch *gdbarch, struct type *type,
   amd64_classify (type, class);
 
   /* 2. If the type has class MEMORY, then the caller provides space
-        for the return value and passes the address of this storage in
-        %rdi as if it were the first argument to the function. In
-        effect, this address becomes a hidden first argument.  */
+     for the return value and passes the address of this storage in
+     %rdi as if it were the first argument to the function. In effect,
+     this address becomes a hidden first argument.
+
+     On return %rax will contain the address that has been passed in
+     by the caller in %rdi.  */
   if (class[0] == AMD64_MEMORY)
-    return RETURN_VALUE_STRUCT_CONVENTION;
+    {
+      /* As indicated by the comment above, the ABI guarantees that we
+         can always find the return value just after the function has
+         returned.  */
+
+      if (readbuf)
+       {
+         ULONGEST addr;
+
+         regcache_raw_read_unsigned (regcache, AMD64_RAX_REGNUM, &addr);
+         read_memory (addr, readbuf, TYPE_LENGTH (type));
+       }
+
+      return RETURN_VALUE_ABI_RETURNS_ADDRESS;
+    }
 
   gdb_assert (class[1] != AMD64_MEMORY);
   gdb_assert (len <= 16);