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