]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/for.ERTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / for.ERTL.expected
1 program
2
3 globals 0
4
5 procedure for_loopParalAsync(3)
6 stacksize 0
7 var %0, %1, %2, %3, %4, %5, %6, 
8     %7, %8, %9, %10, %11, %12, %13, 
9     %14, %15, %16, %17, %18, %19, %20, 
10     %21, %22, %23, %24, %25, %26, %27, 
11     %28, %29, %30, %31, %32, %33, %34, 
12     %35
13 entry for_loopParalAsync94
14 for_loopParalAsync94 : newframe              --> for_loopParalAsync93                      
15 for_loopParalAsync93 : move  %35, $ra        --> for_loopParalAsync92                      
16 for_loopParalAsync92 : move  %34, $s7        --> for_loopParalAsync91                      
17 for_loopParalAsync91 : move  %33, $s6        --> for_loopParalAsync90                      
18 for_loopParalAsync90 : move  %32, $s5        --> for_loopParalAsync89                      
19 for_loopParalAsync89 : move  %31, $s4        --> for_loopParalAsync88                      
20 for_loopParalAsync88 : move  %30, $s3        --> for_loopParalAsync87                      
21 for_loopParalAsync87 : move  %29, $s2        --> for_loopParalAsync86                      
22 for_loopParalAsync86 : move  %28, $s1        --> for_loopParalAsync85                      
23 for_loopParalAsync85 : move  %27, $s0        --> for_loopParalAsync84                      
24 for_loopParalAsync84 : move  %0, $a0         --> for_loopParalAsync83                      
25 for_loopParalAsync83 : move  %1, $a1         --> for_loopParalAsync82                      
26 for_loopParalAsync82 : move  %2, $a2         --> for_loopParalAsync81                      
27 for_loopParalAsync81 : li    %3, 0           --> for_loopParalAsync80                      
28 for_loopParalAsync80 : li    %4, 0           --> for_loopParalAsync79                      
29 for_loopParalAsync79 : li    %5, 0           --> for_loopParalAsync78                      
30 for_loopParalAsync78 : li    %6, 0           --> for_loopParalAsync77                      
31 for_loopParalAsync77 : li    %7, 0           --> for_loopParalAsync76                      
32 for_loopParalAsync76 : li    %9, 0           --> for_loopParalAsync75                      
33 for_loopParalAsync75 : li    %10, 0          --> for_loopParalAsync74                      
34 for_loopParalAsync74 : li    %11, 0          --> for_loopParalAsync73                      
35 for_loopParalAsync73 : li    %12, 0          --> for_loopParalAsync72                      
36 for_loopParalAsync72 : li    %13, 0          --> for_loopParalAsync71                      
37 for_loopParalAsync71 : li    %14, 0          --> for_loopParalAsync70                      
38 for_loopParalAsync70 : li    %15, 0          --> for_loopParalAsync69                      
39 for_loopParalAsync69 : li    %16, 0          --> for_loopParalAsync68                      
40 for_loopParalAsync68 : li    %17, 0          --> for_loopParalAsync67                      
41 for_loopParalAsync67 : li    %18, 0          --> for_loopParalAsync66                      
42 for_loopParalAsync66 : li    %19, 0          --> for_loopParalAsync65                      
43 for_loopParalAsync65 : li    %20, 0          --> for_loopParalAsync64                      
44 for_loopParalAsync64 : li    %21, 0          --> for_loopParalAsync63                      
45 for_loopParalAsync63 : li    %22, 0          --> for_loopParalAsync62                      
46 for_loopParalAsync62 : li    %23, 0          --> for_loopParalAsync61                      
47 for_loopParalAsync61 : li    %24, 0          --> for_loopParalAsync60                      
48 for_loopParalAsync60 : li    %25, 0          --> for_loopParalAsync59                      
49 for_loopParalAsync59 : li    %26, 0          --> for_loopParalAsync56                      
50 for_loopParalAsync56 : emit c29              --> for_loopParalAsync55                      
51 for_loopParalAsync55 : li    %5, 0           --> for_loopParalAsync54                      
52 for_loopParalAsync54 : emit c28              --> for_loopParalAsync53                      
53 for_loopParalAsync53 : li    %0, 0           --> for_loopParalAsync52                      
54 for_loopParalAsync52 : emit c27              --> for_loopParalAsync51                      
55 for_loopParalAsync51 : li    %24, 3          --> for_loopParalAsync50                      
56 for_loopParalAsync50 : add     %0, %0, %24   --> for_loopParalAsync49                      
57 for_loopParalAsync49 : emit c26              --> for_loopParalAsync48                      
58 for_loopParalAsync48 : li    %23, 2          --> for_loopParalAsync47                      
59 for_loopParalAsync47 : mulo    %0, %0, %23   --> for_loopParalAsync46                      
60 for_loopParalAsync46 : emit c25              --> for_loopParalAsync45                      
61 for_loopParalAsync45 : li    %22, 3          --> for_loopParalAsync44                      
62 for_loopParalAsync44 : div     %0, %0, %22   --> for_loopParalAsync43                      
63 for_loopParalAsync43 : emit c24              --> for_loopParalAsync42                      
64 for_loopParalAsync42 : li    %21, 8          --> for_loopParalAsync41                      
65 for_loopParalAsync41 : add     %0, %0, %21   --> for_loopParalAsync40                      
66 for_loopParalAsync40 : emit c23              --> for_loopParalAsync39                      
67 for_loopParalAsync39 : emit c22              --> for_loopParalAsync38                      
68 for_loopParalAsync38 : li    %7, 0           --> for_loopParalAsync20                      
69 for_loopParalAsync20 : j                     --> for_loopParalAsync37                      
70 for_loopParalAsync37 : li    %18, 0          --> for_loopParalAsync36                      
71 for_loopParalAsync36 : emit c21              --> for_loopParalAsync35                      
72 for_loopParalAsync35 : li    %20, 20         --> for_loopParalAsync34                      
73 for_loopParalAsync34 : slt     %19, %7, %20  --> for_loopParalAsync33                      
74 for_loopParalAsync33 : li    %26, 0          --> for_loopParalAsync58                      
75 for_loopParalAsync58 : seq     %17, %19, %26 --> for_loopParalAsync32                      
76 for_loopParalAsync32 : beq     %17, %18      --> for_loopParalAsync31, for_loopParalAsync19
77 for_loopParalAsync19 : emit c16              --> for_loopParalAsync18                      
78 for_loopParalAsync18 : emit c15              --> for_loopParalAsync17                      
79 for_loopParalAsync17 : li    %6, 1           --> for_loopParalAsync3                       
80 for_loopParalAsync3  : j                     --> for_loopParalAsync16                      
81 for_loopParalAsync16 : li    %12, 0          --> for_loopParalAsync15                      
82 for_loopParalAsync15 : emit c14              --> for_loopParalAsync14                      
83 for_loopParalAsync14 : slt     %13, %6, %0   --> for_loopParalAsync13                      
84 for_loopParalAsync13 : li    %25, 0          --> for_loopParalAsync57                      
85 for_loopParalAsync57 : seq     %11, %13, %25 --> for_loopParalAsync12                      
86 for_loopParalAsync12 : beq     %11, %12      --> for_loopParalAsync11, for_loopParalAsync2 
87 for_loopParalAsync2  : emit c10              --> for_loopParalAsync1                       
88 for_loopParalAsync1  : move    %8, %5        --> for_loopParalAsync0                       
89 for_loopParalAsync0  : j                     --> for_loopParalAsync106                     
90 for_loopParalAsync106: move  $v0, %8         --> for_loopParalAsync105                     
91 for_loopParalAsync105: move  $ra, %35        --> for_loopParalAsync104                     
92 for_loopParalAsync104: move  $s7, %34        --> for_loopParalAsync103                     
93 for_loopParalAsync103: move  $s6, %33        --> for_loopParalAsync102                     
94 for_loopParalAsync102: move  $s5, %32        --> for_loopParalAsync101                     
95 for_loopParalAsync101: move  $s4, %31        --> for_loopParalAsync100                     
96 for_loopParalAsync100: move  $s3, %30        --> for_loopParalAsync99                      
97 for_loopParalAsync99 : move  $s2, %29        --> for_loopParalAsync98                      
98 for_loopParalAsync98 : move  $s1, %28        --> for_loopParalAsync97                      
99 for_loopParalAsync97 : move  $s0, %27        --> for_loopParalAsync96                      
100 for_loopParalAsync96 : delframe              --> for_loopParalAsync95                      
101 for_loopParalAsync95 : jr    $ra             (xmits $v0)                                   
102 for_loopParalAsync11 : emit c12              --> for_loopParalAsync10                      
103 for_loopParalAsync10 : li    %10, 2          --> for_loopParalAsync9                       
104 for_loopParalAsync9  : mulo    %2, %2, %10   --> for_loopParalAsync8                       
105 for_loopParalAsync8  : emit c11              --> for_loopParalAsync7                       
106 for_loopParalAsync7  : div     %3, %2, %6    --> for_loopParalAsync6                       
107 for_loopParalAsync6  : emit c13              --> for_loopParalAsync5                       
108 for_loopParalAsync5  : li    %9, 1           --> for_loopParalAsync4                       
109 for_loopParalAsync4  : add     %6, %6, %9    --> for_loopParalAsync3                       
110 for_loopParalAsync31 : emit c19              --> for_loopParalAsync30                      
111 for_loopParalAsync30 : li    %16, 1          --> for_loopParalAsync29                      
112 for_loopParalAsync29 : add     %5, %5, %16   --> for_loopParalAsync28                      
113 for_loopParalAsync28 : emit c18              --> for_loopParalAsync27                      
114 for_loopParalAsync27 : li    %15, 2          --> for_loopParalAsync26                      
115 for_loopParalAsync26 : add     %1, %1, %15   --> for_loopParalAsync25                      
116 for_loopParalAsync25 : emit c17              --> for_loopParalAsync24                      
117 for_loopParalAsync24 : div     %4, %1, %5    --> for_loopParalAsync23                      
118 for_loopParalAsync23 : emit c20              --> for_loopParalAsync22                      
119 for_loopParalAsync22 : li    %14, 1          --> for_loopParalAsync21                      
120 for_loopParalAsync21 : add     %7, %7, %14   --> for_loopParalAsync20                      
121
122 procedure for_incrParam(2)
123 stacksize 0
124 var %0, %1, %2, %3, %4, %5, %6, 
125     %7, %8, %9, %10, %11, %12, %13, 
126     %14, %15, %16, %17, %18, %19, %20, 
127     %21, %22, %23
128 entry for_incrParam49
129 for_incrParam49: newframe             --> for_incrParam48               
130 for_incrParam48: move  %23, $ra       --> for_incrParam47               
131 for_incrParam47: move  %22, $s7       --> for_incrParam46               
132 for_incrParam46: move  %21, $s6       --> for_incrParam45               
133 for_incrParam45: move  %20, $s5       --> for_incrParam44               
134 for_incrParam44: move  %19, $s4       --> for_incrParam43               
135 for_incrParam43: move  %18, $s3       --> for_incrParam42               
136 for_incrParam42: move  %17, $s2       --> for_incrParam41               
137 for_incrParam41: move  %16, $s1       --> for_incrParam40               
138 for_incrParam40: move  %15, $s0       --> for_incrParam39               
139 for_incrParam39: move  %0, $a0        --> for_incrParam38               
140 for_incrParam38: move  %1, $a1        --> for_incrParam37               
141 for_incrParam37: li    %2, 0          --> for_incrParam36               
142 for_incrParam36: li    %3, 0          --> for_incrParam35               
143 for_incrParam35: li    %4, 0          --> for_incrParam34               
144 for_incrParam34: li    %6, 0          --> for_incrParam33               
145 for_incrParam33: li    %7, 0          --> for_incrParam32               
146 for_incrParam32: li    %8, 0          --> for_incrParam31               
147 for_incrParam31: li    %9, 0          --> for_incrParam30               
148 for_incrParam30: li    %10, 0         --> for_incrParam29               
149 for_incrParam29: li    %11, 0         --> for_incrParam28               
150 for_incrParam28: li    %12, 0         --> for_incrParam27               
151 for_incrParam27: li    %13, 0         --> for_incrParam26               
152 for_incrParam26: li    %14, 0         --> for_incrParam24               
153 for_incrParam24: emit c86             --> for_incrParam23               
154 for_incrParam23: add     %2, %0, %1   --> for_incrParam22               
155 for_incrParam22: emit c85             --> for_incrParam21               
156 for_incrParam21: li    %13, 3         --> for_incrParam20               
157 for_incrParam20: mulo    %4, %13, %2  --> for_incrParam19               
158 for_incrParam19: emit c84             --> for_incrParam18               
159 for_incrParam18: emit c83             --> for_incrParam17               
160 for_incrParam17: li    %12, 4         --> for_incrParam16               
161 for_incrParam16: sub     %3, %2, %12  --> for_incrParam3                
162 for_incrParam3 : j                    --> for_incrParam15               
163 for_incrParam15: li    %8, 0          --> for_incrParam14               
164 for_incrParam14: emit c82             --> for_incrParam13               
165 for_incrParam13: li    %11, 6         --> for_incrParam12               
166 for_incrParam12: add     %10, %1, %11 --> for_incrParam11               
167 for_incrParam11: slt     %9, %3, %10  --> for_incrParam10               
168 for_incrParam10: li    %14, 0         --> for_incrParam25               
169 for_incrParam25: seq     %7, %9, %14  --> for_incrParam9                
170 for_incrParam9 : beq     %7, %8       --> for_incrParam8, for_incrParam2
171 for_incrParam2 : emit c79             --> for_incrParam1                
172 for_incrParam1 : move    %5, %3       --> for_incrParam0                
173 for_incrParam0 : j                    --> for_incrParam61               
174 for_incrParam61: move  $v0, %5        --> for_incrParam60               
175 for_incrParam60: move  $ra, %23       --> for_incrParam59               
176 for_incrParam59: move  $s7, %22       --> for_incrParam58               
177 for_incrParam58: move  $s6, %21       --> for_incrParam57               
178 for_incrParam57: move  $s5, %20       --> for_incrParam56               
179 for_incrParam56: move  $s4, %19       --> for_incrParam55               
180 for_incrParam55: move  $s3, %18       --> for_incrParam54               
181 for_incrParam54: move  $s2, %17       --> for_incrParam53               
182 for_incrParam53: move  $s1, %16       --> for_incrParam52               
183 for_incrParam52: move  $s0, %15       --> for_incrParam51               
184 for_incrParam51: delframe             --> for_incrParam50               
185 for_incrParam50: jr    $ra            (xmits $v0)                       
186 for_incrParam8 : emit c80             --> for_incrParam7                
187 for_incrParam7 : add     %6, %3, %2   --> for_incrParam6                
188 for_incrParam6 : add     %3, %6, %0   --> for_incrParam5                
189 for_incrParam5 : emit c81             --> for_incrParam4                
190 for_incrParam4 : add     %3, %3, %0   --> for_incrParam3                
191
192 procedure for_incr(2)
193 stacksize 0
194 var %0, %1, %2, %3, %4, %5, %6, 
195     %7, %8, %9, %10, %11, %12, %13, 
196     %14, %15, %16, %17, %18, %19, %20, 
197     %21
198 entry for_incr44
199 for_incr44: newframe            --> for_incr43          
200 for_incr43: move  %21, $ra      --> for_incr42          
201 for_incr42: move  %20, $s7      --> for_incr41          
202 for_incr41: move  %19, $s6      --> for_incr40          
203 for_incr40: move  %18, $s5      --> for_incr39          
204 for_incr39: move  %17, $s4      --> for_incr38          
205 for_incr38: move  %16, $s3      --> for_incr37          
206 for_incr37: move  %15, $s2      --> for_incr36          
207 for_incr36: move  %14, $s1      --> for_incr35          
208 for_incr35: move  %13, $s0      --> for_incr34          
209 for_incr34: move  %0, $a0       --> for_incr33          
210 for_incr33: move  %1, $a1       --> for_incr32          
211 for_incr32: li    %2, 0         --> for_incr31          
212 for_incr31: li    %3, 0         --> for_incr30          
213 for_incr30: li    %5, 0         --> for_incr29          
214 for_incr29: li    %6, 0         --> for_incr28          
215 for_incr28: li    %7, 0         --> for_incr27          
216 for_incr27: li    %8, 0         --> for_incr26          
217 for_incr26: li    %9, 0         --> for_incr25          
218 for_incr25: li    %10, 0        --> for_incr24          
219 for_incr24: li    %11, 0        --> for_incr23          
220 for_incr23: li    %12, 0        --> for_incr21          
221 for_incr21: emit c78            --> for_incr20          
222 for_incr20: li    %2, 0         --> for_incr19          
223 for_incr19: emit c77            --> for_incr18          
224 for_incr18: emit c76            --> for_incr17          
225 for_incr17: li    %11, 3        --> for_incr16          
226 for_incr16: add     %3, %0, %11 --> for_incr3           
227 for_incr3 : j                   --> for_incr15          
228 for_incr15: li    %7, 0         --> for_incr14          
229 for_incr14: emit c75            --> for_incr13          
230 for_incr13: li    %10, 2        --> for_incr12          
231 for_incr12: mulo    %9, %1, %10 --> for_incr11          
232 for_incr11: sle     %8, %3, %9  --> for_incr10          
233 for_incr10: li    %12, 0        --> for_incr22          
234 for_incr22: seq     %6, %8, %12 --> for_incr9           
235 for_incr9 : beq     %6, %7      --> for_incr8, for_incr2
236 for_incr2 : emit c72            --> for_incr1           
237 for_incr1 : move    %4, %2      --> for_incr0           
238 for_incr0 : j                   --> for_incr56          
239 for_incr56: move  $v0, %4       --> for_incr55          
240 for_incr55: move  $ra, %21      --> for_incr54          
241 for_incr54: move  $s7, %20      --> for_incr53          
242 for_incr53: move  $s6, %19      --> for_incr52          
243 for_incr52: move  $s5, %18      --> for_incr51          
244 for_incr51: move  $s4, %17      --> for_incr50          
245 for_incr50: move  $s3, %16      --> for_incr49          
246 for_incr49: move  $s2, %15      --> for_incr48          
247 for_incr48: move  $s1, %14      --> for_incr47          
248 for_incr47: move  $s0, %13      --> for_incr46          
249 for_incr46: delframe            --> for_incr45          
250 for_incr45: jr    $ra           (xmits $v0)             
251 for_incr8 : emit c73            --> for_incr7           
252 for_incr7 : sub     %2, %2, %3  --> for_incr6           
253 for_incr6 : emit c74            --> for_incr5           
254 for_incr5 : li    %5, 1         --> for_incr4           
255 for_incr4 : add     %3, %3, %5  --> for_incr3           
256
257 procedure for_imbriq(2)
258 stacksize 0
259 var %0, %1, %2, %3, %4, %5, %6, 
260     %7, %8, %9, %10, %11, %12, %13, 
261     %14, %15, %16, %17, %18, %19, %20, 
262     %21, %22, %23, %24, %25, %26
263 entry for_imbriq64
264 for_imbriq64: newframe              --> for_imbriq63             
265 for_imbriq63: move  %26, $ra        --> for_imbriq62             
266 for_imbriq62: move  %25, $s7        --> for_imbriq61             
267 for_imbriq61: move  %24, $s6        --> for_imbriq60             
268 for_imbriq60: move  %23, $s5        --> for_imbriq59             
269 for_imbriq59: move  %22, $s4        --> for_imbriq58             
270 for_imbriq58: move  %21, $s3        --> for_imbriq57             
271 for_imbriq57: move  %20, $s2        --> for_imbriq56             
272 for_imbriq56: move  %19, $s1        --> for_imbriq55             
273 for_imbriq55: move  %18, $s0        --> for_imbriq54             
274 for_imbriq54: move  %0, $a0         --> for_imbriq53             
275 for_imbriq53: move  %1, $a1         --> for_imbriq52             
276 for_imbriq52: li    %2, 0           --> for_imbriq51             
277 for_imbriq51: li    %3, 0           --> for_imbriq50             
278 for_imbriq50: li    %4, 0           --> for_imbriq49             
279 for_imbriq49: li    %5, 0           --> for_imbriq48             
280 for_imbriq48: li    %7, 0           --> for_imbriq47             
281 for_imbriq47: li    %8, 0           --> for_imbriq46             
282 for_imbriq46: li    %9, 0           --> for_imbriq45             
283 for_imbriq45: li    %10, 0          --> for_imbriq44             
284 for_imbriq44: li    %11, 0          --> for_imbriq43             
285 for_imbriq43: li    %12, 0          --> for_imbriq42             
286 for_imbriq42: li    %13, 0          --> for_imbriq41             
287 for_imbriq41: li    %14, 0          --> for_imbriq40             
288 for_imbriq40: li    %15, 0          --> for_imbriq39             
289 for_imbriq39: li    %16, 0          --> for_imbriq38             
290 for_imbriq38: li    %17, 0          --> for_imbriq34             
291 for_imbriq34: emit c71              --> for_imbriq33             
292 for_imbriq33: li    %5, 0           --> for_imbriq32             
293 for_imbriq32: emit c70              --> for_imbriq31             
294 for_imbriq31: emit c69              --> for_imbriq30             
295 for_imbriq30: li    %3, 0           --> for_imbriq3              
296 for_imbriq3 : j                     --> for_imbriq29             
297 for_imbriq29: li    %12, 0          --> for_imbriq28             
298 for_imbriq28: emit c68              --> for_imbriq27             
299 for_imbriq27: li    %14, 23         --> for_imbriq26             
300 for_imbriq26: slt     %13, %3, %14  --> for_imbriq25             
301 for_imbriq25: li    %16, 0          --> for_imbriq36             
302 for_imbriq36: seq     %11, %13, %16 --> for_imbriq24             
303 for_imbriq24: beq     %11, %12      --> for_imbriq23, for_imbriq2
304 for_imbriq2 : emit c59              --> for_imbriq1              
305 for_imbriq1 : move    %6, %5        --> for_imbriq0              
306 for_imbriq0 : j                     --> for_imbriq76             
307 for_imbriq76: move  $v0, %6         --> for_imbriq75             
308 for_imbriq75: move  $ra, %26        --> for_imbriq74             
309 for_imbriq74: move  $s7, %25        --> for_imbriq73             
310 for_imbriq73: move  $s6, %24        --> for_imbriq72             
311 for_imbriq72: move  $s5, %23        --> for_imbriq71             
312 for_imbriq71: move  $s4, %22        --> for_imbriq70             
313 for_imbriq70: move  $s3, %21        --> for_imbriq69             
314 for_imbriq69: move  $s2, %20        --> for_imbriq68             
315 for_imbriq68: move  $s1, %19        --> for_imbriq67             
316 for_imbriq67: move  $s0, %18        --> for_imbriq66             
317 for_imbriq66: delframe              --> for_imbriq65             
318 for_imbriq65: jr    $ra             (xmits $v0)                  
319 for_imbriq23: emit c66              --> for_imbriq22             
320 for_imbriq22: li    %4, 0           --> for_imbriq21             
321 for_imbriq21: emit c65              --> for_imbriq20             
322 for_imbriq20: emit c64              --> for_imbriq19             
323 for_imbriq19: li    %2, 1           --> for_imbriq6              
324 for_imbriq6 : j                     --> for_imbriq18             
325 for_imbriq18: li    %8, 0           --> for_imbriq17             
326 for_imbriq17: emit c63              --> for_imbriq16             
327 for_imbriq16: li    %10, 12         --> for_imbriq15             
328 for_imbriq15: slt     %9, %2, %10   --> for_imbriq14             
329 for_imbriq14: li    %15, 0          --> for_imbriq35             
330 for_imbriq35: seq     %7, %9, %15   --> for_imbriq13             
331 for_imbriq13: beq     %7, %8        --> for_imbriq12, for_imbriq5
332 for_imbriq5 : emit c67              --> for_imbriq4              
333 for_imbriq4 : add     %3, %3, %0    --> for_imbriq3              
334 for_imbriq12: emit c61              --> for_imbriq11             
335 for_imbriq11: add     %5, %5, %4    --> for_imbriq10             
336 for_imbriq10: emit c60              --> for_imbriq9              
337 for_imbriq9 : la    %17, mod        --> for_imbriq37             
338 for_imbriq37: j                     --> for_imbriq80             
339 for_imbriq80: move  $a0, %4         --> for_imbriq79             
340 for_imbriq79: move  $a1, %2         --> for_imbriq78             
341 for_imbriq78: call  %17(2)          --> for_imbriq77             
342 for_imbriq77: move  %4, $v0         --> for_imbriq8              
343 for_imbriq8 : emit c62              --> for_imbriq7              
344 for_imbriq7 : add     %2, %2, %1    --> for_imbriq6              
345
346 procedure for_fortSimple(3)
347 stacksize 0
348 var %0, %1, %2, %3, %4, %5, %6, 
349     %7, %8, %9, %10, %11, %12, %13, 
350     %14, %15, %16, %17, %18, %19, %20
351 entry for_fortSimple41
352 for_fortSimple41: newframe             --> for_fortSimple40                
353 for_fortSimple40: move  %20, $ra       --> for_fortSimple39                
354 for_fortSimple39: move  %19, $s7       --> for_fortSimple38                
355 for_fortSimple38: move  %18, $s6       --> for_fortSimple37                
356 for_fortSimple37: move  %17, $s5       --> for_fortSimple36                
357 for_fortSimple36: move  %16, $s4       --> for_fortSimple35                
358 for_fortSimple35: move  %15, $s3       --> for_fortSimple34                
359 for_fortSimple34: move  %14, $s2       --> for_fortSimple33                
360 for_fortSimple33: move  %13, $s1       --> for_fortSimple32                
361 for_fortSimple32: move  %12, $s0       --> for_fortSimple31                
362 for_fortSimple31: move  %0, $a0        --> for_fortSimple30                
363 for_fortSimple30: move  %1, $a1        --> for_fortSimple29                
364 for_fortSimple29: move  %2, $a2        --> for_fortSimple28                
365 for_fortSimple28: li    %3, 0          --> for_fortSimple27                
366 for_fortSimple27: li    %4, 0          --> for_fortSimple26                
367 for_fortSimple26: li    %5, 0          --> for_fortSimple25                
368 for_fortSimple25: li    %6, 0          --> for_fortSimple24                
369 for_fortSimple24: li    %8, 0          --> for_fortSimple23                
370 for_fortSimple23: li    %9, 0          --> for_fortSimple22                
371 for_fortSimple22: li    %10, 0         --> for_fortSimple21                
372 for_fortSimple21: li    %11, 0         --> for_fortSimple19                
373 for_fortSimple19: emit c58             --> for_fortSimple18                
374 for_fortSimple18: li    %3, 0          --> for_fortSimple17                
375 for_fortSimple17: emit c57             --> for_fortSimple16                
376 for_fortSimple16: emit c56             --> for_fortSimple15                
377 for_fortSimple15: move    %5, %0       --> for_fortSimple5                 
378 for_fortSimple5 : j                    --> for_fortSimple14                
379 for_fortSimple14: li    %9, 0          --> for_fortSimple13                
380 for_fortSimple13: emit c55             --> for_fortSimple12                
381 for_fortSimple12: slt     %10, %5, %1  --> for_fortSimple11                
382 for_fortSimple11: li    %11, 0         --> for_fortSimple20                
383 for_fortSimple20: seq     %8, %10, %11 --> for_fortSimple10                
384 for_fortSimple10: beq     %8, %9       --> for_fortSimple9, for_fortSimple4
385 for_fortSimple4 : emit c52             --> for_fortSimple3                 
386 for_fortSimple3 : add     %4, %3, %0   --> for_fortSimple2                 
387 for_fortSimple2 : emit c51             --> for_fortSimple1                 
388 for_fortSimple1 : move    %7, %4       --> for_fortSimple0                 
389 for_fortSimple0 : j                    --> for_fortSimple53                
390 for_fortSimple53: move  $v0, %7        --> for_fortSimple52                
391 for_fortSimple52: move  $ra, %20       --> for_fortSimple51                
392 for_fortSimple51: move  $s7, %19       --> for_fortSimple50                
393 for_fortSimple50: move  $s6, %18       --> for_fortSimple49                
394 for_fortSimple49: move  $s5, %17       --> for_fortSimple48                
395 for_fortSimple48: move  $s4, %16       --> for_fortSimple47                
396 for_fortSimple47: move  $s3, %15       --> for_fortSimple46                
397 for_fortSimple46: move  $s2, %14       --> for_fortSimple45                
398 for_fortSimple45: move  $s1, %13       --> for_fortSimple44                
399 for_fortSimple44: move  $s0, %12       --> for_fortSimple43                
400 for_fortSimple43: delframe             --> for_fortSimple42                
401 for_fortSimple42: jr    $ra            (xmits $v0)                         
402 for_fortSimple9 : emit c53             --> for_fortSimple8                 
403 for_fortSimple8 : add     %3, %3, %5   --> for_fortSimple7                 
404 for_fortSimple7 : emit c54             --> for_fortSimple6                 
405 for_fortSimple6 : add     %5, %5, %2   --> for_fortSimple5                 
406
407 procedure for_forfor(0)
408 stacksize 0
409 var %0, %1, %2, %3, %4, %5, %6, 
410     %7, %8, %9, %10, %11, %12, %13, 
411     %14, %15, %16, %17, %18, %19
412 entry for_forfor44
413 for_forfor44: newframe            --> for_forfor43             
414 for_forfor43: move  %19, $ra      --> for_forfor42             
415 for_forfor42: move  %18, $s7      --> for_forfor41             
416 for_forfor41: move  %17, $s6      --> for_forfor40             
417 for_forfor40: move  %16, $s5      --> for_forfor39             
418 for_forfor39: move  %15, $s4      --> for_forfor38             
419 for_forfor38: move  %14, $s3      --> for_forfor37             
420 for_forfor37: move  %13, $s2      --> for_forfor36             
421 for_forfor36: move  %12, $s1      --> for_forfor35             
422 for_forfor35: move  %11, $s0      --> for_forfor34             
423 for_forfor34: li    %0, 0         --> for_forfor33             
424 for_forfor33: li    %1, 0         --> for_forfor32             
425 for_forfor32: li    %3, 0         --> for_forfor31             
426 for_forfor31: li    %4, 0         --> for_forfor30             
427 for_forfor30: li    %5, 0         --> for_forfor29             
428 for_forfor29: li    %6, 0         --> for_forfor28             
429 for_forfor28: li    %7, 0         --> for_forfor27             
430 for_forfor27: li    %8, 0         --> for_forfor26             
431 for_forfor26: li    %9, 0         --> for_forfor25             
432 for_forfor25: li    %10, 0        --> for_forfor23             
433 for_forfor23: emit c94            --> for_forfor22             
434 for_forfor22: emit c93            --> for_forfor21             
435 for_forfor21: li    %1, 0         --> for_forfor20             
436 for_forfor20: emit c92            --> for_forfor19             
437 for_forfor19: li    %0, 0         --> for_forfor3              
438 for_forfor3 : j                   --> for_forfor18             
439 for_forfor18: li    %7, 0         --> for_forfor17             
440 for_forfor17: emit c91            --> for_forfor16             
441 for_forfor16: li    %9, 10        --> for_forfor15             
442 for_forfor15: slt     %8, %1, %9  --> for_forfor14             
443 for_forfor14: li    %10, 0        --> for_forfor24             
444 for_forfor24: seq     %6, %8, %10 --> for_forfor13             
445 for_forfor13: beq     %6, %7      --> for_forfor12, for_forfor2
446 for_forfor2 : emit c87            --> for_forfor1              
447 for_forfor1 : move    %2, %0      --> for_forfor0              
448 for_forfor0 : j                   --> for_forfor56             
449 for_forfor56: move  $v0, %2       --> for_forfor55             
450 for_forfor55: move  $ra, %19      --> for_forfor54             
451 for_forfor54: move  $s7, %18      --> for_forfor53             
452 for_forfor53: move  $s6, %17      --> for_forfor52             
453 for_forfor52: move  $s5, %16      --> for_forfor51             
454 for_forfor51: move  $s4, %15      --> for_forfor50             
455 for_forfor50: move  $s3, %14      --> for_forfor49             
456 for_forfor49: move  $s2, %13      --> for_forfor48             
457 for_forfor48: move  $s1, %12      --> for_forfor47             
458 for_forfor47: move  $s0, %11      --> for_forfor46             
459 for_forfor46: delframe            --> for_forfor45             
460 for_forfor45: jr    $ra           (xmits $v0)                  
461 for_forfor12: emit c89            --> for_forfor11             
462 for_forfor11: li    %5, 1         --> for_forfor10             
463 for_forfor10: add     %0, %0, %5  --> for_forfor9              
464 for_forfor9 : emit c88            --> for_forfor8              
465 for_forfor8 : li    %4, 1         --> for_forfor7              
466 for_forfor7 : add     %0, %0, %4  --> for_forfor6              
467 for_forfor6 : emit c90            --> for_forfor5              
468 for_forfor5 : li    %3, 1         --> for_forfor4              
469 for_forfor4 : add     %1, %1, %3  --> for_forfor3              
470
471 procedure for_ex(3)
472 stacksize 0
473 var %0, %1, %2, %3, %4, %5, %6, 
474     %7, %8, %9, %10, %11, %12, %13, 
475     %14, %15, %16, %17, %18, %19, %20, 
476     %21
477 entry for_ex43
478 for_ex43: newframe            --> for_ex42        
479 for_ex42: move  %21, $ra      --> for_ex41        
480 for_ex41: move  %20, $s7      --> for_ex40        
481 for_ex40: move  %19, $s6      --> for_ex39        
482 for_ex39: move  %18, $s5      --> for_ex38        
483 for_ex38: move  %17, $s4      --> for_ex37        
484 for_ex37: move  %16, $s3      --> for_ex36        
485 for_ex36: move  %15, $s2      --> for_ex35        
486 for_ex35: move  %14, $s1      --> for_ex34        
487 for_ex34: move  %13, $s0      --> for_ex33        
488 for_ex33: move  %0, $a0       --> for_ex32        
489 for_ex32: move  %1, $a1       --> for_ex31        
490 for_ex31: move  %2, $a2       --> for_ex30        
491 for_ex30: li    %3, 0         --> for_ex29        
492 for_ex29: li    %4, 0         --> for_ex28        
493 for_ex28: li    %6, 0         --> for_ex27        
494 for_ex27: li    %7, 0         --> for_ex26        
495 for_ex26: li    %8, 0         --> for_ex25        
496 for_ex25: li    %9, 0         --> for_ex24        
497 for_ex24: li    %10, 0        --> for_ex23        
498 for_ex23: li    %11, 0        --> for_ex22        
499 for_ex22: li    %12, 0        --> for_ex20        
500 for_ex20: emit c50            --> for_ex19        
501 for_ex19: li    %3, 0         --> for_ex18        
502 for_ex18: emit c49            --> for_ex17        
503 for_ex17: emit c48            --> for_ex16        
504 for_ex16: li    %11, 3        --> for_ex15        
505 for_ex15: add     %4, %0, %11 --> for_ex3         
506 for_ex3 : j                   --> for_ex14        
507 for_ex14: li    %7, 0         --> for_ex13        
508 for_ex13: emit c47            --> for_ex12        
509 for_ex12: li    %10, 2        --> for_ex11        
510 for_ex11: mulo    %9, %1, %10 --> for_ex10        
511 for_ex10: sle     %8, %4, %9  --> for_ex9         
512 for_ex9 : li    %12, 0        --> for_ex21        
513 for_ex21: seq     %6, %8, %12 --> for_ex8         
514 for_ex8 : beq     %6, %7      --> for_ex7, for_ex2
515 for_ex2 : emit c44            --> for_ex1         
516 for_ex1 : move    %5, %3      --> for_ex0         
517 for_ex0 : j                   --> for_ex55        
518 for_ex55: move  $v0, %5       --> for_ex54        
519 for_ex54: move  $ra, %21      --> for_ex53        
520 for_ex53: move  $s7, %20      --> for_ex52        
521 for_ex52: move  $s6, %19      --> for_ex51        
522 for_ex51: move  $s5, %18      --> for_ex50        
523 for_ex50: move  $s4, %17      --> for_ex49        
524 for_ex49: move  $s3, %16      --> for_ex48        
525 for_ex48: move  $s2, %15      --> for_ex47        
526 for_ex47: move  $s1, %14      --> for_ex46        
527 for_ex46: move  $s0, %13      --> for_ex45        
528 for_ex45: delframe            --> for_ex44        
529 for_ex44: jr    $ra           (xmits $v0)         
530 for_ex7 : emit c45            --> for_ex6         
531 for_ex6 : sub     %3, %3, %4  --> for_ex5         
532 for_ex5 : emit c46            --> for_ex4         
533 for_ex4 : add     %4, %4, %2  --> for_ex3         
534
535 procedure for_double(1)
536 stacksize 0
537 var %0, %1, %2, %3, %4, %5, %6, 
538     %7, %8, %9, %10, %11, %12, %13, 
539     %14, %15, %16, %17, %18, %19, %20, 
540     %21, %22, %23, %24, %25
541 entry for_double64
542 for_double64: newframe              --> for_double63              
543 for_double63: move  %25, $ra        --> for_double62              
544 for_double62: move  %24, $s7        --> for_double61              
545 for_double61: move  %23, $s6        --> for_double60              
546 for_double60: move  %22, $s5        --> for_double59              
547 for_double59: move  %21, $s4        --> for_double58              
548 for_double58: move  %20, $s3        --> for_double57              
549 for_double57: move  %19, $s2        --> for_double56              
550 for_double56: move  %18, $s1        --> for_double55              
551 for_double55: move  %17, $s0        --> for_double54              
552 for_double54: move  %0, $a0         --> for_double53              
553 for_double53: li    %1, 0           --> for_double52              
554 for_double52: li    %2, 0           --> for_double51              
555 for_double51: li    %3, 0           --> for_double50              
556 for_double50: li    %4, 0           --> for_double49              
557 for_double49: li    %5, 0           --> for_double48              
558 for_double48: li    %7, 0           --> for_double47              
559 for_double47: li    %8, 0           --> for_double46              
560 for_double46: li    %9, 0           --> for_double45              
561 for_double45: li    %10, 0          --> for_double44              
562 for_double44: li    %11, 0          --> for_double43              
563 for_double43: li    %12, 0          --> for_double42              
564 for_double42: li    %13, 0          --> for_double41              
565 for_double41: li    %14, 0          --> for_double40              
566 for_double40: li    %15, 0          --> for_double39              
567 for_double39: li    %16, 0          --> for_double36              
568 for_double36: emit c43              --> for_double35              
569 for_double35: li    %5, 0           --> for_double34              
570 for_double34: emit c42              --> for_double33              
571 for_double33: li    %4, 0           --> for_double32              
572 for_double32: emit c41              --> for_double31              
573 for_double31: emit c40              --> for_double30              
574 for_double30: li    %2, 0           --> for_double19              
575 for_double19: j                     --> for_double29              
576 for_double29: li    %12, 0          --> for_double28              
577 for_double28: emit c39              --> for_double27              
578 for_double27: li    %14, 12         --> for_double26              
579 for_double26: slt     %13, %2, %14  --> for_double25              
580 for_double25: li    %16, 0          --> for_double38              
581 for_double38: seq     %11, %13, %16 --> for_double24              
582 for_double24: beq     %11, %12      --> for_double23, for_double18
583 for_double18: emit c36              --> for_double17              
584 for_double17: emit c35              --> for_double16              
585 for_double16: li    %1, 0           --> for_double5               
586 for_double5 : j                     --> for_double15              
587 for_double15: li    %8, 0           --> for_double14              
588 for_double14: emit c34              --> for_double13              
589 for_double13: li    %10, 5          --> for_double12              
590 for_double12: slt     %9, %1, %10   --> for_double11              
591 for_double11: li    %15, 0          --> for_double37              
592 for_double37: seq     %7, %9, %15   --> for_double10              
593 for_double10: beq     %7, %8        --> for_double9, for_double4  
594 for_double4 : emit c31              --> for_double3               
595 for_double3 : mulo    %3, %5, %4    --> for_double2               
596 for_double2 : emit c30              --> for_double1               
597 for_double1 : move    %6, %3        --> for_double0               
598 for_double0 : j                     --> for_double76              
599 for_double76: move  $v0, %6         --> for_double75              
600 for_double75: move  $ra, %25        --> for_double74              
601 for_double74: move  $s7, %24        --> for_double73              
602 for_double73: move  $s6, %23        --> for_double72              
603 for_double72: move  $s5, %22        --> for_double71              
604 for_double71: move  $s4, %21        --> for_double70              
605 for_double70: move  $s3, %20        --> for_double69              
606 for_double69: move  $s2, %19        --> for_double68              
607 for_double68: move  $s1, %18        --> for_double67              
608 for_double67: move  $s0, %17        --> for_double66              
609 for_double66: delframe              --> for_double65              
610 for_double65: jr    $ra             (xmits $v0)                   
611 for_double9 : emit c32              --> for_double8               
612 for_double8 : add     %4, %4, %1    --> for_double7               
613 for_double7 : emit c33              --> for_double6               
614 for_double6 : add     %1, %1, %0    --> for_double5               
615 for_double23: emit c37              --> for_double22              
616 for_double22: add     %5, %5, %2    --> for_double21              
617 for_double21: emit c38              --> for_double20              
618 for_double20: add     %2, %2, %0    --> for_double19              
619
620 procedure for_2(2)
621 stacksize 0
622 var %0, %1, %2, %3, %4, %5, %6, 
623     %7, %8, %9, %10, %11, %12, %13, 
624     %14, %15, %16, %17, %18, %19, %20, 
625     %21, %22, %23, %24
626 entry for_253
627 for_253: newframe             --> for_252       
628 for_252: move  %24, $ra       --> for_251       
629 for_251: move  %23, $s7       --> for_250       
630 for_250: move  %22, $s6       --> for_249       
631 for_249: move  %21, $s5       --> for_248       
632 for_248: move  %20, $s4       --> for_247       
633 for_247: move  %19, $s3       --> for_246       
634 for_246: move  %18, $s2       --> for_245       
635 for_245: move  %17, $s1       --> for_244       
636 for_244: move  %16, $s0       --> for_243       
637 for_243: move  %0, $a0        --> for_242       
638 for_242: move  %1, $a1        --> for_241       
639 for_241: li    %2, 0          --> for_240       
640 for_240: li    %3, 0          --> for_239       
641 for_239: li    %4, 0          --> for_238       
642 for_238: li    %5, 0          --> for_237       
643 for_237: li    %6, 0          --> for_236       
644 for_236: li    %8, 0          --> for_235       
645 for_235: li    %9, 0          --> for_234       
646 for_234: li    %10, 0         --> for_233       
647 for_233: li    %11, 0         --> for_232       
648 for_232: li    %12, 0         --> for_231       
649 for_231: li    %13, 0         --> for_230       
650 for_230: li    %14, 0         --> for_229       
651 for_229: li    %15, 0         --> for_227       
652 for_227: emit c9              --> for_226       
653 for_226: li    %5, 0          --> for_225       
654 for_225: emit c8              --> for_224       
655 for_224: li    %14, 2         --> for_223       
656 for_223: mulo    %6, %0, %14  --> for_222       
657 for_222: emit c7              --> for_221       
658 for_221: li    %13, 4         --> for_220       
659 for_220: mulo    %2, %0, %13  --> for_219       
660 for_219: emit c6              --> for_218       
661 for_218: li    %12, 1         --> for_217       
662 for_217: add     %3, %1, %12  --> for_216       
663 for_216: emit c5              --> for_215       
664 for_215: emit c4              --> for_214       
665 for_214: move    %4, %6       --> for_24        
666 for_24 : j                    --> for_213       
667 for_213: li    %10, 0         --> for_212       
668 for_212: emit c3              --> for_211       
669 for_211: slt     %11, %4, %2  --> for_210       
670 for_210: li    %15, 0         --> for_228       
671 for_228: seq     %9, %11, %15 --> for_29        
672 for_29 : beq     %9, %10      --> for_28, for_23
673 for_23 : emit c0              --> for_22        
674 for_22 : li    %8, 1          --> for_21        
675 for_21 : add     %7, %5, %8   --> for_20        
676 for_20 : j                    --> for_265       
677 for_265: move  $v0, %7        --> for_264       
678 for_264: move  $ra, %24       --> for_263       
679 for_263: move  $s7, %23       --> for_262       
680 for_262: move  $s6, %22       --> for_261       
681 for_261: move  $s5, %21       --> for_260       
682 for_260: move  $s4, %20       --> for_259       
683 for_259: move  $s3, %19       --> for_258       
684 for_258: move  $s2, %18       --> for_257       
685 for_257: move  $s1, %17       --> for_256       
686 for_256: move  $s0, %16       --> for_255       
687 for_255: delframe             --> for_254       
688 for_254: jr    $ra            (xmits $v0)       
689 for_28 : emit c1              --> for_27        
690 for_27 : add     %5, %5, %4   --> for_26        
691 for_26 : emit c2              --> for_25        
692 for_25 : add     %4, %4, %3   --> for_24        
693
694 procedure _main(0)
695 stacksize 0
696 var %0, %1, %2, %3, %4, %5, %6, 
697     %7, %8, %9, %10, %11, %12, %13, 
698     %14, %15, %16, %17, %18, %19, %20, 
699     %21, %22, %23, %24, %25, %26, %27, 
700     %28, %29, %30, %31, %32, %33, %34, 
701     %35, %36, %37
702 entry main85
703 main85 : newframe                      --> main84 
704 main84 : move  %37, $ra                --> main83 
705 main83 : move  %36, $s7                --> main82 
706 main82 : move  %35, $s6                --> main81 
707 main81 : move  %34, $s5                --> main80 
708 main80 : move  %33, $s4                --> main79 
709 main79 : move  %32, $s3                --> main78 
710 main78 : move  %31, $s2                --> main77 
711 main77 : move  %30, $s1                --> main76 
712 main76 : move  %29, $s0                --> main75 
713 main75 : li    %0, 0                   --> main74 
714 main74 : li    %2, 0                   --> main73 
715 main73 : li    %3, 0                   --> main72 
716 main72 : li    %4, 0                   --> main71 
717 main71 : li    %5, 0                   --> main70 
718 main70 : li    %6, 0                   --> main69 
719 main69 : li    %7, 0                   --> main68 
720 main68 : li    %8, 0                   --> main67 
721 main67 : li    %9, 0                   --> main66 
722 main66 : li    %10, 0                  --> main65 
723 main65 : li    %11, 0                  --> main64 
724 main64 : li    %12, 0                  --> main63 
725 main63 : li    %13, 0                  --> main62 
726 main62 : li    %14, 0                  --> main61 
727 main61 : li    %15, 0                  --> main60 
728 main60 : li    %16, 0                  --> main59 
729 main59 : li    %17, 0                  --> main58 
730 main58 : li    %18, 0                  --> main57 
731 main57 : li    %19, 0                  --> main56 
732 main56 : li    %20, 0                  --> main55 
733 main55 : li    %21, 0                  --> main54 
734 main54 : li    %22, 0                  --> main53 
735 main53 : li    %23, 0                  --> main52 
736 main52 : li    %24, 0                  --> main51 
737 main51 : li    %25, 0                  --> main50 
738 main50 : li    %26, 0                  --> main49 
739 main49 : li    %27, 0                  --> main48 
740 main48 : li    %28, 0                  --> main38 
741 main38 : emit c104                     --> main37 
742 main37 : li    %18, 3                  --> main36 
743 main36 : li    %19, 1                  --> main35 
744 main35 : la    %26, for_2              --> main45 
745 main45 : j                             --> main125
746 main125: move  $a0, %18                --> main124
747 main124: move  $a1, %19                --> main123
748 main123: call  %26(2)                  --> main122
749 main122: move  %0, $v0                 --> main34 
750 main34 : emit c103                     --> main33 
751 main33 : li    %15, 1                  --> main32 
752 main32 : li    %16, 2                  --> main31 
753 main31 : li    %17, 3                  --> main30 
754 main30 : la    %25, for_loopParalAsync --> main44 
755 main44 : j                             --> main121
756 main121: move  $a0, %15                --> main120
757 main120: move  $a1, %16                --> main119
758 main119: move  $a2, %17                --> main118
759 main118: call  %25(3)                  --> main117
760 main117: move  %0, $v0                 --> main29 
761 main29 : emit c102                     --> main28 
762 main28 : li    %14, 1                  --> main27 
763 main27 : la    %23, for_double         --> main42 
764 main42 : j                             --> main114
765 main114: move  $a0, %14                --> main113
766 main113: call  %23(1)                  --> main112
767 main112: move  %0, $v0                 --> main26 
768 main26 : emit c101                     --> main25 
769 main25 : li    %11, 2                  --> main24 
770 main24 : li    %12, 10                 --> main23 
771 main23 : li    %13, 1                  --> main22 
772 main22 : la    %22, for_ex             --> main41 
773 main41 : j                             --> main111
774 main111: move  $a0, %11                --> main110
775 main110: move  $a1, %12                --> main109
776 main109: move  $a2, %13                --> main108
777 main108: call  %22(3)                  --> main107
778 main107: move  %0, $v0                 --> main21 
779 main21 : emit c100                     --> main20 
780 main20 : li    %8, 2                   --> main19 
781 main19 : li    %9, 10                  --> main18 
782 main18 : li    %10, 1                  --> main17 
783 main17 : la    %21, for_fortSimple     --> main40 
784 main40 : j                             --> main106
785 main106: move  $a0, %8                 --> main105
786 main105: move  $a1, %9                 --> main104
787 main104: move  $a2, %10                --> main103
788 main103: call  %21(3)                  --> main102
789 main102: move  %0, $v0                 --> main16 
790 main16 : emit c99                      --> main15 
791 main15 : li    %6, 2                   --> main14 
792 main14 : li    %7, 3                   --> main13 
793 main13 : la    %20, for_imbriq         --> main39 
794 main39 : j                             --> main101
795 main101: move  $a0, %6                 --> main100
796 main100: move  $a1, %7                 --> main99 
797 main99 : call  %20(2)                  --> main98 
798 main98 : move  %0, $v0                 --> main12 
799 main12 : emit c98                      --> main11 
800 main11 : li    %4, 2                   --> main10 
801 main10 : li    %5, 3                   --> main9  
802 main9  : la    %28, for_incr           --> main47 
803 main47 : j                             --> main133
804 main133: move  $a0, %4                 --> main132
805 main132: move  $a1, %5                 --> main131
806 main131: call  %28(2)                  --> main130
807 main130: move  %0, $v0                 --> main8  
808 main8  : emit c97                      --> main7  
809 main7  : li    %2, 2                   --> main6  
810 main6  : li    %3, 3                   --> main5  
811 main5  : la    %27, for_incrParam      --> main46 
812 main46 : j                             --> main129
813 main129: move  $a0, %2                 --> main128
814 main128: move  $a1, %3                 --> main127
815 main127: call  %27(2)                  --> main126
816 main126: move  %0, $v0                 --> main4  
817 main4  : emit c96                      --> main3  
818 main3  : la    %24, for_forfor         --> main43 
819 main43 : j                             --> main116
820 main116: call  %24(0)                  --> main115
821 main115: move  %0, $v0                 --> main2  
822 main2  : emit c95                      --> main1  
823 main1  : move    %1, %0                --> main0  
824 main0  : j                             --> main97 
825 main97 : move  $v0, %1                 --> main96 
826 main96 : move  $ra, %37                --> main95 
827 main95 : move  $s7, %36                --> main94 
828 main94 : move  $s6, %35                --> main93 
829 main93 : move  $s5, %34                --> main92 
830 main92 : move  $s4, %33                --> main91 
831 main91 : move  $s3, %32                --> main90 
832 main90 : move  $s2, %31                --> main89 
833 main89 : move  $s1, %30                --> main88 
834 main88 : move  $s0, %29                --> main87 
835 main87 : delframe                      --> main86 
836 main86 : jr    $ra                     (xmits $v0)
837
838 __builtin_varargs_start: int -> void
839
840
841 __builtin_va_start: int -> int -> void
842
843
844 __builtin_va_end: int -> void
845
846
847 __builtin_va_copy: int -> int -> void
848
849
850 __builtin_va_arg: int -> int -> void
851
852
853 __builtin_types_compatible_p: int -> int -> int
854
855
856 __builtin_tanl: float -> float
857
858
859 __builtin_tanhl: float -> float
860
861
862 __builtin_tanhf: float -> float
863
864
865 __builtin_tanh: float -> float
866
867
868 __builtin_tanf: float -> float
869
870
871 __builtin_tan: float -> float
872
873
874 __builtin_strspn: int -> int -> int
875
876
877 __builtin_strpbrk: int -> int -> int
878
879
880 __builtin_strncpy: int -> int -> int -> int
881
882
883 __builtin_strncmp: int -> int -> int -> int
884
885
886 __builtin_strncat: int -> int -> int -> int
887
888
889 __builtin_strcspn: int -> int -> int
890
891
892 __builtin_strcpy: int -> int -> int
893
894
895 __builtin_strcmp: int -> int -> int
896
897
898 __builtin_strchr: int -> int -> int
899
900
901 __builtin_stpcpy: int -> int -> int
902
903
904 __builtin_stdarg_start: int -> void
905
906
907 __builtin_sqrtl: float -> float
908
909
910 __builtin_sqrtf: float -> float
911
912
913 __builtin_sqrt: float -> float
914
915
916 __builtin_sinl: float -> float
917
918
919 __builtin_sinhl: float -> float
920
921
922 __builtin_sinhf: float -> float
923
924
925 __builtin_sinh: float -> float
926
927
928 __builtin_sinf: float -> float
929
930
931 __builtin_sin: float -> float
932
933
934 __builtin_return_address: int -> int
935
936
937 __builtin_return: int -> void
938
939
940 __builtin_powil: float -> int -> float
941
942
943 __builtin_powif: float -> int -> float
944
945
946 __builtin_powi: float -> int -> float
947
948
949 __builtin_popcountll: int -> int
950
951
952 __builtin_popcountl: int -> int
953
954
955 __builtin_popcount: int -> int
956
957
958 __builtin_parityll: int -> int
959
960
961 __builtin_parityl: int -> int
962
963
964 __builtin_parity: int -> int
965
966
967 __builtin_object_size: int -> int -> int
968
969
970 __builtin_next_arg: int
971
972
973 __builtin_nansl: int -> float
974
975
976 __builtin_nansf: int -> float
977
978
979 __builtin_nans: int -> float
980
981
982 __builtin_nanl: int -> float
983
984
985 __builtin_nanf: int -> float
986
987
988 __builtin_nan: int -> float
989
990
991 __builtin_modfl: float -> int -> float
992
993
994 __builtin_modff: float -> int -> float
995
996
997 __builtin_mempcpy: int -> int -> int -> int
998
999
1000 __builtin_memcpy: int -> int -> int -> int
1001
1002
1003 __builtin_logl: float -> float
1004
1005
1006 __builtin_logf: float -> float
1007
1008
1009 __builtin_log10l: float -> float
1010
1011
1012 __builtin_log10f: float -> float
1013
1014
1015 __builtin_log10: float -> float
1016
1017
1018 __builtin_log: float -> float
1019
1020
1021 __builtin_ldexpl: float -> int -> float
1022
1023
1024 __builtin_ldexpf: float -> int -> float
1025
1026
1027 __builtin_ldexp: float -> int -> float
1028
1029
1030 __builtin_infl: float
1031
1032
1033 __builtin_inff: float
1034
1035
1036 __builtin_inf: float
1037
1038
1039 __builtin_huge_vall: float
1040
1041
1042 __builtin_huge_valf: float
1043
1044
1045 __builtin_huge_val: float
1046
1047
1048 __builtin_frexpl: float -> int -> float
1049
1050
1051 __builtin_frexpf: float -> int -> float
1052
1053
1054 __builtin_frexp: float -> int -> float
1055
1056
1057 __builtin_frame_address: int -> int
1058
1059
1060 __builtin_fmodl: float -> float
1061
1062
1063 __builtin_fmodf: float -> float
1064
1065
1066 __builtin_fmod: float -> float
1067
1068
1069 __builtin_floorl: float -> float
1070
1071
1072 __builtin_floorf: float -> float
1073
1074
1075 __builtin_floor: float -> float
1076
1077
1078 __builtin_ffsll: int -> int
1079
1080
1081 __builtin_ffsl: int -> int
1082
1083
1084 __builtin_ffs: int -> int
1085
1086
1087 __builtin_fabsl: float -> float
1088
1089
1090 __builtin_fabsf: float -> float
1091
1092
1093 __builtin_fabs: float -> float
1094
1095
1096 __builtin_expl: float -> float
1097
1098
1099 __builtin_expf: float -> float
1100
1101
1102 __builtin_expect: int -> int -> int
1103
1104
1105 __builtin_exp: float -> float
1106
1107
1108 __builtin_ctzll: int -> int
1109
1110
1111 __builtin_ctzl: int -> int
1112
1113
1114 __builtin_ctz: int -> int
1115
1116
1117 __builtin_cosl: float -> float
1118
1119
1120 __builtin_coshl: float -> float
1121
1122
1123 __builtin_coshf: float -> float
1124
1125
1126 __builtin_cosh: float -> float
1127
1128
1129 __builtin_cosf: float -> float
1130
1131
1132 __builtin_cos: float -> float
1133
1134
1135 __builtin_constant_p: int -> int
1136
1137
1138 __builtin_clzll: int -> int
1139
1140
1141 __builtin_clzl: int -> int
1142
1143
1144 __builtin_clz: int -> int
1145
1146
1147 __builtin_ceill: float -> float
1148
1149
1150 __builtin_ceilf: float -> float
1151
1152
1153 __builtin_ceil: float -> float
1154
1155
1156 __builtin_atanl: float -> float
1157
1158
1159 __builtin_atanf: float -> float
1160
1161
1162 __builtin_atan2l: float -> float -> float
1163
1164
1165 __builtin_atan2f: float -> float -> float
1166
1167
1168 __builtin_atan2: float -> float -> float
1169
1170
1171 __builtin_atan: float -> float
1172
1173
1174 __builtin_asinl: float -> float
1175
1176
1177 __builtin_asinf: float -> float
1178
1179
1180 __builtin_asin: float -> float
1181
1182
1183 __builtin_alloca: int -> int
1184
1185
1186 __builtin_acosl: float -> float
1187
1188
1189 __builtin_acosf: float -> float
1190
1191
1192 __builtin_acos: float -> float
1193
1194
1195 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
1196
1197
1198 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
1199
1200
1201 __builtin___vprintf_chk: int -> int -> int -> int
1202
1203
1204 __builtin___vfprintf_chk: int -> int -> int -> int -> int
1205
1206
1207 __builtin___strncpy_chk: int -> int -> int -> int -> int
1208
1209
1210 __builtin___strncat_chk: int -> int -> int -> int -> int
1211
1212
1213 __builtin___strcpy_chk: int -> int -> int -> int
1214
1215
1216 __builtin___strcat_chk: int -> int -> int -> int
1217
1218
1219 __builtin___stpcpy_chk: int -> int -> int -> int
1220
1221
1222 __builtin___memset_chk: int -> int -> int -> int -> int
1223
1224
1225 __builtin___mempcpy_chk: int -> int -> int -> int -> int
1226
1227
1228 __builtin___memmove_chk: int -> int -> int -> int -> int
1229
1230
1231 __builtin___memcpy_chk: int -> int -> int -> int -> int
1232
1233