]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/fib.Cminor.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / fib.Cminor.expected
1
2
3
4 extern "__builtin___memcpy_chk" : int -> int -> int -> int -> int
5
6
7 extern "__builtin___memmove_chk" : int -> int -> int -> int -> int
8
9
10 extern "__builtin___mempcpy_chk" : int -> int -> int -> int -> int
11
12
13 extern "__builtin___memset_chk" : int -> int -> int -> int -> int
14
15
16 extern "__builtin___stpcpy_chk" : int -> int -> int -> int
17
18
19 extern "__builtin___strcat_chk" : int -> int -> int -> int
20
21
22 extern "__builtin___strcpy_chk" : int -> int -> int -> int
23
24
25 extern "__builtin___strncat_chk" : int -> int -> int -> int -> int
26
27
28 extern "__builtin___strncpy_chk" : int -> int -> int -> int -> int
29
30
31 extern "__builtin___vfprintf_chk" : int -> int -> int -> int -> int
32
33
34 extern "__builtin___vprintf_chk" : int -> int -> int -> int
35
36
37 extern "__builtin___vsnprintf_chk" : int -> int -> int -> int -> int -> int -> int
38
39
40 extern "__builtin___vsprintf_chk" : int -> int -> int -> int -> int -> int
41
42
43 extern "__builtin_acos" : float -> float
44
45
46 extern "__builtin_acosf" : float -> float
47
48
49 extern "__builtin_acosl" : float -> float
50
51
52 extern "__builtin_alloca" : int -> int
53
54
55 extern "__builtin_asin" : float -> float
56
57
58 extern "__builtin_asinf" : float -> float
59
60
61 extern "__builtin_asinl" : float -> float
62
63
64 extern "__builtin_atan" : float -> float
65
66
67 extern "__builtin_atanf" : float -> float
68
69
70 extern "__builtin_atanl" : float -> float
71
72
73 extern "__builtin_atan2" : float -> float -> float
74
75
76 extern "__builtin_atan2f" : float -> float -> float
77
78
79 extern "__builtin_atan2l" : float -> float -> float
80
81
82 extern "__builtin_ceil" : float -> float
83
84
85 extern "__builtin_ceilf" : float -> float
86
87
88 extern "__builtin_ceill" : float -> float
89
90
91 extern "__builtin_cos" : float -> float
92
93
94 extern "__builtin_cosf" : float -> float
95
96
97 extern "__builtin_cosl" : float -> float
98
99
100 extern "__builtin_cosh" : float -> float
101
102
103 extern "__builtin_coshf" : float -> float
104
105
106 extern "__builtin_coshl" : float -> float
107
108
109 extern "__builtin_clz" : int -> int
110
111
112 extern "__builtin_clzl" : int -> int
113
114
115 extern "__builtin_clzll" : int -> int
116
117
118 extern "__builtin_constant_p" : int -> int
119
120
121 extern "__builtin_ctz" : int -> int
122
123
124 extern "__builtin_ctzl" : int -> int
125
126
127 extern "__builtin_ctzll" : int -> int
128
129
130 extern "__builtin_exp" : float -> float
131
132
133 extern "__builtin_expf" : float -> float
134
135
136 extern "__builtin_expl" : float -> float
137
138
139 extern "__builtin_expect" : int -> int -> int
140
141
142 extern "__builtin_fabs" : float -> float
143
144
145 extern "__builtin_fabsf" : float -> float
146
147
148 extern "__builtin_fabsl" : float -> float
149
150
151 extern "__builtin_ffs" : int -> int
152
153
154 extern "__builtin_ffsl" : int -> int
155
156
157 extern "__builtin_ffsll" : int -> int
158
159
160 extern "__builtin_frame_address" : int -> int
161
162
163 extern "__builtin_floor" : float -> float
164
165
166 extern "__builtin_floorf" : float -> float
167
168
169 extern "__builtin_floorl" : float -> float
170
171
172 extern "__builtin_huge_val" : float
173
174
175 extern "__builtin_huge_valf" : float
176
177
178 extern "__builtin_huge_vall" : float
179
180
181 extern "__builtin_inf" : float
182
183
184 extern "__builtin_inff" : float
185
186
187 extern "__builtin_infl" : float
188
189
190 extern "__builtin_memcpy" : int -> int -> int -> int
191
192
193 extern "__builtin_mempcpy" : int -> int -> int -> int
194
195
196 extern "__builtin_fmod" : float -> float
197
198
199 extern "__builtin_fmodf" : float -> float
200
201
202 extern "__builtin_fmodl" : float -> float
203
204
205 extern "__builtin_frexp" : float -> int -> float
206
207
208 extern "__builtin_frexpf" : float -> int -> float
209
210
211 extern "__builtin_frexpl" : float -> int -> float
212
213
214 extern "__builtin_ldexp" : float -> int -> float
215
216
217 extern "__builtin_ldexpf" : float -> int -> float
218
219
220 extern "__builtin_ldexpl" : float -> int -> float
221
222
223 extern "__builtin_log" : float -> float
224
225
226 extern "__builtin_logf" : float -> float
227
228
229 extern "__builtin_logl" : float -> float
230
231
232 extern "__builtin_log10" : float -> float
233
234
235 extern "__builtin_log10f" : float -> float
236
237
238 extern "__builtin_log10l" : float -> float
239
240
241 extern "__builtin_modff" : float -> int -> float
242
243
244 extern "__builtin_modfl" : float -> int -> float
245
246
247 extern "__builtin_nan" : int -> float
248
249
250 extern "__builtin_nanf" : int -> float
251
252
253 extern "__builtin_nanl" : int -> float
254
255
256 extern "__builtin_nans" : int -> float
257
258
259 extern "__builtin_nansf" : int -> float
260
261
262 extern "__builtin_nansl" : int -> float
263
264
265 extern "__builtin_next_arg" : int
266
267
268 extern "__builtin_object_size" : int -> int -> int
269
270
271 extern "__builtin_parity" : int -> int
272
273
274 extern "__builtin_parityl" : int -> int
275
276
277 extern "__builtin_parityll" : int -> int
278
279
280 extern "__builtin_popcount" : int -> int
281
282
283 extern "__builtin_popcountl" : int -> int
284
285
286 extern "__builtin_popcountll" : int -> int
287
288
289 extern "__builtin_powi" : float -> int -> float
290
291
292 extern "__builtin_powif" : float -> int -> float
293
294
295 extern "__builtin_powil" : float -> int -> float
296
297
298 extern "__builtin_return" : int -> void
299
300
301 extern "__builtin_return_address" : int -> int
302
303
304 extern "__builtin_sin" : float -> float
305
306
307 extern "__builtin_sinf" : float -> float
308
309
310 extern "__builtin_sinl" : float -> float
311
312
313 extern "__builtin_sinh" : float -> float
314
315
316 extern "__builtin_sinhf" : float -> float
317
318
319 extern "__builtin_sinhl" : float -> float
320
321
322 extern "__builtin_sqrt" : float -> float
323
324
325 extern "__builtin_sqrtf" : float -> float
326
327
328 extern "__builtin_sqrtl" : float -> float
329
330
331 extern "__builtin_stpcpy" : int -> int -> int
332
333
334 extern "__builtin_strchr" : int -> int -> int
335
336
337 extern "__builtin_strcmp" : int -> int -> int
338
339
340 extern "__builtin_strcpy" : int -> int -> int
341
342
343 extern "__builtin_strcspn" : int -> int -> int
344
345
346 extern "__builtin_strncat" : int -> int -> int -> int
347
348
349 extern "__builtin_strncmp" : int -> int -> int -> int
350
351
352 extern "__builtin_strncpy" : int -> int -> int -> int
353
354
355 extern "__builtin_strspn" : int -> int -> int
356
357
358 extern "__builtin_strpbrk" : int -> int -> int
359
360
361 extern "__builtin_types_compatible_p" : int -> int -> int
362
363
364 extern "__builtin_tan" : float -> float
365
366
367 extern "__builtin_tanf" : float -> float
368
369
370 extern "__builtin_tanl" : float -> float
371
372
373 extern "__builtin_tanh" : float -> float
374
375
376 extern "__builtin_tanhf" : float -> float
377
378
379 extern "__builtin_tanhl" : float -> float
380
381
382 extern "__builtin_va_end" : int -> void
383
384
385 extern "__builtin_varargs_start" : int -> void
386
387
388 extern "__builtin_va_start" : int -> int -> void
389
390
391 extern "__builtin_stdarg_start" : int -> void
392
393
394 extern "__builtin_va_arg" : int -> int -> void
395
396
397 extern "__builtin_va_copy" : int -> int -> void
398
399
400 "fib" (n) : int -> int {
401
402   stack 0;
403
404   var t, t__1;
405
406   c4:
407   if (n < 2) {
408     c3:
409     return 1;
410   }
411   else {
412     c2:
413     t = "fib"(n - 1) : int -> int;
414     c1:
415     t__1 = "fib"(n - 2) : int -> int;
416     c0:
417     return t + t__1;
418   }
419
420 }
421
422
423 "main" () : int {
424
425   stack 0;
426
427   var t;
428
429   c6:
430   t = "fib"(10) : int -> int;
431   c5:
432   return t;
433
434 }
435
436