]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/ifthenelse.LTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / ifthenelse.LTL.expected
1 program
2
3 globals 0
4
5 procedure if_ual(3)
6 var 0
7 entry if_ual84
8 if_ual84: newframe            --> if_ual83          
9 if_ual83: j                   --> if_ual82          
10 if_ual82: j                   --> if_ual81          
11 if_ual81: j                   --> if_ual80          
12 if_ual80: j                   --> if_ual79          
13 if_ual79: j                   --> if_ual78          
14 if_ual78: j                   --> if_ual77          
15 if_ual77: j                   --> if_ual76          
16 if_ual76: j                   --> if_ual75          
17 if_ual75: j                   --> if_ual74          
18 if_ual74: j                   --> if_ual73          
19 if_ual73: j                   --> if_ual72          
20 if_ual72: j                   --> if_ual71          
21 if_ual71: li    $v0, 0        --> if_ual70          
22 if_ual70: j                   --> if_ual69          
23 if_ual69: j                   --> if_ual68          
24 if_ual68: j                   --> if_ual67          
25 if_ual67: j                   --> if_ual66          
26 if_ual66: j                   --> if_ual65          
27 if_ual65: j                   --> if_ual64          
28 if_ual64: j                   --> if_ual63          
29 if_ual63: j                   --> if_ual62          
30 if_ual62: j                   --> if_ual61          
31 if_ual61: j                   --> if_ual60          
32 if_ual60: j                   --> if_ual59          
33 if_ual59: j                   --> if_ual58          
34 if_ual58: j                   --> if_ual57          
35 if_ual57: j                   --> if_ual56          
36 if_ual56: j                   --> if_ual55          
37 if_ual55: j                   --> if_ual54          
38 if_ual54: j                   --> if_ual53          
39 if_ual53: j                   --> if_ual52          
40 if_ual52: j                   --> if_ual51          
41 if_ual51: j                   --> if_ual50          
42 if_ual50: emit c74            --> if_ual49          
43 if_ual49: j                   --> if_ual48          
44 if_ual48: li    $a3, 0        --> if_ual47          
45 if_ual47: seq   $a3, $a0, $a3 --> if_ual46          
46 if_ual46: beq   $a3, $zero    --> if_ual43, if_ual45
47 if_ual45: emit c73            --> if_ual44          
48 if_ual44: addu  $v0, $a1, $a2 --> if_ual2           
49 if_ual2 : emit c62            --> if_ual1           
50 if_ual1 : j                   --> if_ual0           
51 if_ual0 : j                   --> if_ual96          
52 if_ual96: j                   --> if_ual95          
53 if_ual95: j                   --> if_ual94          
54 if_ual94: j                   --> if_ual93          
55 if_ual93: j                   --> if_ual92          
56 if_ual92: j                   --> if_ual91          
57 if_ual91: j                   --> if_ual90          
58 if_ual90: j                   --> if_ual89          
59 if_ual89: j                   --> if_ual88          
60 if_ual88: j                   --> if_ual87          
61 if_ual87: j                   --> if_ual86          
62 if_ual86: delframe            --> if_ual85          
63 if_ual85: jr    $ra                                 
64 if_ual43: emit c72            --> if_ual42          
65 if_ual42: j                   --> if_ual41          
66 if_ual41: li    $a3, 1        --> if_ual40          
67 if_ual40: seq   $a3, $a0, $a3 --> if_ual39          
68 if_ual39: beq   $a3, $zero    --> if_ual36, if_ual38
69 if_ual38: emit c71            --> if_ual37          
70 if_ual37: subu  $v0, $a1, $a2 --> if_ual2           
71 if_ual36: emit c70            --> if_ual35          
72 if_ual35: j                   --> if_ual34          
73 if_ual34: li    $a3, 2        --> if_ual33          
74 if_ual33: seq   $a3, $a0, $a3 --> if_ual32          
75 if_ual32: beq   $a3, $zero    --> if_ual19, if_ual31
76 if_ual31: emit c69            --> if_ual30          
77 if_ual30: j                   --> if_ual29          
78 if_ual29: emit c68            --> if_ual28          
79 if_ual28: j                   --> if_ual27          
80 if_ual27: beq   $a1, $zero    --> if_ual20, if_ual26
81 if_ual26: j                   --> if_ual25          
82 if_ual25: emit c67            --> if_ual24          
83 if_ual24: j                   --> if_ual23          
84 if_ual23: beq   $a2, $zero    --> if_ual21, if_ual22
85 if_ual22: li    $v0, 1        --> if_ual2           
86 if_ual21: li    $v0, 0        --> if_ual2           
87 if_ual20: li    $v0, 0        --> if_ual2           
88 if_ual19: emit c66            --> if_ual18          
89 if_ual18: j                   --> if_ual17          
90 if_ual17: li    $a3, 3        --> if_ual16          
91 if_ual16: seq   $a0, $a0, $a3 --> if_ual15          
92 if_ual15: beq   $a0, $zero    --> if_ual2, if_ual14 
93 if_ual14: emit c65            --> if_ual13          
94 if_ual13: j                   --> if_ual12          
95 if_ual12: emit c64            --> if_ual11          
96 if_ual11: j                   --> if_ual10          
97 if_ual10: beq   $a1, $zero    --> if_ual8, if_ual9  
98 if_ual9 : li    $v0, 1        --> if_ual2           
99 if_ual8 : j                   --> if_ual7           
100 if_ual7 : emit c63            --> if_ual6           
101 if_ual6 : j                   --> if_ual5           
102 if_ual5 : beq   $a2, $zero    --> if_ual3, if_ual4  
103 if_ual4 : li    $v0, 1        --> if_ual2           
104 if_ual3 : li    $v0, 0        --> if_ual2           
105
106 procedure if_test(4)
107 var 0
108 entry if_test55
109 if_test55: newframe            --> if_test54           
110 if_test54: j                   --> if_test53           
111 if_test53: j                   --> if_test52           
112 if_test52: j                   --> if_test51           
113 if_test51: j                   --> if_test50           
114 if_test50: j                   --> if_test49           
115 if_test49: j                   --> if_test48           
116 if_test48: j                   --> if_test47           
117 if_test47: j                   --> if_test46           
118 if_test46: j                   --> if_test45           
119 if_test45: j                   --> if_test44           
120 if_test44: j                   --> if_test43           
121 if_test43: j                   --> if_test42           
122 if_test42: j                   --> if_test41           
123 if_test41: j                   --> if_test40           
124 if_test40: j                   --> if_test39           
125 if_test39: j                   --> if_test38           
126 if_test38: j                   --> if_test37           
127 if_test37: j                   --> if_test36           
128 if_test36: j                   --> if_test35           
129 if_test35: j                   --> if_test34           
130 if_test34: j                   --> if_test33           
131 if_test33: j                   --> if_test32           
132 if_test32: j                   --> if_test31           
133 if_test31: emit c61            --> if_test30           
134 if_test30: li    $v0, 0        --> if_test29           
135 if_test29: emit c60            --> if_test28           
136 if_test28: j                   --> if_test27           
137 if_test27: emit c59            --> if_test26           
138 if_test26: j                   --> if_test25           
139 if_test25: emit c58            --> if_test24           
140 if_test24: j                   --> if_test23           
141 if_test23: emit c57            --> if_test22           
142 if_test22: j                   --> if_test21           
143 if_test21: emit c56            --> if_test20           
144 if_test20: j                   --> if_test19           
145 if_test19: slt   $t0, $a0, $a1 --> if_test18           
146 if_test18: beq   $t0, $zero    --> if_test15, if_test17
147 if_test17: emit c55            --> if_test16           
148 if_test16: addu  $v0, $a0, $a1 --> if_test15           
149 if_test15: emit c54            --> if_test14           
150 if_test14: j                   --> if_test13           
151 if_test13: slt   $a0, $a2, $a3 --> if_test12           
152 if_test12: beq   $a0, $zero    --> if_test7, if_test11 
153 if_test11: emit c53            --> if_test10           
154 if_test10: j                   --> if_test9            
155 if_test9 : emit c52            --> if_test8            
156 if_test8 : j                   --> if_test7            
157 if_test7 : emit c51            --> if_test6            
158 if_test6 : j                   --> if_test5            
159 if_test5 : j                   --> if_test4            
160 if_test4 : emit c50            --> if_test3            
161 if_test3 : j                   --> if_test2            
162 if_test2 : emit c49            --> if_test1            
163 if_test1 : j                   --> if_test0            
164 if_test0 : j                   --> if_test67           
165 if_test67: j                   --> if_test66           
166 if_test66: j                   --> if_test65           
167 if_test65: j                   --> if_test64           
168 if_test64: j                   --> if_test63           
169 if_test63: j                   --> if_test62           
170 if_test62: j                   --> if_test61           
171 if_test61: j                   --> if_test60           
172 if_test60: j                   --> if_test59           
173 if_test59: j                   --> if_test58           
174 if_test58: j                   --> if_test57           
175 if_test57: delframe            --> if_test56           
176 if_test56: jr    $ra                                   
177
178 procedure if_sansElse(2)
179 var 0
180 entry if_sansElse25
181 if_sansElse25: newframe            --> if_sansElse24             
182 if_sansElse24: j                   --> if_sansElse23             
183 if_sansElse23: j                   --> if_sansElse22             
184 if_sansElse22: j                   --> if_sansElse21             
185 if_sansElse21: j                   --> if_sansElse20             
186 if_sansElse20: j                   --> if_sansElse19             
187 if_sansElse19: j                   --> if_sansElse18             
188 if_sansElse18: j                   --> if_sansElse17             
189 if_sansElse17: j                   --> if_sansElse16             
190 if_sansElse16: j                   --> if_sansElse15             
191 if_sansElse15: j                   --> if_sansElse14             
192 if_sansElse14: j                   --> if_sansElse13             
193 if_sansElse13: j                   --> if_sansElse12             
194 if_sansElse12: j                   --> if_sansElse11             
195 if_sansElse11: j                   --> if_sansElse10             
196 if_sansElse10: emit c48            --> if_sansElse9              
197 if_sansElse9 : li    $v0, 0        --> if_sansElse8              
198 if_sansElse8 : emit c47            --> if_sansElse7              
199 if_sansElse7 : j                   --> if_sansElse6              
200 if_sansElse6 : slt   $a1, $a0, $a1 --> if_sansElse5              
201 if_sansElse5 : beq   $a1, $zero    --> if_sansElse2, if_sansElse4
202 if_sansElse4 : emit c46            --> if_sansElse3              
203 if_sansElse3 : move  $v0, $a0      --> if_sansElse2              
204 if_sansElse2 : emit c45            --> if_sansElse1              
205 if_sansElse1 : j                   --> if_sansElse0              
206 if_sansElse0 : j                   --> if_sansElse37             
207 if_sansElse37: j                   --> if_sansElse36             
208 if_sansElse36: j                   --> if_sansElse35             
209 if_sansElse35: j                   --> if_sansElse34             
210 if_sansElse34: j                   --> if_sansElse33             
211 if_sansElse33: j                   --> if_sansElse32             
212 if_sansElse32: j                   --> if_sansElse31             
213 if_sansElse31: j                   --> if_sansElse30             
214 if_sansElse30: j                   --> if_sansElse29             
215 if_sansElse29: j                   --> if_sansElse28             
216 if_sansElse28: j                   --> if_sansElse27             
217 if_sansElse27: delframe            --> if_sansElse26             
218 if_sansElse26: jr    $ra                                         
219
220 procedure if_prog(2)
221 var 0
222 entry if_prog30
223 if_prog30: newframe              --> if_prog29         
224 if_prog29: j                     --> if_prog28         
225 if_prog28: j                     --> if_prog27         
226 if_prog27: j                     --> if_prog26         
227 if_prog26: j                     --> if_prog25         
228 if_prog25: j                     --> if_prog24         
229 if_prog24: j                     --> if_prog23         
230 if_prog23: j                     --> if_prog22         
231 if_prog22: j                     --> if_prog21         
232 if_prog21: j                     --> if_prog20         
233 if_prog20: j                     --> if_prog19         
234 if_prog19: j                     --> if_prog18         
235 if_prog18: j                     --> if_prog17         
236 if_prog17: j                     --> if_prog16         
237 if_prog16: j                     --> if_prog15         
238 if_prog15: j                     --> if_prog14         
239 if_prog14: j                     --> if_prog13         
240 if_prog13: emit c44              --> if_prog12         
241 if_prog12: addu  $v0, $a1, $a0   --> if_prog11         
242 if_prog11: emit c43              --> if_prog10         
243 if_prog10: li    $a0, 0          --> if_prog9          
244 if_prog9 : j                     --> if_prog8          
245 if_prog8 : slt   $v0, $v0, $zero --> if_prog7          
246 if_prog7 : beq   $v0, $a0        --> if_prog4, if_prog6
247 if_prog6 : emit c42              --> if_prog5          
248 if_prog5 : li    $v0, 2          --> if_prog2          
249 if_prog2 : emit c40              --> if_prog1          
250 if_prog1 : j                     --> if_prog0          
251 if_prog0 : j                     --> if_prog42         
252 if_prog42: j                     --> if_prog41         
253 if_prog41: j                     --> if_prog40         
254 if_prog40: j                     --> if_prog39         
255 if_prog39: j                     --> if_prog38         
256 if_prog38: j                     --> if_prog37         
257 if_prog37: j                     --> if_prog36         
258 if_prog36: j                     --> if_prog35         
259 if_prog35: j                     --> if_prog34         
260 if_prog34: j                     --> if_prog33         
261 if_prog33: j                     --> if_prog32         
262 if_prog32: delframe              --> if_prog31         
263 if_prog31: jr    $ra                                   
264 if_prog4 : emit c41              --> if_prog3          
265 if_prog3 : li    $v0, 3          --> if_prog2          
266
267 procedure if_min(2)
268 var 0
269 entry if_min25
270 if_min25: newframe            --> if_min24        
271 if_min24: j                   --> if_min23        
272 if_min23: j                   --> if_min22        
273 if_min22: j                   --> if_min21        
274 if_min21: j                   --> if_min20        
275 if_min20: j                   --> if_min19        
276 if_min19: j                   --> if_min18        
277 if_min18: j                   --> if_min17        
278 if_min17: j                   --> if_min16        
279 if_min16: j                   --> if_min15        
280 if_min15: j                   --> if_min14        
281 if_min14: move  $v0, $a1      --> if_min13        
282 if_min13: j                   --> if_min12        
283 if_min12: j                   --> if_min11        
284 if_min11: j                   --> if_min10        
285 if_min10: emit c39            --> if_min9         
286 if_min9 : j                   --> if_min8         
287 if_min8 : sgt   $a1, $a0, $v0 --> if_min7         
288 if_min7 : beq   $a1, $zero    --> if_min4, if_min6
289 if_min6 : emit c38            --> if_min5         
290 if_min5 : j                   --> if_min2         
291 if_min2 : emit c36            --> if_min1         
292 if_min1 : j                   --> if_min0         
293 if_min0 : j                   --> if_min37        
294 if_min37: j                   --> if_min36        
295 if_min36: j                   --> if_min35        
296 if_min35: j                   --> if_min34        
297 if_min34: j                   --> if_min33        
298 if_min33: j                   --> if_min32        
299 if_min32: j                   --> if_min31        
300 if_min31: j                   --> if_min30        
301 if_min30: j                   --> if_min29        
302 if_min29: j                   --> if_min28        
303 if_min28: j                   --> if_min27        
304 if_min27: delframe            --> if_min26        
305 if_min26: jr    $ra                               
306 if_min4 : emit c37            --> if_min3         
307 if_min3 : move  $v0, $a0      --> if_min2         
308
309 procedure if_jian(9)
310 var 0
311 entry if_jian92
312 if_jian92 : newframe            --> if_jian91           
313 if_jian91 : j                   --> if_jian90           
314 if_jian90 : j                   --> if_jian89           
315 if_jian89 : j                   --> if_jian88           
316 if_jian88 : j                   --> if_jian87           
317 if_jian87 : j                   --> if_jian86           
318 if_jian86 : j                   --> if_jian85           
319 if_jian85 : j                   --> if_jian84           
320 if_jian84 : j                   --> if_jian83           
321 if_jian83 : j                   --> if_jian82           
322 if_jian82 : j                   --> if_jian81           
323 if_jian81 : j                   --> if_jian80           
324 if_jian80 : j                   --> if_jian79           
325 if_jian79 : j                   --> if_jian78           
326 if_jian78 : gets  $t4, in(16)   --> if_jian77           
327 if_jian77 : gets  $t3, in(12)   --> if_jian76           
328 if_jian76 : gets  $t2, in(8)    --> if_jian75           
329 if_jian75 : gets  $t0, in(4)    --> if_jian74           
330 if_jian74 : gets  $t1, in(0)    --> if_jian73           
331 if_jian73 : li    $v0, 0        --> if_jian72           
332 if_jian72 : j                   --> if_jian71           
333 if_jian71 : j                   --> if_jian70           
334 if_jian70 : j                   --> if_jian69           
335 if_jian69 : j                   --> if_jian68           
336 if_jian68 : j                   --> if_jian67           
337 if_jian67 : j                   --> if_jian66           
338 if_jian66 : j                   --> if_jian65           
339 if_jian65 : j                   --> if_jian64           
340 if_jian64 : j                   --> if_jian63           
341 if_jian63 : j                   --> if_jian62           
342 if_jian62 : j                   --> if_jian61           
343 if_jian61 : j                   --> if_jian60           
344 if_jian60 : j                   --> if_jian59           
345 if_jian59 : j                   --> if_jian58           
346 if_jian58 : j                   --> if_jian57           
347 if_jian57 : j                   --> if_jian56           
348 if_jian56 : j                   --> if_jian55           
349 if_jian55 : j                   --> if_jian54           
350 if_jian54 : j                   --> if_jian53           
351 if_jian53 : j                   --> if_jian52           
352 if_jian52 : j                   --> if_jian51           
353 if_jian51 : j                   --> if_jian48           
354 if_jian48 : emit c15            --> if_jian47           
355 if_jian47 : addu  $a0, $a0, $a1 --> if_jian46           
356 if_jian46 : slt   $t5, $a0, $a2 --> if_jian45           
357 if_jian45 : emit c14            --> if_jian44           
358 if_jian44 : addu  $a1, $a3, $t4 --> if_jian43           
359 if_jian43 : emit c13            --> if_jian42           
360 if_jian42 : li    $a0, 1        --> if_jian41           
361 if_jian41 : addu  $a2, $a2, $a0 --> if_jian40           
362 if_jian40 : emit c12            --> if_jian39           
363 if_jian39 : j                   --> if_jian38           
364 if_jian38 : li    $a0, 1        --> if_jian37           
365 if_jian37 : seq   $a0, $t1, $a0 --> if_jian36           
366 if_jian36 : beq   $a0, $zero    --> if_jian8, if_jian35 
367 if_jian35 : emit c11            --> if_jian34           
368 if_jian34 : j                   --> if_jian33           
369 if_jian33 : beq   $t5, $zero    --> if_jian30, if_jian32
370 if_jian32 : emit c10            --> if_jian31           
371 if_jian31 : addu  $v0, $a2, $a3 --> if_jian24           
372 if_jian24 : emit c7             --> if_jian23           
373 if_jian23 : j                   --> if_jian22           
374 if_jian22 : li    $a1, 0        --> if_jian21           
375 if_jian21 : emit c6             --> if_jian20           
376 if_jian20 : li    $a0, 0        --> if_jian49           
377 if_jian49 : seq   $a0, $t5, $a0 --> if_jian19           
378 if_jian19 : beq   $a0, $a1      --> if_jian12, if_jian18
379 if_jian18 : li    $a0, 0        --> if_jian17           
380 if_jian17 : emit c5             --> if_jian16           
381 if_jian16 : j                   --> if_jian15           
382 if_jian15 : beq   $t0, $a0      --> if_jian13, if_jian14
383 if_jian14 : li    $a0, 1        --> if_jian11           
384 if_jian11 : beq   $a0, $zero    --> if_jian2, if_jian10 
385 if_jian10 : emit c4             --> if_jian9            
386 if_jian9  : j                   --> if_jian2            
387 if_jian2  : emit c0             --> if_jian1            
388 if_jian1  : j                   --> if_jian0            
389 if_jian0  : j                   --> if_jian104          
390 if_jian104: j                   --> if_jian103          
391 if_jian103: j                   --> if_jian102          
392 if_jian102: j                   --> if_jian101          
393 if_jian101: j                   --> if_jian100          
394 if_jian100: j                   --> if_jian99           
395 if_jian99 : j                   --> if_jian98           
396 if_jian98 : j                   --> if_jian97           
397 if_jian97 : j                   --> if_jian96           
398 if_jian96 : j                   --> if_jian95           
399 if_jian95 : j                   --> if_jian94           
400 if_jian94 : delframe            --> if_jian93           
401 if_jian93 : jr    $ra                                   
402 if_jian13 : li    $a0, 0        --> if_jian11           
403 if_jian12 : li    $a0, 0        --> if_jian11           
404 if_jian30 : emit c9             --> if_jian29           
405 if_jian29 : j                   --> if_jian28           
406 if_jian28 : li    $a0, 0        --> if_jian50           
407 if_jian50 : seq   $a0, $t0, $a0 --> if_jian27           
408 if_jian27 : beq   $a0, $zero    --> if_jian24, if_jian26
409 if_jian26 : emit c8             --> if_jian25           
410 if_jian25 : addu  $v0, $a1, $a3 --> if_jian24           
411 if_jian8  : emit c3             --> if_jian7            
412 if_jian7  : addu  $v0, $a2, $t4 --> if_jian6            
413 if_jian6  : emit c2             --> if_jian5            
414 if_jian5  : addu  $v0, $v0, $t3 --> if_jian4            
415 if_jian4  : emit c1             --> if_jian3            
416 if_jian3  : addu  $v0, $v0, $t2 --> if_jian2            
417
418 procedure if_imbriq2(3)
419 var 0
420 entry if_imbriq234
421 if_imbriq234: newframe            --> if_imbriq233             
422 if_imbriq233: j                   --> if_imbriq232             
423 if_imbriq232: j                   --> if_imbriq231             
424 if_imbriq231: j                   --> if_imbriq230             
425 if_imbriq230: j                   --> if_imbriq229             
426 if_imbriq229: j                   --> if_imbriq228             
427 if_imbriq228: j                   --> if_imbriq227             
428 if_imbriq227: j                   --> if_imbriq226             
429 if_imbriq226: j                   --> if_imbriq225             
430 if_imbriq225: j                   --> if_imbriq224             
431 if_imbriq224: move  $v0, $a0      --> if_imbriq223             
432 if_imbriq223: j                   --> if_imbriq222             
433 if_imbriq222: j                   --> if_imbriq221             
434 if_imbriq221: j                   --> if_imbriq220             
435 if_imbriq220: j                   --> if_imbriq219             
436 if_imbriq219: j                   --> if_imbriq218             
437 if_imbriq218: j                   --> if_imbriq217             
438 if_imbriq217: j                   --> if_imbriq216             
439 if_imbriq216: emit c35            --> if_imbriq215             
440 if_imbriq215: j                   --> if_imbriq214             
441 if_imbriq214: slt   $a0, $v0, $a1 --> if_imbriq213             
442 if_imbriq213: beq   $a0, $zero    --> if_imbriq24, if_imbriq212
443 if_imbriq212: emit c34            --> if_imbriq211             
444 if_imbriq211: j                   --> if_imbriq210             
445 if_imbriq210: slt   $v0, $a1, $a2 --> if_imbriq29              
446 if_imbriq29 : beq   $v0, $zero    --> if_imbriq26, if_imbriq28 
447 if_imbriq28 : emit c33            --> if_imbriq27              
448 if_imbriq27 : move  $v0, $a1      --> if_imbriq22              
449 if_imbriq22 : emit c30            --> if_imbriq21              
450 if_imbriq21 : j                   --> if_imbriq20              
451 if_imbriq20 : j                   --> if_imbriq246             
452 if_imbriq246: j                   --> if_imbriq245             
453 if_imbriq245: j                   --> if_imbriq244             
454 if_imbriq244: j                   --> if_imbriq243             
455 if_imbriq243: j                   --> if_imbriq242             
456 if_imbriq242: j                   --> if_imbriq241             
457 if_imbriq241: j                   --> if_imbriq240             
458 if_imbriq240: j                   --> if_imbriq239             
459 if_imbriq239: j                   --> if_imbriq238             
460 if_imbriq238: j                   --> if_imbriq237             
461 if_imbriq237: j                   --> if_imbriq236             
462 if_imbriq236: delframe            --> if_imbriq235             
463 if_imbriq235: jr    $ra                                        
464 if_imbriq26 : emit c32            --> if_imbriq25              
465 if_imbriq25 : li    $v0, 47       --> if_imbriq22              
466 if_imbriq24 : emit c31            --> if_imbriq23              
467 if_imbriq23 : j                   --> if_imbriq22              
468
469 procedure if_imbriq1(3)
470 var 0
471 entry if_imbriq134
472 if_imbriq134: newframe            --> if_imbriq133             
473 if_imbriq133: j                   --> if_imbriq132             
474 if_imbriq132: j                   --> if_imbriq131             
475 if_imbriq131: j                   --> if_imbriq130             
476 if_imbriq130: j                   --> if_imbriq129             
477 if_imbriq129: j                   --> if_imbriq128             
478 if_imbriq128: j                   --> if_imbriq127             
479 if_imbriq127: j                   --> if_imbriq126             
480 if_imbriq126: j                   --> if_imbriq125             
481 if_imbriq125: j                   --> if_imbriq124             
482 if_imbriq124: j                   --> if_imbriq123             
483 if_imbriq123: j                   --> if_imbriq122             
484 if_imbriq122: move  $v0, $a2      --> if_imbriq121             
485 if_imbriq121: j                   --> if_imbriq120             
486 if_imbriq120: j                   --> if_imbriq119             
487 if_imbriq119: j                   --> if_imbriq118             
488 if_imbriq118: j                   --> if_imbriq117             
489 if_imbriq117: j                   --> if_imbriq116             
490 if_imbriq116: emit c29            --> if_imbriq115             
491 if_imbriq115: j                   --> if_imbriq114             
492 if_imbriq114: slt   $a2, $a0, $a1 --> if_imbriq113             
493 if_imbriq113: beq   $a2, $zero    --> if_imbriq14, if_imbriq112
494 if_imbriq112: emit c28            --> if_imbriq111             
495 if_imbriq111: j                   --> if_imbriq110             
496 if_imbriq110: slt   $a0, $a1, $v0 --> if_imbriq19              
497 if_imbriq19 : beq   $a0, $zero    --> if_imbriq16, if_imbriq18 
498 if_imbriq18 : emit c27            --> if_imbriq17              
499 if_imbriq17 : move  $v0, $a1      --> if_imbriq12              
500 if_imbriq12 : emit c24            --> if_imbriq11              
501 if_imbriq11 : j                   --> if_imbriq10              
502 if_imbriq10 : j                   --> if_imbriq146             
503 if_imbriq146: j                   --> if_imbriq145             
504 if_imbriq145: j                   --> if_imbriq144             
505 if_imbriq144: j                   --> if_imbriq143             
506 if_imbriq143: j                   --> if_imbriq142             
507 if_imbriq142: j                   --> if_imbriq141             
508 if_imbriq141: j                   --> if_imbriq140             
509 if_imbriq140: j                   --> if_imbriq139             
510 if_imbriq139: j                   --> if_imbriq138             
511 if_imbriq138: j                   --> if_imbriq137             
512 if_imbriq137: j                   --> if_imbriq136             
513 if_imbriq136: delframe            --> if_imbriq135             
514 if_imbriq135: jr    $ra                                        
515 if_imbriq16 : emit c26            --> if_imbriq15              
516 if_imbriq15 : j                   --> if_imbriq12              
517 if_imbriq14 : emit c25            --> if_imbriq13              
518 if_imbriq13 : move  $v0, $a0      --> if_imbriq12              
519
520 procedure if_exSimple(2)
521 var 0
522 entry if_exSimple39
523 if_exSimple39: newframe            --> if_exSimple38              
524 if_exSimple38: j                   --> if_exSimple37              
525 if_exSimple37: j                   --> if_exSimple36              
526 if_exSimple36: j                   --> if_exSimple35              
527 if_exSimple35: j                   --> if_exSimple34              
528 if_exSimple34: j                   --> if_exSimple33              
529 if_exSimple33: j                   --> if_exSimple32              
530 if_exSimple32: j                   --> if_exSimple31              
531 if_exSimple31: j                   --> if_exSimple30              
532 if_exSimple30: j                   --> if_exSimple29              
533 if_exSimple29: j                   --> if_exSimple28              
534 if_exSimple28: j                   --> if_exSimple27              
535 if_exSimple27: j                   --> if_exSimple26              
536 if_exSimple26: j                   --> if_exSimple25              
537 if_exSimple25: j                   --> if_exSimple24              
538 if_exSimple24: j                   --> if_exSimple23              
539 if_exSimple23: j                   --> if_exSimple22              
540 if_exSimple22: j                   --> if_exSimple21              
541 if_exSimple21: j                   --> if_exSimple20              
542 if_exSimple20: emit c23            --> if_exSimple19              
543 if_exSimple19: j                   --> if_exSimple18              
544 if_exSimple18: slt   $v0, $a0, $a1 --> if_exSimple17              
545 if_exSimple17: beq   $v0, $zero    --> if_exSimple9, if_exSimple16
546 if_exSimple16: emit c22            --> if_exSimple15              
547 if_exSimple15: addu  $v0, $a0, $a1 --> if_exSimple14              
548 if_exSimple14: emit c21            --> if_exSimple13              
549 if_exSimple13: li    $a0, 2        --> if_exSimple12              
550 if_exSimple12: mul   $v0, $a0, $v0 --> if_exSimple11              
551 if_exSimple11: emit c20            --> if_exSimple10              
552 if_exSimple10: j                   --> if_exSimple2               
553 if_exSimple2 : emit c16            --> if_exSimple1               
554 if_exSimple1 : j                   --> if_exSimple0               
555 if_exSimple0 : j                   --> if_exSimple51              
556 if_exSimple51: j                   --> if_exSimple50              
557 if_exSimple50: j                   --> if_exSimple49              
558 if_exSimple49: j                   --> if_exSimple48              
559 if_exSimple48: j                   --> if_exSimple47              
560 if_exSimple47: j                   --> if_exSimple46              
561 if_exSimple46: j                   --> if_exSimple45              
562 if_exSimple45: j                   --> if_exSimple44              
563 if_exSimple44: j                   --> if_exSimple43              
564 if_exSimple43: j                   --> if_exSimple42              
565 if_exSimple42: j                   --> if_exSimple41              
566 if_exSimple41: delframe            --> if_exSimple40              
567 if_exSimple40: jr    $ra                                          
568 if_exSimple9 : emit c19            --> if_exSimple8               
569 if_exSimple8 : li    $v0, 2        --> if_exSimple7               
570 if_exSimple7 : mul   $v0, $v0, $a1 --> if_exSimple6               
571 if_exSimple6 : emit c18            --> if_exSimple5               
572 if_exSimple5 : addu  $v0, $v0, $a0 --> if_exSimple4               
573 if_exSimple4 : emit c17            --> if_exSimple3               
574 if_exSimple3 : addu  $v0, $v0, $a1 --> if_exSimple2               
575
576 procedure _main(0)
577 var 4
578 entry main91
579 main91 : newframe            --> main90 
580 main90 : sets  local(0), $ra --> main89 
581 main89 : j                   --> main88 
582 main88 : j                   --> main87 
583 main87 : j                   --> main86 
584 main86 : j                   --> main85 
585 main85 : j                   --> main84 
586 main84 : j                   --> main83 
587 main83 : j                   --> main82 
588 main82 : j                   --> main81 
589 main81 : j                   --> main80 
590 main80 : j                   --> main79 
591 main79 : j                   --> main78 
592 main78 : j                   --> main77 
593 main77 : j                   --> main76 
594 main76 : j                   --> main75 
595 main75 : j                   --> main74 
596 main74 : j                   --> main73 
597 main73 : j                   --> main72 
598 main72 : j                   --> main71 
599 main71 : j                   --> main70 
600 main70 : j                   --> main69 
601 main69 : j                   --> main68 
602 main68 : j                   --> main67 
603 main67 : j                   --> main66 
604 main66 : j                   --> main65 
605 main65 : j                   --> main64 
606 main64 : j                   --> main63 
607 main63 : j                   --> main62 
608 main62 : j                   --> main61 
609 main61 : j                   --> main60 
610 main60 : j                   --> main59 
611 main59 : j                   --> main58 
612 main58 : j                   --> main57 
613 main57 : j                   --> main56 
614 main56 : j                   --> main55 
615 main55 : j                   --> main54 
616 main54 : j                   --> main53 
617 main53 : j                   --> main52 
618 main52 : j                   --> main51 
619 main51 : j                   --> main50 
620 main50 : emit c84            --> main49 
621 main49 : li    $a0, 1        --> main48 
622 main48 : li    $a1, 2        --> main47 
623 main47 : li    $a2, 3        --> main46 
624 main46 : li    $a3, 4        --> main45 
625 main45 : li    $t3, 5        --> main44 
626 main44 : li    $t2, 6        --> main43 
627 main43 : li    $t1, 7        --> main42 
628 main42 : li    $t0, 8        --> main41 
629 main41 : li    $v0, 9        --> main40 
630 main40 : j                   --> main145
631 main145: j                   --> main144
632 main144: j                   --> main143
633 main143: j                   --> main142
634 main142: j                   --> main141
635 main141: sets  out(16), $t3  --> main140
636 main140: sets  out(12), $t2  --> main139
637 main139: sets  out(8), $t1   --> main138
638 main138: sets  out(4), $t0   --> main137
639 main137: sets  out(0), $v0   --> main136
640 main136: call  if_jian       --> main135
641 main135: j                   --> main39 
642 main39 : emit c83            --> main38 
643 main38 : li    $a0, 1        --> main37 
644 main37 : li    $a1, 2        --> main36 
645 main36 : j                   --> main134
646 main134: j                   --> main133
647 main133: j                   --> main132
648 main132: call  if_exSimple   --> main131
649 main131: j                   --> main35 
650 main35 : emit c82            --> main34 
651 main34 : li    $a0, 1        --> main33 
652 main33 : li    $a1, 2        --> main32 
653 main32 : li    $a2, 3        --> main31 
654 main31 : j                   --> main130
655 main130: j                   --> main129
656 main129: j                   --> main128
657 main128: j                   --> main127
658 main127: call  if_imbriq1    --> main126
659 main126: j                   --> main30 
660 main30 : emit c81            --> main29 
661 main29 : li    $a0, 1        --> main28 
662 main28 : li    $a1, 2        --> main27 
663 main27 : li    $a2, 3        --> main26 
664 main26 : j                   --> main120
665 main120: j                   --> main119
666 main119: j                   --> main118
667 main118: j                   --> main117
668 main117: call  if_imbriq2    --> main116
669 main116: j                   --> main25 
670 main25 : emit c80            --> main24 
671 main24 : li    $a0, 1        --> main23 
672 main23 : li    $a1, 2        --> main22 
673 main22 : j                   --> main115
674 main115: j                   --> main114
675 main114: j                   --> main113
676 main113: call  if_min        --> main112
677 main112: j                   --> main21 
678 main21 : emit c79            --> main20 
679 main20 : li    $a0, 1        --> main19 
680 main19 : li    $a1, 2        --> main18 
681 main18 : j                   --> main111
682 main111: j                   --> main110
683 main110: j                   --> main109
684 main109: call  if_prog       --> main108
685 main108: j                   --> main17 
686 main17 : emit c78            --> main16 
687 main16 : li    $a0, 1        --> main15 
688 main15 : li    $a1, 2        --> main14 
689 main14 : j                   --> main107
690 main107: j                   --> main106
691 main106: j                   --> main105
692 main105: call  if_sansElse   --> main104
693 main104: j                   --> main13 
694 main13 : emit c77            --> main12 
695 main12 : li    $a0, 1        --> main11 
696 main11 : li    $a1, 2        --> main10 
697 main10 : li    $a2, 3        --> main9  
698 main9  : li    $a3, 4        --> main8  
699 main8  : j                   --> main151
700 main151: j                   --> main150
701 main150: j                   --> main149
702 main149: j                   --> main148
703 main148: j                   --> main147
704 main147: call  if_test       --> main146
705 main146: j                   --> main7  
706 main7  : emit c76            --> main6  
707 main6  : li    $a0, 1        --> main5  
708 main5  : li    $a1, 2        --> main4  
709 main4  : li    $a2, 3        --> main3  
710 main3  : j                   --> main125
711 main125: j                   --> main124
712 main124: j                   --> main123
713 main123: j                   --> main122
714 main122: call  if_ual        --> main121
715 main121: j                   --> main2  
716 main2  : emit c75            --> main1  
717 main1  : j                   --> main0  
718 main0  : j                   --> main103
719 main103: j                   --> main102
720 main102: gets  $ra, local(0) --> main101
721 main101: j                   --> main100
722 main100: j                   --> main99 
723 main99 : j                   --> main98 
724 main98 : j                   --> main97 
725 main97 : j                   --> main96 
726 main96 : j                   --> main95 
727 main95 : j                   --> main94 
728 main94 : j                   --> main93 
729 main93 : delframe            --> main92 
730 main92 : jr    $ra                      
731