]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_boucle.RTLabs.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / testTB_boucle.RTLabs.expected
1 program: (main function is "main")
2
3
4   globals:
5     "t1" = {1, 2, 3, 5, 8}
6     "t2" = {13, 21, 34, 55, 89}
7
8
9   "__builtin___memcpy_chk": int -> int -> int -> int -> int
10
11
12   "__builtin___memmove_chk": int -> int -> int -> int -> int
13
14
15   "__builtin___mempcpy_chk": int -> int -> int -> int -> int
16
17
18   "__builtin___memset_chk": int -> int -> int -> int -> int
19
20
21   "__builtin___stpcpy_chk": int -> int -> int -> int
22
23
24   "__builtin___strcat_chk": int -> int -> int -> int
25
26
27   "__builtin___strcpy_chk": int -> int -> int -> int
28
29
30   "__builtin___strncat_chk": int -> int -> int -> int -> int
31
32
33   "__builtin___strncpy_chk": int -> int -> int -> int -> int
34
35
36   "__builtin___vfprintf_chk": int -> int -> int -> int -> int
37
38
39   "__builtin___vprintf_chk": int -> int -> int -> int
40
41
42   "__builtin___vsnprintf_chk": int -> int -> int -> int -> int -> int -> int
43
44
45   "__builtin___vsprintf_chk": int -> int -> int -> int -> int -> int
46
47
48   "__builtin_acos": float -> float
49
50
51   "__builtin_acosf": float -> float
52
53
54   "__builtin_acosl": float -> float
55
56
57   "__builtin_alloca": int -> int
58
59
60   "__builtin_asin": float -> float
61
62
63   "__builtin_asinf": float -> float
64
65
66   "__builtin_asinl": float -> float
67
68
69   "__builtin_atan": float -> float
70
71
72   "__builtin_atanf": float -> float
73
74
75   "__builtin_atanl": float -> float
76
77
78   "__builtin_atan2": float -> float -> float
79
80
81   "__builtin_atan2f": float -> float -> float
82
83
84   "__builtin_atan2l": float -> float -> float
85
86
87   "__builtin_ceil": float -> float
88
89
90   "__builtin_ceilf": float -> float
91
92
93   "__builtin_ceill": float -> float
94
95
96   "__builtin_cos": float -> float
97
98
99   "__builtin_cosf": float -> float
100
101
102   "__builtin_cosl": float -> float
103
104
105   "__builtin_cosh": float -> float
106
107
108   "__builtin_coshf": float -> float
109
110
111   "__builtin_coshl": float -> float
112
113
114   "__builtin_clz": int -> int
115
116
117   "__builtin_clzl": int -> int
118
119
120   "__builtin_clzll": int -> int
121
122
123   "__builtin_constant_p": int -> int
124
125
126   "__builtin_ctz": int -> int
127
128
129   "__builtin_ctzl": int -> int
130
131
132   "__builtin_ctzll": int -> int
133
134
135   "__builtin_exp": float -> float
136
137
138   "__builtin_expf": float -> float
139
140
141   "__builtin_expl": float -> float
142
143
144   "__builtin_expect": int -> int -> int
145
146
147   "__builtin_fabs": float -> float
148
149
150   "__builtin_fabsf": float -> float
151
152
153   "__builtin_fabsl": float -> float
154
155
156   "__builtin_ffs": int -> int
157
158
159   "__builtin_ffsl": int -> int
160
161
162   "__builtin_ffsll": int -> int
163
164
165   "__builtin_frame_address": int -> int
166
167
168   "__builtin_floor": float -> float
169
170
171   "__builtin_floorf": float -> float
172
173
174   "__builtin_floorl": float -> float
175
176
177   "__builtin_huge_val": float
178
179
180   "__builtin_huge_valf": float
181
182
183   "__builtin_huge_vall": float
184
185
186   "__builtin_inf": float
187
188
189   "__builtin_inff": float
190
191
192   "__builtin_infl": float
193
194
195   "__builtin_memcpy": int -> int -> int -> int
196
197
198   "__builtin_mempcpy": int -> int -> int -> int
199
200
201   "__builtin_fmod": float -> float
202
203
204   "__builtin_fmodf": float -> float
205
206
207   "__builtin_fmodl": float -> float
208
209
210   "__builtin_frexp": float -> int -> float
211
212
213   "__builtin_frexpf": float -> int -> float
214
215
216   "__builtin_frexpl": float -> int -> float
217
218
219   "__builtin_ldexp": float -> int -> float
220
221
222   "__builtin_ldexpf": float -> int -> float
223
224
225   "__builtin_ldexpl": float -> int -> float
226
227
228   "__builtin_log": float -> float
229
230
231   "__builtin_logf": float -> float
232
233
234   "__builtin_logl": float -> float
235
236
237   "__builtin_log10": float -> float
238
239
240   "__builtin_log10f": float -> float
241
242
243   "__builtin_log10l": float -> float
244
245
246   "__builtin_modff": float -> int -> float
247
248
249   "__builtin_modfl": float -> int -> float
250
251
252   "__builtin_nan": int -> float
253
254
255   "__builtin_nanf": int -> float
256
257
258   "__builtin_nanl": int -> float
259
260
261   "__builtin_nans": int -> float
262
263
264   "__builtin_nansf": int -> float
265
266
267   "__builtin_nansl": int -> float
268
269
270   "__builtin_next_arg": int
271
272
273   "__builtin_object_size": int -> int -> int
274
275
276   "__builtin_parity": int -> int
277
278
279   "__builtin_parityl": int -> int
280
281
282   "__builtin_parityll": int -> int
283
284
285   "__builtin_popcount": int -> int
286
287
288   "__builtin_popcountl": int -> int
289
290
291   "__builtin_popcountll": int -> int
292
293
294   "__builtin_powi": float -> int -> float
295
296
297   "__builtin_powif": float -> int -> float
298
299
300   "__builtin_powil": float -> int -> float
301
302
303   "__builtin_return": int -> void
304
305
306   "__builtin_return_address": int -> int
307
308
309   "__builtin_sin": float -> float
310
311
312   "__builtin_sinf": float -> float
313
314
315   "__builtin_sinl": float -> float
316
317
318   "__builtin_sinh": float -> float
319
320
321   "__builtin_sinhf": float -> float
322
323
324   "__builtin_sinhl": float -> float
325
326
327   "__builtin_sqrt": float -> float
328
329
330   "__builtin_sqrtf": float -> float
331
332
333   "__builtin_sqrtl": float -> float
334
335
336   "__builtin_stpcpy": int -> int -> int
337
338
339   "__builtin_strchr": int -> int -> int
340
341
342   "__builtin_strcmp": int -> int -> int
343
344
345   "__builtin_strcpy": int -> int -> int
346
347
348   "__builtin_strcspn": int -> int -> int
349
350
351   "__builtin_strncat": int -> int -> int -> int
352
353
354   "__builtin_strncmp": int -> int -> int -> int
355
356
357   "__builtin_strncpy": int -> int -> int -> int
358
359
360   "__builtin_strspn": int -> int -> int
361
362
363   "__builtin_strpbrk": int -> int -> int
364
365
366   "__builtin_types_compatible_p": int -> int -> int
367
368
369   "__builtin_tan": float -> float
370
371
372   "__builtin_tanf": float -> float
373
374
375   "__builtin_tanl": float -> float
376
377
378   "__builtin_tanh": float -> float
379
380
381   "__builtin_tanhf": float -> float
382
383
384   "__builtin_tanhl": float -> float
385
386
387   "__builtin_va_end": int -> void
388
389
390   "__builtin_varargs_start": int -> void
391
392
393   "__builtin_va_start": int -> int -> void
394
395
396   "__builtin_stdarg_start": int -> void
397
398
399   "__builtin_va_arg": int -> int -> void
400
401
402   "__builtin_va_copy": int -> int -> void
403
404
405   "TB_Boucle"(%0, %1, %2, %3): int -> int -> int -> int -> void
406     locals: %4, %5, %6, %7, %8, %9, %10, %11, %12, %13, %14, %15, %16, %17
407     stacksize: 0
408     entry: TB_Boucle23
409     exit: TB_Boucle0
410
411     TB_Boucle9: load int32, add, %1, %11, %10 --> TB_Boucle8
412     TB_Boucle8: add %6, %9, %10 --> TB_Boucle7
413     TB_Boucle7: imm_int 4, %8,  --> TB_Boucle6
414     TB_Boucle6: mul %7, %4, %8 --> TB_Boucle5
415     TB_Boucle5: store int32, add, %2, %7, %6 --> TB_Boucle4
416     TB_Boucle4: emit c1 --> TB_Boucle3
417     TB_Boucle3: imm_int 1, %5,  --> TB_Boucle2
418     TB_Boucle23: emit c4 --> TB_Boucle22
419     TB_Boucle22: emit c3 --> TB_Boucle21
420     TB_Boucle21: imm_int 0, %4,  --> TB_Boucle1
421     TB_Boucle20: imm_int 0, %16,  --> TB_Boucle19
422     TB_Boucle2: add %4, %4, %5 --> TB_Boucle1
423     TB_Boucle19: emit c2 --> TB_Boucle18
424     TB_Boucle18: lt %17, %4, %3 --> TB_Boucle17
425     TB_Boucle17: notbool %15, %17 --> TB_Boucle16
426     TB_Boucle16: eq %15, %16 --> TB_Boucle15, TB_Boucle0
427     TB_Boucle15: emit c0 --> TB_Boucle14
428     TB_Boucle14: imm_int 4, %14,  --> TB_Boucle13
429     TB_Boucle13: mul %13, %4, %14 --> TB_Boucle12
430     TB_Boucle12: load int32, add, %0, %13, %9 --> TB_Boucle11
431     TB_Boucle11: imm_int 4, %12,  --> TB_Boucle10
432     TB_Boucle10: mul %11, %4, %12 --> TB_Boucle9
433     TB_Boucle1: --> TB_Boucle20
434     TB_Boucle0: return
435
436
437   "main"(): int
438     locals: %0, %1, %2, %3, %4, %5, %6, %7, %8, %9, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %24, %25, %26, %27, %28, %29, %30, %31, %32, %33, %34, %35, %36, %37, %38, %39, %40, %41, %42, %43, %44
439     result: %0
440     stacksize: 20
441     entry: main67
442     exit: main0
443
444     main9: imm_addr 0($sp), %7,  --> main8
445     main8: imm_int 5, %8,  --> main7
446     main7: call "TB_Boucle", %5, %6, %7, %8, %9: int -> int -> int -> int -> void --> main6
447     main67: imm_int 1, %44,  --> main66
448     main66: store int32, 0("t1"), , %44 --> main65
449     main65: imm_int 2, %43,  --> main64
450     main64: store int32, 4("t1"), , %43 --> main63
451     main63: imm_int 3, %42,  --> main62
452     main62: store int32, 8("t1"), , %42 --> main61
453     main61: imm_int 5, %41,  --> main60
454     main60: store int32, 12("t1"), , %41 --> main59
455     main6: emit c5 --> main5
456     main59: imm_int 8, %40,  --> main58
457     main58: store int32, 16("t1"), , %40 --> main57
458     main57: imm_int 13, %39,  --> main56
459     main56: store int32, 0("t2"), , %39 --> main55
460     main55: imm_int 21, %38,  --> main54
461     main54: store int32, 4("t2"), , %38 --> main53
462     main53: imm_int 34, %37,  --> main52
463     main52: store int32, 8("t2"), , %37 --> main51
464     main51: imm_int 55, %36,  --> main50
465     main50: store int32, 12("t2"), , %36 --> main49
466     main5: imm_addr 0($sp), %1,  --> main4
467     main49: imm_int 89, %35,  --> main48
468     main48: store int32, 16("t2"), , %35 --> main47
469     main47: emit c11 --> main46
470     main46: imm_int 0, %30,  --> main45
471     main45: imm_addr 0($sp), %31,  --> main44
472     main44: imm_int 0, %33,  --> main43
473     main43: imm_int 4, %34,  --> main42
474     main42: mul %32, %33, %34 --> main41
475     main41: store int32, add, %31, %32, %30 --> main40
476     main40: emit c10 --> main39
477     main4: imm_int 4, %3,  --> main3
478     main39: imm_int 0, %25,  --> main38
479     main38: imm_addr 0($sp), %26,  --> main37
480     main37: imm_int 1, %28,  --> main36
481     main36: imm_int 4, %29,  --> main35
482     main35: mul %27, %28, %29 --> main34
483     main34: store int32, add, %26, %27, %25 --> main33
484     main33: emit c9 --> main32
485     main32: imm_int 0, %20,  --> main31
486     main31: imm_addr 0($sp), %21,  --> main30
487     main30: imm_int 2, %23,  --> main29
488     main3: imm_int 4, %4,  --> main2
489     main29: imm_int 4, %24,  --> main28
490     main28: mul %22, %23, %24 --> main27
491     main27: store int32, add, %21, %22, %20 --> main26
492     main26: emit c8 --> main25
493     main25: imm_int 0, %15,  --> main24
494     main24: imm_addr 0($sp), %16,  --> main23
495     main23: imm_int 3, %18,  --> main22
496     main22: imm_int 4, %19,  --> main21
497     main21: mul %17, %18, %19 --> main20
498     main20: store int32, add, %16, %17, %15 --> main19
499     main2: mul %2, %3, %4 --> main1
500     main19: emit c7 --> main18
501     main18: imm_int 0, %10,  --> main17
502     main17: imm_addr 0($sp), %11,  --> main16
503     main16: imm_int 4, %13,  --> main15
504     main15: imm_int 4, %14,  --> main14
505     main14: mul %12, %13, %14 --> main13
506     main13: store int32, add, %11, %12, %10 --> main12
507     main12: emit c6 --> main11
508     main11: imm_addr "t1", %5,  --> main10
509     main10: imm_addr "t2", %6,  --> main9
510     main1: load int32, add, %1, %2, %0 --> main0
511     main0: return %0
512
513