source: tests/.expect/functions.oast.arm64.txt@ c7015e6b

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

Fixed more new ast tests for arm
  • Property mode set to 100644
File size: 14.3 KB
RevLine 
[d6ad99e]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 long int )3)]{
49 __attribute__ ((unused)) signed int (*_X11_retval_f11PA0A0i_1)[][((unsigned long int )3)];
50}
51signed int (*_X3f12FPA0A0i___1())[][((unsigned long int )3)]{
52 __attribute__ ((unused)) signed int (*_X11_retval_f12PA0A0i_1)[][((unsigned long 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;
124struct _conc__tuple2_0 {
125 signed int field_0;
126 signed int field_1;
127};
128struct _conc__tuple2_0 _X1fFT2ii___1(void);
129struct _conc__tuple2_0 _X1fFT2ii_ii__1(signed int __anonymous_object8, signed int _X1xi_1);
130struct _conc__tuple2_0 _X1fFT2ii___1(void){
131 __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = { };
132}
133struct _conc__tuple2_0 _X1fFT2ii_ii__1(__attribute__ ((unused)) signed int __anonymous_object9, signed int _X1xi_1){
134 __attribute__ ((unused)) struct _conc__tuple2_0 _X9_retval_fT2ii_1 = { };
135}
136struct _tuple3_ {
137};
138static 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){
139 ((void)((*_sizeof__tuple3_)=0));
140 ((void)((*_alignof__tuple3_)=1));
141 ((void)(_offsetof__tuple3_[0]=(*_sizeof__tuple3_)));
142 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_0));
143 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_0) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_0));
144
145 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)))));
146
147 ((void)(_offsetof__tuple3_[1]=(*_sizeof__tuple3_)));
148 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_1));
149 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_1) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_1));
150
151 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)))));
152
153 ((void)(_offsetof__tuple3_[2]=(*_sizeof__tuple3_)));
154 ((void)((*_sizeof__tuple3_)+=_sizeof_Y15tuple_param_3_2));
155 if ( ((*_alignof__tuple3_)<_alignof_Y15tuple_param_3_2) ) ((void)((*_alignof__tuple3_)=_alignof_Y15tuple_param_3_2));
156
157 if ( ((*_sizeof__tuple3_)&((*_alignof__tuple3_)-1)) ) ((void)((*_sizeof__tuple3_)+=((*_alignof__tuple3_)-((*_sizeof__tuple3_)&((*_alignof__tuple3_)-1)))));
158
159}
160struct _conc__tuple3_1;
161struct _conc__tuple3_1 {
162 signed int field_0;
163 signed int field_1;
164 signed int field_2;
165};
166struct _conc__tuple3_1 _X1fFT3iii___1(void);
167struct _conc__tuple3_1 _X1fFT3iii_iii__1(signed int __anonymous_object10, signed int _X1xi_1, signed int __anonymous_object11);
168struct _conc__tuple3_1 _X1fFT3iii___1(void){
169 __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = { };
170}
171struct _conc__tuple3_1 _X1fFT3iii_iii__1(__attribute__ ((unused)) signed int __anonymous_object12, signed int _X1xi_1, __attribute__ ((unused)) signed int __anonymous_object13){
172 __attribute__ ((unused)) struct _conc__tuple3_1 _X9_retval_fT3iii_1 = { };
173}
174struct _conc__tuple3_2;
175struct _conc__tuple3_2 {
176 signed int field_0;
177 signed int field_1;
178 signed int *field_2;
179};
180struct _conc__tuple3_2 _X1fFT3iiPi___1(void);
181struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(signed int __anonymous_object14, signed int _X1xi_1, signed int *_X1yPi_1);
182struct _conc__tuple3_2 _X1fFT3iiPi___1(void){
183 __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = { };
184}
185struct _conc__tuple3_2 _X1fFT3iiPi_iiPi__1(__attribute__ ((unused)) signed int __anonymous_object15, signed int _X1xi_1, signed int *_X1yPi_1){
186 __attribute__ ((unused)) struct _conc__tuple3_2 _X9_retval_fT3iiPi_1 = { };
187}
188signed int _X3f11Fi_i__1(signed int __anonymous_object16);
189signed int _X3f12Fi___1(void);
190const double _X4bar1Fd___1();
191const double _X4bar2Fd_i__1(signed int __anonymous_object17);
192const double _X4bar3Fd_d__1(double __anonymous_object18);
193const double _X3fooFd___1(void);
194const double _X3fooFd_i__1(signed int __anonymous_object19);
195const double _X3fooFd_d__1(__attribute__ ((unused)) double __anonymous_object20){
196 __attribute__ ((unused)) const double _X11_retval_fooKd_1;
197 {
198 ((void)((*((double *)(&_X11_retval_fooKd_1)))=3.0) /* ?{} */);
199 }
200
201 return _X11_retval_fooKd_1;
202}
203struct S {
204 signed int _X1ii_1;
205};
206static inline void _X12_constructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1);
207static inline void _X12_constructorFv_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1);
208static inline void _X11_destructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1);
209static inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1);
210static inline void _X12_constructorFv_S1Si_autogen___1(struct S *_X4_dstS1S_1, signed int _X1ii_1);
211static inline void _X12_constructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1){
212 {
213 ((void)((*_X4_dstS1S_1)._X1ii_1) /* ?{} */);
214 }
215
216}
217static inline void _X12_constructorFv_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1){
218 {
219 ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1) /* ?{} */);
220 }
221
222}
223static inline void _X11_destructorFv_S1S_autogen___1(struct S *_X4_dstS1S_1){
224 {
225 ((void)((*_X4_dstS1S_1)._X1ii_1) /* ^?{} */);
226 }
227
228}
229static inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___1(struct S *_X4_dstS1S_1, struct S _X4_srcS1S_1){
230 struct S _X4_retS1S_1;
231 {
232 ((void)((*_X4_dstS1S_1)._X1ii_1=_X4_srcS1S_1._X1ii_1));
233 }
234
235 {
236 ((void)_X12_constructorFv_S1SS1S_autogen___1((&_X4_retS1S_1), (*_X4_dstS1S_1)));
237 }
238
239 return _X4_retS1S_1;
240}
241static inline void _X12_constructorFv_S1Si_autogen___1(struct S *_X4_dstS1S_1, signed int _X1ii_1){
242 {
243 ((void)((*_X4_dstS1S_1)._X1ii_1=_X1ii_1) /* ?{} */);
244 }
245
246}
247struct S _X3rtnFS1S_i__1(__attribute__ ((unused)) signed int __anonymous_object21){
248 __attribute__ ((unused)) struct S _X11_retval_rtnS1S_1;
249}
250signed 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)){
251 __attribute__ ((unused)) signed int _X9_retval_fi_1;
252 signed int (*(*_X2pcPA0A0PA0A0i_2)[][((unsigned long int )10)])[][((unsigned long int )3)];
253 signed int (*(*_X1pPA0A0PA0A0i_2)[][((unsigned long int )10)])[][((unsigned long int )3)];
254 signed int (*(*_X1pPA0Fi_i__2)[])(signed int __anonymous_object26);
255}
256static const signed int *_X2f1FPKi___1(){
257 __attribute__ ((unused)) const signed int *_X10_retval_f1PKi_1;
258}
259static const signed int *_X2f2FPKi___1(void){
260 __attribute__ ((unused)) const signed int *_X10_retval_f2PKi_1;
261}
262static inline signed int *const _X2f3FPi___1(void){
263 __attribute__ ((unused)) signed int *const _X10_retval_f3KPi_1;
264}
265struct _conc__tuple2_3;
266struct _conc__tuple2_3 {
267 signed int *field_0;
268 signed int field_1;
269};
270static inline const struct _conc__tuple2_3 _X2f4FT2Pii___1(void){
271 __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f4KT2Pii_1;
272}
273static const struct _conc__tuple2_3 _X2f5FT2PiKi___1(void){
274 __attribute__ ((unused)) const struct _conc__tuple2_3 _X10_retval_f5KT2PiKi_1;
275}
276signed 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 long int )10)], signed int **__anonymous_object34, signed int *__anonymous_object35[((unsigned long int )10)], signed int ***__anonymous_object36, signed int **__anonymous_object37[((unsigned long int )10)], signed int *const **__anonymous_object38, signed int *const *__anonymous_object39[((unsigned long int )10)], signed int *const *const *__anonymous_object40, signed int *const *const __anonymous_object41[((unsigned long int )10)]);
277signed 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 long int )10)], __attribute__ ((unused)) signed int **__anonymous_object49, __attribute__ ((unused)) signed int *__anonymous_object50[((unsigned long int )10)], __attribute__ ((unused)) signed int ***__anonymous_object51, __attribute__ ((unused)) signed int **__anonymous_object52[((unsigned long int )10)], __attribute__ ((unused)) signed int *const **__anonymous_object53, __attribute__ ((unused)) signed int *const *__anonymous_object54[((unsigned long int )10)], __attribute__ ((unused)) signed int *const *const *__anonymous_object55, __attribute__ ((unused)) signed int *const *const __anonymous_object56[((unsigned long int )10)]){
278 __attribute__ ((unused)) signed int _X9_retval_fi_1;
279}
280signed int _X1fFi_Pii__1(signed int *_X1fPi_1, signed int _X1ti_1){
281 __attribute__ ((unused)) signed int _X9_retval_fi_1;
282 signed int _X1Ti_2;
283}
Note: See TracBrowser for help on using the repository browser.