]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/complets.RTLabs.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / complets.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   "comp_fir_basic"(%0, %1, %2, %3, %4): int -> int -> int -> int -> int -> int
404     locals: %9, %5, %6, %7, %8, %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
405     result: %9
406     stacksize: 0
407     entry: comp_fir_basic69
408     exit: comp_fir_basic0
409
410     comp_fir_basic9: imm_int 1, %11,  --> comp_fir_basic8
411     comp_fir_basic8: sub %7, %7, %11 --> comp_fir_basic7
412     comp_fir_basic7: --> comp_fir_basic25
413     comp_fir_basic69: emit c16 --> comp_fir_basic68
414     comp_fir_basic68: imm_int 0, %5,  --> comp_fir_basic67
415     comp_fir_basic67: emit c15 --> comp_fir_basic66
416     comp_fir_basic66: emit c14 --> comp_fir_basic65
417     comp_fir_basic65: imm_int 0, %6,  --> comp_fir_basic3
418     comp_fir_basic64: imm_int 0, %42,  --> comp_fir_basic63
419     comp_fir_basic63: emit c13 --> comp_fir_basic62
420     comp_fir_basic62: imm_int 3, %44,  --> comp_fir_basic61
421     comp_fir_basic61: lt %43, %6, %44 --> comp_fir_basic60
422     comp_fir_basic60: notbool %41, %43 --> comp_fir_basic59
423     comp_fir_basic6: emit c12 --> comp_fir_basic5
424     comp_fir_basic59: eq %41, %42 --> comp_fir_basic58, comp_fir_basic2
425     comp_fir_basic58: emit c11 --> comp_fir_basic57
426     comp_fir_basic57: imm_int 4, %40,  --> comp_fir_basic56
427     comp_fir_basic56: mul %39, %6, %40 --> comp_fir_basic55
428     comp_fir_basic55: load int32, add, %0, %39, %35 --> comp_fir_basic54
429     comp_fir_basic54: imm_int 0, %37,  --> comp_fir_basic53
430     comp_fir_basic53: imm_int 4, %38,  --> comp_fir_basic52
431     comp_fir_basic52: mul %36, %37, %38 --> comp_fir_basic51
432     comp_fir_basic51: store int32, add, %2, %36, %35 --> comp_fir_basic50
433     comp_fir_basic50: emit c10 --> comp_fir_basic49
434     comp_fir_basic5: imm_int 1, %10,  --> comp_fir_basic4
435     comp_fir_basic49: emit c9 --> comp_fir_basic48
436     comp_fir_basic48: imm_int 0, %8,  --> comp_fir_basic29
437     comp_fir_basic47: imm_int 0, %32,  --> comp_fir_basic46
438     comp_fir_basic46: emit c8 --> comp_fir_basic45
439     comp_fir_basic45: imm_int 3, %34,  --> comp_fir_basic44
440     comp_fir_basic44: lt %33, %8, %34 --> comp_fir_basic43
441     comp_fir_basic43: notbool %31, %33 --> comp_fir_basic42
442     comp_fir_basic42: eq %31, %32 --> comp_fir_basic41, comp_fir_basic28
443     comp_fir_basic41: emit c6 --> comp_fir_basic40
444     comp_fir_basic40: imm_int 4, %30,  --> comp_fir_basic39
445     comp_fir_basic4: add %6, %6, %10 --> comp_fir_basic3
446     comp_fir_basic39: mul %29, %8, %30 --> comp_fir_basic38
447     comp_fir_basic38: load int32, add, %1, %29, %25 --> comp_fir_basic37
448     comp_fir_basic37: imm_int 4, %28,  --> comp_fir_basic36
449     comp_fir_basic36: mul %27, %8, %28 --> comp_fir_basic35
450     comp_fir_basic35: load int32, add, %2, %27, %26 --> comp_fir_basic34
451     comp_fir_basic34: mul %24, %25, %26 --> comp_fir_basic33
452     comp_fir_basic33: add %5, %5, %24 --> comp_fir_basic32
453     comp_fir_basic32: emit c7 --> comp_fir_basic31
454     comp_fir_basic31: imm_int 1, %23,  --> comp_fir_basic30
455     comp_fir_basic30: add %8, %8, %23 --> comp_fir_basic29
456     comp_fir_basic3: --> comp_fir_basic64
457     comp_fir_basic29: --> comp_fir_basic47
458     comp_fir_basic28: emit c5 --> comp_fir_basic27
459     comp_fir_basic27: emit c4 --> comp_fir_basic26
460     comp_fir_basic26: imm_int 2, %7,  --> comp_fir_basic7
461     comp_fir_basic25: imm_int 0, %20,  --> comp_fir_basic24
462     comp_fir_basic24: emit c3 --> comp_fir_basic23
463     comp_fir_basic23: imm_int 0, %22,  --> comp_fir_basic22
464     comp_fir_basic22: ge %21, %7, %22 --> comp_fir_basic21
465     comp_fir_basic21: notbool %19, %21 --> comp_fir_basic20
466     comp_fir_basic20: eq %19, %20 --> comp_fir_basic19, comp_fir_basic6
467     comp_fir_basic2: emit c0 --> comp_fir_basic1
468     comp_fir_basic19: emit c1 --> comp_fir_basic18
469     comp_fir_basic18: imm_int 4, %18,  --> comp_fir_basic17
470     comp_fir_basic17: mul %17, %7, %18 --> comp_fir_basic16
471     comp_fir_basic16: load int32, add, %2, %17, %12 --> comp_fir_basic15
472     comp_fir_basic15: imm_int 1, %16,  --> comp_fir_basic14
473     comp_fir_basic14: add %14, %7, %16 --> comp_fir_basic13
474     comp_fir_basic13: imm_int 4, %15,  --> comp_fir_basic12
475     comp_fir_basic12: mul %13, %14, %15 --> comp_fir_basic11
476     comp_fir_basic11: store int32, add, %2, %13, %12 --> comp_fir_basic10
477     comp_fir_basic10: emit c2 --> comp_fir_basic9
478     comp_fir_basic1: mov %9, %5 --> comp_fir_basic0
479     comp_fir_basic0: return %9
480
481
482   "comp_fir16"(%0, %1, %2, %3): int -> int -> int -> int -> int
483     locals: %9, %4, %5, %6, %7, %8, %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, %82, %83, %84, %85, %86, %87, %88, %89, %90, %91, %92, %93, %94, %95, %96, %97, %98, %99, %100, %101, %102, %103, %104, %105, %106, %107, %108, %109, %110, %111, %112, %113, %114, %115, %116, %117, %118, %119, %120, %121, %122, %123, %124, %125, %126, %127
484     result: %9
485     stacksize: 64
486     entry: comp_fir16184
487     exit: comp_fir160
488
489     comp_fir1699: imm_int 0, %63,  --> comp_fir1698
490     comp_fir1698: imm_addr 0($sp), %64,  --> comp_fir1697
491     comp_fir1697: imm_int 12, %66,  --> comp_fir1696
492     comp_fir1696: imm_int 4, %67,  --> comp_fir1695
493     comp_fir1695: mul %65, %66, %67 --> comp_fir1694
494     comp_fir1694: store int32, add, %64, %65, %63 --> comp_fir1693
495     comp_fir1693: emit c36 --> comp_fir1692
496     comp_fir1692: imm_int 0, %58,  --> comp_fir1691
497     comp_fir1691: imm_addr 0($sp), %59,  --> comp_fir1690
498     comp_fir1690: imm_int 13, %61,  --> comp_fir1689
499     comp_fir169: imm_int 1, %14,  --> comp_fir168
500     comp_fir1689: imm_int 4, %62,  --> comp_fir1688
501     comp_fir1688: mul %60, %61, %62 --> comp_fir1687
502     comp_fir1687: store int32, add, %59, %60, %58 --> comp_fir1686
503     comp_fir1686: emit c35 --> comp_fir1685
504     comp_fir1685: imm_int 0, %53,  --> comp_fir1684
505     comp_fir1684: imm_addr 0($sp), %54,  --> comp_fir1683
506     comp_fir1683: imm_int 14, %56,  --> comp_fir1682
507     comp_fir1682: imm_int 4, %57,  --> comp_fir1681
508     comp_fir1681: mul %55, %56, %57 --> comp_fir1680
509     comp_fir1680: store int32, add, %54, %55, %53 --> comp_fir1679
510     comp_fir168: add %6, %6, %14 --> comp_fir167
511     comp_fir1679: emit c34 --> comp_fir1678
512     comp_fir1678: imm_int 0, %48,  --> comp_fir1677
513     comp_fir1677: imm_addr 0($sp), %49,  --> comp_fir1676
514     comp_fir1676: imm_int 15, %51,  --> comp_fir1675
515     comp_fir1675: imm_int 4, %52,  --> comp_fir1674
516     comp_fir1674: mul %50, %51, %52 --> comp_fir1673
517     comp_fir1673: store int32, add, %49, %50, %48 --> comp_fir1672
518     comp_fir1672: emit c33 --> comp_fir1671
519     comp_fir1671: imm_int 0, %8,  --> comp_fir1670
520     comp_fir1670: emit c32 --> comp_fir1669
521     comp_fir167: --> comp_fir1665
522     comp_fir1669: imm_int 0, %4,  --> comp_fir1668
523     comp_fir1668: emit c31 --> comp_fir1667
524     comp_fir1667: emit c30 --> comp_fir1666
525     comp_fir1666: imm_int 0, %6,  --> comp_fir167
526     comp_fir1665: imm_int 0, %46,  --> comp_fir1664
527     comp_fir1664: emit c29 --> comp_fir1663
528     comp_fir1663: lt %47, %6, %3 --> comp_fir1662
529     comp_fir1662: notbool %45, %47 --> comp_fir1661
530     comp_fir1661: eq %45, %46 --> comp_fir1660, comp_fir166
531     comp_fir1660: emit c27 --> comp_fir1659
532     comp_fir166: emit c17 --> comp_fir165
533     comp_fir1659: imm_int 4, %44,  --> comp_fir1658
534     comp_fir1658: mul %43, %6, %44 --> comp_fir1657
535     comp_fir1657: load int32, add, %0, %43, %39 --> comp_fir1656
536     comp_fir1656: imm_addr 0($sp), %40,  --> comp_fir1655
537     comp_fir1655: imm_int 4, %42,  --> comp_fir1654
538     comp_fir1654: mul %41, %8, %42 --> comp_fir1653
539     comp_fir1653: store int32, add, %40, %41, %39 --> comp_fir1652
540     comp_fir1652: emit c26 --> comp_fir1651
541     comp_fir1651: emit c25 --> comp_fir1650
542     comp_fir1650: imm_int 0, %7,  --> comp_fir1620
543     comp_fir165: imm_addr 0($sp), %10,  --> comp_fir164
544     comp_fir1649: imm_int 0, %36,  --> comp_fir1648
545     comp_fir1648: emit c24 --> comp_fir1647
546     comp_fir1647: imm_int 16, %38,  --> comp_fir1646
547     comp_fir1646: lt %37, %7, %38 --> comp_fir1645
548     comp_fir1645: notbool %35, %37 --> comp_fir1644
549     comp_fir1644: eq %35, %36 --> comp_fir1643, comp_fir1619
550     comp_fir1643: emit c22 --> comp_fir1642
551     comp_fir1642: imm_addr 0($sp), %32,  --> comp_fir1641
552     comp_fir1641: imm_int 4, %34,  --> comp_fir1640
553     comp_fir1640: mul %33, %8, %34 --> comp_fir1639
554     comp_fir164: imm_int 0, %12,  --> comp_fir163
555     comp_fir1639: load int32, add, %32, %33, %28 --> comp_fir1638
556     comp_fir1638: imm_int 4, %31,  --> comp_fir1637
557     comp_fir1637: mul %30, %7, %31 --> comp_fir1636
558     comp_fir1636: load int32, add, %1, %30, %29 --> comp_fir1635
559     comp_fir1635: mul %24, %28, %29 --> comp_fir1634
560     comp_fir1634: imm_int 2, %26,  --> comp_fir1633
561     comp_fir1633: imm_int 16, %27,  --> comp_fir1632
562     comp_fir1632: xor %25, %26, %27 --> comp_fir1631
563     comp_fir1631: mul %5, %24, %25 --> comp_fir1630
564     comp_fir1630: emit c21 --> comp_fir1629
565     comp_fir163: imm_int 4, %13,  --> comp_fir162
566     comp_fir1629: add %4, %4, %5 --> comp_fir1628
567     comp_fir1628: emit c20 --> comp_fir1627
568     comp_fir1627: imm_int 1, %23,  --> comp_fir1626
569     comp_fir1626: add %21, %8, %23 --> comp_fir1625
570     comp_fir1625: imm_int 16, %22,  --> comp_fir1624
571     comp_fir1624: mod %8, %21, %22 --> comp_fir1623
572     comp_fir1623: emit c23 --> comp_fir1622
573     comp_fir1622: imm_int 1, %20,  --> comp_fir1621
574     comp_fir1621: add %7, %7, %20 --> comp_fir1620
575     comp_fir1620: --> comp_fir1649
576     comp_fir162: mul %11, %12, %13 --> comp_fir161
577     comp_fir1619: emit c19 --> comp_fir1618
578     comp_fir16184: emit c49 --> comp_fir16183
579     comp_fir16183: imm_int 0, %123,  --> comp_fir16182
580     comp_fir16182: imm_addr 0($sp), %124,  --> comp_fir16181
581     comp_fir16181: imm_int 0, %126,  --> comp_fir16180
582     comp_fir16180: imm_int 4, %127,  --> comp_fir16179
583     comp_fir1618: imm_int 1, %19,  --> comp_fir1617
584     comp_fir16179: mul %125, %126, %127 --> comp_fir16178
585     comp_fir16178: store int32, add, %124, %125, %123 --> comp_fir16177
586     comp_fir16177: emit c48 --> comp_fir16176
587     comp_fir16176: imm_int 0, %118,  --> comp_fir16175
588     comp_fir16175: imm_addr 0($sp), %119,  --> comp_fir16174
589     comp_fir16174: imm_int 1, %121,  --> comp_fir16173
590     comp_fir16173: imm_int 4, %122,  --> comp_fir16172
591     comp_fir16172: mul %120, %121, %122 --> comp_fir16171
592     comp_fir16171: store int32, add, %119, %120, %118 --> comp_fir16170
593     comp_fir16170: emit c47 --> comp_fir16169
594     comp_fir1617: add %17, %8, %19 --> comp_fir1616
595     comp_fir16169: imm_int 0, %113,  --> comp_fir16168
596     comp_fir16168: imm_addr 0($sp), %114,  --> comp_fir16167
597     comp_fir16167: imm_int 2, %116,  --> comp_fir16166
598     comp_fir16166: imm_int 4, %117,  --> comp_fir16165
599     comp_fir16165: mul %115, %116, %117 --> comp_fir16164
600     comp_fir16164: store int32, add, %114, %115, %113 --> comp_fir16163
601     comp_fir16163: emit c46 --> comp_fir16162
602     comp_fir16162: imm_int 0, %108,  --> comp_fir16161
603     comp_fir16161: imm_addr 0($sp), %109,  --> comp_fir16160
604     comp_fir16160: imm_int 3, %111,  --> comp_fir16159
605     comp_fir1616: imm_int 16, %18,  --> comp_fir1615
606     comp_fir16159: imm_int 4, %112,  --> comp_fir16158
607     comp_fir16158: mul %110, %111, %112 --> comp_fir16157
608     comp_fir16157: store int32, add, %109, %110, %108 --> comp_fir16156
609     comp_fir16156: emit c45 --> comp_fir16155
610     comp_fir16155: imm_int 0, %103,  --> comp_fir16154
611     comp_fir16154: imm_addr 0($sp), %104,  --> comp_fir16153
612     comp_fir16153: imm_int 4, %106,  --> comp_fir16152
613     comp_fir16152: imm_int 4, %107,  --> comp_fir16151
614     comp_fir16151: mul %105, %106, %107 --> comp_fir16150
615     comp_fir16150: store int32, add, %104, %105, %103 --> comp_fir16149
616     comp_fir1615: mod %8, %17, %18 --> comp_fir1614
617     comp_fir16149: emit c44 --> comp_fir16148
618     comp_fir16148: imm_int 0, %98,  --> comp_fir16147
619     comp_fir16147: imm_addr 0($sp), %99,  --> comp_fir16146
620     comp_fir16146: imm_int 5, %101,  --> comp_fir16145
621     comp_fir16145: imm_int 4, %102,  --> comp_fir16144
622     comp_fir16144: mul %100, %101, %102 --> comp_fir16143
623     comp_fir16143: store int32, add, %99, %100, %98 --> comp_fir16142
624     comp_fir16142: emit c43 --> comp_fir16141
625     comp_fir16141: imm_int 0, %93,  --> comp_fir16140
626     comp_fir16140: imm_addr 0($sp), %94,  --> comp_fir16139
627     comp_fir1614: emit c18 --> comp_fir1613
628     comp_fir16139: imm_int 6, %96,  --> comp_fir16138
629     comp_fir16138: imm_int 4, %97,  --> comp_fir16137
630     comp_fir16137: mul %95, %96, %97 --> comp_fir16136
631     comp_fir16136: store int32, add, %94, %95, %93 --> comp_fir16135
632     comp_fir16135: emit c42 --> comp_fir16134
633     comp_fir16134: imm_int 0, %88,  --> comp_fir16133
634     comp_fir16133: imm_addr 0($sp), %89,  --> comp_fir16132
635     comp_fir16132: imm_int 7, %91,  --> comp_fir16131
636     comp_fir16131: imm_int 4, %92,  --> comp_fir16130
637     comp_fir16130: mul %90, %91, %92 --> comp_fir16129
638     comp_fir1613: imm_int 4, %16,  --> comp_fir1612
639     comp_fir16129: store int32, add, %89, %90, %88 --> comp_fir16128
640     comp_fir16128: emit c41 --> comp_fir16127
641     comp_fir16127: imm_int 0, %83,  --> comp_fir16126
642     comp_fir16126: imm_addr 0($sp), %84,  --> comp_fir16125
643     comp_fir16125: imm_int 8, %86,  --> comp_fir16124
644     comp_fir16124: imm_int 4, %87,  --> comp_fir16123
645     comp_fir16123: mul %85, %86, %87 --> comp_fir16122
646     comp_fir16122: store int32, add, %84, %85, %83 --> comp_fir16121
647     comp_fir16121: emit c40 --> comp_fir16120
648     comp_fir16120: imm_int 0, %78,  --> comp_fir16119
649     comp_fir1612: mul %15, %6, %16 --> comp_fir1611
650     comp_fir16119: imm_addr 0($sp), %79,  --> comp_fir16118
651     comp_fir16118: imm_int 9, %81,  --> comp_fir16117
652     comp_fir16117: imm_int 4, %82,  --> comp_fir16116
653     comp_fir16116: mul %80, %81, %82 --> comp_fir16115
654     comp_fir16115: store int32, add, %79, %80, %78 --> comp_fir16114
655     comp_fir16114: emit c39 --> comp_fir16113
656     comp_fir16113: imm_int 0, %73,  --> comp_fir16112
657     comp_fir16112: imm_addr 0($sp), %74,  --> comp_fir16111
658     comp_fir16111: imm_int 10, %76,  --> comp_fir16110
659     comp_fir16110: imm_int 4, %77,  --> comp_fir16109
660     comp_fir1611: store int32, add, %2, %15, %4 --> comp_fir1610
661     comp_fir16109: mul %75, %76, %77 --> comp_fir16108
662     comp_fir16108: store int32, add, %74, %75, %73 --> comp_fir16107
663     comp_fir16107: emit c38 --> comp_fir16106
664     comp_fir16106: imm_int 0, %68,  --> comp_fir16105
665     comp_fir16105: imm_addr 0($sp), %69,  --> comp_fir16104
666     comp_fir16104: imm_int 11, %71,  --> comp_fir16103
667     comp_fir16103: imm_int 4, %72,  --> comp_fir16102
668     comp_fir16102: mul %70, %71, %72 --> comp_fir16101
669     comp_fir16101: store int32, add, %69, %70, %68 --> comp_fir16100
670     comp_fir16100: emit c37 --> comp_fir1699
671     comp_fir1610: emit c28 --> comp_fir169
672     comp_fir161: load int32, add, %10, %11, %9 --> comp_fir160
673     comp_fir160: return %9
674
675
676   "comp_ifFor"(%0, %1, %2): int -> int -> int -> int
677     locals: %5, %3, %4, %6, %7, %8, %9, %10
678     result: %5
679     stacksize: 0
680     entry: comp_ifFor23
681     exit: comp_ifFor0
682
683     comp_ifFor9: emit c52 --> comp_ifFor8
684     comp_ifFor8: add %4, %4, %3 --> comp_ifFor5
685     comp_ifFor7: emit c51 --> comp_ifFor6
686     comp_ifFor6: imm_int 0, %4,  --> comp_ifFor5
687     comp_ifFor5: emit c54 --> comp_ifFor4
688     comp_ifFor4: add %3, %3, %2 --> comp_ifFor3
689     comp_ifFor3: --> comp_ifFor18
690     comp_ifFor23: emit c58 --> comp_ifFor22
691     comp_ifFor22: imm_int 0, %4,  --> comp_ifFor21
692     comp_ifFor21: emit c57 --> comp_ifFor20
693     comp_ifFor20: emit c56 --> comp_ifFor19
694     comp_ifFor2: emit c50 --> comp_ifFor1
695     comp_ifFor19: imm_int 0, %3,  --> comp_ifFor3
696     comp_ifFor18: imm_int 0, %9,  --> comp_ifFor17
697     comp_ifFor17: emit c55 --> comp_ifFor16
698     comp_ifFor16: lt %10, %3, %0 --> comp_ifFor15
699     comp_ifFor15: notbool %8, %10 --> comp_ifFor14
700     comp_ifFor14: eq %8, %9 --> comp_ifFor13, comp_ifFor2
701     comp_ifFor13: emit c53 --> comp_ifFor12
702     comp_ifFor12: imm_int 0, %7,  --> comp_ifFor11
703     comp_ifFor11: ne %6, %3, %1 --> comp_ifFor10
704     comp_ifFor10: eq %6, %7 --> comp_ifFor7, comp_ifFor9
705     comp_ifFor1: mov %5, %4 --> comp_ifFor0
706     comp_ifFor0: return %5
707
708
709   "comp_total"(%0, %1, %2): int -> int -> int -> int
710     locals: %6, %3, %4, %5, %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, %82, %83, %84, %85, %86, %87, %88, %89, %90, %91, %92, %93, %94, %95, %96, %97, %98, %99, %100, %101, %102, %103, %104, %105, %106, %107, %108, %109, %110, %111, %112, %113, %114, %115, %116, %117, %118, %119, %120, %121, %122, %123, %124, %125, %126, %127, %128, %129, %130, %131, %132, %133, %134, %135, %136, %137, %138, %139
711     result: %6
712     stacksize: 80
713     entry: comp_total205
714     exit: comp_total0
715
716     comp_total99: imm_int 0, %60,  --> comp_total98
717     comp_total98: imm_addr 40($sp), %61,  --> comp_total97
718     comp_total97: imm_int 5, %63,  --> comp_total96
719     comp_total96: imm_int 4, %64,  --> comp_total95
720     comp_total95: mul %62, %63, %64 --> comp_total94
721     comp_total94: store int32, add, %61, %62, %60 --> comp_total93
722     comp_total93: emit c78 --> comp_total92
723     comp_total92: imm_int 0, %55,  --> comp_total91
724     comp_total91: imm_addr 40($sp), %56,  --> comp_total90
725     comp_total90: imm_int 6, %58,  --> comp_total89
726     comp_total9: imm_int 1, %8,  --> comp_total8
727     comp_total89: imm_int 4, %59,  --> comp_total88
728     comp_total88: mul %57, %58, %59 --> comp_total87
729     comp_total87: store int32, add, %56, %57, %55 --> comp_total86
730     comp_total86: emit c77 --> comp_total85
731     comp_total85: imm_int 0, %50,  --> comp_total84
732     comp_total84: imm_addr 40($sp), %51,  --> comp_total83
733     comp_total83: imm_int 7, %53,  --> comp_total82
734     comp_total82: imm_int 4, %54,  --> comp_total81
735     comp_total81: mul %52, %53, %54 --> comp_total80
736     comp_total80: store int32, add, %51, %52, %50 --> comp_total79
737     comp_total8: sub %4, %4, %8 --> comp_total7
738     comp_total79: emit c76 --> comp_total78
739     comp_total78: imm_int 0, %45,  --> comp_total77
740     comp_total77: imm_addr 40($sp), %46,  --> comp_total76
741     comp_total76: imm_int 8, %48,  --> comp_total75
742     comp_total75: imm_int 4, %49,  --> comp_total74
743     comp_total74: mul %47, %48, %49 --> comp_total73
744     comp_total73: store int32, add, %46, %47, %45 --> comp_total72
745     comp_total72: emit c75 --> comp_total71
746     comp_total71: imm_int 0, %40,  --> comp_total70
747     comp_total70: imm_addr 40($sp), %41,  --> comp_total69
748     comp_total7: --> comp_total29
749     comp_total69: imm_int 9, %43,  --> comp_total68
750     comp_total68: imm_int 4, %44,  --> comp_total67
751     comp_total67: mul %42, %43, %44 --> comp_total66
752     comp_total66: store int32, add, %41, %42, %40 --> comp_total65
753     comp_total65: emit c74 --> comp_total64
754     comp_total64: imm_int 0, %39,  --> comp_total63
755     comp_total63: lt %38, %1, %2 --> comp_total62
756     comp_total62: eq %38, %39 --> comp_total40, comp_total61
757     comp_total61: emit c73 --> comp_total60
758     comp_total60: emit c72 --> comp_total59
759     comp_total6: emit c65 --> comp_total5
760     comp_total59: imm_int 0, %5,  --> comp_total41
761     comp_total58: imm_int 0, %36,  --> comp_total57
762     comp_total57: emit c71 --> comp_total56
763     comp_total56: le %37, %5, %1 --> comp_total55
764     comp_total55: notbool %35, %37 --> comp_total54
765     comp_total54: eq %35, %36 --> comp_total53, comp_total2
766     comp_total53: emit c69 --> comp_total52
767     comp_total52: sub %33, %1, %5 --> comp_total51
768     comp_total51: imm_int 4, %34,  --> comp_total50
769     comp_total50: mul %32, %33, %34 --> comp_total49
770     comp_total5: imm_int 1, %7,  --> comp_total4
771     comp_total49: load int32, add, %0, %32, %28 --> comp_total48
772     comp_total48: imm_addr 0($sp), %29,  --> comp_total47
773     comp_total47: imm_int 4, %31,  --> comp_total46
774     comp_total46: mul %30, %5, %31 --> comp_total45
775     comp_total45: store int32, add, %29, %30, %28 --> comp_total44
776     comp_total44: emit c70 --> comp_total43
777     comp_total43: imm_int 1, %27,  --> comp_total42
778     comp_total42: add %5, %5, %27 --> comp_total41
779     comp_total41: --> comp_total58
780     comp_total40: emit c68 --> comp_total39
781     comp_total4: add %3, %3, %7 --> comp_total3
782     comp_total39: emit c67 --> comp_total38
783     comp_total38: imm_int 0, %3,  --> comp_total3
784     comp_total37: imm_int 0, %25,  --> comp_total36
785     comp_total36: emit c66 --> comp_total35
786     comp_total35: lt %26, %3, %1 --> comp_total34
787     comp_total34: notbool %24, %26 --> comp_total33
788     comp_total33: eq %24, %25 --> comp_total32, comp_total2
789     comp_total32: emit c64 --> comp_total31
790     comp_total31: emit c63 --> comp_total30
791     comp_total30: mov %4, %2 --> comp_total7
792     comp_total3: --> comp_total37
793     comp_total29: imm_int 0, %21,  --> comp_total28
794     comp_total28: emit c62 --> comp_total27
795     comp_total27: imm_int 0, %23,  --> comp_total26
796     comp_total26: gt %22, %4, %23 --> comp_total25
797     comp_total25: notbool %20, %22 --> comp_total24
798     comp_total24: eq %20, %21 --> comp_total23, comp_total6
799     comp_total23: emit c60 --> comp_total22
800     comp_total22: imm_addr 0($sp), %17,  --> comp_total21
801     comp_total21: imm_int 4, %19,  --> comp_total20
802     comp_total205: emit c94 --> comp_total204
803     comp_total204: imm_int 0, %135,  --> comp_total203
804     comp_total203: imm_addr 0($sp), %136,  --> comp_total202
805     comp_total202: imm_int 0, %138,  --> comp_total201
806     comp_total201: imm_int 4, %139,  --> comp_total200
807     comp_total200: mul %137, %138, %139 --> comp_total199
808     comp_total20: mul %18, %3, %19 --> comp_total19
809     comp_total2: emit c59 --> comp_total1
810     comp_total199: store int32, add, %136, %137, %135 --> comp_total198
811     comp_total198: emit c93 --> comp_total197
812     comp_total197: imm_int 0, %130,  --> comp_total196
813     comp_total196: imm_addr 0($sp), %131,  --> comp_total195
814     comp_total195: imm_int 1, %133,  --> comp_total194
815     comp_total194: imm_int 4, %134,  --> comp_total193
816     comp_total193: mul %132, %133, %134 --> comp_total192
817     comp_total192: store int32, add, %131, %132, %130 --> comp_total191
818     comp_total191: emit c92 --> comp_total190
819     comp_total190: imm_int 0, %125,  --> comp_total189
820     comp_total19: load int32, add, %17, %18, %12 --> comp_total18
821     comp_total189: imm_addr 0($sp), %126,  --> comp_total188
822     comp_total188: imm_int 2, %128,  --> comp_total187
823     comp_total187: imm_int 4, %129,  --> comp_total186
824     comp_total186: mul %127, %128, %129 --> comp_total185
825     comp_total185: store int32, add, %126, %127, %125 --> comp_total184
826     comp_total184: emit c91 --> comp_total183
827     comp_total183: imm_int 0, %120,  --> comp_total182
828     comp_total182: imm_addr 0($sp), %121,  --> comp_total181
829     comp_total181: imm_int 3, %123,  --> comp_total180
830     comp_total180: imm_int 4, %124,  --> comp_total179
831     comp_total18: imm_addr 40($sp), %14,  --> comp_total17
832     comp_total179: mul %122, %123, %124 --> comp_total178
833     comp_total178: store int32, add, %121, %122, %120 --> comp_total177
834     comp_total177: emit c90 --> comp_total176
835     comp_total176: imm_int 0, %115,  --> comp_total175
836     comp_total175: imm_addr 0($sp), %116,  --> comp_total174
837     comp_total174: imm_int 4, %118,  --> comp_total173
838     comp_total173: imm_int 4, %119,  --> comp_total172
839     comp_total172: mul %117, %118, %119 --> comp_total171
840     comp_total171: store int32, add, %116, %117, %115 --> comp_total170
841     comp_total170: emit c89 --> comp_total169
842     comp_total17: imm_int 4, %16,  --> comp_total16
843     comp_total169: imm_int 0, %110,  --> comp_total168
844     comp_total168: imm_addr 0($sp), %111,  --> comp_total167
845     comp_total167: imm_int 5, %113,  --> comp_total166
846     comp_total166: imm_int 4, %114,  --> comp_total165
847     comp_total165: mul %112, %113, %114 --> comp_total164
848     comp_total164: store int32, add, %111, %112, %110 --> comp_total163
849     comp_total163: emit c88 --> comp_total162
850     comp_total162: imm_int 0, %105,  --> comp_total161
851     comp_total161: imm_addr 0($sp), %106,  --> comp_total160
852     comp_total160: imm_int 6, %108,  --> comp_total159
853     comp_total16: mul %15, %4, %16 --> comp_total15
854     comp_total159: imm_int 4, %109,  --> comp_total158
855     comp_total158: mul %107, %108, %109 --> comp_total157
856     comp_total157: store int32, add, %106, %107, %105 --> comp_total156
857     comp_total156: emit c87 --> comp_total155
858     comp_total155: imm_int 0, %100,  --> comp_total154
859     comp_total154: imm_addr 0($sp), %101,  --> comp_total153
860     comp_total153: imm_int 7, %103,  --> comp_total152
861     comp_total152: imm_int 4, %104,  --> comp_total151
862     comp_total151: mul %102, %103, %104 --> comp_total150
863     comp_total150: store int32, add, %101, %102, %100 --> comp_total149
864     comp_total15: load int32, add, %14, %15, %13 --> comp_total14
865     comp_total149: emit c86 --> comp_total148
866     comp_total148: imm_int 0, %95,  --> comp_total147
867     comp_total147: imm_addr 0($sp), %96,  --> comp_total146
868     comp_total146: imm_int 8, %98,  --> comp_total145
869     comp_total145: imm_int 4, %99,  --> comp_total144
870     comp_total144: mul %97, %98, %99 --> comp_total143
871     comp_total143: store int32, add, %96, %97, %95 --> comp_total142
872     comp_total142: emit c85 --> comp_total141
873     comp_total141: imm_int 0, %90,  --> comp_total140
874     comp_total140: imm_addr 0($sp), %91,  --> comp_total139
875     comp_total14: add %9, %12, %13 --> comp_total13
876     comp_total139: imm_int 9, %93,  --> comp_total138
877     comp_total138: imm_int 4, %94,  --> comp_total137
878     comp_total137: mul %92, %93, %94 --> comp_total136
879     comp_total136: store int32, add, %91, %92, %90 --> comp_total135
880     comp_total135: emit c84 --> comp_total134
881     comp_total134: imm_int 0, %85,  --> comp_total133
882     comp_total133: imm_addr 40($sp), %86,  --> comp_total132
883     comp_total132: imm_int 0, %88,  --> comp_total131
884     comp_total131: imm_int 4, %89,  --> comp_total130
885     comp_total130: mul %87, %88, %89 --> comp_total129
886     comp_total13: imm_int 4, %11,  --> comp_total12
887     comp_total129: store int32, add, %86, %87, %85 --> comp_total128
888     comp_total128: emit c83 --> comp_total127
889     comp_total127: imm_int 0, %80,  --> comp_total126
890     comp_total126: imm_addr 40($sp), %81,  --> comp_total125
891     comp_total125: imm_int 1, %83,  --> comp_total124
892     comp_total124: imm_int 4, %84,  --> comp_total123
893     comp_total123: mul %82, %83, %84 --> comp_total122
894     comp_total122: store int32, add, %81, %82, %80 --> comp_total121
895     comp_total121: emit c82 --> comp_total120
896     comp_total120: imm_int 0, %75,  --> comp_total119
897     comp_total12: mul %10, %3, %11 --> comp_total11
898     comp_total119: imm_addr 40($sp), %76,  --> comp_total118
899     comp_total118: imm_int 2, %78,  --> comp_total117
900     comp_total117: imm_int 4, %79,  --> comp_total116
901     comp_total116: mul %77, %78, %79 --> comp_total115
902     comp_total115: store int32, add, %76, %77, %75 --> comp_total114
903     comp_total114: emit c81 --> comp_total113
904     comp_total113: imm_int 0, %70,  --> comp_total112
905     comp_total112: imm_addr 40($sp), %71,  --> comp_total111
906     comp_total111: imm_int 3, %73,  --> comp_total110
907     comp_total110: imm_int 4, %74,  --> comp_total109
908     comp_total11: store int32, add, %0, %10, %9 --> comp_total10
909     comp_total109: mul %72, %73, %74 --> comp_total108
910     comp_total108: store int32, add, %71, %72, %70 --> comp_total107
911     comp_total107: emit c80 --> comp_total106
912     comp_total106: imm_int 0, %65,  --> comp_total105
913     comp_total105: imm_addr 40($sp), %66,  --> comp_total104
914     comp_total104: imm_int 4, %68,  --> comp_total103
915     comp_total103: imm_int 4, %69,  --> comp_total102
916     comp_total102: mul %67, %68, %69 --> comp_total101
917     comp_total101: store int32, add, %66, %67, %65 --> comp_total100
918     comp_total100: emit c79 --> comp_total99
919     comp_total10: emit c61 --> comp_total9
920     comp_total1: imm_int 0, %6,  --> comp_total0
921     comp_total0: return %6
922
923
924   "comp_tri"(%0, %1): int -> int -> int
925     locals: %5, %2, %3, %4, %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
926     result: %5
927     stacksize: 0
928     entry: comp_tri60
929     exit: comp_tri0
930
931     comp_tri9: imm_int 1, %7,  --> comp_tri8
932     comp_tri8: add %3, %3, %7 --> comp_tri7
933     comp_tri7: --> comp_tri47
934     comp_tri60: emit c108 --> comp_tri59
935     comp_tri6: emit c104 --> comp_tri5
936     comp_tri59: imm_int 0, %2,  --> comp_tri58
937     comp_tri58: emit c107 --> comp_tri57
938     comp_tri57: emit c106 --> comp_tri56
939     comp_tri56: imm_int 0, %4,  --> comp_tri3
940     comp_tri55: imm_int 0, %36,  --> comp_tri54
941     comp_tri54: emit c105 --> comp_tri53
942     comp_tri53: lt %37, %4, %1 --> comp_tri52
943     comp_tri52: notbool %35, %37 --> comp_tri51
944     comp_tri51: eq %35, %36 --> comp_tri50, comp_tri2
945     comp_tri50: emit c103 --> comp_tri49
946     comp_tri5: imm_int 1, %6,  --> comp_tri4
947     comp_tri49: emit c102 --> comp_tri48
948     comp_tri48: imm_int 1, %3,  --> comp_tri7
949     comp_tri47: imm_int 0, %32,  --> comp_tri46
950     comp_tri46: emit c101 --> comp_tri45
951     comp_tri45: sub %34, %1, %4 --> comp_tri44
952     comp_tri44: lt %33, %3, %34 --> comp_tri43
953     comp_tri43: notbool %31, %33 --> comp_tri42
954     comp_tri42: eq %31, %32 --> comp_tri41, comp_tri6
955     comp_tri41: emit c99 --> comp_tri40
956     comp_tri40: imm_int 0, %22,  --> comp_tri39
957     comp_tri4: add %4, %4, %6 --> comp_tri3
958     comp_tri39: imm_int 4, %30,  --> comp_tri38
959     comp_tri38: mul %29, %3, %30 --> comp_tri37
960     comp_tri37: load int32, add, %0, %29, %23 --> comp_tri36
961     comp_tri36: imm_int 1, %28,  --> comp_tri35
962     comp_tri35: sub %26, %3, %28 --> comp_tri34
963     comp_tri34: imm_int 4, %27,  --> comp_tri33
964     comp_tri33: mul %25, %26, %27 --> comp_tri32
965     comp_tri32: load int32, add, %0, %25, %24 --> comp_tri31
966     comp_tri31: lt %21, %23, %24 --> comp_tri30
967     comp_tri30: eq %21, %22 --> comp_tri10, comp_tri29
968     comp_tri3: --> comp_tri55
969     comp_tri29: emit c98 --> comp_tri28
970     comp_tri28: imm_int 1, %20,  --> comp_tri27
971     comp_tri27: sub %18, %3, %20 --> comp_tri26
972     comp_tri26: imm_int 4, %19,  --> comp_tri25
973     comp_tri25: mul %17, %18, %19 --> comp_tri24
974     comp_tri24: load int32, add, %0, %17, %2 --> comp_tri23
975     comp_tri23: emit c97 --> comp_tri22
976     comp_tri22: imm_int 4, %16,  --> comp_tri21
977     comp_tri21: mul %15, %3, %16 --> comp_tri20
978     comp_tri20: load int32, add, %0, %15, %10 --> comp_tri19
979     comp_tri2: emit c95 --> comp_tri1
980     comp_tri19: imm_int 1, %14,  --> comp_tri18
981     comp_tri18: sub %12, %3, %14 --> comp_tri17
982     comp_tri17: imm_int 4, %13,  --> comp_tri16
983     comp_tri16: mul %11, %12, %13 --> comp_tri15
984     comp_tri15: store int32, add, %0, %11, %10 --> comp_tri14
985     comp_tri14: emit c96 --> comp_tri13
986     comp_tri13: imm_int 4, %9,  --> comp_tri12
987     comp_tri12: mul %8, %3, %9 --> comp_tri11
988     comp_tri11: store int32, add, %0, %8, %2 --> comp_tri10
989     comp_tri10: emit c100 --> comp_tri9
990     comp_tri1: mov %5, %2 --> comp_tri0
991     comp_tri0: return %5
992
993
994   "comp_forif2"(%0, %1, %2, %3): int -> int -> int -> int -> int
995     locals: %9, %4, %5, %6, %7, %8, %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
996     result: %9
997     stacksize: 0
998     entry: comp_forif282
999     exit: comp_forif20
1000
1001     comp_forif29: imm_int 0, %13,  --> comp_forif28
1002     comp_forif282: emit c130 --> comp_forif281
1003     comp_forif281: imm_int 0, %6,  --> comp_forif280
1004     comp_forif280: emit c129 --> comp_forif279
1005     comp_forif28: eq %10, %12, %13 --> comp_forif27
1006     comp_forif279: imm_int 0, %5,  --> comp_forif278
1007     comp_forif278: emit c128 --> comp_forif277
1008     comp_forif277: emit c127 --> comp_forif276
1009     comp_forif276: imm_int 0, %8,  --> comp_forif262
1010     comp_forif275: imm_int 0, %44,  --> comp_forif274
1011     comp_forif274: emit c126 --> comp_forif273
1012     comp_forif273: lt %45, %8, %2 --> comp_forif272
1013     comp_forif272: notbool %43, %45 --> comp_forif271
1014     comp_forif271: eq %43, %44 --> comp_forif270, comp_forif261
1015     comp_forif270: emit c124 --> comp_forif269
1016     comp_forif27: eq %10, %11 --> comp_forif24, comp_forif26
1017     comp_forif269: imm_int 4, %42,  --> comp_forif268
1018     comp_forif268: mul %41, %8, %42 --> comp_forif267
1019     comp_forif267: load int32, add, %0, %41, %40 --> comp_forif266
1020     comp_forif266: add %6, %6, %40 --> comp_forif265
1021     comp_forif265: emit c125 --> comp_forif264
1022     comp_forif264: imm_int 1, %39,  --> comp_forif263
1023     comp_forif263: add %8, %8, %39 --> comp_forif262
1024     comp_forif262: --> comp_forif275
1025     comp_forif261: emit c123 --> comp_forif260
1026     comp_forif260: emit c122 --> comp_forif259
1027     comp_forif26: emit c111 --> comp_forif25
1028     comp_forif259: imm_int 0, %7,  --> comp_forif245
1029     comp_forif258: imm_int 0, %37,  --> comp_forif257
1030     comp_forif257: emit c121 --> comp_forif256
1031     comp_forif256: lt %38, %7, %3 --> comp_forif255
1032     comp_forif255: notbool %36, %38 --> comp_forif254
1033     comp_forif254: eq %36, %37 --> comp_forif253, comp_forif244
1034     comp_forif253: emit c119 --> comp_forif252
1035     comp_forif252: imm_int 4, %35,  --> comp_forif251
1036     comp_forif251: mul %34, %7, %35 --> comp_forif250
1037     comp_forif250: load int32, add, %1, %34, %33 --> comp_forif249
1038     comp_forif25: imm_int 2, %4,  --> comp_forif22
1039     comp_forif249: add %5, %5, %33 --> comp_forif248
1040     comp_forif248: emit c120 --> comp_forif247
1041     comp_forif247: imm_int 1, %32,  --> comp_forif246
1042     comp_forif246: add %7, %7, %32 --> comp_forif245
1043     comp_forif245: --> comp_forif258
1044     comp_forif244: emit c118 --> comp_forif243
1045     comp_forif243: imm_int 0, %21,  --> comp_forif242
1046     comp_forif242: imm_int 0, %28,  --> comp_forif241
1047     comp_forif241: emit c117 --> comp_forif240
1048     comp_forif240: imm_int 2, %31,  --> comp_forif239
1049     comp_forif24: emit c110 --> comp_forif23
1050     comp_forif239: mod %29, %6, %31 --> comp_forif238
1051     comp_forif238: imm_int 0, %30,  --> comp_forif237
1052     comp_forif237: eq %27, %29, %30 --> comp_forif236
1053     comp_forif236: eq %27, %28 --> comp_forif226, comp_forif235
1054     comp_forif235: imm_int 0, %23,  --> comp_forif234
1055     comp_forif234: emit c116 --> comp_forif233
1056     comp_forif233: imm_int 2, %26,  --> comp_forif232
1057     comp_forif232: mod %24, %5, %26 --> comp_forif231
1058     comp_forif231: imm_int 0, %25,  --> comp_forif230
1059     comp_forif230: eq %22, %24, %25 --> comp_forif229
1060     comp_forif23: imm_int 3, %4,  --> comp_forif22
1061     comp_forif229: eq %22, %23 --> comp_forif227, comp_forif228
1062     comp_forif228: imm_int 1, %20,  --> comp_forif225
1063     comp_forif227: imm_int 0, %20,  --> comp_forif225
1064     comp_forif226: imm_int 0, %20,  --> comp_forif225
1065     comp_forif225: eq %20, %21 --> comp_forif222, comp_forif224
1066     comp_forif224: emit c115 --> comp_forif223
1067     comp_forif223: imm_int 0, %4,  --> comp_forif22
1068     comp_forif222: emit c114 --> comp_forif221
1069     comp_forif221: imm_int 0, %16,  --> comp_forif220
1070     comp_forif220: imm_int 2, %19,  --> comp_forif219
1071     comp_forif22: emit c109 --> comp_forif21
1072     comp_forif219: mod %17, %6, %19 --> comp_forif218
1073     comp_forif218: imm_int 0, %18,  --> comp_forif217
1074     comp_forif217: eq %15, %17, %18 --> comp_forif216
1075     comp_forif216: eq %15, %16 --> comp_forif213, comp_forif215
1076     comp_forif215: emit c113 --> comp_forif214
1077     comp_forif214: imm_int 1, %4,  --> comp_forif22
1078     comp_forif213: emit c112 --> comp_forif212
1079     comp_forif212: imm_int 0, %11,  --> comp_forif211
1080     comp_forif211: imm_int 2, %14,  --> comp_forif210
1081     comp_forif210: mod %12, %5, %14 --> comp_forif29
1082     comp_forif21: imm_int 0, %9,  --> comp_forif20
1083     comp_forif20: return %9
1084
1085
1086   "comp_forif"(): int
1087     locals: %3, %0, %1, %2, %4, %5, %6, %7, %8, %9, %10, %11, %12, %13, %14, %15, %16
1088     result: %3
1089     stacksize: 0
1090     entry: comp_forif35
1091     exit: comp_forif0
1092
1093     comp_forif9: emit c132 --> comp_forif8
1094     comp_forif8: imm_int 1, %5,  --> comp_forif7
1095     comp_forif7: add %0, %0, %5 --> comp_forif6
1096     comp_forif6: emit c136 --> comp_forif5
1097     comp_forif5: imm_int 1, %4,  --> comp_forif4
1098     comp_forif4: add %2, %2, %4 --> comp_forif3
1099     comp_forif35: emit c141 --> comp_forif34
1100     comp_forif34: imm_int 0, %1,  --> comp_forif33
1101     comp_forif33: emit c140 --> comp_forif32
1102     comp_forif32: imm_int 0, %0,  --> comp_forif31
1103     comp_forif31: emit c139 --> comp_forif30
1104     comp_forif30: emit c138 --> comp_forif29
1105     comp_forif3: --> comp_forif28
1106     comp_forif29: imm_int 0, %2,  --> comp_forif3
1107     comp_forif28: imm_int 0, %14,  --> comp_forif27
1108     comp_forif27: emit c137 --> comp_forif26
1109     comp_forif26: imm_int 10, %16,  --> comp_forif25
1110     comp_forif25: lt %15, %2, %16 --> comp_forif24
1111     comp_forif24: notbool %13, %15 --> comp_forif23
1112     comp_forif23: eq %13, %14 --> comp_forif22, comp_forif2
1113     comp_forif22: emit c135 --> comp_forif21
1114     comp_forif21: imm_int 1, %12,  --> comp_forif20
1115     comp_forif20: add %1, %1, %12 --> comp_forif19
1116     comp_forif2: emit c131 --> comp_forif1
1117     comp_forif19: emit c134 --> comp_forif18
1118     comp_forif18: imm_int 1, %11,  --> comp_forif17
1119     comp_forif17: add %1, %1, %11 --> comp_forif16
1120     comp_forif16: emit c133 --> comp_forif15
1121     comp_forif15: imm_int 0, %7,  --> comp_forif14
1122     comp_forif14: imm_int 2, %10,  --> comp_forif13
1123     comp_forif13: mod %8, %2, %10 --> comp_forif12
1124     comp_forif12: imm_int 0, %9,  --> comp_forif11
1125     comp_forif11: eq %6, %8, %9 --> comp_forif10
1126     comp_forif10: eq %6, %7 --> comp_forif6, comp_forif9
1127     comp_forif1: mov %3, %1 --> comp_forif0
1128     comp_forif0: return %3
1129
1130
1131   "main"(): int
1132     locals: %1, %0, %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, %58, %59, %60, %61, %62, %63, %64, %65, %66, %67, %68, %69, %70, %71, %72, %73, %74, %75, %76, %77, %78, %79, %80, %81, %82, %83, %84, %85, %86, %87, %88, %89, %90, %91, %92, %93, %94, %95, %96, %97, %98, %99, %100, %101, %102
1133     result: %1
1134     stacksize: 64
1135     entry: main149
1136     exit: main0
1137
1138     main99: imm_int 4, %63,  --> main98
1139     main98: imm_addr 0($sp), %64,  --> main97
1140     main97: imm_int 7, %66,  --> main96
1141     main96: imm_int 4, %67,  --> main95
1142     main95: mul %65, %66, %67 --> main94
1143     main94: store int32, add, %64, %65, %63 --> main93
1144     main93: emit c157 --> main92
1145     main92: imm_int 3, %58,  --> main91
1146     main91: imm_addr 0($sp), %59,  --> main90
1147     main90: imm_int 8, %61,  --> main89
1148     main9: imm_addr 0($sp), %2,  --> main8
1149     main89: imm_int 4, %62,  --> main88
1150     main88: mul %60, %61, %62 --> main87
1151     main87: store int32, add, %59, %60, %58 --> main86
1152     main86: emit c156 --> main85
1153     main85: imm_int 2, %53,  --> main84
1154     main84: imm_addr 0($sp), %54,  --> main83
1155     main83: imm_int 9, %56,  --> main82
1156     main82: imm_int 4, %57,  --> main81
1157     main81: mul %55, %56, %57 --> main80
1158     main80: store int32, add, %54, %55, %53 --> main79
1159     main8: imm_addr 0($sp), %3,  --> main7
1160     main79: emit c155 --> main78
1161     main78: imm_int 0, %48,  --> main77
1162     main77: imm_addr 0($sp), %49,  --> main76
1163     main76: imm_int 10, %51,  --> main75
1164     main75: imm_int 4, %52,  --> main74
1165     main74: mul %50, %51, %52 --> main73
1166     main73: store int32, add, %49, %50, %48 --> main72
1167     main72: emit c154 --> main71
1168     main71: imm_int 0, %43,  --> main70
1169     main70: imm_addr 0($sp), %44,  --> main69
1170     main7: imm_int 10, %4,  --> main6
1171     main69: imm_int 11, %46,  --> main68
1172     main68: imm_int 4, %47,  --> main67
1173     main67: mul %45, %46, %47 --> main66
1174     main66: store int32, add, %44, %45, %43 --> main65
1175     main65: emit c153 --> main64
1176     main64: imm_int 0, %38,  --> main63
1177     main63: imm_addr 0($sp), %39,  --> main62
1178     main62: imm_int 12, %41,  --> main61
1179     main61: imm_int 4, %42,  --> main60
1180     main60: mul %40, %41, %42 --> main59
1181     main6: imm_int 10, %5,  --> main5
1182     main59: store int32, add, %39, %40, %38 --> main58
1183     main58: emit c152 --> main57
1184     main57: imm_int 0, %33,  --> main56
1185     main56: imm_addr 0($sp), %34,  --> main55
1186     main55: imm_int 13, %36,  --> main54
1187     main54: imm_int 4, %37,  --> main53
1188     main53: mul %35, %36, %37 --> main52
1189     main52: store int32, add, %34, %35, %33 --> main51
1190     main51: emit c151 --> main50
1191     main50: imm_int 0, %28,  --> main49
1192     main5: call "comp_forif2", %2, %3, %4, %5, %0: int -> int -> int -> int -> int --> main4
1193     main49: imm_addr 0($sp), %29,  --> main48
1194     main48: imm_int 14, %31,  --> main47
1195     main47: imm_int 4, %32,  --> main46
1196     main46: mul %30, %31, %32 --> main45
1197     main45: store int32, add, %29, %30, %28 --> main44
1198     main44: emit c150 --> main43
1199     main43: imm_int 0, %23,  --> main42
1200     main42: imm_addr 0($sp), %24,  --> main41
1201     main41: imm_int 15, %26,  --> main40
1202     main40: imm_int 4, %27,  --> main39
1203     main4: emit c143 --> main3
1204     main39: mul %25, %26, %27 --> main38
1205     main38: store int32, add, %24, %25, %23 --> main37
1206     main37: emit c149 --> main36
1207     main36: imm_addr 0($sp), %18,  --> main35
1208     main35: imm_addr 0($sp), %19,  --> main34
1209     main34: imm_addr 0($sp), %20,  --> main33
1210     main33: imm_int 10, %21,  --> main32
1211     main32: imm_int 10, %22,  --> main31
1212     main31: call "comp_fir_basic", %18, %19, %20, %21, %22, %0: int -> int -> int -> int -> int -> int --> main30
1213     main30: emit c148 --> main29
1214     main3: call "comp_forif", , %0: int --> main2
1215     main29: imm_addr 0($sp), %14,  --> main28
1216     main28: imm_addr 0($sp), %15,  --> main27
1217     main27: imm_addr 0($sp), %16,  --> main26
1218     main26: imm_int 16, %17,  --> main25
1219     main25: call "comp_fir16", %14, %15, %16, %17, %0: int -> int -> int -> int -> int --> main24
1220     main24: emit c147 --> main23
1221     main23: imm_int 4, %11,  --> main22
1222     main22: imm_int 1, %12,  --> main21
1223     main21: imm_int 1, %13,  --> main20
1224     main20: call "comp_ifFor", %11, %12, %13, %0: int -> int -> int -> int --> main19
1225     main2: emit c142 --> main1
1226     main19: emit c146 --> main18
1227     main18: imm_addr 0($sp), %8,  --> main17
1228     main17: imm_int 9, %9,  --> main16
1229     main16: imm_int 3, %10,  --> main15
1230     main15: call "comp_total", %8, %9, %10, %0: int -> int -> int -> int --> main14
1231     main149: emit c165 --> main148
1232     main148: imm_int 10, %98,  --> main147
1233     main147: imm_addr 0($sp), %99,  --> main146
1234     main146: imm_int 0, %101,  --> main145
1235     main145: imm_int 4, %102,  --> main144
1236     main144: mul %100, %101, %102 --> main143
1237     main143: store int32, add, %99, %100, %98 --> main142
1238     main142: emit c164 --> main141
1239     main141: imm_int 9, %93,  --> main140
1240     main140: imm_addr 0($sp), %94,  --> main139
1241     main14: emit c145 --> main13
1242     main139: imm_int 1, %96,  --> main138
1243     main138: imm_int 4, %97,  --> main137
1244     main137: mul %95, %96, %97 --> main136
1245     main136: store int32, add, %94, %95, %93 --> main135
1246     main135: emit c163 --> main134
1247     main134: imm_int 8, %88,  --> main133
1248     main133: imm_addr 0($sp), %89,  --> main132
1249     main132: imm_int 2, %91,  --> main131
1250     main131: imm_int 4, %92,  --> main130
1251     main130: mul %90, %91, %92 --> main129
1252     main13: imm_addr 0($sp), %6,  --> main12
1253     main129: store int32, add, %89, %90, %88 --> main128
1254     main128: emit c162 --> main127
1255     main127: imm_int 7, %83,  --> main126
1256     main126: imm_addr 0($sp), %84,  --> main125
1257     main125: imm_int 3, %86,  --> main124
1258     main124: imm_int 4, %87,  --> main123
1259     main123: mul %85, %86, %87 --> main122
1260     main122: store int32, add, %84, %85, %83 --> main121
1261     main121: emit c161 --> main120
1262     main120: imm_int 6, %78,  --> main119
1263     main12: imm_int 10, %7,  --> main11
1264     main119: imm_addr 0($sp), %79,  --> main118
1265     main118: imm_int 4, %81,  --> main117
1266     main117: imm_int 4, %82,  --> main116
1267     main116: mul %80, %81, %82 --> main115
1268     main115: store int32, add, %79, %80, %78 --> main114
1269     main114: emit c160 --> main113
1270     main113: imm_int 0, %73,  --> main112
1271     main112: imm_addr 0($sp), %74,  --> main111
1272     main111: imm_int 5, %76,  --> main110
1273     main110: imm_int 4, %77,  --> main109
1274     main11: call "comp_tri", %6, %7, %0: int -> int -> int --> main10
1275     main109: mul %75, %76, %77 --> main108
1276     main108: store int32, add, %74, %75, %73 --> main107
1277     main107: emit c159 --> main106
1278     main106: imm_int 5, %68,  --> main105
1279     main105: imm_addr 0($sp), %69,  --> main104
1280     main104: imm_int 6, %71,  --> main103
1281     main103: imm_int 4, %72,  --> main102
1282     main102: mul %70, %71, %72 --> main101
1283     main101: store int32, add, %69, %70, %68 --> main100
1284     main100: emit c158 --> main99
1285     main10: emit c144 --> main9
1286     main1: mov %1, %0 --> main0
1287     main0: return %1
1288
1289