1 /* Target-dependent code for PowerPC systems using the SVR4 ABI
2 for GDB, the GNU debugger.
4 Copyright (C) 2000-2014 Free Software Foundation, Inc.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
27 #include "gdb_assert.h"
35 /* Check whether FTPYE is a (pointer to) function type that should use
36 the OpenCL vector ABI. */
39 ppc_sysv_use_opencl_abi (struct type
*ftype
)
41 ftype
= check_typedef (ftype
);
43 if (TYPE_CODE (ftype
) == TYPE_CODE_PTR
)
44 ftype
= check_typedef (TYPE_TARGET_TYPE (ftype
));
46 return (TYPE_CODE (ftype
) == TYPE_CODE_FUNC
47 && TYPE_CALLING_CONVENTION (ftype
) == DW_CC_GDB_IBM_OpenCL
);
50 /* Pass the arguments in either registers, or in the stack. Using the
51 ppc sysv ABI, the first eight words of the argument list (that might
52 be less than eight parameters if some parameters occupy more than one
53 word) are passed in r3..r10 registers. float and double parameters are
54 passed in fpr's, in addition to that. Rest of the parameters if any
55 are passed in user stack.
57 If the function is returning a structure, then the return address is passed
58 in r3, then the first 7 words of the parametes can be passed in registers,
62 ppc_sysv_abi_push_dummy_call (struct gdbarch
*gdbarch
, struct value
*function
,
63 struct regcache
*regcache
, CORE_ADDR bp_addr
,
64 int nargs
, struct value
**args
, CORE_ADDR sp
,
65 int struct_return
, CORE_ADDR struct_addr
)
67 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
68 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
69 int opencl_abi
= ppc_sysv_use_opencl_abi (value_type (function
));
71 int argspace
= 0; /* 0 is an initial wrong guess. */
74 gdb_assert (tdep
->wordsize
== 4);
76 regcache_cooked_read_unsigned (regcache
, gdbarch_sp_regnum (gdbarch
),
79 /* Go through the argument list twice.
81 Pass 1: Figure out how much new stack space is required for
82 arguments and pushed values. Unlike the PowerOpen ABI, the SysV
83 ABI doesn't reserve any extra space for parameters which are put
84 in registers, but does always push structures and then pass their
87 Pass 2: Replay the same computation but this time also write the
88 values out to the target. */
90 for (write_pass
= 0; write_pass
< 2; write_pass
++)
93 /* Next available floating point register for float and double
96 /* Next available general register for non-float, non-vector
99 /* Next available vector register for vector arguments. */
101 /* Arguments start above the "LR save word" and "Back chain". */
102 int argoffset
= 2 * tdep
->wordsize
;
103 /* Structures start after the arguments. */
104 int structoffset
= argoffset
+ argspace
;
106 /* If the function is returning a `struct', then the first word
107 (which will be passed in r3) is used for struct return
108 address. In that case we should advance one word and start
109 from r4 register to copy parameters. */
113 regcache_cooked_write_signed (regcache
,
114 tdep
->ppc_gp0_regnum
+ greg
,
119 for (argno
= 0; argno
< nargs
; argno
++)
121 struct value
*arg
= args
[argno
];
122 struct type
*type
= check_typedef (value_type (arg
));
123 int len
= TYPE_LENGTH (type
);
124 const bfd_byte
*val
= value_contents (arg
);
126 if (TYPE_CODE (type
) == TYPE_CODE_FLT
&& len
<= 8
127 && !tdep
->soft_float
)
129 /* Floating point value converted to "double" then
130 passed in an FP register, when the registers run out,
131 8 byte aligned stack is used. */
136 /* Always store the floating point value using
137 the register's floating-point format. */
138 gdb_byte regval
[MAX_REGISTER_SIZE
];
140 = register_type (gdbarch
, tdep
->ppc_fp0_regnum
+ freg
);
141 convert_typed_floating (val
, type
, regval
, regtype
);
142 regcache_cooked_write (regcache
,
143 tdep
->ppc_fp0_regnum
+ freg
,
150 /* The SysV ABI tells us to convert floats to
151 doubles before writing them to an 8 byte aligned
152 stack location. Unfortunately GCC does not do
153 that, and stores floats into 4 byte aligned
154 locations without converting them to doubles.
155 Since there is no know compiler that actually
156 follows the ABI here, we implement the GCC
159 /* Align to 4 bytes or 8 bytes depending on the type of
160 the argument (float or double). */
161 argoffset
= align_up (argoffset
, len
);
163 write_memory (sp
+ argoffset
, val
, len
);
167 else if (TYPE_CODE (type
) == TYPE_CODE_FLT
170 && (gdbarch_long_double_format (gdbarch
)
171 == floatformats_ibm_long_double
))
173 /* IBM long double passed in two FP registers if
174 available, otherwise 8-byte aligned stack. */
179 regcache_cooked_write (regcache
,
180 tdep
->ppc_fp0_regnum
+ freg
,
182 regcache_cooked_write (regcache
,
183 tdep
->ppc_fp0_regnum
+ freg
+ 1,
190 argoffset
= align_up (argoffset
, 8);
192 write_memory (sp
+ argoffset
, val
, len
);
197 && (TYPE_CODE (type
) == TYPE_CODE_INT
/* long long */
198 || TYPE_CODE (type
) == TYPE_CODE_FLT
/* double */
199 || (TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
200 && tdep
->soft_float
)))
202 /* "long long" or soft-float "double" or "_Decimal64"
203 passed in an odd/even register pair with the low
204 addressed word in the odd register and the high
205 addressed word in the even register, or when the
206 registers run out an 8 byte aligned stack
210 /* Just in case GREG was 10. */
212 argoffset
= align_up (argoffset
, 8);
214 write_memory (sp
+ argoffset
, val
, len
);
219 /* Must start on an odd register - r3/r4 etc. */
224 regcache_cooked_write (regcache
,
225 tdep
->ppc_gp0_regnum
+ greg
+ 0,
227 regcache_cooked_write (regcache
,
228 tdep
->ppc_gp0_regnum
+ greg
+ 1,
235 && ((TYPE_CODE (type
) == TYPE_CODE_FLT
236 && (gdbarch_long_double_format (gdbarch
)
237 == floatformats_ibm_long_double
))
238 || (TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
239 && tdep
->soft_float
)))
241 /* Soft-float IBM long double or _Decimal128 passed in
242 four consecutive registers, or on the stack. The
243 registers are not necessarily odd/even pairs. */
247 argoffset
= align_up (argoffset
, 8);
249 write_memory (sp
+ argoffset
, val
, len
);
256 regcache_cooked_write (regcache
,
257 tdep
->ppc_gp0_regnum
+ greg
+ 0,
259 regcache_cooked_write (regcache
,
260 tdep
->ppc_gp0_regnum
+ greg
+ 1,
262 regcache_cooked_write (regcache
,
263 tdep
->ppc_gp0_regnum
+ greg
+ 2,
265 regcache_cooked_write (regcache
,
266 tdep
->ppc_gp0_regnum
+ greg
+ 3,
272 else if (TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
&& len
<= 8
273 && !tdep
->soft_float
)
275 /* 32-bit and 64-bit decimal floats go in f1 .. f8. They can
282 gdb_byte regval
[MAX_REGISTER_SIZE
];
285 /* 32-bit decimal floats are right aligned in the
287 if (TYPE_LENGTH (type
) == 4)
289 memcpy (regval
+ 4, val
, 4);
295 regcache_cooked_write (regcache
,
296 tdep
->ppc_fp0_regnum
+ freg
, p
);
303 argoffset
= align_up (argoffset
, len
);
306 /* Write value in the stack's parameter save area. */
307 write_memory (sp
+ argoffset
, val
, len
);
312 else if (TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
&& len
== 16
313 && !tdep
->soft_float
)
315 /* 128-bit decimal floats go in f2 .. f7, always in even/odd
316 pairs. They can end up in memory, using two doublewords. */
320 /* Make sure freg is even. */
325 regcache_cooked_write (regcache
,
326 tdep
->ppc_fp0_regnum
+ freg
, val
);
327 regcache_cooked_write (regcache
,
328 tdep
->ppc_fp0_regnum
+ freg
+ 1, val
+ 8);
333 argoffset
= align_up (argoffset
, 8);
336 write_memory (sp
+ argoffset
, val
, 16);
341 /* If a 128-bit decimal float goes to the stack because only f7
342 and f8 are free (thus there's no even/odd register pair
343 available), these registers should be marked as occupied.
344 Hence we increase freg even when writing to memory. */
348 && TYPE_CODE (type
) == TYPE_CODE_ARRAY
349 && TYPE_VECTOR (type
)
352 /* OpenCL vectors shorter than 16 bytes are passed as if
353 a series of independent scalars. */
354 struct type
*eltype
= check_typedef (TYPE_TARGET_TYPE (type
));
355 int i
, nelt
= TYPE_LENGTH (type
) / TYPE_LENGTH (eltype
);
357 for (i
= 0; i
< nelt
; i
++)
359 const gdb_byte
*elval
= val
+ i
* TYPE_LENGTH (eltype
);
361 if (TYPE_CODE (eltype
) == TYPE_CODE_FLT
&& !tdep
->soft_float
)
367 int regnum
= tdep
->ppc_fp0_regnum
+ freg
;
368 gdb_byte regval
[MAX_REGISTER_SIZE
];
370 = register_type (gdbarch
, regnum
);
371 convert_typed_floating (elval
, eltype
,
373 regcache_cooked_write (regcache
, regnum
, regval
);
379 argoffset
= align_up (argoffset
, len
);
381 write_memory (sp
+ argoffset
, val
, len
);
385 else if (TYPE_LENGTH (eltype
) == 8)
389 /* Just in case GREG was 10. */
391 argoffset
= align_up (argoffset
, 8);
393 write_memory (sp
+ argoffset
, elval
,
394 TYPE_LENGTH (eltype
));
399 /* Must start on an odd register - r3/r4 etc. */
404 int regnum
= tdep
->ppc_gp0_regnum
+ greg
;
405 regcache_cooked_write (regcache
,
406 regnum
+ 0, elval
+ 0);
407 regcache_cooked_write (regcache
,
408 regnum
+ 1, elval
+ 4);
415 gdb_byte word
[MAX_REGISTER_SIZE
];
416 store_unsigned_integer (word
, tdep
->wordsize
, byte_order
,
417 unpack_long (eltype
, elval
));
422 regcache_cooked_write (regcache
,
423 tdep
->ppc_gp0_regnum
+ greg
,
429 argoffset
= align_up (argoffset
, tdep
->wordsize
);
431 write_memory (sp
+ argoffset
, word
, tdep
->wordsize
);
432 argoffset
+= tdep
->wordsize
;
438 && TYPE_CODE (type
) == TYPE_CODE_ARRAY
439 && TYPE_VECTOR (type
)
442 /* OpenCL vectors 16 bytes or longer are passed as if
443 a series of AltiVec vectors. */
446 for (i
= 0; i
< len
/ 16; i
++)
448 const gdb_byte
*elval
= val
+ i
* 16;
453 regcache_cooked_write (regcache
,
454 tdep
->ppc_vr0_regnum
+ vreg
,
460 argoffset
= align_up (argoffset
, 16);
462 write_memory (sp
+ argoffset
, elval
, 16);
468 && TYPE_CODE (type
) == TYPE_CODE_ARRAY
469 && TYPE_VECTOR (type
)
470 && tdep
->vector_abi
== POWERPC_VEC_ALTIVEC
)
472 /* Vector parameter passed in an Altivec register, or
473 when that runs out, 16 byte aligned stack location. */
477 regcache_cooked_write (regcache
,
478 tdep
->ppc_vr0_regnum
+ vreg
, val
);
483 argoffset
= align_up (argoffset
, 16);
485 write_memory (sp
+ argoffset
, val
, 16);
490 && TYPE_CODE (type
) == TYPE_CODE_ARRAY
491 && TYPE_VECTOR (type
)
492 && tdep
->vector_abi
== POWERPC_VEC_SPE
)
494 /* Vector parameter passed in an e500 register, or when
495 that runs out, 8 byte aligned stack location. Note
496 that since e500 vector and general purpose registers
497 both map onto the same underlying register set, a
498 "greg" and not a "vreg" is consumed here. A cooked
499 write stores the value in the correct locations
500 within the raw register cache. */
504 regcache_cooked_write (regcache
,
505 tdep
->ppc_ev0_regnum
+ greg
, val
);
510 argoffset
= align_up (argoffset
, 8);
512 write_memory (sp
+ argoffset
, val
, 8);
518 /* Reduce the parameter down to something that fits in a
520 gdb_byte word
[MAX_REGISTER_SIZE
];
521 memset (word
, 0, MAX_REGISTER_SIZE
);
522 if (len
> tdep
->wordsize
523 || TYPE_CODE (type
) == TYPE_CODE_STRUCT
524 || TYPE_CODE (type
) == TYPE_CODE_UNION
)
526 /* Structs and large values are put in an
527 aligned stack slot ... */
528 if (TYPE_CODE (type
) == TYPE_CODE_ARRAY
529 && TYPE_VECTOR (type
)
531 structoffset
= align_up (structoffset
, 16);
533 structoffset
= align_up (structoffset
, 8);
536 write_memory (sp
+ structoffset
, val
, len
);
537 /* ... and then a "word" pointing to that address is
538 passed as the parameter. */
539 store_unsigned_integer (word
, tdep
->wordsize
, byte_order
,
543 else if (TYPE_CODE (type
) == TYPE_CODE_INT
)
544 /* Sign or zero extend the "int" into a "word". */
545 store_unsigned_integer (word
, tdep
->wordsize
, byte_order
,
546 unpack_long (type
, val
));
548 /* Always goes in the low address. */
549 memcpy (word
, val
, len
);
550 /* Store that "word" in a register, or on the stack.
551 The words have "4" byte alignment. */
555 regcache_cooked_write (regcache
,
556 tdep
->ppc_gp0_regnum
+ greg
, word
);
561 argoffset
= align_up (argoffset
, tdep
->wordsize
);
563 write_memory (sp
+ argoffset
, word
, tdep
->wordsize
);
564 argoffset
+= tdep
->wordsize
;
569 /* Compute the actual stack space requirements. */
572 /* Remember the amount of space needed by the arguments. */
573 argspace
= argoffset
;
574 /* Allocate space for both the arguments and the structures. */
575 sp
-= (argoffset
+ structoffset
);
576 /* Ensure that the stack is still 16 byte aligned. */
577 sp
= align_down (sp
, 16);
580 /* The psABI says that "A caller of a function that takes a
581 variable argument list shall set condition register bit 6 to
582 1 if it passes one or more arguments in the floating-point
583 registers. It is strongly recommended that the caller set the
584 bit to 0 otherwise..." Doing this for normal functions too
590 regcache_cooked_read_unsigned (regcache
, tdep
->ppc_cr_regnum
, &cr
);
595 regcache_cooked_write_unsigned (regcache
, tdep
->ppc_cr_regnum
, cr
);
600 regcache_cooked_write_signed (regcache
, gdbarch_sp_regnum (gdbarch
), sp
);
602 /* Write the backchain (it occupies WORDSIZED bytes). */
603 write_memory_signed_integer (sp
, tdep
->wordsize
, byte_order
, saved_sp
);
605 /* Point the inferior function call's return address at the dummy's
607 regcache_cooked_write_signed (regcache
, tdep
->ppc_lr_regnum
, bp_addr
);
612 /* Handle the return-value conventions for Decimal Floating Point values. */
614 get_decimal_float_return_value (struct gdbarch
*gdbarch
, struct type
*valtype
,
615 struct regcache
*regcache
, gdb_byte
*readbuf
,
616 const gdb_byte
*writebuf
)
618 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
620 gdb_assert (TYPE_CODE (valtype
) == TYPE_CODE_DECFLOAT
);
622 /* 32-bit and 64-bit decimal floats in f1. */
623 if (TYPE_LENGTH (valtype
) <= 8)
625 if (writebuf
!= NULL
)
627 gdb_byte regval
[MAX_REGISTER_SIZE
];
630 /* 32-bit decimal float is right aligned in the doubleword. */
631 if (TYPE_LENGTH (valtype
) == 4)
633 memcpy (regval
+ 4, writebuf
, 4);
639 regcache_cooked_write (regcache
, tdep
->ppc_fp0_regnum
+ 1, p
);
643 regcache_cooked_read (regcache
, tdep
->ppc_fp0_regnum
+ 1, readbuf
);
645 /* Left align 32-bit decimal float. */
646 if (TYPE_LENGTH (valtype
) == 4)
647 memcpy (readbuf
, readbuf
+ 4, 4);
650 /* 128-bit decimal floats in f2,f3. */
651 else if (TYPE_LENGTH (valtype
) == 16)
653 if (writebuf
!= NULL
|| readbuf
!= NULL
)
657 for (i
= 0; i
< 2; i
++)
659 if (writebuf
!= NULL
)
660 regcache_cooked_write (regcache
, tdep
->ppc_fp0_regnum
+ 2 + i
,
663 regcache_cooked_read (regcache
, tdep
->ppc_fp0_regnum
+ 2 + i
,
670 internal_error (__FILE__
, __LINE__
, _("Unknown decimal float size."));
672 return RETURN_VALUE_REGISTER_CONVENTION
;
675 /* Handle the return-value conventions specified by the SysV 32-bit
676 PowerPC ABI (including all the supplements):
678 no floating-point: floating-point values returned using 32-bit
679 general-purpose registers.
681 Altivec: 128-bit vectors returned using vector registers.
683 e500: 64-bit vectors returned using the full full 64 bit EV
684 register, floating-point values returned using 32-bit
685 general-purpose registers.
687 GCC (broken): Small struct values right (instead of left) aligned
688 when returned in general-purpose registers. */
690 static enum return_value_convention
691 do_ppc_sysv_return_value (struct gdbarch
*gdbarch
, struct type
*func_type
,
692 struct type
*type
, struct regcache
*regcache
,
693 gdb_byte
*readbuf
, const gdb_byte
*writebuf
,
696 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
697 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
698 int opencl_abi
= func_type
? ppc_sysv_use_opencl_abi (func_type
) : 0;
700 gdb_assert (tdep
->wordsize
== 4);
702 if (TYPE_CODE (type
) == TYPE_CODE_FLT
703 && TYPE_LENGTH (type
) <= 8
704 && !tdep
->soft_float
)
708 /* Floats and doubles stored in "f1". Convert the value to
709 the required type. */
710 gdb_byte regval
[MAX_REGISTER_SIZE
];
711 struct type
*regtype
= register_type (gdbarch
,
712 tdep
->ppc_fp0_regnum
+ 1);
713 regcache_cooked_read (regcache
, tdep
->ppc_fp0_regnum
+ 1, regval
);
714 convert_typed_floating (regval
, regtype
, readbuf
, type
);
718 /* Floats and doubles stored in "f1". Convert the value to
719 the register's "double" type. */
720 gdb_byte regval
[MAX_REGISTER_SIZE
];
721 struct type
*regtype
= register_type (gdbarch
, tdep
->ppc_fp0_regnum
);
722 convert_typed_floating (writebuf
, type
, regval
, regtype
);
723 regcache_cooked_write (regcache
, tdep
->ppc_fp0_regnum
+ 1, regval
);
725 return RETURN_VALUE_REGISTER_CONVENTION
;
727 if (TYPE_CODE (type
) == TYPE_CODE_FLT
728 && TYPE_LENGTH (type
) == 16
730 && (gdbarch_long_double_format (gdbarch
)
731 == floatformats_ibm_long_double
))
733 /* IBM long double stored in f1 and f2. */
736 regcache_cooked_read (regcache
, tdep
->ppc_fp0_regnum
+ 1, readbuf
);
737 regcache_cooked_read (regcache
, tdep
->ppc_fp0_regnum
+ 2,
742 regcache_cooked_write (regcache
, tdep
->ppc_fp0_regnum
+ 1, writebuf
);
743 regcache_cooked_write (regcache
, tdep
->ppc_fp0_regnum
+ 2,
746 return RETURN_VALUE_REGISTER_CONVENTION
;
748 if (TYPE_LENGTH (type
) == 16
749 && ((TYPE_CODE (type
) == TYPE_CODE_FLT
750 && (gdbarch_long_double_format (gdbarch
)
751 == floatformats_ibm_long_double
))
752 || (TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
&& tdep
->soft_float
)))
754 /* Soft-float IBM long double or _Decimal128 stored in r3, r4,
758 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 3, readbuf
);
759 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 4,
761 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 5,
763 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 6,
768 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 3, writebuf
);
769 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 4,
771 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 5,
773 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 6,
776 return RETURN_VALUE_REGISTER_CONVENTION
;
778 if ((TYPE_CODE (type
) == TYPE_CODE_INT
&& TYPE_LENGTH (type
) == 8)
779 || (TYPE_CODE (type
) == TYPE_CODE_FLT
&& TYPE_LENGTH (type
) == 8)
780 || (TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
&& TYPE_LENGTH (type
) == 8
781 && tdep
->soft_float
))
785 /* A long long, double or _Decimal64 stored in the 32 bit
787 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 3,
789 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 4,
794 /* A long long, double or _Decimal64 stored in the 32 bit
796 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 3,
798 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 4,
801 return RETURN_VALUE_REGISTER_CONVENTION
;
803 if (TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
&& !tdep
->soft_float
)
804 return get_decimal_float_return_value (gdbarch
, type
, regcache
, readbuf
,
806 else if ((TYPE_CODE (type
) == TYPE_CODE_INT
807 || TYPE_CODE (type
) == TYPE_CODE_CHAR
808 || TYPE_CODE (type
) == TYPE_CODE_BOOL
809 || TYPE_CODE (type
) == TYPE_CODE_PTR
810 || TYPE_CODE (type
) == TYPE_CODE_REF
811 || TYPE_CODE (type
) == TYPE_CODE_ENUM
)
812 && TYPE_LENGTH (type
) <= tdep
->wordsize
)
816 /* Some sort of integer stored in r3. Since TYPE isn't
817 bigger than the register, sign extension isn't a problem
818 - just do everything unsigned. */
820 regcache_cooked_read_unsigned (regcache
, tdep
->ppc_gp0_regnum
+ 3,
822 store_unsigned_integer (readbuf
, TYPE_LENGTH (type
), byte_order
,
827 /* Some sort of integer stored in r3. Use unpack_long since
828 that should handle any required sign extension. */
829 regcache_cooked_write_unsigned (regcache
, tdep
->ppc_gp0_regnum
+ 3,
830 unpack_long (type
, writebuf
));
832 return RETURN_VALUE_REGISTER_CONVENTION
;
834 /* OpenCL vectors < 16 bytes are returned as distinct
835 scalars in f1..f2 or r3..r10. */
836 if (TYPE_CODE (type
) == TYPE_CODE_ARRAY
837 && TYPE_VECTOR (type
)
838 && TYPE_LENGTH (type
) < 16
841 struct type
*eltype
= check_typedef (TYPE_TARGET_TYPE (type
));
842 int i
, nelt
= TYPE_LENGTH (type
) / TYPE_LENGTH (eltype
);
844 for (i
= 0; i
< nelt
; i
++)
846 int offset
= i
* TYPE_LENGTH (eltype
);
848 if (TYPE_CODE (eltype
) == TYPE_CODE_FLT
)
850 int regnum
= tdep
->ppc_fp0_regnum
+ 1 + i
;
851 gdb_byte regval
[MAX_REGISTER_SIZE
];
852 struct type
*regtype
= register_type (gdbarch
, regnum
);
854 if (writebuf
!= NULL
)
856 convert_typed_floating (writebuf
+ offset
, eltype
,
858 regcache_cooked_write (regcache
, regnum
, regval
);
862 regcache_cooked_read (regcache
, regnum
, regval
);
863 convert_typed_floating (regval
, regtype
,
864 readbuf
+ offset
, eltype
);
869 int regnum
= tdep
->ppc_gp0_regnum
+ 3 + i
;
872 if (writebuf
!= NULL
)
874 regval
= unpack_long (eltype
, writebuf
+ offset
);
875 regcache_cooked_write_unsigned (regcache
, regnum
, regval
);
879 regcache_cooked_read_unsigned (regcache
, regnum
, ®val
);
880 store_unsigned_integer (readbuf
+ offset
,
881 TYPE_LENGTH (eltype
), byte_order
,
887 return RETURN_VALUE_REGISTER_CONVENTION
;
889 /* OpenCL vectors >= 16 bytes are returned in v2..v9. */
890 if (TYPE_CODE (type
) == TYPE_CODE_ARRAY
891 && TYPE_VECTOR (type
)
892 && TYPE_LENGTH (type
) >= 16
895 int n_regs
= TYPE_LENGTH (type
) / 16;
898 for (i
= 0; i
< n_regs
; i
++)
901 int regnum
= tdep
->ppc_vr0_regnum
+ 2 + i
;
903 if (writebuf
!= NULL
)
904 regcache_cooked_write (regcache
, regnum
, writebuf
+ offset
);
906 regcache_cooked_read (regcache
, regnum
, readbuf
+ offset
);
909 return RETURN_VALUE_REGISTER_CONVENTION
;
911 if (TYPE_LENGTH (type
) == 16
912 && TYPE_CODE (type
) == TYPE_CODE_ARRAY
913 && TYPE_VECTOR (type
)
914 && tdep
->vector_abi
== POWERPC_VEC_ALTIVEC
)
918 /* Altivec places the return value in "v2". */
919 regcache_cooked_read (regcache
, tdep
->ppc_vr0_regnum
+ 2, readbuf
);
923 /* Altivec places the return value in "v2". */
924 regcache_cooked_write (regcache
, tdep
->ppc_vr0_regnum
+ 2, writebuf
);
926 return RETURN_VALUE_REGISTER_CONVENTION
;
928 if (TYPE_LENGTH (type
) == 16
929 && TYPE_CODE (type
) == TYPE_CODE_ARRAY
930 && TYPE_VECTOR (type
)
931 && tdep
->vector_abi
== POWERPC_VEC_GENERIC
)
933 /* GCC -maltivec -mabi=no-altivec returns vectors in r3/r4/r5/r6.
934 GCC without AltiVec returns them in memory, but it warns about
935 ABI risks in that case; we don't try to support it. */
938 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 3,
940 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 4,
942 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 5,
944 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 6,
949 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 3,
951 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 4,
953 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 5,
955 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 6,
958 return RETURN_VALUE_REGISTER_CONVENTION
;
960 if (TYPE_LENGTH (type
) == 8
961 && TYPE_CODE (type
) == TYPE_CODE_ARRAY
962 && TYPE_VECTOR (type
)
963 && tdep
->vector_abi
== POWERPC_VEC_SPE
)
965 /* The e500 ABI places return values for the 64-bit DSP types
966 (__ev64_opaque__) in r3. However, in GDB-speak, ev3
967 corresponds to the entire r3 value for e500, whereas GDB's r3
968 only corresponds to the least significant 32-bits. So place
969 the 64-bit DSP type's value in ev3. */
971 regcache_cooked_read (regcache
, tdep
->ppc_ev0_regnum
+ 3, readbuf
);
973 regcache_cooked_write (regcache
, tdep
->ppc_ev0_regnum
+ 3, writebuf
);
974 return RETURN_VALUE_REGISTER_CONVENTION
;
976 if (broken_gcc
&& TYPE_LENGTH (type
) <= 8)
978 /* GCC screwed up for structures or unions whose size is less
979 than or equal to 8 bytes.. Instead of left-aligning, it
980 right-aligns the data into the buffer formed by r3, r4. */
981 gdb_byte regvals
[MAX_REGISTER_SIZE
* 2];
982 int len
= TYPE_LENGTH (type
);
983 int offset
= (2 * tdep
->wordsize
- len
) % tdep
->wordsize
;
987 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 3,
988 regvals
+ 0 * tdep
->wordsize
);
989 if (len
> tdep
->wordsize
)
990 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 4,
991 regvals
+ 1 * tdep
->wordsize
);
992 memcpy (readbuf
, regvals
+ offset
, len
);
996 memset (regvals
, 0, sizeof regvals
);
997 memcpy (regvals
+ offset
, writebuf
, len
);
998 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 3,
999 regvals
+ 0 * tdep
->wordsize
);
1000 if (len
> tdep
->wordsize
)
1001 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 4,
1002 regvals
+ 1 * tdep
->wordsize
);
1005 return RETURN_VALUE_REGISTER_CONVENTION
;
1007 if (TYPE_LENGTH (type
) <= 8)
1011 /* This matches SVr4 PPC, it does not match GCC. */
1012 /* The value is right-padded to 8 bytes and then loaded, as
1013 two "words", into r3/r4. */
1014 gdb_byte regvals
[MAX_REGISTER_SIZE
* 2];
1015 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 3,
1016 regvals
+ 0 * tdep
->wordsize
);
1017 if (TYPE_LENGTH (type
) > tdep
->wordsize
)
1018 regcache_cooked_read (regcache
, tdep
->ppc_gp0_regnum
+ 4,
1019 regvals
+ 1 * tdep
->wordsize
);
1020 memcpy (readbuf
, regvals
, TYPE_LENGTH (type
));
1024 /* This matches SVr4 PPC, it does not match GCC. */
1025 /* The value is padded out to 8 bytes and then loaded, as
1026 two "words" into r3/r4. */
1027 gdb_byte regvals
[MAX_REGISTER_SIZE
* 2];
1028 memset (regvals
, 0, sizeof regvals
);
1029 memcpy (regvals
, writebuf
, TYPE_LENGTH (type
));
1030 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 3,
1031 regvals
+ 0 * tdep
->wordsize
);
1032 if (TYPE_LENGTH (type
) > tdep
->wordsize
)
1033 regcache_cooked_write (regcache
, tdep
->ppc_gp0_regnum
+ 4,
1034 regvals
+ 1 * tdep
->wordsize
);
1036 return RETURN_VALUE_REGISTER_CONVENTION
;
1038 return RETURN_VALUE_STRUCT_CONVENTION
;
1041 enum return_value_convention
1042 ppc_sysv_abi_return_value (struct gdbarch
*gdbarch
, struct value
*function
,
1043 struct type
*valtype
, struct regcache
*regcache
,
1044 gdb_byte
*readbuf
, const gdb_byte
*writebuf
)
1046 return do_ppc_sysv_return_value (gdbarch
,
1047 function
? value_type (function
) : NULL
,
1048 valtype
, regcache
, readbuf
, writebuf
, 0);
1051 enum return_value_convention
1052 ppc_sysv_abi_broken_return_value (struct gdbarch
*gdbarch
,
1053 struct value
*function
,
1054 struct type
*valtype
,
1055 struct regcache
*regcache
,
1056 gdb_byte
*readbuf
, const gdb_byte
*writebuf
)
1058 return do_ppc_sysv_return_value (gdbarch
,
1059 function
? value_type (function
) : NULL
,
1060 valtype
, regcache
, readbuf
, writebuf
, 1);
1063 /* The helper function for 64-bit SYSV push_dummy_call. Converts the
1064 function's code address back into the function's descriptor
1067 Find a value for the TOC register. Every symbol should have both
1068 ".FN" and "FN" in the minimal symbol table. "FN" points at the
1069 FN's descriptor, while ".FN" points at the entry point (which
1070 matches FUNC_ADDR). Need to reverse from FUNC_ADDR back to the
1071 FN's descriptor address (while at the same time being careful to
1072 find "FN" in the same object file as ".FN"). */
1075 convert_code_addr_to_desc_addr (CORE_ADDR code_addr
, CORE_ADDR
*desc_addr
)
1077 struct obj_section
*dot_fn_section
;
1078 struct bound_minimal_symbol dot_fn
;
1079 struct minimal_symbol
*fn
;
1081 /* Find the minimal symbol that corresponds to CODE_ADDR (should
1082 have a name of the form ".FN"). */
1083 dot_fn
= lookup_minimal_symbol_by_pc (code_addr
);
1084 if (dot_fn
.minsym
== NULL
|| SYMBOL_LINKAGE_NAME (dot_fn
.minsym
)[0] != '.')
1086 /* Get the section that contains CODE_ADDR. Need this for the
1087 "objfile" that it contains. */
1088 dot_fn_section
= find_pc_section (code_addr
);
1089 if (dot_fn_section
== NULL
|| dot_fn_section
->objfile
== NULL
)
1091 /* Now find the corresponding "FN" (dropping ".") minimal symbol's
1092 address. Only look for the minimal symbol in ".FN"'s object file
1093 - avoids problems when two object files (i.e., shared libraries)
1094 contain a minimal symbol with the same name. */
1095 fn
= lookup_minimal_symbol (SYMBOL_LINKAGE_NAME (dot_fn
.minsym
) + 1, NULL
,
1096 dot_fn_section
->objfile
);
1099 /* Found a descriptor. */
1100 (*desc_addr
) = SYMBOL_VALUE_ADDRESS (fn
);
1104 /* Structure holding the next argument position. */
1105 struct ppc64_sysv_argpos
1107 /* Register cache holding argument registers. If this is NULL,
1108 we only simulate argument processing without actually updating
1109 any registers or memory. */
1110 struct regcache
*regcache
;
1111 /* Next available general-purpose argument register. */
1113 /* Next available floating-point argument register. */
1115 /* Next available vector argument register. */
1117 /* The address, at which the next general purpose parameter
1118 (integer, struct, float, vector, ...) should be saved. */
1120 /* The address, at which the next by-reference parameter
1121 (non-Altivec vector, variably-sized type) should be saved. */
1125 /* VAL is a value of length LEN. Store it into the argument area on the
1126 stack and load it into the corresponding general-purpose registers
1127 required by the ABI, and update ARGPOS.
1129 If ALIGN is nonzero, it specifies the minimum alignment required
1130 for the on-stack copy of the argument. */
1133 ppc64_sysv_abi_push_val (struct gdbarch
*gdbarch
,
1134 const bfd_byte
*val
, int len
, int align
,
1135 struct ppc64_sysv_argpos
*argpos
)
1137 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1140 /* Enforce alignment of stack location, if requested. */
1141 if (align
> tdep
->wordsize
)
1143 CORE_ADDR aligned_gparam
= align_up (argpos
->gparam
, align
);
1145 argpos
->greg
+= (aligned_gparam
- argpos
->gparam
) / tdep
->wordsize
;
1146 argpos
->gparam
= aligned_gparam
;
1149 /* The ABI (version 1.9) specifies that values smaller than one
1150 doubleword are right-aligned and those larger are left-aligned.
1151 GCC versions before 3.4 implemented this incorrectly; see
1152 <http://gcc.gnu.org/gcc-3.4/powerpc-abi.html>. */
1153 if (len
< tdep
->wordsize
1154 && gdbarch_byte_order (gdbarch
) == BFD_ENDIAN_BIG
)
1155 offset
= tdep
->wordsize
- len
;
1157 if (argpos
->regcache
)
1158 write_memory (argpos
->gparam
+ offset
, val
, len
);
1159 argpos
->gparam
= align_up (argpos
->gparam
+ len
, tdep
->wordsize
);
1161 while (len
>= tdep
->wordsize
)
1163 if (argpos
->regcache
&& argpos
->greg
<= 10)
1164 regcache_cooked_write (argpos
->regcache
,
1165 tdep
->ppc_gp0_regnum
+ argpos
->greg
, val
);
1167 len
-= tdep
->wordsize
;
1168 val
+= tdep
->wordsize
;
1173 if (argpos
->regcache
&& argpos
->greg
<= 10)
1174 regcache_cooked_write_part (argpos
->regcache
,
1175 tdep
->ppc_gp0_regnum
+ argpos
->greg
,
1181 /* The same as ppc64_sysv_abi_push_val, but using a single-word integer
1182 value VAL as argument. */
1185 ppc64_sysv_abi_push_integer (struct gdbarch
*gdbarch
, ULONGEST val
,
1186 struct ppc64_sysv_argpos
*argpos
)
1188 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1189 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
1190 gdb_byte buf
[MAX_REGISTER_SIZE
];
1192 if (argpos
->regcache
)
1193 store_unsigned_integer (buf
, tdep
->wordsize
, byte_order
, val
);
1194 ppc64_sysv_abi_push_val (gdbarch
, buf
, tdep
->wordsize
, 0, argpos
);
1197 /* VAL is a value of TYPE, a (binary or decimal) floating-point type.
1198 Load it into a floating-point register if required by the ABI,
1199 and update ARGPOS. */
1202 ppc64_sysv_abi_push_freg (struct gdbarch
*gdbarch
,
1203 struct type
*type
, const bfd_byte
*val
,
1204 struct ppc64_sysv_argpos
*argpos
)
1206 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1207 if (tdep
->soft_float
)
1210 if (TYPE_LENGTH (type
) <= 8
1211 && TYPE_CODE (type
) == TYPE_CODE_FLT
)
1213 /* Floats and doubles go in f1 .. f13. 32-bit floats are converted
1215 if (argpos
->regcache
&& argpos
->freg
<= 13)
1217 int regnum
= tdep
->ppc_fp0_regnum
+ argpos
->freg
;
1218 struct type
*regtype
= register_type (gdbarch
, regnum
);
1219 gdb_byte regval
[MAX_REGISTER_SIZE
];
1221 convert_typed_floating (val
, type
, regval
, regtype
);
1222 regcache_cooked_write (argpos
->regcache
, regnum
, regval
);
1227 else if (TYPE_LENGTH (type
) <= 8
1228 && TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
)
1230 /* Floats and doubles go in f1 .. f13. 32-bit decimal floats are
1231 placed in the least significant word. */
1232 if (argpos
->regcache
&& argpos
->freg
<= 13)
1234 int regnum
= tdep
->ppc_fp0_regnum
+ argpos
->freg
;
1237 if (gdbarch_byte_order (gdbarch
) == BFD_ENDIAN_BIG
)
1238 offset
= 8 - TYPE_LENGTH (type
);
1240 regcache_cooked_write_part (argpos
->regcache
, regnum
,
1241 offset
, TYPE_LENGTH (type
), val
);
1246 else if (TYPE_LENGTH (type
) == 16
1247 && TYPE_CODE (type
) == TYPE_CODE_FLT
1248 && (gdbarch_long_double_format (gdbarch
)
1249 == floatformats_ibm_long_double
))
1251 /* IBM long double stored in two consecutive FPRs. */
1252 if (argpos
->regcache
&& argpos
->freg
<= 13)
1254 int regnum
= tdep
->ppc_fp0_regnum
+ argpos
->freg
;
1256 regcache_cooked_write (argpos
->regcache
, regnum
, val
);
1257 if (argpos
->freg
<= 12)
1258 regcache_cooked_write (argpos
->regcache
, regnum
+ 1, val
+ 8);
1263 else if (TYPE_LENGTH (type
) == 16
1264 && TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
)
1266 /* 128-bit decimal floating-point values are stored in and even/odd
1267 pair of FPRs, with the even FPR holding the most significant half. */
1268 argpos
->freg
+= argpos
->freg
& 1;
1270 if (argpos
->regcache
&& argpos
->freg
<= 12)
1272 int regnum
= tdep
->ppc_fp0_regnum
+ argpos
->freg
;
1273 int lopart
= gdbarch_byte_order (gdbarch
) == BFD_ENDIAN_BIG
? 8 : 0;
1274 int hipart
= gdbarch_byte_order (gdbarch
) == BFD_ENDIAN_BIG
? 0 : 8;
1276 regcache_cooked_write (argpos
->regcache
, regnum
, val
+ hipart
);
1277 regcache_cooked_write (argpos
->regcache
, regnum
+ 1, val
+ lopart
);
1284 /* VAL is a value of AltiVec vector type. Load it into a vector register
1285 if required by the ABI, and update ARGPOS. */
1288 ppc64_sysv_abi_push_vreg (struct gdbarch
*gdbarch
, const bfd_byte
*val
,
1289 struct ppc64_sysv_argpos
*argpos
)
1291 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1293 if (argpos
->regcache
&& argpos
->vreg
<= 13)
1294 regcache_cooked_write (argpos
->regcache
,
1295 tdep
->ppc_vr0_regnum
+ argpos
->vreg
, val
);
1300 /* VAL is a value of TYPE. Load it into memory and/or registers
1301 as required by the ABI, and update ARGPOS. */
1304 ppc64_sysv_abi_push_param (struct gdbarch
*gdbarch
,
1305 struct type
*type
, const bfd_byte
*val
,
1306 struct ppc64_sysv_argpos
*argpos
)
1308 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1310 if (TYPE_CODE (type
) == TYPE_CODE_FLT
1311 || TYPE_CODE (type
) == TYPE_CODE_DECFLOAT
)
1313 /* Floating-point scalars are passed in floating-point registers. */
1314 ppc64_sysv_abi_push_val (gdbarch
, val
, TYPE_LENGTH (type
), 0, argpos
);
1315 ppc64_sysv_abi_push_freg (gdbarch
, type
, val
, argpos
);
1317 else if (TYPE_CODE (type
) == TYPE_CODE_ARRAY
&& TYPE_VECTOR (type
)
1318 && tdep
->vector_abi
== POWERPC_VEC_ALTIVEC
1319 && TYPE_LENGTH (type
) == 16)
1321 /* AltiVec vectors are passed aligned, and in vector registers. */
1322 ppc64_sysv_abi_push_val (gdbarch
, val
, TYPE_LENGTH (type
), 16, argpos
);
1323 ppc64_sysv_abi_push_vreg (gdbarch
, val
, argpos
);
1325 else if (TYPE_CODE (type
) == TYPE_CODE_ARRAY
&& TYPE_VECTOR (type
)
1326 && TYPE_LENGTH (type
) >= 16)
1328 /* Non-Altivec vectors are passed by reference. */
1330 /* Copy value onto the stack ... */
1331 CORE_ADDR addr
= align_up (argpos
->refparam
, 16);
1332 if (argpos
->regcache
)
1333 write_memory (addr
, val
, TYPE_LENGTH (type
));
1334 argpos
->refparam
= align_up (addr
+ TYPE_LENGTH (type
), tdep
->wordsize
);
1336 /* ... and pass a pointer to the copy as parameter. */
1337 ppc64_sysv_abi_push_integer (gdbarch
, addr
, argpos
);
1339 else if ((TYPE_CODE (type
) == TYPE_CODE_INT
1340 || TYPE_CODE (type
) == TYPE_CODE_ENUM
1341 || TYPE_CODE (type
) == TYPE_CODE_BOOL
1342 || TYPE_CODE (type
) == TYPE_CODE_CHAR
1343 || TYPE_CODE (type
) == TYPE_CODE_PTR
1344 || TYPE_CODE (type
) == TYPE_CODE_REF
)
1345 && TYPE_LENGTH (type
) <= tdep
->wordsize
)
1349 if (argpos
->regcache
)
1351 /* Sign extend the value, then store it unsigned. */
1352 word
= unpack_long (type
, val
);
1354 /* Convert any function code addresses into descriptors. */
1355 if (tdep
->elf_abi
== POWERPC_ELF_V1
1356 && (TYPE_CODE (type
) == TYPE_CODE_PTR
1357 || TYPE_CODE (type
) == TYPE_CODE_REF
))
1359 struct type
*target_type
1360 = check_typedef (TYPE_TARGET_TYPE (type
));
1362 if (TYPE_CODE (target_type
) == TYPE_CODE_FUNC
1363 || TYPE_CODE (target_type
) == TYPE_CODE_METHOD
)
1365 CORE_ADDR desc
= word
;
1367 convert_code_addr_to_desc_addr (word
, &desc
);
1373 ppc64_sysv_abi_push_integer (gdbarch
, word
, argpos
);
1377 ppc64_sysv_abi_push_val (gdbarch
, val
, TYPE_LENGTH (type
), 0, argpos
);
1379 /* The ABI (version 1.9) specifies that structs containing a
1380 single floating-point value, at any level of nesting of
1381 single-member structs, are passed in floating-point registers. */
1382 if (TYPE_CODE (type
) == TYPE_CODE_STRUCT
1383 && TYPE_NFIELDS (type
) == 1)
1385 while (TYPE_CODE (type
) == TYPE_CODE_STRUCT
1386 && TYPE_NFIELDS (type
) == 1)
1387 type
= check_typedef (TYPE_FIELD_TYPE (type
, 0));
1389 if (TYPE_CODE (type
) == TYPE_CODE_FLT
)
1390 ppc64_sysv_abi_push_freg (gdbarch
, type
, val
, argpos
);
1395 /* Pass the arguments in either registers, or in the stack. Using the
1396 ppc 64 bit SysV ABI.
1398 This implements a dumbed down version of the ABI. It always writes
1399 values to memory, GPR and FPR, even when not necessary. Doing this
1400 greatly simplifies the logic. */
1403 ppc64_sysv_abi_push_dummy_call (struct gdbarch
*gdbarch
,
1404 struct value
*function
,
1405 struct regcache
*regcache
, CORE_ADDR bp_addr
,
1406 int nargs
, struct value
**args
, CORE_ADDR sp
,
1407 int struct_return
, CORE_ADDR struct_addr
)
1409 CORE_ADDR func_addr
= find_function_addr (function
, NULL
);
1410 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1411 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
1412 int opencl_abi
= ppc_sysv_use_opencl_abi (value_type (function
));
1413 ULONGEST back_chain
;
1414 /* See for-loop comment below. */
1416 /* Size of the by-reference parameter copy region, the final value is
1417 computed in the for-loop below. */
1418 LONGEST refparam_size
= 0;
1419 /* Size of the general parameter region, the final value is computed
1420 in the for-loop below. */
1421 LONGEST gparam_size
= 0;
1422 /* Kevin writes ... I don't mind seeing tdep->wordsize used in the
1423 calls to align_up(), align_down(), etc. because this makes it
1424 easier to reuse this code (in a copy/paste sense) in the future,
1425 but it is a 64-bit ABI and asserting that the wordsize is 8 bytes
1426 at some point makes it easier to verify that this function is
1427 correct without having to do a non-local analysis to figure out
1428 the possible values of tdep->wordsize. */
1429 gdb_assert (tdep
->wordsize
== 8);
1431 /* This function exists to support a calling convention that
1432 requires floating-point registers. It shouldn't be used on
1433 processors that lack them. */
1434 gdb_assert (ppc_floating_point_unit_p (gdbarch
));
1436 /* By this stage in the proceedings, SP has been decremented by "red
1437 zone size" + "struct return size". Fetch the stack-pointer from
1438 before this and use that as the BACK_CHAIN. */
1439 regcache_cooked_read_unsigned (regcache
, gdbarch_sp_regnum (gdbarch
),
1442 /* Go through the argument list twice.
1444 Pass 1: Compute the function call's stack space and register
1447 Pass 2: Replay the same computation but this time also write the
1448 values out to the target. */
1450 for (write_pass
= 0; write_pass
< 2; write_pass
++)
1454 struct ppc64_sysv_argpos argpos
;
1461 /* During the first pass, GPARAM and REFPARAM are more like
1462 offsets (start address zero) than addresses. That way
1463 they accumulate the total stack space each region
1465 argpos
.regcache
= NULL
;
1467 argpos
.refparam
= 0;
1471 /* Decrement the stack pointer making space for the Altivec
1472 and general on-stack parameters. Set refparam and gparam
1473 to their corresponding regions. */
1474 argpos
.regcache
= regcache
;
1475 argpos
.refparam
= align_down (sp
- refparam_size
, 16);
1476 argpos
.gparam
= align_down (argpos
.refparam
- gparam_size
, 16);
1477 /* Add in space for the TOC, link editor double word,
1478 compiler double word, LR save area, CR save area. */
1479 sp
= align_down (argpos
.gparam
- 48, 16);
1482 /* If the function is returning a `struct', then there is an
1483 extra hidden parameter (which will be passed in r3)
1484 containing the address of that struct.. In that case we
1485 should advance one word and start from r4 register to copy
1486 parameters. This also consumes one on-stack parameter slot. */
1488 ppc64_sysv_abi_push_integer (gdbarch
, struct_addr
, &argpos
);
1490 for (argno
= 0; argno
< nargs
; argno
++)
1492 struct value
*arg
= args
[argno
];
1493 struct type
*type
= check_typedef (value_type (arg
));
1494 const bfd_byte
*val
= value_contents (arg
);
1496 if (TYPE_CODE (type
) == TYPE_CODE_COMPLEX
)
1498 /* Complex types are passed as if two independent scalars. */
1499 struct type
*eltype
= check_typedef (TYPE_TARGET_TYPE (type
));
1501 ppc64_sysv_abi_push_param (gdbarch
, eltype
, val
, &argpos
);
1502 ppc64_sysv_abi_push_param (gdbarch
, eltype
,
1503 val
+ TYPE_LENGTH (eltype
), &argpos
);
1505 else if (TYPE_CODE (type
) == TYPE_CODE_ARRAY
&& TYPE_VECTOR (type
)
1508 /* OpenCL vectors shorter than 16 bytes are passed as if
1509 a series of independent scalars; OpenCL vectors 16 bytes
1510 or longer are passed as if a series of AltiVec vectors. */
1511 struct type
*eltype
;
1514 if (TYPE_LENGTH (type
) < 16)
1515 eltype
= check_typedef (TYPE_TARGET_TYPE (type
));
1517 eltype
= register_type (gdbarch
, tdep
->ppc_vr0_regnum
);
1519 nelt
= TYPE_LENGTH (type
) / TYPE_LENGTH (eltype
);
1520 for (i
= 0; i
< nelt
; i
++)
1522 const gdb_byte
*elval
= val
+ i
* TYPE_LENGTH (eltype
);
1524 ppc64_sysv_abi_push_param (gdbarch
, eltype
, elval
, &argpos
);
1529 /* All other types are passed as single arguments. */
1530 ppc64_sysv_abi_push_param (gdbarch
, type
, val
, &argpos
);
1536 /* Save the true region sizes ready for the second pass. */
1537 refparam_size
= argpos
.refparam
;
1538 /* Make certain that the general parameter save area is at
1539 least the minimum 8 registers (or doublewords) in size. */
1540 if (argpos
.greg
< 8)
1541 gparam_size
= 8 * tdep
->wordsize
;
1543 gparam_size
= argpos
.gparam
;
1548 regcache_cooked_write_signed (regcache
, gdbarch_sp_regnum (gdbarch
), sp
);
1550 /* Write the backchain (it occupies WORDSIZED bytes). */
1551 write_memory_signed_integer (sp
, tdep
->wordsize
, byte_order
, back_chain
);
1553 /* Point the inferior function call's return address at the dummy's
1555 regcache_cooked_write_signed (regcache
, tdep
->ppc_lr_regnum
, bp_addr
);
1557 /* In the ELFv1 ABI, use the func_addr to find the descriptor, and use
1558 that to find the TOC. If we're calling via a function pointer,
1559 the pointer itself identifies the descriptor. */
1560 if (tdep
->elf_abi
== POWERPC_ELF_V1
)
1562 struct type
*ftype
= check_typedef (value_type (function
));
1563 CORE_ADDR desc_addr
= value_as_address (function
);
1565 if (TYPE_CODE (ftype
) == TYPE_CODE_PTR
1566 || convert_code_addr_to_desc_addr (func_addr
, &desc_addr
))
1568 /* The TOC is the second double word in the descriptor. */
1570 read_memory_unsigned_integer (desc_addr
+ tdep
->wordsize
,
1571 tdep
->wordsize
, byte_order
);
1573 regcache_cooked_write_unsigned (regcache
,
1574 tdep
->ppc_gp0_regnum
+ 2, toc
);
1578 /* In the ELFv2 ABI, we need to pass the target address in r12 since
1579 we may be calling a global entry point. */
1580 if (tdep
->elf_abi
== POWERPC_ELF_V2
)
1581 regcache_cooked_write_unsigned (regcache
,
1582 tdep
->ppc_gp0_regnum
+ 12, func_addr
);
1587 /* Subroutine of ppc64_sysv_abi_return_value that handles "base" types:
1588 integer, floating-point, and AltiVec vector types.
1590 This routine also handles components of aggregate return types;
1591 INDEX describes which part of the aggregate is to be handled.
1593 Returns true if VALTYPE is some such base type that could be handled,
1596 ppc64_sysv_abi_return_value_base (struct gdbarch
*gdbarch
, struct type
*valtype
,
1597 struct regcache
*regcache
, gdb_byte
*readbuf
,
1598 const gdb_byte
*writebuf
, int index
)
1600 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1602 /* Integers live in GPRs starting at r3. */
1603 if ((TYPE_CODE (valtype
) == TYPE_CODE_INT
1604 || TYPE_CODE (valtype
) == TYPE_CODE_ENUM
1605 || TYPE_CODE (valtype
) == TYPE_CODE_CHAR
1606 || TYPE_CODE (valtype
) == TYPE_CODE_BOOL
)
1607 && TYPE_LENGTH (valtype
) <= 8)
1609 int regnum
= tdep
->ppc_gp0_regnum
+ 3 + index
;
1611 if (writebuf
!= NULL
)
1613 /* Be careful to sign extend the value. */
1614 regcache_cooked_write_unsigned (regcache
, regnum
,
1615 unpack_long (valtype
, writebuf
));
1617 if (readbuf
!= NULL
)
1619 /* Extract the integer from GPR. Since this is truncating the
1620 value, there isn't a sign extension problem. */
1623 regcache_cooked_read_unsigned (regcache
, regnum
, ®val
);
1624 store_unsigned_integer (readbuf
, TYPE_LENGTH (valtype
),
1625 gdbarch_byte_order (gdbarch
), regval
);
1630 /* Floats and doubles go in f1 .. f13. 32-bit floats are converted
1632 if (TYPE_LENGTH (valtype
) <= 8
1633 && TYPE_CODE (valtype
) == TYPE_CODE_FLT
)
1635 int regnum
= tdep
->ppc_fp0_regnum
+ 1 + index
;
1636 struct type
*regtype
= register_type (gdbarch
, regnum
);
1637 gdb_byte regval
[MAX_REGISTER_SIZE
];
1639 if (writebuf
!= NULL
)
1641 convert_typed_floating (writebuf
, valtype
, regval
, regtype
);
1642 regcache_cooked_write (regcache
, regnum
, regval
);
1644 if (readbuf
!= NULL
)
1646 regcache_cooked_read (regcache
, regnum
, regval
);
1647 convert_typed_floating (regval
, regtype
, readbuf
, valtype
);
1652 /* Floats and doubles go in f1 .. f13. 32-bit decimal floats are
1653 placed in the least significant word. */
1654 if (TYPE_LENGTH (valtype
) <= 8
1655 && TYPE_CODE (valtype
) == TYPE_CODE_DECFLOAT
)
1657 int regnum
= tdep
->ppc_fp0_regnum
+ 1 + index
;
1660 if (gdbarch_byte_order (gdbarch
) == BFD_ENDIAN_BIG
)
1661 offset
= 8 - TYPE_LENGTH (valtype
);
1663 if (writebuf
!= NULL
)
1664 regcache_cooked_write_part (regcache
, regnum
,
1665 offset
, TYPE_LENGTH (valtype
), writebuf
);
1666 if (readbuf
!= NULL
)
1667 regcache_cooked_read_part (regcache
, regnum
,
1668 offset
, TYPE_LENGTH (valtype
), readbuf
);
1672 /* IBM long double stored in two consecutive FPRs. */
1673 if (TYPE_LENGTH (valtype
) == 16
1674 && TYPE_CODE (valtype
) == TYPE_CODE_FLT
1675 && (gdbarch_long_double_format (gdbarch
)
1676 == floatformats_ibm_long_double
))
1678 int regnum
= tdep
->ppc_fp0_regnum
+ 1 + 2 * index
;
1680 if (writebuf
!= NULL
)
1682 regcache_cooked_write (regcache
, regnum
, writebuf
);
1683 regcache_cooked_write (regcache
, regnum
+ 1, writebuf
+ 8);
1685 if (readbuf
!= NULL
)
1687 regcache_cooked_read (regcache
, regnum
, readbuf
);
1688 regcache_cooked_read (regcache
, regnum
+ 1, readbuf
+ 8);
1693 /* 128-bit decimal floating-point values are stored in an even/odd
1694 pair of FPRs, with the even FPR holding the most significant half. */
1695 if (TYPE_LENGTH (valtype
) == 16
1696 && TYPE_CODE (valtype
) == TYPE_CODE_DECFLOAT
)
1698 int regnum
= tdep
->ppc_fp0_regnum
+ 2 + 2 * index
;
1699 int lopart
= gdbarch_byte_order (gdbarch
) == BFD_ENDIAN_BIG
? 8 : 0;
1700 int hipart
= gdbarch_byte_order (gdbarch
) == BFD_ENDIAN_BIG
? 0 : 8;
1702 if (writebuf
!= NULL
)
1704 regcache_cooked_write (regcache
, regnum
, writebuf
+ hipart
);
1705 regcache_cooked_write (regcache
, regnum
+ 1, writebuf
+ lopart
);
1707 if (readbuf
!= NULL
)
1709 regcache_cooked_read (regcache
, regnum
, readbuf
+ hipart
);
1710 regcache_cooked_read (regcache
, regnum
+ 1, readbuf
+ lopart
);
1715 /* AltiVec vectors are returned in VRs starting at v2. */
1716 if (TYPE_CODE (valtype
) == TYPE_CODE_ARRAY
&& TYPE_VECTOR (valtype
)
1717 && tdep
->vector_abi
== POWERPC_VEC_ALTIVEC
)
1719 int regnum
= tdep
->ppc_vr0_regnum
+ 2 + index
;
1721 if (writebuf
!= NULL
)
1722 regcache_cooked_write (regcache
, regnum
, writebuf
);
1723 if (readbuf
!= NULL
)
1724 regcache_cooked_read (regcache
, regnum
, readbuf
);
1731 /* The 64 bit ABI return value convention.
1733 Return non-zero if the return-value is stored in a register, return
1734 0 if the return-value is instead stored on the stack (a.k.a.,
1735 struct return convention).
1737 For a return-value stored in a register: when WRITEBUF is non-NULL,
1738 copy the buffer to the corresponding register return-value location
1739 location; when READBUF is non-NULL, fill the buffer from the
1740 corresponding register return-value location. */
1741 enum return_value_convention
1742 ppc64_sysv_abi_return_value (struct gdbarch
*gdbarch
, struct value
*function
,
1743 struct type
*valtype
, struct regcache
*regcache
,
1744 gdb_byte
*readbuf
, const gdb_byte
*writebuf
)
1746 struct gdbarch_tdep
*tdep
= gdbarch_tdep (gdbarch
);
1747 struct type
*func_type
= function
? value_type (function
) : NULL
;
1748 int opencl_abi
= func_type
? ppc_sysv_use_opencl_abi (func_type
) : 0;
1749 struct type
*eltype
;
1752 /* This function exists to support a calling convention that
1753 requires floating-point registers. It shouldn't be used on
1754 processors that lack them. */
1755 gdb_assert (ppc_floating_point_unit_p (gdbarch
));
1757 /* Complex types are returned as if two independent scalars. */
1758 if (TYPE_CODE (valtype
) == TYPE_CODE_COMPLEX
)
1760 eltype
= check_typedef (TYPE_TARGET_TYPE (valtype
));
1762 for (i
= 0; i
< 2; i
++)
1764 ok
= ppc64_sysv_abi_return_value_base (gdbarch
, eltype
, regcache
,
1765 readbuf
, writebuf
, i
);
1769 readbuf
+= TYPE_LENGTH (eltype
);
1771 writebuf
+= TYPE_LENGTH (eltype
);
1773 return RETURN_VALUE_REGISTER_CONVENTION
;
1776 /* OpenCL vectors shorter than 16 bytes are returned as if
1777 a series of independent scalars; OpenCL vectors 16 bytes
1778 or longer are returned as if a series of AltiVec vectors. */
1779 if (TYPE_CODE (valtype
) == TYPE_CODE_ARRAY
&& TYPE_VECTOR (valtype
)
1782 if (TYPE_LENGTH (valtype
) < 16)
1783 eltype
= check_typedef (TYPE_TARGET_TYPE (valtype
));
1785 eltype
= register_type (gdbarch
, tdep
->ppc_vr0_regnum
);
1787 nelt
= TYPE_LENGTH (valtype
) / TYPE_LENGTH (eltype
);
1788 for (i
= 0; i
< nelt
; i
++)
1790 ok
= ppc64_sysv_abi_return_value_base (gdbarch
, eltype
, regcache
,
1791 readbuf
, writebuf
, i
);
1795 readbuf
+= TYPE_LENGTH (eltype
);
1797 writebuf
+= TYPE_LENGTH (eltype
);
1799 return RETURN_VALUE_REGISTER_CONVENTION
;
1802 /* All pointers live in r3. */
1803 if (TYPE_CODE (valtype
) == TYPE_CODE_PTR
1804 || TYPE_CODE (valtype
) == TYPE_CODE_REF
)
1806 int regnum
= tdep
->ppc_gp0_regnum
+ 3;
1808 if (writebuf
!= NULL
)
1809 regcache_cooked_write (regcache
, regnum
, writebuf
);
1810 if (readbuf
!= NULL
)
1811 regcache_cooked_read (regcache
, regnum
, readbuf
);
1812 return RETURN_VALUE_REGISTER_CONVENTION
;
1815 /* Small character arrays are returned, right justified, in r3. */
1816 if (TYPE_CODE (valtype
) == TYPE_CODE_ARRAY
1817 && TYPE_LENGTH (valtype
) <= 8
1818 && TYPE_CODE (TYPE_TARGET_TYPE (valtype
)) == TYPE_CODE_INT
1819 && TYPE_LENGTH (TYPE_TARGET_TYPE (valtype
)) == 1)
1821 int regnum
= tdep
->ppc_gp0_regnum
+ 3;
1822 int offset
= (register_size (gdbarch
, regnum
) - TYPE_LENGTH (valtype
));
1824 if (writebuf
!= NULL
)
1825 regcache_cooked_write_part (regcache
, regnum
,
1826 offset
, TYPE_LENGTH (valtype
), writebuf
);
1827 if (readbuf
!= NULL
)
1828 regcache_cooked_read_part (regcache
, regnum
,
1829 offset
, TYPE_LENGTH (valtype
), readbuf
);
1830 return RETURN_VALUE_REGISTER_CONVENTION
;
1833 /* Handle plain base types. */
1834 if (ppc64_sysv_abi_return_value_base (gdbarch
, valtype
, regcache
,
1835 readbuf
, writebuf
, 0))
1836 return RETURN_VALUE_REGISTER_CONVENTION
;
1838 return RETURN_VALUE_STRUCT_CONVENTION
;