]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/for.LIN.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / for.LIN.expected
1 program
2
3 globals 0
4
5 procedure for_loopParalAsync(3)
6 var 0
7 for_loopParalAsync94:
8 newframe
9 c29:
10 li    $v0, 0
11 c28:
12 li    $a2, 0
13 c27:
14 li    $a0, 3
15 add     $a2, $a2, $a0
16 c26:
17 li    $a0, 2
18 mulo    $a2, $a2, $a0
19 c25:
20 li    $a0, 3
21 div     $a2, $a2, $a0
22 c24:
23 li    $a0, 8
24 add     $a2, $a2, $a0
25 c23:
26 c22:
27 li    $a1, 0
28 for_loopParalAsync37:
29 li    $a3, 0
30 c21:
31 li    $a0, 20
32 slt     $a0, $a1, $a0
33 seq     $a0, $a0, $zero
34 beq     $a0, $a3, for_loopParalAsync31
35 c16:
36 c15:
37 li    $a1, 1
38 for_loopParalAsync16:
39 li    $a3, 0
40 c14:
41 slt     $a0, $a1, $a2
42 seq     $a0, $a0, $zero
43 beq     $a0, $a3, for_loopParalAsync11
44 c10:
45 delframe
46 jr    $ra
47 for_loopParalAsync11:
48 c12:
49 c11:
50 c13:
51 li    $a0, 1
52 add     $a1, $a1, $a0
53 j     for_loopParalAsync16
54 for_loopParalAsync31:
55 c19:
56 li    $a0, 1
57 add     $v0, $v0, $a0
58 c18:
59 c17:
60 c20:
61 li    $a0, 1
62 add     $a1, $a1, $a0
63 j     for_loopParalAsync37
64
65 procedure for_incrParam(2)
66 var 0
67 for_incrParam49:
68 newframe
69 c86:
70 add     $a3, $a0, $a1
71 c85:
72 c84:
73 c83:
74 li    $v0, 4
75 sub     $v0, $a3, $v0
76 for_incrParam15:
77 li    $t0, 0
78 c82:
79 li    $a2, 6
80 add     $a2, $a1, $a2
81 slt     $a2, $v0, $a2
82 seq     $a2, $a2, $zero
83 beq     $a2, $t0, for_incrParam8
84 c79:
85 delframe
86 jr    $ra
87 for_incrParam8:
88 c80:
89 add     $v0, $v0, $a3
90 add     $v0, $v0, $a0
91 c81:
92 add     $v0, $v0, $a0
93 j     for_incrParam15
94
95 procedure for_incr(2)
96 var 0
97 for_incr44:
98 newframe
99 c78:
100 li    $v0, 0
101 c77:
102 c76:
103 li    $a2, 3
104 add     $a2, $a0, $a2
105 for_incr15:
106 li    $a3, 0
107 c75:
108 li    $a0, 2
109 mulo    $a0, $a1, $a0
110 sle     $a0, $a2, $a0
111 seq     $a0, $a0, $zero
112 beq     $a0, $a3, for_incr8
113 c72:
114 delframe
115 jr    $ra
116 for_incr8:
117 c73:
118 sub     $v0, $v0, $a2
119 c74:
120 li    $a0, 1
121 add     $a2, $a2, $a0
122 j     for_incr15
123
124 procedure for_imbriq(2)
125 var 24
126 for_imbriq64:
127 newframe
128 sw    $ra, 20($sp)
129 sw    $s4, 16($sp)
130 sw    $s3, 12($sp)
131 sw    $s2, 8($sp)
132 sw    $s1, 4($sp)
133 sw    $s0, 0($sp)
134 move    $s4, $a0
135 move    $s3, $a1
136 c71:
137 li    $s0, 0
138 c70:
139 c69:
140 li    $s1, 0
141 for_imbriq29:
142 li    $a0, 0
143 c68:
144 li    $v0, 23
145 slt     $v0, $s1, $v0
146 seq     $v0, $v0, $zero
147 beq     $v0, $a0, for_imbriq23
148 c59:
149 move    $v0, $s0
150 lw    $ra, 20($sp)
151 lw    $s4, 16($sp)
152 lw    $s3, 12($sp)
153 lw    $s2, 8($sp)
154 lw    $s1, 4($sp)
155 lw    $s0, 0($sp)
156 delframe
157 jr    $ra
158 for_imbriq23:
159 c66:
160 li    $v0, 0
161 c65:
162 c64:
163 li    $s2, 1
164 for_imbriq18:
165 li    $a1, 0
166 c63:
167 li    $a0, 12
168 slt     $a0, $s2, $a0
169 seq     $a0, $a0, $zero
170 beq     $a0, $a1, for_imbriq12
171 c67:
172 add     $s1, $s1, $s4
173 j     for_imbriq29
174 for_imbriq12:
175 c61:
176 add     $s0, $s0, $v0
177 c60:
178 la    $a2, mod
179 move    $a0, $v0
180 move    $a1, $s2
181 call  $a2
182 c62:
183 add     $s2, $s2, $s3
184 j     for_imbriq18
185
186 procedure for_fortSimple(3)
187 var 0
188 for_fortSimple41:
189 newframe
190 c58:
191 li    $t0, 0
192 c57:
193 c56:
194 move    $a3, $a0
195 for_fortSimple14:
196 li    $t1, 0
197 c55:
198 slt     $v0, $a3, $a1
199 seq     $v0, $v0, $zero
200 beq     $v0, $t1, for_fortSimple9
201 c52:
202 add     $v0, $t0, $a0
203 c51:
204 delframe
205 jr    $ra
206 for_fortSimple9:
207 c53:
208 add     $t0, $t0, $a3
209 c54:
210 add     $a3, $a3, $a2
211 j     for_fortSimple14
212
213 procedure for_forfor(0)
214 var 0
215 for_forfor44:
216 newframe
217 c94:
218 c93:
219 li    $a1, 0
220 c92:
221 li    $v0, 0
222 for_forfor18:
223 li    $a2, 0
224 c91:
225 li    $a0, 10
226 slt     $a0, $a1, $a0
227 seq     $a0, $a0, $zero
228 beq     $a0, $a2, for_forfor12
229 c87:
230 delframe
231 jr    $ra
232 for_forfor12:
233 c89:
234 li    $a0, 1
235 add     $v0, $v0, $a0
236 c88:
237 li    $a0, 1
238 add     $v0, $v0, $a0
239 c90:
240 li    $a0, 1
241 add     $a1, $a1, $a0
242 j     for_forfor18
243
244 procedure for_ex(3)
245 var 0
246 for_ex43:
247 newframe
248 c50:
249 li    $v0, 0
250 c49:
251 c48:
252 li    $a3, 3
253 add     $a3, $a0, $a3
254 for_ex14:
255 li    $t0, 0
256 c47:
257 li    $a0, 2
258 mulo    $a0, $a1, $a0
259 sle     $a0, $a3, $a0
260 seq     $a0, $a0, $zero
261 beq     $a0, $t0, for_ex7
262 c44:
263 delframe
264 jr    $ra
265 for_ex7:
266 c45:
267 sub     $v0, $v0, $a3
268 c46:
269 add     $a3, $a3, $a2
270 j     for_ex14
271
272 procedure for_double(1)
273 var 0
274 for_double64:
275 newframe
276 c43:
277 li    $a1, 0
278 c42:
279 li    $a2, 0
280 c41:
281 c40:
282 li    $a3, 0
283 for_double29:
284 li    $t0, 0
285 c39:
286 li    $v0, 12
287 slt     $v0, $a3, $v0
288 seq     $v0, $v0, $zero
289 beq     $v0, $t0, for_double23
290 c36:
291 c35:
292 li    $a3, 0
293 for_double15:
294 li    $t0, 0
295 c34:
296 li    $v0, 5
297 slt     $v0, $a3, $v0
298 seq     $v0, $v0, $zero
299 beq     $v0, $t0, for_double9
300 c31:
301 mulo    $v0, $a1, $a2
302 c30:
303 delframe
304 jr    $ra
305 for_double9:
306 c32:
307 add     $a2, $a2, $a3
308 c33:
309 add     $a3, $a3, $a0
310 j     for_double15
311 for_double23:
312 c37:
313 add     $a1, $a1, $a3
314 c38:
315 add     $a3, $a3, $a0
316 j     for_double29
317
318 procedure for_2(2)
319 var 0
320 for_253:
321 newframe
322 c9:
323 li    $a2, 0
324 c8:
325 li    $v0, 2
326 mulo    $v0, $a0, $v0
327 c7:
328 li    $a3, 4
329 mulo    $a0, $a0, $a3
330 c6:
331 li    $a3, 1
332 add     $a1, $a1, $a3
333 c5:
334 c4:
335 for_213:
336 li    $t0, 0
337 c3:
338 slt     $a3, $v0, $a0
339 seq     $a3, $a3, $zero
340 beq     $a3, $t0, for_28
341 c0:
342 li    $v0, 1
343 add     $v0, $a2, $v0
344 delframe
345 jr    $ra
346 for_28:
347 c1:
348 add     $a2, $a2, $v0
349 c2:
350 add     $v0, $v0, $a1
351 j     for_213
352
353 procedure _main(0)
354 var 4
355 main85:
356 newframe
357 sw    $ra, 0($sp)
358 c104:
359 li    $a0, 3
360 li    $a1, 1
361 la    $v0, for_2
362 call  $v0
363 c103:
364 li    $a0, 1
365 li    $a1, 2
366 li    $a2, 3
367 la    $v0, for_loopParalAsync
368 call  $v0
369 c102:
370 li    $a0, 1
371 la    $v0, for_double
372 call  $v0
373 c101:
374 li    $a0, 2
375 li    $a1, 10
376 li    $a2, 1
377 la    $v0, for_ex
378 call  $v0
379 c100:
380 li    $a0, 2
381 li    $a1, 10
382 li    $a2, 1
383 la    $v0, for_fortSimple
384 call  $v0
385 c99:
386 li    $a0, 2
387 li    $a1, 3
388 la    $v0, for_imbriq
389 call  $v0
390 c98:
391 li    $a0, 2
392 li    $a1, 3
393 la    $v0, for_incr
394 call  $v0
395 c97:
396 li    $a0, 2
397 li    $a1, 3
398 la    $v0, for_incrParam
399 call  $v0
400 c96:
401 la    $v0, for_forfor
402 call  $v0
403 c95:
404 lw    $ra, 0($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