]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testCOMP_tri.RTLabs.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / testCOMP_tri.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   "tri"(%0, %1): int -> int -> void
404     locals: %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
405     stacksize: 0
406     entry: tri58
407     exit: tri0
408
409     tri9: store int32, add, %0, %7, %2 --> tri8
410     tri8: emit c4 --> tri7
411     tri7: imm_int 1, %6,  --> tri6
412     tri6: add %3, %3, %6 --> tri5
413     tri58: emit c12 --> tri57
414     tri57: imm_int 0, %2,  --> tri56
415     tri56: emit c11 --> tri55
416     tri55: emit c10 --> tri54
417     tri54: imm_int 0, %4,  --> tri1
418     tri53: imm_int 0, %35,  --> tri52
419     tri52: emit c9 --> tri51
420     tri51: lt %36, %4, %1 --> tri50
421     tri50: notbool %34, %36 --> tri49
422     tri5: --> tri45
423     tri49: eq %34, %35 --> tri48, tri0
424     tri48: emit c7 --> tri47
425     tri47: emit c6 --> tri46
426     tri46: imm_int 1, %3,  --> tri5
427     tri45: imm_int 0, %31,  --> tri44
428     tri44: emit c5 --> tri43
429     tri43: sub %33, %1, %4 --> tri42
430     tri42: lt %32, %3, %33 --> tri41
431     tri41: notbool %30, %32 --> tri40
432     tri40: eq %30, %31 --> tri39, tri4
433     tri4: emit c8 --> tri3
434     tri39: emit c3 --> tri38
435     tri38: imm_int 0, %21,  --> tri37
436     tri37: imm_int 4, %29,  --> tri36
437     tri36: mul %28, %3, %29 --> tri35
438     tri35: load int32, add, %0, %28, %22 --> tri34
439     tri34: imm_int 1, %27,  --> tri33
440     tri33: sub %25, %3, %27 --> tri32
441     tri32: imm_int 4, %26,  --> tri31
442     tri31: mul %24, %25, %26 --> tri30
443     tri30: load int32, add, %0, %24, %23 --> tri29
444     tri3: imm_int 1, %5,  --> tri2
445     tri29: lt %20, %22, %23 --> tri28
446     tri28: eq %20, %21 --> tri8, tri27
447     tri27: emit c2 --> tri26
448     tri26: imm_int 1, %19,  --> tri25
449     tri25: sub %17, %3, %19 --> tri24
450     tri24: imm_int 4, %18,  --> tri23
451     tri23: mul %16, %17, %18 --> tri22
452     tri22: load int32, add, %0, %16, %2 --> tri21
453     tri21: emit c1 --> tri20
454     tri20: imm_int 4, %15,  --> tri19
455     tri2: add %4, %4, %5 --> tri1
456     tri19: mul %14, %3, %15 --> tri18
457     tri18: load int32, add, %0, %14, %9 --> tri17
458     tri17: imm_int 1, %13,  --> tri16
459     tri16: sub %11, %3, %13 --> tri15
460     tri15: imm_int 4, %12,  --> tri14
461     tri14: mul %10, %11, %12 --> tri13
462     tri13: store int32, add, %0, %10, %9 --> tri12
463     tri12: emit c0 --> tri11
464     tri11: imm_int 4, %8,  --> tri10
465     tri10: mul %7, %3, %8 --> tri9
466     tri1: --> tri53
467     tri0: return
468
469
470   "main"(): int
471     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, %45, %46, %47, %48, %49, %50, %51, %52, %53, %54, %55, %56, %57
472     result: %0
473     stacksize: 40
474     entry: main80
475     exit: main0
476
477     main9: imm_addr 0($sp), %5,  --> main8
478     main80: emit c24 --> main79
479     main8: imm_int 10, %6,  --> main7
480     main79: imm_int 10, %53,  --> main78
481     main78: imm_addr 0($sp), %54,  --> main77
482     main77: imm_int 0, %56,  --> main76
483     main76: imm_int 4, %57,  --> main75
484     main75: mul %55, %56, %57 --> main74
485     main74: store int32, add, %54, %55, %53 --> main73
486     main73: emit c23 --> main72
487     main72: imm_int 9, %48,  --> main71
488     main71: imm_addr 0($sp), %49,  --> main70
489     main70: imm_int 1, %51,  --> main69
490     main7: call "tri", %5, %6, %7: int -> int -> void --> main6
491     main69: imm_int 4, %52,  --> main68
492     main68: mul %50, %51, %52 --> main67
493     main67: store int32, add, %49, %50, %48 --> main66
494     main66: emit c22 --> main65
495     main65: imm_int 8, %43,  --> main64
496     main64: imm_addr 0($sp), %44,  --> main63
497     main63: imm_int 2, %46,  --> main62
498     main62: imm_int 4, %47,  --> main61
499     main61: mul %45, %46, %47 --> main60
500     main60: store int32, add, %44, %45, %43 --> main59
501     main6: emit c13 --> main5
502     main59: emit c21 --> main58
503     main58: imm_int 7, %38,  --> main57
504     main57: imm_addr 0($sp), %39,  --> main56
505     main56: imm_int 3, %41,  --> main55
506     main55: imm_int 4, %42,  --> main54
507     main54: mul %40, %41, %42 --> main53
508     main53: store int32, add, %39, %40, %38 --> main52
509     main52: emit c20 --> main51
510     main51: imm_int 6, %33,  --> main50
511     main50: imm_addr 0($sp), %34,  --> main49
512     main5: imm_addr 0($sp), %1,  --> main4
513     main49: imm_int 4, %36,  --> main48
514     main48: imm_int 4, %37,  --> main47
515     main47: mul %35, %36, %37 --> main46
516     main46: store int32, add, %34, %35, %33 --> main45
517     main45: emit c19 --> main44
518     main44: imm_int 5, %28,  --> main43
519     main43: imm_addr 0($sp), %29,  --> main42
520     main42: imm_int 5, %31,  --> main41
521     main41: imm_int 4, %32,  --> main40
522     main40: mul %30, %31, %32 --> main39
523     main4: imm_int 0, %3,  --> main3
524     main39: store int32, add, %29, %30, %28 --> main38
525     main38: emit c18 --> main37
526     main37: imm_int 4, %23,  --> main36
527     main36: imm_addr 0($sp), %24,  --> main35
528     main35: imm_int 6, %26,  --> main34
529     main34: imm_int 4, %27,  --> main33
530     main33: mul %25, %26, %27 --> main32
531     main32: store int32, add, %24, %25, %23 --> main31
532     main31: emit c17 --> main30
533     main30: imm_int 3, %18,  --> main29
534     main3: imm_int 4, %4,  --> main2
535     main29: imm_addr 0($sp), %19,  --> main28
536     main28: imm_int 7, %21,  --> main27
537     main27: imm_int 4, %22,  --> main26
538     main26: mul %20, %21, %22 --> main25
539     main25: store int32, add, %19, %20, %18 --> main24
540     main24: emit c16 --> main23
541     main23: imm_int 2, %13,  --> main22
542     main22: imm_addr 0($sp), %14,  --> main21
543     main21: imm_int 8, %16,  --> main20
544     main20: imm_int 4, %17,  --> main19
545     main2: mul %2, %3, %4 --> main1
546     main19: mul %15, %16, %17 --> main18
547     main18: store int32, add, %14, %15, %13 --> main17
548     main17: emit c15 --> main16
549     main16: imm_int 1, %8,  --> main15
550     main15: imm_addr 0($sp), %9,  --> main14
551     main14: imm_int 9, %11,  --> main13
552     main13: imm_int 4, %12,  --> main12
553     main12: mul %10, %11, %12 --> main11
554     main11: store int32, add, %9, %10, %8 --> main10
555     main10: emit c14 --> main9
556     main1: load int32, add, %1, %2, %0 --> main0
557     main0: return %0
558
559