]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/ifthenelse.RTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / ifthenelse.RTL.expected
1 program
2
3 globals 0
4
5 function if_ual(%0; %1; %2) : %4
6 var %0, %1, %2, %3, %4, %5, %6, 
7     %7, %8, %9, %10, %11, %12, %13, 
8     %14, %15, %16, %17, %18, %19, %20, 
9     %21, %22, %23, %24
10 entry if_ual71
11 exit if_ual0
12 if_ual71: li    %3, 0        --> if_ual70          
13 if_ual70: li    %5, 0        --> if_ual69          
14 if_ual69: li    %6, 0        --> if_ual68          
15 if_ual68: li    %7, 0        --> if_ual67          
16 if_ual67: li    %8, 0        --> if_ual66          
17 if_ual66: li    %9, 0        --> if_ual65          
18 if_ual65: li    %10, 0       --> if_ual64          
19 if_ual64: li    %11, 0       --> if_ual63          
20 if_ual63: li    %12, 0       --> if_ual62          
21 if_ual62: li    %13, 0       --> if_ual61          
22 if_ual61: li    %14, 0       --> if_ual60          
23 if_ual60: li    %15, 0       --> if_ual59          
24 if_ual59: li    %16, 0       --> if_ual58          
25 if_ual58: li    %17, 0       --> if_ual57          
26 if_ual57: li    %18, 0       --> if_ual56          
27 if_ual56: li    %19, 0       --> if_ual55          
28 if_ual55: li    %20, 0       --> if_ual54          
29 if_ual54: li    %21, 0       --> if_ual53          
30 if_ual53: li    %22, 0       --> if_ual52          
31 if_ual52: li    %23, 0       --> if_ual51          
32 if_ual51: li    %24, 0       --> if_ual50          
33 if_ual50: emit c74           --> if_ual49          
34 if_ual49: li    %23, 0       --> if_ual48          
35 if_ual48: li    %24, 0       --> if_ual47          
36 if_ual47: seq   %22, %0, %24 --> if_ual46          
37 if_ual46: beq   %22, %23     --> if_ual43, if_ual45
38 if_ual45: emit c73           --> if_ual44          
39 if_ual44: addu  %3, %1, %2   --> if_ual2           
40 if_ual2 : emit c62           --> if_ual1           
41 if_ual1 : move  %4, %3       --> if_ual0           
42 if_ual43: emit c72           --> if_ual42          
43 if_ual42: li    %20, 0       --> if_ual41          
44 if_ual41: li    %21, 1       --> if_ual40          
45 if_ual40: seq   %19, %0, %21 --> if_ual39          
46 if_ual39: beq   %19, %20     --> if_ual36, if_ual38
47 if_ual38: emit c71           --> if_ual37          
48 if_ual37: subu  %3, %1, %2   --> if_ual2           
49 if_ual36: emit c70           --> if_ual35          
50 if_ual35: li    %17, 0       --> if_ual34          
51 if_ual34: li    %18, 2       --> if_ual33          
52 if_ual33: seq   %16, %0, %18 --> if_ual32          
53 if_ual32: beq   %16, %17     --> if_ual19, if_ual31
54 if_ual31: emit c69           --> if_ual30          
55 if_ual30: li    %15, 0       --> if_ual29          
56 if_ual29: emit c68           --> if_ual28          
57 if_ual28: move  %14, %1      --> if_ual27          
58 if_ual27: beq   %14, %15     --> if_ual20, if_ual26
59 if_ual26: li    %13, 0       --> if_ual25          
60 if_ual25: emit c67           --> if_ual24          
61 if_ual24: move  %12, %2      --> if_ual23          
62 if_ual23: beq   %12, %13     --> if_ual21, if_ual22
63 if_ual22: li    %3, 1        --> if_ual2           
64 if_ual21: li    %3, 0        --> if_ual2           
65 if_ual20: li    %3, 0        --> if_ual2           
66 if_ual19: emit c66           --> if_ual18          
67 if_ual18: li    %10, 0       --> if_ual17          
68 if_ual17: li    %11, 3       --> if_ual16          
69 if_ual16: seq   %9, %0, %11  --> if_ual15          
70 if_ual15: beq   %9, %10      --> if_ual2, if_ual14 
71 if_ual14: emit c65           --> if_ual13          
72 if_ual13: li    %8, 0        --> if_ual12          
73 if_ual12: emit c64           --> if_ual11          
74 if_ual11: move  %7, %1       --> if_ual10          
75 if_ual10: beq   %7, %8       --> if_ual8, if_ual9  
76 if_ual9 : li    %3, 1        --> if_ual2           
77 if_ual8 : li    %6, 0        --> if_ual7           
78 if_ual7 : emit c63           --> if_ual6           
79 if_ual6 : move  %5, %2       --> if_ual5           
80 if_ual5 : beq   %5, %6       --> if_ual3, if_ual4  
81 if_ual4 : li    %3, 1        --> if_ual2           
82 if_ual3 : li    %3, 0        --> if_ual2           
83
84 function if_test(%0; %1; %2; %3) : %9
85 var %0, %1, %2, %3, %4, %5, %6, 
86     %7, %8, %9, %10, %11, %12, %13, 
87     %14
88 entry if_test41
89 exit if_test0
90 if_test41: li    %4, 0       --> if_test40           
91 if_test40: li    %5, 0       --> if_test39           
92 if_test39: li    %6, 0       --> if_test38           
93 if_test38: li    %7, 0       --> if_test37           
94 if_test37: li    %8, 0       --> if_test36           
95 if_test36: li    %10, 0      --> if_test35           
96 if_test35: li    %11, 0      --> if_test34           
97 if_test34: li    %12, 0      --> if_test33           
98 if_test33: li    %13, 0      --> if_test32           
99 if_test32: li    %14, 0      --> if_test31           
100 if_test31: emit c61          --> if_test30           
101 if_test30: li    %4, 0       --> if_test29           
102 if_test29: emit c60          --> if_test28           
103 if_test28: li    %5, 0       --> if_test27           
104 if_test27: emit c59          --> if_test26           
105 if_test26: li    %6, 0       --> if_test25           
106 if_test25: emit c58          --> if_test24           
107 if_test24: li    %7, 0       --> if_test23           
108 if_test23: emit c57          --> if_test22           
109 if_test22: li    %8, 0       --> if_test21           
110 if_test21: emit c56          --> if_test20           
111 if_test20: li    %14, 0      --> if_test19           
112 if_test19: slt   %13, %0, %1 --> if_test18           
113 if_test18: beq   %13, %14    --> if_test15, if_test17
114 if_test17: emit c55          --> if_test16           
115 if_test16: addu  %4, %0, %1  --> if_test15           
116 if_test15: emit c54          --> if_test14           
117 if_test14: li    %12, 0      --> if_test13           
118 if_test13: slt   %11, %2, %3 --> if_test12           
119 if_test12: beq   %11, %12    --> if_test7, if_test11 
120 if_test11: emit c53          --> if_test10           
121 if_test10: addu  %8, %2, %3  --> if_test9            
122 if_test9 : emit c52          --> if_test8            
123 if_test8 : addu  %7, %8, %2  --> if_test7            
124 if_test7 : emit c51          --> if_test6            
125 if_test6 : li    %10, 1      --> if_test5            
126 if_test5 : addu  %5, %4, %10 --> if_test4            
127 if_test4 : emit c50          --> if_test3            
128 if_test3 : addu  %6, %4, %7  --> if_test2            
129 if_test2 : emit c49          --> if_test1            
130 if_test1 : move  %9, %4      --> if_test0            
131
132 function if_sansElse(%0; %1) : %3
133 var %0, %1, %2, %3, %4, %5
134 entry if_sansElse13
135 exit if_sansElse0
136 if_sansElse13: li    %2, 0      --> if_sansElse12             
137 if_sansElse12: li    %4, 0      --> if_sansElse11             
138 if_sansElse11: li    %5, 0      --> if_sansElse10             
139 if_sansElse10: emit c48         --> if_sansElse9              
140 if_sansElse9 : li    %2, 0      --> if_sansElse8              
141 if_sansElse8 : emit c47         --> if_sansElse7              
142 if_sansElse7 : li    %5, 0      --> if_sansElse6              
143 if_sansElse6 : slt   %4, %0, %1 --> if_sansElse5              
144 if_sansElse5 : beq   %4, %5     --> if_sansElse2, if_sansElse4
145 if_sansElse4 : emit c46         --> if_sansElse3              
146 if_sansElse3 : move  %2, %0     --> if_sansElse2              
147 if_sansElse2 : emit c45         --> if_sansElse1              
148 if_sansElse1 : move  %3, %2     --> if_sansElse0              
149
150 function if_prog(%0; %1) : %4
151 var %0, %1, %2, %3, %4, %5, %6, 
152     %7
153 entry if_prog18
154 exit if_prog0
155 if_prog18: li    %2, 0      --> if_prog17         
156 if_prog17: li    %3, 0      --> if_prog16         
157 if_prog16: li    %5, 0      --> if_prog15         
158 if_prog15: li    %6, 0      --> if_prog14         
159 if_prog14: li    %7, 0      --> if_prog13         
160 if_prog13: emit c44         --> if_prog12         
161 if_prog12: addu  %2, %1, %0 --> if_prog11         
162 if_prog11: emit c43         --> if_prog10         
163 if_prog10: li    %6, 0      --> if_prog9          
164 if_prog9 : li    %7, 0      --> if_prog8          
165 if_prog8 : slt   %5, %2, %7 --> if_prog7          
166 if_prog7 : beq   %5, %6     --> if_prog4, if_prog6
167 if_prog6 : emit c42         --> if_prog5          
168 if_prog5 : li    %3, 2      --> if_prog2          
169 if_prog2 : emit c40         --> if_prog1          
170 if_prog1 : move  %4, %3     --> if_prog0          
171 if_prog4 : emit c41         --> if_prog3          
172 if_prog3 : li    %3, 3      --> if_prog2          
173
174 function if_min(%0; %1) : %3
175 var %0, %1, %2, %3, %4, %5
176 entry if_min13
177 exit if_min0
178 if_min13: li    %2, 0      --> if_min12        
179 if_min12: li    %4, 0      --> if_min11        
180 if_min11: li    %5, 0      --> if_min10        
181 if_min10: emit c39         --> if_min9         
182 if_min9 : li    %5, 0      --> if_min8         
183 if_min8 : sgt   %4, %0, %1 --> if_min7         
184 if_min7 : beq   %4, %5     --> if_min4, if_min6
185 if_min6 : emit c38         --> if_min5         
186 if_min5 : move  %2, %1     --> if_min2         
187 if_min2 : emit c36         --> if_min1         
188 if_min1 : move  %3, %2     --> if_min0         
189 if_min4 : emit c37         --> if_min3         
190 if_min3 : move  %2, %0     --> if_min2         
191
192 function if_jian(%0; %1; %2; %3; %4; %5; %6; %7; %8) : %16
193 var %0, %1, %2, %3, %4, %5, %6, 
194     %7, %8, %9, %10, %11, %12, %13, 
195     %14, %15, %16, %17, %18, %19, %20, 
196     %21, %22, %23, %24, %25, %26, %27, 
197     %28, %29, %30, %31, %32
198 entry if_jian73
199 exit if_jian0
200 if_jian73: li    %9, 0         --> if_jian72           
201 if_jian72: li    %10, 0        --> if_jian71           
202 if_jian71: li    %11, 0        --> if_jian70           
203 if_jian70: li    %12, 0        --> if_jian69           
204 if_jian69: li    %13, 0        --> if_jian68           
205 if_jian68: li    %14, 0        --> if_jian67           
206 if_jian67: li    %15, 0        --> if_jian66           
207 if_jian66: li    %17, 0        --> if_jian65           
208 if_jian65: li    %18, 0        --> if_jian64           
209 if_jian64: li    %19, 0        --> if_jian63           
210 if_jian63: li    %20, 0        --> if_jian62           
211 if_jian62: li    %21, 0        --> if_jian61           
212 if_jian61: li    %22, 0        --> if_jian60           
213 if_jian60: li    %23, 0        --> if_jian59           
214 if_jian59: li    %24, 0        --> if_jian58           
215 if_jian58: li    %25, 0        --> if_jian57           
216 if_jian57: li    %26, 0        --> if_jian56           
217 if_jian56: li    %27, 0        --> if_jian55           
218 if_jian55: li    %28, 0        --> if_jian54           
219 if_jian54: li    %29, 0        --> if_jian53           
220 if_jian53: li    %30, 0        --> if_jian52           
221 if_jian52: li    %31, 0        --> if_jian51           
222 if_jian51: li    %32, 0        --> if_jian48           
223 if_jian48: emit c15            --> if_jian47           
224 if_jian47: addu  %30, %0, %1   --> if_jian46           
225 if_jian46: slt   %11, %30, %2  --> if_jian45           
226 if_jian45: emit c14            --> if_jian44           
227 if_jian44: addu  %12, %3, %4   --> if_jian43           
228 if_jian43: emit c13            --> if_jian42           
229 if_jian42: li    %29, 1        --> if_jian41           
230 if_jian41: addu  %13, %2, %29  --> if_jian40           
231 if_jian40: emit c12            --> if_jian39           
232 if_jian39: li    %27, 0        --> if_jian38           
233 if_jian38: li    %28, 1        --> if_jian37           
234 if_jian37: seq   %26, %8, %28  --> if_jian36           
235 if_jian36: beq   %26, %27      --> if_jian8, if_jian35 
236 if_jian35: emit c11            --> if_jian34           
237 if_jian34: li    %25, 0        --> if_jian33           
238 if_jian33: beq   %11, %25      --> if_jian30, if_jian32
239 if_jian32: emit c10            --> if_jian31           
240 if_jian31: addu  %9, %13, %3   --> if_jian24           
241 if_jian24: emit c7             --> if_jian23           
242 if_jian23: li    %18, 0        --> if_jian22           
243 if_jian22: li    %22, 0        --> if_jian21           
244 if_jian21: emit c6             --> if_jian20           
245 if_jian20: li    %31, 0        --> if_jian49           
246 if_jian49: seq   %21, %11, %31 --> if_jian19           
247 if_jian19: beq   %21, %22      --> if_jian12, if_jian18
248 if_jian18: li    %20, 0        --> if_jian17           
249 if_jian17: emit c5             --> if_jian16           
250 if_jian16: move  %19, %7       --> if_jian15           
251 if_jian15: beq   %19, %20      --> if_jian13, if_jian14
252 if_jian14: li    %17, 1        --> if_jian11           
253 if_jian11: beq   %17, %18      --> if_jian2, if_jian10 
254 if_jian10: emit c4             --> if_jian9            
255 if_jian9 : addu  %10, %12, %4  --> if_jian2            
256 if_jian2 : emit c0             --> if_jian1            
257 if_jian1 : move  %16, %9       --> if_jian0            
258 if_jian13: li    %17, 0        --> if_jian11           
259 if_jian12: li    %17, 0        --> if_jian11           
260 if_jian30: emit c9             --> if_jian29           
261 if_jian29: li    %24, 0        --> if_jian28           
262 if_jian28: li    %32, 0        --> if_jian50           
263 if_jian50: seq   %23, %7, %32  --> if_jian27           
264 if_jian27: beq   %23, %24      --> if_jian24, if_jian26
265 if_jian26: emit c8             --> if_jian25           
266 if_jian25: addu  %9, %12, %3   --> if_jian24           
267 if_jian8 : emit c3             --> if_jian7            
268 if_jian7 : addu  %14, %13, %4  --> if_jian6            
269 if_jian6 : emit c2             --> if_jian5            
270 if_jian5 : addu  %15, %14, %5  --> if_jian4            
271 if_jian4 : emit c1             --> if_jian3            
272 if_jian3 : addu  %9, %15, %6   --> if_jian2            
273
274 function if_imbriq2(%0; %1; %2) : %4
275 var %0, %1, %2, %3, %4, %5, %6, 
276     %7, %8
277 entry if_imbriq221
278 exit if_imbriq20
279 if_imbriq221: li    %3, 0      --> if_imbriq220             
280 if_imbriq220: li    %5, 0      --> if_imbriq219             
281 if_imbriq219: li    %6, 0      --> if_imbriq218             
282 if_imbriq218: li    %7, 0      --> if_imbriq217             
283 if_imbriq217: li    %8, 0      --> if_imbriq216             
284 if_imbriq216: emit c35         --> if_imbriq215             
285 if_imbriq215: li    %8, 0      --> if_imbriq214             
286 if_imbriq214: slt   %7, %0, %1 --> if_imbriq213             
287 if_imbriq213: beq   %7, %8     --> if_imbriq24, if_imbriq212
288 if_imbriq212: emit c34         --> if_imbriq211             
289 if_imbriq211: li    %6, 0      --> if_imbriq210             
290 if_imbriq210: slt   %5, %1, %2 --> if_imbriq29              
291 if_imbriq29 : beq   %5, %6     --> if_imbriq26, if_imbriq28 
292 if_imbriq28 : emit c33         --> if_imbriq27              
293 if_imbriq27 : move  %3, %1     --> if_imbriq22              
294 if_imbriq22 : emit c30         --> if_imbriq21              
295 if_imbriq21 : move  %4, %3     --> if_imbriq20              
296 if_imbriq26 : emit c32         --> if_imbriq25              
297 if_imbriq25 : li    %3, 47     --> if_imbriq22              
298 if_imbriq24 : emit c31         --> if_imbriq23              
299 if_imbriq23 : move  %3, %0     --> if_imbriq22              
300
301 function if_imbriq1(%0; %1; %2) : %4
302 var %0, %1, %2, %3, %4, %5, %6, 
303     %7, %8
304 entry if_imbriq121
305 exit if_imbriq10
306 if_imbriq121: li    %3, 0      --> if_imbriq120             
307 if_imbriq120: li    %5, 0      --> if_imbriq119             
308 if_imbriq119: li    %6, 0      --> if_imbriq118             
309 if_imbriq118: li    %7, 0      --> if_imbriq117             
310 if_imbriq117: li    %8, 0      --> if_imbriq116             
311 if_imbriq116: emit c29         --> if_imbriq115             
312 if_imbriq115: li    %8, 0      --> if_imbriq114             
313 if_imbriq114: slt   %7, %0, %1 --> if_imbriq113             
314 if_imbriq113: beq   %7, %8     --> if_imbriq14, if_imbriq112
315 if_imbriq112: emit c28         --> if_imbriq111             
316 if_imbriq111: li    %6, 0      --> if_imbriq110             
317 if_imbriq110: slt   %5, %1, %2 --> if_imbriq19              
318 if_imbriq19 : beq   %5, %6     --> if_imbriq16, if_imbriq18 
319 if_imbriq18 : emit c27         --> if_imbriq17              
320 if_imbriq17 : move  %3, %1     --> if_imbriq12              
321 if_imbriq12 : emit c24         --> if_imbriq11              
322 if_imbriq11 : move  %4, %3     --> if_imbriq10              
323 if_imbriq16 : emit c26         --> if_imbriq15              
324 if_imbriq15 : move  %3, %2     --> if_imbriq12              
325 if_imbriq14 : emit c25         --> if_imbriq13              
326 if_imbriq13 : move  %3, %0     --> if_imbriq12              
327
328 function if_exSimple(%0; %1) : %5
329 var %0, %1, %2, %3, %4, %5, %6, 
330     %7, %8, %9
331 entry if_exSimple27
332 exit if_exSimple0
333 if_exSimple27: li    %2, 0      --> if_exSimple26              
334 if_exSimple26: li    %3, 0      --> if_exSimple25              
335 if_exSimple25: li    %4, 0      --> if_exSimple24              
336 if_exSimple24: li    %6, 0      --> if_exSimple23              
337 if_exSimple23: li    %7, 0      --> if_exSimple22              
338 if_exSimple22: li    %8, 0      --> if_exSimple21              
339 if_exSimple21: li    %9, 0      --> if_exSimple20              
340 if_exSimple20: emit c23         --> if_exSimple19              
341 if_exSimple19: li    %9, 0      --> if_exSimple18              
342 if_exSimple18: slt   %8, %0, %1 --> if_exSimple17              
343 if_exSimple17: beq   %8, %9     --> if_exSimple9, if_exSimple16
344 if_exSimple16: emit c22         --> if_exSimple15              
345 if_exSimple15: addu  %3, %0, %1 --> if_exSimple14              
346 if_exSimple14: emit c21         --> if_exSimple13              
347 if_exSimple13: li    %7, 2      --> if_exSimple12              
348 if_exSimple12: mul   %3, %7, %3 --> if_exSimple11              
349 if_exSimple11: emit c20         --> if_exSimple10              
350 if_exSimple10: move  %2, %3     --> if_exSimple2               
351 if_exSimple2 : emit c16         --> if_exSimple1               
352 if_exSimple1 : move  %5, %2     --> if_exSimple0               
353 if_exSimple9 : emit c19         --> if_exSimple8               
354 if_exSimple8 : li    %6, 2      --> if_exSimple7               
355 if_exSimple7 : mul   %4, %6, %1 --> if_exSimple6               
356 if_exSimple6 : emit c18         --> if_exSimple5               
357 if_exSimple5 : addu  %4, %4, %0 --> if_exSimple4               
358 if_exSimple4 : emit c17         --> if_exSimple3               
359 if_exSimple3 : addu  %2, %4, %1 --> if_exSimple2               
360
361 function _main() : %1
362 var %0, %1, %2, %3, %4, %5, %6, 
363     %7, %8, %9, %10, %11, %12, %13, 
364     %14, %15, %16, %17, %18, %19, %20, 
365     %21, %22, %23, %24, %25, %26, %27, 
366     %28, %29, %30, %31
367 entry main81
368 exit main0
369 main81: li    %0, 0                                                    --> main80
370 main80: li    %2, 0                                                    --> main79
371 main79: li    %3, 0                                                    --> main78
372 main78: li    %4, 0                                                    --> main77
373 main77: li    %5, 0                                                    --> main76
374 main76: li    %6, 0                                                    --> main75
375 main75: li    %7, 0                                                    --> main74
376 main74: li    %8, 0                                                    --> main73
377 main73: li    %9, 0                                                    --> main72
378 main72: li    %10, 0                                                   --> main71
379 main71: li    %11, 0                                                   --> main70
380 main70: li    %12, 0                                                   --> main69
381 main69: li    %13, 0                                                   --> main68
382 main68: li    %14, 0                                                   --> main67
383 main67: li    %15, 0                                                   --> main66
384 main66: li    %16, 0                                                   --> main65
385 main65: li    %17, 0                                                   --> main64
386 main64: li    %18, 0                                                   --> main63
387 main63: li    %19, 0                                                   --> main62
388 main62: li    %20, 0                                                   --> main61
389 main61: li    %21, 0                                                   --> main60
390 main60: li    %22, 0                                                   --> main59
391 main59: li    %23, 0                                                   --> main58
392 main58: li    %24, 0                                                   --> main57
393 main57: li    %25, 0                                                   --> main56
394 main56: li    %26, 0                                                   --> main55
395 main55: li    %27, 0                                                   --> main54
396 main54: li    %28, 0                                                   --> main53
397 main53: li    %29, 0                                                   --> main52
398 main52: li    %30, 0                                                   --> main51
399 main51: li    %31, 0                                                   --> main50
400 main50: emit c84                                                       --> main49
401 main49: li    %23, 1                                                   --> main48
402 main48: li    %24, 2                                                   --> main47
403 main47: li    %25, 3                                                   --> main46
404 main46: li    %26, 4                                                   --> main45
405 main45: li    %27, 5                                                   --> main44
406 main44: li    %28, 6                                                   --> main43
407 main43: li    %29, 7                                                   --> main42
408 main42: li    %30, 8                                                   --> main41
409 main41: li    %31, 9                                                   --> main40
410 main40: call  %0, if_jian(%23, %24, %25, %26, %27, %28, %29, %30, %31) --> main39
411 main39: emit c83                                                       --> main38
412 main38: li    %21, 1                                                   --> main37
413 main37: li    %22, 2                                                   --> main36
414 main36: call  %0, if_exSimple(%21, %22)                                --> main35
415 main35: emit c82                                                       --> main34
416 main34: li    %18, 1                                                   --> main33
417 main33: li    %19, 2                                                   --> main32
418 main32: li    %20, 3                                                   --> main31
419 main31: call  %0, if_imbriq1(%18, %19, %20)                            --> main30
420 main30: emit c81                                                       --> main29
421 main29: li    %15, 1                                                   --> main28
422 main28: li    %16, 2                                                   --> main27
423 main27: li    %17, 3                                                   --> main26
424 main26: call  %0, if_imbriq2(%15, %16, %17)                            --> main25
425 main25: emit c80                                                       --> main24
426 main24: li    %13, 1                                                   --> main23
427 main23: li    %14, 2                                                   --> main22
428 main22: call  %0, if_min(%13, %14)                                     --> main21
429 main21: emit c79                                                       --> main20
430 main20: li    %11, 1                                                   --> main19
431 main19: li    %12, 2                                                   --> main18
432 main18: call  %0, if_prog(%11, %12)                                    --> main17
433 main17: emit c78                                                       --> main16
434 main16: li    %9, 1                                                    --> main15
435 main15: li    %10, 2                                                   --> main14
436 main14: call  %0, if_sansElse(%9, %10)                                 --> main13
437 main13: emit c77                                                       --> main12
438 main12: li    %5, 1                                                    --> main11
439 main11: li    %6, 2                                                    --> main10
440 main10: li    %7, 3                                                    --> main9 
441 main9 : li    %8, 4                                                    --> main8 
442 main8 : call  %0, if_test(%5, %6, %7, %8)                              --> main7 
443 main7 : emit c76                                                       --> main6 
444 main6 : li    %2, 1                                                    --> main5 
445 main5 : li    %3, 2                                                    --> main4 
446 main4 : li    %4, 3                                                    --> main3 
447 main3 : call  %0, if_ual(%2, %3, %4)                                   --> main2 
448 main2 : emit c75                                                       --> main1 
449 main1 : move  %1, %0                                                   --> main0 
450