]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/array.RTLabs.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / array.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   "array_local"(): int
404     locals: %4, %0, %1, %2, %3, %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, %58, %59, %60, %61, %62, %63, %64, %65, %66, %67, %68, %69, %70, %71, %72, %73, %74, %75, %76, %77, %78, %79, %80, %81
405     result: %4
406     stacksize: 40
407     entry: array_local111
408     exit: array_local0
409
410     array_local99: mul %74, %75, %76 --> array_local98
411     array_local98: store int32, add, %73, %74, %72 --> array_local97
412     array_local97: emit c14 --> array_local96
413     array_local96: imm_int 0, %67,  --> array_local95
414     array_local95: imm_addr 0($sp), %68,  --> array_local94
415     array_local94: imm_int 2, %70,  --> array_local93
416     array_local93: imm_int 4, %71,  --> array_local92
417     array_local92: mul %69, %70, %71 --> array_local91
418     array_local91: store int32, add, %68, %69, %67 --> array_local90
419     array_local90: emit c13 --> array_local89
420     array_local9: load int32, add, %9, %10, %3 --> array_local8
421     array_local89: imm_int 0, %62,  --> array_local88
422     array_local88: imm_addr 0($sp), %63,  --> array_local87
423     array_local87: imm_int 3, %65,  --> array_local86
424     array_local86: imm_int 4, %66,  --> array_local85
425     array_local85: mul %64, %65, %66 --> array_local84
426     array_local84: store int32, add, %63, %64, %62 --> array_local83
427     array_local83: emit c12 --> array_local82
428     array_local82: imm_int 0, %57,  --> array_local81
429     array_local81: imm_addr 0($sp), %58,  --> array_local80
430     array_local80: imm_int 4, %60,  --> array_local79
431     array_local8: emit c1 --> array_local7
432     array_local79: imm_int 4, %61,  --> array_local78
433     array_local78: mul %59, %60, %61 --> array_local77
434     array_local77: store int32, add, %58, %59, %57 --> array_local76
435     array_local76: emit c11 --> array_local75
436     array_local75: imm_int 0, %52,  --> array_local74
437     array_local74: imm_addr 0($sp), %53,  --> array_local73
438     array_local73: imm_int 5, %55,  --> array_local72
439     array_local72: imm_int 4, %56,  --> array_local71
440     array_local71: mul %54, %55, %56 --> array_local70
441     array_local70: store int32, add, %53, %54, %52 --> array_local69
442     array_local7: imm_addr 0($sp), %5,  --> array_local6
443     array_local69: emit c10 --> array_local68
444     array_local68: imm_int 0, %47,  --> array_local67
445     array_local67: imm_addr 0($sp), %48,  --> array_local66
446     array_local66: imm_int 6, %50,  --> array_local65
447     array_local65: imm_int 4, %51,  --> array_local64
448     array_local64: mul %49, %50, %51 --> array_local63
449     array_local63: store int32, add, %48, %49, %47 --> array_local62
450     array_local62: emit c9 --> array_local61
451     array_local61: imm_int 0, %42,  --> array_local60
452     array_local60: imm_addr 0($sp), %43,  --> array_local59
453     array_local6: imm_int 0, %7,  --> array_local5
454     array_local59: imm_int 7, %45,  --> array_local58
455     array_local58: imm_int 4, %46,  --> array_local57
456     array_local57: mul %44, %45, %46 --> array_local56
457     array_local56: store int32, add, %43, %44, %42 --> array_local55
458     array_local55: emit c8 --> array_local54
459     array_local54: imm_int 0, %37,  --> array_local53
460     array_local53: imm_addr 0($sp), %38,  --> array_local52
461     array_local52: imm_int 8, %40,  --> array_local51
462     array_local51: imm_int 4, %41,  --> array_local50
463     array_local50: mul %39, %40, %41 --> array_local49
464     array_local5: imm_int 4, %8,  --> array_local4
465     array_local49: store int32, add, %38, %39, %37 --> array_local48
466     array_local48: emit c7 --> array_local47
467     array_local47: imm_int 0, %32,  --> array_local46
468     array_local46: imm_addr 0($sp), %33,  --> array_local45
469     array_local45: imm_int 9, %35,  --> array_local44
470     array_local44: imm_int 4, %36,  --> array_local43
471     array_local43: mul %34, %35, %36 --> array_local42
472     array_local42: store int32, add, %33, %34, %32 --> array_local41
473     array_local41: emit c6 --> array_local40
474     array_local40: imm_int 1, %27,  --> array_local39
475     array_local4: mul %6, %7, %8 --> array_local3
476     array_local39: imm_addr 0($sp), %28,  --> array_local38
477     array_local38: imm_int 0, %30,  --> array_local37
478     array_local37: imm_int 4, %31,  --> array_local36
479     array_local36: mul %29, %30, %31 --> array_local35
480     array_local35: store int32, add, %28, %29, %27 --> array_local34
481     array_local34: emit c5 --> array_local33
482     array_local33: imm_int 5, %22,  --> array_local32
483     array_local32: imm_addr 0($sp), %23,  --> array_local31
484     array_local31: imm_int 1, %25,  --> array_local30
485     array_local30: imm_int 4, %26,  --> array_local29
486     array_local3: load int32, add, %5, %6, %2 --> array_local2
487     array_local29: mul %24, %25, %26 --> array_local28
488     array_local28: store int32, add, %23, %24, %22 --> array_local27
489     array_local27: emit c4 --> array_local26
490     array_local26: imm_addr 0($sp), %18,  --> array_local25
491     array_local25: imm_int 0, %20,  --> array_local24
492     array_local24: imm_int 4, %21,  --> array_local23
493     array_local23: mul %19, %20, %21 --> array_local22
494     array_local22: load int32, add, %18, %19, %3 --> array_local21
495     array_local21: emit c3 --> array_local20
496     array_local20: imm_int 7, %13,  --> array_local19
497     array_local2: emit c0 --> array_local1
498     array_local19: imm_addr 0($sp), %14,  --> array_local18
499     array_local18: imm_int 1, %16,  --> array_local17
500     array_local17: imm_int 4, %17,  --> array_local16
501     array_local16: mul %15, %16, %17 --> array_local15
502     array_local15: store int32, add, %14, %15, %13 --> array_local14
503     array_local14: emit c2 --> array_local13
504     array_local13: imm_addr 0($sp), %9,  --> array_local12
505     array_local12: imm_int 1, %11,  --> array_local11
506     array_local111: emit c16 --> array_local110
507     array_local110: imm_int 0, %77,  --> array_local109
508     array_local11: imm_int 4, %12,  --> array_local10
509     array_local109: imm_addr 0($sp), %78,  --> array_local108
510     array_local108: imm_int 0, %80,  --> array_local107
511     array_local107: imm_int 4, %81,  --> array_local106
512     array_local106: mul %79, %80, %81 --> array_local105
513     array_local105: store int32, add, %78, %79, %77 --> array_local104
514     array_local104: emit c15 --> array_local103
515     array_local103: imm_int 0, %72,  --> array_local102
516     array_local102: imm_addr 0($sp), %73,  --> array_local101
517     array_local101: imm_int 1, %75,  --> array_local100
518     array_local100: imm_int 4, %76,  --> array_local99
519     array_local10: mul %10, %11, %12 --> array_local9
520     array_local1: mov %4, %3 --> array_local0
521     array_local0: return %4
522
523
524   "array_mixte"(%0, %1, %2): int -> int -> int -> int
525     locals: %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, %58, %59, %60, %61, %62, %63, %64, %65, %66, %67, %68, %69, %70, %71, %72, %73, %74, %75, %76, %77
526     result: %3
527     stacksize: 40
528     entry: array_mixte102
529     exit: array_mixte0
530
531     array_mixte99: imm_int 0, %76,  --> array_mixte98
532     array_mixte98: imm_int 4, %77,  --> array_mixte97
533     array_mixte97: mul %75, %76, %77 --> array_mixte96
534     array_mixte96: store int32, add, %74, %75, %73 --> array_mixte95
535     array_mixte95: emit c29 --> array_mixte94
536     array_mixte94: imm_int 0, %68,  --> array_mixte93
537     array_mixte93: imm_addr 0($sp), %69,  --> array_mixte92
538     array_mixte92: imm_int 1, %71,  --> array_mixte91
539     array_mixte91: imm_int 4, %72,  --> array_mixte90
540     array_mixte90: mul %70, %71, %72 --> array_mixte89
541     array_mixte9: load int32, add, %0, %10, %7 --> array_mixte8
542     array_mixte89: store int32, add, %69, %70, %68 --> array_mixte88
543     array_mixte88: emit c28 --> array_mixte87
544     array_mixte87: imm_int 0, %63,  --> array_mixte86
545     array_mixte86: imm_addr 0($sp), %64,  --> array_mixte85
546     array_mixte85: imm_int 2, %66,  --> array_mixte84
547     array_mixte84: imm_int 4, %67,  --> array_mixte83
548     array_mixte83: mul %65, %66, %67 --> array_mixte82
549     array_mixte82: store int32, add, %64, %65, %63 --> array_mixte81
550     array_mixte81: emit c27 --> array_mixte80
551     array_mixte80: imm_int 0, %58,  --> array_mixte79
552     array_mixte8: imm_int 4, %9,  --> array_mixte7
553     array_mixte79: imm_addr 0($sp), %59,  --> array_mixte78
554     array_mixte78: imm_int 3, %61,  --> array_mixte77
555     array_mixte77: imm_int 4, %62,  --> array_mixte76
556     array_mixte76: mul %60, %61, %62 --> array_mixte75
557     array_mixte75: store int32, add, %59, %60, %58 --> array_mixte74
558     array_mixte74: emit c26 --> array_mixte73
559     array_mixte73: imm_int 0, %53,  --> array_mixte72
560     array_mixte72: imm_addr 0($sp), %54,  --> array_mixte71
561     array_mixte71: imm_int 4, %56,  --> array_mixte70
562     array_mixte70: imm_int 4, %57,  --> array_mixte69
563     array_mixte7: mul %8, %1, %9 --> array_mixte6
564     array_mixte69: mul %55, %56, %57 --> array_mixte68
565     array_mixte68: store int32, add, %54, %55, %53 --> array_mixte67
566     array_mixte67: emit c25 --> array_mixte66
567     array_mixte66: imm_int 0, %48,  --> array_mixte65
568     array_mixte65: imm_addr 0($sp), %49,  --> array_mixte64
569     array_mixte64: imm_int 5, %51,  --> array_mixte63
570     array_mixte63: imm_int 4, %52,  --> array_mixte62
571     array_mixte62: mul %50, %51, %52 --> array_mixte61
572     array_mixte61: store int32, add, %49, %50, %48 --> array_mixte60
573     array_mixte60: emit c24 --> array_mixte59
574     array_mixte6: store int32, add, %0, %8, %7 --> array_mixte5
575     array_mixte59: imm_int 0, %43,  --> array_mixte58
576     array_mixte58: imm_addr 0($sp), %44,  --> array_mixte57
577     array_mixte57: imm_int 6, %46,  --> array_mixte56
578     array_mixte56: imm_int 4, %47,  --> array_mixte55
579     array_mixte55: mul %45, %46, %47 --> array_mixte54
580     array_mixte54: store int32, add, %44, %45, %43 --> array_mixte53
581     array_mixte53: emit c23 --> array_mixte52
582     array_mixte52: imm_int 0, %38,  --> array_mixte51
583     array_mixte51: imm_addr 0($sp), %39,  --> array_mixte50
584     array_mixte50: imm_int 7, %41,  --> array_mixte49
585     array_mixte5: emit c17 --> array_mixte4
586     array_mixte49: imm_int 4, %42,  --> array_mixte48
587     array_mixte48: mul %40, %41, %42 --> array_mixte47
588     array_mixte47: store int32, add, %39, %40, %38 --> array_mixte46
589     array_mixte46: emit c22 --> array_mixte45
590     array_mixte45: imm_int 0, %33,  --> array_mixte44
591     array_mixte44: imm_addr 0($sp), %34,  --> array_mixte43
592     array_mixte43: imm_int 8, %36,  --> array_mixte42
593     array_mixte42: imm_int 4, %37,  --> array_mixte41
594     array_mixte41: mul %35, %36, %37 --> array_mixte40
595     array_mixte40: store int32, add, %34, %35, %33 --> array_mixte39
596     array_mixte4: imm_addr 0($sp), %4,  --> array_mixte3
597     array_mixte39: emit c21 --> array_mixte38
598     array_mixte38: imm_int 0, %28,  --> array_mixte37
599     array_mixte37: imm_addr 0($sp), %29,  --> array_mixte36
600     array_mixte36: imm_int 9, %31,  --> array_mixte35
601     array_mixte35: imm_int 4, %32,  --> array_mixte34
602     array_mixte34: mul %30, %31, %32 --> array_mixte33
603     array_mixte33: store int32, add, %29, %30, %28 --> array_mixte32
604     array_mixte32: emit c20 --> array_mixte31
605     array_mixte31: imm_int 4, %27,  --> array_mixte30
606     array_mixte30: mul %26, %2, %27 --> array_mixte29
607     array_mixte3: imm_int 4, %6,  --> array_mixte2
608     array_mixte29: load int32, add, %0, %26, %24 --> array_mixte28
609     array_mixte28: imm_int 1, %25,  --> array_mixte27
610     array_mixte27: add %20, %24, %25 --> array_mixte26
611     array_mixte26: imm_addr 0($sp), %21,  --> array_mixte25
612     array_mixte25: imm_int 4, %23,  --> array_mixte24
613     array_mixte24: mul %22, %1, %23 --> array_mixte23
614     array_mixte23: store int32, add, %21, %22, %20 --> array_mixte22
615     array_mixte22: emit c19 --> array_mixte21
616     array_mixte21: imm_addr 0($sp), %16,  --> array_mixte20
617     array_mixte20: imm_int 0, %18,  --> array_mixte19
618     array_mixte2: mul %5, %1, %6 --> array_mixte1
619     array_mixte19: imm_int 4, %19,  --> array_mixte18
620     array_mixte18: mul %17, %18, %19 --> array_mixte17
621     array_mixte17: load int32, add, %16, %17, %13 --> array_mixte16
622     array_mixte16: imm_int 4, %15,  --> array_mixte15
623     array_mixte15: mul %14, %2, %15 --> array_mixte14
624     array_mixte14: store int32, add, %0, %14, %13 --> array_mixte13
625     array_mixte13: emit c18 --> array_mixte12
626     array_mixte12: imm_int 1, %11,  --> array_mixte11
627     array_mixte11: imm_int 4, %12,  --> array_mixte10
628     array_mixte102: emit c30 --> array_mixte101
629     array_mixte101: imm_int 0, %73,  --> array_mixte100
630     array_mixte100: imm_addr 0($sp), %74,  --> array_mixte99
631     array_mixte10: mul %10, %11, %12 --> array_mixte9
632     array_mixte1: load int32, add, %4, %5, %3 --> array_mixte0
633     array_mixte0: return %3
634
635
636   "array_param"(%0, %1, %2): int -> int -> int -> int
637     locals: %7, %3, %4, %5, %6, %8, %9, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %24, %25
638     result: %7
639     stacksize: 0
640     entry: array_param32
641     exit: array_param0
642
643     array_param9: mul %11, %2, %12 --> array_param8
644     array_param8: load int32, add, %0, %11, %6 --> array_param7
645     array_param7: emit c32 --> array_param6
646     array_param6: imm_int 0, %9,  --> array_param5
647     array_param5: imm_int 4, %10,  --> array_param4
648     array_param4: mul %8, %9, %10 --> array_param3
649     array_param32: emit c37 --> array_param31
650     array_param31: imm_int 1, %22,  --> array_param30
651     array_param30: imm_int 0, %24,  --> array_param29
652     array_param3: load int32, add, %0, %8, %5 --> array_param2
653     array_param29: imm_int 4, %25,  --> array_param28
654     array_param28: mul %23, %24, %25 --> array_param27
655     array_param27: store int32, add, %0, %23, %22 --> array_param26
656     array_param26: emit c36 --> array_param25
657     array_param25: imm_int 1, %20,  --> array_param24
658     array_param24: imm_int 4, %21,  --> array_param23
659     array_param23: mul %19, %20, %21 --> array_param22
660     array_param22: store int32, add, %0, %19, %1 --> array_param21
661     array_param21: emit c35 --> array_param20
662     array_param20: imm_int 0, %17,  --> array_param19
663     array_param2: emit c31 --> array_param1
664     array_param19: imm_int 4, %18,  --> array_param18
665     array_param18: mul %16, %17, %18 --> array_param17
666     array_param17: load int32, add, %0, %16, %6 --> array_param16
667     array_param16: emit c34 --> array_param15
668     array_param15: imm_int 7, %13,  --> array_param14
669     array_param14: imm_int 4, %15,  --> array_param13
670     array_param13: mul %14, %2, %15 --> array_param12
671     array_param12: store int32, add, %0, %14, %13 --> array_param11
672     array_param11: emit c33 --> array_param10
673     array_param10: imm_int 4, %12,  --> array_param9
674     array_param1: mov %7, %6 --> array_param0
675     array_param0: return %7
676
677
678   "main"(): int
679     locals: %3, %0, %1, %2, %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, %58, %59, %60
680     result: %3
681     stacksize: 40
682     entry: main85
683     exit: main0
684
685     main9: call "array_mixte", %8, %9, %10, %1: int -> int -> int -> int --> main8
686     main85: emit c51 --> main84
687     main84: imm_int 1, %56,  --> main83
688     main83: imm_addr 0($sp), %57,  --> main82
689     main82: imm_int 0, %59,  --> main81
690     main81: imm_int 4, %60,  --> main80
691     main80: mul %58, %59, %60 --> main79
692     main8: emit c39 --> main7
693     main79: store int32, add, %57, %58, %56 --> main78
694     main78: emit c50 --> main77
695     main77: imm_int 2, %51,  --> main76
696     main76: imm_addr 0($sp), %52,  --> main75
697     main75: imm_int 1, %54,  --> main74
698     main74: imm_int 4, %55,  --> main73
699     main73: mul %53, %54, %55 --> main72
700     main72: store int32, add, %52, %53, %51 --> main71
701     main71: emit c49 --> main70
702     main70: imm_int 3, %46,  --> main69
703     main7: imm_addr 0($sp), %5,  --> main6
704     main69: imm_addr 0($sp), %47,  --> main68
705     main68: imm_int 2, %49,  --> main67
706     main67: imm_int 4, %50,  --> main66
707     main66: mul %48, %49, %50 --> main65
708     main65: store int32, add, %47, %48, %46 --> main64
709     main64: emit c48 --> main63
710     main63: imm_int 4, %41,  --> main62
711     main62: imm_addr 0($sp), %42,  --> main61
712     main61: imm_int 3, %44,  --> main60
713     main60: imm_int 4, %45,  --> main59
714     main6: imm_int 2, %6,  --> main5
715     main59: mul %43, %44, %45 --> main58
716     main58: store int32, add, %42, %43, %41 --> main57
717     main57: emit c47 --> main56
718     main56: imm_int 5, %36,  --> main55
719     main55: imm_addr 0($sp), %37,  --> main54
720     main54: imm_int 4, %39,  --> main53
721     main53: imm_int 4, %40,  --> main52
722     main52: mul %38, %39, %40 --> main51
723     main51: store int32, add, %37, %38, %36 --> main50
724     main50: emit c46 --> main49
725     main5: imm_int 3, %7,  --> main4
726     main49: imm_int 6, %31,  --> main48
727     main48: imm_addr 0($sp), %32,  --> main47
728     main47: imm_int 5, %34,  --> main46
729     main46: imm_int 4, %35,  --> main45
730     main45: mul %33, %34, %35 --> main44
731     main44: store int32, add, %32, %33, %31 --> main43
732     main43: emit c45 --> main42
733     main42: imm_int 7, %26,  --> main41
734     main41: imm_addr 0($sp), %27,  --> main40
735     main40: imm_int 6, %29,  --> main39
736     main4: call "array_param", %5, %6, %7, %0: int -> int -> int -> int --> main3
737     main39: imm_int 4, %30,  --> main38
738     main38: mul %28, %29, %30 --> main37
739     main37: store int32, add, %27, %28, %26 --> main36
740     main36: emit c44 --> main35
741     main35: imm_int 8, %21,  --> main34
742     main34: imm_addr 0($sp), %22,  --> main33
743     main33: imm_int 7, %24,  --> main32
744     main32: imm_int 4, %25,  --> main31
745     main31: mul %23, %24, %25 --> main30
746     main30: store int32, add, %22, %23, %21 --> main29
747     main3: emit c38 --> main2
748     main29: emit c43 --> main28
749     main28: imm_int 9, %16,  --> main27
750     main27: imm_addr 0($sp), %17,  --> main26
751     main26: imm_int 8, %19,  --> main25
752     main25: imm_int 4, %20,  --> main24
753     main24: mul %18, %19, %20 --> main23
754     main23: store int32, add, %17, %18, %16 --> main22
755     main22: emit c42 --> main21
756     main21: imm_int 0, %11,  --> main20
757     main20: imm_addr 0($sp), %12,  --> main19
758     main2: add %4, %2, %1 --> main1
759     main19: imm_int 9, %14,  --> main18
760     main18: imm_int 4, %15,  --> main17
761     main17: mul %13, %14, %15 --> main16
762     main16: store int32, add, %12, %13, %11 --> main15
763     main15: emit c41 --> main14
764     main14: call "array_local", , %2: int --> main13
765     main13: emit c40 --> main12
766     main12: imm_addr 0($sp), %8,  --> main11
767     main11: imm_int 2, %9,  --> main10
768     main10: imm_int 3, %10,  --> main9
769     main1: add %3, %4, %0 --> main0
770     main0: return %3
771
772