]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/for.RTLabs.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / for.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   "for_2"(%0, %1): int -> int -> int
404     locals: %7, %2, %3, %4, %5, %6, %8, %9, %10, %11, %12, %13, %14
405     result: %7
406     stacksize: 0
407     entry: for_227
408     exit: for_20
409
410     for_29: eq %9, %10 --> for_28, for_23
411     for_28: emit c1 --> for_27
412     for_27: add %5, %5, %4 --> for_26
413     for_26: emit c2 --> for_25
414     for_25: add %4, %4, %3 --> for_24
415     for_24: --> for_213
416     for_23: emit c0 --> for_22
417     for_227: emit c9 --> for_226
418     for_226: imm_int 0, %5,  --> for_225
419     for_225: emit c8 --> for_224
420     for_224: imm_int 2, %14,  --> for_223
421     for_223: mul %6, %0, %14 --> for_222
422     for_222: emit c7 --> for_221
423     for_221: imm_int 4, %13,  --> for_220
424     for_220: mul %2, %0, %13 --> for_219
425     for_22: imm_int 1, %8,  --> for_21
426     for_219: emit c6 --> for_218
427     for_218: imm_int 1, %12,  --> for_217
428     for_217: add %3, %1, %12 --> for_216
429     for_216: emit c5 --> for_215
430     for_215: emit c4 --> for_214
431     for_214: mov %4, %6 --> for_24
432     for_213: imm_int 0, %10,  --> for_212
433     for_212: emit c3 --> for_211
434     for_211: lt %11, %4, %2 --> for_210
435     for_210: notbool %9, %11 --> for_29
436     for_21: add %7, %5, %8 --> for_20
437     for_20: return %7
438
439
440   "for_loopParalAsync"(%0, %1, %2): int -> int -> int -> int
441     locals: %8, %3, %4, %5, %6, %7, %9, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %24
442     result: %8
443     stacksize: 0
444     entry: for_loopParalAsync56
445     exit: for_loopParalAsync0
446
447     for_loopParalAsync9: mul %2, %2, %10 --> for_loopParalAsync8
448     for_loopParalAsync8: emit c11 --> for_loopParalAsync7
449     for_loopParalAsync7: div %3, %2, %6 --> for_loopParalAsync6
450     for_loopParalAsync6: emit c13 --> for_loopParalAsync5
451     for_loopParalAsync56: emit c29 --> for_loopParalAsync55
452     for_loopParalAsync55: imm_int 0, %5,  --> for_loopParalAsync54
453     for_loopParalAsync54: emit c28 --> for_loopParalAsync53
454     for_loopParalAsync53: imm_int 0, %0,  --> for_loopParalAsync52
455     for_loopParalAsync52: emit c27 --> for_loopParalAsync51
456     for_loopParalAsync51: imm_int 3, %24,  --> for_loopParalAsync50
457     for_loopParalAsync50: add %0, %0, %24 --> for_loopParalAsync49
458     for_loopParalAsync5: imm_int 1, %9,  --> for_loopParalAsync4
459     for_loopParalAsync49: emit c26 --> for_loopParalAsync48
460     for_loopParalAsync48: imm_int 2, %23,  --> for_loopParalAsync47
461     for_loopParalAsync47: mul %0, %0, %23 --> for_loopParalAsync46
462     for_loopParalAsync46: emit c25 --> for_loopParalAsync45
463     for_loopParalAsync45: imm_int 3, %22,  --> for_loopParalAsync44
464     for_loopParalAsync44: div %0, %0, %22 --> for_loopParalAsync43
465     for_loopParalAsync43: emit c24 --> for_loopParalAsync42
466     for_loopParalAsync42: imm_int 8, %21,  --> for_loopParalAsync41
467     for_loopParalAsync41: add %0, %0, %21 --> for_loopParalAsync40
468     for_loopParalAsync40: emit c23 --> for_loopParalAsync39
469     for_loopParalAsync4: add %6, %6, %9 --> for_loopParalAsync3
470     for_loopParalAsync39: emit c22 --> for_loopParalAsync38
471     for_loopParalAsync38: imm_int 0, %7,  --> for_loopParalAsync20
472     for_loopParalAsync37: imm_int 0, %18,  --> for_loopParalAsync36
473     for_loopParalAsync36: emit c21 --> for_loopParalAsync35
474     for_loopParalAsync35: imm_int 20, %20,  --> for_loopParalAsync34
475     for_loopParalAsync34: lt %19, %7, %20 --> for_loopParalAsync33
476     for_loopParalAsync33: notbool %17, %19 --> for_loopParalAsync32
477     for_loopParalAsync32: eq %17, %18 --> for_loopParalAsync31, for_loopParalAsync19
478     for_loopParalAsync31: emit c19 --> for_loopParalAsync30
479     for_loopParalAsync30: imm_int 1, %16,  --> for_loopParalAsync29
480     for_loopParalAsync3: --> for_loopParalAsync16
481     for_loopParalAsync29: add %5, %5, %16 --> for_loopParalAsync28
482     for_loopParalAsync28: emit c18 --> for_loopParalAsync27
483     for_loopParalAsync27: imm_int 2, %15,  --> for_loopParalAsync26
484     for_loopParalAsync26: add %1, %1, %15 --> for_loopParalAsync25
485     for_loopParalAsync25: emit c17 --> for_loopParalAsync24
486     for_loopParalAsync24: div %4, %1, %5 --> for_loopParalAsync23
487     for_loopParalAsync23: emit c20 --> for_loopParalAsync22
488     for_loopParalAsync22: imm_int 1, %14,  --> for_loopParalAsync21
489     for_loopParalAsync21: add %7, %7, %14 --> for_loopParalAsync20
490     for_loopParalAsync20: --> for_loopParalAsync37
491     for_loopParalAsync2: emit c10 --> for_loopParalAsync1
492     for_loopParalAsync19: emit c16 --> for_loopParalAsync18
493     for_loopParalAsync18: emit c15 --> for_loopParalAsync17
494     for_loopParalAsync17: imm_int 1, %6,  --> for_loopParalAsync3
495     for_loopParalAsync16: imm_int 0, %12,  --> for_loopParalAsync15
496     for_loopParalAsync15: emit c14 --> for_loopParalAsync14
497     for_loopParalAsync14: lt %13, %6, %0 --> for_loopParalAsync13
498     for_loopParalAsync13: notbool %11, %13 --> for_loopParalAsync12
499     for_loopParalAsync12: eq %11, %12 --> for_loopParalAsync11, for_loopParalAsync2
500     for_loopParalAsync11: emit c12 --> for_loopParalAsync10
501     for_loopParalAsync10: imm_int 2, %10,  --> for_loopParalAsync9
502     for_loopParalAsync1: mov %8, %5 --> for_loopParalAsync0
503     for_loopParalAsync0: return %8
504
505
506   "for_double"(%0): int -> int
507     locals: %6, %1, %2, %3, %4, %5, %7, %8, %9, %10, %11, %12, %13, %14
508     result: %6
509     stacksize: 0
510     entry: for_double36
511     exit: for_double0
512
513     for_double9: emit c32 --> for_double8
514     for_double8: add %4, %4, %1 --> for_double7
515     for_double7: emit c33 --> for_double6
516     for_double6: add %1, %1, %0 --> for_double5
517     for_double5: --> for_double15
518     for_double4: emit c31 --> for_double3
519     for_double36: emit c43 --> for_double35
520     for_double35: imm_int 0, %5,  --> for_double34
521     for_double34: emit c42 --> for_double33
522     for_double33: imm_int 0, %4,  --> for_double32
523     for_double32: emit c41 --> for_double31
524     for_double31: emit c40 --> for_double30
525     for_double30: imm_int 0, %2,  --> for_double19
526     for_double3: mul %3, %5, %4 --> for_double2
527     for_double29: imm_int 0, %12,  --> for_double28
528     for_double28: emit c39 --> for_double27
529     for_double27: imm_int 12, %14,  --> for_double26
530     for_double26: lt %13, %2, %14 --> for_double25
531     for_double25: notbool %11, %13 --> for_double24
532     for_double24: eq %11, %12 --> for_double23, for_double18
533     for_double23: emit c37 --> for_double22
534     for_double22: add %5, %5, %2 --> for_double21
535     for_double21: emit c38 --> for_double20
536     for_double20: add %2, %2, %0 --> for_double19
537     for_double2: emit c30 --> for_double1
538     for_double19: --> for_double29
539     for_double18: emit c36 --> for_double17
540     for_double17: emit c35 --> for_double16
541     for_double16: imm_int 0, %1,  --> for_double5
542     for_double15: imm_int 0, %8,  --> for_double14
543     for_double14: emit c34 --> for_double13
544     for_double13: imm_int 5, %10,  --> for_double12
545     for_double12: lt %9, %1, %10 --> for_double11
546     for_double11: notbool %7, %9 --> for_double10
547     for_double10: eq %7, %8 --> for_double9, for_double4
548     for_double1: mov %6, %3 --> for_double0
549     for_double0: return %6
550
551
552   "for_ex"(%0, %1, %2): int -> int -> int -> int
553     locals: %5, %3, %4, %6, %7, %8, %9, %10, %11
554     result: %5
555     stacksize: 0
556     entry: for_ex20
557     exit: for_ex0
558
559     for_ex9: notbool %6, %8 --> for_ex8
560     for_ex8: eq %6, %7 --> for_ex7, for_ex2
561     for_ex7: emit c45 --> for_ex6
562     for_ex6: sub %3, %3, %4 --> for_ex5
563     for_ex5: emit c46 --> for_ex4
564     for_ex4: add %4, %4, %2 --> for_ex3
565     for_ex3: --> for_ex14
566     for_ex20: emit c50 --> for_ex19
567     for_ex2: emit c44 --> for_ex1
568     for_ex19: imm_int 0, %3,  --> for_ex18
569     for_ex18: emit c49 --> for_ex17
570     for_ex17: emit c48 --> for_ex16
571     for_ex16: imm_int 3, %11,  --> for_ex15
572     for_ex15: add %4, %0, %11 --> for_ex3
573     for_ex14: imm_int 0, %7,  --> for_ex13
574     for_ex13: emit c47 --> for_ex12
575     for_ex12: imm_int 2, %10,  --> for_ex11
576     for_ex11: mul %9, %1, %10 --> for_ex10
577     for_ex10: le %8, %4, %9 --> for_ex9
578     for_ex1: mov %5, %3 --> for_ex0
579     for_ex0: return %5
580
581
582   "for_fortSimple"(%0, %1, %2): int -> int -> int -> int
583     locals: %7, %3, %4, %5, %6, %8, %9, %10
584     result: %7
585     stacksize: 0
586     entry: for_fortSimple19
587     exit: for_fortSimple0
588
589     for_fortSimple9: emit c53 --> for_fortSimple8
590     for_fortSimple8: add %3, %3, %5 --> for_fortSimple7
591     for_fortSimple7: emit c54 --> for_fortSimple6
592     for_fortSimple6: add %5, %5, %2 --> for_fortSimple5
593     for_fortSimple5: --> for_fortSimple14
594     for_fortSimple4: emit c52 --> for_fortSimple3
595     for_fortSimple3: add %4, %3, %0 --> for_fortSimple2
596     for_fortSimple2: emit c51 --> for_fortSimple1
597     for_fortSimple19: emit c58 --> for_fortSimple18
598     for_fortSimple18: imm_int 0, %3,  --> for_fortSimple17
599     for_fortSimple17: emit c57 --> for_fortSimple16
600     for_fortSimple16: emit c56 --> for_fortSimple15
601     for_fortSimple15: mov %5, %0 --> for_fortSimple5
602     for_fortSimple14: imm_int 0, %9,  --> for_fortSimple13
603     for_fortSimple13: emit c55 --> for_fortSimple12
604     for_fortSimple12: lt %10, %5, %1 --> for_fortSimple11
605     for_fortSimple11: notbool %8, %10 --> for_fortSimple10
606     for_fortSimple10: eq %8, %9 --> for_fortSimple9, for_fortSimple4
607     for_fortSimple1: mov %7, %4 --> for_fortSimple0
608     for_fortSimple0: return %7
609
610
611   "for_imbriq"(%0, %1): int -> int -> int
612     locals: %6, %2, %3, %4, %5, %7, %8, %9, %10, %11, %12, %13, %14
613     result: %6
614     stacksize: 0
615     entry: for_imbriq34
616     exit: for_imbriq0
617
618     for_imbriq9: mod %4, %4, %2 --> for_imbriq8
619     for_imbriq8: emit c62 --> for_imbriq7
620     for_imbriq7: add %2, %2, %1 --> for_imbriq6
621     for_imbriq6: --> for_imbriq18
622     for_imbriq5: emit c67 --> for_imbriq4
623     for_imbriq4: add %3, %3, %0 --> for_imbriq3
624     for_imbriq34: emit c71 --> for_imbriq33
625     for_imbriq33: imm_int 0, %5,  --> for_imbriq32
626     for_imbriq32: emit c70 --> for_imbriq31
627     for_imbriq31: emit c69 --> for_imbriq30
628     for_imbriq30: imm_int 0, %3,  --> for_imbriq3
629     for_imbriq3: --> for_imbriq29
630     for_imbriq29: imm_int 0, %12,  --> for_imbriq28
631     for_imbriq28: emit c68 --> for_imbriq27
632     for_imbriq27: imm_int 23, %14,  --> for_imbriq26
633     for_imbriq26: lt %13, %3, %14 --> for_imbriq25
634     for_imbriq25: notbool %11, %13 --> for_imbriq24
635     for_imbriq24: eq %11, %12 --> for_imbriq23, for_imbriq2
636     for_imbriq23: emit c66 --> for_imbriq22
637     for_imbriq22: imm_int 0, %4,  --> for_imbriq21
638     for_imbriq21: emit c65 --> for_imbriq20
639     for_imbriq20: emit c64 --> for_imbriq19
640     for_imbriq2: emit c59 --> for_imbriq1
641     for_imbriq19: imm_int 1, %2,  --> for_imbriq6
642     for_imbriq18: imm_int 0, %8,  --> for_imbriq17
643     for_imbriq17: emit c63 --> for_imbriq16
644     for_imbriq16: imm_int 12, %10,  --> for_imbriq15
645     for_imbriq15: lt %9, %2, %10 --> for_imbriq14
646     for_imbriq14: notbool %7, %9 --> for_imbriq13
647     for_imbriq13: eq %7, %8 --> for_imbriq12, for_imbriq5
648     for_imbriq12: emit c61 --> for_imbriq11
649     for_imbriq11: add %5, %5, %4 --> for_imbriq10
650     for_imbriq10: emit c60 --> for_imbriq9
651     for_imbriq1: mov %6, %5 --> for_imbriq0
652     for_imbriq0: return %6
653
654
655   "for_incr"(%0, %1): int -> int -> int
656     locals: %4, %2, %3, %5, %6, %7, %8, %9, %10, %11
657     result: %4
658     stacksize: 0
659     entry: for_incr21
660     exit: for_incr0
661
662     for_incr9: eq %6, %7 --> for_incr8, for_incr2
663     for_incr8: emit c73 --> for_incr7
664     for_incr7: sub %2, %2, %3 --> for_incr6
665     for_incr6: emit c74 --> for_incr5
666     for_incr5: imm_int 1, %5,  --> for_incr4
667     for_incr4: add %3, %3, %5 --> for_incr3
668     for_incr3: --> for_incr15
669     for_incr21: emit c78 --> for_incr20
670     for_incr20: imm_int 0, %2,  --> for_incr19
671     for_incr2: emit c72 --> for_incr1
672     for_incr19: emit c77 --> for_incr18
673     for_incr18: emit c76 --> for_incr17
674     for_incr17: imm_int 3, %11,  --> for_incr16
675     for_incr16: add %3, %0, %11 --> for_incr3
676     for_incr15: imm_int 0, %7,  --> for_incr14
677     for_incr14: emit c75 --> for_incr13
678     for_incr13: imm_int 2, %10,  --> for_incr12
679     for_incr12: mul %9, %1, %10 --> for_incr11
680     for_incr11: le %8, %3, %9 --> for_incr10
681     for_incr10: notbool %6, %8 --> for_incr9
682     for_incr1: mov %4, %2 --> for_incr0
683     for_incr0: return %4
684
685
686   "for_incrParam"(%0, %1): int -> int -> int
687     locals: %5, %2, %3, %4, %6, %7, %8, %9, %10, %11, %12, %13
688     result: %5
689     stacksize: 0
690     entry: for_incrParam24
691     exit: for_incrParam0
692
693     for_incrParam9: eq %7, %8 --> for_incrParam8, for_incrParam2
694     for_incrParam8: emit c80 --> for_incrParam7
695     for_incrParam7: add %6, %3, %2 --> for_incrParam6
696     for_incrParam6: add %3, %6, %0 --> for_incrParam5
697     for_incrParam5: emit c81 --> for_incrParam4
698     for_incrParam4: add %3, %3, %0 --> for_incrParam3
699     for_incrParam3: --> for_incrParam15
700     for_incrParam24: emit c86 --> for_incrParam23
701     for_incrParam23: add %2, %0, %1 --> for_incrParam22
702     for_incrParam22: emit c85 --> for_incrParam21
703     for_incrParam21: imm_int 3, %13,  --> for_incrParam20
704     for_incrParam20: mul %4, %13, %2 --> for_incrParam19
705     for_incrParam2: emit c79 --> for_incrParam1
706     for_incrParam19: emit c84 --> for_incrParam18
707     for_incrParam18: emit c83 --> for_incrParam17
708     for_incrParam17: imm_int 4, %12,  --> for_incrParam16
709     for_incrParam16: sub %3, %2, %12 --> for_incrParam3
710     for_incrParam15: imm_int 0, %8,  --> for_incrParam14
711     for_incrParam14: emit c82 --> for_incrParam13
712     for_incrParam13: imm_int 6, %11,  --> for_incrParam12
713     for_incrParam12: add %10, %1, %11 --> for_incrParam11
714     for_incrParam11: lt %9, %3, %10 --> for_incrParam10
715     for_incrParam10: notbool %7, %9 --> for_incrParam9
716     for_incrParam1: mov %5, %3 --> for_incrParam0
717     for_incrParam0: return %5
718
719
720   "for_forfor"(): int
721     locals: %2, %0, %1, %3, %4, %5, %6, %7, %8, %9
722     result: %2
723     stacksize: 0
724     entry: for_forfor23
725     exit: for_forfor0
726
727     for_forfor9: emit c88 --> for_forfor8
728     for_forfor8: imm_int 1, %4,  --> for_forfor7
729     for_forfor7: add %0, %0, %4 --> for_forfor6
730     for_forfor6: emit c90 --> for_forfor5
731     for_forfor5: imm_int 1, %3,  --> for_forfor4
732     for_forfor4: add %1, %1, %3 --> for_forfor3
733     for_forfor3: --> for_forfor18
734     for_forfor23: emit c94 --> for_forfor22
735     for_forfor22: emit c93 --> for_forfor21
736     for_forfor21: imm_int 0, %1,  --> for_forfor20
737     for_forfor20: emit c92 --> for_forfor19
738     for_forfor2: emit c87 --> for_forfor1
739     for_forfor19: imm_int 0, %0,  --> for_forfor3
740     for_forfor18: imm_int 0, %7,  --> for_forfor17
741     for_forfor17: emit c91 --> for_forfor16
742     for_forfor16: imm_int 10, %9,  --> for_forfor15
743     for_forfor15: lt %8, %1, %9 --> for_forfor14
744     for_forfor14: notbool %6, %8 --> for_forfor13
745     for_forfor13: eq %6, %7 --> for_forfor12, for_forfor2
746     for_forfor12: emit c89 --> for_forfor11
747     for_forfor11: imm_int 1, %5,  --> for_forfor10
748     for_forfor10: add %0, %0, %5 --> for_forfor9
749     for_forfor1: mov %2, %0 --> for_forfor0
750     for_forfor0: return %2
751
752
753   "main"(): int
754     locals: %1, %0, %2, %3, %4, %5, %6, %7, %8, %9, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19
755     result: %1
756     stacksize: 0
757     entry: main38
758     exit: main0
759
760     main9: call "for_incr", %4, %5, %0: int -> int -> int --> main8
761     main8: emit c97 --> main7
762     main7: imm_int 2, %2,  --> main6
763     main6: imm_int 3, %3,  --> main5
764     main5: call "for_incrParam", %2, %3, %0: int -> int -> int --> main4
765     main4: emit c96 --> main3
766     main38: emit c104 --> main37
767     main37: imm_int 3, %18,  --> main36
768     main36: imm_int 1, %19,  --> main35
769     main35: call "for_2", %18, %19, %0: int -> int -> int --> main34
770     main34: emit c103 --> main33
771     main33: imm_int 1, %15,  --> main32
772     main32: imm_int 2, %16,  --> main31
773     main31: imm_int 3, %17,  --> main30
774     main30: call "for_loopParalAsync", %15, %16, %17, %0: int -> int -> int -> int --> main29
775     main3: call "for_forfor", , %0: int --> main2
776     main29: emit c102 --> main28
777     main28: imm_int 1, %14,  --> main27
778     main27: call "for_double", %14, %0: int -> int --> main26
779     main26: emit c101 --> main25
780     main25: imm_int 2, %11,  --> main24
781     main24: imm_int 10, %12,  --> main23
782     main23: imm_int 1, %13,  --> main22
783     main22: call "for_ex", %11, %12, %13, %0: int -> int -> int -> int --> main21
784     main21: emit c100 --> main20
785     main20: imm_int 2, %8,  --> main19
786     main2: emit c95 --> main1
787     main19: imm_int 10, %9,  --> main18
788     main18: imm_int 1, %10,  --> main17
789     main17: call "for_fortSimple", %8, %9, %10, %0: int -> int -> int -> int --> main16
790     main16: emit c99 --> main15
791     main15: imm_int 2, %6,  --> main14
792     main14: imm_int 3, %7,  --> main13
793     main13: call "for_imbriq", %6, %7, %0: int -> int -> int --> main12
794     main12: emit c98 --> main11
795     main11: imm_int 2, %4,  --> main10
796     main10: imm_int 3, %5,  --> main9
797     main1: mov %1, %0 --> main0
798     main0: return %1
799
800