]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_Array_double.ERTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / testTB_Array_double.ERTL.expected
1 program
2
3 globals 20
4
5 procedure array_double(4)
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     %21, %22, %23, %24, %25, %26, %27, 
11     %28
12 entry array_double49
13 array_double49: newframe             --> array_double48
14 array_double48: move  %28, $ra       --> array_double47
15 array_double47: move  %27, $s7       --> array_double46
16 array_double46: move  %26, $s6       --> array_double45
17 array_double45: move  %25, $s5       --> array_double44
18 array_double44: move  %24, $s4       --> array_double43
19 array_double43: move  %23, $s3       --> array_double42
20 array_double42: move  %22, $s2       --> array_double41
21 array_double41: move  %21, $s1       --> array_double40
22 array_double40: move  %20, $s0       --> array_double39
23 array_double39: move  %0, $a0        --> array_double38
24 array_double38: move  %1, $a1        --> array_double37
25 array_double37: move  %2, $a2        --> array_double36
26 array_double36: move  %3, $a3        --> array_double35
27 array_double35: li    %4, 0          --> array_double34
28 array_double34: li    %6, 0          --> array_double33
29 array_double33: li    %7, 0          --> array_double32
30 array_double32: li    %8, 0          --> array_double31
31 array_double31: li    %9, 0          --> array_double30
32 array_double30: li    %10, 0         --> array_double29
33 array_double29: li    %11, 0         --> array_double28
34 array_double28: li    %12, 0         --> array_double27
35 array_double27: li    %13, 0         --> array_double26
36 array_double26: li    %14, 0         --> array_double25
37 array_double25: li    %15, 0         --> array_double24
38 array_double24: li    %16, 0         --> array_double23
39 array_double23: li    %17, 0         --> array_double22
40 array_double22: li    %18, 0         --> array_double21
41 array_double21: li    %19, 0         --> array_double16
42 array_double16: emit c2              --> array_double15
43 array_double15: li    %15, 4         --> array_double14
44 array_double14: mulo    %14, %2, %15 --> array_double13
45 array_double13: add     %17, %1, %14 --> array_double18
46 array_double18: lw    %4, 0(%17)     --> array_double12
47 array_double12: emit c1              --> array_double11
48 array_double11: li    %13, 4         --> array_double10
49 array_double10: mulo    %12, %3, %13 --> array_double9 
50 array_double9 : add     %19, %1, %12 --> array_double20
51 array_double20: lw    %11, 0(%19)    --> array_double8 
52 array_double8 : add     %8, %11, %4  --> array_double7 
53 array_double7 : li    %10, 4         --> array_double6 
54 array_double6 : mulo    %9, %3, %10  --> array_double5 
55 array_double5 : add     %18, %0, %9  --> array_double19
56 array_double19: sw    %8, 0(%18)     --> array_double4 
57 array_double4 : emit c0              --> array_double3 
58 array_double3 : li    %7, 4          --> array_double2 
59 array_double2 : mulo    %6, %3, %7   --> array_double1 
60 array_double1 : add     %16, %0, %6  --> array_double17
61 array_double17: lw    %5, 0(%16)     --> array_double0 
62 array_double0 : j                    --> array_double61
63 array_double61: move  $v0, %5        --> array_double60
64 array_double60: move  $ra, %28       --> array_double59
65 array_double59: move  $s7, %27       --> array_double58
66 array_double58: move  $s6, %26       --> array_double57
67 array_double57: move  $s5, %25       --> array_double56
68 array_double56: move  $s4, %24       --> array_double55
69 array_double55: move  $s3, %23       --> array_double54
70 array_double54: move  $s2, %22       --> array_double53
71 array_double53: move  $s1, %21       --> array_double52
72 array_double52: move  $s0, %20       --> array_double51
73 array_double51: delframe             --> array_double50
74 array_double50: jr    $ra            (xmits $v0)       
75
76 procedure _main(0)
77 stacksize 20
78 var %0, %1, %2, %3, %4, %5, %6, 
79     %7, %8, %9, %10, %11, %12, %13, 
80     %14, %15, %16, %17, %18, %19, %20, 
81     %21, %22, %23, %24, %25, %26, %27, 
82     %28, %29, %30, %31, %32, %33, %34, 
83     %35, %36, %37, %38, %39, %40, %41, 
84     %42, %43, %44, %45, %46, %47, %48, 
85     %49, %50, %51, %52, %53, %54, %55
86 entry main120
87 main120: newframe                --> main119
88 main119: move  %55, $ra          --> main118
89 main118: move  %54, $s7          --> main117
90 main117: move  %53, $s6          --> main116
91 main116: move  %52, $s5          --> main115
92 main115: move  %51, $s4          --> main114
93 main114: move  %50, $s3          --> main113
94 main113: move  %49, $s2          --> main112
95 main112: move  %48, $s1          --> main111
96 main111: move  %47, $s0          --> main110
97 main110: li    %0, 0             --> main109
98 main109: li    %2, 0             --> main108
99 main108: li    %3, 0             --> main107
100 main107: li    %4, 0             --> main106
101 main106: li    %5, 0             --> main105
102 main105: li    %6, 0             --> main104
103 main104: li    %7, 0             --> main103
104 main103: li    %8, 0             --> main102
105 main102: li    %9, 0             --> main101
106 main101: li    %10, 0            --> main100
107 main100: li    %11, 0            --> main99 
108 main99 : li    %12, 0            --> main98 
109 main98 : li    %13, 0            --> main97 
110 main97 : li    %14, 0            --> main96 
111 main96 : li    %15, 0            --> main95 
112 main95 : li    %16, 0            --> main94 
113 main94 : li    %17, 0            --> main93 
114 main93 : li    %18, 0            --> main92 
115 main92 : li    %19, 0            --> main91 
116 main91 : li    %20, 0            --> main90 
117 main90 : li    %21, 0            --> main89 
118 main89 : li    %22, 0            --> main88 
119 main88 : li    %23, 0            --> main87 
120 main87 : li    %24, 0            --> main86 
121 main86 : li    %25, 0            --> main85 
122 main85 : li    %26, 0            --> main84 
123 main84 : li    %27, 0            --> main83 
124 main83 : li    %28, 0            --> main82 
125 main82 : li    %29, 0            --> main81 
126 main81 : li    %30, 0            --> main80 
127 main80 : li    %31, 0            --> main79 
128 main79 : li    %32, 0            --> main78 
129 main78 : li    %33, 0            --> main77 
130 main77 : li    %34, 0            --> main76 
131 main76 : li    %35, 0            --> main75 
132 main75 : li    %36, 0            --> main74 
133 main74 : li    %37, 0            --> main73 
134 main73 : li    %38, 0            --> main72 
135 main72 : li    %39, 0            --> main71 
136 main71 : li    %40, 0            --> main70 
137 main70 : li    %41, 0            --> main69 
138 main69 : li    %42, 0            --> main68 
139 main68 : li    %43, 0            --> main67 
140 main67 : li    %44, 0            --> main66 
141 main66 : li    %45, 0            --> main65 
142 main65 : li    %46, 0            --> main53 
143 main53 : li    %35, 13           --> main52 
144 main52 : move  %45, $gp          --> main142
145 main142: move    %45, %45        --> main63 
146 main63 : sw    %35, 0(%45)       --> main51 
147 main51 : li    %34, 21           --> main50 
148 main50 : move  %44, $gp          --> main141
149 main141: move    %44, %44        --> main62 
150 main62 : sw    %34, 4(%44)       --> main49 
151 main49 : li    %33, 34           --> main48 
152 main48 : move  %43, $gp          --> main140
153 main140: move    %43, %43        --> main61 
154 main61 : sw    %33, 8(%43)       --> main47 
155 main47 : li    %32, 55           --> main46 
156 main46 : move  %42, $gp          --> main139
157 main139: move    %42, %42        --> main60 
158 main60 : sw    %32, 12(%42)      --> main45 
159 main45 : li    %31, 89           --> main44 
160 main44 : move  %41, $gp          --> main138
161 main138: move    %41, %41        --> main59 
162 main59 : sw    %31, 16(%41)      --> main43 
163 main43 : emit c9                 --> main42 
164 main42 : li    %26, 0            --> main41 
165 main41 : move  %27, $sp          --> main137
166 main137: move    %27, %27        --> main40 
167 main40 : li    %29, 0            --> main39 
168 main39 : li    %30, 4            --> main38 
169 main38 : mulo    %28, %29, %30   --> main37 
170 main37 : add     %40, %27, %28   --> main58 
171 main58 : sw    %26, 0(%40)       --> main36 
172 main36 : emit c8                 --> main35 
173 main35 : li    %21, 0            --> main34 
174 main34 : move  %22, $sp          --> main136
175 main136: move    %22, %22        --> main33 
176 main33 : li    %24, 1            --> main32 
177 main32 : li    %25, 4            --> main31 
178 main31 : mulo    %23, %24, %25   --> main30 
179 main30 : add     %39, %22, %23   --> main57 
180 main57 : sw    %21, 0(%39)       --> main29 
181 main29 : emit c7                 --> main28 
182 main28 : li    %16, 0            --> main27 
183 main27 : move  %17, $sp          --> main135
184 main135: move    %17, %17        --> main26 
185 main26 : li    %19, 2            --> main25 
186 main25 : li    %20, 4            --> main24 
187 main24 : mulo    %18, %19, %20   --> main23 
188 main23 : add     %37, %17, %18   --> main55 
189 main55 : sw    %16, 0(%37)       --> main22 
190 main22 : emit c6                 --> main21 
191 main21 : li    %11, 0            --> main20 
192 main20 : move  %12, $sp          --> main134
193 main134: move    %12, %12        --> main19 
194 main19 : li    %14, 3            --> main18 
195 main18 : li    %15, 4            --> main17 
196 main17 : mulo    %13, %14, %15   --> main16 
197 main16 : add     %36, %12, %13   --> main54 
198 main54 : sw    %11, 0(%36)       --> main15 
199 main15 : emit c5                 --> main14 
200 main14 : li    %6, 0             --> main13 
201 main13 : move  %7, $sp           --> main133
202 main133: move    %7, %7          --> main12 
203 main12 : li    %9, 4             --> main11 
204 main11 : li    %10, 4            --> main10 
205 main10 : mulo    %8, %9, %10     --> main9  
206 main9  : add     %46, %7, %8     --> main64 
207 main64 : sw    %6, 0(%46)        --> main8  
208 main8  : emit c4                 --> main7  
209 main7  : move  %2, $sp           --> main150
210 main150: move    %2, %2          --> main6  
211 main6  : move  %3, $gp           --> main149
212 main149: move    %3, %3          --> main5  
213 main5  : li    %4, 0             --> main4  
214 main4  : li    %5, 0             --> main3  
215 main3  : la    %38, array_double --> main56 
216 main56 : j                       --> main148
217 main148: move  $a0, %2           --> main147
218 main147: move  $a1, %3           --> main146
219 main146: move  $a2, %4           --> main145
220 main145: move  $a3, %5           --> main144
221 main144: call  %38(4)            --> main143
222 main143: move  %0, $v0           --> main2  
223 main2  : emit c3                 --> main1  
224 main1  : move    %1, %0          --> main0  
225 main0  : j                       --> main132
226 main132: move  $v0, %1           --> main131
227 main131: move  $ra, %55          --> main130
228 main130: move  $s7, %54          --> main129
229 main129: move  $s6, %53          --> main128
230 main128: move  $s5, %52          --> main127
231 main127: move  $s4, %51          --> main126
232 main126: move  $s3, %50          --> main125
233 main125: move  $s2, %49          --> main124
234 main124: move  $s1, %48          --> main123
235 main123: move  $s0, %47          --> main122
236 main122: delframe                --> main121
237 main121: jr    $ra               (xmits $v0)
238
239 __builtin_varargs_start: int -> void
240
241
242 __builtin_va_start: int -> int -> void
243
244
245 __builtin_va_end: int -> void
246
247
248 __builtin_va_copy: int -> int -> void
249
250
251 __builtin_va_arg: int -> int -> void
252
253
254 __builtin_types_compatible_p: int -> int -> int
255
256
257 __builtin_tanl: float -> float
258
259
260 __builtin_tanhl: float -> float
261
262
263 __builtin_tanhf: float -> float
264
265
266 __builtin_tanh: float -> float
267
268
269 __builtin_tanf: float -> float
270
271
272 __builtin_tan: float -> float
273
274
275 __builtin_strspn: int -> int -> int
276
277
278 __builtin_strpbrk: int -> int -> int
279
280
281 __builtin_strncpy: int -> int -> int -> int
282
283
284 __builtin_strncmp: int -> int -> int -> int
285
286
287 __builtin_strncat: int -> int -> int -> int
288
289
290 __builtin_strcspn: int -> int -> int
291
292
293 __builtin_strcpy: int -> int -> int
294
295
296 __builtin_strcmp: int -> int -> int
297
298
299 __builtin_strchr: int -> int -> int
300
301
302 __builtin_stpcpy: int -> int -> int
303
304
305 __builtin_stdarg_start: int -> void
306
307
308 __builtin_sqrtl: float -> float
309
310
311 __builtin_sqrtf: float -> float
312
313
314 __builtin_sqrt: float -> float
315
316
317 __builtin_sinl: float -> float
318
319
320 __builtin_sinhl: float -> float
321
322
323 __builtin_sinhf: float -> float
324
325
326 __builtin_sinh: float -> float
327
328
329 __builtin_sinf: float -> float
330
331
332 __builtin_sin: float -> float
333
334
335 __builtin_return_address: int -> int
336
337
338 __builtin_return: int -> void
339
340
341 __builtin_powil: float -> int -> float
342
343
344 __builtin_powif: float -> int -> float
345
346
347 __builtin_powi: float -> int -> float
348
349
350 __builtin_popcountll: int -> int
351
352
353 __builtin_popcountl: int -> int
354
355
356 __builtin_popcount: int -> int
357
358
359 __builtin_parityll: int -> int
360
361
362 __builtin_parityl: int -> int
363
364
365 __builtin_parity: int -> int
366
367
368 __builtin_object_size: int -> int -> int
369
370
371 __builtin_next_arg: int
372
373
374 __builtin_nansl: int -> float
375
376
377 __builtin_nansf: int -> float
378
379
380 __builtin_nans: int -> float
381
382
383 __builtin_nanl: int -> float
384
385
386 __builtin_nanf: int -> float
387
388
389 __builtin_nan: int -> float
390
391
392 __builtin_modfl: float -> int -> float
393
394
395 __builtin_modff: float -> int -> float
396
397
398 __builtin_mempcpy: int -> int -> int -> int
399
400
401 __builtin_memcpy: int -> int -> int -> int
402
403
404 __builtin_logl: float -> float
405
406
407 __builtin_logf: float -> float
408
409
410 __builtin_log10l: float -> float
411
412
413 __builtin_log10f: float -> float
414
415
416 __builtin_log10: float -> float
417
418
419 __builtin_log: float -> float
420
421
422 __builtin_ldexpl: float -> int -> float
423
424
425 __builtin_ldexpf: float -> int -> float
426
427
428 __builtin_ldexp: float -> int -> float
429
430
431 __builtin_infl: float
432
433
434 __builtin_inff: float
435
436
437 __builtin_inf: float
438
439
440 __builtin_huge_vall: float
441
442
443 __builtin_huge_valf: float
444
445
446 __builtin_huge_val: float
447
448
449 __builtin_frexpl: float -> int -> float
450
451
452 __builtin_frexpf: float -> int -> float
453
454
455 __builtin_frexp: float -> int -> float
456
457
458 __builtin_frame_address: int -> int
459
460
461 __builtin_fmodl: float -> float
462
463
464 __builtin_fmodf: float -> float
465
466
467 __builtin_fmod: float -> float
468
469
470 __builtin_floorl: float -> float
471
472
473 __builtin_floorf: float -> float
474
475
476 __builtin_floor: float -> float
477
478
479 __builtin_ffsll: int -> int
480
481
482 __builtin_ffsl: int -> int
483
484
485 __builtin_ffs: int -> int
486
487
488 __builtin_fabsl: float -> float
489
490
491 __builtin_fabsf: float -> float
492
493
494 __builtin_fabs: float -> float
495
496
497 __builtin_expl: float -> float
498
499
500 __builtin_expf: float -> float
501
502
503 __builtin_expect: int -> int -> int
504
505
506 __builtin_exp: float -> float
507
508
509 __builtin_ctzll: int -> int
510
511
512 __builtin_ctzl: int -> int
513
514
515 __builtin_ctz: int -> int
516
517
518 __builtin_cosl: float -> float
519
520
521 __builtin_coshl: float -> float
522
523
524 __builtin_coshf: float -> float
525
526
527 __builtin_cosh: float -> float
528
529
530 __builtin_cosf: float -> float
531
532
533 __builtin_cos: float -> float
534
535
536 __builtin_constant_p: int -> int
537
538
539 __builtin_clzll: int -> int
540
541
542 __builtin_clzl: int -> int
543
544
545 __builtin_clz: int -> int
546
547
548 __builtin_ceill: float -> float
549
550
551 __builtin_ceilf: float -> float
552
553
554 __builtin_ceil: float -> float
555
556
557 __builtin_atanl: float -> float
558
559
560 __builtin_atanf: float -> float
561
562
563 __builtin_atan2l: float -> float -> float
564
565
566 __builtin_atan2f: float -> float -> float
567
568
569 __builtin_atan2: float -> float -> float
570
571
572 __builtin_atan: float -> float
573
574
575 __builtin_asinl: float -> float
576
577
578 __builtin_asinf: float -> float
579
580
581 __builtin_asin: float -> float
582
583
584 __builtin_alloca: int -> int
585
586
587 __builtin_acosl: float -> float
588
589
590 __builtin_acosf: float -> float
591
592
593 __builtin_acos: float -> float
594
595
596 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
597
598
599 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
600
601
602 __builtin___vprintf_chk: int -> int -> int -> int
603
604
605 __builtin___vfprintf_chk: int -> int -> int -> int -> int
606
607
608 __builtin___strncpy_chk: int -> int -> int -> int -> int
609
610
611 __builtin___strncat_chk: int -> int -> int -> int -> int
612
613
614 __builtin___strcpy_chk: int -> int -> int -> int
615
616
617 __builtin___strcat_chk: int -> int -> int -> int
618
619
620 __builtin___stpcpy_chk: int -> int -> int -> int
621
622
623 __builtin___memset_chk: int -> int -> int -> int -> int
624
625
626 __builtin___mempcpy_chk: int -> int -> int -> int -> int
627
628
629 __builtin___memmove_chk: int -> int -> int -> int -> int
630
631
632 __builtin___memcpy_chk: int -> int -> int -> int -> int
633
634