* config/i386/i386.c (ix86_expand_prologue): Tighten assert
[official-gcc.git] / libffi / src / prep_cif.c
blob5881cebd784c2bcf4c59a6ed822d84e1733b5610
1 /* -----------------------------------------------------------------------
2 prep_cif.c - Copyright (c) 2011, 2012 Anthony Green
3 Copyright (c) 1996, 1998, 2007 Red Hat, Inc.
5 Permission is hereby granted, free of charge, to any person obtaining
6 a copy of this software and associated documentation files (the
7 ``Software''), to deal in the Software without restriction, including
8 without limitation the rights to use, copy, modify, merge, publish,
9 distribute, sublicense, and/or sell copies of the Software, and to
10 permit persons to whom the Software is furnished to do so, subject to
11 the following conditions:
13 The above copyright notice and this permission notice shall be included
14 in all copies or substantial portions of the Software.
16 THE SOFTWARE IS PROVIDED ``AS IS'', WITHOUT WARRANTY OF ANY KIND,
17 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
18 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
19 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
20 HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
21 WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22 OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
23 DEALINGS IN THE SOFTWARE.
24 ----------------------------------------------------------------------- */
26 #include <ffi.h>
27 #include <ffi_common.h>
28 #include <stdlib.h>
30 /* Round up to FFI_SIZEOF_ARG. */
32 #define STACK_ARG_SIZE(x) ALIGN(x, FFI_SIZEOF_ARG)
34 /* Perform machine independent initialization of aggregate type
35 specifications. */
37 static ffi_status initialize_aggregate(ffi_type *arg)
39 ffi_type **ptr;
41 if (UNLIKELY(arg == NULL || arg->elements == NULL))
42 return FFI_BAD_TYPEDEF;
44 arg->size = 0;
45 arg->alignment = 0;
47 ptr = &(arg->elements[0]);
49 if (UNLIKELY(ptr == 0))
50 return FFI_BAD_TYPEDEF;
52 while ((*ptr) != NULL)
54 if (UNLIKELY(((*ptr)->size == 0)
55 && (initialize_aggregate((*ptr)) != FFI_OK)))
56 return FFI_BAD_TYPEDEF;
58 /* Perform a sanity check on the argument type */
59 FFI_ASSERT_VALID_TYPE(*ptr);
61 arg->size = ALIGN(arg->size, (*ptr)->alignment);
62 arg->size += (*ptr)->size;
64 arg->alignment = (arg->alignment > (*ptr)->alignment) ?
65 arg->alignment : (*ptr)->alignment;
67 ptr++;
70 /* Structure size includes tail padding. This is important for
71 structures that fit in one register on ABIs like the PowerPC64
72 Linux ABI that right justify small structs in a register.
73 It's also needed for nested structure layout, for example
74 struct A { long a; char b; }; struct B { struct A x; char y; };
75 should find y at an offset of 2*sizeof(long) and result in a
76 total size of 3*sizeof(long). */
77 arg->size = ALIGN (arg->size, arg->alignment);
79 /* On some targets, the ABI defines that structures have an additional
80 alignment beyond the "natural" one based on their elements. */
81 #ifdef FFI_AGGREGATE_ALIGNMENT
82 if (FFI_AGGREGATE_ALIGNMENT > arg->alignment)
83 arg->alignment = FFI_AGGREGATE_ALIGNMENT;
84 #endif
86 if (arg->size == 0)
87 return FFI_BAD_TYPEDEF;
88 else
89 return FFI_OK;
92 #ifndef __CRIS__
93 /* The CRIS ABI specifies structure elements to have byte
94 alignment only, so it completely overrides this functions,
95 which assumes "natural" alignment and padding. */
97 /* Perform machine independent ffi_cif preparation, then call
98 machine dependent routine. */
100 /* For non variadic functions isvariadic should be 0 and
101 nfixedargs==ntotalargs.
103 For variadic calls, isvariadic should be 1 and nfixedargs
104 and ntotalargs set as appropriate. nfixedargs must always be >=1 */
107 ffi_status FFI_HIDDEN ffi_prep_cif_core(ffi_cif *cif, ffi_abi abi,
108 unsigned int isvariadic,
109 unsigned int nfixedargs,
110 unsigned int ntotalargs,
111 ffi_type *rtype, ffi_type **atypes)
113 unsigned bytes = 0;
114 unsigned int i;
115 ffi_type **ptr;
117 FFI_ASSERT(cif != NULL);
118 FFI_ASSERT((!isvariadic) || (nfixedargs >= 1));
119 FFI_ASSERT(nfixedargs <= ntotalargs);
121 if (! (abi > FFI_FIRST_ABI && abi < FFI_LAST_ABI))
122 return FFI_BAD_ABI;
124 cif->abi = abi;
125 cif->arg_types = atypes;
126 cif->nargs = ntotalargs;
127 cif->rtype = rtype;
129 cif->flags = 0;
131 #if HAVE_LONG_DOUBLE_VARIANT
132 ffi_prep_types (abi);
133 #endif
135 /* Initialize the return type if necessary */
136 if ((cif->rtype->size == 0) && (initialize_aggregate(cif->rtype) != FFI_OK))
137 return FFI_BAD_TYPEDEF;
139 #ifndef FFI_TARGET_HAS_COMPLEX_TYPE
140 if (rtype->type == FFI_TYPE_COMPLEX)
141 abort();
142 #endif
143 /* Perform a sanity check on the return type */
144 FFI_ASSERT_VALID_TYPE(cif->rtype);
146 /* x86, x86-64 and s390 stack space allocation is handled in prep_machdep. */
147 #if !defined FFI_TARGET_SPECIFIC_STACK_SPACE_ALLOCATION
148 /* Make space for the return structure pointer */
149 if (cif->rtype->type == FFI_TYPE_STRUCT
150 #ifdef TILE
151 && (cif->rtype->size > 10 * FFI_SIZEOF_ARG)
152 #endif
153 #ifdef XTENSA
154 && (cif->rtype->size > 16)
155 #endif
156 #ifdef NIOS2
157 && (cif->rtype->size > 8)
158 #endif
160 bytes = STACK_ARG_SIZE(sizeof(void*));
161 #endif
163 for (ptr = cif->arg_types, i = cif->nargs; i > 0; i--, ptr++)
166 /* Initialize any uninitialized aggregate type definitions */
167 if (((*ptr)->size == 0) && (initialize_aggregate((*ptr)) != FFI_OK))
168 return FFI_BAD_TYPEDEF;
170 #ifndef FFI_TARGET_HAS_COMPLEX_TYPE
171 if ((*ptr)->type == FFI_TYPE_COMPLEX)
172 abort();
173 #endif
174 /* Perform a sanity check on the argument type, do this
175 check after the initialization. */
176 FFI_ASSERT_VALID_TYPE(*ptr);
178 #if !defined FFI_TARGET_SPECIFIC_STACK_SPACE_ALLOCATION
180 /* Add any padding if necessary */
181 if (((*ptr)->alignment - 1) & bytes)
182 bytes = (unsigned)ALIGN(bytes, (*ptr)->alignment);
184 #ifdef TILE
185 if (bytes < 10 * FFI_SIZEOF_ARG &&
186 bytes + STACK_ARG_SIZE((*ptr)->size) > 10 * FFI_SIZEOF_ARG)
188 /* An argument is never split between the 10 parameter
189 registers and the stack. */
190 bytes = 10 * FFI_SIZEOF_ARG;
192 #endif
193 #ifdef XTENSA
194 if (bytes <= 6*4 && bytes + STACK_ARG_SIZE((*ptr)->size) > 6*4)
195 bytes = 6*4;
196 #endif
198 bytes += STACK_ARG_SIZE((*ptr)->size);
200 #endif
203 cif->bytes = bytes;
205 /* Perform machine dependent cif processing */
206 #ifdef FFI_TARGET_SPECIFIC_VARIADIC
207 if (isvariadic)
208 return ffi_prep_cif_machdep_var(cif, nfixedargs, ntotalargs);
209 #endif
211 return ffi_prep_cif_machdep(cif);
213 #endif /* not __CRIS__ */
215 ffi_status ffi_prep_cif(ffi_cif *cif, ffi_abi abi, unsigned int nargs,
216 ffi_type *rtype, ffi_type **atypes)
218 return ffi_prep_cif_core(cif, abi, 0, nargs, nargs, rtype, atypes);
221 ffi_status ffi_prep_cif_var(ffi_cif *cif,
222 ffi_abi abi,
223 unsigned int nfixedargs,
224 unsigned int ntotalargs,
225 ffi_type *rtype,
226 ffi_type **atypes)
228 return ffi_prep_cif_core(cif, abi, 1, nfixedargs, ntotalargs, rtype, atypes);
231 #if FFI_CLOSURES
233 ffi_status
234 ffi_prep_closure (ffi_closure* closure,
235 ffi_cif* cif,
236 void (*fun)(ffi_cif*,void*,void**,void*),
237 void *user_data)
239 return ffi_prep_closure_loc (closure, cif, fun, user_data, closure);
242 #endif