]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_Array_lecture.ERTL.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / testTB_Array_lecture.ERTL.expected
1 program
2
3 globals 20
4
5 procedure array_lecture(3)
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 entry array_lecture33
11 array_lecture33: newframe            --> array_lecture32
12 array_lecture32: move  %20, $ra      --> array_lecture31
13 array_lecture31: move  %19, $s7      --> array_lecture30
14 array_lecture30: move  %18, $s6      --> array_lecture29
15 array_lecture29: move  %17, $s5      --> array_lecture28
16 array_lecture28: move  %16, $s4      --> array_lecture27
17 array_lecture27: move  %15, $s3      --> array_lecture26
18 array_lecture26: move  %14, $s2      --> array_lecture25
19 array_lecture25: move  %13, $s1      --> array_lecture24
20 array_lecture24: move  %12, $s0      --> array_lecture23
21 array_lecture23: move  %0, $a0       --> array_lecture22
22 array_lecture22: move  %1, $a1       --> array_lecture21
23 array_lecture21: move  %2, $a2       --> array_lecture20
24 array_lecture20: li    %3, 0         --> array_lecture19
25 array_lecture19: li    %4, 0         --> array_lecture18
26 array_lecture18: li    %6, 0         --> array_lecture17
27 array_lecture17: li    %7, 0         --> array_lecture16
28 array_lecture16: li    %8, 0         --> array_lecture15
29 array_lecture15: li    %9, 0         --> array_lecture14
30 array_lecture14: li    %10, 0        --> array_lecture13
31 array_lecture13: li    %11, 0        --> array_lecture10
32 array_lecture10: emit c2             --> array_lecture9 
33 array_lecture9 : li    %9, 4         --> array_lecture8 
34 array_lecture8 : mulo    %8, %1, %9  --> array_lecture7 
35 array_lecture7 : add     %11, %0, %8 --> array_lecture12
36 array_lecture12: lw    %4, 0(%11)    --> array_lecture6 
37 array_lecture6 : emit c1             --> array_lecture5 
38 array_lecture5 : li    %7, 4         --> array_lecture4 
39 array_lecture4 : mulo    %6, %2, %7  --> array_lecture3 
40 array_lecture3 : add     %10, %0, %6 --> array_lecture11
41 array_lecture11: lw    %3, 0(%10)    --> array_lecture2 
42 array_lecture2 : emit c0             --> array_lecture1 
43 array_lecture1 : add     %5, %4, %3  --> array_lecture0 
44 array_lecture0 : j                   --> array_lecture45
45 array_lecture45: move  $v0, %5       --> array_lecture44
46 array_lecture44: move  $ra, %20      --> array_lecture43
47 array_lecture43: move  $s7, %19      --> array_lecture42
48 array_lecture42: move  $s6, %18      --> array_lecture41
49 array_lecture41: move  $s5, %17      --> array_lecture40
50 array_lecture40: move  $s4, %16      --> array_lecture39
51 array_lecture39: move  $s3, %15      --> array_lecture38
52 array_lecture38: move  $s2, %14      --> array_lecture37
53 array_lecture37: move  $s1, %13      --> array_lecture36
54 array_lecture36: move  $s0, %12      --> array_lecture35
55 array_lecture35: delframe            --> array_lecture34
56 array_lecture34: jr    $ra           (xmits $v0)        
57
58 procedure _main(0)
59 stacksize 0
60 var %0, %1, %2, %3, %4, %5, %6, 
61     %7, %8, %9, %10, %11, %12, %13, 
62     %14, %15, %16, %17, %18, %19, %20, 
63     %21, %22, %23, %24
64 entry main48
65 main48: newframe                 --> main47 
66 main47: move  %24, $ra           --> main46 
67 main46: move  %23, $s7           --> main45 
68 main45: move  %22, $s6           --> main44 
69 main44: move  %21, $s5           --> main43 
70 main43: move  %20, $s4           --> main42 
71 main42: move  %19, $s3           --> main41 
72 main41: move  %18, $s2           --> main40 
73 main40: move  %17, $s1           --> main39 
74 main39: move  %16, $s0           --> main38 
75 main38: li    %0, 0              --> main37 
76 main37: li    %2, 0              --> main36 
77 main36: li    %3, 0              --> main35 
78 main35: li    %4, 0              --> main34 
79 main34: li    %5, 0              --> main33 
80 main33: li    %6, 0              --> main32 
81 main32: li    %7, 0              --> main31 
82 main31: li    %8, 0              --> main30 
83 main30: li    %9, 0              --> main29 
84 main29: li    %10, 0             --> main28 
85 main28: li    %11, 0             --> main27 
86 main27: li    %12, 0             --> main26 
87 main26: li    %13, 0             --> main25 
88 main25: li    %14, 0             --> main24 
89 main24: li    %15, 0             --> main17 
90 main17: li    %9, 1              --> main16 
91 main16: move  %13, $gp           --> main64 
92 main64: move    %13, %13         --> main21 
93 main21: sw    %9, 0(%13)         --> main15 
94 main15: li    %8, 2              --> main14 
95 main14: move  %12, $gp           --> main63 
96 main63: move    %12, %12         --> main20 
97 main20: sw    %8, 4(%12)         --> main13 
98 main13: li    %7, 3              --> main12 
99 main12: move  %11, $gp           --> main62 
100 main62: move    %11, %11         --> main19 
101 main19: sw    %7, 8(%11)         --> main11 
102 main11: li    %6, 5              --> main10 
103 main10: move  %10, $gp           --> main61 
104 main61: move    %10, %10         --> main18 
105 main18: sw    %6, 12(%10)        --> main9  
106 main9 : li    %5, 8              --> main8  
107 main8 : move  %15, $gp           --> main71 
108 main71: move    %15, %15         --> main23 
109 main23: sw    %5, 16(%15)        --> main7  
110 main7 : emit c4                  --> main6  
111 main6 : move  %2, $gp            --> main70 
112 main70: move    %2, %2           --> main5  
113 main5 : li    %3, 0              --> main4  
114 main4 : li    %4, 4              --> main3  
115 main3 : la    %14, array_lecture --> main22 
116 main22: j                        --> main69 
117 main69: move  $a0, %2            --> main68 
118 main68: move  $a1, %3            --> main67 
119 main67: move  $a2, %4            --> main66 
120 main66: call  %14(3)             --> main65 
121 main65: move  %0, $v0            --> main2  
122 main2 : emit c3                  --> main1  
123 main1 : move    %1, %0           --> main0  
124 main0 : j                        --> main60 
125 main60: move  $v0, %1            --> main59 
126 main59: move  $ra, %24           --> main58 
127 main58: move  $s7, %23           --> main57 
128 main57: move  $s6, %22           --> main56 
129 main56: move  $s5, %21           --> main55 
130 main55: move  $s4, %20           --> main54 
131 main54: move  $s3, %19           --> main53 
132 main53: move  $s2, %18           --> main52 
133 main52: move  $s1, %17           --> main51 
134 main51: move  $s0, %16           --> main50 
135 main50: delframe                 --> main49 
136 main49: jr    $ra                (xmits $v0)
137
138 __builtin_varargs_start: int -> void
139
140
141 __builtin_va_start: int -> int -> void
142
143
144 __builtin_va_end: int -> void
145
146
147 __builtin_va_copy: int -> int -> void
148
149
150 __builtin_va_arg: int -> int -> void
151
152
153 __builtin_types_compatible_p: int -> int -> int
154
155
156 __builtin_tanl: float -> float
157
158
159 __builtin_tanhl: float -> float
160
161
162 __builtin_tanhf: float -> float
163
164
165 __builtin_tanh: float -> float
166
167
168 __builtin_tanf: float -> float
169
170
171 __builtin_tan: float -> float
172
173
174 __builtin_strspn: int -> int -> int
175
176
177 __builtin_strpbrk: int -> int -> int
178
179
180 __builtin_strncpy: int -> int -> int -> int
181
182
183 __builtin_strncmp: int -> int -> int -> int
184
185
186 __builtin_strncat: int -> int -> int -> int
187
188
189 __builtin_strcspn: int -> int -> int
190
191
192 __builtin_strcpy: int -> int -> int
193
194
195 __builtin_strcmp: int -> int -> int
196
197
198 __builtin_strchr: int -> int -> int
199
200
201 __builtin_stpcpy: int -> int -> int
202
203
204 __builtin_stdarg_start: int -> void
205
206
207 __builtin_sqrtl: float -> float
208
209
210 __builtin_sqrtf: float -> float
211
212
213 __builtin_sqrt: float -> float
214
215
216 __builtin_sinl: float -> float
217
218
219 __builtin_sinhl: float -> float
220
221
222 __builtin_sinhf: float -> float
223
224
225 __builtin_sinh: float -> float
226
227
228 __builtin_sinf: float -> float
229
230
231 __builtin_sin: float -> float
232
233
234 __builtin_return_address: int -> int
235
236
237 __builtin_return: int -> void
238
239
240 __builtin_powil: float -> int -> float
241
242
243 __builtin_powif: float -> int -> float
244
245
246 __builtin_powi: float -> int -> float
247
248
249 __builtin_popcountll: int -> int
250
251
252 __builtin_popcountl: int -> int
253
254
255 __builtin_popcount: int -> int
256
257
258 __builtin_parityll: int -> int
259
260
261 __builtin_parityl: int -> int
262
263
264 __builtin_parity: int -> int
265
266
267 __builtin_object_size: int -> int -> int
268
269
270 __builtin_next_arg: int
271
272
273 __builtin_nansl: int -> float
274
275
276 __builtin_nansf: int -> float
277
278
279 __builtin_nans: int -> float
280
281
282 __builtin_nanl: int -> float
283
284
285 __builtin_nanf: int -> float
286
287
288 __builtin_nan: int -> float
289
290
291 __builtin_modfl: float -> int -> float
292
293
294 __builtin_modff: float -> int -> float
295
296
297 __builtin_mempcpy: int -> int -> int -> int
298
299
300 __builtin_memcpy: int -> int -> int -> int
301
302
303 __builtin_logl: float -> float
304
305
306 __builtin_logf: float -> float
307
308
309 __builtin_log10l: float -> float
310
311
312 __builtin_log10f: float -> float
313
314
315 __builtin_log10: float -> float
316
317
318 __builtin_log: float -> float
319
320
321 __builtin_ldexpl: float -> int -> float
322
323
324 __builtin_ldexpf: float -> int -> float
325
326
327 __builtin_ldexp: float -> int -> float
328
329
330 __builtin_infl: float
331
332
333 __builtin_inff: float
334
335
336 __builtin_inf: float
337
338
339 __builtin_huge_vall: float
340
341
342 __builtin_huge_valf: float
343
344
345 __builtin_huge_val: float
346
347
348 __builtin_frexpl: float -> int -> float
349
350
351 __builtin_frexpf: float -> int -> float
352
353
354 __builtin_frexp: float -> int -> float
355
356
357 __builtin_frame_address: int -> int
358
359
360 __builtin_fmodl: float -> float
361
362
363 __builtin_fmodf: float -> float
364
365
366 __builtin_fmod: float -> float
367
368
369 __builtin_floorl: float -> float
370
371
372 __builtin_floorf: float -> float
373
374
375 __builtin_floor: float -> float
376
377
378 __builtin_ffsll: int -> int
379
380
381 __builtin_ffsl: int -> int
382
383
384 __builtin_ffs: int -> int
385
386
387 __builtin_fabsl: float -> float
388
389
390 __builtin_fabsf: float -> float
391
392
393 __builtin_fabs: float -> float
394
395
396 __builtin_expl: float -> float
397
398
399 __builtin_expf: float -> float
400
401
402 __builtin_expect: int -> int -> int
403
404
405 __builtin_exp: float -> float
406
407
408 __builtin_ctzll: int -> int
409
410
411 __builtin_ctzl: int -> int
412
413
414 __builtin_ctz: int -> int
415
416
417 __builtin_cosl: float -> float
418
419
420 __builtin_coshl: float -> float
421
422
423 __builtin_coshf: float -> float
424
425
426 __builtin_cosh: float -> float
427
428
429 __builtin_cosf: float -> float
430
431
432 __builtin_cos: float -> float
433
434
435 __builtin_constant_p: int -> int
436
437
438 __builtin_clzll: int -> int
439
440
441 __builtin_clzl: int -> int
442
443
444 __builtin_clz: int -> int
445
446
447 __builtin_ceill: float -> float
448
449
450 __builtin_ceilf: float -> float
451
452
453 __builtin_ceil: float -> float
454
455
456 __builtin_atanl: float -> float
457
458
459 __builtin_atanf: float -> float
460
461
462 __builtin_atan2l: float -> float -> float
463
464
465 __builtin_atan2f: float -> float -> float
466
467
468 __builtin_atan2: float -> float -> float
469
470
471 __builtin_atan: float -> float
472
473
474 __builtin_asinl: float -> float
475
476
477 __builtin_asinf: float -> float
478
479
480 __builtin_asin: float -> float
481
482
483 __builtin_alloca: int -> int
484
485
486 __builtin_acosl: float -> float
487
488
489 __builtin_acosf: float -> float
490
491
492 __builtin_acos: float -> float
493
494
495 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
496
497
498 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
499
500
501 __builtin___vprintf_chk: int -> int -> int -> int
502
503
504 __builtin___vfprintf_chk: int -> int -> int -> int -> int
505
506
507 __builtin___strncpy_chk: int -> int -> int -> int -> int
508
509
510 __builtin___strncat_chk: int -> int -> int -> int -> int
511
512
513 __builtin___strcpy_chk: int -> int -> int -> int
514
515
516 __builtin___strcat_chk: int -> int -> int -> int
517
518
519 __builtin___stpcpy_chk: int -> int -> int -> int
520
521
522 __builtin___memset_chk: int -> int -> int -> int -> int
523
524
525 __builtin___mempcpy_chk: int -> int -> int -> int -> int
526
527
528 __builtin___memmove_chk: int -> int -> int -> int -> int
529
530
531 __builtin___memcpy_chk: int -> int -> int -> int -> int
532
533