1 | n/a | /* ----------------------------------------------------------------------- |
---|
2 | n/a | ffi_darwin.c |
---|
3 | n/a | |
---|
4 | n/a | Copyright (C) 1998 Geoffrey Keating |
---|
5 | n/a | Copyright (C) 2001 John Hornkvist |
---|
6 | n/a | Copyright (C) 2002, 2006, 2007, 2009, 2010 Free Software Foundation, Inc. |
---|
7 | n/a | |
---|
8 | n/a | FFI support for Darwin and AIX. |
---|
9 | n/a | |
---|
10 | n/a | Permission is hereby granted, free of charge, to any person obtaining |
---|
11 | n/a | a copy of this software and associated documentation files (the |
---|
12 | n/a | ``Software''), to deal in the Software without restriction, including |
---|
13 | n/a | without limitation the rights to use, copy, modify, merge, publish, |
---|
14 | n/a | distribute, sublicense, and/or sell copies of the Software, and to |
---|
15 | n/a | permit persons to whom the Software is furnished to do so, subject to |
---|
16 | n/a | the following conditions: |
---|
17 | n/a | |
---|
18 | n/a | The above copyright notice and this permission notice shall be included |
---|
19 | n/a | in all copies or substantial portions of the Software. |
---|
20 | n/a | |
---|
21 | n/a | THE SOFTWARE IS PROVIDED ``AS IS'', WITHOUT WARRANTY OF ANY KIND, EXPRESS |
---|
22 | n/a | OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF |
---|
23 | n/a | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. |
---|
24 | n/a | IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY CLAIM, DAMAGES OR |
---|
25 | n/a | OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, |
---|
26 | n/a | ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR |
---|
27 | n/a | OTHER DEALINGS IN THE SOFTWARE. |
---|
28 | n/a | ----------------------------------------------------------------------- */ |
---|
29 | n/a | |
---|
30 | n/a | #include <ffi.h> |
---|
31 | n/a | #include <ffi_common.h> |
---|
32 | n/a | |
---|
33 | n/a | #include <stdlib.h> |
---|
34 | n/a | |
---|
35 | n/a | extern void ffi_closure_ASM (void); |
---|
36 | n/a | |
---|
37 | n/a | enum { |
---|
38 | n/a | /* The assembly depends on these exact flags. |
---|
39 | n/a | For Darwin64 (when FLAG_RETURNS_STRUCT is set): |
---|
40 | n/a | FLAG_RETURNS_FP indicates that the structure embeds FP data. |
---|
41 | n/a | FLAG_RETURNS_128BITS signals a special struct size that is not |
---|
42 | n/a | expanded for float content. */ |
---|
43 | n/a | FLAG_RETURNS_128BITS = 1 << (31-31), /* These go in cr7 */ |
---|
44 | n/a | FLAG_RETURNS_NOTHING = 1 << (31-30), |
---|
45 | n/a | FLAG_RETURNS_FP = 1 << (31-29), |
---|
46 | n/a | FLAG_RETURNS_64BITS = 1 << (31-28), |
---|
47 | n/a | |
---|
48 | n/a | FLAG_RETURNS_STRUCT = 1 << (31-27), /* This goes in cr6 */ |
---|
49 | n/a | |
---|
50 | n/a | FLAG_ARG_NEEDS_COPY = 1 << (31- 7), |
---|
51 | n/a | FLAG_FP_ARGUMENTS = 1 << (31- 6), /* cr1.eq; specified by ABI */ |
---|
52 | n/a | FLAG_4_GPR_ARGUMENTS = 1 << (31- 5), |
---|
53 | n/a | FLAG_RETVAL_REFERENCE = 1 << (31- 4) |
---|
54 | n/a | }; |
---|
55 | n/a | |
---|
56 | n/a | /* About the DARWIN ABI. */ |
---|
57 | n/a | enum { |
---|
58 | n/a | NUM_GPR_ARG_REGISTERS = 8, |
---|
59 | n/a | NUM_FPR_ARG_REGISTERS = 13, |
---|
60 | n/a | LINKAGE_AREA_GPRS = 6 |
---|
61 | n/a | }; |
---|
62 | n/a | |
---|
63 | n/a | enum { ASM_NEEDS_REGISTERS = 4 }; /* r28-r31 */ |
---|
64 | n/a | |
---|
65 | n/a | /* ffi_prep_args is called by the assembly routine once stack space |
---|
66 | n/a | has been allocated for the function's arguments. |
---|
67 | n/a | |
---|
68 | n/a | m32/m64 |
---|
69 | n/a | |
---|
70 | n/a | The stack layout we want looks like this: |
---|
71 | n/a | |
---|
72 | n/a | | Return address from ffi_call_DARWIN | higher addresses |
---|
73 | n/a | |--------------------------------------------| |
---|
74 | n/a | | Previous backchain pointer 4/8 | stack pointer here |
---|
75 | n/a | |--------------------------------------------|<+ <<< on entry to |
---|
76 | n/a | | ASM_NEEDS_REGISTERS=r28-r31 4*(4/8) | | ffi_call_DARWIN |
---|
77 | n/a | |--------------------------------------------| | |
---|
78 | n/a | | When we have any FP activity... the | | |
---|
79 | n/a | | FPRs occupy NUM_FPR_ARG_REGISTERS slots | | |
---|
80 | n/a | | here fp13 .. fp1 from high to low addr. | | |
---|
81 | n/a | ~ ~ ~ |
---|
82 | n/a | | Parameters (at least 8*4/8=32/64) | | NUM_GPR_ARG_REGISTERS |
---|
83 | n/a | |--------------------------------------------| | |
---|
84 | n/a | | TOC=R2 (AIX) Reserved (Darwin) 4/8 | | |
---|
85 | n/a | |--------------------------------------------| | stack | |
---|
86 | n/a | | Reserved 2*4/8 | | grows | |
---|
87 | n/a | |--------------------------------------------| | down V |
---|
88 | n/a | | Space for callee's LR 4/8 | | |
---|
89 | n/a | |--------------------------------------------| | lower addresses |
---|
90 | n/a | | Saved CR [low word for m64] 4/8 | | |
---|
91 | n/a | |--------------------------------------------| | stack pointer here |
---|
92 | n/a | | Current backchain pointer 4/8 |-/ during |
---|
93 | n/a | |--------------------------------------------| <<< ffi_call_DARWIN |
---|
94 | n/a | |
---|
95 | n/a | */ |
---|
96 | n/a | |
---|
97 | n/a | #if defined(POWERPC_DARWIN64) |
---|
98 | n/a | static void |
---|
99 | n/a | darwin64_pass_struct_by_value |
---|
100 | n/a | (ffi_type *, char *, unsigned, unsigned *, double **, unsigned long **); |
---|
101 | n/a | #endif |
---|
102 | n/a | |
---|
103 | n/a | /* This depends on GPR_SIZE = sizeof (unsigned long) */ |
---|
104 | n/a | |
---|
105 | n/a | void |
---|
106 | n/a | ffi_prep_args (extended_cif *ecif, unsigned long *const stack) |
---|
107 | n/a | { |
---|
108 | n/a | const unsigned bytes = ecif->cif->bytes; |
---|
109 | n/a | const unsigned flags = ecif->cif->flags; |
---|
110 | n/a | const unsigned nargs = ecif->cif->nargs; |
---|
111 | n/a | #if !defined(POWERPC_DARWIN64) |
---|
112 | n/a | const ffi_abi abi = ecif->cif->abi; |
---|
113 | n/a | #endif |
---|
114 | n/a | |
---|
115 | n/a | /* 'stacktop' points at the previous backchain pointer. */ |
---|
116 | n/a | unsigned long *const stacktop = stack + (bytes / sizeof(unsigned long)); |
---|
117 | n/a | |
---|
118 | n/a | /* 'fpr_base' points at the space for fpr1, and grows upwards as |
---|
119 | n/a | we use FPR registers. */ |
---|
120 | n/a | double *fpr_base = (double *) (stacktop - ASM_NEEDS_REGISTERS) - NUM_FPR_ARG_REGISTERS; |
---|
121 | n/a | int gp_count = 0, fparg_count = 0; |
---|
122 | n/a | |
---|
123 | n/a | /* 'next_arg' grows up as we put parameters in it. */ |
---|
124 | n/a | unsigned long *next_arg = stack + LINKAGE_AREA_GPRS; /* 6 reserved positions. */ |
---|
125 | n/a | |
---|
126 | n/a | int i; |
---|
127 | n/a | double double_tmp; |
---|
128 | n/a | void **p_argv = ecif->avalue; |
---|
129 | n/a | unsigned long gprvalue; |
---|
130 | n/a | ffi_type** ptr = ecif->cif->arg_types; |
---|
131 | n/a | #if !defined(POWERPC_DARWIN64) |
---|
132 | n/a | char *dest_cpy; |
---|
133 | n/a | #endif |
---|
134 | n/a | unsigned size_al = 0; |
---|
135 | n/a | |
---|
136 | n/a | /* Check that everything starts aligned properly. */ |
---|
137 | n/a | FFI_ASSERT(((unsigned) (char *) stack & 0xF) == 0); |
---|
138 | n/a | FFI_ASSERT(((unsigned) (char *) stacktop & 0xF) == 0); |
---|
139 | n/a | FFI_ASSERT((bytes & 0xF) == 0); |
---|
140 | n/a | |
---|
141 | n/a | /* Deal with return values that are actually pass-by-reference. |
---|
142 | n/a | Rule: |
---|
143 | n/a | Return values are referenced by r3, so r4 is the first parameter. */ |
---|
144 | n/a | |
---|
145 | n/a | if (flags & FLAG_RETVAL_REFERENCE) |
---|
146 | n/a | *next_arg++ = (unsigned long) (char *) ecif->rvalue; |
---|
147 | n/a | |
---|
148 | n/a | /* Now for the arguments. */ |
---|
149 | n/a | for (i = nargs; i > 0; i--, ptr++, p_argv++) |
---|
150 | n/a | { |
---|
151 | n/a | switch ((*ptr)->type) |
---|
152 | n/a | { |
---|
153 | n/a | /* If a floating-point parameter appears before all of the general- |
---|
154 | n/a | purpose registers are filled, the corresponding GPRs that match |
---|
155 | n/a | the size of the floating-point parameter are skipped. */ |
---|
156 | n/a | case FFI_TYPE_FLOAT: |
---|
157 | n/a | double_tmp = *(float *) *p_argv; |
---|
158 | n/a | if (fparg_count < NUM_FPR_ARG_REGISTERS) |
---|
159 | n/a | *fpr_base++ = double_tmp; |
---|
160 | n/a | #if defined(POWERPC_DARWIN) |
---|
161 | n/a | *(float *)next_arg = *(float *) *p_argv; |
---|
162 | n/a | #else |
---|
163 | n/a | *(double *)next_arg = double_tmp; |
---|
164 | n/a | #endif |
---|
165 | n/a | next_arg++; |
---|
166 | n/a | gp_count++; |
---|
167 | n/a | fparg_count++; |
---|
168 | n/a | FFI_ASSERT(flags & FLAG_FP_ARGUMENTS); |
---|
169 | n/a | break; |
---|
170 | n/a | |
---|
171 | n/a | case FFI_TYPE_DOUBLE: |
---|
172 | n/a | double_tmp = *(double *) *p_argv; |
---|
173 | n/a | if (fparg_count < NUM_FPR_ARG_REGISTERS) |
---|
174 | n/a | *fpr_base++ = double_tmp; |
---|
175 | n/a | *(double *)next_arg = double_tmp; |
---|
176 | n/a | #ifdef POWERPC64 |
---|
177 | n/a | next_arg++; |
---|
178 | n/a | gp_count++; |
---|
179 | n/a | #else |
---|
180 | n/a | next_arg += 2; |
---|
181 | n/a | gp_count += 2; |
---|
182 | n/a | #endif |
---|
183 | n/a | fparg_count++; |
---|
184 | n/a | FFI_ASSERT(flags & FLAG_FP_ARGUMENTS); |
---|
185 | n/a | break; |
---|
186 | n/a | |
---|
187 | n/a | #if FFI_TYPE_LONGDOUBLE != FFI_TYPE_DOUBLE |
---|
188 | n/a | |
---|
189 | n/a | case FFI_TYPE_LONGDOUBLE: |
---|
190 | n/a | # if defined(POWERPC64) && !defined(POWERPC_DARWIN64) |
---|
191 | n/a | /* ??? This will exceed the regs count when the value starts at fp13 |
---|
192 | n/a | and it will not put the extra bit on the stack. */ |
---|
193 | n/a | if (fparg_count < NUM_FPR_ARG_REGISTERS) |
---|
194 | n/a | *(long double *) fpr_base++ = *(long double *) *p_argv; |
---|
195 | n/a | else |
---|
196 | n/a | *(long double *) next_arg = *(long double *) *p_argv; |
---|
197 | n/a | next_arg += 2; |
---|
198 | n/a | fparg_count += 2; |
---|
199 | n/a | # else |
---|
200 | n/a | double_tmp = ((double *) *p_argv)[0]; |
---|
201 | n/a | if (fparg_count < NUM_FPR_ARG_REGISTERS) |
---|
202 | n/a | *fpr_base++ = double_tmp; |
---|
203 | n/a | *(double *) next_arg = double_tmp; |
---|
204 | n/a | # if defined(POWERPC_DARWIN64) |
---|
205 | n/a | next_arg++; |
---|
206 | n/a | gp_count++; |
---|
207 | n/a | # else |
---|
208 | n/a | next_arg += 2; |
---|
209 | n/a | gp_count += 2; |
---|
210 | n/a | # endif |
---|
211 | n/a | fparg_count++; |
---|
212 | n/a | double_tmp = ((double *) *p_argv)[1]; |
---|
213 | n/a | if (fparg_count < NUM_FPR_ARG_REGISTERS) |
---|
214 | n/a | *fpr_base++ = double_tmp; |
---|
215 | n/a | *(double *) next_arg = double_tmp; |
---|
216 | n/a | # if defined(POWERPC_DARWIN64) |
---|
217 | n/a | next_arg++; |
---|
218 | n/a | gp_count++; |
---|
219 | n/a | # else |
---|
220 | n/a | next_arg += 2; |
---|
221 | n/a | gp_count += 2; |
---|
222 | n/a | # endif |
---|
223 | n/a | fparg_count++; |
---|
224 | n/a | # endif |
---|
225 | n/a | FFI_ASSERT(flags & FLAG_FP_ARGUMENTS); |
---|
226 | n/a | break; |
---|
227 | n/a | #endif |
---|
228 | n/a | case FFI_TYPE_UINT64: |
---|
229 | n/a | case FFI_TYPE_SINT64: |
---|
230 | n/a | #ifdef POWERPC64 |
---|
231 | n/a | gprvalue = *(long long *) *p_argv; |
---|
232 | n/a | goto putgpr; |
---|
233 | n/a | #else |
---|
234 | n/a | *(long long *) next_arg = *(long long *) *p_argv; |
---|
235 | n/a | next_arg += 2; |
---|
236 | n/a | gp_count += 2; |
---|
237 | n/a | #endif |
---|
238 | n/a | break; |
---|
239 | n/a | case FFI_TYPE_POINTER: |
---|
240 | n/a | gprvalue = *(unsigned long *) *p_argv; |
---|
241 | n/a | goto putgpr; |
---|
242 | n/a | case FFI_TYPE_UINT8: |
---|
243 | n/a | gprvalue = *(unsigned char *) *p_argv; |
---|
244 | n/a | goto putgpr; |
---|
245 | n/a | case FFI_TYPE_SINT8: |
---|
246 | n/a | gprvalue = *(signed char *) *p_argv; |
---|
247 | n/a | goto putgpr; |
---|
248 | n/a | case FFI_TYPE_UINT16: |
---|
249 | n/a | gprvalue = *(unsigned short *) *p_argv; |
---|
250 | n/a | goto putgpr; |
---|
251 | n/a | case FFI_TYPE_SINT16: |
---|
252 | n/a | gprvalue = *(signed short *) *p_argv; |
---|
253 | n/a | goto putgpr; |
---|
254 | n/a | |
---|
255 | n/a | case FFI_TYPE_STRUCT: |
---|
256 | n/a | size_al = (*ptr)->size; |
---|
257 | n/a | #if defined(POWERPC_DARWIN64) |
---|
258 | n/a | next_arg = (unsigned long *)ALIGN((char *)next_arg, (*ptr)->alignment); |
---|
259 | n/a | darwin64_pass_struct_by_value (*ptr, (char *) *p_argv, |
---|
260 | n/a | (unsigned) size_al, |
---|
261 | n/a | (unsigned int *) &fparg_count, |
---|
262 | n/a | &fpr_base, &next_arg); |
---|
263 | n/a | #else |
---|
264 | n/a | dest_cpy = (char *) next_arg; |
---|
265 | n/a | |
---|
266 | n/a | /* If the first member of the struct is a double, then include enough |
---|
267 | n/a | padding in the struct size to align it to double-word. */ |
---|
268 | n/a | if ((*ptr)->elements[0]->type == FFI_TYPE_DOUBLE) |
---|
269 | n/a | size_al = ALIGN((*ptr)->size, 8); |
---|
270 | n/a | |
---|
271 | n/a | # if defined(POWERPC64) |
---|
272 | n/a | FFI_ASSERT (abi != FFI_DARWIN); |
---|
273 | n/a | memcpy ((char *) dest_cpy, (char *) *p_argv, size_al); |
---|
274 | n/a | next_arg += (size_al + 7) / 8; |
---|
275 | n/a | # else |
---|
276 | n/a | /* Structures that match the basic modes (QI 1 byte, HI 2 bytes, |
---|
277 | n/a | SI 4 bytes) are aligned as if they were those modes. |
---|
278 | n/a | Structures with 3 byte in size are padded upwards. */ |
---|
279 | n/a | if (size_al < 3 && abi == FFI_DARWIN) |
---|
280 | n/a | dest_cpy += 4 - size_al; |
---|
281 | n/a | |
---|
282 | n/a | memcpy((char *) dest_cpy, (char *) *p_argv, size_al); |
---|
283 | n/a | next_arg += (size_al + 3) / 4; |
---|
284 | n/a | # endif |
---|
285 | n/a | #endif |
---|
286 | n/a | break; |
---|
287 | n/a | |
---|
288 | n/a | case FFI_TYPE_INT: |
---|
289 | n/a | case FFI_TYPE_SINT32: |
---|
290 | n/a | gprvalue = *(signed int *) *p_argv; |
---|
291 | n/a | goto putgpr; |
---|
292 | n/a | |
---|
293 | n/a | case FFI_TYPE_UINT32: |
---|
294 | n/a | gprvalue = *(unsigned int *) *p_argv; |
---|
295 | n/a | putgpr: |
---|
296 | n/a | *next_arg++ = gprvalue; |
---|
297 | n/a | gp_count++; |
---|
298 | n/a | break; |
---|
299 | n/a | default: |
---|
300 | n/a | break; |
---|
301 | n/a | } |
---|
302 | n/a | } |
---|
303 | n/a | |
---|
304 | n/a | /* Check that we didn't overrun the stack... */ |
---|
305 | n/a | /* FFI_ASSERT(gpr_base <= stacktop - ASM_NEEDS_REGISTERS); |
---|
306 | n/a | FFI_ASSERT((unsigned *)fpr_base |
---|
307 | n/a | <= stacktop - ASM_NEEDS_REGISTERS - NUM_GPR_ARG_REGISTERS); |
---|
308 | n/a | FFI_ASSERT(flags & FLAG_4_GPR_ARGUMENTS || intarg_count <= 4); */ |
---|
309 | n/a | } |
---|
310 | n/a | |
---|
311 | n/a | #if defined(POWERPC_DARWIN64) |
---|
312 | n/a | |
---|
313 | n/a | /* See if we can put some of the struct into fprs. |
---|
314 | n/a | This should not be called for structures of size 16 bytes, since these are not |
---|
315 | n/a | broken out this way. */ |
---|
316 | n/a | static void |
---|
317 | n/a | darwin64_scan_struct_for_floats (ffi_type *s, unsigned *nfpr) |
---|
318 | n/a | { |
---|
319 | n/a | int i; |
---|
320 | n/a | |
---|
321 | n/a | FFI_ASSERT (s->type == FFI_TYPE_STRUCT) |
---|
322 | n/a | |
---|
323 | n/a | for (i = 0; s->elements[i] != NULL; i++) |
---|
324 | n/a | { |
---|
325 | n/a | ffi_type *p = s->elements[i]; |
---|
326 | n/a | switch (p->type) |
---|
327 | n/a | { |
---|
328 | n/a | case FFI_TYPE_STRUCT: |
---|
329 | n/a | darwin64_scan_struct_for_floats (p, nfpr); |
---|
330 | n/a | break; |
---|
331 | n/a | case FFI_TYPE_LONGDOUBLE: |
---|
332 | n/a | (*nfpr) += 2; |
---|
333 | n/a | break; |
---|
334 | n/a | case FFI_TYPE_DOUBLE: |
---|
335 | n/a | case FFI_TYPE_FLOAT: |
---|
336 | n/a | (*nfpr) += 1; |
---|
337 | n/a | break; |
---|
338 | n/a | default: |
---|
339 | n/a | break; |
---|
340 | n/a | } |
---|
341 | n/a | } |
---|
342 | n/a | } |
---|
343 | n/a | |
---|
344 | n/a | static int |
---|
345 | n/a | darwin64_struct_size_exceeds_gprs_p (ffi_type *s, char *src, unsigned *nfpr) |
---|
346 | n/a | { |
---|
347 | n/a | unsigned struct_offset=0, i; |
---|
348 | n/a | |
---|
349 | n/a | for (i = 0; s->elements[i] != NULL; i++) |
---|
350 | n/a | { |
---|
351 | n/a | char *item_base; |
---|
352 | n/a | ffi_type *p = s->elements[i]; |
---|
353 | n/a | /* Find the start of this item (0 for the first one). */ |
---|
354 | n/a | if (i > 0) |
---|
355 | n/a | struct_offset = ALIGN(struct_offset, p->alignment); |
---|
356 | n/a | |
---|
357 | n/a | item_base = src + struct_offset; |
---|
358 | n/a | |
---|
359 | n/a | switch (p->type) |
---|
360 | n/a | { |
---|
361 | n/a | case FFI_TYPE_STRUCT: |
---|
362 | n/a | if (darwin64_struct_size_exceeds_gprs_p (p, item_base, nfpr)) |
---|
363 | n/a | return 1; |
---|
364 | n/a | break; |
---|
365 | n/a | case FFI_TYPE_LONGDOUBLE: |
---|
366 | n/a | if (*nfpr >= NUM_FPR_ARG_REGISTERS) |
---|
367 | n/a | return 1; |
---|
368 | n/a | (*nfpr) += 1; |
---|
369 | n/a | item_base += 8; |
---|
370 | n/a | /* FALL THROUGH */ |
---|
371 | n/a | case FFI_TYPE_DOUBLE: |
---|
372 | n/a | if (*nfpr >= NUM_FPR_ARG_REGISTERS) |
---|
373 | n/a | return 1; |
---|
374 | n/a | (*nfpr) += 1; |
---|
375 | n/a | break; |
---|
376 | n/a | case FFI_TYPE_FLOAT: |
---|
377 | n/a | if (*nfpr >= NUM_FPR_ARG_REGISTERS) |
---|
378 | n/a | return 1; |
---|
379 | n/a | (*nfpr) += 1; |
---|
380 | n/a | break; |
---|
381 | n/a | default: |
---|
382 | n/a | /* If we try and place any item, that is non-float, once we've |
---|
383 | n/a | exceeded the 8 GPR mark, then we can't fit the struct. */ |
---|
384 | n/a | if ((unsigned long)item_base >= 8*8) |
---|
385 | n/a | return 1; |
---|
386 | n/a | break; |
---|
387 | n/a | } |
---|
388 | n/a | /* now count the size of what we just used. */ |
---|
389 | n/a | struct_offset += p->size; |
---|
390 | n/a | } |
---|
391 | n/a | return 0; |
---|
392 | n/a | } |
---|
393 | n/a | |
---|
394 | n/a | /* Can this struct be returned by value? */ |
---|
395 | n/a | int |
---|
396 | n/a | darwin64_struct_ret_by_value_p (ffi_type *s) |
---|
397 | n/a | { |
---|
398 | n/a | unsigned nfp = 0; |
---|
399 | n/a | |
---|
400 | n/a | FFI_ASSERT (s && s->type == FFI_TYPE_STRUCT); |
---|
401 | n/a | |
---|
402 | n/a | /* The largest structure we can return is 8long + 13 doubles. */ |
---|
403 | n/a | if (s->size > 168) |
---|
404 | n/a | return 0; |
---|
405 | n/a | |
---|
406 | n/a | /* We can't pass more than 13 floats. */ |
---|
407 | n/a | darwin64_scan_struct_for_floats (s, &nfp); |
---|
408 | n/a | if (nfp > 13) |
---|
409 | n/a | return 0; |
---|
410 | n/a | |
---|
411 | n/a | /* If there are not too many floats, and the struct is |
---|
412 | n/a | small enough to accommodate in the GPRs, then it must be OK. */ |
---|
413 | n/a | if (s->size <= 64) |
---|
414 | n/a | return 1; |
---|
415 | n/a | |
---|
416 | n/a | /* Well, we have to look harder. */ |
---|
417 | n/a | nfp = 0; |
---|
418 | n/a | if (darwin64_struct_size_exceeds_gprs_p (s, NULL, &nfp)) |
---|
419 | n/a | return 0; |
---|
420 | n/a | |
---|
421 | n/a | return 1; |
---|
422 | n/a | } |
---|
423 | n/a | |
---|
424 | n/a | void |
---|
425 | n/a | darwin64_pass_struct_floats (ffi_type *s, char *src, |
---|
426 | n/a | unsigned *nfpr, double **fprs) |
---|
427 | n/a | { |
---|
428 | n/a | int i; |
---|
429 | n/a | double *fpr_base = *fprs; |
---|
430 | n/a | unsigned struct_offset = 0; |
---|
431 | n/a | |
---|
432 | n/a | /* We don't assume anything about the alignment of the source. */ |
---|
433 | n/a | for (i = 0; s->elements[i] != NULL; i++) |
---|
434 | n/a | { |
---|
435 | n/a | char *item_base; |
---|
436 | n/a | ffi_type *p = s->elements[i]; |
---|
437 | n/a | /* Find the start of this item (0 for the first one). */ |
---|
438 | n/a | if (i > 0) |
---|
439 | n/a | struct_offset = ALIGN(struct_offset, p->alignment); |
---|
440 | n/a | item_base = src + struct_offset; |
---|
441 | n/a | |
---|
442 | n/a | switch (p->type) |
---|
443 | n/a | { |
---|
444 | n/a | case FFI_TYPE_STRUCT: |
---|
445 | n/a | darwin64_pass_struct_floats (p, item_base, nfpr, |
---|
446 | n/a | &fpr_base); |
---|
447 | n/a | break; |
---|
448 | n/a | case FFI_TYPE_LONGDOUBLE: |
---|
449 | n/a | if (*nfpr < NUM_FPR_ARG_REGISTERS) |
---|
450 | n/a | *fpr_base++ = *(double *)item_base; |
---|
451 | n/a | (*nfpr) += 1; |
---|
452 | n/a | item_base += 8; |
---|
453 | n/a | /* FALL THROUGH */ |
---|
454 | n/a | case FFI_TYPE_DOUBLE: |
---|
455 | n/a | if (*nfpr < NUM_FPR_ARG_REGISTERS) |
---|
456 | n/a | *fpr_base++ = *(double *)item_base; |
---|
457 | n/a | (*nfpr) += 1; |
---|
458 | n/a | break; |
---|
459 | n/a | case FFI_TYPE_FLOAT: |
---|
460 | n/a | if (*nfpr < NUM_FPR_ARG_REGISTERS) |
---|
461 | n/a | *fpr_base++ = (double) *(float *)item_base; |
---|
462 | n/a | (*nfpr) += 1; |
---|
463 | n/a | break; |
---|
464 | n/a | default: |
---|
465 | n/a | break; |
---|
466 | n/a | } |
---|
467 | n/a | /* now count the size of what we just used. */ |
---|
468 | n/a | struct_offset += p->size; |
---|
469 | n/a | } |
---|
470 | n/a | /* Update the scores. */ |
---|
471 | n/a | *fprs = fpr_base; |
---|
472 | n/a | } |
---|
473 | n/a | |
---|
474 | n/a | /* Darwin64 special rules. |
---|
475 | n/a | Break out a struct into params and float registers. */ |
---|
476 | n/a | static void |
---|
477 | n/a | darwin64_pass_struct_by_value (ffi_type *s, char *src, unsigned size, |
---|
478 | n/a | unsigned *nfpr, double **fprs, unsigned long **arg) |
---|
479 | n/a | { |
---|
480 | n/a | unsigned long *next_arg = *arg; |
---|
481 | n/a | char *dest_cpy = (char *)next_arg; |
---|
482 | n/a | |
---|
483 | n/a | FFI_ASSERT (s->type == FFI_TYPE_STRUCT) |
---|
484 | n/a | |
---|
485 | n/a | if (!size) |
---|
486 | n/a | return; |
---|
487 | n/a | |
---|
488 | n/a | /* First... special cases. */ |
---|
489 | n/a | if (size < 3 |
---|
490 | n/a | || (size == 4 |
---|
491 | n/a | && s->elements[0] |
---|
492 | n/a | && s->elements[0]->type != FFI_TYPE_FLOAT)) |
---|
493 | n/a | { |
---|
494 | n/a | /* Must be at least one GPR, padding is unspecified in value, |
---|
495 | n/a | let's make it zero. */ |
---|
496 | n/a | *next_arg = 0UL; |
---|
497 | n/a | dest_cpy += 8 - size; |
---|
498 | n/a | memcpy ((char *) dest_cpy, src, size); |
---|
499 | n/a | next_arg++; |
---|
500 | n/a | } |
---|
501 | n/a | else if (size == 16) |
---|
502 | n/a | { |
---|
503 | n/a | memcpy ((char *) dest_cpy, src, size); |
---|
504 | n/a | next_arg += 2; |
---|
505 | n/a | } |
---|
506 | n/a | else |
---|
507 | n/a | { |
---|
508 | n/a | /* now the general case, we consider embedded floats. */ |
---|
509 | n/a | memcpy ((char *) dest_cpy, src, size); |
---|
510 | n/a | darwin64_pass_struct_floats (s, src, nfpr, fprs); |
---|
511 | n/a | next_arg += (size+7)/8; |
---|
512 | n/a | } |
---|
513 | n/a | |
---|
514 | n/a | *arg = next_arg; |
---|
515 | n/a | } |
---|
516 | n/a | |
---|
517 | n/a | double * |
---|
518 | n/a | darwin64_struct_floats_to_mem (ffi_type *s, char *dest, double *fprs, unsigned *nf) |
---|
519 | n/a | { |
---|
520 | n/a | int i; |
---|
521 | n/a | unsigned struct_offset = 0; |
---|
522 | n/a | |
---|
523 | n/a | /* We don't assume anything about the alignment of the source. */ |
---|
524 | n/a | for (i = 0; s->elements[i] != NULL; i++) |
---|
525 | n/a | { |
---|
526 | n/a | char *item_base; |
---|
527 | n/a | ffi_type *p = s->elements[i]; |
---|
528 | n/a | /* Find the start of this item (0 for the first one). */ |
---|
529 | n/a | if (i > 0) |
---|
530 | n/a | struct_offset = ALIGN(struct_offset, p->alignment); |
---|
531 | n/a | item_base = dest + struct_offset; |
---|
532 | n/a | |
---|
533 | n/a | switch (p->type) |
---|
534 | n/a | { |
---|
535 | n/a | case FFI_TYPE_STRUCT: |
---|
536 | n/a | fprs = darwin64_struct_floats_to_mem (p, item_base, fprs, nf); |
---|
537 | n/a | break; |
---|
538 | n/a | case FFI_TYPE_LONGDOUBLE: |
---|
539 | n/a | if (*nf < NUM_FPR_ARG_REGISTERS) |
---|
540 | n/a | { |
---|
541 | n/a | *(double *)item_base = *fprs++ ; |
---|
542 | n/a | (*nf) += 1; |
---|
543 | n/a | } |
---|
544 | n/a | item_base += 8; |
---|
545 | n/a | /* FALL THROUGH */ |
---|
546 | n/a | case FFI_TYPE_DOUBLE: |
---|
547 | n/a | if (*nf < NUM_FPR_ARG_REGISTERS) |
---|
548 | n/a | { |
---|
549 | n/a | *(double *)item_base = *fprs++ ; |
---|
550 | n/a | (*nf) += 1; |
---|
551 | n/a | } |
---|
552 | n/a | break; |
---|
553 | n/a | case FFI_TYPE_FLOAT: |
---|
554 | n/a | if (*nf < NUM_FPR_ARG_REGISTERS) |
---|
555 | n/a | { |
---|
556 | n/a | *(float *)item_base = (float) *fprs++ ; |
---|
557 | n/a | (*nf) += 1; |
---|
558 | n/a | } |
---|
559 | n/a | break; |
---|
560 | n/a | default: |
---|
561 | n/a | break; |
---|
562 | n/a | } |
---|
563 | n/a | /* now count the size of what we just used. */ |
---|
564 | n/a | struct_offset += p->size; |
---|
565 | n/a | } |
---|
566 | n/a | return fprs; |
---|
567 | n/a | } |
---|
568 | n/a | |
---|
569 | n/a | #endif |
---|
570 | n/a | |
---|
571 | n/a | /* Adjust the size of S to be correct for Darwin. |
---|
572 | n/a | On Darwin m32, the first field of a structure has natural alignment. |
---|
573 | n/a | On Darwin m64, all fields have natural alignment. */ |
---|
574 | n/a | |
---|
575 | n/a | static void |
---|
576 | n/a | darwin_adjust_aggregate_sizes (ffi_type *s) |
---|
577 | n/a | { |
---|
578 | n/a | int i; |
---|
579 | n/a | |
---|
580 | n/a | if (s->type != FFI_TYPE_STRUCT) |
---|
581 | n/a | return; |
---|
582 | n/a | |
---|
583 | n/a | s->size = 0; |
---|
584 | n/a | for (i = 0; s->elements[i] != NULL; i++) |
---|
585 | n/a | { |
---|
586 | n/a | ffi_type *p; |
---|
587 | n/a | int align; |
---|
588 | n/a | |
---|
589 | n/a | p = s->elements[i]; |
---|
590 | n/a | if (p->type == FFI_TYPE_STRUCT) |
---|
591 | n/a | darwin_adjust_aggregate_sizes (p); |
---|
592 | n/a | #if defined(POWERPC_DARWIN64) |
---|
593 | n/a | /* Natural alignment for all items. */ |
---|
594 | n/a | align = p->alignment; |
---|
595 | n/a | #else |
---|
596 | n/a | /* Natural alignment for the first item... */ |
---|
597 | n/a | if (i == 0) |
---|
598 | n/a | align = p->alignment; |
---|
599 | n/a | else if (p->alignment == 16 || p->alignment < 4) |
---|
600 | n/a | /* .. subsequent items with vector or align < 4 have natural align. */ |
---|
601 | n/a | align = p->alignment; |
---|
602 | n/a | else |
---|
603 | n/a | /* .. or align is 4. */ |
---|
604 | n/a | align = 4; |
---|
605 | n/a | #endif |
---|
606 | n/a | /* Pad, if necessary, before adding the current item. */ |
---|
607 | n/a | s->size = ALIGN(s->size, align) + p->size; |
---|
608 | n/a | } |
---|
609 | n/a | |
---|
610 | n/a | s->size = ALIGN(s->size, s->alignment); |
---|
611 | n/a | |
---|
612 | n/a | /* This should not be necessary on m64, but harmless. */ |
---|
613 | n/a | if (s->elements[0]->type == FFI_TYPE_UINT64 |
---|
614 | n/a | || s->elements[0]->type == FFI_TYPE_SINT64 |
---|
615 | n/a | || s->elements[0]->type == FFI_TYPE_DOUBLE |
---|
616 | n/a | || s->elements[0]->alignment == 8) |
---|
617 | n/a | s->alignment = s->alignment > 8 ? s->alignment : 8; |
---|
618 | n/a | /* Do not add additional tail padding. */ |
---|
619 | n/a | } |
---|
620 | n/a | |
---|
621 | n/a | /* Adjust the size of S to be correct for AIX. |
---|
622 | n/a | Word-align double unless it is the first member of a structure. */ |
---|
623 | n/a | |
---|
624 | n/a | static void |
---|
625 | n/a | aix_adjust_aggregate_sizes (ffi_type *s) |
---|
626 | n/a | { |
---|
627 | n/a | int i; |
---|
628 | n/a | |
---|
629 | n/a | if (s->type != FFI_TYPE_STRUCT) |
---|
630 | n/a | return; |
---|
631 | n/a | |
---|
632 | n/a | s->size = 0; |
---|
633 | n/a | for (i = 0; s->elements[i] != NULL; i++) |
---|
634 | n/a | { |
---|
635 | n/a | ffi_type *p; |
---|
636 | n/a | int align; |
---|
637 | n/a | |
---|
638 | n/a | p = s->elements[i]; |
---|
639 | n/a | aix_adjust_aggregate_sizes (p); |
---|
640 | n/a | align = p->alignment; |
---|
641 | n/a | if (i != 0 && p->type == FFI_TYPE_DOUBLE) |
---|
642 | n/a | align = 4; |
---|
643 | n/a | s->size = ALIGN(s->size, align) + p->size; |
---|
644 | n/a | } |
---|
645 | n/a | |
---|
646 | n/a | s->size = ALIGN(s->size, s->alignment); |
---|
647 | n/a | |
---|
648 | n/a | if (s->elements[0]->type == FFI_TYPE_UINT64 |
---|
649 | n/a | || s->elements[0]->type == FFI_TYPE_SINT64 |
---|
650 | n/a | || s->elements[0]->type == FFI_TYPE_DOUBLE |
---|
651 | n/a | || s->elements[0]->alignment == 8) |
---|
652 | n/a | s->alignment = s->alignment > 8 ? s->alignment : 8; |
---|
653 | n/a | /* Do not add additional tail padding. */ |
---|
654 | n/a | } |
---|
655 | n/a | |
---|
656 | n/a | /* Perform machine dependent cif processing. */ |
---|
657 | n/a | ffi_status |
---|
658 | n/a | ffi_prep_cif_machdep (ffi_cif *cif) |
---|
659 | n/a | { |
---|
660 | n/a | /* All this is for the DARWIN ABI. */ |
---|
661 | n/a | unsigned i; |
---|
662 | n/a | ffi_type **ptr; |
---|
663 | n/a | unsigned bytes; |
---|
664 | n/a | unsigned fparg_count = 0, intarg_count = 0; |
---|
665 | n/a | unsigned flags = 0; |
---|
666 | n/a | unsigned size_al = 0; |
---|
667 | n/a | |
---|
668 | n/a | /* All the machine-independent calculation of cif->bytes will be wrong. |
---|
669 | n/a | All the calculation of structure sizes will also be wrong. |
---|
670 | n/a | Redo the calculation for DARWIN. */ |
---|
671 | n/a | |
---|
672 | n/a | if (cif->abi == FFI_DARWIN) |
---|
673 | n/a | { |
---|
674 | n/a | darwin_adjust_aggregate_sizes (cif->rtype); |
---|
675 | n/a | for (i = 0; i < cif->nargs; i++) |
---|
676 | n/a | darwin_adjust_aggregate_sizes (cif->arg_types[i]); |
---|
677 | n/a | } |
---|
678 | n/a | |
---|
679 | n/a | if (cif->abi == FFI_AIX) |
---|
680 | n/a | { |
---|
681 | n/a | aix_adjust_aggregate_sizes (cif->rtype); |
---|
682 | n/a | for (i = 0; i < cif->nargs; i++) |
---|
683 | n/a | aix_adjust_aggregate_sizes (cif->arg_types[i]); |
---|
684 | n/a | } |
---|
685 | n/a | |
---|
686 | n/a | /* Space for the frame pointer, callee's LR, CR, etc, and for |
---|
687 | n/a | the asm's temp regs. */ |
---|
688 | n/a | |
---|
689 | n/a | bytes = (LINKAGE_AREA_GPRS + ASM_NEEDS_REGISTERS) * sizeof(unsigned long); |
---|
690 | n/a | |
---|
691 | n/a | /* Return value handling. |
---|
692 | n/a | The rules m32 are as follows: |
---|
693 | n/a | - 32-bit (or less) integer values are returned in gpr3; |
---|
694 | n/a | - structures of size <= 4 bytes also returned in gpr3; |
---|
695 | n/a | - 64-bit integer values [??? and structures between 5 and 8 bytes] are |
---|
696 | n/a | returned in gpr3 and gpr4; |
---|
697 | n/a | - Single/double FP values are returned in fpr1; |
---|
698 | n/a | - Long double FP (if not equivalent to double) values are returned in |
---|
699 | n/a | fpr1 and fpr2; |
---|
700 | n/a | m64: |
---|
701 | n/a | - 64-bit or smaller integral values are returned in GPR3 |
---|
702 | n/a | - Single/double FP values are returned in fpr1; |
---|
703 | n/a | - Long double FP values are returned in fpr1 and fpr2; |
---|
704 | n/a | m64 Structures: |
---|
705 | n/a | - If the structure could be accommodated in registers were it to be the |
---|
706 | n/a | first argument to a routine, then it is returned in those registers. |
---|
707 | n/a | m32/m64 structures otherwise: |
---|
708 | n/a | - Larger structures values are allocated space and a pointer is passed |
---|
709 | n/a | as the first argument. */ |
---|
710 | n/a | switch (cif->rtype->type) |
---|
711 | n/a | { |
---|
712 | n/a | |
---|
713 | n/a | #if FFI_TYPE_LONGDOUBLE != FFI_TYPE_DOUBLE |
---|
714 | n/a | case FFI_TYPE_LONGDOUBLE: |
---|
715 | n/a | flags |= FLAG_RETURNS_128BITS; |
---|
716 | n/a | flags |= FLAG_RETURNS_FP; |
---|
717 | n/a | break; |
---|
718 | n/a | #endif |
---|
719 | n/a | |
---|
720 | n/a | case FFI_TYPE_DOUBLE: |
---|
721 | n/a | flags |= FLAG_RETURNS_64BITS; |
---|
722 | n/a | /* Fall through. */ |
---|
723 | n/a | case FFI_TYPE_FLOAT: |
---|
724 | n/a | flags |= FLAG_RETURNS_FP; |
---|
725 | n/a | break; |
---|
726 | n/a | |
---|
727 | n/a | case FFI_TYPE_UINT64: |
---|
728 | n/a | case FFI_TYPE_SINT64: |
---|
729 | n/a | #ifdef POWERPC64 |
---|
730 | n/a | case FFI_TYPE_POINTER: |
---|
731 | n/a | #endif |
---|
732 | n/a | flags |= FLAG_RETURNS_64BITS; |
---|
733 | n/a | break; |
---|
734 | n/a | |
---|
735 | n/a | case FFI_TYPE_STRUCT: |
---|
736 | n/a | #if defined(POWERPC_DARWIN64) |
---|
737 | n/a | { |
---|
738 | n/a | /* Can we fit the struct into regs? */ |
---|
739 | n/a | if (darwin64_struct_ret_by_value_p (cif->rtype)) |
---|
740 | n/a | { |
---|
741 | n/a | unsigned nfpr = 0; |
---|
742 | n/a | flags |= FLAG_RETURNS_STRUCT; |
---|
743 | n/a | if (cif->rtype->size != 16) |
---|
744 | n/a | darwin64_scan_struct_for_floats (cif->rtype, &nfpr) ; |
---|
745 | n/a | else |
---|
746 | n/a | flags |= FLAG_RETURNS_128BITS; |
---|
747 | n/a | /* Will be 0 for 16byte struct. */ |
---|
748 | n/a | if (nfpr) |
---|
749 | n/a | flags |= FLAG_RETURNS_FP; |
---|
750 | n/a | } |
---|
751 | n/a | else /* By ref. */ |
---|
752 | n/a | { |
---|
753 | n/a | flags |= FLAG_RETVAL_REFERENCE; |
---|
754 | n/a | flags |= FLAG_RETURNS_NOTHING; |
---|
755 | n/a | intarg_count++; |
---|
756 | n/a | } |
---|
757 | n/a | } |
---|
758 | n/a | #elif defined(DARWIN_PPC) |
---|
759 | n/a | if (cif->rtype->size <= 4) |
---|
760 | n/a | flags |= FLAG_RETURNS_STRUCT; |
---|
761 | n/a | else /* else by reference. */ |
---|
762 | n/a | { |
---|
763 | n/a | flags |= FLAG_RETVAL_REFERENCE; |
---|
764 | n/a | flags |= FLAG_RETURNS_NOTHING; |
---|
765 | n/a | intarg_count++; |
---|
766 | n/a | } |
---|
767 | n/a | #else /* assume we pass by ref. */ |
---|
768 | n/a | flags |= FLAG_RETVAL_REFERENCE; |
---|
769 | n/a | flags |= FLAG_RETURNS_NOTHING; |
---|
770 | n/a | intarg_count++; |
---|
771 | n/a | #endif |
---|
772 | n/a | break; |
---|
773 | n/a | case FFI_TYPE_VOID: |
---|
774 | n/a | flags |= FLAG_RETURNS_NOTHING; |
---|
775 | n/a | break; |
---|
776 | n/a | |
---|
777 | n/a | default: |
---|
778 | n/a | /* Returns 32-bit integer, or similar. Nothing to do here. */ |
---|
779 | n/a | break; |
---|
780 | n/a | } |
---|
781 | n/a | |
---|
782 | n/a | /* The first NUM_GPR_ARG_REGISTERS words of integer arguments, and the |
---|
783 | n/a | first NUM_FPR_ARG_REGISTERS fp arguments, go in registers; the rest |
---|
784 | n/a | goes on the stack. |
---|
785 | n/a | ??? Structures are passed as a pointer to a copy of the structure. |
---|
786 | n/a | Stuff on the stack needs to keep proper alignment. |
---|
787 | n/a | For m64 the count is effectively of half-GPRs. */ |
---|
788 | n/a | for (ptr = cif->arg_types, i = cif->nargs; i > 0; i--, ptr++) |
---|
789 | n/a | { |
---|
790 | n/a | unsigned align_words; |
---|
791 | n/a | switch ((*ptr)->type) |
---|
792 | n/a | { |
---|
793 | n/a | case FFI_TYPE_FLOAT: |
---|
794 | n/a | case FFI_TYPE_DOUBLE: |
---|
795 | n/a | fparg_count++; |
---|
796 | n/a | #if !defined(POWERPC_DARWIN64) |
---|
797 | n/a | /* If this FP arg is going on the stack, it must be |
---|
798 | n/a | 8-byte-aligned. */ |
---|
799 | n/a | if (fparg_count > NUM_FPR_ARG_REGISTERS |
---|
800 | n/a | && (intarg_count & 0x01) != 0) |
---|
801 | n/a | intarg_count++; |
---|
802 | n/a | #endif |
---|
803 | n/a | break; |
---|
804 | n/a | |
---|
805 | n/a | #if FFI_TYPE_LONGDOUBLE != FFI_TYPE_DOUBLE |
---|
806 | n/a | case FFI_TYPE_LONGDOUBLE: |
---|
807 | n/a | fparg_count += 2; |
---|
808 | n/a | /* If this FP arg is going on the stack, it must be |
---|
809 | n/a | 16-byte-aligned. */ |
---|
810 | n/a | if (fparg_count >= NUM_FPR_ARG_REGISTERS) |
---|
811 | n/a | #if defined (POWERPC64) |
---|
812 | n/a | intarg_count = ALIGN(intarg_count, 2); |
---|
813 | n/a | #else |
---|
814 | n/a | intarg_count = ALIGN(intarg_count, 4); |
---|
815 | n/a | #endif |
---|
816 | n/a | break; |
---|
817 | n/a | #endif |
---|
818 | n/a | |
---|
819 | n/a | case FFI_TYPE_UINT64: |
---|
820 | n/a | case FFI_TYPE_SINT64: |
---|
821 | n/a | #if defined(POWERPC64) |
---|
822 | n/a | intarg_count++; |
---|
823 | n/a | #else |
---|
824 | n/a | /* 'long long' arguments are passed as two words, but |
---|
825 | n/a | either both words must fit in registers or both go |
---|
826 | n/a | on the stack. If they go on the stack, they must |
---|
827 | n/a | be 8-byte-aligned. */ |
---|
828 | n/a | if (intarg_count == NUM_GPR_ARG_REGISTERS-1 |
---|
829 | n/a | || (intarg_count >= NUM_GPR_ARG_REGISTERS |
---|
830 | n/a | && (intarg_count & 0x01) != 0)) |
---|
831 | n/a | intarg_count++; |
---|
832 | n/a | intarg_count += 2; |
---|
833 | n/a | #endif |
---|
834 | n/a | break; |
---|
835 | n/a | |
---|
836 | n/a | case FFI_TYPE_STRUCT: |
---|
837 | n/a | size_al = (*ptr)->size; |
---|
838 | n/a | #if defined(POWERPC_DARWIN64) |
---|
839 | n/a | align_words = (*ptr)->alignment >> 3; |
---|
840 | n/a | if (align_words) |
---|
841 | n/a | intarg_count = ALIGN(intarg_count, align_words); |
---|
842 | n/a | /* Base size of the struct. */ |
---|
843 | n/a | intarg_count += (size_al + 7) / 8; |
---|
844 | n/a | /* If 16 bytes then don't worry about floats. */ |
---|
845 | n/a | if (size_al != 16) |
---|
846 | n/a | /* Scan through for floats to be placed in regs. */ |
---|
847 | n/a | darwin64_scan_struct_for_floats (*ptr, &fparg_count) ; |
---|
848 | n/a | #else |
---|
849 | n/a | align_words = (*ptr)->alignment >> 2; |
---|
850 | n/a | if (align_words) |
---|
851 | n/a | intarg_count = ALIGN(intarg_count, align_words); |
---|
852 | n/a | /* If the first member of the struct is a double, then align |
---|
853 | n/a | the struct to double-word. |
---|
854 | n/a | if ((*ptr)->elements[0]->type == FFI_TYPE_DOUBLE) |
---|
855 | n/a | size_al = ALIGN((*ptr)->size, 8); */ |
---|
856 | n/a | # ifdef POWERPC64 |
---|
857 | n/a | intarg_count += (size_al + 7) / 8; |
---|
858 | n/a | # else |
---|
859 | n/a | intarg_count += (size_al + 3) / 4; |
---|
860 | n/a | # endif |
---|
861 | n/a | #endif |
---|
862 | n/a | break; |
---|
863 | n/a | |
---|
864 | n/a | default: |
---|
865 | n/a | /* Everything else is passed as a 4-byte word in a GPR, either |
---|
866 | n/a | the object itself or a pointer to it. */ |
---|
867 | n/a | intarg_count++; |
---|
868 | n/a | break; |
---|
869 | n/a | } |
---|
870 | n/a | } |
---|
871 | n/a | |
---|
872 | n/a | if (fparg_count != 0) |
---|
873 | n/a | flags |= FLAG_FP_ARGUMENTS; |
---|
874 | n/a | |
---|
875 | n/a | #if defined(POWERPC_DARWIN64) |
---|
876 | n/a | /* Space to image the FPR registers, if needed - which includes when they might be |
---|
877 | n/a | used in a struct return. */ |
---|
878 | n/a | if (fparg_count != 0 |
---|
879 | n/a | || ((flags & FLAG_RETURNS_STRUCT) |
---|
880 | n/a | && (flags & FLAG_RETURNS_FP))) |
---|
881 | n/a | bytes += NUM_FPR_ARG_REGISTERS * sizeof(double); |
---|
882 | n/a | #else |
---|
883 | n/a | /* Space for the FPR registers, if needed. */ |
---|
884 | n/a | if (fparg_count != 0) |
---|
885 | n/a | bytes += NUM_FPR_ARG_REGISTERS * sizeof(double); |
---|
886 | n/a | #endif |
---|
887 | n/a | |
---|
888 | n/a | /* Stack space. */ |
---|
889 | n/a | #ifdef POWERPC64 |
---|
890 | n/a | if ((intarg_count + fparg_count) > NUM_GPR_ARG_REGISTERS) |
---|
891 | n/a | bytes += (intarg_count + fparg_count) * sizeof(long); |
---|
892 | n/a | #else |
---|
893 | n/a | if ((intarg_count + 2 * fparg_count) > NUM_GPR_ARG_REGISTERS) |
---|
894 | n/a | bytes += (intarg_count + 2 * fparg_count) * sizeof(long); |
---|
895 | n/a | #endif |
---|
896 | n/a | else |
---|
897 | n/a | bytes += NUM_GPR_ARG_REGISTERS * sizeof(long); |
---|
898 | n/a | |
---|
899 | n/a | /* The stack space allocated needs to be a multiple of 16 bytes. */ |
---|
900 | n/a | bytes = ALIGN(bytes, 16) ; |
---|
901 | n/a | |
---|
902 | n/a | cif->flags = flags; |
---|
903 | n/a | cif->bytes = bytes; |
---|
904 | n/a | |
---|
905 | n/a | return FFI_OK; |
---|
906 | n/a | } |
---|
907 | n/a | |
---|
908 | n/a | extern void ffi_call_AIX(extended_cif *, long, unsigned, unsigned *, |
---|
909 | n/a | void (*fn)(void), void (*fn2)(void)); |
---|
910 | n/a | |
---|
911 | n/a | extern void ffi_call_DARWIN(extended_cif *, long, unsigned, unsigned *, |
---|
912 | n/a | void (*fn)(void), void (*fn2)(void), ffi_type*); |
---|
913 | n/a | |
---|
914 | n/a | void |
---|
915 | n/a | ffi_call (ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) |
---|
916 | n/a | { |
---|
917 | n/a | extended_cif ecif; |
---|
918 | n/a | |
---|
919 | n/a | ecif.cif = cif; |
---|
920 | n/a | ecif.avalue = avalue; |
---|
921 | n/a | |
---|
922 | n/a | /* If the return value is a struct and we don't have a return |
---|
923 | n/a | value address then we need to make one. */ |
---|
924 | n/a | |
---|
925 | n/a | if ((rvalue == NULL) && |
---|
926 | n/a | (cif->rtype->type == FFI_TYPE_STRUCT)) |
---|
927 | n/a | { |
---|
928 | n/a | ecif.rvalue = alloca (cif->rtype->size); |
---|
929 | n/a | } |
---|
930 | n/a | else |
---|
931 | n/a | ecif.rvalue = rvalue; |
---|
932 | n/a | |
---|
933 | n/a | switch (cif->abi) |
---|
934 | n/a | { |
---|
935 | n/a | case FFI_AIX: |
---|
936 | n/a | ffi_call_AIX(&ecif, -(long)cif->bytes, cif->flags, ecif.rvalue, fn, |
---|
937 | n/a | FFI_FN(ffi_prep_args)); |
---|
938 | n/a | break; |
---|
939 | n/a | case FFI_DARWIN: |
---|
940 | n/a | ffi_call_DARWIN(&ecif, -(long)cif->bytes, cif->flags, ecif.rvalue, fn, |
---|
941 | n/a | FFI_FN(ffi_prep_args), cif->rtype); |
---|
942 | n/a | break; |
---|
943 | n/a | default: |
---|
944 | n/a | FFI_ASSERT(0); |
---|
945 | n/a | break; |
---|
946 | n/a | } |
---|
947 | n/a | } |
---|
948 | n/a | |
---|
949 | n/a | static void flush_icache(char *); |
---|
950 | n/a | static void flush_range(char *, int); |
---|
951 | n/a | |
---|
952 | n/a | /* The layout of a function descriptor. A C function pointer really |
---|
953 | n/a | points to one of these. */ |
---|
954 | n/a | |
---|
955 | n/a | typedef struct aix_fd_struct { |
---|
956 | n/a | void *code_pointer; |
---|
957 | n/a | void *toc; |
---|
958 | n/a | } aix_fd; |
---|
959 | n/a | |
---|
960 | n/a | /* here I'd like to add the stack frame layout we use in darwin_closure.S |
---|
961 | n/a | and aix_closure.S |
---|
962 | n/a | |
---|
963 | n/a | m32/m64 |
---|
964 | n/a | |
---|
965 | n/a | The stack layout looks like this: |
---|
966 | n/a | |
---|
967 | n/a | | Additional params... | | Higher address |
---|
968 | n/a | ~ ~ ~ |
---|
969 | n/a | | Parameters (at least 8*4/8=32/64) | | NUM_GPR_ARG_REGISTERS |
---|
970 | n/a | |--------------------------------------------| | |
---|
971 | n/a | | TOC=R2 (AIX) Reserved (Darwin) 4/8 | | |
---|
972 | n/a | |--------------------------------------------| | |
---|
973 | n/a | | Reserved 2*4/8 | | |
---|
974 | n/a | |--------------------------------------------| | |
---|
975 | n/a | | Space for callee's LR 4/8 | | |
---|
976 | n/a | |--------------------------------------------| | |
---|
977 | n/a | | Saved CR [low word for m64] 4/8 | | |
---|
978 | n/a | |--------------------------------------------| | |
---|
979 | n/a | | Current backchain pointer 4/8 |-/ Parent's frame. |
---|
980 | n/a | |--------------------------------------------| <+ <<< on entry to ffi_closure_ASM |
---|
981 | n/a | | Result Bytes 16 | | |
---|
982 | n/a | |--------------------------------------------| | |
---|
983 | n/a | ~ padding to 16-byte alignment ~ ~ |
---|
984 | n/a | |--------------------------------------------| | |
---|
985 | n/a | | NUM_FPR_ARG_REGISTERS slots | | |
---|
986 | n/a | | here fp13 .. fp1 13*8 | | |
---|
987 | n/a | |--------------------------------------------| | |
---|
988 | n/a | | R3..R10 8*4/8=32/64 | | NUM_GPR_ARG_REGISTERS |
---|
989 | n/a | |--------------------------------------------| | |
---|
990 | n/a | | TOC=R2 (AIX) Reserved (Darwin) 4/8 | | |
---|
991 | n/a | |--------------------------------------------| | stack | |
---|
992 | n/a | | Reserved [compiler,binder] 2*4/8 | | grows | |
---|
993 | n/a | |--------------------------------------------| | down V |
---|
994 | n/a | | Space for callee's LR 4/8 | | |
---|
995 | n/a | |--------------------------------------------| | lower addresses |
---|
996 | n/a | | Saved CR [low word for m64] 4/8 | | |
---|
997 | n/a | |--------------------------------------------| | stack pointer here |
---|
998 | n/a | | Current backchain pointer 4/8 |-/ during |
---|
999 | n/a | |--------------------------------------------| <<< ffi_closure_ASM. |
---|
1000 | n/a | |
---|
1001 | n/a | */ |
---|
1002 | n/a | |
---|
1003 | n/a | ffi_status |
---|
1004 | n/a | ffi_prep_closure_loc (ffi_closure* closure, |
---|
1005 | n/a | ffi_cif* cif, |
---|
1006 | n/a | void (*fun)(ffi_cif*, void*, void**, void*), |
---|
1007 | n/a | void *user_data, |
---|
1008 | n/a | void *codeloc) |
---|
1009 | n/a | { |
---|
1010 | n/a | unsigned int *tramp; |
---|
1011 | n/a | struct ffi_aix_trampoline_struct *tramp_aix; |
---|
1012 | n/a | aix_fd *fd; |
---|
1013 | n/a | |
---|
1014 | n/a | switch (cif->abi) |
---|
1015 | n/a | { |
---|
1016 | n/a | case FFI_DARWIN: |
---|
1017 | n/a | |
---|
1018 | n/a | FFI_ASSERT (cif->abi == FFI_DARWIN); |
---|
1019 | n/a | |
---|
1020 | n/a | tramp = (unsigned int *) &closure->tramp[0]; |
---|
1021 | n/a | #if defined(POWERPC_DARWIN64) |
---|
1022 | n/a | tramp[0] = 0x7c0802a6; /* mflr r0 */ |
---|
1023 | n/a | tramp[1] = 0x429f0015; /* bcl- 20,4*cr7+so, +0x18 (L1) */ |
---|
1024 | n/a | /* We put the addresses here. */ |
---|
1025 | n/a | tramp[6] = 0x7d6802a6; /*L1: mflr r11 */ |
---|
1026 | n/a | tramp[7] = 0xe98b0000; /* ld r12,0(r11) function address */ |
---|
1027 | n/a | tramp[8] = 0x7c0803a6; /* mtlr r0 */ |
---|
1028 | n/a | tramp[9] = 0x7d8903a6; /* mtctr r12 */ |
---|
1029 | n/a | tramp[10] = 0xe96b0008; /* lwz r11,8(r11) static chain */ |
---|
1030 | n/a | tramp[11] = 0x4e800420; /* bctr */ |
---|
1031 | n/a | |
---|
1032 | n/a | *((unsigned long *)&tramp[2]) = (unsigned long) ffi_closure_ASM; /* function */ |
---|
1033 | n/a | *((unsigned long *)&tramp[4]) = (unsigned long) codeloc; /* context */ |
---|
1034 | n/a | #else |
---|
1035 | n/a | tramp[0] = 0x7c0802a6; /* mflr r0 */ |
---|
1036 | n/a | tramp[1] = 0x429f000d; /* bcl- 20,4*cr7+so,0x10 */ |
---|
1037 | n/a | tramp[4] = 0x7d6802a6; /* mflr r11 */ |
---|
1038 | n/a | tramp[5] = 0x818b0000; /* lwz r12,0(r11) function address */ |
---|
1039 | n/a | tramp[6] = 0x7c0803a6; /* mtlr r0 */ |
---|
1040 | n/a | tramp[7] = 0x7d8903a6; /* mtctr r12 */ |
---|
1041 | n/a | tramp[8] = 0x816b0004; /* lwz r11,4(r11) static chain */ |
---|
1042 | n/a | tramp[9] = 0x4e800420; /* bctr */ |
---|
1043 | n/a | tramp[2] = (unsigned long) ffi_closure_ASM; /* function */ |
---|
1044 | n/a | tramp[3] = (unsigned long) codeloc; /* context */ |
---|
1045 | n/a | #endif |
---|
1046 | n/a | closure->cif = cif; |
---|
1047 | n/a | closure->fun = fun; |
---|
1048 | n/a | closure->user_data = user_data; |
---|
1049 | n/a | |
---|
1050 | n/a | /* Flush the icache. Only necessary on Darwin. */ |
---|
1051 | n/a | flush_range(codeloc, FFI_TRAMPOLINE_SIZE); |
---|
1052 | n/a | |
---|
1053 | n/a | break; |
---|
1054 | n/a | |
---|
1055 | n/a | case FFI_AIX: |
---|
1056 | n/a | |
---|
1057 | n/a | tramp_aix = (struct ffi_aix_trampoline_struct *) (closure->tramp); |
---|
1058 | n/a | fd = (aix_fd *)(void *)ffi_closure_ASM; |
---|
1059 | n/a | |
---|
1060 | n/a | FFI_ASSERT (cif->abi == FFI_AIX); |
---|
1061 | n/a | |
---|
1062 | n/a | tramp_aix->code_pointer = fd->code_pointer; |
---|
1063 | n/a | tramp_aix->toc = fd->toc; |
---|
1064 | n/a | tramp_aix->static_chain = codeloc; |
---|
1065 | n/a | closure->cif = cif; |
---|
1066 | n/a | closure->fun = fun; |
---|
1067 | n/a | closure->user_data = user_data; |
---|
1068 | n/a | break; |
---|
1069 | n/a | |
---|
1070 | n/a | default: |
---|
1071 | n/a | return FFI_BAD_ABI; |
---|
1072 | n/a | break; |
---|
1073 | n/a | } |
---|
1074 | n/a | return FFI_OK; |
---|
1075 | n/a | } |
---|
1076 | n/a | |
---|
1077 | n/a | static void |
---|
1078 | n/a | flush_icache(char *addr) |
---|
1079 | n/a | { |
---|
1080 | n/a | #ifndef _AIX |
---|
1081 | n/a | __asm__ volatile ( |
---|
1082 | n/a | "dcbf 0,%0\n" |
---|
1083 | n/a | "\tsync\n" |
---|
1084 | n/a | "\ticbi 0,%0\n" |
---|
1085 | n/a | "\tsync\n" |
---|
1086 | n/a | "\tisync" |
---|
1087 | n/a | : : "r"(addr) : "memory"); |
---|
1088 | n/a | #endif |
---|
1089 | n/a | } |
---|
1090 | n/a | |
---|
1091 | n/a | static void |
---|
1092 | n/a | flush_range(char * addr1, int size) |
---|
1093 | n/a | { |
---|
1094 | n/a | #define MIN_LINE_SIZE 32 |
---|
1095 | n/a | int i; |
---|
1096 | n/a | for (i = 0; i < size; i += MIN_LINE_SIZE) |
---|
1097 | n/a | flush_icache(addr1+i); |
---|
1098 | n/a | flush_icache(addr1+size-1); |
---|
1099 | n/a | } |
---|
1100 | n/a | |
---|
1101 | n/a | typedef union |
---|
1102 | n/a | { |
---|
1103 | n/a | float f; |
---|
1104 | n/a | double d; |
---|
1105 | n/a | } ffi_dblfl; |
---|
1106 | n/a | |
---|
1107 | n/a | ffi_type * |
---|
1108 | n/a | ffi_closure_helper_DARWIN (ffi_closure *, void *, |
---|
1109 | n/a | unsigned long *, ffi_dblfl *); |
---|
1110 | n/a | |
---|
1111 | n/a | /* Basically the trampoline invokes ffi_closure_ASM, and on |
---|
1112 | n/a | entry, r11 holds the address of the closure. |
---|
1113 | n/a | After storing the registers that could possibly contain |
---|
1114 | n/a | parameters to be passed into the stack frame and setting |
---|
1115 | n/a | up space for a return value, ffi_closure_ASM invokes the |
---|
1116 | n/a | following helper function to do most of the work. */ |
---|
1117 | n/a | |
---|
1118 | n/a | ffi_type * |
---|
1119 | n/a | ffi_closure_helper_DARWIN (ffi_closure *closure, void *rvalue, |
---|
1120 | n/a | unsigned long *pgr, ffi_dblfl *pfr) |
---|
1121 | n/a | { |
---|
1122 | n/a | /* rvalue is the pointer to space for return value in closure assembly |
---|
1123 | n/a | pgr is the pointer to where r3-r10 are stored in ffi_closure_ASM |
---|
1124 | n/a | pfr is the pointer to where f1-f13 are stored in ffi_closure_ASM. */ |
---|
1125 | n/a | |
---|
1126 | n/a | typedef double ldbits[2]; |
---|
1127 | n/a | |
---|
1128 | n/a | union ldu |
---|
1129 | n/a | { |
---|
1130 | n/a | ldbits lb; |
---|
1131 | n/a | long double ld; |
---|
1132 | n/a | }; |
---|
1133 | n/a | |
---|
1134 | n/a | void ** avalue; |
---|
1135 | n/a | ffi_type ** arg_types; |
---|
1136 | n/a | long i, avn; |
---|
1137 | n/a | ffi_cif * cif; |
---|
1138 | n/a | ffi_dblfl * end_pfr = pfr + NUM_FPR_ARG_REGISTERS; |
---|
1139 | n/a | unsigned size_al; |
---|
1140 | n/a | #if defined(POWERPC_DARWIN64) |
---|
1141 | n/a | unsigned fpsused = 0; |
---|
1142 | n/a | #endif |
---|
1143 | n/a | |
---|
1144 | n/a | cif = closure->cif; |
---|
1145 | n/a | avalue = alloca (cif->nargs * sizeof(void *)); |
---|
1146 | n/a | |
---|
1147 | n/a | if (cif->rtype->type == FFI_TYPE_STRUCT) |
---|
1148 | n/a | { |
---|
1149 | n/a | #if defined(POWERPC_DARWIN64) |
---|
1150 | n/a | if (!darwin64_struct_ret_by_value_p (cif->rtype)) |
---|
1151 | n/a | { |
---|
1152 | n/a | /* Won't fit into the regs - return by ref. */ |
---|
1153 | n/a | rvalue = (void *) *pgr; |
---|
1154 | n/a | pgr++; |
---|
1155 | n/a | } |
---|
1156 | n/a | #elif defined(DARWIN_PPC) |
---|
1157 | n/a | if (cif->rtype->size > 4) |
---|
1158 | n/a | { |
---|
1159 | n/a | rvalue = (void *) *pgr; |
---|
1160 | n/a | pgr++; |
---|
1161 | n/a | } |
---|
1162 | n/a | #else /* assume we return by ref. */ |
---|
1163 | n/a | rvalue = (void *) *pgr; |
---|
1164 | n/a | pgr++; |
---|
1165 | n/a | #endif |
---|
1166 | n/a | } |
---|
1167 | n/a | |
---|
1168 | n/a | i = 0; |
---|
1169 | n/a | avn = cif->nargs; |
---|
1170 | n/a | arg_types = cif->arg_types; |
---|
1171 | n/a | |
---|
1172 | n/a | /* Grab the addresses of the arguments from the stack frame. */ |
---|
1173 | n/a | while (i < avn) |
---|
1174 | n/a | { |
---|
1175 | n/a | switch (arg_types[i]->type) |
---|
1176 | n/a | { |
---|
1177 | n/a | case FFI_TYPE_SINT8: |
---|
1178 | n/a | case FFI_TYPE_UINT8: |
---|
1179 | n/a | #if defined(POWERPC64) |
---|
1180 | n/a | avalue[i] = (char *) pgr + 7; |
---|
1181 | n/a | #else |
---|
1182 | n/a | avalue[i] = (char *) pgr + 3; |
---|
1183 | n/a | #endif |
---|
1184 | n/a | pgr++; |
---|
1185 | n/a | break; |
---|
1186 | n/a | |
---|
1187 | n/a | case FFI_TYPE_SINT16: |
---|
1188 | n/a | case FFI_TYPE_UINT16: |
---|
1189 | n/a | #if defined(POWERPC64) |
---|
1190 | n/a | avalue[i] = (char *) pgr + 6; |
---|
1191 | n/a | #else |
---|
1192 | n/a | avalue[i] = (char *) pgr + 2; |
---|
1193 | n/a | #endif |
---|
1194 | n/a | pgr++; |
---|
1195 | n/a | break; |
---|
1196 | n/a | |
---|
1197 | n/a | case FFI_TYPE_SINT32: |
---|
1198 | n/a | case FFI_TYPE_UINT32: |
---|
1199 | n/a | #if defined(POWERPC64) |
---|
1200 | n/a | avalue[i] = (char *) pgr + 4; |
---|
1201 | n/a | #else |
---|
1202 | n/a | case FFI_TYPE_POINTER: |
---|
1203 | n/a | avalue[i] = pgr; |
---|
1204 | n/a | #endif |
---|
1205 | n/a | pgr++; |
---|
1206 | n/a | break; |
---|
1207 | n/a | |
---|
1208 | n/a | case FFI_TYPE_STRUCT: |
---|
1209 | n/a | size_al = arg_types[i]->size; |
---|
1210 | n/a | #if defined(POWERPC_DARWIN64) |
---|
1211 | n/a | pgr = (unsigned long *)ALIGN((char *)pgr, arg_types[i]->alignment); |
---|
1212 | n/a | if (size_al < 3 || size_al == 4) |
---|
1213 | n/a | { |
---|
1214 | n/a | avalue[i] = ((char *)pgr)+8-size_al; |
---|
1215 | n/a | if (arg_types[i]->elements[0]->type == FFI_TYPE_FLOAT |
---|
1216 | n/a | && fpsused < NUM_FPR_ARG_REGISTERS) |
---|
1217 | n/a | { |
---|
1218 | n/a | *(float *)pgr = (float) *(double *)pfr; |
---|
1219 | n/a | pfr++; |
---|
1220 | n/a | fpsused++; |
---|
1221 | n/a | } |
---|
1222 | n/a | } |
---|
1223 | n/a | else |
---|
1224 | n/a | { |
---|
1225 | n/a | if (size_al != 16) |
---|
1226 | n/a | pfr = (ffi_dblfl *) |
---|
1227 | n/a | darwin64_struct_floats_to_mem (arg_types[i], (char *)pgr, |
---|
1228 | n/a | (double *)pfr, &fpsused); |
---|
1229 | n/a | avalue[i] = pgr; |
---|
1230 | n/a | } |
---|
1231 | n/a | pgr += (size_al + 7) / 8; |
---|
1232 | n/a | #else |
---|
1233 | n/a | /* If the first member of the struct is a double, then align |
---|
1234 | n/a | the struct to double-word. */ |
---|
1235 | n/a | if (arg_types[i]->elements[0]->type == FFI_TYPE_DOUBLE) |
---|
1236 | n/a | size_al = ALIGN(arg_types[i]->size, 8); |
---|
1237 | n/a | # if defined(POWERPC64) |
---|
1238 | n/a | FFI_ASSERT (cif->abi != FFI_DARWIN); |
---|
1239 | n/a | avalue[i] = pgr; |
---|
1240 | n/a | pgr += (size_al + 7) / 8; |
---|
1241 | n/a | # else |
---|
1242 | n/a | /* Structures that match the basic modes (QI 1 byte, HI 2 bytes, |
---|
1243 | n/a | SI 4 bytes) are aligned as if they were those modes. */ |
---|
1244 | n/a | if (size_al < 3 && cif->abi == FFI_DARWIN) |
---|
1245 | n/a | avalue[i] = (char*) pgr + 4 - size_al; |
---|
1246 | n/a | else |
---|
1247 | n/a | avalue[i] = pgr; |
---|
1248 | n/a | pgr += (size_al + 3) / 4; |
---|
1249 | n/a | # endif |
---|
1250 | n/a | #endif |
---|
1251 | n/a | break; |
---|
1252 | n/a | |
---|
1253 | n/a | case FFI_TYPE_SINT64: |
---|
1254 | n/a | case FFI_TYPE_UINT64: |
---|
1255 | n/a | #if defined(POWERPC64) |
---|
1256 | n/a | case FFI_TYPE_POINTER: |
---|
1257 | n/a | avalue[i] = pgr; |
---|
1258 | n/a | pgr++; |
---|
1259 | n/a | break; |
---|
1260 | n/a | #else |
---|
1261 | n/a | /* Long long ints are passed in two gpr's. */ |
---|
1262 | n/a | avalue[i] = pgr; |
---|
1263 | n/a | pgr += 2; |
---|
1264 | n/a | break; |
---|
1265 | n/a | #endif |
---|
1266 | n/a | |
---|
1267 | n/a | case FFI_TYPE_FLOAT: |
---|
1268 | n/a | /* A float value consumes a GPR. |
---|
1269 | n/a | There are 13 64bit floating point registers. */ |
---|
1270 | n/a | if (pfr < end_pfr) |
---|
1271 | n/a | { |
---|
1272 | n/a | double temp = pfr->d; |
---|
1273 | n/a | pfr->f = (float) temp; |
---|
1274 | n/a | avalue[i] = pfr; |
---|
1275 | n/a | pfr++; |
---|
1276 | n/a | } |
---|
1277 | n/a | else |
---|
1278 | n/a | { |
---|
1279 | n/a | avalue[i] = pgr; |
---|
1280 | n/a | } |
---|
1281 | n/a | pgr++; |
---|
1282 | n/a | break; |
---|
1283 | n/a | |
---|
1284 | n/a | case FFI_TYPE_DOUBLE: |
---|
1285 | n/a | /* A double value consumes two GPRs. |
---|
1286 | n/a | There are 13 64bit floating point registers. */ |
---|
1287 | n/a | if (pfr < end_pfr) |
---|
1288 | n/a | { |
---|
1289 | n/a | avalue[i] = pfr; |
---|
1290 | n/a | pfr++; |
---|
1291 | n/a | } |
---|
1292 | n/a | else |
---|
1293 | n/a | { |
---|
1294 | n/a | avalue[i] = pgr; |
---|
1295 | n/a | } |
---|
1296 | n/a | #ifdef POWERPC64 |
---|
1297 | n/a | pgr++; |
---|
1298 | n/a | #else |
---|
1299 | n/a | pgr += 2; |
---|
1300 | n/a | #endif |
---|
1301 | n/a | break; |
---|
1302 | n/a | |
---|
1303 | n/a | #if FFI_TYPE_LONGDOUBLE != FFI_TYPE_DOUBLE |
---|
1304 | n/a | |
---|
1305 | n/a | case FFI_TYPE_LONGDOUBLE: |
---|
1306 | n/a | #ifdef POWERPC64 |
---|
1307 | n/a | if (pfr + 1 < end_pfr) |
---|
1308 | n/a | { |
---|
1309 | n/a | avalue[i] = pfr; |
---|
1310 | n/a | pfr += 2; |
---|
1311 | n/a | } |
---|
1312 | n/a | else |
---|
1313 | n/a | { |
---|
1314 | n/a | if (pfr < end_pfr) |
---|
1315 | n/a | { |
---|
1316 | n/a | *pgr = *(unsigned long *) pfr; |
---|
1317 | n/a | pfr++; |
---|
1318 | n/a | } |
---|
1319 | n/a | avalue[i] = pgr; |
---|
1320 | n/a | } |
---|
1321 | n/a | pgr += 2; |
---|
1322 | n/a | #else /* POWERPC64 */ |
---|
1323 | n/a | /* A long double value consumes four GPRs and two FPRs. |
---|
1324 | n/a | There are 13 64bit floating point registers. */ |
---|
1325 | n/a | if (pfr + 1 < end_pfr) |
---|
1326 | n/a | { |
---|
1327 | n/a | avalue[i] = pfr; |
---|
1328 | n/a | pfr += 2; |
---|
1329 | n/a | } |
---|
1330 | n/a | /* Here we have the situation where one part of the long double |
---|
1331 | n/a | is stored in fpr13 and the other part is already on the stack. |
---|
1332 | n/a | We use a union to pass the long double to avalue[i]. */ |
---|
1333 | n/a | else if (pfr + 1 == end_pfr) |
---|
1334 | n/a | { |
---|
1335 | n/a | union ldu temp_ld; |
---|
1336 | n/a | memcpy (&temp_ld.lb[0], pfr, sizeof(ldbits)); |
---|
1337 | n/a | memcpy (&temp_ld.lb[1], pgr + 2, sizeof(ldbits)); |
---|
1338 | n/a | avalue[i] = &temp_ld.ld; |
---|
1339 | n/a | pfr++; |
---|
1340 | n/a | } |
---|
1341 | n/a | else |
---|
1342 | n/a | { |
---|
1343 | n/a | avalue[i] = pgr; |
---|
1344 | n/a | } |
---|
1345 | n/a | pgr += 4; |
---|
1346 | n/a | #endif /* POWERPC64 */ |
---|
1347 | n/a | break; |
---|
1348 | n/a | #endif |
---|
1349 | n/a | default: |
---|
1350 | n/a | FFI_ASSERT(0); |
---|
1351 | n/a | } |
---|
1352 | n/a | i++; |
---|
1353 | n/a | } |
---|
1354 | n/a | |
---|
1355 | n/a | (closure->fun) (cif, rvalue, avalue, closure->user_data); |
---|
1356 | n/a | |
---|
1357 | n/a | /* Tell ffi_closure_ASM to perform return type promotions. */ |
---|
1358 | n/a | return cif->rtype; |
---|
1359 | n/a | } |
---|