]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/array.LIN.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / array.LIN.expected
1 program
2
3 globals 0
4
5 procedure array_param(3)
6 var 0
7 array_param79:
8 newframe
9 c37:
10 li    $a3, 1
11 li    $v0, 4
12 mulo    $v0, $zero, $v0
13 add     $v0, $a0, $v0
14 sw    $a3, 0($v0)
15 c36:
16 li    $a3, 1
17 li    $v0, 4
18 mulo    $v0, $a3, $v0
19 add     $v0, $a0, $v0
20 sw    $a1, 0($v0)
21 c35:
22 c34:
23 li    $a1, 7
24 li    $v0, 4
25 mulo    $v0, $a2, $v0
26 add     $v0, $a0, $v0
27 sw    $a1, 0($v0)
28 c33:
29 li    $v0, 4
30 mulo    $v0, $a2, $v0
31 add     $v0, $a0, $v0
32 lw    $v0, 0($v0)
33 c32:
34 c31:
35 delframe
36 jr    $ra
37
38 procedure array_mixte(3)
39 var 40
40 array_mixte223:
41 newframe
42 c30:
43 li    $t0, 0
44 move    $a3, $sp
45 li    $v0, 4
46 mulo    $v0, $zero, $v0
47 add     $v0, $a3, $v0
48 sw    $t0, 0($v0)
49 c29:
50 move    $t0, $sp
51 li    $a3, 1
52 li    $v0, 4
53 mulo    $v0, $a3, $v0
54 add     $v0, $t0, $v0
55 sw    $zero, 0($v0)
56 c28:
57 move    $t0, $sp
58 li    $a3, 2
59 li    $v0, 4
60 mulo    $v0, $a3, $v0
61 add     $v0, $t0, $v0
62 sw    $zero, 0($v0)
63 c27:
64 move    $t0, $sp
65 li    $a3, 3
66 li    $v0, 4
67 mulo    $v0, $a3, $v0
68 add     $v0, $t0, $v0
69 sw    $zero, 0($v0)
70 c26:
71 move    $t0, $sp
72 li    $a3, 4
73 li    $v0, 4
74 mulo    $v0, $a3, $v0
75 add     $v0, $t0, $v0
76 sw    $zero, 0($v0)
77 c25:
78 move    $t0, $sp
79 li    $a3, 5
80 li    $v0, 4
81 mulo    $v0, $a3, $v0
82 add     $v0, $t0, $v0
83 sw    $zero, 0($v0)
84 c24:
85 move    $t0, $sp
86 li    $a3, 6
87 li    $v0, 4
88 mulo    $v0, $a3, $v0
89 add     $v0, $t0, $v0
90 sw    $zero, 0($v0)
91 c23:
92 move    $t0, $sp
93 li    $a3, 7
94 li    $v0, 4
95 mulo    $v0, $a3, $v0
96 add     $v0, $t0, $v0
97 sw    $zero, 0($v0)
98 c22:
99 move    $t0, $sp
100 li    $a3, 8
101 li    $v0, 4
102 mulo    $v0, $a3, $v0
103 add     $v0, $t0, $v0
104 sw    $zero, 0($v0)
105 c21:
106 move    $t0, $sp
107 li    $a3, 9
108 li    $v0, 4
109 mulo    $v0, $a3, $v0
110 add     $v0, $t0, $v0
111 sw    $zero, 0($v0)
112 c20:
113 li    $v0, 4
114 mulo    $v0, $a2, $v0
115 add     $v0, $a0, $v0
116 lw    $a3, 0($v0)
117 li    $v0, 1
118 add     $t0, $a3, $v0
119 move    $a3, $sp
120 li    $v0, 4
121 mulo    $v0, $a1, $v0
122 add     $v0, $a3, $v0
123 sw    $t0, 0($v0)
124 c19:
125 move    $a3, $sp
126 li    $v0, 4
127 mulo    $v0, $zero, $v0
128 add     $v0, $a3, $v0
129 lw    $a3, 0($v0)
130 li    $v0, 4
131 mulo    $v0, $a2, $v0
132 add     $v0, $a0, $v0
133 sw    $a3, 0($v0)
134 c18:
135 li    $a2, 1
136 li    $v0, 4
137 mulo    $v0, $a2, $v0
138 add     $v0, $a0, $v0
139 lw    $a2, 0($v0)
140 li    $v0, 4
141 mulo    $v0, $a1, $v0
142 add     $v0, $a0, $v0
143 sw    $a2, 0($v0)
144 c17:
145 li    $v0, 4
146 mulo    $v0, $a1, $v0
147 add     $v0, $sp, $v0
148 lw    $v0, 0($v0)
149 delframe
150 jr    $ra
151
152 procedure array_local(0)
153 var 40
154 array_local234:
155 newframe
156 c16:
157 li    $a1, 0
158 move    $a0, $sp
159 li    $v0, 4
160 mulo    $v0, $zero, $v0
161 add     $v0, $a0, $v0
162 sw    $a1, 0($v0)
163 c15:
164 move    $a1, $sp
165 li    $a0, 1
166 li    $v0, 4
167 mulo    $v0, $a0, $v0
168 add     $v0, $a1, $v0
169 sw    $zero, 0($v0)
170 c14:
171 move    $a1, $sp
172 li    $a0, 2
173 li    $v0, 4
174 mulo    $v0, $a0, $v0
175 add     $v0, $a1, $v0
176 sw    $zero, 0($v0)
177 c13:
178 move    $a1, $sp
179 li    $a0, 3
180 li    $v0, 4
181 mulo    $v0, $a0, $v0
182 add     $v0, $a1, $v0
183 sw    $zero, 0($v0)
184 c12:
185 move    $a1, $sp
186 li    $a0, 4
187 li    $v0, 4
188 mulo    $v0, $a0, $v0
189 add     $v0, $a1, $v0
190 sw    $zero, 0($v0)
191 c11:
192 move    $a1, $sp
193 li    $a0, 5
194 li    $v0, 4
195 mulo    $v0, $a0, $v0
196 add     $v0, $a1, $v0
197 sw    $zero, 0($v0)
198 c10:
199 move    $a1, $sp
200 li    $a0, 6
201 li    $v0, 4
202 mulo    $v0, $a0, $v0
203 add     $v0, $a1, $v0
204 sw    $zero, 0($v0)
205 c9:
206 move    $a1, $sp
207 li    $a0, 7
208 li    $v0, 4
209 mulo    $v0, $a0, $v0
210 add     $v0, $a1, $v0
211 sw    $zero, 0($v0)
212 c8:
213 move    $a1, $sp
214 li    $a0, 8
215 li    $v0, 4
216 mulo    $v0, $a0, $v0
217 add     $v0, $a1, $v0
218 sw    $zero, 0($v0)
219 c7:
220 move    $a1, $sp
221 li    $a0, 9
222 li    $v0, 4
223 mulo    $v0, $a0, $v0
224 add     $v0, $a1, $v0
225 sw    $zero, 0($v0)
226 c6:
227 li    $a1, 1
228 move    $a0, $sp
229 li    $v0, 4
230 mulo    $v0, $zero, $v0
231 add     $v0, $a0, $v0
232 sw    $a1, 0($v0)
233 c5:
234 li    $a2, 5
235 move    $a1, $sp
236 li    $a0, 1
237 li    $v0, 4
238 mulo    $v0, $a0, $v0
239 add     $v0, $a1, $v0
240 sw    $a2, 0($v0)
241 c4:
242 c3:
243 li    $a2, 7
244 move    $a1, $sp
245 li    $a0, 1
246 li    $v0, 4
247 mulo    $v0, $a0, $v0
248 add     $v0, $a1, $v0
249 sw    $a2, 0($v0)
250 c2:
251 li    $a0, 1
252 li    $v0, 4
253 mulo    $v0, $a0, $v0
254 add     $v0, $sp, $v0
255 lw    $v0, 0($v0)
256 c1:
257 c0:
258 delframe
259 jr    $ra
260
261 procedure _main(0)
262 var 52
263 main181:
264 newframe
265 sw    $ra, 48($sp)
266 sw    $s1, 44($sp)
267 sw    $s0, 40($sp)
268 c51:
269 li    $a1, 1
270 move    $a0, $sp
271 li    $v0, 4
272 mulo    $v0, $zero, $v0
273 add     $v0, $a0, $v0
274 sw    $a1, 0($v0)
275 c50:
276 li    $a2, 2
277 move    $a1, $sp
278 li    $a0, 1
279 li    $v0, 4
280 mulo    $v0, $a0, $v0
281 add     $v0, $a1, $v0
282 sw    $a2, 0($v0)
283 c49:
284 li    $a2, 3
285 move    $a1, $sp
286 li    $a0, 2
287 li    $v0, 4
288 mulo    $v0, $a0, $v0
289 add     $v0, $a1, $v0
290 sw    $a2, 0($v0)
291 c48:
292 li    $a2, 4
293 move    $a1, $sp
294 li    $a0, 3
295 li    $v0, 4
296 mulo    $v0, $a0, $v0
297 add     $v0, $a1, $v0
298 sw    $a2, 0($v0)
299 c47:
300 li    $a2, 5
301 move    $a1, $sp
302 li    $a0, 4
303 li    $v0, 4
304 mulo    $v0, $a0, $v0
305 add     $v0, $a1, $v0
306 sw    $a2, 0($v0)
307 c46:
308 li    $a2, 6
309 move    $a1, $sp
310 li    $a0, 5
311 li    $v0, 4
312 mulo    $v0, $a0, $v0
313 add     $v0, $a1, $v0
314 sw    $a2, 0($v0)
315 c45:
316 li    $a2, 7
317 move    $a1, $sp
318 li    $a0, 6
319 li    $v0, 4
320 mulo    $v0, $a0, $v0
321 add     $v0, $a1, $v0
322 sw    $a2, 0($v0)
323 c44:
324 li    $a2, 8
325 move    $a1, $sp
326 li    $a0, 7
327 li    $v0, 4
328 mulo    $v0, $a0, $v0
329 add     $v0, $a1, $v0
330 sw    $a2, 0($v0)
331 c43:
332 li    $a2, 9
333 move    $a1, $sp
334 li    $a0, 8
335 li    $v0, 4
336 mulo    $v0, $a0, $v0
337 add     $v0, $a1, $v0
338 sw    $a2, 0($v0)
339 c42:
340 move    $a1, $sp
341 li    $a0, 9
342 li    $v0, 4
343 mulo    $v0, $a0, $v0
344 add     $v0, $a1, $v0
345 sw    $zero, 0($v0)
346 c41:
347 la    $v0, array_local
348 call  $v0
349 move    $s0, $v0
350 c40:
351 move    $a0, $sp
352 li    $a1, 2
353 li    $a2, 3
354 la    $v0, array_mixte
355 call  $v0
356 move    $s1, $v0
357 c39:
358 move    $a0, $sp
359 li    $a1, 2
360 li    $a2, 3
361 la    $v0, array_param
362 call  $v0
363 c38:
364 add     $a0, $s0, $s1
365 add     $v0, $a0, $v0
366 lw    $ra, 48($sp)
367 lw    $s1, 44($sp)
368 lw    $s0, 40($sp)
369 delframe
370 jr    $ra
371
372 __builtin_varargs_start: int -> void
373
374
375 __builtin_va_start: int -> int -> void
376
377
378 __builtin_va_end: int -> void
379
380
381 __builtin_va_copy: int -> int -> void
382
383
384 __builtin_va_arg: int -> int -> void
385
386
387 __builtin_types_compatible_p: int -> int -> int
388
389
390 __builtin_tanl: float -> float
391
392
393 __builtin_tanhl: float -> float
394
395
396 __builtin_tanhf: float -> float
397
398
399 __builtin_tanh: float -> float
400
401
402 __builtin_tanf: float -> float
403
404
405 __builtin_tan: float -> float
406
407
408 __builtin_strspn: int -> int -> int
409
410
411 __builtin_strpbrk: int -> int -> int
412
413
414 __builtin_strncpy: int -> int -> int -> int
415
416
417 __builtin_strncmp: int -> int -> int -> int
418
419
420 __builtin_strncat: int -> int -> int -> int
421
422
423 __builtin_strcspn: int -> int -> int
424
425
426 __builtin_strcpy: int -> int -> int
427
428
429 __builtin_strcmp: int -> int -> int
430
431
432 __builtin_strchr: int -> int -> int
433
434
435 __builtin_stpcpy: int -> int -> int
436
437
438 __builtin_stdarg_start: int -> void
439
440
441 __builtin_sqrtl: float -> float
442
443
444 __builtin_sqrtf: float -> float
445
446
447 __builtin_sqrt: float -> float
448
449
450 __builtin_sinl: float -> float
451
452
453 __builtin_sinhl: float -> float
454
455
456 __builtin_sinhf: float -> float
457
458
459 __builtin_sinh: float -> float
460
461
462 __builtin_sinf: float -> float
463
464
465 __builtin_sin: float -> float
466
467
468 __builtin_return_address: int -> int
469
470
471 __builtin_return: int -> void
472
473
474 __builtin_powil: float -> int -> float
475
476
477 __builtin_powif: float -> int -> float
478
479
480 __builtin_powi: float -> int -> float
481
482
483 __builtin_popcountll: int -> int
484
485
486 __builtin_popcountl: int -> int
487
488
489 __builtin_popcount: int -> int
490
491
492 __builtin_parityll: int -> int
493
494
495 __builtin_parityl: int -> int
496
497
498 __builtin_parity: int -> int
499
500
501 __builtin_object_size: int -> int -> int
502
503
504 __builtin_next_arg: int
505
506
507 __builtin_nansl: int -> float
508
509
510 __builtin_nansf: int -> float
511
512
513 __builtin_nans: int -> float
514
515
516 __builtin_nanl: int -> float
517
518
519 __builtin_nanf: int -> float
520
521
522 __builtin_nan: int -> float
523
524
525 __builtin_modfl: float -> int -> float
526
527
528 __builtin_modff: float -> int -> float
529
530
531 __builtin_mempcpy: int -> int -> int -> int
532
533
534 __builtin_memcpy: int -> int -> int -> int
535
536
537 __builtin_logl: float -> float
538
539
540 __builtin_logf: float -> float
541
542
543 __builtin_log10l: float -> float
544
545
546 __builtin_log10f: float -> float
547
548
549 __builtin_log10: float -> float
550
551
552 __builtin_log: float -> float
553
554
555 __builtin_ldexpl: float -> int -> float
556
557
558 __builtin_ldexpf: float -> int -> float
559
560
561 __builtin_ldexp: float -> int -> float
562
563
564 __builtin_infl: float
565
566
567 __builtin_inff: float
568
569
570 __builtin_inf: float
571
572
573 __builtin_huge_vall: float
574
575
576 __builtin_huge_valf: float
577
578
579 __builtin_huge_val: float
580
581
582 __builtin_frexpl: float -> int -> float
583
584
585 __builtin_frexpf: float -> int -> float
586
587
588 __builtin_frexp: float -> int -> float
589
590
591 __builtin_frame_address: int -> int
592
593
594 __builtin_fmodl: float -> float
595
596
597 __builtin_fmodf: float -> float
598
599
600 __builtin_fmod: float -> float
601
602
603 __builtin_floorl: float -> float
604
605
606 __builtin_floorf: float -> float
607
608
609 __builtin_floor: float -> float
610
611
612 __builtin_ffsll: int -> int
613
614
615 __builtin_ffsl: int -> int
616
617
618 __builtin_ffs: int -> int
619
620
621 __builtin_fabsl: float -> float
622
623
624 __builtin_fabsf: float -> float
625
626
627 __builtin_fabs: float -> float
628
629
630 __builtin_expl: float -> float
631
632
633 __builtin_expf: float -> float
634
635
636 __builtin_expect: int -> int -> int
637
638
639 __builtin_exp: float -> float
640
641
642 __builtin_ctzll: int -> int
643
644
645 __builtin_ctzl: int -> int
646
647
648 __builtin_ctz: int -> int
649
650
651 __builtin_cosl: float -> float
652
653
654 __builtin_coshl: float -> float
655
656
657 __builtin_coshf: float -> float
658
659
660 __builtin_cosh: float -> float
661
662
663 __builtin_cosf: float -> float
664
665
666 __builtin_cos: float -> float
667
668
669 __builtin_constant_p: int -> int
670
671
672 __builtin_clzll: int -> int
673
674
675 __builtin_clzl: int -> int
676
677
678 __builtin_clz: int -> int
679
680
681 __builtin_ceill: float -> float
682
683
684 __builtin_ceilf: float -> float
685
686
687 __builtin_ceil: float -> float
688
689
690 __builtin_atanl: float -> float
691
692
693 __builtin_atanf: float -> float
694
695
696 __builtin_atan2l: float -> float -> float
697
698
699 __builtin_atan2f: float -> float -> float
700
701
702 __builtin_atan2: float -> float -> float
703
704
705 __builtin_atan: float -> float
706
707
708 __builtin_asinl: float -> float
709
710
711 __builtin_asinf: float -> float
712
713
714 __builtin_asin: float -> float
715
716
717 __builtin_alloca: int -> int
718
719
720 __builtin_acosl: float -> float
721
722
723 __builtin_acosf: float -> float
724
725
726 __builtin_acos: float -> float
727
728
729 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
730
731
732 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
733
734
735 __builtin___vprintf_chk: int -> int -> int -> int
736
737
738 __builtin___vfprintf_chk: int -> int -> int -> int -> int
739
740
741 __builtin___strncpy_chk: int -> int -> int -> int -> int
742
743
744 __builtin___strncat_chk: int -> int -> int -> int -> int
745
746
747 __builtin___strcpy_chk: int -> int -> int -> int
748
749
750 __builtin___strcat_chk: int -> int -> int -> int
751
752
753 __builtin___stpcpy_chk: int -> int -> int -> int
754
755
756 __builtin___memset_chk: int -> int -> int -> int -> int
757
758
759 __builtin___mempcpy_chk: int -> int -> int -> int -> int
760
761
762 __builtin___memmove_chk: int -> int -> int -> int -> int
763
764
765 __builtin___memcpy_chk: int -> int -> int -> int -> int
766
767