1*1fd5a2e1SPrashanth Swaminathan /* Area: ffi_call, closure_call
2*1fd5a2e1SPrashanth Swaminathan Purpose: Check pointer arguments across multiple hideous stack frames.
3*1fd5a2e1SPrashanth Swaminathan Limitations: none.
4*1fd5a2e1SPrashanth Swaminathan PR: none.
5*1fd5a2e1SPrashanth Swaminathan Originator: Blake Chaffin 6/7/2007 */
6*1fd5a2e1SPrashanth Swaminathan
7*1fd5a2e1SPrashanth Swaminathan /* { dg-do run { xfail strongarm*-*-* xscale*-*-* } } */
8*1fd5a2e1SPrashanth Swaminathan #include "ffitest.h"
9*1fd5a2e1SPrashanth Swaminathan
10*1fd5a2e1SPrashanth Swaminathan static long dummyVar;
11*1fd5a2e1SPrashanth Swaminathan
dummy_func(long double a1,char b1,long double a2,char b2,long double a3,char b3,long double a4,char b4)12*1fd5a2e1SPrashanth Swaminathan long dummy_func(
13*1fd5a2e1SPrashanth Swaminathan long double a1, char b1,
14*1fd5a2e1SPrashanth Swaminathan long double a2, char b2,
15*1fd5a2e1SPrashanth Swaminathan long double a3, char b3,
16*1fd5a2e1SPrashanth Swaminathan long double a4, char b4)
17*1fd5a2e1SPrashanth Swaminathan {
18*1fd5a2e1SPrashanth Swaminathan return a1 + b1 + a2 + b2 + a3 + b3 + a4 + b4;
19*1fd5a2e1SPrashanth Swaminathan }
20*1fd5a2e1SPrashanth Swaminathan
cls_pointer_fn2(void * a1,void * a2)21*1fd5a2e1SPrashanth Swaminathan void* cls_pointer_fn2(void* a1, void* a2)
22*1fd5a2e1SPrashanth Swaminathan {
23*1fd5a2e1SPrashanth Swaminathan long double trample1 = (intptr_t)a1 + (intptr_t)a2;
24*1fd5a2e1SPrashanth Swaminathan char trample2 = ((char*)&a1)[0] + ((char*)&a2)[0];
25*1fd5a2e1SPrashanth Swaminathan long double trample3 = (intptr_t)trample1 + (intptr_t)a1;
26*1fd5a2e1SPrashanth Swaminathan char trample4 = trample2 + ((char*)&a1)[1];
27*1fd5a2e1SPrashanth Swaminathan long double trample5 = (intptr_t)trample3 + (intptr_t)a2;
28*1fd5a2e1SPrashanth Swaminathan char trample6 = trample4 + ((char*)&a2)[1];
29*1fd5a2e1SPrashanth Swaminathan long double trample7 = (intptr_t)trample5 + (intptr_t)trample1;
30*1fd5a2e1SPrashanth Swaminathan char trample8 = trample6 + trample2;
31*1fd5a2e1SPrashanth Swaminathan void* result;
32*1fd5a2e1SPrashanth Swaminathan
33*1fd5a2e1SPrashanth Swaminathan dummyVar = dummy_func(trample1, trample2, trample3, trample4,
34*1fd5a2e1SPrashanth Swaminathan trample5, trample6, trample7, trample8);
35*1fd5a2e1SPrashanth Swaminathan
36*1fd5a2e1SPrashanth Swaminathan result = (void*)((intptr_t)a1 + (intptr_t)a2);
37*1fd5a2e1SPrashanth Swaminathan
38*1fd5a2e1SPrashanth Swaminathan printf("0x%08x 0x%08x: 0x%08x\n",
39*1fd5a2e1SPrashanth Swaminathan (unsigned int)(uintptr_t) a1,
40*1fd5a2e1SPrashanth Swaminathan (unsigned int)(uintptr_t) a2,
41*1fd5a2e1SPrashanth Swaminathan (unsigned int)(uintptr_t) result);
42*1fd5a2e1SPrashanth Swaminathan
43*1fd5a2e1SPrashanth Swaminathan return result;
44*1fd5a2e1SPrashanth Swaminathan }
45*1fd5a2e1SPrashanth Swaminathan
cls_pointer_fn1(void * a1,void * a2)46*1fd5a2e1SPrashanth Swaminathan void* cls_pointer_fn1(void* a1, void* a2)
47*1fd5a2e1SPrashanth Swaminathan {
48*1fd5a2e1SPrashanth Swaminathan long double trample1 = (intptr_t)a1 + (intptr_t)a2;
49*1fd5a2e1SPrashanth Swaminathan char trample2 = ((char*)&a1)[0] + ((char*)&a2)[0];
50*1fd5a2e1SPrashanth Swaminathan long double trample3 = (intptr_t)trample1 + (intptr_t)a1;
51*1fd5a2e1SPrashanth Swaminathan char trample4 = trample2 + ((char*)&a1)[1];
52*1fd5a2e1SPrashanth Swaminathan long double trample5 = (intptr_t)trample3 + (intptr_t)a2;
53*1fd5a2e1SPrashanth Swaminathan char trample6 = trample4 + ((char*)&a2)[1];
54*1fd5a2e1SPrashanth Swaminathan long double trample7 = (intptr_t)trample5 + (intptr_t)trample1;
55*1fd5a2e1SPrashanth Swaminathan char trample8 = trample6 + trample2;
56*1fd5a2e1SPrashanth Swaminathan void* result;
57*1fd5a2e1SPrashanth Swaminathan
58*1fd5a2e1SPrashanth Swaminathan dummyVar = dummy_func(trample1, trample2, trample3, trample4,
59*1fd5a2e1SPrashanth Swaminathan trample5, trample6, trample7, trample8);
60*1fd5a2e1SPrashanth Swaminathan
61*1fd5a2e1SPrashanth Swaminathan result = (void*)((intptr_t)a1 + (intptr_t)a2);
62*1fd5a2e1SPrashanth Swaminathan
63*1fd5a2e1SPrashanth Swaminathan printf("0x%08x 0x%08x: 0x%08x\n",
64*1fd5a2e1SPrashanth Swaminathan (unsigned int)(intptr_t) a1,
65*1fd5a2e1SPrashanth Swaminathan (unsigned int)(intptr_t) a2,
66*1fd5a2e1SPrashanth Swaminathan (unsigned int)(intptr_t) result);
67*1fd5a2e1SPrashanth Swaminathan
68*1fd5a2e1SPrashanth Swaminathan result = cls_pointer_fn2(result, a1);
69*1fd5a2e1SPrashanth Swaminathan
70*1fd5a2e1SPrashanth Swaminathan return result;
71*1fd5a2e1SPrashanth Swaminathan }
72*1fd5a2e1SPrashanth Swaminathan
73*1fd5a2e1SPrashanth Swaminathan static void
cls_pointer_gn(ffi_cif * cif __UNUSED__,void * resp,void ** args,void * userdata __UNUSED__)74*1fd5a2e1SPrashanth Swaminathan cls_pointer_gn(ffi_cif* cif __UNUSED__, void* resp,
75*1fd5a2e1SPrashanth Swaminathan void** args, void* userdata __UNUSED__)
76*1fd5a2e1SPrashanth Swaminathan {
77*1fd5a2e1SPrashanth Swaminathan void* a1 = *(void**)(args[0]);
78*1fd5a2e1SPrashanth Swaminathan void* a2 = *(void**)(args[1]);
79*1fd5a2e1SPrashanth Swaminathan
80*1fd5a2e1SPrashanth Swaminathan long double trample1 = (intptr_t)a1 + (intptr_t)a2;
81*1fd5a2e1SPrashanth Swaminathan char trample2 = ((char*)&a1)[0] + ((char*)&a2)[0];
82*1fd5a2e1SPrashanth Swaminathan long double trample3 = (intptr_t)trample1 + (intptr_t)a1;
83*1fd5a2e1SPrashanth Swaminathan char trample4 = trample2 + ((char*)&a1)[1];
84*1fd5a2e1SPrashanth Swaminathan long double trample5 = (intptr_t)trample3 + (intptr_t)a2;
85*1fd5a2e1SPrashanth Swaminathan char trample6 = trample4 + ((char*)&a2)[1];
86*1fd5a2e1SPrashanth Swaminathan long double trample7 = (intptr_t)trample5 + (intptr_t)trample1;
87*1fd5a2e1SPrashanth Swaminathan char trample8 = trample6 + trample2;
88*1fd5a2e1SPrashanth Swaminathan
89*1fd5a2e1SPrashanth Swaminathan dummyVar = dummy_func(trample1, trample2, trample3, trample4,
90*1fd5a2e1SPrashanth Swaminathan trample5, trample6, trample7, trample8);
91*1fd5a2e1SPrashanth Swaminathan
92*1fd5a2e1SPrashanth Swaminathan *(void**)resp = cls_pointer_fn1(a1, a2);
93*1fd5a2e1SPrashanth Swaminathan }
94*1fd5a2e1SPrashanth Swaminathan
main(void)95*1fd5a2e1SPrashanth Swaminathan int main (void)
96*1fd5a2e1SPrashanth Swaminathan {
97*1fd5a2e1SPrashanth Swaminathan ffi_cif cif;
98*1fd5a2e1SPrashanth Swaminathan void *code;
99*1fd5a2e1SPrashanth Swaminathan ffi_closure* pcl = ffi_closure_alloc(sizeof(ffi_closure), &code);
100*1fd5a2e1SPrashanth Swaminathan void* args[3];
101*1fd5a2e1SPrashanth Swaminathan /* ffi_type cls_pointer_type; */
102*1fd5a2e1SPrashanth Swaminathan ffi_type* arg_types[3];
103*1fd5a2e1SPrashanth Swaminathan
104*1fd5a2e1SPrashanth Swaminathan /* cls_pointer_type.size = sizeof(void*);
105*1fd5a2e1SPrashanth Swaminathan cls_pointer_type.alignment = 0;
106*1fd5a2e1SPrashanth Swaminathan cls_pointer_type.type = FFI_TYPE_POINTER;
107*1fd5a2e1SPrashanth Swaminathan cls_pointer_type.elements = NULL;*/
108*1fd5a2e1SPrashanth Swaminathan
109*1fd5a2e1SPrashanth Swaminathan void* arg1 = (void*)0x01234567;
110*1fd5a2e1SPrashanth Swaminathan void* arg2 = (void*)0x89abcdef;
111*1fd5a2e1SPrashanth Swaminathan ffi_arg res = 0;
112*1fd5a2e1SPrashanth Swaminathan
113*1fd5a2e1SPrashanth Swaminathan arg_types[0] = &ffi_type_pointer;
114*1fd5a2e1SPrashanth Swaminathan arg_types[1] = &ffi_type_pointer;
115*1fd5a2e1SPrashanth Swaminathan arg_types[2] = NULL;
116*1fd5a2e1SPrashanth Swaminathan
117*1fd5a2e1SPrashanth Swaminathan CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &ffi_type_pointer,
118*1fd5a2e1SPrashanth Swaminathan arg_types) == FFI_OK);
119*1fd5a2e1SPrashanth Swaminathan
120*1fd5a2e1SPrashanth Swaminathan args[0] = &arg1;
121*1fd5a2e1SPrashanth Swaminathan args[1] = &arg2;
122*1fd5a2e1SPrashanth Swaminathan args[2] = NULL;
123*1fd5a2e1SPrashanth Swaminathan
124*1fd5a2e1SPrashanth Swaminathan printf("\n");
125*1fd5a2e1SPrashanth Swaminathan ffi_call(&cif, FFI_FN(cls_pointer_fn1), &res, args);
126*1fd5a2e1SPrashanth Swaminathan
127*1fd5a2e1SPrashanth Swaminathan printf("res: 0x%08x\n", (unsigned int) res);
128*1fd5a2e1SPrashanth Swaminathan /* { dg-output "\n0x01234567 0x89abcdef: 0x8acf1356" } */
129*1fd5a2e1SPrashanth Swaminathan /* { dg-output "\n0x8acf1356 0x01234567: 0x8bf258bd" } */
130*1fd5a2e1SPrashanth Swaminathan /* { dg-output "\nres: 0x8bf258bd" } */
131*1fd5a2e1SPrashanth Swaminathan
132*1fd5a2e1SPrashanth Swaminathan CHECK(ffi_prep_closure_loc(pcl, &cif, cls_pointer_gn, NULL, code) == FFI_OK);
133*1fd5a2e1SPrashanth Swaminathan
134*1fd5a2e1SPrashanth Swaminathan res = (ffi_arg)(uintptr_t)((void*(*)(void*, void*))(code))(arg1, arg2);
135*1fd5a2e1SPrashanth Swaminathan
136*1fd5a2e1SPrashanth Swaminathan printf("res: 0x%08x\n", (unsigned int) res);
137*1fd5a2e1SPrashanth Swaminathan /* { dg-output "\n0x01234567 0x89abcdef: 0x8acf1356" } */
138*1fd5a2e1SPrashanth Swaminathan /* { dg-output "\n0x8acf1356 0x01234567: 0x8bf258bd" } */
139*1fd5a2e1SPrashanth Swaminathan /* { dg-output "\nres: 0x8bf258bd" } */
140*1fd5a2e1SPrashanth Swaminathan
141*1fd5a2e1SPrashanth Swaminathan exit(0);
142*1fd5a2e1SPrashanth Swaminathan }
143