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