source: Deliverables/D2.3/8051/tests/clight/array.LTL.expected @ 453

Last change on this file since 453 was 453, checked in by ayache, 9 years ago

Import of the Paris's sources.

File size: 49.2 KB
Line 
1program
2
3globals 0
4
5procedure array_param(3)
6var 0
7entry array_param79
8array_param79: newframe                --> array_param78
9array_param78: j                       --> array_param77
10array_param77: j                       --> array_param76
11array_param76: j                       --> array_param75
12array_param75: j                       --> array_param74
13array_param74: j                       --> array_param73
14array_param73: j                       --> array_param72
15array_param72: j                       --> array_param71
16array_param71: j                       --> array_param70
17array_param70: j                       --> array_param69
18array_param69: j                       --> array_param68
19array_param68: j                       --> array_param67
20array_param67: j                       --> array_param66
21array_param66: j                       --> array_param65
22array_param65: j                       --> array_param64
23array_param64: j                       --> array_param63
24array_param63: j                       --> array_param62
25array_param62: j                       --> array_param61
26array_param61: j                       --> array_param60
27array_param60: j                       --> array_param59
28array_param59: j                       --> array_param58
29array_param58: j                       --> array_param57
30array_param57: j                       --> array_param56
31array_param56: j                       --> array_param55
32array_param55: j                       --> array_param54
33array_param54: j                       --> array_param53
34array_param53: j                       --> array_param52
35array_param52: j                       --> array_param51
36array_param51: j                       --> array_param50
37array_param50: j                       --> array_param49
38array_param49: j                       --> array_param48
39array_param48: j                       --> array_param47
40array_param47: j                       --> array_param46
41array_param46: j                       --> array_param45
42array_param45: j                       --> array_param44
43array_param44: j                       --> array_param43
44array_param43: j                       --> array_param42
45array_param42: j                       --> array_param41
46array_param41: j                       --> array_param40
47array_param40: j                       --> array_param39
48array_param39: j                       --> array_param32
49array_param32: emit c37                --> array_param31
50array_param31: li    $a3, 1            --> array_param30
51array_param30: j                       --> array_param29
52array_param29: li    $v0, 4            --> array_param28
53array_param28: mulo    $v0, $zero, $v0 --> array_param27
54array_param27: add     $v0, $a0, $v0   --> array_param36
55array_param36: lw    $a3, 0($v0)       --> array_param26
56array_param26: emit c36                --> array_param25
57array_param25: li    $a3, 1            --> array_param24
58array_param24: li    $v0, 4            --> array_param23
59array_param23: mulo    $v0, $a3, $v0   --> array_param22
60array_param22: add     $v0, $a0, $v0   --> array_param35
61array_param35: lw    $a1, 0($v0)       --> array_param21
62array_param21: emit c35                --> array_param20
63array_param20: j                       --> array_param19
64array_param19: j                       --> array_param18
65array_param18: j                       --> array_param17
66array_param17: j                       --> array_param34
67array_param34: j                       --> array_param16
68array_param16: emit c34                --> array_param15
69array_param15: li    $a1, 7            --> array_param14
70array_param14: li    $v0, 4            --> array_param13
71array_param13: mulo    $v0, $a2, $v0   --> array_param12
72array_param12: add     $v0, $a0, $v0   --> array_param33
73array_param33: lw    $a1, 0($v0)       --> array_param11
74array_param11: emit c33                --> array_param10
75array_param10: li    $v0, 4            --> array_param9
76array_param9 : mulo    $v0, $a2, $v0   --> array_param8
77array_param8 : add     $v0, $a0, $v0   --> array_param38
78array_param38: lw    $v0, 0($v0)       --> array_param7
79array_param7 : emit c32                --> array_param6
80array_param6 : j                       --> array_param5
81array_param5 : j                       --> array_param4
82array_param4 : j                       --> array_param3
83array_param3 : j                       --> array_param37
84array_param37: j                       --> array_param2
85array_param2 : emit c31                --> array_param1
86array_param1 : j                       --> array_param0
87array_param0 : j                       --> array_param91
88array_param91: j                       --> array_param90
89array_param90: j                       --> array_param89
90array_param89: j                       --> array_param88
91array_param88: j                       --> array_param87
92array_param87: j                       --> array_param86
93array_param86: j                       --> array_param85
94array_param85: j                       --> array_param84
95array_param84: j                       --> array_param83
96array_param83: j                       --> array_param82
97array_param82: j                       --> array_param81
98array_param81: delframe                --> array_param80
99array_param80: jr    $ra                               
100
101procedure array_mixte(3)
102var 40
103entry array_mixte223
104array_mixte223: newframe                --> array_mixte222
105array_mixte222: j                       --> array_mixte221
106array_mixte221: j                       --> array_mixte220
107array_mixte220: j                       --> array_mixte219
108array_mixte219: j                       --> array_mixte218
109array_mixte218: j                       --> array_mixte217
110array_mixte217: j                       --> array_mixte216
111array_mixte216: j                       --> array_mixte215
112array_mixte215: j                       --> array_mixte214
113array_mixte214: j                       --> array_mixte213
114array_mixte213: j                       --> array_mixte212
115array_mixte212: j                       --> array_mixte211
116array_mixte211: j                       --> array_mixte210
117array_mixte210: j                       --> array_mixte209
118array_mixte209: j                       --> array_mixte208
119array_mixte208: j                       --> array_mixte207
120array_mixte207: j                       --> array_mixte206
121array_mixte206: j                       --> array_mixte205
122array_mixte205: j                       --> array_mixte204
123array_mixte204: j                       --> array_mixte203
124array_mixte203: j                       --> array_mixte202
125array_mixte202: j                       --> array_mixte201
126array_mixte201: j                       --> array_mixte200
127array_mixte200: j                       --> array_mixte199
128array_mixte199: j                       --> array_mixte198
129array_mixte198: j                       --> array_mixte197
130array_mixte197: j                       --> array_mixte196
131array_mixte196: j                       --> array_mixte195
132array_mixte195: j                       --> array_mixte194
133array_mixte194: j                       --> array_mixte193
134array_mixte193: j                       --> array_mixte192
135array_mixte192: j                       --> array_mixte191
136array_mixte191: j                       --> array_mixte190
137array_mixte190: j                       --> array_mixte189
138array_mixte189: j                       --> array_mixte188
139array_mixte188: j                       --> array_mixte187
140array_mixte187: j                       --> array_mixte186
141array_mixte186: j                       --> array_mixte185
142array_mixte185: j                       --> array_mixte184
143array_mixte184: j                       --> array_mixte183
144array_mixte183: j                       --> array_mixte182
145array_mixte182: j                       --> array_mixte181
146array_mixte181: j                       --> array_mixte180
147array_mixte180: j                       --> array_mixte179
148array_mixte179: j                       --> array_mixte178
149array_mixte178: j                       --> array_mixte177
150array_mixte177: j                       --> array_mixte176
151array_mixte176: j                       --> array_mixte175
152array_mixte175: j                       --> array_mixte174
153array_mixte174: j                       --> array_mixte173
154array_mixte173: j                       --> array_mixte172
155array_mixte172: j                       --> array_mixte171
156array_mixte171: j                       --> array_mixte170
157array_mixte170: j                       --> array_mixte169
158array_mixte169: j                       --> array_mixte168
159array_mixte168: j                       --> array_mixte167
160array_mixte167: j                       --> array_mixte166
161array_mixte166: j                       --> array_mixte165
162array_mixte165: j                       --> array_mixte164
163array_mixte164: j                       --> array_mixte163
164array_mixte163: j                       --> array_mixte162
165array_mixte162: j                       --> array_mixte161
166array_mixte161: j                       --> array_mixte160
167array_mixte160: j                       --> array_mixte159
168array_mixte159: j                       --> array_mixte158
169array_mixte158: j                       --> array_mixte157
170array_mixte157: j                       --> array_mixte156
171array_mixte156: j                       --> array_mixte155
172array_mixte155: j                       --> array_mixte154
173array_mixte154: j                       --> array_mixte153
174array_mixte153: j                       --> array_mixte152
175array_mixte152: j                       --> array_mixte151
176array_mixte151: j                       --> array_mixte150
177array_mixte150: j                       --> array_mixte149
178array_mixte149: j                       --> array_mixte148
179array_mixte148: j                       --> array_mixte147
180array_mixte147: j                       --> array_mixte146
181array_mixte146: j                       --> array_mixte145
182array_mixte145: j                       --> array_mixte144
183array_mixte144: j                       --> array_mixte143
184array_mixte143: j                       --> array_mixte142
185array_mixte142: j                       --> array_mixte141
186array_mixte141: j                       --> array_mixte140
187array_mixte140: j                       --> array_mixte139
188array_mixte139: j                       --> array_mixte138
189array_mixte138: j                       --> array_mixte137
190array_mixte137: j                       --> array_mixte136
191array_mixte136: j                       --> array_mixte135
192array_mixte135: j                       --> array_mixte134
193array_mixte134: j                       --> array_mixte133
194array_mixte133: j                       --> array_mixte132
195array_mixte132: j                       --> array_mixte131
196array_mixte131: j                       --> array_mixte130
197array_mixte130: j                       --> array_mixte129
198array_mixte129: j                       --> array_mixte128
199array_mixte128: j                       --> array_mixte127
200array_mixte127: j                       --> array_mixte126
201array_mixte126: j                       --> array_mixte125
202array_mixte125: j                       --> array_mixte124
203array_mixte124: j                       --> array_mixte123
204array_mixte123: j                       --> array_mixte122
205array_mixte122: j                       --> array_mixte121
206array_mixte121: j                       --> array_mixte120
207array_mixte120: j                       --> array_mixte102
208array_mixte102: emit c30                --> array_mixte101
209array_mixte101: li    $t0, 0            --> array_mixte100
210array_mixte100: move    $a3, $sp        --> array_mixte236
211array_mixte236: j                       --> array_mixte99
212array_mixte99 : j                       --> array_mixte98
213array_mixte98 : li    $v0, 4            --> array_mixte97
214array_mixte97 : mulo    $v0, $zero, $v0 --> array_mixte96
215array_mixte96 : add     $v0, $a3, $v0   --> array_mixte119
216array_mixte119: lw    $t0, 0($v0)       --> array_mixte95
217array_mixte95 : emit c29                --> array_mixte94
218array_mixte94 : j                       --> array_mixte93
219array_mixte93 : move    $t0, $sp        --> array_mixte248
220array_mixte248: j                       --> array_mixte92
221array_mixte92 : li    $a3, 1            --> array_mixte91
222array_mixte91 : li    $v0, 4            --> array_mixte90
223array_mixte90 : mulo    $v0, $a3, $v0   --> array_mixte89
224array_mixte89 : add     $v0, $t0, $v0   --> array_mixte117
225array_mixte117: lw    $zero, 0($v0)     --> array_mixte88
226array_mixte88 : emit c28                --> array_mixte87
227array_mixte87 : j                       --> array_mixte86
228array_mixte86 : move    $t0, $sp        --> array_mixte247
229array_mixte247: j                       --> array_mixte85
230array_mixte85 : li    $a3, 2            --> array_mixte84
231array_mixte84 : li    $v0, 4            --> array_mixte83
232array_mixte83 : mulo    $v0, $a3, $v0   --> array_mixte82
233array_mixte82 : add     $v0, $t0, $v0   --> array_mixte116
234array_mixte116: lw    $zero, 0($v0)     --> array_mixte81
235array_mixte81 : emit c27                --> array_mixte80
236array_mixte80 : j                       --> array_mixte79
237array_mixte79 : move    $t0, $sp        --> array_mixte246
238array_mixte246: j                       --> array_mixte78
239array_mixte78 : li    $a3, 3            --> array_mixte77
240array_mixte77 : li    $v0, 4            --> array_mixte76
241array_mixte76 : mulo    $v0, $a3, $v0   --> array_mixte75
242array_mixte75 : add     $v0, $t0, $v0   --> array_mixte115
243array_mixte115: lw    $zero, 0($v0)     --> array_mixte74
244array_mixte74 : emit c26                --> array_mixte73
245array_mixte73 : j                       --> array_mixte72
246array_mixte72 : move    $t0, $sp        --> array_mixte245
247array_mixte245: j                       --> array_mixte71
248array_mixte71 : li    $a3, 4            --> array_mixte70
249array_mixte70 : li    $v0, 4            --> array_mixte69
250array_mixte69 : mulo    $v0, $a3, $v0   --> array_mixte68
251array_mixte68 : add     $v0, $t0, $v0   --> array_mixte114
252array_mixte114: lw    $zero, 0($v0)     --> array_mixte67
253array_mixte67 : emit c25                --> array_mixte66
254array_mixte66 : j                       --> array_mixte65
255array_mixte65 : move    $t0, $sp        --> array_mixte244
256array_mixte244: j                       --> array_mixte64
257array_mixte64 : li    $a3, 5            --> array_mixte63
258array_mixte63 : li    $v0, 4            --> array_mixte62
259array_mixte62 : mulo    $v0, $a3, $v0   --> array_mixte61
260array_mixte61 : add     $v0, $t0, $v0   --> array_mixte113
261array_mixte113: lw    $zero, 0($v0)     --> array_mixte60
262array_mixte60 : emit c24                --> array_mixte59
263array_mixte59 : j                       --> array_mixte58
264array_mixte58 : move    $t0, $sp        --> array_mixte243
265array_mixte243: j                       --> array_mixte57
266array_mixte57 : li    $a3, 6            --> array_mixte56
267array_mixte56 : li    $v0, 4            --> array_mixte55
268array_mixte55 : mulo    $v0, $a3, $v0   --> array_mixte54
269array_mixte54 : add     $v0, $t0, $v0   --> array_mixte111
270array_mixte111: lw    $zero, 0($v0)     --> array_mixte53
271array_mixte53 : emit c23                --> array_mixte52
272array_mixte52 : j                       --> array_mixte51
273array_mixte51 : move    $t0, $sp        --> array_mixte242
274array_mixte242: j                       --> array_mixte50
275array_mixte50 : li    $a3, 7            --> array_mixte49
276array_mixte49 : li    $v0, 4            --> array_mixte48
277array_mixte48 : mulo    $v0, $a3, $v0   --> array_mixte47
278array_mixte47 : add     $v0, $t0, $v0   --> array_mixte110
279array_mixte110: lw    $zero, 0($v0)     --> array_mixte46
280array_mixte46 : emit c22                --> array_mixte45
281array_mixte45 : j                       --> array_mixte44
282array_mixte44 : move    $t0, $sp        --> array_mixte241
283array_mixte241: j                       --> array_mixte43
284array_mixte43 : li    $a3, 8            --> array_mixte42
285array_mixte42 : li    $v0, 4            --> array_mixte41
286array_mixte41 : mulo    $v0, $a3, $v0   --> array_mixte40
287array_mixte40 : add     $v0, $t0, $v0   --> array_mixte109
288array_mixte109: lw    $zero, 0($v0)     --> array_mixte39
289array_mixte39 : emit c21                --> array_mixte38
290array_mixte38 : j                       --> array_mixte37
291array_mixte37 : move    $t0, $sp        --> array_mixte239
292array_mixte239: j                       --> array_mixte36
293array_mixte36 : li    $a3, 9            --> array_mixte35
294array_mixte35 : li    $v0, 4            --> array_mixte34
295array_mixte34 : mulo    $v0, $a3, $v0   --> array_mixte33
296array_mixte33 : add     $v0, $t0, $v0   --> array_mixte108
297array_mixte108: lw    $zero, 0($v0)     --> array_mixte32
298array_mixte32 : emit c20                --> array_mixte31
299array_mixte31 : li    $v0, 4            --> array_mixte30
300array_mixte30 : mulo    $v0, $a2, $v0   --> array_mixte29
301array_mixte29 : add     $v0, $a0, $v0   --> array_mixte107
302array_mixte107: lw    $a3, 0($v0)       --> array_mixte28
303array_mixte28 : li    $v0, 1            --> array_mixte27
304array_mixte27 : add     $t0, $a3, $v0   --> array_mixte26
305array_mixte26 : move    $a3, $sp        --> array_mixte238
306array_mixte238: j                       --> array_mixte25
307array_mixte25 : li    $v0, 4            --> array_mixte24
308array_mixte24 : mulo    $v0, $a1, $v0   --> array_mixte23
309array_mixte23 : add     $v0, $a3, $v0   --> array_mixte106
310array_mixte106: lw    $t0, 0($v0)       --> array_mixte22
311array_mixte22 : emit c19                --> array_mixte21
312array_mixte21 : move    $a3, $sp        --> array_mixte237
313array_mixte237: j                       --> array_mixte20
314array_mixte20 : j                       --> array_mixte19
315array_mixte19 : li    $v0, 4            --> array_mixte18
316array_mixte18 : mulo    $v0, $zero, $v0 --> array_mixte17
317array_mixte17 : add     $v0, $a3, $v0   --> array_mixte105
318array_mixte105: lw    $a3, 0($v0)       --> array_mixte16
319array_mixte16 : li    $v0, 4            --> array_mixte15
320array_mixte15 : mulo    $v0, $a2, $v0   --> array_mixte14
321array_mixte14 : add     $v0, $a0, $v0   --> array_mixte104
322array_mixte104: lw    $a3, 0($v0)       --> array_mixte13
323array_mixte13 : emit c18                --> array_mixte12
324array_mixte12 : li    $a2, 1            --> array_mixte11
325array_mixte11 : li    $v0, 4            --> array_mixte10
326array_mixte10 : mulo    $v0, $a2, $v0   --> array_mixte9 
327array_mixte9  : add     $v0, $a0, $v0   --> array_mixte118
328array_mixte118: lw    $a2, 0($v0)       --> array_mixte8 
329array_mixte8  : li    $v0, 4            --> array_mixte7 
330array_mixte7  : mulo    $v0, $a1, $v0   --> array_mixte6 
331array_mixte6  : add     $v0, $a0, $v0   --> array_mixte112
332array_mixte112: lw    $a2, 0($v0)       --> array_mixte5 
333array_mixte5  : emit c17                --> array_mixte4 
334array_mixte4  : j                       --> array_mixte240
335array_mixte240: j                       --> array_mixte3 
336array_mixte3  : li    $v0, 4            --> array_mixte2 
337array_mixte2  : mulo    $v0, $a1, $v0   --> array_mixte1 
338array_mixte1  : add     $v0, $sp, $v0   --> array_mixte103
339array_mixte103: lw    $v0, 0($v0)       --> array_mixte0 
340array_mixte0  : j                       --> array_mixte235
341array_mixte235: j                       --> array_mixte234
342array_mixte234: j                       --> array_mixte233
343array_mixte233: j                       --> array_mixte232
344array_mixte232: j                       --> array_mixte231
345array_mixte231: j                       --> array_mixte230
346array_mixte230: j                       --> array_mixte229
347array_mixte229: j                       --> array_mixte228
348array_mixte228: j                       --> array_mixte227
349array_mixte227: j                       --> array_mixte226
350array_mixte226: j                       --> array_mixte225
351array_mixte225: delframe                --> array_mixte224
352array_mixte224: jr    $ra                                 
353
354procedure array_local(0)
355var 40
356entry array_local234
357array_local234: newframe                --> array_local233
358array_local233: j                       --> array_local232
359array_local232: j                       --> array_local231
360array_local231: j                       --> array_local230
361array_local230: j                       --> array_local229
362array_local229: j                       --> array_local228
363array_local228: j                       --> array_local227
364array_local227: j                       --> array_local226
365array_local226: j                       --> array_local225
366array_local225: j                       --> array_local224
367array_local224: j                       --> array_local223
368array_local223: j                       --> array_local222
369array_local222: j                       --> array_local221
370array_local221: j                       --> array_local220
371array_local220: j                       --> array_local219
372array_local219: j                       --> array_local218
373array_local218: j                       --> array_local217
374array_local217: j                       --> array_local216
375array_local216: j                       --> array_local215
376array_local215: j                       --> array_local214
377array_local214: j                       --> array_local213
378array_local213: j                       --> array_local212
379array_local212: j                       --> array_local211
380array_local211: j                       --> array_local210
381array_local210: j                       --> array_local209
382array_local209: j                       --> array_local208
383array_local208: j                       --> array_local207
384array_local207: j                       --> array_local206
385array_local206: j                       --> array_local205
386array_local205: j                       --> array_local204
387array_local204: j                       --> array_local203
388array_local203: j                       --> array_local202
389array_local202: j                       --> array_local201
390array_local201: j                       --> array_local200
391array_local200: j                       --> array_local199
392array_local199: j                       --> array_local198
393array_local198: j                       --> array_local197
394array_local197: j                       --> array_local196
395array_local196: j                       --> array_local195
396array_local195: j                       --> array_local194
397array_local194: j                       --> array_local193
398array_local193: j                       --> array_local192
399array_local192: j                       --> array_local191
400array_local191: j                       --> array_local190
401array_local190: j                       --> array_local189
402array_local189: j                       --> array_local188
403array_local188: j                       --> array_local187
404array_local187: j                       --> array_local186
405array_local186: j                       --> array_local185
406array_local185: j                       --> array_local184
407array_local184: j                       --> array_local183
408array_local183: j                       --> array_local182
409array_local182: j                       --> array_local181
410array_local181: j                       --> array_local180
411array_local180: j                       --> array_local179
412array_local179: j                       --> array_local178
413array_local178: j                       --> array_local177
414array_local177: j                       --> array_local176
415array_local176: j                       --> array_local175
416array_local175: j                       --> array_local174
417array_local174: j                       --> array_local173
418array_local173: j                       --> array_local172
419array_local172: j                       --> array_local171
420array_local171: j                       --> array_local170
421array_local170: j                       --> array_local169
422array_local169: j                       --> array_local168
423array_local168: j                       --> array_local167
424array_local167: j                       --> array_local166
425array_local166: j                       --> array_local165
426array_local165: j                       --> array_local164
427array_local164: j                       --> array_local163
428array_local163: j                       --> array_local162
429array_local162: j                       --> array_local161
430array_local161: j                       --> array_local160
431array_local160: j                       --> array_local159
432array_local159: j                       --> array_local158
433array_local158: j                       --> array_local157
434array_local157: j                       --> array_local156
435array_local156: j                       --> array_local155
436array_local155: j                       --> array_local154
437array_local154: j                       --> array_local153
438array_local153: j                       --> array_local152
439array_local152: j                       --> array_local151
440array_local151: j                       --> array_local150
441array_local150: j                       --> array_local149
442array_local149: j                       --> array_local148
443array_local148: j                       --> array_local147
444array_local147: j                       --> array_local146
445array_local146: j                       --> array_local145
446array_local145: j                       --> array_local144
447array_local144: j                       --> array_local143
448array_local143: j                       --> array_local142
449array_local142: j                       --> array_local141
450array_local141: j                       --> array_local140
451array_local140: j                       --> array_local139
452array_local139: j                       --> array_local138
453array_local138: j                       --> array_local137
454array_local137: j                       --> array_local136
455array_local136: j                       --> array_local135
456array_local135: j                       --> array_local134
457array_local134: j                       --> array_local133
458array_local133: j                       --> array_local132
459array_local132: j                       --> array_local131
460array_local131: j                       --> array_local130
461array_local130: j                       --> array_local129
462array_local129: j                       --> array_local128
463array_local128: j                       --> array_local111
464array_local111: emit c16                --> array_local110
465array_local110: li    $a1, 0            --> array_local109
466array_local109: move    $a0, $sp        --> array_local248
467array_local248: j                       --> array_local108
468array_local108: j                       --> array_local107
469array_local107: li    $v0, 4            --> array_local106
470array_local106: mulo    $v0, $zero, $v0 --> array_local105
471array_local105: add     $v0, $a0, $v0   --> array_local112
472array_local112: lw    $a1, 0($v0)       --> array_local104
473array_local104: emit c15                --> array_local103
474array_local103: j                       --> array_local102
475array_local102: move    $a1, $sp        --> array_local247
476array_local247: j                       --> array_local101
477array_local101: li    $a0, 1            --> array_local100
478array_local100: li    $v0, 4            --> array_local99
479array_local99 : mulo    $v0, $a0, $v0   --> array_local98
480array_local98 : add     $v0, $a1, $v0   --> array_local127
481array_local127: lw    $zero, 0($v0)     --> array_local97
482array_local97 : emit c14                --> array_local96
483array_local96 : j                       --> array_local95
484array_local95 : move    $a1, $sp        --> array_local262
485array_local262: j                       --> array_local94
486array_local94 : li    $a0, 2            --> array_local93
487array_local93 : li    $v0, 4            --> array_local92
488array_local92 : mulo    $v0, $a0, $v0   --> array_local91
489array_local91 : add     $v0, $a1, $v0   --> array_local126
490array_local126: lw    $zero, 0($v0)     --> array_local90
491array_local90 : emit c13                --> array_local89
492array_local89 : j                       --> array_local88
493array_local88 : move    $a1, $sp        --> array_local261
494array_local261: j                       --> array_local87
495array_local87 : li    $a0, 3            --> array_local86
496array_local86 : li    $v0, 4            --> array_local85
497array_local85 : mulo    $v0, $a0, $v0   --> array_local84
498array_local84 : add     $v0, $a1, $v0   --> array_local124
499array_local124: lw    $zero, 0($v0)     --> array_local83
500array_local83 : emit c12                --> array_local82
501array_local82 : j                       --> array_local81
502array_local81 : move    $a1, $sp        --> array_local260
503array_local260: j                       --> array_local80
504array_local80 : li    $a0, 4            --> array_local79
505array_local79 : li    $v0, 4            --> array_local78
506array_local78 : mulo    $v0, $a0, $v0   --> array_local77
507array_local77 : add     $v0, $a1, $v0   --> array_local123
508array_local123: lw    $zero, 0($v0)     --> array_local76
509array_local76 : emit c11                --> array_local75
510array_local75 : j                       --> array_local74
511array_local74 : move    $a1, $sp        --> array_local259
512array_local259: j                       --> array_local73
513array_local73 : li    $a0, 5            --> array_local72
514array_local72 : li    $v0, 4            --> array_local71
515array_local71 : mulo    $v0, $a0, $v0   --> array_local70
516array_local70 : add     $v0, $a1, $v0   --> array_local122
517array_local122: lw    $zero, 0($v0)     --> array_local69
518array_local69 : emit c10                --> array_local68
519array_local68 : j                       --> array_local67
520array_local67 : move    $a1, $sp        --> array_local257
521array_local257: j                       --> array_local66
522array_local66 : li    $a0, 6            --> array_local65
523array_local65 : li    $v0, 4            --> array_local64
524array_local64 : mulo    $v0, $a0, $v0   --> array_local63
525array_local63 : add     $v0, $a1, $v0   --> array_local121
526array_local121: lw    $zero, 0($v0)     --> array_local62
527array_local62 : emit c9                 --> array_local61
528array_local61 : j                       --> array_local60
529array_local60 : move    $a1, $sp        --> array_local256
530array_local256: j                       --> array_local59
531array_local59 : li    $a0, 7            --> array_local58
532array_local58 : li    $v0, 4            --> array_local57
533array_local57 : mulo    $v0, $a0, $v0   --> array_local56
534array_local56 : add     $v0, $a1, $v0   --> array_local120
535array_local120: lw    $zero, 0($v0)     --> array_local55
536array_local55 : emit c8                 --> array_local54
537array_local54 : j                       --> array_local53
538array_local53 : move    $a1, $sp        --> array_local255
539array_local255: j                       --> array_local52
540array_local52 : li    $a0, 8            --> array_local51
541array_local51 : li    $v0, 4            --> array_local50
542array_local50 : mulo    $v0, $a0, $v0   --> array_local49
543array_local49 : add     $v0, $a1, $v0   --> array_local119
544array_local119: lw    $zero, 0($v0)     --> array_local48
545array_local48 : emit c7                 --> array_local47
546array_local47 : j                       --> array_local46
547array_local46 : move    $a1, $sp        --> array_local254
548array_local254: j                       --> array_local45
549array_local45 : li    $a0, 9            --> array_local44
550array_local44 : li    $v0, 4            --> array_local43
551array_local43 : mulo    $v0, $a0, $v0   --> array_local42
552array_local42 : add     $v0, $a1, $v0   --> array_local118
553array_local118: lw    $zero, 0($v0)     --> array_local41
554array_local41 : emit c6                 --> array_local40
555array_local40 : li    $a1, 1            --> array_local39
556array_local39 : move    $a0, $sp        --> array_local253
557array_local253: j                       --> array_local38
558array_local38 : j                       --> array_local37
559array_local37 : li    $v0, 4            --> array_local36
560array_local36 : mulo    $v0, $zero, $v0 --> array_local35
561array_local35 : add     $v0, $a0, $v0   --> array_local117
562array_local117: lw    $a1, 0($v0)       --> array_local34
563array_local34 : emit c5                 --> array_local33
564array_local33 : li    $a2, 5            --> array_local32
565array_local32 : move    $a1, $sp        --> array_local252
566array_local252: j                       --> array_local31
567array_local31 : li    $a0, 1            --> array_local30
568array_local30 : li    $v0, 4            --> array_local29
569array_local29 : mulo    $v0, $a0, $v0   --> array_local28
570array_local28 : add     $v0, $a1, $v0   --> array_local115
571array_local115: lw    $a2, 0($v0)       --> array_local27
572array_local27 : emit c4                 --> array_local26
573array_local26 : j                       --> array_local251
574array_local251: j                       --> array_local25
575array_local25 : j                       --> array_local24
576array_local24 : j                       --> array_local23
577array_local23 : j                       --> array_local22
578array_local22 : j                       --> array_local114
579array_local114: j                       --> array_local21
580array_local21 : emit c3                 --> array_local20
581array_local20 : li    $a2, 7            --> array_local19
582array_local19 : move    $a1, $sp        --> array_local250
583array_local250: j                       --> array_local18
584array_local18 : li    $a0, 1            --> array_local17
585array_local17 : li    $v0, 4            --> array_local16
586array_local16 : mulo    $v0, $a0, $v0   --> array_local15
587array_local15 : add     $v0, $a1, $v0   --> array_local113
588array_local113: lw    $a2, 0($v0)       --> array_local14
589array_local14 : emit c2                 --> array_local13
590array_local13 : j                       --> array_local249
591array_local249: j                       --> array_local12
592array_local12 : li    $a0, 1            --> array_local11
593array_local11 : li    $v0, 4            --> array_local10
594array_local10 : mulo    $v0, $a0, $v0   --> array_local9 
595array_local9  : add     $v0, $sp, $v0   --> array_local125
596array_local125: lw    $v0, 0($v0)       --> array_local8 
597array_local8  : emit c1                 --> array_local7 
598array_local7  : j                       --> array_local258
599array_local258: j                       --> array_local6 
600array_local6  : j                       --> array_local5 
601array_local5  : j                       --> array_local4 
602array_local4  : j                       --> array_local3 
603array_local3  : j                       --> array_local116
604array_local116: j                       --> array_local2 
605array_local2  : emit c0                 --> array_local1 
606array_local1  : j                       --> array_local0 
607array_local0  : j                       --> array_local246
608array_local246: j                       --> array_local245
609array_local245: j                       --> array_local244
610array_local244: j                       --> array_local243
611array_local243: j                       --> array_local242
612array_local242: j                       --> array_local241
613array_local241: j                       --> array_local240
614array_local240: j                       --> array_local239
615array_local239: j                       --> array_local238
616array_local238: j                       --> array_local237
617array_local237: j                       --> array_local236
618array_local236: delframe                --> array_local235
619array_local235: jr    $ra                                 
620
621procedure _main(0)
622var 52
623entry main181
624main181: newframe                --> main180
625main180: lw    $ra, 48($sp)      --> main179
626main179: j                       --> main178
627main178: j                       --> main177
628main177: j                       --> main176
629main176: j                       --> main175
630main175: j                       --> main174
631main174: j                       --> main173
632main173: lw    $s1, 44($sp)      --> main172
633main172: lw    $s0, 40($sp)      --> main171
634main171: j                       --> main170
635main170: j                       --> main169
636main169: j                       --> main168
637main168: j                       --> main167
638main167: j                       --> main166
639main166: j                       --> main165
640main165: j                       --> main164
641main164: j                       --> main163
642main163: j                       --> main162
643main162: j                       --> main161
644main161: j                       --> main160
645main160: j                       --> main159
646main159: j                       --> main158
647main158: j                       --> main157
648main157: j                       --> main156
649main156: j                       --> main155
650main155: j                       --> main154
651main154: j                       --> main153
652main153: j                       --> main152
653main152: j                       --> main151
654main151: j                       --> main150
655main150: j                       --> main149
656main149: j                       --> main148
657main148: j                       --> main147
658main147: j                       --> main146
659main146: j                       --> main145
660main145: j                       --> main144
661main144: j                       --> main143
662main143: j                       --> main142
663main142: j                       --> main141
664main141: j                       --> main140
665main140: j                       --> main139
666main139: j                       --> main138
667main138: j                       --> main137
668main137: j                       --> main136
669main136: j                       --> main135
670main135: j                       --> main134
671main134: j                       --> main133
672main133: j                       --> main132
673main132: j                       --> main131
674main131: j                       --> main130
675main130: j                       --> main129
676main129: j                       --> main128
677main128: j                       --> main127
678main127: j                       --> main126
679main126: j                       --> main125
680main125: j                       --> main124
681main124: j                       --> main123
682main123: j                       --> main122
683main122: j                       --> main121
684main121: j                       --> main120
685main120: j                       --> main119
686main119: j                       --> main118
687main118: j                       --> main117
688main117: j                       --> main116
689main116: j                       --> main115
690main115: j                       --> main114
691main114: j                       --> main113
692main113: j                       --> main112
693main112: j                       --> main111
694main111: j                       --> main110
695main110: j                       --> main109
696main109: j                       --> main108
697main108: j                       --> main107
698main107: j                       --> main106
699main106: j                       --> main105
700main105: j                       --> main104
701main104: j                       --> main103
702main103: j                       --> main102
703main102: j                       --> main101
704main101: j                       --> main100
705main100: j                       --> main99
706main99 : j                       --> main85
707main85 : emit c51                --> main84
708main84 : li    $a1, 1            --> main83
709main83 : move    $a0, $sp        --> main205
710main205: j                       --> main82
711main82 : j                       --> main81
712main81 : li    $v0, 4            --> main80
713main80 : mulo    $v0, $zero, $v0 --> main79
714main79 : add     $v0, $a0, $v0   --> main97
715main97 : lw    $a1, 0($v0)       --> main78
716main78 : emit c50                --> main77
717main77 : li    $a2, 2            --> main76
718main76 : move    $a1, $sp        --> main204
719main204: j                       --> main75
720main75 : li    $a0, 1            --> main74
721main74 : li    $v0, 4            --> main73
722main73 : mulo    $v0, $a0, $v0   --> main72
723main72 : add     $v0, $a1, $v0   --> main96
724main96 : lw    $a2, 0($v0)       --> main71
725main71 : emit c49                --> main70
726main70 : li    $a2, 3            --> main69
727main69 : move    $a1, $sp        --> main202
728main202: j                       --> main68
729main68 : li    $a0, 2            --> main67
730main67 : li    $v0, 4            --> main66
731main66 : mulo    $v0, $a0, $v0   --> main65
732main65 : add     $v0, $a1, $v0   --> main95
733main95 : lw    $a2, 0($v0)       --> main64
734main64 : emit c48                --> main63
735main63 : li    $a2, 4            --> main62
736main62 : move    $a1, $sp        --> main201
737main201: j                       --> main61
738main61 : li    $a0, 3            --> main60
739main60 : li    $v0, 4            --> main59
740main59 : mulo    $v0, $a0, $v0   --> main58
741main58 : add     $v0, $a1, $v0   --> main94
742main94 : lw    $a2, 0($v0)       --> main57
743main57 : emit c47                --> main56
744main56 : li    $a2, 5            --> main55
745main55 : move    $a1, $sp        --> main200
746main200: j                       --> main54
747main54 : li    $a0, 4            --> main53
748main53 : li    $v0, 4            --> main52
749main52 : mulo    $v0, $a0, $v0   --> main51
750main51 : add     $v0, $a1, $v0   --> main93
751main93 : lw    $a2, 0($v0)       --> main50
752main50 : emit c46                --> main49
753main49 : li    $a2, 6            --> main48
754main48 : move    $a1, $sp        --> main199
755main199: j                       --> main47
756main47 : li    $a0, 5            --> main46
757main46 : li    $v0, 4            --> main45
758main45 : mulo    $v0, $a0, $v0   --> main44
759main44 : add     $v0, $a1, $v0   --> main92
760main92 : lw    $a2, 0($v0)       --> main43
761main43 : emit c45                --> main42
762main42 : li    $a2, 7            --> main41
763main41 : move    $a1, $sp        --> main198
764main198: j                       --> main40
765main40 : li    $a0, 6            --> main39
766main39 : li    $v0, 4            --> main38
767main38 : mulo    $v0, $a0, $v0   --> main37
768main37 : add     $v0, $a1, $v0   --> main90
769main90 : lw    $a2, 0($v0)       --> main36
770main36 : emit c44                --> main35
771main35 : li    $a2, 8            --> main34
772main34 : move    $a1, $sp        --> main197
773main197: j                       --> main33
774main33 : li    $a0, 7            --> main32
775main32 : li    $v0, 4            --> main31
776main31 : mulo    $v0, $a0, $v0   --> main30
777main30 : add     $v0, $a1, $v0   --> main89
778main89 : lw    $a2, 0($v0)       --> main29
779main29 : emit c43                --> main28
780main28 : li    $a2, 9            --> main27
781main27 : move    $a1, $sp        --> main196
782main196: j                       --> main26
783main26 : li    $a0, 8            --> main25
784main25 : li    $v0, 4            --> main24
785main24 : mulo    $v0, $a0, $v0   --> main23
786main23 : add     $v0, $a1, $v0   --> main88
787main88 : lw    $a2, 0($v0)       --> main22
788main22 : emit c42                --> main21
789main21 : j                       --> main20
790main20 : move    $a1, $sp        --> main195
791main195: j                       --> main19
792main19 : li    $a0, 9            --> main18
793main18 : li    $v0, 4            --> main17
794main17 : mulo    $v0, $a0, $v0   --> main16
795main16 : add     $v0, $a1, $v0   --> main87
796main87 : lw    $zero, 0($v0)     --> main15
797main15 : emit c41                --> main14
798main14 : la    $v0, array_local  --> main86
799main86 : j                       --> main207
800main207: call  $v0               --> main206
801main206: move    $s0, $v0        --> main13
802main13 : emit c40                --> main12
803main12 : move    $a0, $sp        --> main194
804main194: j                       --> main11
805main11 : li    $a1, 2            --> main10
806main10 : li    $a2, 3            --> main9 
807main9  : la    $v0, array_mixte  --> main98
808main98 : j                       --> main217
809main217: j                       --> main216
810main216: j                       --> main215
811main215: j                       --> main214
812main214: call  $v0               --> main213
813main213: move    $s1, $v0        --> main8 
814main8  : emit c39                --> main7 
815main7  : move    $a0, $sp        --> main203
816main203: j                       --> main6 
817main6  : li    $a1, 2            --> main5 
818main5  : li    $a2, 3            --> main4 
819main4  : la    $v0, array_param  --> main91
820main91 : j                       --> main212
821main212: j                       --> main211
822main211: j                       --> main210
823main210: j                       --> main209
824main209: call  $v0               --> main208
825main208: j                       --> main3 
826main3  : emit c38                --> main2 
827main2  : add     $a0, $s0, $s1   --> main1 
828main1  : add     $v0, $a0, $v0   --> main0 
829main0  : j                       --> main193
830main193: j                       --> main192
831main192: lw    $ra, 48($sp)      --> main191
832main191: j                       --> main190
833main190: j                       --> main189
834main189: j                       --> main188
835main188: j                       --> main187
836main187: j                       --> main186
837main186: j                       --> main185
838main185: lw    $s1, 44($sp)      --> main184
839main184: lw    $s0, 40($sp)      --> main183
840main183: delframe                --> main182
841main182: 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
Note: See TracBrowser for help on using the repository browser.