]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/ifthenelse.RTLabs.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / ifthenelse.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   "if_jian"(%0, %1, %2, %3, %4, %5, %6, %7, %8): int -> int -> int -> int -> int -> int -> int -> int -> int -> int
404     locals: %16, %9, %10, %11, %12, %13, %14, %15, %17, %18, %19, %20, %21, %22, %23, %24, %25, %26, %27, %28, %29, %30
405     result: %16
406     stacksize: 0
407     entry: if_jian48
408     exit: if_jian0
409
410     if_jian9: add %10, %12, %4 --> if_jian2
411     if_jian8: emit c3 --> if_jian7
412     if_jian7: add %14, %13, %4 --> if_jian6
413     if_jian6: emit c2 --> if_jian5
414     if_jian5: add %15, %14, %5 --> if_jian4
415     if_jian48: emit c15 --> if_jian47
416     if_jian47: add %30, %0, %1 --> if_jian46
417     if_jian46: lt %11, %30, %2 --> if_jian45
418     if_jian45: emit c14 --> if_jian44
419     if_jian44: add %12, %3, %4 --> if_jian43
420     if_jian43: emit c13 --> if_jian42
421     if_jian42: imm_int 1, %29,  --> if_jian41
422     if_jian41: add %13, %2, %29 --> if_jian40
423     if_jian40: emit c12 --> if_jian39
424     if_jian4: emit c1 --> if_jian3
425     if_jian39: imm_int 0, %27,  --> if_jian38
426     if_jian38: imm_int 1, %28,  --> if_jian37
427     if_jian37: eq %26, %8, %28 --> if_jian36
428     if_jian36: eq %26, %27 --> if_jian8, if_jian35
429     if_jian35: emit c11 --> if_jian34
430     if_jian34: imm_int 0, %25,  --> if_jian33
431     if_jian33: eq %11, %25 --> if_jian30, if_jian32
432     if_jian32: emit c10 --> if_jian31
433     if_jian31: add %9, %13, %3 --> if_jian24
434     if_jian30: emit c9 --> if_jian29
435     if_jian3: add %9, %15, %6 --> if_jian2
436     if_jian29: imm_int 0, %24,  --> if_jian28
437     if_jian28: notbool %23, %7 --> if_jian27
438     if_jian27: eq %23, %24 --> if_jian24, if_jian26
439     if_jian26: emit c8 --> if_jian25
440     if_jian25: add %9, %12, %3 --> if_jian24
441     if_jian24: emit c7 --> if_jian23
442     if_jian23: imm_int 0, %18,  --> if_jian22
443     if_jian22: imm_int 0, %22,  --> if_jian21
444     if_jian21: emit c6 --> if_jian20
445     if_jian20: notbool %21, %11 --> if_jian19
446     if_jian2: emit c0 --> if_jian1
447     if_jian19: eq %21, %22 --> if_jian12, if_jian18
448     if_jian18: imm_int 0, %20,  --> if_jian17
449     if_jian17: emit c5 --> if_jian16
450     if_jian16: mov %19, %7 --> if_jian15
451     if_jian15: eq %19, %20 --> if_jian13, if_jian14
452     if_jian14: imm_int 1, %17,  --> if_jian11
453     if_jian13: imm_int 0, %17,  --> if_jian11
454     if_jian12: imm_int 0, %17,  --> if_jian11
455     if_jian11: eq %17, %18 --> if_jian2, if_jian10
456     if_jian10: emit c4 --> if_jian9
457     if_jian1: mov %16, %9 --> if_jian0
458     if_jian0: return %16
459
460
461   "if_exSimple"(%0, %1): int -> int -> int
462     locals: %5, %2, %3, %4, %6, %7, %8, %9
463     result: %5
464     stacksize: 0
465     entry: if_exSimple20
466     exit: if_exSimple0
467
468     if_exSimple9: emit c19 --> if_exSimple8
469     if_exSimple8: imm_int 2, %6,  --> if_exSimple7
470     if_exSimple7: mul %4, %6, %1 --> if_exSimple6
471     if_exSimple6: emit c18 --> if_exSimple5
472     if_exSimple5: add %4, %4, %0 --> if_exSimple4
473     if_exSimple4: emit c17 --> if_exSimple3
474     if_exSimple3: add %2, %4, %1 --> if_exSimple2
475     if_exSimple20: emit c23 --> if_exSimple19
476     if_exSimple2: emit c16 --> if_exSimple1
477     if_exSimple19: imm_int 0, %9,  --> if_exSimple18
478     if_exSimple18: lt %8, %0, %1 --> if_exSimple17
479     if_exSimple17: eq %8, %9 --> if_exSimple9, if_exSimple16
480     if_exSimple16: emit c22 --> if_exSimple15
481     if_exSimple15: add %3, %0, %1 --> if_exSimple14
482     if_exSimple14: emit c21 --> if_exSimple13
483     if_exSimple13: imm_int 2, %7,  --> if_exSimple12
484     if_exSimple12: mul %3, %7, %3 --> if_exSimple11
485     if_exSimple11: emit c20 --> if_exSimple10
486     if_exSimple10: mov %2, %3 --> if_exSimple2
487     if_exSimple1: mov %5, %2 --> if_exSimple0
488     if_exSimple0: return %5
489
490
491   "if_imbriq1"(%0, %1, %2): int -> int -> int -> int
492     locals: %4, %3, %5, %6, %7, %8
493     result: %4
494     stacksize: 0
495     entry: if_imbriq116
496     exit: if_imbriq10
497
498     if_imbriq19: eq %5, %6 --> if_imbriq16, if_imbriq18
499     if_imbriq18: emit c27 --> if_imbriq17
500     if_imbriq17: mov %3, %1 --> if_imbriq12
501     if_imbriq16: emit c26 --> if_imbriq15
502     if_imbriq15: mov %3, %2 --> if_imbriq12
503     if_imbriq14: emit c25 --> if_imbriq13
504     if_imbriq13: mov %3, %0 --> if_imbriq12
505     if_imbriq12: emit c24 --> if_imbriq11
506     if_imbriq116: emit c29 --> if_imbriq115
507     if_imbriq115: imm_int 0, %8,  --> if_imbriq114
508     if_imbriq114: lt %7, %0, %1 --> if_imbriq113
509     if_imbriq113: eq %7, %8 --> if_imbriq14, if_imbriq112
510     if_imbriq112: emit c28 --> if_imbriq111
511     if_imbriq111: imm_int 0, %6,  --> if_imbriq110
512     if_imbriq110: lt %5, %1, %2 --> if_imbriq19
513     if_imbriq11: mov %4, %3 --> if_imbriq10
514     if_imbriq10: return %4
515
516
517   "if_imbriq2"(%0, %1, %2): int -> int -> int -> int
518     locals: %4, %3, %5, %6, %7, %8
519     result: %4
520     stacksize: 0
521     entry: if_imbriq216
522     exit: if_imbriq20
523
524     if_imbriq29: eq %5, %6 --> if_imbriq26, if_imbriq28
525     if_imbriq28: emit c33 --> if_imbriq27
526     if_imbriq27: mov %3, %1 --> if_imbriq22
527     if_imbriq26: emit c32 --> if_imbriq25
528     if_imbriq25: imm_int 47, %3,  --> if_imbriq22
529     if_imbriq24: emit c31 --> if_imbriq23
530     if_imbriq23: mov %3, %0 --> if_imbriq22
531     if_imbriq22: emit c30 --> if_imbriq21
532     if_imbriq216: emit c35 --> if_imbriq215
533     if_imbriq215: imm_int 0, %8,  --> if_imbriq214
534     if_imbriq214: lt %7, %0, %1 --> if_imbriq213
535     if_imbriq213: eq %7, %8 --> if_imbriq24, if_imbriq212
536     if_imbriq212: emit c34 --> if_imbriq211
537     if_imbriq211: imm_int 0, %6,  --> if_imbriq210
538     if_imbriq210: lt %5, %1, %2 --> if_imbriq29
539     if_imbriq21: mov %4, %3 --> if_imbriq20
540     if_imbriq20: return %4
541
542
543   "if_min"(%0, %1): int -> int -> int
544     locals: %3, %2, %4, %5
545     result: %3
546     stacksize: 0
547     entry: if_min10
548     exit: if_min0
549
550     if_min9: imm_int 0, %5,  --> if_min8
551     if_min8: gt %4, %0, %1 --> if_min7
552     if_min7: eq %4, %5 --> if_min4, if_min6
553     if_min6: emit c38 --> if_min5
554     if_min5: mov %2, %1 --> if_min2
555     if_min4: emit c37 --> if_min3
556     if_min3: mov %2, %0 --> if_min2
557     if_min2: emit c36 --> if_min1
558     if_min10: emit c39 --> if_min9
559     if_min1: mov %3, %2 --> if_min0
560     if_min0: return %3
561
562
563   "if_prog"(%0, %1): int -> int -> int
564     locals: %4, %2, %3, %5, %6, %7
565     result: %4
566     stacksize: 0
567     entry: if_prog13
568     exit: if_prog0
569
570     if_prog9: imm_int 0, %7,  --> if_prog8
571     if_prog8: lt %5, %2, %7 --> if_prog7
572     if_prog7: eq %5, %6 --> if_prog4, if_prog6
573     if_prog6: emit c42 --> if_prog5
574     if_prog5: imm_int 2, %3,  --> if_prog2
575     if_prog4: emit c41 --> if_prog3
576     if_prog3: imm_int 3, %3,  --> if_prog2
577     if_prog2: emit c40 --> if_prog1
578     if_prog13: emit c44 --> if_prog12
579     if_prog12: add %2, %1, %0 --> if_prog11
580     if_prog11: emit c43 --> if_prog10
581     if_prog10: imm_int 0, %6,  --> if_prog9
582     if_prog1: mov %4, %3 --> if_prog0
583     if_prog0: return %4
584
585
586   "if_sansElse"(%0, %1): int -> int -> int
587     locals: %3, %2, %4, %5
588     result: %3
589     stacksize: 0
590     entry: if_sansElse10
591     exit: if_sansElse0
592
593     if_sansElse9: imm_int 0, %2,  --> if_sansElse8
594     if_sansElse8: emit c47 --> if_sansElse7
595     if_sansElse7: imm_int 0, %5,  --> if_sansElse6
596     if_sansElse6: lt %4, %0, %1 --> if_sansElse5
597     if_sansElse5: eq %4, %5 --> if_sansElse2, if_sansElse4
598     if_sansElse4: emit c46 --> if_sansElse3
599     if_sansElse3: mov %2, %0 --> if_sansElse2
600     if_sansElse2: emit c45 --> if_sansElse1
601     if_sansElse10: emit c48 --> if_sansElse9
602     if_sansElse1: mov %3, %2 --> if_sansElse0
603     if_sansElse0: return %3
604
605
606   "if_test"(%0, %1, %2, %3): int -> int -> int -> int -> int
607     locals: %9, %4, %5, %6, %7, %8, %10, %11, %12, %13, %14
608     result: %9
609     stacksize: 0
610     entry: if_test31
611     exit: if_test0
612
613     if_test9: emit c52 --> if_test8
614     if_test8: add %7, %8, %2 --> if_test7
615     if_test7: emit c51 --> if_test6
616     if_test6: imm_int 1, %10,  --> if_test5
617     if_test5: add %5, %4, %10 --> if_test4
618     if_test4: emit c50 --> if_test3
619     if_test31: emit c61 --> if_test30
620     if_test30: imm_int 0, %4,  --> if_test29
621     if_test3: add %6, %4, %7 --> if_test2
622     if_test29: emit c60 --> if_test28
623     if_test28: imm_int 0, %5,  --> if_test27
624     if_test27: emit c59 --> if_test26
625     if_test26: imm_int 0, %6,  --> if_test25
626     if_test25: emit c58 --> if_test24
627     if_test24: imm_int 0, %7,  --> if_test23
628     if_test23: emit c57 --> if_test22
629     if_test22: imm_int 0, %8,  --> if_test21
630     if_test21: emit c56 --> if_test20
631     if_test20: imm_int 0, %14,  --> if_test19
632     if_test2: emit c49 --> if_test1
633     if_test19: lt %13, %0, %1 --> if_test18
634     if_test18: eq %13, %14 --> if_test15, if_test17
635     if_test17: emit c55 --> if_test16
636     if_test16: add %4, %0, %1 --> if_test15
637     if_test15: emit c54 --> if_test14
638     if_test14: imm_int 0, %12,  --> if_test13
639     if_test13: lt %11, %2, %3 --> if_test12
640     if_test12: eq %11, %12 --> if_test7, if_test11
641     if_test11: emit c53 --> if_test10
642     if_test10: add %8, %2, %3 --> if_test9
643     if_test1: mov %9, %4 --> if_test0
644     if_test0: return %9
645
646
647   "if_ual"(%0, %1, %2): int -> int -> int -> int
648     locals: %4, %3, %5, %6, %7, %8, %9, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %24
649     result: %4
650     stacksize: 0
651     entry: if_ual50
652     exit: if_ual0
653
654     if_ual9: imm_int 1, %3,  --> if_ual2
655     if_ual8: imm_int 0, %6,  --> if_ual7
656     if_ual7: emit c63 --> if_ual6
657     if_ual6: mov %5, %2 --> if_ual5
658     if_ual50: emit c74 --> if_ual49
659     if_ual5: eq %5, %6 --> if_ual3, if_ual4
660     if_ual49: imm_int 0, %23,  --> if_ual48
661     if_ual48: imm_int 0, %24,  --> if_ual47
662     if_ual47: eq %22, %0, %24 --> if_ual46
663     if_ual46: eq %22, %23 --> if_ual43, if_ual45
664     if_ual45: emit c73 --> if_ual44
665     if_ual44: add %3, %1, %2 --> if_ual2
666     if_ual43: emit c72 --> if_ual42
667     if_ual42: imm_int 0, %20,  --> if_ual41
668     if_ual41: imm_int 1, %21,  --> if_ual40
669     if_ual40: eq %19, %0, %21 --> if_ual39
670     if_ual4: imm_int 1, %3,  --> if_ual2
671     if_ual39: eq %19, %20 --> if_ual36, if_ual38
672     if_ual38: emit c71 --> if_ual37
673     if_ual37: sub %3, %1, %2 --> if_ual2
674     if_ual36: emit c70 --> if_ual35
675     if_ual35: imm_int 0, %17,  --> if_ual34
676     if_ual34: imm_int 2, %18,  --> if_ual33
677     if_ual33: eq %16, %0, %18 --> if_ual32
678     if_ual32: eq %16, %17 --> if_ual19, if_ual31
679     if_ual31: emit c69 --> if_ual30
680     if_ual30: imm_int 0, %15,  --> if_ual29
681     if_ual3: imm_int 0, %3,  --> if_ual2
682     if_ual29: emit c68 --> if_ual28
683     if_ual28: mov %14, %1 --> if_ual27
684     if_ual27: eq %14, %15 --> if_ual20, if_ual26
685     if_ual26: imm_int 0, %13,  --> if_ual25
686     if_ual25: emit c67 --> if_ual24
687     if_ual24: mov %12, %2 --> if_ual23
688     if_ual23: eq %12, %13 --> if_ual21, if_ual22
689     if_ual22: imm_int 1, %3,  --> if_ual2
690     if_ual21: imm_int 0, %3,  --> if_ual2
691     if_ual20: imm_int 0, %3,  --> if_ual2
692     if_ual2: emit c62 --> if_ual1
693     if_ual19: emit c66 --> if_ual18
694     if_ual18: imm_int 0, %10,  --> if_ual17
695     if_ual17: imm_int 3, %11,  --> if_ual16
696     if_ual16: eq %9, %0, %11 --> if_ual15
697     if_ual15: eq %9, %10 --> if_ual2, if_ual14
698     if_ual14: emit c65 --> if_ual13
699     if_ual13: imm_int 0, %8,  --> if_ual12
700     if_ual12: emit c64 --> if_ual11
701     if_ual11: mov %7, %1 --> if_ual10
702     if_ual10: eq %7, %8 --> if_ual8, if_ual9
703     if_ual1: mov %4, %3 --> if_ual0
704     if_ual0: return %4
705
706
707   "main"(): int
708     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
709     result: %1
710     stacksize: 0
711     entry: main50
712     exit: main0
713
714     main9: imm_int 4, %8,  --> main8
715     main8: call "if_test", %5, %6, %7, %8, %0: int -> int -> int -> int -> int --> main7
716     main7: emit c76 --> main6
717     main6: imm_int 1, %2,  --> main5
718     main50: emit c84 --> main49
719     main5: imm_int 2, %3,  --> main4
720     main49: imm_int 1, %23,  --> main48
721     main48: imm_int 2, %24,  --> main47
722     main47: imm_int 3, %25,  --> main46
723     main46: imm_int 4, %26,  --> main45
724     main45: imm_int 5, %27,  --> main44
725     main44: imm_int 6, %28,  --> main43
726     main43: imm_int 7, %29,  --> main42
727     main42: imm_int 8, %30,  --> main41
728     main41: imm_int 9, %31,  --> main40
729     main40: call "if_jian", %23, %24, %25, %26, %27, %28, %29, %30, %31, %0: int -> int -> int -> int -> int -> int -> int -> int -> int -> int --> main39
730     main4: imm_int 3, %4,  --> main3
731     main39: emit c83 --> main38
732     main38: imm_int 1, %21,  --> main37
733     main37: imm_int 2, %22,  --> main36
734     main36: call "if_exSimple", %21, %22, %0: int -> int -> int --> main35
735     main35: emit c82 --> main34
736     main34: imm_int 1, %18,  --> main33
737     main33: imm_int 2, %19,  --> main32
738     main32: imm_int 3, %20,  --> main31
739     main31: call "if_imbriq1", %18, %19, %20, %0: int -> int -> int -> int --> main30
740     main30: emit c81 --> main29
741     main3: call "if_ual", %2, %3, %4, %0: int -> int -> int -> int --> main2
742     main29: imm_int 1, %15,  --> main28
743     main28: imm_int 2, %16,  --> main27
744     main27: imm_int 3, %17,  --> main26
745     main26: call "if_imbriq2", %15, %16, %17, %0: int -> int -> int -> int --> main25
746     main25: emit c80 --> main24
747     main24: imm_int 1, %13,  --> main23
748     main23: imm_int 2, %14,  --> main22
749     main22: call "if_min", %13, %14, %0: int -> int -> int --> main21
750     main21: emit c79 --> main20
751     main20: imm_int 1, %11,  --> main19
752     main2: emit c75 --> main1
753     main19: imm_int 2, %12,  --> main18
754     main18: call "if_prog", %11, %12, %0: int -> int -> int --> main17
755     main17: emit c78 --> main16
756     main16: imm_int 1, %9,  --> main15
757     main15: imm_int 2, %10,  --> main14
758     main14: call "if_sansElse", %9, %10, %0: int -> int -> int --> main13
759     main13: emit c77 --> main12
760     main12: imm_int 1, %5,  --> main11
761     main11: imm_int 2, %6,  --> main10
762     main10: imm_int 3, %7,  --> main9
763     main1: mov %1, %0 --> main0
764     main0: return %1
765
766