]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/fir_complexe.LTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / fir_complexe.LTL.expected
1 program
2
3 globals 384
4
5 procedure init(0)
6 var 0
7 entry init97
8 init97 : newframe                --> init96       
9 init96 : j                       --> init95       
10 init95 : j                       --> init94       
11 init94 : j                       --> init93       
12 init93 : j                       --> init92       
13 init92 : j                       --> init91       
14 init91 : j                       --> init90       
15 init90 : j                       --> init89       
16 init89 : j                       --> init88       
17 init88 : j                       --> init87       
18 init87 : j                       --> init86       
19 init86 : j                       --> init85       
20 init85 : j                       --> init84       
21 init84 : j                       --> init83       
22 init83 : j                       --> init82       
23 init82 : j                       --> init81       
24 init81 : j                       --> init80       
25 init80 : j                       --> init79       
26 init79 : j                       --> init78       
27 init78 : j                       --> init77       
28 init77 : j                       --> init76       
29 init76 : j                       --> init75       
30 init75 : j                       --> init74       
31 init74 : j                       --> init73       
32 init73 : j                       --> init72       
33 init72 : j                       --> init71       
34 init71 : j                       --> init70       
35 init70 : j                       --> init69       
36 init69 : j                       --> init68       
37 init68 : j                       --> init67       
38 init67 : j                       --> init66       
39 init66 : j                       --> init65       
40 init65 : j                       --> init64       
41 init64 : j                       --> init63       
42 init63 : j                       --> init62       
43 init62 : j                       --> init61       
44 init61 : j                       --> init60       
45 init60 : j                       --> init59       
46 init59 : j                       --> init58       
47 init58 : j                       --> init57       
48 init57 : j                       --> init43       
49 init43 : emit c9                 --> init42       
50 init42 : emit c8                 --> init41       
51 init41 : li    $a2, 0            --> init1        
52 init1  : j                       --> init40       
53 init40 : li    $a0, 0            --> init39       
54 init39 : emit c7                 --> init38       
55 init38 : li    $v0, 16           --> init37       
56 init37 : slt     $v0, $a2, $v0   --> init36       
57 init36 : j                       --> init54       
58 init54 : seq     $v0, $v0, $zero --> init35       
59 init35 : beq     $v0, $a0        --> init34, init0
60 init0  : j                       --> init108      
61 init108: j                       --> init107      
62 init107: j                       --> init106      
63 init106: j                       --> init105      
64 init105: j                       --> init104      
65 init104: j                       --> init103      
66 init103: j                       --> init102      
67 init102: j                       --> init101      
68 init101: j                       --> init100      
69 init100: j                       --> init99       
70 init99 : delframe                --> init98       
71 init98 : jr    $ra                                
72 init34 : emit c5                 --> init33       
73 init33 : li    $a1, 2            --> init32       
74 init32 : li    $v0, 4            --> init31       
75 init31 : mulo    $a0, $a2, $v0   --> init30       
76 init30 : move    $v0, $gp        --> init113      
77 init113: j                       --> init53       
78 init53 : add     $v0, $v0, $a0   --> init52       
79 init52 : lw    $a1, 0($v0)       --> init29       
80 init29 : emit c4                 --> init28       
81 init28 : li    $a1, 2            --> init27       
82 init27 : li    $v0, 4            --> init26       
83 init26 : mulo    $a0, $a2, $v0   --> init25       
84 init25 : move    $v0, $gp        --> init112      
85 init112: j                       --> init51       
86 init51 : add     $v0, $v0, $a0   --> init50       
87 init50 : lw    $a1, 64($v0)      --> init24       
88 init24 : emit c3                 --> init23       
89 init23 : li    $a1, 2            --> init22       
90 init22 : li    $v0, 4            --> init21       
91 init21 : mulo    $a0, $a2, $v0   --> init20       
92 init20 : move    $v0, $gp        --> init111      
93 init111: j                       --> init49       
94 init49 : add     $v0, $v0, $a0   --> init48       
95 init48 : lw    $a1, 128($v0)     --> init19       
96 init19 : emit c2                 --> init18       
97 init18 : li    $a1, 2            --> init17       
98 init17 : li    $v0, 4            --> init16       
99 init16 : mulo    $a0, $a2, $v0   --> init15       
100 init15 : move    $v0, $gp        --> init110      
101 init110: j                       --> init47       
102 init47 : add     $v0, $v0, $a0   --> init46       
103 init46 : lw    $a1, 192($v0)     --> init14       
104 init14 : emit c1                 --> init13       
105 init13 : li    $a1, 2            --> init12       
106 init12 : li    $v0, 4            --> init11       
107 init11 : mulo    $a0, $a2, $v0   --> init10       
108 init10 : move    $v0, $gp        --> init109      
109 init109: j                       --> init45       
110 init45 : add     $v0, $v0, $a0   --> init44       
111 init44 : lw    $a1, 256($v0)     --> init9        
112 init9  : emit c0                 --> init8        
113 init8  : li    $a1, 2            --> init7        
114 init7  : li    $v0, 4            --> init6        
115 init6  : mulo    $a0, $a2, $v0   --> init5        
116 init5  : move    $v0, $gp        --> init114      
117 init114: j                       --> init56       
118 init56 : add     $v0, $v0, $a0   --> init55       
119 init55 : lw    $a1, 320($v0)     --> init4        
120 init4  : emit c6                 --> init3        
121 init3  : li    $v0, 1            --> init2        
122 init2  : add     $a2, $a2, $v0   --> init1        
123
124 procedure comp_fir_complexe(7)
125 var 188
126 entry comp_fir_complexe265
127 comp_fir_complexe265: newframe                --> comp_fir_complexe264                      
128 comp_fir_complexe264: lw    $ra, 172($sp)     --> comp_fir_complexe263                      
129 comp_fir_complexe263: lw    $s7, 168($sp)     --> comp_fir_complexe262                      
130 comp_fir_complexe262: lw    $s6, 164($sp)     --> comp_fir_complexe261                      
131 comp_fir_complexe261: lw    $s5, 160($sp)     --> comp_fir_complexe260                      
132 comp_fir_complexe260: lw    $s4, 156($sp)     --> comp_fir_complexe259                      
133 comp_fir_complexe259: lw    $s3, 152($sp)     --> comp_fir_complexe258                      
134 comp_fir_complexe258: lw    $s2, 148($sp)     --> comp_fir_complexe257                      
135 comp_fir_complexe257: lw    $s1, 144($sp)     --> comp_fir_complexe256                      
136 comp_fir_complexe256: lw    $s0, 140($sp)     --> comp_fir_complexe255                      
137 comp_fir_complexe255: lw    $a0, 128($sp)     --> comp_fir_complexe254                      
138 comp_fir_complexe254: lw    $a1, 132($sp)     --> comp_fir_complexe253                      
139 comp_fir_complexe253: move    $s6, $a2        --> comp_fir_complexe252                      
140 comp_fir_complexe252: move    $s5, $a3        --> comp_fir_complexe251                      
141 comp_fir_complexe251: lw    $v1, 176($sp)     --> comp_fir_complexe293                      
142 comp_fir_complexe293: lw    $v1, 136($sp)     --> comp_fir_complexe250                      
143 comp_fir_complexe250: lw    $s7, 180($sp)     --> comp_fir_complexe249                      
144 comp_fir_complexe249: lw    $s4, 184($sp)     --> comp_fir_complexe248                      
145 comp_fir_complexe248: j                       --> comp_fir_complexe247                      
146 comp_fir_complexe247: j                       --> comp_fir_complexe246                      
147 comp_fir_complexe246: j                       --> comp_fir_complexe245                      
148 comp_fir_complexe245: j                       --> comp_fir_complexe244                      
149 comp_fir_complexe244: j                       --> comp_fir_complexe243                      
150 comp_fir_complexe243: j                       --> comp_fir_complexe242                      
151 comp_fir_complexe242: j                       --> comp_fir_complexe241                      
152 comp_fir_complexe241: j                       --> comp_fir_complexe240                      
153 comp_fir_complexe240: j                       --> comp_fir_complexe239                      
154 comp_fir_complexe239: j                       --> comp_fir_complexe238                      
155 comp_fir_complexe238: j                       --> comp_fir_complexe237                      
156 comp_fir_complexe237: j                       --> comp_fir_complexe236                      
157 comp_fir_complexe236: j                       --> comp_fir_complexe235                      
158 comp_fir_complexe235: j                       --> comp_fir_complexe234                      
159 comp_fir_complexe234: j                       --> comp_fir_complexe233                      
160 comp_fir_complexe233: j                       --> comp_fir_complexe232                      
161 comp_fir_complexe232: j                       --> comp_fir_complexe231                      
162 comp_fir_complexe231: j                       --> comp_fir_complexe230                      
163 comp_fir_complexe230: j                       --> comp_fir_complexe229                      
164 comp_fir_complexe229: j                       --> comp_fir_complexe228                      
165 comp_fir_complexe228: j                       --> comp_fir_complexe227                      
166 comp_fir_complexe227: j                       --> comp_fir_complexe226                      
167 comp_fir_complexe226: j                       --> comp_fir_complexe225                      
168 comp_fir_complexe225: j                       --> comp_fir_complexe224                      
169 comp_fir_complexe224: j                       --> comp_fir_complexe223                      
170 comp_fir_complexe223: j                       --> comp_fir_complexe222                      
171 comp_fir_complexe222: j                       --> comp_fir_complexe221                      
172 comp_fir_complexe221: j                       --> comp_fir_complexe220                      
173 comp_fir_complexe220: j                       --> comp_fir_complexe219                      
174 comp_fir_complexe219: j                       --> comp_fir_complexe218                      
175 comp_fir_complexe218: j                       --> comp_fir_complexe217                      
176 comp_fir_complexe217: j                       --> comp_fir_complexe216                      
177 comp_fir_complexe216: j                       --> comp_fir_complexe215                      
178 comp_fir_complexe215: j                       --> comp_fir_complexe214                      
179 comp_fir_complexe214: j                       --> comp_fir_complexe213                      
180 comp_fir_complexe213: j                       --> comp_fir_complexe212                      
181 comp_fir_complexe212: j                       --> comp_fir_complexe211                      
182 comp_fir_complexe211: j                       --> comp_fir_complexe210                      
183 comp_fir_complexe210: j                       --> comp_fir_complexe209                      
184 comp_fir_complexe209: j                       --> comp_fir_complexe208                      
185 comp_fir_complexe208: j                       --> comp_fir_complexe207                      
186 comp_fir_complexe207: j                       --> comp_fir_complexe206                      
187 comp_fir_complexe206: j                       --> comp_fir_complexe205                      
188 comp_fir_complexe205: j                       --> comp_fir_complexe204                      
189 comp_fir_complexe204: j                       --> comp_fir_complexe203                      
190 comp_fir_complexe203: j                       --> comp_fir_complexe202                      
191 comp_fir_complexe202: j                       --> comp_fir_complexe201                      
192 comp_fir_complexe201: j                       --> comp_fir_complexe200                      
193 comp_fir_complexe200: j                       --> comp_fir_complexe199                      
194 comp_fir_complexe199: j                       --> comp_fir_complexe198                      
195 comp_fir_complexe198: j                       --> comp_fir_complexe197                      
196 comp_fir_complexe197: j                       --> comp_fir_complexe196                      
197 comp_fir_complexe196: j                       --> comp_fir_complexe195                      
198 comp_fir_complexe195: j                       --> comp_fir_complexe194                      
199 comp_fir_complexe194: j                       --> comp_fir_complexe193                      
200 comp_fir_complexe193: j                       --> comp_fir_complexe192                      
201 comp_fir_complexe192: j                       --> comp_fir_complexe191                      
202 comp_fir_complexe191: j                       --> comp_fir_complexe190                      
203 comp_fir_complexe190: j                       --> comp_fir_complexe189                      
204 comp_fir_complexe189: j                       --> comp_fir_complexe188                      
205 comp_fir_complexe188: j                       --> comp_fir_complexe187                      
206 comp_fir_complexe187: j                       --> comp_fir_complexe186                      
207 comp_fir_complexe186: j                       --> comp_fir_complexe185                      
208 comp_fir_complexe185: j                       --> comp_fir_complexe184                      
209 comp_fir_complexe184: j                       --> comp_fir_complexe183                      
210 comp_fir_complexe183: j                       --> comp_fir_complexe182                      
211 comp_fir_complexe182: j                       --> comp_fir_complexe181                      
212 comp_fir_complexe181: j                       --> comp_fir_complexe180                      
213 comp_fir_complexe180: j                       --> comp_fir_complexe179                      
214 comp_fir_complexe179: j                       --> comp_fir_complexe178                      
215 comp_fir_complexe178: j                       --> comp_fir_complexe177                      
216 comp_fir_complexe177: j                       --> comp_fir_complexe176                      
217 comp_fir_complexe176: j                       --> comp_fir_complexe175                      
218 comp_fir_complexe175: j                       --> comp_fir_complexe174                      
219 comp_fir_complexe174: j                       --> comp_fir_complexe173                      
220 comp_fir_complexe173: j                       --> comp_fir_complexe172                      
221 comp_fir_complexe172: j                       --> comp_fir_complexe171                      
222 comp_fir_complexe171: j                       --> comp_fir_complexe170                      
223 comp_fir_complexe170: j                       --> comp_fir_complexe169                      
224 comp_fir_complexe169: j                       --> comp_fir_complexe168                      
225 comp_fir_complexe168: j                       --> comp_fir_complexe167                      
226 comp_fir_complexe167: j                       --> comp_fir_complexe166                      
227 comp_fir_complexe166: j                       --> comp_fir_complexe165                      
228 comp_fir_complexe165: j                       --> comp_fir_complexe164                      
229 comp_fir_complexe164: j                       --> comp_fir_complexe163                      
230 comp_fir_complexe163: j                       --> comp_fir_complexe162                      
231 comp_fir_complexe162: j                       --> comp_fir_complexe161                      
232 comp_fir_complexe161: j                       --> comp_fir_complexe160                      
233 comp_fir_complexe160: j                       --> comp_fir_complexe159                      
234 comp_fir_complexe159: j                       --> comp_fir_complexe158                      
235 comp_fir_complexe158: j                       --> comp_fir_complexe157                      
236 comp_fir_complexe157: j                       --> comp_fir_complexe156                      
237 comp_fir_complexe156: j                       --> comp_fir_complexe155                      
238 comp_fir_complexe155: j                       --> comp_fir_complexe154                      
239 comp_fir_complexe154: j                       --> comp_fir_complexe153                      
240 comp_fir_complexe153: j                       --> comp_fir_complexe152                      
241 comp_fir_complexe152: j                       --> comp_fir_complexe151                      
242 comp_fir_complexe151: j                       --> comp_fir_complexe150                      
243 comp_fir_complexe150: j                       --> comp_fir_complexe130                      
244 comp_fir_complexe130: emit c39                --> comp_fir_complexe129                      
245 comp_fir_complexe129: emit c38                --> comp_fir_complexe128                      
246 comp_fir_complexe128: li    $a1, 0            --> comp_fir_complexe106                      
247 comp_fir_complexe106: j                       --> comp_fir_complexe127                      
248 comp_fir_complexe127: li    $a0, 0            --> comp_fir_complexe126                      
249 comp_fir_complexe126: emit c37                --> comp_fir_complexe125                      
250 comp_fir_complexe125: li    $v0, 16           --> comp_fir_complexe124                      
251 comp_fir_complexe124: slt     $v0, $a1, $v0   --> comp_fir_complexe123                      
252 comp_fir_complexe123: j                       --> comp_fir_complexe134                      
253 comp_fir_complexe134: seq     $v0, $v0, $zero --> comp_fir_complexe122                      
254 comp_fir_complexe122: beq     $v0, $a0        --> comp_fir_complexe121, comp_fir_complexe105
255 comp_fir_complexe105: emit c33                --> comp_fir_complexe104                      
256 comp_fir_complexe104: li    $v0, 0            --> comp_fir_complexe103                      
257 comp_fir_complexe103: emit c32                --> comp_fir_complexe102                      
258 comp_fir_complexe102: li    $s0, 0            --> comp_fir_complexe101                      
259 comp_fir_complexe101: emit c31                --> comp_fir_complexe100                      
260 comp_fir_complexe100: li    $s3, 0            --> comp_fir_complexe99                       
261 comp_fir_complexe99 : emit c30                --> comp_fir_complexe98                       
262 comp_fir_complexe98 : emit c29                --> comp_fir_complexe97                       
263 comp_fir_complexe97 : li    $s2, 0            --> comp_fir_complexe3                        
264 comp_fir_complexe3  : j                       --> comp_fir_complexe96                       
265 comp_fir_complexe96 : li    $a1, 0            --> comp_fir_complexe95                       
266 comp_fir_complexe95 : emit c28                --> comp_fir_complexe94                       
267 comp_fir_complexe94 : slt     $a0, $s2, $s4   --> comp_fir_complexe93                       
268 comp_fir_complexe93 : j                       --> comp_fir_complexe149                      
269 comp_fir_complexe149: seq     $a0, $a0, $zero --> comp_fir_complexe92                       
270 comp_fir_complexe92 : beq     $a0, $a1        --> comp_fir_complexe91, comp_fir_complexe2   
271 comp_fir_complexe2  : emit c10                --> comp_fir_complexe1                        
272 comp_fir_complexe1  : li    $v0, 0            --> comp_fir_complexe0                        
273 comp_fir_complexe0  : j                       --> comp_fir_complexe277                      
274 comp_fir_complexe277: j                       --> comp_fir_complexe276                      
275 comp_fir_complexe276: lw    $ra, 172($sp)     --> comp_fir_complexe275                      
276 comp_fir_complexe275: lw    $s7, 168($sp)     --> comp_fir_complexe274                      
277 comp_fir_complexe274: lw    $s6, 164($sp)     --> comp_fir_complexe273                      
278 comp_fir_complexe273: lw    $s5, 160($sp)     --> comp_fir_complexe272                      
279 comp_fir_complexe272: lw    $s4, 156($sp)     --> comp_fir_complexe271                      
280 comp_fir_complexe271: lw    $s3, 152($sp)     --> comp_fir_complexe270                      
281 comp_fir_complexe270: lw    $s2, 148($sp)     --> comp_fir_complexe269                      
282 comp_fir_complexe269: lw    $s1, 144($sp)     --> comp_fir_complexe268                      
283 comp_fir_complexe268: lw    $s0, 140($sp)     --> comp_fir_complexe267                      
284 comp_fir_complexe267: delframe                --> comp_fir_complexe266                      
285 comp_fir_complexe266: jr    $ra                                                             
286 comp_fir_complexe91 : emit c26                --> comp_fir_complexe90                       
287 comp_fir_complexe90 : li    $a0, 4            --> comp_fir_complexe89                       
288 comp_fir_complexe89 : mulo    $a0, $s2, $a0   --> comp_fir_complexe88                       
289 comp_fir_complexe88 : lw    $v1, 128($sp)     --> comp_fir_complexe295                      
290 comp_fir_complexe295: add     $a0, $v1, $a0   --> comp_fir_complexe148                      
291 comp_fir_complexe148: lw    $a2, 0($a0)       --> comp_fir_complexe87                       
292 comp_fir_complexe87 : move    $a1, $sp        --> comp_fir_complexe291                      
293 comp_fir_complexe291: j                       --> comp_fir_complexe86                       
294 comp_fir_complexe86 : li    $a0, 4            --> comp_fir_complexe85                       
295 comp_fir_complexe85 : mulo    $a0, $v0, $a0   --> comp_fir_complexe84                       
296 comp_fir_complexe84 : add     $a0, $a1, $a0   --> comp_fir_complexe147                      
297 comp_fir_complexe147: lw    $a2, 0($a0)       --> comp_fir_complexe83                       
298 comp_fir_complexe83 : emit c25                --> comp_fir_complexe82                       
299 comp_fir_complexe82 : li    $a0, 4            --> comp_fir_complexe81                       
300 comp_fir_complexe81 : mulo    $a0, $s2, $a0   --> comp_fir_complexe80                       
301 comp_fir_complexe80 : lw    $v1, 132($sp)     --> comp_fir_complexe294                      
302 comp_fir_complexe294: add     $a0, $v1, $a0   --> comp_fir_complexe146                      
303 comp_fir_complexe146: lw    $a2, 0($a0)       --> comp_fir_complexe79                       
304 comp_fir_complexe79 : move    $a1, $sp        --> comp_fir_complexe290                      
305 comp_fir_complexe290: addi    $a1, $a1, 64    --> comp_fir_complexe78                       
306 comp_fir_complexe78 : li    $a0, 4            --> comp_fir_complexe77                       
307 comp_fir_complexe77 : mulo    $a0, $v0, $a0   --> comp_fir_complexe76                       
308 comp_fir_complexe76 : add     $a0, $a1, $a0   --> comp_fir_complexe145                      
309 comp_fir_complexe145: lw    $a2, 0($a0)       --> comp_fir_complexe75                       
310 comp_fir_complexe75 : emit c24                --> comp_fir_complexe74                       
311 comp_fir_complexe74 : emit c23                --> comp_fir_complexe73                       
312 comp_fir_complexe73 : li    $s1, 0            --> comp_fir_complexe20                       
313 comp_fir_complexe20 : j                       --> comp_fir_complexe72                       
314 comp_fir_complexe72 : li    $a1, 0            --> comp_fir_complexe71                       
315 comp_fir_complexe71 : emit c22                --> comp_fir_complexe70                       
316 comp_fir_complexe70 : li    $a0, 16           --> comp_fir_complexe69                       
317 comp_fir_complexe69 : slt     $a0, $s1, $a0   --> comp_fir_complexe68                       
318 comp_fir_complexe68 : j                       --> comp_fir_complexe143                      
319 comp_fir_complexe143: seq     $a0, $a0, $zero --> comp_fir_complexe67                       
320 comp_fir_complexe67 : beq     $a0, $a1        --> comp_fir_complexe66, comp_fir_complexe19  
321 comp_fir_complexe19 : emit c13                --> comp_fir_complexe18                       
322 comp_fir_complexe18 : li    $a0, 1            --> comp_fir_complexe17                       
323 comp_fir_complexe17 : add     $a0, $v0, $a0   --> comp_fir_complexe16                       
324 comp_fir_complexe16 : li    $a1, 16           --> comp_fir_complexe15                       
325 comp_fir_complexe15 : la    $v0, mod          --> comp_fir_complexe135                      
326 comp_fir_complexe135: j                       --> comp_fir_complexe283                      
327 comp_fir_complexe283: j                       --> comp_fir_complexe282                      
328 comp_fir_complexe282: j                       --> comp_fir_complexe281                      
329 comp_fir_complexe281: call  $v0               --> comp_fir_complexe280                      
330 comp_fir_complexe280: j                       --> comp_fir_complexe14                       
331 comp_fir_complexe14 : emit c12                --> comp_fir_complexe13                       
332 comp_fir_complexe13 : li    $a0, 4            --> comp_fir_complexe12                       
333 comp_fir_complexe12 : mulo    $a0, $s2, $a0   --> comp_fir_complexe11                       
334 comp_fir_complexe11 : lw    $v1, 136($sp)     --> comp_fir_complexe292                      
335 comp_fir_complexe292: add     $a0, $v1, $a0   --> comp_fir_complexe131                      
336 comp_fir_complexe131: lw    $s0, 0($a0)       --> comp_fir_complexe10                       
337 comp_fir_complexe10 : emit c11                --> comp_fir_complexe9                        
338 comp_fir_complexe9  : li    $a0, 4            --> comp_fir_complexe8                        
339 comp_fir_complexe8  : mulo    $a0, $s2, $a0   --> comp_fir_complexe7                        
340 comp_fir_complexe7  : add     $a0, $s7, $a0   --> comp_fir_complexe144                      
341 comp_fir_complexe144: lw    $s3, 0($a0)       --> comp_fir_complexe6                        
342 comp_fir_complexe6  : emit c27                --> comp_fir_complexe5                        
343 comp_fir_complexe5  : li    $a0, 1            --> comp_fir_complexe4                        
344 comp_fir_complexe4  : add     $s2, $s2, $a0   --> comp_fir_complexe3                        
345 comp_fir_complexe66 : emit c20                --> comp_fir_complexe65                       
346 comp_fir_complexe65 : move    $a1, $sp        --> comp_fir_complexe289                      
347 comp_fir_complexe289: j                       --> comp_fir_complexe64                       
348 comp_fir_complexe64 : li    $a0, 4            --> comp_fir_complexe63                       
349 comp_fir_complexe63 : mulo    $a0, $v0, $a0   --> comp_fir_complexe62                       
350 comp_fir_complexe62 : add     $a0, $a1, $a0   --> comp_fir_complexe142                      
351 comp_fir_complexe142: lw    $a2, 0($a0)       --> comp_fir_complexe61                       
352 comp_fir_complexe61 : emit c19                --> comp_fir_complexe60                       
353 comp_fir_complexe60 : move    $a1, $sp        --> comp_fir_complexe288                      
354 comp_fir_complexe288: addi    $a1, $a1, 64    --> comp_fir_complexe59                       
355 comp_fir_complexe59 : li    $a0, 4            --> comp_fir_complexe58                       
356 comp_fir_complexe58 : mulo    $a0, $v0, $a0   --> comp_fir_complexe57                       
357 comp_fir_complexe57 : add     $a0, $a1, $a0   --> comp_fir_complexe141                      
358 comp_fir_complexe141: lw    $a3, 0($a0)       --> comp_fir_complexe56                       
359 comp_fir_complexe56 : emit c18                --> comp_fir_complexe55                       
360 comp_fir_complexe55 : li    $a0, 4            --> comp_fir_complexe54                       
361 comp_fir_complexe54 : mulo    $a0, $s1, $a0   --> comp_fir_complexe53                       
362 comp_fir_complexe53 : add     $a0, $s6, $a0   --> comp_fir_complexe140                      
363 comp_fir_complexe140: lw    $a0, 0($a0)       --> comp_fir_complexe52                       
364 comp_fir_complexe52 : mulo    $a1, $a2, $a0   --> comp_fir_complexe51                       
365 comp_fir_complexe51 : li    $a0, 4            --> comp_fir_complexe50                       
366 comp_fir_complexe50 : mulo    $a0, $s1, $a0   --> comp_fir_complexe49                       
367 comp_fir_complexe49 : add     $a0, $s5, $a0   --> comp_fir_complexe139                      
368 comp_fir_complexe139: lw    $a0, 0($a0)       --> comp_fir_complexe48                       
369 comp_fir_complexe48 : mulo    $a0, $a3, $a0   --> comp_fir_complexe47                       
370 comp_fir_complexe47 : sub     $a1, $a1, $a0   --> comp_fir_complexe46                       
371 comp_fir_complexe46 : li    $a0, 4            --> comp_fir_complexe45                       
372 comp_fir_complexe45 : srav    $a1, $a1, $a0   --> comp_fir_complexe44                       
373 comp_fir_complexe44 : emit c17                --> comp_fir_complexe43                       
374 comp_fir_complexe43 : li    $a0, 4            --> comp_fir_complexe42                       
375 comp_fir_complexe42 : mulo    $a0, $s1, $a0   --> comp_fir_complexe41                       
376 comp_fir_complexe41 : add     $a0, $s5, $a0   --> comp_fir_complexe138                      
377 comp_fir_complexe138: lw    $a0, 0($a0)       --> comp_fir_complexe40                       
378 comp_fir_complexe40 : mulo    $a2, $a2, $a0   --> comp_fir_complexe39                       
379 comp_fir_complexe39 : li    $a0, 4            --> comp_fir_complexe38                       
380 comp_fir_complexe38 : mulo    $a0, $s1, $a0   --> comp_fir_complexe37                       
381 comp_fir_complexe37 : add     $a0, $s6, $a0   --> comp_fir_complexe137                      
382 comp_fir_complexe137: lw    $a0, 0($a0)       --> comp_fir_complexe36                       
383 comp_fir_complexe36 : mulo    $a0, $a3, $a0   --> comp_fir_complexe35                       
384 comp_fir_complexe35 : add     $a2, $a2, $a0   --> comp_fir_complexe34                       
385 comp_fir_complexe34 : li    $a0, 4            --> comp_fir_complexe33                       
386 comp_fir_complexe33 : srav    $a0, $a2, $a0   --> comp_fir_complexe32                       
387 comp_fir_complexe32 : emit c16                --> comp_fir_complexe31                       
388 comp_fir_complexe31 : add     $s0, $s0, $a1   --> comp_fir_complexe30                       
389 comp_fir_complexe30 : emit c15                --> comp_fir_complexe29                       
390 comp_fir_complexe29 : add     $s3, $s3, $a0   --> comp_fir_complexe28                       
391 comp_fir_complexe28 : emit c14                --> comp_fir_complexe27                       
392 comp_fir_complexe27 : li    $a0, 1            --> comp_fir_complexe26                       
393 comp_fir_complexe26 : add     $a0, $v0, $a0   --> comp_fir_complexe25                       
394 comp_fir_complexe25 : li    $a1, 16           --> comp_fir_complexe24                       
395 comp_fir_complexe24 : la    $v0, mod          --> comp_fir_complexe136                      
396 comp_fir_complexe136: j                       --> comp_fir_complexe287                      
397 comp_fir_complexe287: j                       --> comp_fir_complexe286                      
398 comp_fir_complexe286: j                       --> comp_fir_complexe285                      
399 comp_fir_complexe285: call  $v0               --> comp_fir_complexe284                      
400 comp_fir_complexe284: j                       --> comp_fir_complexe23                       
401 comp_fir_complexe23 : emit c21                --> comp_fir_complexe22                       
402 comp_fir_complexe22 : li    $a0, 1            --> comp_fir_complexe21                       
403 comp_fir_complexe21 : add     $s1, $s1, $a0   --> comp_fir_complexe20                       
404 comp_fir_complexe121: emit c35                --> comp_fir_complexe120                      
405 comp_fir_complexe120: j                       --> comp_fir_complexe119                      
406 comp_fir_complexe119: move    $a0, $sp        --> comp_fir_complexe279                      
407 comp_fir_complexe279: j                       --> comp_fir_complexe118                      
408 comp_fir_complexe118: li    $v0, 4            --> comp_fir_complexe117                      
409 comp_fir_complexe117: mulo    $v0, $a1, $v0   --> comp_fir_complexe116                      
410 comp_fir_complexe116: add     $v0, $a0, $v0   --> comp_fir_complexe133                      
411 comp_fir_complexe133: lw    $zero, 0($v0)     --> comp_fir_complexe115                      
412 comp_fir_complexe115: emit c34                --> comp_fir_complexe114                      
413 comp_fir_complexe114: j                       --> comp_fir_complexe113                      
414 comp_fir_complexe113: move    $a0, $sp        --> comp_fir_complexe278                      
415 comp_fir_complexe278: addi    $a0, $a0, 64    --> comp_fir_complexe112                      
416 comp_fir_complexe112: li    $v0, 4            --> comp_fir_complexe111                      
417 comp_fir_complexe111: mulo    $v0, $a1, $v0   --> comp_fir_complexe110                      
418 comp_fir_complexe110: add     $v0, $a0, $v0   --> comp_fir_complexe132                      
419 comp_fir_complexe132: lw    $zero, 0($v0)     --> comp_fir_complexe109                      
420 comp_fir_complexe109: emit c36                --> comp_fir_complexe108                      
421 comp_fir_complexe108: li    $v0, 1            --> comp_fir_complexe107                      
422 comp_fir_complexe107: add     $a1, $a1, $v0   --> comp_fir_complexe106                      
423
424 procedure _main(0)
425 var 4
426 entry main36
427 main36: newframe                     --> main35
428 main35: lw    $ra, 0($sp)            --> main34
429 main34: j                            --> main33
430 main33: j                            --> main32
431 main32: j                            --> main31
432 main31: j                            --> main30
433 main30: j                            --> main29
434 main29: j                            --> main28
435 main28: j                            --> main27
436 main27: j                            --> main26
437 main26: j                            --> main25
438 main25: j                            --> main24
439 main24: j                            --> main23
440 main23: j                            --> main22
441 main22: j                            --> main21
442 main21: j                            --> main20
443 main20: j                            --> main19
444 main19: j                            --> main18
445 main18: j                            --> main17
446 main17: j                            --> main16
447 main16: j                            --> main13
448 main13: emit c42                     --> main12
449 main12: la    $v0, init              --> main14
450 main14: j                            --> main51
451 main51: call  $v0                    --> main50
452 main50: j                            --> main11
453 main11: emit c41                     --> main10
454 main10: move    $a0, $gp             --> main49
455 main49: j                            --> main9 
456 main9 : move    $a1, $gp             --> main65
457 main65: addi    $a1, $a1, 64         --> main8 
458 main8 : move    $a2, $gp             --> main64
459 main64: addi    $a2, $a2, 128        --> main7 
460 main7 : move    $a3, $gp             --> main63
461 main63: addi    $a3, $a3, 192        --> main6 
462 main6 : move    $v0, $gp             --> main62
463 main62: addi    $v0, $v0, 256        --> main5 
464 main5 : j                            --> main61
465 main61: addi    $gp, $gp, 320        --> main4 
466 main4 : li    $t1, 16                --> main3 
467 main3 : la    $t0, comp_fir_complexe --> main15
468 main15: j                            --> main60
469 main60: j                            --> main59
470 main59: j                            --> main58
471 main58: j                            --> main57
472 main57: j                            --> main56
473 main56: lw    $v0, -12($sp)          --> main55
474 main55: lw    $gp, -8($sp)           --> main54
475 main54: lw    $t1, -4($sp)           --> main53
476 main53: call  $t0                    --> main52
477 main52: j                            --> main2 
478 main2 : emit c40                     --> main1 
479 main1 : j                            --> main0 
480 main0 : j                            --> main48
481 main48: j                            --> main47
482 main47: lw    $ra, 0($sp)            --> main46
483 main46: j                            --> main45
484 main45: j                            --> main44
485 main44: j                            --> main43
486 main43: j                            --> main42
487 main42: j                            --> main41
488 main41: j                            --> main40
489 main40: j                            --> main39
490 main39: j                            --> main38
491 main38: delframe                     --> main37
492 main37: jr    $ra                              
493
494 __builtin_varargs_start: int -> void
495
496
497 __builtin_va_start: int -> int -> void
498
499
500 __builtin_va_end: int -> void
501
502
503 __builtin_va_copy: int -> int -> void
504
505
506 __builtin_va_arg: int -> int -> void
507
508
509 __builtin_types_compatible_p: int -> int -> int
510
511
512 __builtin_tanl: float -> float
513
514
515 __builtin_tanhl: float -> float
516
517
518 __builtin_tanhf: float -> float
519
520
521 __builtin_tanh: float -> float
522
523
524 __builtin_tanf: float -> float
525
526
527 __builtin_tan: float -> float
528
529
530 __builtin_strspn: int -> int -> int
531
532
533 __builtin_strpbrk: int -> int -> int
534
535
536 __builtin_strncpy: int -> int -> int -> int
537
538
539 __builtin_strncmp: int -> int -> int -> int
540
541
542 __builtin_strncat: int -> int -> int -> int
543
544
545 __builtin_strcspn: int -> int -> int
546
547
548 __builtin_strcpy: int -> int -> int
549
550
551 __builtin_strcmp: int -> int -> int
552
553
554 __builtin_strchr: int -> int -> int
555
556
557 __builtin_stpcpy: int -> int -> int
558
559
560 __builtin_stdarg_start: int -> void
561
562
563 __builtin_sqrtl: float -> float
564
565
566 __builtin_sqrtf: float -> float
567
568
569 __builtin_sqrt: float -> float
570
571
572 __builtin_sinl: float -> float
573
574
575 __builtin_sinhl: float -> float
576
577
578 __builtin_sinhf: float -> float
579
580
581 __builtin_sinh: float -> float
582
583
584 __builtin_sinf: float -> float
585
586
587 __builtin_sin: float -> float
588
589
590 __builtin_return_address: int -> int
591
592
593 __builtin_return: int -> void
594
595
596 __builtin_powil: float -> int -> float
597
598
599 __builtin_powif: float -> int -> float
600
601
602 __builtin_powi: float -> int -> float
603
604
605 __builtin_popcountll: int -> int
606
607
608 __builtin_popcountl: int -> int
609
610
611 __builtin_popcount: int -> int
612
613
614 __builtin_parityll: int -> int
615
616
617 __builtin_parityl: int -> int
618
619
620 __builtin_parity: int -> int
621
622
623 __builtin_object_size: int -> int -> int
624
625
626 __builtin_next_arg: int
627
628
629 __builtin_nansl: int -> float
630
631
632 __builtin_nansf: int -> float
633
634
635 __builtin_nans: int -> float
636
637
638 __builtin_nanl: int -> float
639
640
641 __builtin_nanf: int -> float
642
643
644 __builtin_nan: int -> float
645
646
647 __builtin_modfl: float -> int -> float
648
649
650 __builtin_modff: float -> int -> float
651
652
653 __builtin_mempcpy: int -> int -> int -> int
654
655
656 __builtin_memcpy: int -> int -> int -> int
657
658
659 __builtin_logl: float -> float
660
661
662 __builtin_logf: float -> float
663
664
665 __builtin_log10l: float -> float
666
667
668 __builtin_log10f: float -> float
669
670
671 __builtin_log10: float -> float
672
673
674 __builtin_log: float -> float
675
676
677 __builtin_ldexpl: float -> int -> float
678
679
680 __builtin_ldexpf: float -> int -> float
681
682
683 __builtin_ldexp: float -> int -> float
684
685
686 __builtin_infl: float
687
688
689 __builtin_inff: float
690
691
692 __builtin_inf: float
693
694
695 __builtin_huge_vall: float
696
697
698 __builtin_huge_valf: float
699
700
701 __builtin_huge_val: float
702
703
704 __builtin_frexpl: float -> int -> float
705
706
707 __builtin_frexpf: float -> int -> float
708
709
710 __builtin_frexp: float -> int -> float
711
712
713 __builtin_frame_address: int -> int
714
715
716 __builtin_fmodl: float -> float
717
718
719 __builtin_fmodf: float -> float
720
721
722 __builtin_fmod: float -> float
723
724
725 __builtin_floorl: float -> float
726
727
728 __builtin_floorf: float -> float
729
730
731 __builtin_floor: float -> float
732
733
734 __builtin_ffsll: int -> int
735
736
737 __builtin_ffsl: int -> int
738
739
740 __builtin_ffs: int -> int
741
742
743 __builtin_fabsl: float -> float
744
745
746 __builtin_fabsf: float -> float
747
748
749 __builtin_fabs: float -> float
750
751
752 __builtin_expl: float -> float
753
754
755 __builtin_expf: float -> float
756
757
758 __builtin_expect: int -> int -> int
759
760
761 __builtin_exp: float -> float
762
763
764 __builtin_ctzll: int -> int
765
766
767 __builtin_ctzl: int -> int
768
769
770 __builtin_ctz: int -> int
771
772
773 __builtin_cosl: float -> float
774
775
776 __builtin_coshl: float -> float
777
778
779 __builtin_coshf: float -> float
780
781
782 __builtin_cosh: float -> float
783
784
785 __builtin_cosf: float -> float
786
787
788 __builtin_cos: float -> float
789
790
791 __builtin_constant_p: int -> int
792
793
794 __builtin_clzll: int -> int
795
796
797 __builtin_clzl: int -> int
798
799
800 __builtin_clz: int -> int
801
802
803 __builtin_ceill: float -> float
804
805
806 __builtin_ceilf: float -> float
807
808
809 __builtin_ceil: float -> float
810
811
812 __builtin_atanl: float -> float
813
814
815 __builtin_atanf: float -> float
816
817
818 __builtin_atan2l: float -> float -> float
819
820
821 __builtin_atan2f: float -> float -> float
822
823
824 __builtin_atan2: float -> float -> float
825
826
827 __builtin_atan: float -> float
828
829
830 __builtin_asinl: float -> float
831
832
833 __builtin_asinf: float -> float
834
835
836 __builtin_asin: float -> float
837
838
839 __builtin_alloca: int -> int
840
841
842 __builtin_acosl: float -> float
843
844
845 __builtin_acosf: float -> float
846
847
848 __builtin_acos: float -> float
849
850
851 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
852
853
854 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
855
856
857 __builtin___vprintf_chk: int -> int -> int -> int
858
859
860 __builtin___vfprintf_chk: int -> int -> int -> int -> int
861
862
863 __builtin___strncpy_chk: int -> int -> int -> int -> int
864
865
866 __builtin___strncat_chk: int -> int -> int -> int -> int
867
868
869 __builtin___strcpy_chk: int -> int -> int -> int
870
871
872 __builtin___strcat_chk: int -> int -> int -> int
873
874
875 __builtin___stpcpy_chk: int -> int -> int -> int
876
877
878 __builtin___memset_chk: int -> int -> int -> int -> int
879
880
881 __builtin___mempcpy_chk: int -> int -> int -> int -> int
882
883
884 __builtin___memmove_chk: int -> int -> int -> int -> int
885
886
887 __builtin___memcpy_chk: int -> int -> int -> int -> int
888
889