Searched refs:abi (Results 1 - 25 of 44) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Dprep_cif.c107 ffi_status FFI_HIDDEN ffi_prep_cif_core(ffi_cif *cif, ffi_abi abi, argument
121 if (! (abi > FFI_FIRST_ABI && abi < FFI_LAST_ABI))
124 cif->abi = abi;
132 ffi_prep_types (abi);
151 && (cif->abi != FFI_V9 || cif->rtype->size > 32)
184 && ((*ptr)->size > 16 || cif->abi != FFI_V9))
186 && cif->abi != FFI_V9))
226 ffi_status ffi_prep_cif(ffi_cif *cif, ffi_abi abi, unsigne argument
232 ffi_prep_cif_var(ffi_cif *cif, ffi_abi abi, unsigned int nfixedargs, unsigned int ntotalargs, ffi_type *rtype, ffi_type **atypes) argument
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/tile/
H A Dffitarget.h35 #include <arch/abi.h>
H A Dffi.c32 #include <arch/abi.h>
228 if (cif->abi != FFI_UNIX)
260 if (cif->abi != FFI_UNIX)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/
H A Dffi.c54 const int cabi = ecif->cif->abi;
294 if (cif->abi == FFI_MS_CDECL)
330 if (cif->abi == FFI_SYSV || cif->abi == FFI_UNIX64)
379 switch (cif->abi)
401 ffi_call_win32(ffi_prep_args, &ecif, cif->abi, cif->bytes, cif->flags,
528 const int cabi = cif->abi;
729 if (cif->abi == FFI_WIN64)
738 if (cif->abi == FFI_SYSV)
744 else if (cif->abi
847 const unsigned int abi = cif->abi; local
[all...]
H A Dffi64.c433 FFI_ASSERT (cif->abi == FFI_UNIX64);
543 int abi = cif->abi; local
544 if (UNLIKELY (! (abi > FFI_FIRST_ABI && abi < FFI_LAST_ABI)))
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dffi.c38 ffi_prep_types (ffi_abi abi) argument
42 ffi_prep_types_linux64 (abi);
44 ffi_prep_types_sysv (abi);
H A Dffi_sysv.c47 ffi_prep_types_sysv (ffi_abi abi) argument
49 if ((abi & (FFI_SYSV | FFI_SYSV_LONG_DOUBLE_128)) == FFI_SYSV)
62 /* Transform long double, double and float to other types as per abi. */
64 translate_float (int abi, int type) argument
68 && (abi & FFI_SYSV_LONG_DOUBLE_128) == 0)
71 if ((abi & FFI_SYSV_SOFT_FLOAT) != 0)
81 else if ((abi & FFI_SYSV_IBM_LONG_DOUBLE) == 0)
122 type = translate_float (cif->abi, type);
153 if ((cif->abi & FFI_SYSV_STRUCT_RET) != 0 && size <= 8)
179 typenum = translate_float (cif->abi, typenu
[all...]
H A Dffi_linux64.c49 ffi_prep_types_linux64 (ffi_abi abi) argument
51 if ((abi & (FFI_LINUX | FFI_LINUX_LONG_DOUBLE_128)) == FFI_LINUX)
118 if ((cif->abi & FFI_LINUX_LONG_DOUBLE_128) != 0)
144 if ((cif->abi & FFI_LINUX_LONG_DOUBLE_128) != 0)
199 if ((cif->abi & FFI_LINUX_LONG_DOUBLE_128) != 0)
215 if ((cif->abi & FFI_LINUX_STRUCT_ALIGN) != 0)
292 if ((cif->abi & FFI_LINUX) != 0)
295 else if (cif->abi == FFI_COMPAT_LINUX64)
300 /* Translate to new abi value. */
301 cif->abi
[all...]
H A Dffi_darwin.c112 const ffi_abi abi = ecif->cif->abi; local
272 FFI_ASSERT (abi != FFI_DARWIN);
279 if (size_al < 3 && abi == FFI_DARWIN)
672 if (cif->abi == FFI_DARWIN)
679 if (cif->abi == FFI_AIX)
933 switch (cif->abi)
1014 switch (cif->abi)
1018 FFI_ASSERT (cif->abi == FFI_DARWIN);
1060 FFI_ASSERT (cif->abi
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Derr_bad_abi.c31 cif.abi= 255;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/cris/
H A Dffi.c158 ffi_abi abi, unsigned int isvariadic,
169 FFI_ASSERT (abi > FFI_FIRST_ABI && abi < FFI_LAST_ABI);
171 cif->abi = abi;
260 switch (cif->abi)
374 FFI_ASSERT (cif->abi == FFI_SYSV);
157 ffi_prep_cif_core(ffi_cif * cif, ffi_abi abi, unsigned int isvariadic, unsigned int nfixedargs, unsigned int ntotalargs, ffi_type * rtype, ffi_type ** atypes) argument
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/
H A Dffi.c131 type = (ecif->cif->abi == FFI_N64
132 || ecif->cif->abi == FFI_N64_SOFT_FLOAT)
135 if (i < 8 && (ecif->cif->abi == FFI_N32_SOFT_FLOAT
136 || ecif->cif->abi == FFI_N64_SOFT_FLOAT))
334 if (cif->rtype->type != FFI_TYPE_STRUCT && cif->abi == FFI_O32)
372 if (cif->abi == FFI_O32_SOFT_FLOAT)
427 int soft_float = (cif->abi == FFI_N32_SOFT_FLOAT
428 || cif->abi == FFI_N64_SOFT_FLOAT);
535 if (cif->abi == FFI_N32_SOFT_FLOAT || cif->abi
866 copy_struct_N32(char *target, unsigned offset, ffi_abi abi, ffi_type *type, int argn, unsigned arg_offset, ffi_arg *ar, ffi_arg *fpr, int soft_float) argument
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/msvc32include/
H A Dffi.h221 ffi_abi abi; member in struct:__anon27
234 void ffi_prep_types (ffi_abi abi);
239 ffi_abi abi,
432 ffi_abi abi,
438 ffi_abi abi,
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dffi.c256 if (cif->abi != FFI_V9)
306 if (cif->abi == FFI_V9 && cif->rtype->size > 32)
316 if (cif->abi == FFI_V9)
324 if (cif->abi == FFI_V9)
407 switch (cif->abi)
500 if (cif->abi != FFI_V9)
510 if (cif->abi != FFI_V8)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/
H A Dffi.c166 FFI_ASSERT(ecif->cif->abi == FFI_VFP);
257 if (cif->abi == FFI_VFP
282 if (cif->abi == FFI_VFP)
294 if (cif->abi == FFI_VFP)
295 cif->abi = FFI_SYSV;
336 switch (cif->abi)
396 if (cif->abi == FFI_VFP)
463 FFI_ASSERT(cif->abi == FFI_VFP);
781 if (cif->abi == FFI_SYSV)
784 else if (cif->abi
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml73 datatype abi = X86_32 | X64Win | X64Unix type
98 val abi = getABI() value
123 case abi of
149 if abi = X86_32 andalso nArgs >= 3
162 case (abi, nArgs) of (* Set the argument registers. *)
198 ReturnFromFunction(Int.max(case abi of X86_32 => nArgs-2 | _ => nArgs-5, 0)),
223 val abi = getABI() value
229 case abi of
254 case (abi, nArgs) of (* Set the argument registers. *)
289 ReturnFromFunction(Int.max(case abi o
313 val abi = getABI() value
411 val abi = getABI() value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arc/
H A Dffi.c183 switch (cif->abi)
249 switch (cif->abi)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/moxie/
H A Dffi.c146 switch (cif->abi)
255 if (cif->abi != FFI_EABI)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/vax/
H A Dffi.c180 switch (cif->abi)
249 FFI_ASSERT (cif->abi == FFI_ELFBSD);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/microblaze/
H A Dffi.c141 switch (cif->abi)
165 switch (cif->abi)
291 switch (cif->abi)
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeign.sml83 eqtype abi
85 val abiList: (string * abi) list
87 val abiDefault: abi
140 val createCIF: abi * ffiType * ffiType list -> cif
197 val callwithAbi: LibFFI.abi -> ctype list -> ctype -> symbol -> Memory.voidStar list * Memory.voidStar -> unit
201 LibFFI.abi -> ctype list -> ctype -> (Memory.voidStar * Memory.voidStar -> unit) -> Memory.voidStar
261 val buildClosure0withAbi: (unit -> 'a) * LibFFI.abi * unit * 'a conversion -> (unit -> 'a) closure
263 val buildClosure1withAbi: ('a -> 'b) * LibFFI.abi * 'a conversion * 'b conversion -> ('a -> 'b) closure
266 ('a * 'b -> 'c) * LibFFI.abi * ('a conversion * 'b conversion) * 'c conversion -> ('a * 'b -> 'c) closure
269 ('a * 'b *'c -> 'd) * LibFFI.abi * ('
534 type abi = Word.word type
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/bfin/
H A Dffi.c128 switch (cif->abi) {
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/
H A Dlibffi.exp312 foreach abi $abis {
313 set options [concat $common $opt $abi]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m68k/
H A Dffi.c239 switch (cif->abi)
331 if (cif->abi != FFI_SYSV)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m88k/
H A Dffi.c250 switch (cif->abi)
375 FFI_ASSERT (cif->abi == FFI_OBSD);

Completed in 198 milliseconds

12