]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/array.LTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / array.LTL.expected
1 program
2
3 globals 0
4
5 procedure array_param(3)
6 var 0
7 entry array_param79
8 array_param79: newframe                --> array_param78
9 array_param78: j                       --> array_param77
10 array_param77: j                       --> array_param76
11 array_param76: j                       --> array_param75
12 array_param75: j                       --> array_param74
13 array_param74: j                       --> array_param73
14 array_param73: j                       --> array_param72
15 array_param72: j                       --> array_param71
16 array_param71: j                       --> array_param70
17 array_param70: j                       --> array_param69
18 array_param69: j                       --> array_param68
19 array_param68: j                       --> array_param67
20 array_param67: j                       --> array_param66
21 array_param66: j                       --> array_param65
22 array_param65: j                       --> array_param64
23 array_param64: j                       --> array_param63
24 array_param63: j                       --> array_param62
25 array_param62: j                       --> array_param61
26 array_param61: j                       --> array_param60
27 array_param60: j                       --> array_param59
28 array_param59: j                       --> array_param58
29 array_param58: j                       --> array_param57
30 array_param57: j                       --> array_param56
31 array_param56: j                       --> array_param55
32 array_param55: j                       --> array_param54
33 array_param54: j                       --> array_param53
34 array_param53: j                       --> array_param52
35 array_param52: j                       --> array_param51
36 array_param51: j                       --> array_param50
37 array_param50: j                       --> array_param49
38 array_param49: j                       --> array_param48
39 array_param48: j                       --> array_param47
40 array_param47: j                       --> array_param46
41 array_param46: j                       --> array_param45
42 array_param45: j                       --> array_param44
43 array_param44: j                       --> array_param43
44 array_param43: j                       --> array_param42
45 array_param42: j                       --> array_param41
46 array_param41: j                       --> array_param40
47 array_param40: j                       --> array_param39
48 array_param39: j                       --> array_param32
49 array_param32: emit c37                --> array_param31
50 array_param31: li    $a3, 1            --> array_param30
51 array_param30: j                       --> array_param29
52 array_param29: li    $v0, 4            --> array_param28
53 array_param28: mulo    $v0, $zero, $v0 --> array_param27
54 array_param27: add     $v0, $a0, $v0   --> array_param36
55 array_param36: lw    $a3, 0($v0)       --> array_param26
56 array_param26: emit c36                --> array_param25
57 array_param25: li    $a3, 1            --> array_param24
58 array_param24: li    $v0, 4            --> array_param23
59 array_param23: mulo    $v0, $a3, $v0   --> array_param22
60 array_param22: add     $v0, $a0, $v0   --> array_param35
61 array_param35: lw    $a1, 0($v0)       --> array_param21
62 array_param21: emit c35                --> array_param20
63 array_param20: j                       --> array_param19
64 array_param19: j                       --> array_param18
65 array_param18: j                       --> array_param17
66 array_param17: j                       --> array_param34
67 array_param34: j                       --> array_param16
68 array_param16: emit c34                --> array_param15
69 array_param15: li    $a1, 7            --> array_param14
70 array_param14: li    $v0, 4            --> array_param13
71 array_param13: mulo    $v0, $a2, $v0   --> array_param12
72 array_param12: add     $v0, $a0, $v0   --> array_param33
73 array_param33: lw    $a1, 0($v0)       --> array_param11
74 array_param11: emit c33                --> array_param10
75 array_param10: li    $v0, 4            --> array_param9 
76 array_param9 : mulo    $v0, $a2, $v0   --> array_param8 
77 array_param8 : add     $v0, $a0, $v0   --> array_param38
78 array_param38: lw    $v0, 0($v0)       --> array_param7 
79 array_param7 : emit c32                --> array_param6 
80 array_param6 : j                       --> array_param5 
81 array_param5 : j                       --> array_param4 
82 array_param4 : j                       --> array_param3 
83 array_param3 : j                       --> array_param37
84 array_param37: j                       --> array_param2 
85 array_param2 : emit c31                --> array_param1 
86 array_param1 : j                       --> array_param0 
87 array_param0 : j                       --> array_param91
88 array_param91: j                       --> array_param90
89 array_param90: j                       --> array_param89
90 array_param89: j                       --> array_param88
91 array_param88: j                       --> array_param87
92 array_param87: j                       --> array_param86
93 array_param86: j                       --> array_param85
94 array_param85: j                       --> array_param84
95 array_param84: j                       --> array_param83
96 array_param83: j                       --> array_param82
97 array_param82: j                       --> array_param81
98 array_param81: delframe                --> array_param80
99 array_param80: jr    $ra                                
100
101 procedure array_mixte(3)
102 var 40
103 entry array_mixte223
104 array_mixte223: newframe                --> array_mixte222
105 array_mixte222: j                       --> array_mixte221
106 array_mixte221: j                       --> array_mixte220
107 array_mixte220: j                       --> array_mixte219
108 array_mixte219: j                       --> array_mixte218
109 array_mixte218: j                       --> array_mixte217
110 array_mixte217: j                       --> array_mixte216
111 array_mixte216: j                       --> array_mixte215
112 array_mixte215: j                       --> array_mixte214
113 array_mixte214: j                       --> array_mixte213
114 array_mixte213: j                       --> array_mixte212
115 array_mixte212: j                       --> array_mixte211
116 array_mixte211: j                       --> array_mixte210
117 array_mixte210: j                       --> array_mixte209
118 array_mixte209: j                       --> array_mixte208
119 array_mixte208: j                       --> array_mixte207
120 array_mixte207: j                       --> array_mixte206
121 array_mixte206: j                       --> array_mixte205
122 array_mixte205: j                       --> array_mixte204
123 array_mixte204: j                       --> array_mixte203
124 array_mixte203: j                       --> array_mixte202
125 array_mixte202: j                       --> array_mixte201
126 array_mixte201: j                       --> array_mixte200
127 array_mixte200: j                       --> array_mixte199
128 array_mixte199: j                       --> array_mixte198
129 array_mixte198: j                       --> array_mixte197
130 array_mixte197: j                       --> array_mixte196
131 array_mixte196: j                       --> array_mixte195
132 array_mixte195: j                       --> array_mixte194
133 array_mixte194: j                       --> array_mixte193
134 array_mixte193: j                       --> array_mixte192
135 array_mixte192: j                       --> array_mixte191
136 array_mixte191: j                       --> array_mixte190
137 array_mixte190: j                       --> array_mixte189
138 array_mixte189: j                       --> array_mixte188
139 array_mixte188: j                       --> array_mixte187
140 array_mixte187: j                       --> array_mixte186
141 array_mixte186: j                       --> array_mixte185
142 array_mixte185: j                       --> array_mixte184
143 array_mixte184: j                       --> array_mixte183
144 array_mixte183: j                       --> array_mixte182
145 array_mixte182: j                       --> array_mixte181
146 array_mixte181: j                       --> array_mixte180
147 array_mixte180: j                       --> array_mixte179
148 array_mixte179: j                       --> array_mixte178
149 array_mixte178: j                       --> array_mixte177
150 array_mixte177: j                       --> array_mixte176
151 array_mixte176: j                       --> array_mixte175
152 array_mixte175: j                       --> array_mixte174
153 array_mixte174: j                       --> array_mixte173
154 array_mixte173: j                       --> array_mixte172
155 array_mixte172: j                       --> array_mixte171
156 array_mixte171: j                       --> array_mixte170
157 array_mixte170: j                       --> array_mixte169
158 array_mixte169: j                       --> array_mixte168
159 array_mixte168: j                       --> array_mixte167
160 array_mixte167: j                       --> array_mixte166
161 array_mixte166: j                       --> array_mixte165
162 array_mixte165: j                       --> array_mixte164
163 array_mixte164: j                       --> array_mixte163
164 array_mixte163: j                       --> array_mixte162
165 array_mixte162: j                       --> array_mixte161
166 array_mixte161: j                       --> array_mixte160
167 array_mixte160: j                       --> array_mixte159
168 array_mixte159: j                       --> array_mixte158
169 array_mixte158: j                       --> array_mixte157
170 array_mixte157: j                       --> array_mixte156
171 array_mixte156: j                       --> array_mixte155
172 array_mixte155: j                       --> array_mixte154
173 array_mixte154: j                       --> array_mixte153
174 array_mixte153: j                       --> array_mixte152
175 array_mixte152: j                       --> array_mixte151
176 array_mixte151: j                       --> array_mixte150
177 array_mixte150: j                       --> array_mixte149
178 array_mixte149: j                       --> array_mixte148
179 array_mixte148: j                       --> array_mixte147
180 array_mixte147: j                       --> array_mixte146
181 array_mixte146: j                       --> array_mixte145
182 array_mixte145: j                       --> array_mixte144
183 array_mixte144: j                       --> array_mixte143
184 array_mixte143: j                       --> array_mixte142
185 array_mixte142: j                       --> array_mixte141
186 array_mixte141: j                       --> array_mixte140
187 array_mixte140: j                       --> array_mixte139
188 array_mixte139: j                       --> array_mixte138
189 array_mixte138: j                       --> array_mixte137
190 array_mixte137: j                       --> array_mixte136
191 array_mixte136: j                       --> array_mixte135
192 array_mixte135: j                       --> array_mixte134
193 array_mixte134: j                       --> array_mixte133
194 array_mixte133: j                       --> array_mixte132
195 array_mixte132: j                       --> array_mixte131
196 array_mixte131: j                       --> array_mixte130
197 array_mixte130: j                       --> array_mixte129
198 array_mixte129: j                       --> array_mixte128
199 array_mixte128: j                       --> array_mixte127
200 array_mixte127: j                       --> array_mixte126
201 array_mixte126: j                       --> array_mixte125
202 array_mixte125: j                       --> array_mixte124
203 array_mixte124: j                       --> array_mixte123
204 array_mixte123: j                       --> array_mixte122
205 array_mixte122: j                       --> array_mixte121
206 array_mixte121: j                       --> array_mixte120
207 array_mixte120: j                       --> array_mixte102
208 array_mixte102: emit c30                --> array_mixte101
209 array_mixte101: li    $t0, 0            --> array_mixte100
210 array_mixte100: move    $a3, $sp        --> array_mixte236
211 array_mixte236: j                       --> array_mixte99 
212 array_mixte99 : j                       --> array_mixte98 
213 array_mixte98 : li    $v0, 4            --> array_mixte97 
214 array_mixte97 : mulo    $v0, $zero, $v0 --> array_mixte96 
215 array_mixte96 : add     $v0, $a3, $v0   --> array_mixte119
216 array_mixte119: lw    $t0, 0($v0)       --> array_mixte95 
217 array_mixte95 : emit c29                --> array_mixte94 
218 array_mixte94 : j                       --> array_mixte93 
219 array_mixte93 : move    $t0, $sp        --> array_mixte248
220 array_mixte248: j                       --> array_mixte92 
221 array_mixte92 : li    $a3, 1            --> array_mixte91 
222 array_mixte91 : li    $v0, 4            --> array_mixte90 
223 array_mixte90 : mulo    $v0, $a3, $v0   --> array_mixte89 
224 array_mixte89 : add     $v0, $t0, $v0   --> array_mixte117
225 array_mixte117: lw    $zero, 0($v0)     --> array_mixte88 
226 array_mixte88 : emit c28                --> array_mixte87 
227 array_mixte87 : j                       --> array_mixte86 
228 array_mixte86 : move    $t0, $sp        --> array_mixte247
229 array_mixte247: j                       --> array_mixte85 
230 array_mixte85 : li    $a3, 2            --> array_mixte84 
231 array_mixte84 : li    $v0, 4            --> array_mixte83 
232 array_mixte83 : mulo    $v0, $a3, $v0   --> array_mixte82 
233 array_mixte82 : add     $v0, $t0, $v0   --> array_mixte116
234 array_mixte116: lw    $zero, 0($v0)     --> array_mixte81 
235 array_mixte81 : emit c27                --> array_mixte80 
236 array_mixte80 : j                       --> array_mixte79 
237 array_mixte79 : move    $t0, $sp        --> array_mixte246
238 array_mixte246: j                       --> array_mixte78 
239 array_mixte78 : li    $a3, 3            --> array_mixte77 
240 array_mixte77 : li    $v0, 4            --> array_mixte76 
241 array_mixte76 : mulo    $v0, $a3, $v0   --> array_mixte75 
242 array_mixte75 : add     $v0, $t0, $v0   --> array_mixte115
243 array_mixte115: lw    $zero, 0($v0)     --> array_mixte74 
244 array_mixte74 : emit c26                --> array_mixte73 
245 array_mixte73 : j                       --> array_mixte72 
246 array_mixte72 : move    $t0, $sp        --> array_mixte245
247 array_mixte245: j                       --> array_mixte71 
248 array_mixte71 : li    $a3, 4            --> array_mixte70 
249 array_mixte70 : li    $v0, 4            --> array_mixte69 
250 array_mixte69 : mulo    $v0, $a3, $v0   --> array_mixte68 
251 array_mixte68 : add     $v0, $t0, $v0   --> array_mixte114
252 array_mixte114: lw    $zero, 0($v0)     --> array_mixte67 
253 array_mixte67 : emit c25                --> array_mixte66 
254 array_mixte66 : j                       --> array_mixte65 
255 array_mixte65 : move    $t0, $sp        --> array_mixte244
256 array_mixte244: j                       --> array_mixte64 
257 array_mixte64 : li    $a3, 5            --> array_mixte63 
258 array_mixte63 : li    $v0, 4            --> array_mixte62 
259 array_mixte62 : mulo    $v0, $a3, $v0   --> array_mixte61 
260 array_mixte61 : add     $v0, $t0, $v0   --> array_mixte113
261 array_mixte113: lw    $zero, 0($v0)     --> array_mixte60 
262 array_mixte60 : emit c24                --> array_mixte59 
263 array_mixte59 : j                       --> array_mixte58 
264 array_mixte58 : move    $t0, $sp        --> array_mixte243
265 array_mixte243: j                       --> array_mixte57 
266 array_mixte57 : li    $a3, 6            --> array_mixte56 
267 array_mixte56 : li    $v0, 4            --> array_mixte55 
268 array_mixte55 : mulo    $v0, $a3, $v0   --> array_mixte54 
269 array_mixte54 : add     $v0, $t0, $v0   --> array_mixte111
270 array_mixte111: lw    $zero, 0($v0)     --> array_mixte53 
271 array_mixte53 : emit c23                --> array_mixte52 
272 array_mixte52 : j                       --> array_mixte51 
273 array_mixte51 : move    $t0, $sp        --> array_mixte242
274 array_mixte242: j                       --> array_mixte50 
275 array_mixte50 : li    $a3, 7            --> array_mixte49 
276 array_mixte49 : li    $v0, 4            --> array_mixte48 
277 array_mixte48 : mulo    $v0, $a3, $v0   --> array_mixte47 
278 array_mixte47 : add     $v0, $t0, $v0   --> array_mixte110
279 array_mixte110: lw    $zero, 0($v0)     --> array_mixte46 
280 array_mixte46 : emit c22                --> array_mixte45 
281 array_mixte45 : j                       --> array_mixte44 
282 array_mixte44 : move    $t0, $sp        --> array_mixte241
283 array_mixte241: j                       --> array_mixte43 
284 array_mixte43 : li    $a3, 8            --> array_mixte42 
285 array_mixte42 : li    $v0, 4            --> array_mixte41 
286 array_mixte41 : mulo    $v0, $a3, $v0   --> array_mixte40 
287 array_mixte40 : add     $v0, $t0, $v0   --> array_mixte109
288 array_mixte109: lw    $zero, 0($v0)     --> array_mixte39 
289 array_mixte39 : emit c21                --> array_mixte38 
290 array_mixte38 : j                       --> array_mixte37 
291 array_mixte37 : move    $t0, $sp        --> array_mixte239
292 array_mixte239: j                       --> array_mixte36 
293 array_mixte36 : li    $a3, 9            --> array_mixte35 
294 array_mixte35 : li    $v0, 4            --> array_mixte34 
295 array_mixte34 : mulo    $v0, $a3, $v0   --> array_mixte33 
296 array_mixte33 : add     $v0, $t0, $v0   --> array_mixte108
297 array_mixte108: lw    $zero, 0($v0)     --> array_mixte32 
298 array_mixte32 : emit c20                --> array_mixte31 
299 array_mixte31 : li    $v0, 4            --> array_mixte30 
300 array_mixte30 : mulo    $v0, $a2, $v0   --> array_mixte29 
301 array_mixte29 : add     $v0, $a0, $v0   --> array_mixte107
302 array_mixte107: lw    $a3, 0($v0)       --> array_mixte28 
303 array_mixte28 : li    $v0, 1            --> array_mixte27 
304 array_mixte27 : add     $t0, $a3, $v0   --> array_mixte26 
305 array_mixte26 : move    $a3, $sp        --> array_mixte238
306 array_mixte238: j                       --> array_mixte25 
307 array_mixte25 : li    $v0, 4            --> array_mixte24 
308 array_mixte24 : mulo    $v0, $a1, $v0   --> array_mixte23 
309 array_mixte23 : add     $v0, $a3, $v0   --> array_mixte106
310 array_mixte106: lw    $t0, 0($v0)       --> array_mixte22 
311 array_mixte22 : emit c19                --> array_mixte21 
312 array_mixte21 : move    $a3, $sp        --> array_mixte237
313 array_mixte237: j                       --> array_mixte20 
314 array_mixte20 : j                       --> array_mixte19 
315 array_mixte19 : li    $v0, 4            --> array_mixte18 
316 array_mixte18 : mulo    $v0, $zero, $v0 --> array_mixte17 
317 array_mixte17 : add     $v0, $a3, $v0   --> array_mixte105
318 array_mixte105: lw    $a3, 0($v0)       --> array_mixte16 
319 array_mixte16 : li    $v0, 4            --> array_mixte15 
320 array_mixte15 : mulo    $v0, $a2, $v0   --> array_mixte14 
321 array_mixte14 : add     $v0, $a0, $v0   --> array_mixte104
322 array_mixte104: lw    $a3, 0($v0)       --> array_mixte13 
323 array_mixte13 : emit c18                --> array_mixte12 
324 array_mixte12 : li    $a2, 1            --> array_mixte11 
325 array_mixte11 : li    $v0, 4            --> array_mixte10 
326 array_mixte10 : mulo    $v0, $a2, $v0   --> array_mixte9  
327 array_mixte9  : add     $v0, $a0, $v0   --> array_mixte118
328 array_mixte118: lw    $a2, 0($v0)       --> array_mixte8  
329 array_mixte8  : li    $v0, 4            --> array_mixte7  
330 array_mixte7  : mulo    $v0, $a1, $v0   --> array_mixte6  
331 array_mixte6  : add     $v0, $a0, $v0   --> array_mixte112
332 array_mixte112: lw    $a2, 0($v0)       --> array_mixte5  
333 array_mixte5  : emit c17                --> array_mixte4  
334 array_mixte4  : j                       --> array_mixte240
335 array_mixte240: j                       --> array_mixte3  
336 array_mixte3  : li    $v0, 4            --> array_mixte2  
337 array_mixte2  : mulo    $v0, $a1, $v0   --> array_mixte1  
338 array_mixte1  : add     $v0, $sp, $v0   --> array_mixte103
339 array_mixte103: lw    $v0, 0($v0)       --> array_mixte0  
340 array_mixte0  : j                       --> array_mixte235
341 array_mixte235: j                       --> array_mixte234
342 array_mixte234: j                       --> array_mixte233
343 array_mixte233: j                       --> array_mixte232
344 array_mixte232: j                       --> array_mixte231
345 array_mixte231: j                       --> array_mixte230
346 array_mixte230: j                       --> array_mixte229
347 array_mixte229: j                       --> array_mixte228
348 array_mixte228: j                       --> array_mixte227
349 array_mixte227: j                       --> array_mixte226
350 array_mixte226: j                       --> array_mixte225
351 array_mixte225: delframe                --> array_mixte224
352 array_mixte224: jr    $ra                                 
353
354 procedure array_local(0)
355 var 40
356 entry array_local234
357 array_local234: newframe                --> array_local233
358 array_local233: j                       --> array_local232
359 array_local232: j                       --> array_local231
360 array_local231: j                       --> array_local230
361 array_local230: j                       --> array_local229
362 array_local229: j                       --> array_local228
363 array_local228: j                       --> array_local227
364 array_local227: j                       --> array_local226
365 array_local226: j                       --> array_local225
366 array_local225: j                       --> array_local224
367 array_local224: j                       --> array_local223
368 array_local223: j                       --> array_local222
369 array_local222: j                       --> array_local221
370 array_local221: j                       --> array_local220
371 array_local220: j                       --> array_local219
372 array_local219: j                       --> array_local218
373 array_local218: j                       --> array_local217
374 array_local217: j                       --> array_local216
375 array_local216: j                       --> array_local215
376 array_local215: j                       --> array_local214
377 array_local214: j                       --> array_local213
378 array_local213: j                       --> array_local212
379 array_local212: j                       --> array_local211
380 array_local211: j                       --> array_local210
381 array_local210: j                       --> array_local209
382 array_local209: j                       --> array_local208
383 array_local208: j                       --> array_local207
384 array_local207: j                       --> array_local206
385 array_local206: j                       --> array_local205
386 array_local205: j                       --> array_local204
387 array_local204: j                       --> array_local203
388 array_local203: j                       --> array_local202
389 array_local202: j                       --> array_local201
390 array_local201: j                       --> array_local200
391 array_local200: j                       --> array_local199
392 array_local199: j                       --> array_local198
393 array_local198: j                       --> array_local197
394 array_local197: j                       --> array_local196
395 array_local196: j                       --> array_local195
396 array_local195: j                       --> array_local194
397 array_local194: j                       --> array_local193
398 array_local193: j                       --> array_local192
399 array_local192: j                       --> array_local191
400 array_local191: j                       --> array_local190
401 array_local190: j                       --> array_local189
402 array_local189: j                       --> array_local188
403 array_local188: j                       --> array_local187
404 array_local187: j                       --> array_local186
405 array_local186: j                       --> array_local185
406 array_local185: j                       --> array_local184
407 array_local184: j                       --> array_local183
408 array_local183: j                       --> array_local182
409 array_local182: j                       --> array_local181
410 array_local181: j                       --> array_local180
411 array_local180: j                       --> array_local179
412 array_local179: j                       --> array_local178
413 array_local178: j                       --> array_local177
414 array_local177: j                       --> array_local176
415 array_local176: j                       --> array_local175
416 array_local175: j                       --> array_local174
417 array_local174: j                       --> array_local173
418 array_local173: j                       --> array_local172
419 array_local172: j                       --> array_local171
420 array_local171: j                       --> array_local170
421 array_local170: j                       --> array_local169
422 array_local169: j                       --> array_local168
423 array_local168: j                       --> array_local167
424 array_local167: j                       --> array_local166
425 array_local166: j                       --> array_local165
426 array_local165: j                       --> array_local164
427 array_local164: j                       --> array_local163
428 array_local163: j                       --> array_local162
429 array_local162: j                       --> array_local161
430 array_local161: j                       --> array_local160
431 array_local160: j                       --> array_local159
432 array_local159: j                       --> array_local158
433 array_local158: j                       --> array_local157
434 array_local157: j                       --> array_local156
435 array_local156: j                       --> array_local155
436 array_local155: j                       --> array_local154
437 array_local154: j                       --> array_local153
438 array_local153: j                       --> array_local152
439 array_local152: j                       --> array_local151
440 array_local151: j                       --> array_local150
441 array_local150: j                       --> array_local149
442 array_local149: j                       --> array_local148
443 array_local148: j                       --> array_local147
444 array_local147: j                       --> array_local146
445 array_local146: j                       --> array_local145
446 array_local145: j                       --> array_local144
447 array_local144: j                       --> array_local143
448 array_local143: j                       --> array_local142
449 array_local142: j                       --> array_local141
450 array_local141: j                       --> array_local140
451 array_local140: j                       --> array_local139
452 array_local139: j                       --> array_local138
453 array_local138: j                       --> array_local137
454 array_local137: j                       --> array_local136
455 array_local136: j                       --> array_local135
456 array_local135: j                       --> array_local134
457 array_local134: j                       --> array_local133
458 array_local133: j                       --> array_local132
459 array_local132: j                       --> array_local131
460 array_local131: j                       --> array_local130
461 array_local130: j                       --> array_local129
462 array_local129: j                       --> array_local128
463 array_local128: j                       --> array_local111
464 array_local111: emit c16                --> array_local110
465 array_local110: li    $a1, 0            --> array_local109
466 array_local109: move    $a0, $sp        --> array_local248
467 array_local248: j                       --> array_local108
468 array_local108: j                       --> array_local107
469 array_local107: li    $v0, 4            --> array_local106
470 array_local106: mulo    $v0, $zero, $v0 --> array_local105
471 array_local105: add     $v0, $a0, $v0   --> array_local112
472 array_local112: lw    $a1, 0($v0)       --> array_local104
473 array_local104: emit c15                --> array_local103
474 array_local103: j                       --> array_local102
475 array_local102: move    $a1, $sp        --> array_local247
476 array_local247: j                       --> array_local101
477 array_local101: li    $a0, 1            --> array_local100
478 array_local100: li    $v0, 4            --> array_local99 
479 array_local99 : mulo    $v0, $a0, $v0   --> array_local98 
480 array_local98 : add     $v0, $a1, $v0   --> array_local127
481 array_local127: lw    $zero, 0($v0)     --> array_local97 
482 array_local97 : emit c14                --> array_local96 
483 array_local96 : j                       --> array_local95 
484 array_local95 : move    $a1, $sp        --> array_local262
485 array_local262: j                       --> array_local94 
486 array_local94 : li    $a0, 2            --> array_local93 
487 array_local93 : li    $v0, 4            --> array_local92 
488 array_local92 : mulo    $v0, $a0, $v0   --> array_local91 
489 array_local91 : add     $v0, $a1, $v0   --> array_local126
490 array_local126: lw    $zero, 0($v0)     --> array_local90 
491 array_local90 : emit c13                --> array_local89 
492 array_local89 : j                       --> array_local88 
493 array_local88 : move    $a1, $sp        --> array_local261
494 array_local261: j                       --> array_local87 
495 array_local87 : li    $a0, 3            --> array_local86 
496 array_local86 : li    $v0, 4            --> array_local85 
497 array_local85 : mulo    $v0, $a0, $v0   --> array_local84 
498 array_local84 : add     $v0, $a1, $v0   --> array_local124
499 array_local124: lw    $zero, 0($v0)     --> array_local83 
500 array_local83 : emit c12                --> array_local82 
501 array_local82 : j                       --> array_local81 
502 array_local81 : move    $a1, $sp        --> array_local260
503 array_local260: j                       --> array_local80 
504 array_local80 : li    $a0, 4            --> array_local79 
505 array_local79 : li    $v0, 4            --> array_local78 
506 array_local78 : mulo    $v0, $a0, $v0   --> array_local77 
507 array_local77 : add     $v0, $a1, $v0   --> array_local123
508 array_local123: lw    $zero, 0($v0)     --> array_local76 
509 array_local76 : emit c11                --> array_local75 
510 array_local75 : j                       --> array_local74 
511 array_local74 : move    $a1, $sp        --> array_local259
512 array_local259: j                       --> array_local73 
513 array_local73 : li    $a0, 5            --> array_local72 
514 array_local72 : li    $v0, 4            --> array_local71 
515 array_local71 : mulo    $v0, $a0, $v0   --> array_local70 
516 array_local70 : add     $v0, $a1, $v0   --> array_local122
517 array_local122: lw    $zero, 0($v0)     --> array_local69 
518 array_local69 : emit c10                --> array_local68 
519 array_local68 : j                       --> array_local67 
520 array_local67 : move    $a1, $sp        --> array_local257
521 array_local257: j                       --> array_local66 
522 array_local66 : li    $a0, 6            --> array_local65 
523 array_local65 : li    $v0, 4            --> array_local64 
524 array_local64 : mulo    $v0, $a0, $v0   --> array_local63 
525 array_local63 : add     $v0, $a1, $v0   --> array_local121
526 array_local121: lw    $zero, 0($v0)     --> array_local62 
527 array_local62 : emit c9                 --> array_local61 
528 array_local61 : j                       --> array_local60 
529 array_local60 : move    $a1, $sp        --> array_local256
530 array_local256: j                       --> array_local59 
531 array_local59 : li    $a0, 7            --> array_local58 
532 array_local58 : li    $v0, 4            --> array_local57 
533 array_local57 : mulo    $v0, $a0, $v0   --> array_local56 
534 array_local56 : add     $v0, $a1, $v0   --> array_local120
535 array_local120: lw    $zero, 0($v0)     --> array_local55 
536 array_local55 : emit c8                 --> array_local54 
537 array_local54 : j                       --> array_local53 
538 array_local53 : move    $a1, $sp        --> array_local255
539 array_local255: j                       --> array_local52 
540 array_local52 : li    $a0, 8            --> array_local51 
541 array_local51 : li    $v0, 4            --> array_local50 
542 array_local50 : mulo    $v0, $a0, $v0   --> array_local49 
543 array_local49 : add     $v0, $a1, $v0   --> array_local119
544 array_local119: lw    $zero, 0($v0)     --> array_local48 
545 array_local48 : emit c7                 --> array_local47 
546 array_local47 : j                       --> array_local46 
547 array_local46 : move    $a1, $sp        --> array_local254
548 array_local254: j                       --> array_local45 
549 array_local45 : li    $a0, 9            --> array_local44 
550 array_local44 : li    $v0, 4            --> array_local43 
551 array_local43 : mulo    $v0, $a0, $v0   --> array_local42 
552 array_local42 : add     $v0, $a1, $v0   --> array_local118
553 array_local118: lw    $zero, 0($v0)     --> array_local41 
554 array_local41 : emit c6                 --> array_local40 
555 array_local40 : li    $a1, 1            --> array_local39 
556 array_local39 : move    $a0, $sp        --> array_local253
557 array_local253: j                       --> array_local38 
558 array_local38 : j                       --> array_local37 
559 array_local37 : li    $v0, 4            --> array_local36 
560 array_local36 : mulo    $v0, $zero, $v0 --> array_local35 
561 array_local35 : add     $v0, $a0, $v0   --> array_local117
562 array_local117: lw    $a1, 0($v0)       --> array_local34 
563 array_local34 : emit c5                 --> array_local33 
564 array_local33 : li    $a2, 5            --> array_local32 
565 array_local32 : move    $a1, $sp        --> array_local252
566 array_local252: j                       --> array_local31 
567 array_local31 : li    $a0, 1            --> array_local30 
568 array_local30 : li    $v0, 4            --> array_local29 
569 array_local29 : mulo    $v0, $a0, $v0   --> array_local28 
570 array_local28 : add     $v0, $a1, $v0   --> array_local115
571 array_local115: lw    $a2, 0($v0)       --> array_local27 
572 array_local27 : emit c4                 --> array_local26 
573 array_local26 : j                       --> array_local251
574 array_local251: j                       --> array_local25 
575 array_local25 : j                       --> array_local24 
576 array_local24 : j                       --> array_local23 
577 array_local23 : j                       --> array_local22 
578 array_local22 : j                       --> array_local114
579 array_local114: j                       --> array_local21 
580 array_local21 : emit c3                 --> array_local20 
581 array_local20 : li    $a2, 7            --> array_local19 
582 array_local19 : move    $a1, $sp        --> array_local250
583 array_local250: j                       --> array_local18 
584 array_local18 : li    $a0, 1            --> array_local17 
585 array_local17 : li    $v0, 4            --> array_local16 
586 array_local16 : mulo    $v0, $a0, $v0   --> array_local15 
587 array_local15 : add     $v0, $a1, $v0   --> array_local113
588 array_local113: lw    $a2, 0($v0)       --> array_local14 
589 array_local14 : emit c2                 --> array_local13 
590 array_local13 : j                       --> array_local249
591 array_local249: j                       --> array_local12 
592 array_local12 : li    $a0, 1            --> array_local11 
593 array_local11 : li    $v0, 4            --> array_local10 
594 array_local10 : mulo    $v0, $a0, $v0   --> array_local9  
595 array_local9  : add     $v0, $sp, $v0   --> array_local125
596 array_local125: lw    $v0, 0($v0)       --> array_local8  
597 array_local8  : emit c1                 --> array_local7  
598 array_local7  : j                       --> array_local258
599 array_local258: j                       --> array_local6  
600 array_local6  : j                       --> array_local5  
601 array_local5  : j                       --> array_local4  
602 array_local4  : j                       --> array_local3  
603 array_local3  : j                       --> array_local116
604 array_local116: j                       --> array_local2  
605 array_local2  : emit c0                 --> array_local1  
606 array_local1  : j                       --> array_local0  
607 array_local0  : j                       --> array_local246
608 array_local246: j                       --> array_local245
609 array_local245: j                       --> array_local244
610 array_local244: j                       --> array_local243
611 array_local243: j                       --> array_local242
612 array_local242: j                       --> array_local241
613 array_local241: j                       --> array_local240
614 array_local240: j                       --> array_local239
615 array_local239: j                       --> array_local238
616 array_local238: j                       --> array_local237
617 array_local237: j                       --> array_local236
618 array_local236: delframe                --> array_local235
619 array_local235: jr    $ra                                 
620
621 procedure _main(0)
622 var 52
623 entry main181
624 main181: newframe                --> main180
625 main180: lw    $ra, 48($sp)      --> main179
626 main179: j                       --> main178
627 main178: j                       --> main177
628 main177: j                       --> main176
629 main176: j                       --> main175
630 main175: j                       --> main174
631 main174: j                       --> main173
632 main173: lw    $s1, 44($sp)      --> main172
633 main172: lw    $s0, 40($sp)      --> main171
634 main171: j                       --> main170
635 main170: j                       --> main169
636 main169: j                       --> main168
637 main168: j                       --> main167
638 main167: j                       --> main166
639 main166: j                       --> main165
640 main165: j                       --> main164
641 main164: j                       --> main163
642 main163: j                       --> main162
643 main162: j                       --> main161
644 main161: j                       --> main160
645 main160: j                       --> main159
646 main159: j                       --> main158
647 main158: j                       --> main157
648 main157: j                       --> main156
649 main156: j                       --> main155
650 main155: j                       --> main154
651 main154: j                       --> main153
652 main153: j                       --> main152
653 main152: j                       --> main151
654 main151: j                       --> main150
655 main150: j                       --> main149
656 main149: j                       --> main148
657 main148: j                       --> main147
658 main147: j                       --> main146
659 main146: j                       --> main145
660 main145: j                       --> main144
661 main144: j                       --> main143
662 main143: j                       --> main142
663 main142: j                       --> main141
664 main141: j                       --> main140
665 main140: j                       --> main139
666 main139: j                       --> main138
667 main138: j                       --> main137
668 main137: j                       --> main136
669 main136: j                       --> main135
670 main135: j                       --> main134
671 main134: j                       --> main133
672 main133: j                       --> main132
673 main132: j                       --> main131
674 main131: j                       --> main130
675 main130: j                       --> main129
676 main129: j                       --> main128
677 main128: j                       --> main127
678 main127: j                       --> main126
679 main126: j                       --> main125
680 main125: j                       --> main124
681 main124: j                       --> main123
682 main123: j                       --> main122
683 main122: j                       --> main121
684 main121: j                       --> main120
685 main120: j                       --> main119
686 main119: j                       --> main118
687 main118: j                       --> main117
688 main117: j                       --> main116
689 main116: j                       --> main115
690 main115: j                       --> main114
691 main114: j                       --> main113
692 main113: j                       --> main112
693 main112: j                       --> main111
694 main111: j                       --> main110
695 main110: j                       --> main109
696 main109: j                       --> main108
697 main108: j                       --> main107
698 main107: j                       --> main106
699 main106: j                       --> main105
700 main105: j                       --> main104
701 main104: j                       --> main103
702 main103: j                       --> main102
703 main102: j                       --> main101
704 main101: j                       --> main100
705 main100: j                       --> main99 
706 main99 : j                       --> main85 
707 main85 : emit c51                --> main84 
708 main84 : li    $a1, 1            --> main83 
709 main83 : move    $a0, $sp        --> main205
710 main205: j                       --> main82 
711 main82 : j                       --> main81 
712 main81 : li    $v0, 4            --> main80 
713 main80 : mulo    $v0, $zero, $v0 --> main79 
714 main79 : add     $v0, $a0, $v0   --> main97 
715 main97 : lw    $a1, 0($v0)       --> main78 
716 main78 : emit c50                --> main77 
717 main77 : li    $a2, 2            --> main76 
718 main76 : move    $a1, $sp        --> main204
719 main204: j                       --> main75 
720 main75 : li    $a0, 1            --> main74 
721 main74 : li    $v0, 4            --> main73 
722 main73 : mulo    $v0, $a0, $v0   --> main72 
723 main72 : add     $v0, $a1, $v0   --> main96 
724 main96 : lw    $a2, 0($v0)       --> main71 
725 main71 : emit c49                --> main70 
726 main70 : li    $a2, 3            --> main69 
727 main69 : move    $a1, $sp        --> main202
728 main202: j                       --> main68 
729 main68 : li    $a0, 2            --> main67 
730 main67 : li    $v0, 4            --> main66 
731 main66 : mulo    $v0, $a0, $v0   --> main65 
732 main65 : add     $v0, $a1, $v0   --> main95 
733 main95 : lw    $a2, 0($v0)       --> main64 
734 main64 : emit c48                --> main63 
735 main63 : li    $a2, 4            --> main62 
736 main62 : move    $a1, $sp        --> main201
737 main201: j                       --> main61 
738 main61 : li    $a0, 3            --> main60 
739 main60 : li    $v0, 4            --> main59 
740 main59 : mulo    $v0, $a0, $v0   --> main58 
741 main58 : add     $v0, $a1, $v0   --> main94 
742 main94 : lw    $a2, 0($v0)       --> main57 
743 main57 : emit c47                --> main56 
744 main56 : li    $a2, 5            --> main55 
745 main55 : move    $a1, $sp        --> main200
746 main200: j                       --> main54 
747 main54 : li    $a0, 4            --> main53 
748 main53 : li    $v0, 4            --> main52 
749 main52 : mulo    $v0, $a0, $v0   --> main51 
750 main51 : add     $v0, $a1, $v0   --> main93 
751 main93 : lw    $a2, 0($v0)       --> main50 
752 main50 : emit c46                --> main49 
753 main49 : li    $a2, 6            --> main48 
754 main48 : move    $a1, $sp        --> main199
755 main199: j                       --> main47 
756 main47 : li    $a0, 5            --> main46 
757 main46 : li    $v0, 4            --> main45 
758 main45 : mulo    $v0, $a0, $v0   --> main44 
759 main44 : add     $v0, $a1, $v0   --> main92 
760 main92 : lw    $a2, 0($v0)       --> main43 
761 main43 : emit c45                --> main42 
762 main42 : li    $a2, 7            --> main41 
763 main41 : move    $a1, $sp        --> main198
764 main198: j                       --> main40 
765 main40 : li    $a0, 6            --> main39 
766 main39 : li    $v0, 4            --> main38 
767 main38 : mulo    $v0, $a0, $v0   --> main37 
768 main37 : add     $v0, $a1, $v0   --> main90 
769 main90 : lw    $a2, 0($v0)       --> main36 
770 main36 : emit c44                --> main35 
771 main35 : li    $a2, 8            --> main34 
772 main34 : move    $a1, $sp        --> main197
773 main197: j                       --> main33 
774 main33 : li    $a0, 7            --> main32 
775 main32 : li    $v0, 4            --> main31 
776 main31 : mulo    $v0, $a0, $v0   --> main30 
777 main30 : add     $v0, $a1, $v0   --> main89 
778 main89 : lw    $a2, 0($v0)       --> main29 
779 main29 : emit c43                --> main28 
780 main28 : li    $a2, 9            --> main27 
781 main27 : move    $a1, $sp        --> main196
782 main196: j                       --> main26 
783 main26 : li    $a0, 8            --> main25 
784 main25 : li    $v0, 4            --> main24 
785 main24 : mulo    $v0, $a0, $v0   --> main23 
786 main23 : add     $v0, $a1, $v0   --> main88 
787 main88 : lw    $a2, 0($v0)       --> main22 
788 main22 : emit c42                --> main21 
789 main21 : j                       --> main20 
790 main20 : move    $a1, $sp        --> main195
791 main195: j                       --> main19 
792 main19 : li    $a0, 9            --> main18 
793 main18 : li    $v0, 4            --> main17 
794 main17 : mulo    $v0, $a0, $v0   --> main16 
795 main16 : add     $v0, $a1, $v0   --> main87 
796 main87 : lw    $zero, 0($v0)     --> main15 
797 main15 : emit c41                --> main14 
798 main14 : la    $v0, array_local  --> main86 
799 main86 : j                       --> main207
800 main207: call  $v0               --> main206
801 main206: move    $s0, $v0        --> main13 
802 main13 : emit c40                --> main12 
803 main12 : move    $a0, $sp        --> main194
804 main194: j                       --> main11 
805 main11 : li    $a1, 2            --> main10 
806 main10 : li    $a2, 3            --> main9  
807 main9  : la    $v0, array_mixte  --> main98 
808 main98 : j                       --> main217
809 main217: j                       --> main216
810 main216: j                       --> main215
811 main215: j                       --> main214
812 main214: call  $v0               --> main213
813 main213: move    $s1, $v0        --> main8  
814 main8  : emit c39                --> main7  
815 main7  : move    $a0, $sp        --> main203
816 main203: j                       --> main6  
817 main6  : li    $a1, 2            --> main5  
818 main5  : li    $a2, 3            --> main4  
819 main4  : la    $v0, array_param  --> main91 
820 main91 : j                       --> main212
821 main212: j                       --> main211
822 main211: j                       --> main210
823 main210: j                       --> main209
824 main209: call  $v0               --> main208
825 main208: j                       --> main3  
826 main3  : emit c38                --> main2  
827 main2  : add     $a0, $s0, $s1   --> main1  
828 main1  : add     $v0, $a0, $v0   --> main0  
829 main0  : j                       --> main193
830 main193: j                       --> main192
831 main192: lw    $ra, 48($sp)      --> main191
832 main191: j                       --> main190
833 main190: j                       --> main189
834 main189: j                       --> main188
835 main188: j                       --> main187
836 main187: j                       --> main186
837 main186: j                       --> main185
838 main185: lw    $s1, 44($sp)      --> main184
839 main184: lw    $s0, 40($sp)      --> main183
840 main183: delframe                --> main182
841 main182: jr    $ra                          
842
843 __builtin_varargs_start: int -> void
844
845
846 __builtin_va_start: int -> int -> void
847
848
849 __builtin_va_end: int -> void
850
851
852 __builtin_va_copy: int -> int -> void
853
854
855 __builtin_va_arg: int -> int -> void
856
857
858 __builtin_types_compatible_p: int -> int -> int
859
860
861 __builtin_tanl: float -> float
862
863
864 __builtin_tanhl: float -> float
865
866
867 __builtin_tanhf: float -> float
868
869
870 __builtin_tanh: float -> float
871
872
873 __builtin_tanf: float -> float
874
875
876 __builtin_tan: float -> float
877
878
879 __builtin_strspn: int -> int -> int
880
881
882 __builtin_strpbrk: int -> int -> int
883
884
885 __builtin_strncpy: int -> int -> int -> int
886
887
888 __builtin_strncmp: int -> int -> int -> int
889
890
891 __builtin_strncat: int -> int -> int -> int
892
893
894 __builtin_strcspn: int -> int -> int
895
896
897 __builtin_strcpy: int -> int -> int
898
899
900 __builtin_strcmp: int -> int -> int
901
902
903 __builtin_strchr: int -> int -> int
904
905
906 __builtin_stpcpy: int -> int -> int
907
908
909 __builtin_stdarg_start: int -> void
910
911
912 __builtin_sqrtl: float -> float
913
914
915 __builtin_sqrtf: float -> float
916
917
918 __builtin_sqrt: float -> float
919
920
921 __builtin_sinl: float -> float
922
923
924 __builtin_sinhl: float -> float
925
926
927 __builtin_sinhf: float -> float
928
929
930 __builtin_sinh: float -> float
931
932
933 __builtin_sinf: float -> float
934
935
936 __builtin_sin: float -> float
937
938
939 __builtin_return_address: int -> int
940
941
942 __builtin_return: int -> void
943
944
945 __builtin_powil: float -> int -> float
946
947
948 __builtin_powif: float -> int -> float
949
950
951 __builtin_powi: float -> int -> float
952
953
954 __builtin_popcountll: int -> int
955
956
957 __builtin_popcountl: int -> int
958
959
960 __builtin_popcount: int -> int
961
962
963 __builtin_parityll: int -> int
964
965
966 __builtin_parityl: int -> int
967
968
969 __builtin_parity: int -> int
970
971
972 __builtin_object_size: int -> int -> int
973
974
975 __builtin_next_arg: int
976
977
978 __builtin_nansl: int -> float
979
980
981 __builtin_nansf: int -> float
982
983
984 __builtin_nans: int -> float
985
986
987 __builtin_nanl: int -> float
988
989
990 __builtin_nanf: int -> float
991
992
993 __builtin_nan: int -> float
994
995
996 __builtin_modfl: float -> int -> float
997
998
999 __builtin_modff: float -> int -> float
1000
1001
1002 __builtin_mempcpy: int -> int -> int -> int
1003
1004
1005 __builtin_memcpy: int -> int -> int -> int
1006
1007
1008 __builtin_logl: float -> float
1009
1010
1011 __builtin_logf: float -> float
1012
1013
1014 __builtin_log10l: float -> float
1015
1016
1017 __builtin_log10f: float -> float
1018
1019
1020 __builtin_log10: float -> float
1021
1022
1023 __builtin_log: float -> float
1024
1025
1026 __builtin_ldexpl: float -> int -> float
1027
1028
1029 __builtin_ldexpf: float -> int -> float
1030
1031
1032 __builtin_ldexp: float -> int -> float
1033
1034
1035 __builtin_infl: float
1036
1037
1038 __builtin_inff: float
1039
1040
1041 __builtin_inf: float
1042
1043
1044 __builtin_huge_vall: float
1045
1046
1047 __builtin_huge_valf: float
1048
1049
1050 __builtin_huge_val: float
1051
1052
1053 __builtin_frexpl: float -> int -> float
1054
1055
1056 __builtin_frexpf: float -> int -> float
1057
1058
1059 __builtin_frexp: float -> int -> float
1060
1061
1062 __builtin_frame_address: int -> int
1063
1064
1065 __builtin_fmodl: float -> float
1066
1067
1068 __builtin_fmodf: float -> float
1069
1070
1071 __builtin_fmod: float -> float
1072
1073
1074 __builtin_floorl: float -> float
1075
1076
1077 __builtin_floorf: float -> float
1078
1079
1080 __builtin_floor: float -> float
1081
1082
1083 __builtin_ffsll: int -> int
1084
1085
1086 __builtin_ffsl: int -> int
1087
1088
1089 __builtin_ffs: int -> int
1090
1091
1092 __builtin_fabsl: float -> float
1093
1094
1095 __builtin_fabsf: float -> float
1096
1097
1098 __builtin_fabs: float -> float
1099
1100
1101 __builtin_expl: float -> float
1102
1103
1104 __builtin_expf: float -> float
1105
1106
1107 __builtin_expect: int -> int -> int
1108
1109
1110 __builtin_exp: float -> float
1111
1112
1113 __builtin_ctzll: int -> int
1114
1115
1116 __builtin_ctzl: int -> int
1117
1118
1119 __builtin_ctz: int -> int
1120
1121
1122 __builtin_cosl: float -> float
1123
1124
1125 __builtin_coshl: float -> float
1126
1127
1128 __builtin_coshf: float -> float
1129
1130
1131 __builtin_cosh: float -> float
1132
1133
1134 __builtin_cosf: float -> float
1135
1136
1137 __builtin_cos: float -> float
1138
1139
1140 __builtin_constant_p: int -> int
1141
1142
1143 __builtin_clzll: int -> int
1144
1145
1146 __builtin_clzl: int -> int
1147
1148
1149 __builtin_clz: int -> int
1150
1151
1152 __builtin_ceill: float -> float
1153
1154
1155 __builtin_ceilf: float -> float
1156
1157
1158 __builtin_ceil: float -> float
1159
1160
1161 __builtin_atanl: float -> float
1162
1163
1164 __builtin_atanf: float -> float
1165
1166
1167 __builtin_atan2l: float -> float -> float
1168
1169
1170 __builtin_atan2f: float -> float -> float
1171
1172
1173 __builtin_atan2: float -> float -> float
1174
1175
1176 __builtin_atan: float -> float
1177
1178
1179 __builtin_asinl: float -> float
1180
1181
1182 __builtin_asinf: float -> float
1183
1184
1185 __builtin_asin: float -> float
1186
1187
1188 __builtin_alloca: int -> int
1189
1190
1191 __builtin_acosl: float -> float
1192
1193
1194 __builtin_acosf: float -> float
1195
1196
1197 __builtin_acos: float -> float
1198
1199
1200 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
1201
1202
1203 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
1204
1205
1206 __builtin___vprintf_chk: int -> int -> int -> int
1207
1208
1209 __builtin___vfprintf_chk: int -> int -> int -> int -> int
1210
1211
1212 __builtin___strncpy_chk: int -> int -> int -> int -> int
1213
1214
1215 __builtin___strncat_chk: int -> int -> int -> int -> int
1216
1217
1218 __builtin___strcpy_chk: int -> int -> int -> int
1219
1220
1221 __builtin___strcat_chk: int -> int -> int -> int
1222
1223
1224 __builtin___stpcpy_chk: int -> int -> int -> int
1225
1226
1227 __builtin___memset_chk: int -> int -> int -> int -> int
1228
1229
1230 __builtin___mempcpy_chk: int -> int -> int -> int -> int
1231
1232
1233 __builtin___memmove_chk: int -> int -> int -> int -> int
1234
1235
1236 __builtin___memcpy_chk: int -> int -> int -> int -> int
1237
1238