source: Deliverables/D2.2/8051/tests/clight/ifthenelse.LTL.expected @ 486

Last change on this file since 486 was 486, checked in by ayache, 9 years ago

Deliverable D2.2

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