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