/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | closure_fn0.c | 16 closure_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 20 (int)*(unsigned long long *)args[0] + (int)(*(int *)args[1]) + 21 (int)(*(unsigned long long *)args[2]) + (int)*(int *)args[3] + 22 (int)(*(signed short *)args[4]) + 23 (int)(*(unsigned long long *)args[5]) + 24 (int)*(int *)args[6] + (int)(*(int *)args[7]) + 25 (int)(*(double *)args[ [all...] |
H A D | closure_fn1.c | 13 static void closure_test_fn1(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 17 (int)*(float *)args[0] +(int)(*(float *)args[1]) + 18 (int)(*(float *)args[2]) + (int)*(float *)args[3] + 19 (int)(*(signed short *)args[4]) + (int)(*(float *)args[5]) + 20 (int)*(float *)args[6] + (int)(*(int *)args[7]) + 21 (int)(*(double*)args[ [all...] |
H A D | closure_fn2.c | 12 static void closure_test_fn2(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 16 (int)*(double *)args[0] +(int)(*(double *)args[1]) + 17 (int)(*(double *)args[2]) + (int)*(double *)args[3] + 18 (int)(*(signed short *)args[4]) + (int)(*(double *)args[5]) + 19 (int)*(double *)args[6] + (int)(*(int *)args[7]) + 20 (int)(*(double *)args[ [all...] |
H A D | closure_fn3.c | 12 static void closure_test_fn3(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 16 (int)*(float *)args[0] +(int)(*(float *)args[1]) + 17 (int)(*(float *)args[2]) + (int)*(float *)args[3] + 18 (int)(*(float *)args[4]) + (int)(*(float *)args[5]) + 19 (int)*(float *)args[6] + (int)(*(float *)args[7]) + 20 (int)(*(double *)args[ [all...] |
H A D | closure_fn4.c | 14 closure_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 18 (int)*(unsigned long long *)args[0] + (int)*(unsigned long long *)args[1] + 19 (int)*(unsigned long long *)args[2] + (int)*(unsigned long long *)args[3] + 20 (int)*(unsigned long long *)args[4] + (int)*(unsigned long long *)args[5] + 21 (int)*(unsigned long long *)args[6] + (int)*(unsigned long long *)args[7] + 22 (int)*(unsigned long long *)args[ [all...] |
H A D | closure_fn5.c | 13 closure_test_fn5(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 17 (int)*(unsigned long long *)args[0] + (int)*(unsigned long long *)args[1] + 18 (int)*(unsigned long long *)args[2] + (int)*(unsigned long long *)args[3] + 19 (int)*(unsigned long long *)args[4] + (int)*(unsigned long long *)args[5] + 20 (int)*(unsigned long long *)args[6] + (int)*(unsigned long long *)args[7] + 21 (int)*(unsigned long long *)args[ [all...] |
H A D | closure_fn6.c | 12 closure_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 16 (int)*(unsigned long long *)args[0] + 17 (int)(*(unsigned long long *)args[1]) + 18 (int)(*(unsigned long long *)args[2]) + 19 (int)*(unsigned long long *)args[3] + 20 (int)(*(int *)args[4]) + (int)(*(double *)args[5]) + 21 (int)*(double *)args[6] + (int)(*(float *)args[7]) + 22 (int)(*(double *)args[ [all...] |
H A D | closure_loc_fn0.c | 16 closure_loc_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 20 (int)*(unsigned long long *)args[0] + (int)(*(int *)args[1]) + 21 (int)(*(unsigned long long *)args[2]) + (int)*(int *)args[3] + 22 (int)(*(signed short *)args[4]) + 23 (int)(*(unsigned long long *)args[5]) + 24 (int)*(int *)args[6] + (int)(*(int *)args[7]) + 25 (int)(*(double *)args[ [all...] |
H A D | cls_longdouble.c | 36 void** args, void* userdata __UNUSED__) 38 long double a1 = *(long double*)args[0]; 39 long double a2 = *(long double*)args[1]; 40 long double a3 = *(long double*)args[2]; 41 long double a4 = *(long double*)args[3]; 42 long double a5 = *(long double*)args[4]; 43 long double a6 = *(long double*)args[5]; 44 long double a7 = *(long double*)args[6]; 45 long double a8 = *(long double*)args[7]; 56 void* args[ local 35 cls_ldouble_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument [all...] |
H A D | cls_double_va.c | 15 void** args, void* userdata __UNUSED__) 17 char* format = *(char**)args[0]; 18 double doubleValue = *(double*)args[1]; 28 void* args[3]; local 43 args[0] = &format; 44 args[1] = &doubleArg; 45 args[2] = NULL; 47 ffi_call(&cif, FFI_FN(printf), &res, args); 14 cls_double_va_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
H A D | cls_longdouble_va.c | 15 void** args, void* userdata __UNUSED__) 17 char* format = *(char**)args[0]; 18 long double ldValue = *(long double*)args[1]; 28 void* args[3]; local 43 args[0] = &format; 44 args[1] = &ldArg; 45 args[2] = NULL; 47 ffi_call(&cif, FFI_FN(printf), &res, args); 14 cls_longdouble_va_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
H A D | return_ll1.c | 18 ffi_type *args[MAX_ARGS]; local 24 args[0] = &ffi_type_sint; 25 args[1] = &ffi_type_sint64; 26 args[2] = &ffi_type_sint; 33 &ffi_type_sint64, args) == FFI_OK);
|
H A D | float.c | 23 ffi_type *args[MAX_ARGS]; local 32 args[0] = &ffi_type_sint; 34 args[1] = &ffi_type_float; 36 args[2] = &ffi_type_double; 38 args[3] = &ffi_type_longdouble; 43 &ffi_type_sint, args) == FFI_OK);
|
H A D | promotion.c | 20 ffi_type *args[MAX_ARGS]; local 29 args[0] = &ffi_type_schar; 30 args[1] = &ffi_type_sshort; 31 args[2] = &ffi_type_uchar; 32 args[3] = &ffi_type_ushort; 40 &ffi_type_sint, args) == FFI_OK);
|
H A D | return_dbl1.c | 17 ffi_type *args[MAX_ARGS]; local 22 args[0] = &ffi_type_double; 23 args[1] = &ffi_type_float; 24 args[2] = &ffi_type_uint; 25 args[3] = &ffi_type_double; 33 &ffi_type_double, args) == FFI_OK);
|
H A D | return_dbl2.c | 17 ffi_type *args[MAX_ARGS]; local 21 args[0] = &ffi_type_double; 22 args[1] = &ffi_type_double; 23 args[2] = &ffi_type_uint; 24 args[3] = &ffi_type_double; 32 &ffi_type_double, args) == FFI_OK);
|
H A D | return_fl2.c | 21 ffi_type *args[MAX_ARGS]; local 26 args[0] = &ffi_type_float; 27 args[1] = &ffi_type_float; 28 args[2] = &ffi_type_float; 29 args[3] = &ffi_type_float; 37 &ffi_type_float, args) == FFI_OK);
|
H A D | return_fl3.c | 17 ffi_type *args[MAX_ARGS]; local 21 args[0] = &ffi_type_float; 22 args[1] = &ffi_type_float; 23 args[2] = &ffi_type_uint; 24 args[3] = &ffi_type_float; 32 &ffi_type_float, args) == FFI_OK);
|
H A D | return_fl.c | 17 ffi_type *args[MAX_ARGS]; local 21 args[0] = &ffi_type_float; 26 &ffi_type_float, args) == FFI_OK);
|
H A D | return_ldl.c | 17 ffi_type *args[MAX_ARGS]; local 21 args[0] = &ffi_type_longdouble; 26 &ffi_type_longdouble, args) == FFI_OK);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.special/ |
H A D | unwindtest.cc | 21 void** args __UNUSED__, void* userdata __UNUSED__) 29 void** args, void* userdata __UNUSED__) 32 (int)*(float *)args[0] +(int)(*(float *)args[1]) + 33 (int)(*(float *)args[2]) + (int)*(float *)args[3] + 34 (int)(*(signed short *)args[4]) + (int)(*(float *)args[5]) + 35 (int)*(float *)args[6] + (int)(*(int *)args[ 28 closure_test_fn1(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument [all...] |
H A D | unwindtest_ffi_call.cc | 20 ffi_type *args[MAX_ARGS]; local 28 args[0] = &ffi_type_sint; 30 args[1] = &ffi_type_sshort; 32 args[2] = &ffi_type_schar; 37 &ffi_type_sint, args) == FFI_OK);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | msvcc.sh | 46 args="-nologo -W3" 60 #args="$args -EHac" 77 args="$args -Od" 87 args="$args" 96 args="$args -O2" 99 args [all...] |
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/chronos/ |
H A D | parser.py | 153 mnemonic, condition, dirflags, cpsflags, setcc, args): 165 self.args = args 185 #print 'args %s' % self.args 186 g = ldrstr_args_re.match(self.args) 188 args = g.groupdict() 222 # if tmp_mnemonic == 'ldr' and args['target_reg'] == 'pc' and \ 230 self.output_registers.append(args['target_reg']) 233 # self.input_registers.append(args['target_re [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | raw_api.c | 57 ffi_raw_to_ptrarray (ffi_cif *cif, ffi_raw *raw, void **args) argument 64 for (i = 0; i < cif->nargs; i++, tp++, args++) 70 *args = (void*) ((char*)(raw++) + FFI_SIZEOF_ARG - 1); 75 *args = (void*) ((char*)(raw++) + FFI_SIZEOF_ARG - 2); 81 *args = (void*) ((char*)(raw++) + FFI_SIZEOF_ARG - 4); 87 *args = (raw++)->ptr; 92 *args = (raw++)->ptr; 96 *args = (void*) &(raw++)->ptr; 100 *args = raw; 110 for (i = 0; i < cif->nargs; i++, tp++, args 138 ffi_ptrarray_to_raw(ffi_cif *cif, void **args, ffi_raw *raw) argument [all...] |