]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/for.RTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / for.RTL.expected
1 program
2
3 globals 0
4
5 function for_loopParalAsync(%0; %1; %2) : %8
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
11 entry for_loopParalAsync81
12 for_loopParalAsync81: li    %3, 0           --> for_loopParalAsync80                      
13 for_loopParalAsync80: li    %4, 0           --> for_loopParalAsync79                      
14 for_loopParalAsync79: li    %5, 0           --> for_loopParalAsync78                      
15 for_loopParalAsync78: li    %6, 0           --> for_loopParalAsync77                      
16 for_loopParalAsync77: li    %7, 0           --> for_loopParalAsync76                      
17 for_loopParalAsync76: li    %9, 0           --> for_loopParalAsync75                      
18 for_loopParalAsync75: li    %10, 0          --> for_loopParalAsync74                      
19 for_loopParalAsync74: li    %11, 0          --> for_loopParalAsync73                      
20 for_loopParalAsync73: li    %12, 0          --> for_loopParalAsync72                      
21 for_loopParalAsync72: li    %13, 0          --> for_loopParalAsync71                      
22 for_loopParalAsync71: li    %14, 0          --> for_loopParalAsync70                      
23 for_loopParalAsync70: li    %15, 0          --> for_loopParalAsync69                      
24 for_loopParalAsync69: li    %16, 0          --> for_loopParalAsync68                      
25 for_loopParalAsync68: li    %17, 0          --> for_loopParalAsync67                      
26 for_loopParalAsync67: li    %18, 0          --> for_loopParalAsync66                      
27 for_loopParalAsync66: li    %19, 0          --> for_loopParalAsync65                      
28 for_loopParalAsync65: li    %20, 0          --> for_loopParalAsync64                      
29 for_loopParalAsync64: li    %21, 0          --> for_loopParalAsync63                      
30 for_loopParalAsync63: li    %22, 0          --> for_loopParalAsync62                      
31 for_loopParalAsync62: li    %23, 0          --> for_loopParalAsync61                      
32 for_loopParalAsync61: li    %24, 0          --> for_loopParalAsync60                      
33 for_loopParalAsync60: li    %25, 0          --> for_loopParalAsync59                      
34 for_loopParalAsync59: li    %26, 0          --> for_loopParalAsync56                      
35 for_loopParalAsync56: emit c29              --> for_loopParalAsync55                      
36 for_loopParalAsync55: li    %5, 0           --> for_loopParalAsync54                      
37 for_loopParalAsync54: emit c28              --> for_loopParalAsync53                      
38 for_loopParalAsync53: li    %0, 0           --> for_loopParalAsync52                      
39 for_loopParalAsync52: emit c27              --> for_loopParalAsync51                      
40 for_loopParalAsync51: li    %24, 3          --> for_loopParalAsync50                      
41 for_loopParalAsync50: add     %0, %0, %24   --> for_loopParalAsync49                      
42 for_loopParalAsync49: emit c26              --> for_loopParalAsync48                      
43 for_loopParalAsync48: li    %23, 2          --> for_loopParalAsync47                      
44 for_loopParalAsync47: mulo    %0, %0, %23   --> for_loopParalAsync46                      
45 for_loopParalAsync46: emit c25              --> for_loopParalAsync45                      
46 for_loopParalAsync45: li    %22, 3          --> for_loopParalAsync44                      
47 for_loopParalAsync44: div     %0, %0, %22   --> for_loopParalAsync43                      
48 for_loopParalAsync43: emit c24              --> for_loopParalAsync42                      
49 for_loopParalAsync42: li    %21, 8          --> for_loopParalAsync41                      
50 for_loopParalAsync41: add     %0, %0, %21   --> for_loopParalAsync40                      
51 for_loopParalAsync40: emit c23              --> for_loopParalAsync39                      
52 for_loopParalAsync39: emit c22              --> for_loopParalAsync38                      
53 for_loopParalAsync38: li    %7, 0           --> for_loopParalAsync20                      
54 for_loopParalAsync20: j                     --> for_loopParalAsync37                      
55 for_loopParalAsync37: li    %18, 0          --> for_loopParalAsync36                      
56 for_loopParalAsync36: emit c21              --> for_loopParalAsync35                      
57 for_loopParalAsync35: li    %20, 20         --> for_loopParalAsync34                      
58 for_loopParalAsync34: slt     %19, %7, %20  --> for_loopParalAsync33                      
59 for_loopParalAsync33: li    %26, 0          --> for_loopParalAsync58                      
60 for_loopParalAsync58: seq     %17, %19, %26 --> for_loopParalAsync32                      
61 for_loopParalAsync32: beq     %17, %18      --> for_loopParalAsync31, for_loopParalAsync19
62 for_loopParalAsync19: emit c16              --> for_loopParalAsync18                      
63 for_loopParalAsync18: emit c15              --> for_loopParalAsync17                      
64 for_loopParalAsync17: li    %6, 1           --> for_loopParalAsync3                       
65 for_loopParalAsync3 : j                     --> for_loopParalAsync16                      
66 for_loopParalAsync16: li    %12, 0          --> for_loopParalAsync15                      
67 for_loopParalAsync15: emit c14              --> for_loopParalAsync14                      
68 for_loopParalAsync14: slt     %13, %6, %0   --> for_loopParalAsync13                      
69 for_loopParalAsync13: li    %25, 0          --> for_loopParalAsync57                      
70 for_loopParalAsync57: seq     %11, %13, %25 --> for_loopParalAsync12                      
71 for_loopParalAsync12: beq     %11, %12      --> for_loopParalAsync11, for_loopParalAsync2 
72 for_loopParalAsync2 : emit c10              --> for_loopParalAsync1                       
73 for_loopParalAsync1 : move    %8, %5        --> for_loopParalAsync0                       
74 for_loopParalAsync0 : return %8                                                           
75 for_loopParalAsync11: emit c12              --> for_loopParalAsync10                      
76 for_loopParalAsync10: li    %10, 2          --> for_loopParalAsync9                       
77 for_loopParalAsync9 : mulo    %2, %2, %10   --> for_loopParalAsync8                       
78 for_loopParalAsync8 : emit c11              --> for_loopParalAsync7                       
79 for_loopParalAsync7 : div     %3, %2, %6    --> for_loopParalAsync6                       
80 for_loopParalAsync6 : emit c13              --> for_loopParalAsync5                       
81 for_loopParalAsync5 : li    %9, 1           --> for_loopParalAsync4                       
82 for_loopParalAsync4 : add     %6, %6, %9    --> for_loopParalAsync3                       
83 for_loopParalAsync31: emit c19              --> for_loopParalAsync30                      
84 for_loopParalAsync30: li    %16, 1          --> for_loopParalAsync29                      
85 for_loopParalAsync29: add     %5, %5, %16   --> for_loopParalAsync28                      
86 for_loopParalAsync28: emit c18              --> for_loopParalAsync27                      
87 for_loopParalAsync27: li    %15, 2          --> for_loopParalAsync26                      
88 for_loopParalAsync26: add     %1, %1, %15   --> for_loopParalAsync25                      
89 for_loopParalAsync25: emit c17              --> for_loopParalAsync24                      
90 for_loopParalAsync24: div     %4, %1, %5    --> for_loopParalAsync23                      
91 for_loopParalAsync23: emit c20              --> for_loopParalAsync22                      
92 for_loopParalAsync22: li    %14, 1          --> for_loopParalAsync21                      
93 for_loopParalAsync21: add     %7, %7, %14   --> for_loopParalAsync20                      
94
95 function for_incrParam(%0; %1) : %5
96 stacksize 0
97 var %0, %1, %2, %3, %4, %5, %6, 
98     %7, %8, %9, %10, %11, %12, %13, 
99     %14
100 entry for_incrParam37
101 for_incrParam37: li    %2, 0          --> for_incrParam36               
102 for_incrParam36: li    %3, 0          --> for_incrParam35               
103 for_incrParam35: li    %4, 0          --> for_incrParam34               
104 for_incrParam34: li    %6, 0          --> for_incrParam33               
105 for_incrParam33: li    %7, 0          --> for_incrParam32               
106 for_incrParam32: li    %8, 0          --> for_incrParam31               
107 for_incrParam31: li    %9, 0          --> for_incrParam30               
108 for_incrParam30: li    %10, 0         --> for_incrParam29               
109 for_incrParam29: li    %11, 0         --> for_incrParam28               
110 for_incrParam28: li    %12, 0         --> for_incrParam27               
111 for_incrParam27: li    %13, 0         --> for_incrParam26               
112 for_incrParam26: li    %14, 0         --> for_incrParam24               
113 for_incrParam24: emit c86             --> for_incrParam23               
114 for_incrParam23: add     %2, %0, %1   --> for_incrParam22               
115 for_incrParam22: emit c85             --> for_incrParam21               
116 for_incrParam21: li    %13, 3         --> for_incrParam20               
117 for_incrParam20: mulo    %4, %13, %2  --> for_incrParam19               
118 for_incrParam19: emit c84             --> for_incrParam18               
119 for_incrParam18: emit c83             --> for_incrParam17               
120 for_incrParam17: li    %12, 4         --> for_incrParam16               
121 for_incrParam16: sub     %3, %2, %12  --> for_incrParam3                
122 for_incrParam3 : j                    --> for_incrParam15               
123 for_incrParam15: li    %8, 0          --> for_incrParam14               
124 for_incrParam14: emit c82             --> for_incrParam13               
125 for_incrParam13: li    %11, 6         --> for_incrParam12               
126 for_incrParam12: add     %10, %1, %11 --> for_incrParam11               
127 for_incrParam11: slt     %9, %3, %10  --> for_incrParam10               
128 for_incrParam10: li    %14, 0         --> for_incrParam25               
129 for_incrParam25: seq     %7, %9, %14  --> for_incrParam9                
130 for_incrParam9 : beq     %7, %8       --> for_incrParam8, for_incrParam2
131 for_incrParam2 : emit c79             --> for_incrParam1                
132 for_incrParam1 : move    %5, %3       --> for_incrParam0                
133 for_incrParam0 : return %5                                              
134 for_incrParam8 : emit c80             --> for_incrParam7                
135 for_incrParam7 : add     %6, %3, %2   --> for_incrParam6                
136 for_incrParam6 : add     %3, %6, %0   --> for_incrParam5                
137 for_incrParam5 : emit c81             --> for_incrParam4                
138 for_incrParam4 : add     %3, %3, %0   --> for_incrParam3                
139
140 function for_incr(%0; %1) : %4
141 stacksize 0
142 var %0, %1, %2, %3, %4, %5, %6, 
143     %7, %8, %9, %10, %11, %12
144 entry for_incr32
145 for_incr32: li    %2, 0         --> for_incr31          
146 for_incr31: li    %3, 0         --> for_incr30          
147 for_incr30: li    %5, 0         --> for_incr29          
148 for_incr29: li    %6, 0         --> for_incr28          
149 for_incr28: li    %7, 0         --> for_incr27          
150 for_incr27: li    %8, 0         --> for_incr26          
151 for_incr26: li    %9, 0         --> for_incr25          
152 for_incr25: li    %10, 0        --> for_incr24          
153 for_incr24: li    %11, 0        --> for_incr23          
154 for_incr23: li    %12, 0        --> for_incr21          
155 for_incr21: emit c78            --> for_incr20          
156 for_incr20: li    %2, 0         --> for_incr19          
157 for_incr19: emit c77            --> for_incr18          
158 for_incr18: emit c76            --> for_incr17          
159 for_incr17: li    %11, 3        --> for_incr16          
160 for_incr16: add     %3, %0, %11 --> for_incr3           
161 for_incr3 : j                   --> for_incr15          
162 for_incr15: li    %7, 0         --> for_incr14          
163 for_incr14: emit c75            --> for_incr13          
164 for_incr13: li    %10, 2        --> for_incr12          
165 for_incr12: mulo    %9, %1, %10 --> for_incr11          
166 for_incr11: sle     %8, %3, %9  --> for_incr10          
167 for_incr10: li    %12, 0        --> for_incr22          
168 for_incr22: seq     %6, %8, %12 --> for_incr9           
169 for_incr9 : beq     %6, %7      --> for_incr8, for_incr2
170 for_incr2 : emit c72            --> for_incr1           
171 for_incr1 : move    %4, %2      --> for_incr0           
172 for_incr0 : return %4                                   
173 for_incr8 : emit c73            --> for_incr7           
174 for_incr7 : sub     %2, %2, %3  --> for_incr6           
175 for_incr6 : emit c74            --> for_incr5           
176 for_incr5 : li    %5, 1         --> for_incr4           
177 for_incr4 : add     %3, %3, %5  --> for_incr3           
178
179 function for_imbriq(%0; %1) : %6
180 stacksize 0
181 var %0, %1, %2, %3, %4, %5, %6, 
182     %7, %8, %9, %10, %11, %12, %13, 
183     %14, %15, %16, %17
184 entry for_imbriq52
185 for_imbriq52: li    %2, 0           --> for_imbriq51             
186 for_imbriq51: li    %3, 0           --> for_imbriq50             
187 for_imbriq50: li    %4, 0           --> for_imbriq49             
188 for_imbriq49: li    %5, 0           --> for_imbriq48             
189 for_imbriq48: li    %7, 0           --> for_imbriq47             
190 for_imbriq47: li    %8, 0           --> for_imbriq46             
191 for_imbriq46: li    %9, 0           --> for_imbriq45             
192 for_imbriq45: li    %10, 0          --> for_imbriq44             
193 for_imbriq44: li    %11, 0          --> for_imbriq43             
194 for_imbriq43: li    %12, 0          --> for_imbriq42             
195 for_imbriq42: li    %13, 0          --> for_imbriq41             
196 for_imbriq41: li    %14, 0          --> for_imbriq40             
197 for_imbriq40: li    %15, 0          --> for_imbriq39             
198 for_imbriq39: li    %16, 0          --> for_imbriq38             
199 for_imbriq38: li    %17, 0          --> for_imbriq34             
200 for_imbriq34: emit c71              --> for_imbriq33             
201 for_imbriq33: li    %5, 0           --> for_imbriq32             
202 for_imbriq32: emit c70              --> for_imbriq31             
203 for_imbriq31: emit c69              --> for_imbriq30             
204 for_imbriq30: li    %3, 0           --> for_imbriq3              
205 for_imbriq3 : j                     --> for_imbriq29             
206 for_imbriq29: li    %12, 0          --> for_imbriq28             
207 for_imbriq28: emit c68              --> for_imbriq27             
208 for_imbriq27: li    %14, 23         --> for_imbriq26             
209 for_imbriq26: slt     %13, %3, %14  --> for_imbriq25             
210 for_imbriq25: li    %16, 0          --> for_imbriq36             
211 for_imbriq36: seq     %11, %13, %16 --> for_imbriq24             
212 for_imbriq24: beq     %11, %12      --> for_imbriq23, for_imbriq2
213 for_imbriq2 : emit c59              --> for_imbriq1              
214 for_imbriq1 : move    %6, %5        --> for_imbriq0              
215 for_imbriq0 : return %6                                          
216 for_imbriq23: emit c66              --> for_imbriq22             
217 for_imbriq22: li    %4, 0           --> for_imbriq21             
218 for_imbriq21: emit c65              --> for_imbriq20             
219 for_imbriq20: emit c64              --> for_imbriq19             
220 for_imbriq19: li    %2, 1           --> for_imbriq6              
221 for_imbriq6 : j                     --> for_imbriq18             
222 for_imbriq18: li    %8, 0           --> for_imbriq17             
223 for_imbriq17: emit c63              --> for_imbriq16             
224 for_imbriq16: li    %10, 12         --> for_imbriq15             
225 for_imbriq15: slt     %9, %2, %10   --> for_imbriq14             
226 for_imbriq14: li    %15, 0          --> for_imbriq35             
227 for_imbriq35: seq     %7, %9, %15   --> for_imbriq13             
228 for_imbriq13: beq     %7, %8        --> for_imbriq12, for_imbriq5
229 for_imbriq5 : emit c67              --> for_imbriq4              
230 for_imbriq4 : add     %3, %3, %0    --> for_imbriq3              
231 for_imbriq12: emit c61              --> for_imbriq11             
232 for_imbriq11: add     %5, %5, %4    --> for_imbriq10             
233 for_imbriq10: emit c60              --> for_imbriq9              
234 for_imbriq9 : la    %17, mod        --> for_imbriq37             
235 for_imbriq37: call  %4, %17(%4, %2) --> for_imbriq8              
236 for_imbriq8 : emit c62              --> for_imbriq7              
237 for_imbriq7 : add     %2, %2, %1    --> for_imbriq6              
238
239 function for_fortSimple(%0; %1; %2) : %7
240 stacksize 0
241 var %0, %1, %2, %3, %4, %5, %6, 
242     %7, %8, %9, %10, %11
243 entry for_fortSimple28
244 for_fortSimple28: li    %3, 0          --> for_fortSimple27                
245 for_fortSimple27: li    %4, 0          --> for_fortSimple26                
246 for_fortSimple26: li    %5, 0          --> for_fortSimple25                
247 for_fortSimple25: li    %6, 0          --> for_fortSimple24                
248 for_fortSimple24: li    %8, 0          --> for_fortSimple23                
249 for_fortSimple23: li    %9, 0          --> for_fortSimple22                
250 for_fortSimple22: li    %10, 0         --> for_fortSimple21                
251 for_fortSimple21: li    %11, 0         --> for_fortSimple19                
252 for_fortSimple19: emit c58             --> for_fortSimple18                
253 for_fortSimple18: li    %3, 0          --> for_fortSimple17                
254 for_fortSimple17: emit c57             --> for_fortSimple16                
255 for_fortSimple16: emit c56             --> for_fortSimple15                
256 for_fortSimple15: move    %5, %0       --> for_fortSimple5                 
257 for_fortSimple5 : j                    --> for_fortSimple14                
258 for_fortSimple14: li    %9, 0          --> for_fortSimple13                
259 for_fortSimple13: emit c55             --> for_fortSimple12                
260 for_fortSimple12: slt     %10, %5, %1  --> for_fortSimple11                
261 for_fortSimple11: li    %11, 0         --> for_fortSimple20                
262 for_fortSimple20: seq     %8, %10, %11 --> for_fortSimple10                
263 for_fortSimple10: beq     %8, %9       --> for_fortSimple9, for_fortSimple4
264 for_fortSimple4 : emit c52             --> for_fortSimple3                 
265 for_fortSimple3 : add     %4, %3, %0   --> for_fortSimple2                 
266 for_fortSimple2 : emit c51             --> for_fortSimple1                 
267 for_fortSimple1 : move    %7, %4       --> for_fortSimple0                 
268 for_fortSimple0 : return %7                                                
269 for_fortSimple9 : emit c53             --> for_fortSimple8                 
270 for_fortSimple8 : add     %3, %3, %5   --> for_fortSimple7                 
271 for_fortSimple7 : emit c54             --> for_fortSimple6                 
272 for_fortSimple6 : add     %5, %5, %2   --> for_fortSimple5                 
273
274 function for_forfor() : %2
275 stacksize 0
276 var %0, %1, %2, %3, %4, %5, %6, 
277     %7, %8, %9, %10
278 entry for_forfor34
279 for_forfor34: li    %0, 0         --> for_forfor33             
280 for_forfor33: li    %1, 0         --> for_forfor32             
281 for_forfor32: li    %3, 0         --> for_forfor31             
282 for_forfor31: li    %4, 0         --> for_forfor30             
283 for_forfor30: li    %5, 0         --> for_forfor29             
284 for_forfor29: li    %6, 0         --> for_forfor28             
285 for_forfor28: li    %7, 0         --> for_forfor27             
286 for_forfor27: li    %8, 0         --> for_forfor26             
287 for_forfor26: li    %9, 0         --> for_forfor25             
288 for_forfor25: li    %10, 0        --> for_forfor23             
289 for_forfor23: emit c94            --> for_forfor22             
290 for_forfor22: emit c93            --> for_forfor21             
291 for_forfor21: li    %1, 0         --> for_forfor20             
292 for_forfor20: emit c92            --> for_forfor19             
293 for_forfor19: li    %0, 0         --> for_forfor3              
294 for_forfor3 : j                   --> for_forfor18             
295 for_forfor18: li    %7, 0         --> for_forfor17             
296 for_forfor17: emit c91            --> for_forfor16             
297 for_forfor16: li    %9, 10        --> for_forfor15             
298 for_forfor15: slt     %8, %1, %9  --> for_forfor14             
299 for_forfor14: li    %10, 0        --> for_forfor24             
300 for_forfor24: seq     %6, %8, %10 --> for_forfor13             
301 for_forfor13: beq     %6, %7      --> for_forfor12, for_forfor2
302 for_forfor2 : emit c87            --> for_forfor1              
303 for_forfor1 : move    %2, %0      --> for_forfor0              
304 for_forfor0 : return %2                                        
305 for_forfor12: emit c89            --> for_forfor11             
306 for_forfor11: li    %5, 1         --> for_forfor10             
307 for_forfor10: add     %0, %0, %5  --> for_forfor9              
308 for_forfor9 : emit c88            --> for_forfor8              
309 for_forfor8 : li    %4, 1         --> for_forfor7              
310 for_forfor7 : add     %0, %0, %4  --> for_forfor6              
311 for_forfor6 : emit c90            --> for_forfor5              
312 for_forfor5 : li    %3, 1         --> for_forfor4              
313 for_forfor4 : add     %1, %1, %3  --> for_forfor3              
314
315 function for_ex(%0; %1; %2) : %5
316 stacksize 0
317 var %0, %1, %2, %3, %4, %5, %6, 
318     %7, %8, %9, %10, %11, %12
319 entry for_ex30
320 for_ex30: li    %3, 0         --> for_ex29        
321 for_ex29: li    %4, 0         --> for_ex28        
322 for_ex28: li    %6, 0         --> for_ex27        
323 for_ex27: li    %7, 0         --> for_ex26        
324 for_ex26: li    %8, 0         --> for_ex25        
325 for_ex25: li    %9, 0         --> for_ex24        
326 for_ex24: li    %10, 0        --> for_ex23        
327 for_ex23: li    %11, 0        --> for_ex22        
328 for_ex22: li    %12, 0        --> for_ex20        
329 for_ex20: emit c50            --> for_ex19        
330 for_ex19: li    %3, 0         --> for_ex18        
331 for_ex18: emit c49            --> for_ex17        
332 for_ex17: emit c48            --> for_ex16        
333 for_ex16: li    %11, 3        --> for_ex15        
334 for_ex15: add     %4, %0, %11 --> for_ex3         
335 for_ex3 : j                   --> for_ex14        
336 for_ex14: li    %7, 0         --> for_ex13        
337 for_ex13: emit c47            --> for_ex12        
338 for_ex12: li    %10, 2        --> for_ex11        
339 for_ex11: mulo    %9, %1, %10 --> for_ex10        
340 for_ex10: sle     %8, %4, %9  --> for_ex9         
341 for_ex9 : li    %12, 0        --> for_ex21        
342 for_ex21: seq     %6, %8, %12 --> for_ex8         
343 for_ex8 : beq     %6, %7      --> for_ex7, for_ex2
344 for_ex2 : emit c44            --> for_ex1         
345 for_ex1 : move    %5, %3      --> for_ex0         
346 for_ex0 : return %5                               
347 for_ex7 : emit c45            --> for_ex6         
348 for_ex6 : sub     %3, %3, %4  --> for_ex5         
349 for_ex5 : emit c46            --> for_ex4         
350 for_ex4 : add     %4, %4, %2  --> for_ex3         
351
352 function for_double(%0) : %6
353 stacksize 0
354 var %0, %1, %2, %3, %4, %5, %6, 
355     %7, %8, %9, %10, %11, %12, %13, 
356     %14, %15, %16
357 entry for_double53
358 for_double53: li    %1, 0           --> for_double52              
359 for_double52: li    %2, 0           --> for_double51              
360 for_double51: li    %3, 0           --> for_double50              
361 for_double50: li    %4, 0           --> for_double49              
362 for_double49: li    %5, 0           --> for_double48              
363 for_double48: li    %7, 0           --> for_double47              
364 for_double47: li    %8, 0           --> for_double46              
365 for_double46: li    %9, 0           --> for_double45              
366 for_double45: li    %10, 0          --> for_double44              
367 for_double44: li    %11, 0          --> for_double43              
368 for_double43: li    %12, 0          --> for_double42              
369 for_double42: li    %13, 0          --> for_double41              
370 for_double41: li    %14, 0          --> for_double40              
371 for_double40: li    %15, 0          --> for_double39              
372 for_double39: li    %16, 0          --> for_double36              
373 for_double36: emit c43              --> for_double35              
374 for_double35: li    %5, 0           --> for_double34              
375 for_double34: emit c42              --> for_double33              
376 for_double33: li    %4, 0           --> for_double32              
377 for_double32: emit c41              --> for_double31              
378 for_double31: emit c40              --> for_double30              
379 for_double30: li    %2, 0           --> for_double19              
380 for_double19: j                     --> for_double29              
381 for_double29: li    %12, 0          --> for_double28              
382 for_double28: emit c39              --> for_double27              
383 for_double27: li    %14, 12         --> for_double26              
384 for_double26: slt     %13, %2, %14  --> for_double25              
385 for_double25: li    %16, 0          --> for_double38              
386 for_double38: seq     %11, %13, %16 --> for_double24              
387 for_double24: beq     %11, %12      --> for_double23, for_double18
388 for_double18: emit c36              --> for_double17              
389 for_double17: emit c35              --> for_double16              
390 for_double16: li    %1, 0           --> for_double5               
391 for_double5 : j                     --> for_double15              
392 for_double15: li    %8, 0           --> for_double14              
393 for_double14: emit c34              --> for_double13              
394 for_double13: li    %10, 5          --> for_double12              
395 for_double12: slt     %9, %1, %10   --> for_double11              
396 for_double11: li    %15, 0          --> for_double37              
397 for_double37: seq     %7, %9, %15   --> for_double10              
398 for_double10: beq     %7, %8        --> for_double9, for_double4  
399 for_double4 : emit c31              --> for_double3               
400 for_double3 : mulo    %3, %5, %4    --> for_double2               
401 for_double2 : emit c30              --> for_double1               
402 for_double1 : move    %6, %3        --> for_double0               
403 for_double0 : return %6                                           
404 for_double9 : emit c32              --> for_double8               
405 for_double8 : add     %4, %4, %1    --> for_double7               
406 for_double7 : emit c33              --> for_double6               
407 for_double6 : add     %1, %1, %0    --> for_double5               
408 for_double23: emit c37              --> for_double22              
409 for_double22: add     %5, %5, %2    --> for_double21              
410 for_double21: emit c38              --> for_double20              
411 for_double20: add     %2, %2, %0    --> for_double19              
412
413 function for_2(%0; %1) : %7
414 stacksize 0
415 var %0, %1, %2, %3, %4, %5, %6, 
416     %7, %8, %9, %10, %11, %12, %13, 
417     %14, %15
418 entry for_241
419 for_241: li    %2, 0          --> for_240       
420 for_240: li    %3, 0          --> for_239       
421 for_239: li    %4, 0          --> for_238       
422 for_238: li    %5, 0          --> for_237       
423 for_237: li    %6, 0          --> for_236       
424 for_236: li    %8, 0          --> for_235       
425 for_235: li    %9, 0          --> for_234       
426 for_234: li    %10, 0         --> for_233       
427 for_233: li    %11, 0         --> for_232       
428 for_232: li    %12, 0         --> for_231       
429 for_231: li    %13, 0         --> for_230       
430 for_230: li    %14, 0         --> for_229       
431 for_229: li    %15, 0         --> for_227       
432 for_227: emit c9              --> for_226       
433 for_226: li    %5, 0          --> for_225       
434 for_225: emit c8              --> for_224       
435 for_224: li    %14, 2         --> for_223       
436 for_223: mulo    %6, %0, %14  --> for_222       
437 for_222: emit c7              --> for_221       
438 for_221: li    %13, 4         --> for_220       
439 for_220: mulo    %2, %0, %13  --> for_219       
440 for_219: emit c6              --> for_218       
441 for_218: li    %12, 1         --> for_217       
442 for_217: add     %3, %1, %12  --> for_216       
443 for_216: emit c5              --> for_215       
444 for_215: emit c4              --> for_214       
445 for_214: move    %4, %6       --> for_24        
446 for_24 : j                    --> for_213       
447 for_213: li    %10, 0         --> for_212       
448 for_212: emit c3              --> for_211       
449 for_211: slt     %11, %4, %2  --> for_210       
450 for_210: li    %15, 0         --> for_228       
451 for_228: seq     %9, %11, %15 --> for_29        
452 for_29 : beq     %9, %10      --> for_28, for_23
453 for_23 : emit c0              --> for_22        
454 for_22 : li    %8, 1          --> for_21        
455 for_21 : add     %7, %5, %8   --> for_20        
456 for_20 : return %7                              
457 for_28 : emit c1              --> for_27        
458 for_27 : add     %5, %5, %4   --> for_26        
459 for_26 : emit c2              --> for_25        
460 for_25 : add     %4, %4, %3   --> for_24        
461
462 function _main() : %1
463 stacksize 0
464 var %0, %1, %2, %3, %4, %5, %6, 
465     %7, %8, %9, %10, %11, %12, %13, 
466     %14, %15, %16, %17, %18, %19, %20, 
467     %21, %22, %23, %24, %25, %26, %27, 
468     %28
469 entry main75
470 main75: li    %0, 0                   --> main74
471 main74: li    %2, 0                   --> main73
472 main73: li    %3, 0                   --> main72
473 main72: li    %4, 0                   --> main71
474 main71: li    %5, 0                   --> main70
475 main70: li    %6, 0                   --> main69
476 main69: li    %7, 0                   --> main68
477 main68: li    %8, 0                   --> main67
478 main67: li    %9, 0                   --> main66
479 main66: li    %10, 0                  --> main65
480 main65: li    %11, 0                  --> main64
481 main64: li    %12, 0                  --> main63
482 main63: li    %13, 0                  --> main62
483 main62: li    %14, 0                  --> main61
484 main61: li    %15, 0                  --> main60
485 main60: li    %16, 0                  --> main59
486 main59: li    %17, 0                  --> main58
487 main58: li    %18, 0                  --> main57
488 main57: li    %19, 0                  --> main56
489 main56: li    %20, 0                  --> main55
490 main55: li    %21, 0                  --> main54
491 main54: li    %22, 0                  --> main53
492 main53: li    %23, 0                  --> main52
493 main52: li    %24, 0                  --> main51
494 main51: li    %25, 0                  --> main50
495 main50: li    %26, 0                  --> main49
496 main49: li    %27, 0                  --> main48
497 main48: li    %28, 0                  --> main38
498 main38: emit c104                     --> main37
499 main37: li    %18, 3                  --> main36
500 main36: li    %19, 1                  --> main35
501 main35: la    %26, for_2              --> main45
502 main45: call  %0, %26(%18, %19)       --> main34
503 main34: emit c103                     --> main33
504 main33: li    %15, 1                  --> main32
505 main32: li    %16, 2                  --> main31
506 main31: li    %17, 3                  --> main30
507 main30: la    %25, for_loopParalAsync --> main44
508 main44: call  %0, %25(%15, %16, %17)  --> main29
509 main29: emit c102                     --> main28
510 main28: li    %14, 1                  --> main27
511 main27: la    %23, for_double         --> main42
512 main42: call  %0, %23(%14)            --> main26
513 main26: emit c101                     --> main25
514 main25: li    %11, 2                  --> main24
515 main24: li    %12, 10                 --> main23
516 main23: li    %13, 1                  --> main22
517 main22: la    %22, for_ex             --> main41
518 main41: call  %0, %22(%11, %12, %13)  --> main21
519 main21: emit c100                     --> main20
520 main20: li    %8, 2                   --> main19
521 main19: li    %9, 10                  --> main18
522 main18: li    %10, 1                  --> main17
523 main17: la    %21, for_fortSimple     --> main40
524 main40: call  %0, %21(%8, %9, %10)    --> main16
525 main16: emit c99                      --> main15
526 main15: li    %6, 2                   --> main14
527 main14: li    %7, 3                   --> main13
528 main13: la    %20, for_imbriq         --> main39
529 main39: call  %0, %20(%6, %7)         --> main12
530 main12: emit c98                      --> main11
531 main11: li    %4, 2                   --> main10
532 main10: li    %5, 3                   --> main9 
533 main9 : la    %28, for_incr           --> main47
534 main47: call  %0, %28(%4, %5)         --> main8 
535 main8 : emit c97                      --> main7 
536 main7 : li    %2, 2                   --> main6 
537 main6 : li    %3, 3                   --> main5 
538 main5 : la    %27, for_incrParam      --> main46
539 main46: call  %0, %27(%2, %3)         --> main4 
540 main4 : emit c96                      --> main3 
541 main3 : la    %24, for_forfor         --> main43
542 main43: call  %0, %24()               --> main2 
543 main2 : emit c95                      --> main1 
544 main1 : move    %1, %0                --> main0 
545 main0 : return %1                               
546
547 __builtin_varargs_start: int -> void
548
549
550 __builtin_va_start: int -> int -> void
551
552
553 __builtin_va_end: int -> void
554
555
556 __builtin_va_copy: int -> int -> void
557
558
559 __builtin_va_arg: int -> int -> void
560
561
562 __builtin_types_compatible_p: int -> int -> int
563
564
565 __builtin_tanl: float -> float
566
567
568 __builtin_tanhl: float -> float
569
570
571 __builtin_tanhf: float -> float
572
573
574 __builtin_tanh: float -> float
575
576
577 __builtin_tanf: float -> float
578
579
580 __builtin_tan: float -> float
581
582
583 __builtin_strspn: int -> int -> int
584
585
586 __builtin_strpbrk: int -> int -> int
587
588
589 __builtin_strncpy: int -> int -> int -> int
590
591
592 __builtin_strncmp: int -> int -> int -> int
593
594
595 __builtin_strncat: int -> int -> int -> int
596
597
598 __builtin_strcspn: int -> int -> int
599
600
601 __builtin_strcpy: int -> int -> int
602
603
604 __builtin_strcmp: int -> int -> int
605
606
607 __builtin_strchr: int -> int -> int
608
609
610 __builtin_stpcpy: int -> int -> int
611
612
613 __builtin_stdarg_start: int -> void
614
615
616 __builtin_sqrtl: float -> float
617
618
619 __builtin_sqrtf: float -> float
620
621
622 __builtin_sqrt: float -> float
623
624
625 __builtin_sinl: float -> float
626
627
628 __builtin_sinhl: float -> float
629
630
631 __builtin_sinhf: float -> float
632
633
634 __builtin_sinh: float -> float
635
636
637 __builtin_sinf: float -> float
638
639
640 __builtin_sin: float -> float
641
642
643 __builtin_return_address: int -> int
644
645
646 __builtin_return: int -> void
647
648
649 __builtin_powil: float -> int -> float
650
651
652 __builtin_powif: float -> int -> float
653
654
655 __builtin_powi: float -> int -> float
656
657
658 __builtin_popcountll: int -> int
659
660
661 __builtin_popcountl: int -> int
662
663
664 __builtin_popcount: int -> int
665
666
667 __builtin_parityll: int -> int
668
669
670 __builtin_parityl: int -> int
671
672
673 __builtin_parity: int -> int
674
675
676 __builtin_object_size: int -> int -> int
677
678
679 __builtin_next_arg: int
680
681
682 __builtin_nansl: int -> float
683
684
685 __builtin_nansf: int -> float
686
687
688 __builtin_nans: int -> float
689
690
691 __builtin_nanl: int -> float
692
693
694 __builtin_nanf: int -> float
695
696
697 __builtin_nan: int -> float
698
699
700 __builtin_modfl: float -> int -> float
701
702
703 __builtin_modff: float -> int -> float
704
705
706 __builtin_mempcpy: int -> int -> int -> int
707
708
709 __builtin_memcpy: int -> int -> int -> int
710
711
712 __builtin_logl: float -> float
713
714
715 __builtin_logf: float -> float
716
717
718 __builtin_log10l: float -> float
719
720
721 __builtin_log10f: float -> float
722
723
724 __builtin_log10: float -> float
725
726
727 __builtin_log: float -> float
728
729
730 __builtin_ldexpl: float -> int -> float
731
732
733 __builtin_ldexpf: float -> int -> float
734
735
736 __builtin_ldexp: float -> int -> float
737
738
739 __builtin_infl: float
740
741
742 __builtin_inff: float
743
744
745 __builtin_inf: float
746
747
748 __builtin_huge_vall: float
749
750
751 __builtin_huge_valf: float
752
753
754 __builtin_huge_val: float
755
756
757 __builtin_frexpl: float -> int -> float
758
759
760 __builtin_frexpf: float -> int -> float
761
762
763 __builtin_frexp: float -> int -> float
764
765
766 __builtin_frame_address: int -> int
767
768
769 __builtin_fmodl: float -> float
770
771
772 __builtin_fmodf: float -> float
773
774
775 __builtin_fmod: float -> float
776
777
778 __builtin_floorl: float -> float
779
780
781 __builtin_floorf: float -> float
782
783
784 __builtin_floor: float -> float
785
786
787 __builtin_ffsll: int -> int
788
789
790 __builtin_ffsl: int -> int
791
792
793 __builtin_ffs: int -> int
794
795
796 __builtin_fabsl: float -> float
797
798
799 __builtin_fabsf: float -> float
800
801
802 __builtin_fabs: float -> float
803
804
805 __builtin_expl: float -> float
806
807
808 __builtin_expf: float -> float
809
810
811 __builtin_expect: int -> int -> int
812
813
814 __builtin_exp: float -> float
815
816
817 __builtin_ctzll: int -> int
818
819
820 __builtin_ctzl: int -> int
821
822
823 __builtin_ctz: int -> int
824
825
826 __builtin_cosl: float -> float
827
828
829 __builtin_coshl: float -> float
830
831
832 __builtin_coshf: float -> float
833
834
835 __builtin_cosh: float -> float
836
837
838 __builtin_cosf: float -> float
839
840
841 __builtin_cos: float -> float
842
843
844 __builtin_constant_p: int -> int
845
846
847 __builtin_clzll: int -> int
848
849
850 __builtin_clzl: int -> int
851
852
853 __builtin_clz: int -> int
854
855
856 __builtin_ceill: float -> float
857
858
859 __builtin_ceilf: float -> float
860
861
862 __builtin_ceil: float -> float
863
864
865 __builtin_atanl: float -> float
866
867
868 __builtin_atanf: float -> float
869
870
871 __builtin_atan2l: float -> float -> float
872
873
874 __builtin_atan2f: float -> float -> float
875
876
877 __builtin_atan2: float -> float -> float
878
879
880 __builtin_atan: float -> float
881
882
883 __builtin_asinl: float -> float
884
885
886 __builtin_asinf: float -> float
887
888
889 __builtin_asin: float -> float
890
891
892 __builtin_alloca: int -> int
893
894
895 __builtin_acosl: float -> float
896
897
898 __builtin_acosf: float -> float
899
900
901 __builtin_acos: float -> float
902
903
904 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
905
906
907 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
908
909
910 __builtin___vprintf_chk: int -> int -> int -> int
911
912
913 __builtin___vfprintf_chk: int -> int -> int -> int -> int
914
915
916 __builtin___strncpy_chk: int -> int -> int -> int -> int
917
918
919 __builtin___strncat_chk: int -> int -> int -> int -> int
920
921
922 __builtin___strcpy_chk: int -> int -> int -> int
923
924
925 __builtin___strcat_chk: int -> int -> int -> int
926
927
928 __builtin___stpcpy_chk: int -> int -> int -> int
929
930
931 __builtin___memset_chk: int -> int -> int -> int -> int
932
933
934 __builtin___mempcpy_chk: int -> int -> int -> int -> int
935
936
937 __builtin___memmove_chk: int -> int -> int -> int -> int
938
939
940 __builtin___memcpy_chk: int -> int -> int -> int -> int
941
942