source: tests/.expect/functions.x86.txt@ ec21f13

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since ec21f13 was 933f32f, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Merge branch 'master' into cleanup-dtors
  • Property mode set to 100644
File size: 14.1 KB
Line 
1void _X1hFv___1(void){
2}
3signed int _X1fFi_Fi__Fi_i_Fi__Fi_i_Fv____1(__attribute__ ((unused)) signed int (*__anonymous_object0)(void), __attribute__ ((unused)) signed int (*__anonymous_object1)(signed int __anonymous_object2), __attribute__ ((unused)) signed int (*__anonymous_object3)(void), __attribute__ ((unused)) signed int (*__anonymous_object4)(signed int __anonymous_object5), void (*_X1gFv___1)(void)){
4 __attribute__ ((unused)) signed int _X9_retval_fi_1;
5 {
6 ((void)(*_X1gFv___1)());
7 }
8
9 {
10 ((void)_X1gFv___1());
11 }
12
13 {
14 ((void)(_X1gFv___1=_X1hFv___1));
15 }
16
17}
18signed int _X2f1Fi___1(){
19 __attribute__ ((unused)) signed int _X10_retval_f1i_1;
20}
21signed int _X2f2Fi___1(){
22 __attribute__ ((unused)) signed int _X10_retval_f2i_1;
23}
24signed int (*_X2f3FFi_____1())(){
25 __attribute__ ((unused)) signed int (*_X10_retval_f3Fi___1)();
26}
27signed int *_X2f4FPi___1(){
28 __attribute__ ((unused)) signed int *_X10_retval_f4Pi_1;
29}
30signed int (*_X2f5FFi_____1())(){
31 __attribute__ ((unused)) signed int (*_X10_retval_f5Fi___1)();
32}
33signed int *_X2f6FPi___1(){
34 __attribute__ ((unused)) signed int *_X10_retval_f6Pi_1;
35}
36signed int *_X2f7FPi___1(){
37 __attribute__ ((unused)) signed int *_X10_retval_f7Pi_1;
38}
39signed int **_X2f8FPPi___1(){
40 __attribute__ ((unused)) signed int **_X10_retval_f8PPi_1;
41}
42signed int *const *_X2f9FPKPi___1(){
43 __attribute__ ((unused)) signed int *const *_X10_retval_f9PKPi_1;
44}
45signed int (*_X3f10FPA0i___1())[]{
46 __attribute__ ((unused)) signed int (*_X11_retval_f10PA0i_1)[];
47}
48signed int (*_X3f11FPA0A0i___1())[][((unsigned int )3)]{
49 __attribute__ ((unused)) signed int (*_X11_retval_f11PA0A0i_1)[][((unsigned int )3)];
50}
51signed int (*_X3f12FPA0A0i___1())[][((unsigned int )3)]{
52 __attribute__ ((unused)) signed int (*_X11_retval_f12PA0A0i_1)[][((unsigned int )3)];
53}
54signed int _X4fII1Fi_i__1(signed int _X1ii_1){
55 __attribute__ ((unused)) signed int _X12_retval_fII1i_1;
56}
57const signed int _X4fII2Fi_i__1(signed int _X1ii_1){
58 __attribute__ ((unused)) const signed int _X12_retval_fII2Ki_1;
59}
60extern signed int _X4fII3Fi_i__1(signed int _X1ii_1){
61 __attribute__ ((unused)) signed int _X12_retval_fII3i_1;
62}
63extern const signed int _X4fII4Fi_i__1(signed int _X1ii_1){
64 __attribute__ ((unused)) const signed int _X12_retval_fII4Ki_1;
65}
66signed int *_X4fII5FPi___1(){
67 __attribute__ ((unused)) signed int *_X12_retval_fII5Pi_1;
68}
69signed int *const _X4fII6FPi___1(){
70 __attribute__ ((unused)) signed int *const _X12_retval_fII6KPi_1;
71}
72const signed long int *_X4fII7FPKl___1(){
73 __attribute__ ((unused)) const signed long int *_X12_retval_fII7PKl_1;
74}
75static const signed long int *_X4fII8FPKl___1(){
76 __attribute__ ((unused)) const signed long int *_X12_retval_fII8PKl_1;
77}
78static const signed long int *_X4fII9FPKl___1(){
79 __attribute__ ((unused)) const signed long int *_X12_retval_fII9PKl_1;
80}
81signed int _X3fO1Fi_i__1(signed int _X1ii_1){
82 __attribute__ ((unused)) signed int _X11_retval_fO1i_1;
83}
84signed int _X3fO2Fi_i__1(signed int _X1ii_1){
85 __attribute__ ((unused)) signed int _X11_retval_fO2i_1;
86}
87const signed int _X3fO3Fi_i__1(signed int _X1ii_1){
88 __attribute__ ((unused)) const signed int _X11_retval_fO3Ki_1;
89}
90extern signed int _X3fO4Fi_i__1(signed int _X1ii_1){
91 __attribute__ ((unused)) signed int _X11_retval_fO4i_1;
92}
93extern const signed int _X3fO5Fi_i__1(signed int _X1ii_1){
94 __attribute__ ((unused)) const signed int _X11_retval_fO5Ki_1;
95}
96signed int _X1fFi___1(void);
97signed int _X1fFi_i__1(signed int __anonymous_object6);
98signed int _X1fFi___1(void){
99 __attribute__ ((unused)) signed int _X9_retval_fi_1;
100}
101signed int _X1fFi_i__1(__attribute__ ((unused)) signed int __anonymous_object7){
102 __attribute__ ((unused)) signed int _X9_retval_fi_1;
103}
104signed int _X1fFi___1(void);
105struct _tuple2_ {
106};
107static inline void _layoutof__tuple2_(unsigned long int *_sizeof__tuple2_, unsigned long int *_alignof__tuple2_, unsigned long int *_offsetof__tuple2_, unsigned long int _sizeof_Y15tuple_param_2_0, unsigned long int _alignof_Y15tuple_param_2_0, unsigned long int _sizeof_Y15tuple_param_2_1, unsigned long int _alignof_Y15tuple_param_2_1){
108 ((void)((*_sizeof__tuple2_)=0));
109 ((void)((*_alignof__tuple2_)=1));
110 ((void)(_offsetof__tuple2_[0]=(*_sizeof__tuple2_)));
111 ((void)((*_sizeof__tuple2_)+=_sizeof_Y15tuple_param_2_0));
112 if ( ((*_alignof__tuple2_)<_alignof_Y15tuple_param_2_0) ) ((void)((*_alignof__tuple2_)=_alignof_Y15tuple_param_2_0));
113
114 if ( ((*_sizeof__tuple2_)&(_alignof_Y15tuple_param_2_1-1)) ) ((void)((*_sizeof__tuple2_)+=(_alignof_Y15tuple_param_2_1-((*_sizeof__tuple2_)&(_alignof_Y15tuple_param_2_1-1)))));
115
116 ((void)(_offsetof__tuple2_[1]=(*_sizeof__tuple2_)));
117 ((void)((*_sizeof__tuple2_)+=_sizeof_Y15tuple_param_2_1));
118 if ( ((*_alignof__tuple2_)<_alignof_Y15tuple_param_2_1) ) ((void)((*_alignof__tuple2_)=_alignof_Y15tuple_param_2_1));
119
120 if ( ((*_sizeof__tuple2_)&((*_alignof__tuple2_)-1)) ) ((void)((*_sizeof__tuple2_)+=((*_alignof__tuple2_)-((*_sizeof__tuple2_)&((*_alignof__tuple2_)-1)))));
121
122}
123struct _conc__tuple2_0 {
124 signed int field_0;
125 signed int field_1;
126};
127struct _conc__tuple2_0 _X1fFT2ii___1(void);
128struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object8, signed int _X1xi_1);
129struct _conc__tuple2_0 _X1fFT2ii___1(void){
130 __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = { };
131}
132struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object9, signed int _X1xi_1){
133 __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = { };
134}
135struct _tuple3_ {
136};
137static inline void _layoutof__tuple3_(unsigned long int *_sizeof__tuple3_, unsigned long int *_alignof__tuple3_, unsigned long int *_offsetof__tuple3_, unsigned long int _sizeof_Y15tuple_param_3_0, unsigned long int _alignof_Y15tuple_param_3_0, unsigned long int _sizeof_Y15tuple_param_3_1, unsigned long int _alignof_Y15tuple_param_3_1, unsigned long int _sizeof_Y15tuple_param_3_2, unsigned long int _alignof_Y15tuple_param_3_2){
138 ((void)((*_sizeof__tuple3_)=0));
139 ((void)((*_alignof__tuple3_)=1));
140 ((void)(_offsetof__tuple3_[0]=(*_sizeof__tuple3_)));
141 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_0));
142 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_0) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_0));
143
144 if ( ((*_sizeof__tuple3_)&(_alignof_Y15tuple_param_3_1-1)) ) ((void)((*_sizeof__tuple3_)+=(_alignof_Y15tuple_param_3_1-((*_sizeof__tuple3_)&(_alignof_Y15tuple_param_3_1-1)))));
145
146 ((void)(_offsetof__tuple3_[1]=(*_sizeof__tuple3_)));
147 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_1));
148 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_1) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_1));
149
150 if ( ((*_sizeof__tuple3_)&(_alignof_Y15tuple_param_3_2-1)) ) ((void)((*_sizeof__tuple3_)+=(_alignof_Y15tuple_param_3_2-((*_sizeof__tuple3_)&(_alignof_Y15tuple_param_3_2-1)))));
151
152 ((void)(_offsetof__tuple3_[2]=(*_sizeof__tuple3_)));
153 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_2));
154 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_2) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_2));
155
156 if ( ((*_sizeof__tuple3_)&((*_alignof__tuple3_)-1)) ) ((void)((*_sizeof__tuple3_)+=((*_alignof__tuple3_)-((*_sizeof__tuple3_)&((*_alignof__tuple3_)-1)))));
157
158}
159struct _conc__tuple3_1 {
160 signed int field_0;
161 signed int field_1;
162 signed int field_2;
163};
164struct _conc__tuple3_1 _X1fFT3iii___1(void);
165struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object10, signed int _X1xi_1, signed int __anonymous_object11);
166struct _conc__tuple3_1 _X1fFT3iii___1(void){
167 __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = { };
168}
169struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object12, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object13){
170 __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = { };
171}
172struct _conc__tuple3_2 {
173 signed int field_0;
174 signed int field_1;
175 signed int *field_2;
176};
177struct _conc__tuple3_2 _X1fFT3iiPi___1(void);
178struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object14, signed int _X1xi_1, signed int *_X1yPi_1);
179struct _conc__tuple3_2 _X1fFT3iiPi___1(void){
180 __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = { };
181}
182struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object15, signed int _X1xi_1, signed int *_X1yPi_1){
183 __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = { };
184}
185signed int _X3f11Fi_i__1(signed int __anonymous_object16);
186signed int _X3f12Fi___1(void);
187const double _X4bar1Fd___1();
188const double _X4bar2Fd_i__1(signed int __anonymous_object17);
189const double _X4bar3Fd_d__1(double __anonymous_object18);
190const double _X3fooFd___1(void);
191const double _X3fooFd_i__1(signed int __anonymous_object19);
192const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object20){
193 __attribute__ ((unused)) const double _X11_retval_fooKd_1;
194 {
195 ((void)((*((double *)(&_X11_retval_fooKd_1)))=3.0) /* ?{} */);
196 }
197
198 return _X11_retval_fooKd_1;
199}
200struct S {
201 signed int _X1ii_1;
202};
203static inline void _X12_constructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1);
204static inline void _X12_constructorFv_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1);
205static inline void _X11_destructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1);
206static inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1);
207static inline void _X12_constructorFv_S1Si_autogen___1(struct S *_X4_dstS1S_1, signed int _X1ii_1);
208static inline void _X12_constructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1){
209 {
210 ((void)((*_X4_dstS1S_1)._X1ii_1) /* ?{} */);
211 }
212
213}
214static inline void _X12_constructorFv_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1){
215 {
216 ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1) /* ?{} */);
217 }
218
219}
220static inline void _X11_destructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1){
221 {
222 ((void)((*_X4_dstS1S_1)._X1ii_1) /* ^?{} */);
223 }
224
225}
226static inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1){
227 struct S _X4_retS1S_1;
228 {
229 ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1));
230 }
231
232 {
233 ((void)_X12_constructorFv_S1SS1S_autogen___1((&_X4_retS1S_1), (*_X4_dstS1S_1)));
234 }
235
236 return _X4_retS1S_1;
237}
238static inline void _X12_constructorFv_S1Si_autogen___1(struct S *_X4_dstS1S_1, signed int _X1ii_1){
239 {
240 ((void)((*_X4_dstS1S_1)._X1ii_1=_X1ii_1) /* ?{} */);
241 }
242
243}
244struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object21){
245 __attribute__ ((unused)) struct S _X11_retval_rtnS1S_1;
246}
247signed int _X1fFi_Fi_ii_Fi_i___1(__attribute__ ((unused)) signed int (*__anonymous_object22)(signed int __anonymous_object23, signed int _X1pi_1), __attribute__ ((unused)) signed int (*__anonymous_object24)(signed int __anonymous_object25)){
248 __attribute__ ((unused)) signed int _X9_retval_fi_1;
249 signed int (*(*_X2pcPA0A0PA0A0i_2)[][((unsigned int )10)])[][((unsigned int )3)];
250 signed int (*(*_X1pPA0A0PA0A0i_2)[][((unsigned int )10)])[][((unsigned int )3)];
251 signed int (*(*_X1pPA0Fi_i__2)[])(signed int __anonymous_object26);
252}
253static const signed int *_X2f1FPKi___1(){
254 __attribute__ ((unused)) const signed int *_X10_retval_f1PKi_1;
255}
256static const signed int *_X2f2FPKi___1(void){
257 __attribute__ ((unused)) const signed int *_X10_retval_f2PKi_1;
258}
259static inline signed int *const _X2f3FPi___1(void){
260 __attribute__ ((unused)) signed int *const _X10_retval_f3KPi_1;
261}
262struct _conc__tuple2_3 {
263 signed int *field_0;
264 signed int field_1;
265};
266static inline const struct _conc__tuple2_3 _X2f4FT2Pii___1(void){
267 __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f4KT2Pii_1;
268}
269static const struct _conc__tuple2_3 _X2f5FT2PiKi___1(void){
270 __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f5KT2PiKi_1;
271}
272signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(signed int (*__anonymous_object27)(), signed int *(*__anonymous_object28)(), signed int **(*__anonymous_object29)(), signed int *const *(*__anonymous_object30)(), signed int *const *const (*__anonymous_object31)(), signed int *__anonymous_object32, signed int __anonymous_object33[((unsigned int )10)], signed int **__anonymous_object34, signed int *__anonymous_object35[((unsigned int )10)], signed int ***__anonymous_object36, signed int **__anonymous_object37[((unsigned int )10)], signed int *const **__anonymous_object38, signed int *const *__anonymous_object39[((unsigned int )10)], signed int *const *const *__anonymous_object40, signed int *const *const __anonymous_object41[((unsigned int )10)]);
273signed int _X1fFi_Fi__FPi__FPPi__FPKPi__FPKPi__PiPiPPiPPiPPPiPPPiPPKPiPPKPiPKPKPiPKPKPi__1(__attribute__ ((unused)) signed int (*__anonymous_object42)(), __attribute__ ((unused)) signed int *(*__anonymous_object43)(), __attribute__ ((unused)) signed int **(*__anonymous_object44)(), __attribute__ ((unused)) signed int *const *(*__anonymous_object45)(), __attribute__ ((unused)) signed int *const *const (*__anonymous_object46)(), __attribute__ ((unused)) signed int *__anonymous_object47, __attribute__ ((unused)) signed int __anonymous_object48[((unsigned int )10)], __attribute__ ((unused)) signed int **__anonymous_object49, __attribute__ ((unused)) signed int *__anonymous_object50[((unsigned int )10)], __attribute__ ((unused)) signed int ***__anonymous_object51, __attribute__ ((unused)) signed int **__anonymous_object52[((unsigned int )10)], __attribute__ ((unused)) signed int *const **__anonymous_object53, __attribute__ ((unused)) signed int *const *__anonymous_object54[((unsigned int )10)], __attribute__ ((unused)) signed int *const *const *__anonymous_object55, __attribute__ ((unused)) signed int *const *const __anonymous_object56[((unsigned int )10)]){
274 __attribute__ ((unused)) signed int _X9_retval_fi_1;
275}
276signed int _X1fFi_Pii__1(signed int *_X1fPi_1, signed int _X1ti_1){
277 __attribute__ ((unused)) signed int _X9_retval_fi_1;
278 signed int _X1Ti_2;
279}
Note: See TracBrowser for help on using the repository browser.