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