source: tests/.expect/gccExtensions.x64.txt@ 180f249

ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
Last change on this file since 180f249 was d16eb19, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Fixed cfa outputs for cfa_main_returned
  • Property mode set to 100644
File size: 10.4 KB
Line 
1extern signed int _X1xi_1 asm ( "xx" );
2signed int _X4mainFi_iPPKc__1(signed int _X4argci_1, const char **_X4argvPPKc_1){
3 __attribute__ ((unused)) signed int _X12_retval_maini_1;
4 asm ( "nop" : : : );
5 asm ( "nop" : : : );
6 asm ( "nop" : : : );
7 static signed int _X1yi_2 asm ( "yy" );
8 static signed int *_X1zPi_2 asm ( "zz" );
9 signed int _X3srci_2;
10 signed int _X3dsti_2;
11 asm volatile ( "mov %1, %0\n\t" "add $1, %0" : : : );
12 asm volatile ( "mov %1, %0\n\t" "add $1, %0" : "=" "r" ( _X3dsti_2 ) : : );
13 asm volatile ( "mov %1, %0\n\t" "add $1, %0" : "=r" ( _X3dsti_2 ) : "r" ( _X3srci_2 ) : );
14 asm ( "mov %1, %0\n\t" "add $1, %0" : "=r" ( _X3dsti_2 ), "=r" ( _X3srci_2 ) : [ src ] "r" ( _X3dsti_2 ) : "r0" );
15 L2: L1: asm goto ( "frob %%r5, %1; jc %l[L1]; mov (%2), %%r5" : : "r" ( _X3srci_2 ), "r" ( (&_X3dsti_2) ) : "r5", "memory" : L1, L2 );
16 double _Complex _X2c1Cd_2;
17 double _Complex _X2c2Cd_2;
18 const signed int _X2i1Ki_2;
19 const signed int _X2i2Ki_2;
20 const signed int _X2i3Ki_2;
21 inline signed int _X2f1Fi___2(){
22 __attribute__ ((unused)) signed int _X10_retval_f1i_2;
23 }
24 inline signed int _X2f2Fi___2(){
25 __attribute__ ((unused)) signed int _X10_retval_f2i_2;
26 }
27 signed int _X2s1i_2;
28 signed int _X2s2i_2;
29 volatile signed int _X2v1Vi_2;
30 volatile signed int _X2v2Vi_2;
31 signed int _X2t1i_2;
32 signed int _X2t2i_2;
33 __extension__ const signed int _X2exKi_2;
34 struct S {
35 __extension__ signed int _X1ai_2;
36 __extension__ signed int _X1bi_2;
37 __extension__ signed int _X1ci_2;
38 };
39 inline void _X12_constructorFv_S1S_autogen___2(struct S *_X4_dstS1S_2){
40 {
41 ((void)((*_X4_dstS1S_2)._X1ai_2) /* ?{} */);
42 }
43
44 {
45 ((void)((*_X4_dstS1S_2)._X1bi_2) /* ?{} */);
46 }
47
48 {
49 ((void)((*_X4_dstS1S_2)._X1ci_2) /* ?{} */);
50 }
51
52 }
53 inline void _X12_constructorFv_S1SS1S_autogen___2(struct S *_X4_dstS1S_2, struct S _X4_srcS1S_2){
54 {
55 ((void)((*_X4_dstS1S_2)._X1ai_2=_X4_srcS1S_2._X1ai_2) /* ?{} */);
56 }
57
58 {
59 ((void)((*_X4_dstS1S_2)._X1bi_2=_X4_srcS1S_2._X1bi_2) /* ?{} */);
60 }
61
62 {
63 ((void)((*_X4_dstS1S_2)._X1ci_2=_X4_srcS1S_2._X1ci_2) /* ?{} */);
64 }
65
66 }
67 inline void _X11_destructorFv_S1S_autogen___2(struct S *_X4_dstS1S_2){
68 {
69 ((void)((*_X4_dstS1S_2)._X1ci_2) /* ^?{} */);
70 }
71
72 {
73 ((void)((*_X4_dstS1S_2)._X1bi_2) /* ^?{} */);
74 }
75
76 {
77 ((void)((*_X4_dstS1S_2)._X1ai_2) /* ^?{} */);
78 }
79
80 }
81 inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___2(struct S *_X4_dstS1S_2, struct S _X4_srcS1S_2){
82 struct S _X4_retS1S_2;
83 {
84 ((void)((*_X4_dstS1S_2)._X1ai_2=_X4_srcS1S_2._X1ai_2));
85 }
86
87 {
88 ((void)((*_X4_dstS1S_2)._X1bi_2=_X4_srcS1S_2._X1bi_2));
89 }
90
91 {
92 ((void)((*_X4_dstS1S_2)._X1ci_2=_X4_srcS1S_2._X1ci_2));
93 }
94
95 {
96 ((void)_X12_constructorFv_S1SS1S_autogen___2((&_X4_retS1S_2), (*_X4_dstS1S_2)));
97 }
98
99 return _X4_retS1S_2;
100 }
101 inline void _X12_constructorFv_S1Si_autogen___2(struct S *_X4_dstS1S_2, signed int _X1ai_2){
102 {
103 ((void)((*_X4_dstS1S_2)._X1ai_2=_X1ai_2) /* ?{} */);
104 }
105
106 {
107 ((void)((*_X4_dstS1S_2)._X1bi_2) /* ?{} */);
108 }
109
110 {
111 ((void)((*_X4_dstS1S_2)._X1ci_2) /* ?{} */);
112 }
113
114 }
115 inline void _X12_constructorFv_S1Sii_autogen___2(struct S *_X4_dstS1S_2, signed int _X1ai_2, signed int _X1bi_2){
116 {
117 ((void)((*_X4_dstS1S_2)._X1ai_2=_X1ai_2) /* ?{} */);
118 }
119
120 {
121 ((void)((*_X4_dstS1S_2)._X1bi_2=_X1bi_2) /* ?{} */);
122 }
123
124 {
125 ((void)((*_X4_dstS1S_2)._X1ci_2) /* ?{} */);
126 }
127
128 }
129 inline void _X12_constructorFv_S1Siii_autogen___2(struct S *_X4_dstS1S_2, signed int _X1ai_2, signed int _X1bi_2, signed int _X1ci_2){
130 {
131 ((void)((*_X4_dstS1S_2)._X1ai_2=_X1ai_2) /* ?{} */);
132 }
133
134 {
135 ((void)((*_X4_dstS1S_2)._X1bi_2=_X1bi_2) /* ?{} */);
136 }
137
138 {
139 ((void)((*_X4_dstS1S_2)._X1ci_2=_X1ci_2) /* ?{} */);
140 }
141
142 }
143 signed int _X1ii_2 = __extension__ 3;
144 __extension__ signed int _X1ai_2;
145 __extension__ signed int _X1bi_2;
146 __extension__ signed int _X1ci_2;
147 {
148 ((void)(((void)(((void)__extension__ _X1ai_2) , __extension__ _X1bi_2)) , __extension__ _X1ci_2));
149 }
150
151 {
152 ((void)(__extension__ _X1ai_2=(__extension__ _X1bi_2+__extension__ _X1ci_2)));
153 }
154
155 {
156 ((void)(__extension__ _X1ai_2=__extension__ (__extension__ _X1bi_2+__extension__ _X1ci_2)));
157 }
158
159 signed int _X2a1i_2;
160 const signed int _X2a2Ki_2;
161 static const signed int _X2a3Ki_2;
162 static const signed int _X2a4Ki_2;
163 static const signed int _X2a5Ki_2;
164 static const signed int _X2a6Ki_2;
165 static const signed int _X2a7Ki_2;
166 signed int *_X2p1Pi_2;
167 signed int *_X2p2Pi_2;
168 struct s1;
169 struct s2 {
170 signed int _X1ii_2;
171 };
172 inline void _X12_constructorFv_S2s2_autogen___2(struct s2 *_X4_dstS2s2_2){
173 {
174 ((void)((*_X4_dstS2s2_2)._X1ii_2) /* ?{} */);
175 }
176
177 }
178 inline void _X12_constructorFv_S2s2S2s2_autogen___2(struct s2 *_X4_dstS2s2_2, struct s2 _X4_srcS2s2_2){
179 {
180 ((void)((*_X4_dstS2s2_2)._X1ii_2=_X4_srcS2s2_2._X1ii_2) /* ?{} */);
181 }
182
183 }
184 inline void _X11_destructorFv_S2s2_autogen___2(struct s2 *_X4_dstS2s2_2){
185 {
186 ((void)((*_X4_dstS2s2_2)._X1ii_2) /* ^?{} */);
187 }
188
189 }
190 inline struct s2 _X16_operator_assignFS2s2_S2s2S2s2_autogen___2(struct s2 *_X4_dstS2s2_2, struct s2 _X4_srcS2s2_2){
191 struct s2 _X4_retS2s2_2;
192 {
193 ((void)((*_X4_dstS2s2_2)._X1ii_2=_X4_srcS2s2_2._X1ii_2));
194 }
195
196 {
197 ((void)_X12_constructorFv_S2s2S2s2_autogen___2((&_X4_retS2s2_2), (*_X4_dstS2s2_2)));
198 }
199
200 return _X4_retS2s2_2;
201 }
202 inline void _X12_constructorFv_S2s2i_autogen___2(struct s2 *_X4_dstS2s2_2, signed int _X1ii_2){
203 {
204 ((void)((*_X4_dstS2s2_2)._X1ii_2=_X1ii_2) /* ?{} */);
205 }
206
207 }
208 struct s3 {
209 signed int _X1ii_2;
210 };
211 inline void _X12_constructorFv_S2s3_autogen___2(struct s3 *_X4_dstS2s3_2){
212 {
213 ((void)((*_X4_dstS2s3_2)._X1ii_2) /* ?{} */);
214 }
215
216 }
217 inline void _X12_constructorFv_S2s3S2s3_autogen___2(struct s3 *_X4_dstS2s3_2, struct s3 _X4_srcS2s3_2){
218 {
219 ((void)((*_X4_dstS2s3_2)._X1ii_2=_X4_srcS2s3_2._X1ii_2) /* ?{} */);
220 }
221
222 }
223 inline void _X11_destructorFv_S2s3_autogen___2(struct s3 *_X4_dstS2s3_2){
224 {
225 ((void)((*_X4_dstS2s3_2)._X1ii_2) /* ^?{} */);
226 }
227
228 }
229 inline struct s3 _X16_operator_assignFS2s3_S2s3S2s3_autogen___2(struct s3 *_X4_dstS2s3_2, struct s3 _X4_srcS2s3_2){
230 struct s3 _X4_retS2s3_2;
231 {
232 ((void)((*_X4_dstS2s3_2)._X1ii_2=_X4_srcS2s3_2._X1ii_2));
233 }
234
235 {
236 ((void)_X12_constructorFv_S2s3S2s3_autogen___2((&_X4_retS2s3_2), (*_X4_dstS2s3_2)));
237 }
238
239 return _X4_retS2s3_2;
240 }
241 inline void _X12_constructorFv_S2s3i_autogen___2(struct s3 *_X4_dstS2s3_2, signed int _X1ii_2){
242 {
243 ((void)((*_X4_dstS2s3_2)._X1ii_2=_X1ii_2) /* ?{} */);
244 }
245
246 }
247 struct s3 _X2x1S2s3_2;
248 struct s3 _X2y1S2s3_2;
249 struct s4 {
250 signed int _X1ii_2;
251 };
252 inline void _X12_constructorFv_S2s4_autogen___2(struct s4 *_X4_dstS2s4_2){
253 {
254 ((void)((*_X4_dstS2s4_2)._X1ii_2) /* ?{} */);
255 }
256
257 }
258 inline void _X12_constructorFv_S2s4S2s4_autogen___2(struct s4 *_X4_dstS2s4_2, struct s4 _X4_srcS2s4_2){
259 {
260 ((void)((*_X4_dstS2s4_2)._X1ii_2=_X4_srcS2s4_2._X1ii_2) /* ?{} */);
261 }
262
263 }
264 inline void _X11_destructorFv_S2s4_autogen___2(struct s4 *_X4_dstS2s4_2){
265 {
266 ((void)((*_X4_dstS2s4_2)._X1ii_2) /* ^?{} */);
267 }
268
269 }
270 inline struct s4 _X16_operator_assignFS2s4_S2s4S2s4_autogen___2(struct s4 *_X4_dstS2s4_2, struct s4 _X4_srcS2s4_2){
271 struct s4 _X4_retS2s4_2;
272 {
273 ((void)((*_X4_dstS2s4_2)._X1ii_2=_X4_srcS2s4_2._X1ii_2));
274 }
275
276 {
277 ((void)_X12_constructorFv_S2s4S2s4_autogen___2((&_X4_retS2s4_2), (*_X4_dstS2s4_2)));
278 }
279
280 return _X4_retS2s4_2;
281 }
282 inline void _X12_constructorFv_S2s4i_autogen___2(struct s4 *_X4_dstS2s4_2, signed int _X1ii_2){
283 {
284 ((void)((*_X4_dstS2s4_2)._X1ii_2=_X1ii_2) /* ?{} */);
285 }
286
287 }
288 struct s4 _X2x2S2s4_2;
289 struct s4 _X2y2S2s4_2;
290 signed int _X2m1A0i_2[((unsigned long int )10)];
291 signed int _X2m2A0A0i_2[((unsigned long int )10)][((unsigned long int )10)];
292 signed int _X2m3A0A0i_2[((unsigned long int )10)][((unsigned long int )10)];
293 void _X4f128Fv_n__2(__int128 _X1in_2);
294 void _X4f128Fv_o__2(unsigned __int128 __anonymous_object0);
295 __int128 _X6i128_0n_2;
296 {
297 ((void)_X4f128Fv_n__2(_X6i128_0n_2));
298 }
299
300 unsigned __int128 _X6i128_1o_2;
301 {
302 ((void)_X4f128Fv_o__2(_X6i128_1o_2));
303 }
304
305 __int128 _X6i128_2n_2;
306 {
307 ((void)_X4f128Fv_n__2(_X6i128_2n_2));
308 }
309
310 unsigned __int128 _X6i128_3o_2;
311 {
312 ((void)_X4f128Fv_o__2(_X6i128_3o_2));
313 }
314
315 {
316 ((void)(_X12_retval_maini_1=0) /* ?{} */);
317 }
318
319 return _X12_retval_maini_1;
320}
321static inline int invoke_main(int argc, char* argv[], char* envp[]) { (void)argc; (void)argv; (void)envp; return _X4mainFi_iPPKc__1((signed int )argc, (const char **)argv); }
322static inline signed int invoke_main(signed int argc, char **argv, char **envp);
323signed int _X13cfa_args_argci_1;
324char **_X13cfa_args_argvPPc_1;
325char **_X13cfa_args_envpPPc_1;
326signed int _X17cfa_main_returnedi_1 = ((signed int )0);
327signed int main(signed int _X4argci_1, char **_X4argvPPc_1, char **_X4envpPPc_1){
328 __attribute__ ((unused)) signed int _X12_retval_maini_1;
329 {
330 ((void)(_X13cfa_args_argci_1=_X4argci_1));
331 }
332
333 {
334 ((void)(_X13cfa_args_argvPPc_1=_X4argvPPc_1));
335 }
336
337 {
338 ((void)(_X13cfa_args_envpPPc_1=_X4envpPPc_1));
339 }
340
341 signed int _tmp_cp_ret6;
342 signed int _X3reti_2 = (((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6);
343 {
344 ((void)(_X17cfa_main_returnedi_1=((signed int )1)));
345 }
346
347 {
348 ((void)(_X12_retval_maini_1=_X3reti_2) /* ?{} */);
349 }
350
351 return _X12_retval_maini_1;
352}
Note: See TracBrowser for help on using the repository browser.