]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testCOMP_tri.RTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / testCOMP_tri.RTL.expected
1 program
2
3 globals 0
4
5 procedure tri(%0; %1)
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, %29, %30, %31, %32, %33, %34, 
12     %35, %36, %37, %38, %39, %40, %41, 
13     %42, %43, %44
14 entry tri109
15 tri109: li    %2, 0           --> tri108     
16 tri108: li    %3, 0           --> tri107     
17 tri107: li    %4, 0           --> tri106     
18 tri106: li    %5, 0           --> tri105     
19 tri105: li    %6, 0           --> tri104     
20 tri104: li    %7, 0           --> tri103     
21 tri103: li    %8, 0           --> tri102     
22 tri102: li    %9, 0           --> tri101     
23 tri101: li    %10, 0          --> tri100     
24 tri100: li    %11, 0          --> tri99      
25 tri99 : li    %12, 0          --> tri98      
26 tri98 : li    %13, 0          --> tri97      
27 tri97 : li    %14, 0          --> tri96      
28 tri96 : li    %15, 0          --> tri95      
29 tri95 : li    %16, 0          --> tri94      
30 tri94 : li    %17, 0          --> tri93      
31 tri93 : li    %18, 0          --> tri92      
32 tri92 : li    %19, 0          --> tri91      
33 tri91 : li    %20, 0          --> tri90      
34 tri90 : li    %21, 0          --> tri89      
35 tri89 : li    %22, 0          --> tri88      
36 tri88 : li    %23, 0          --> tri87      
37 tri87 : li    %24, 0          --> tri86      
38 tri86 : li    %25, 0          --> tri85      
39 tri85 : li    %26, 0          --> tri84      
40 tri84 : li    %27, 0          --> tri83      
41 tri83 : li    %28, 0          --> tri82      
42 tri82 : li    %29, 0          --> tri81      
43 tri81 : li    %30, 0          --> tri80      
44 tri80 : li    %31, 0          --> tri79      
45 tri79 : li    %32, 0          --> tri78      
46 tri78 : li    %33, 0          --> tri77      
47 tri77 : li    %34, 0          --> tri76      
48 tri76 : li    %35, 0          --> tri75      
49 tri75 : li    %36, 0          --> tri74      
50 tri74 : li    %37, 0          --> tri73      
51 tri73 : li    %38, 0          --> tri72      
52 tri72 : li    %39, 0          --> tri71      
53 tri71 : li    %40, 0          --> tri70      
54 tri70 : li    %41, 0          --> tri69      
55 tri69 : li    %42, 0          --> tri68      
56 tri68 : li    %43, 0          --> tri67      
57 tri67 : li    %44, 0          --> tri58      
58 tri58 : emit c12              --> tri57      
59 tri57 : li    %2, 0           --> tri56      
60 tri56 : emit c11              --> tri55      
61 tri55 : emit c10              --> tri54      
62 tri54 : li    %4, 0           --> tri1       
63 tri1  : j                     --> tri53      
64 tri53 : li    %35, 0          --> tri52      
65 tri52 : emit c9               --> tri51      
66 tri51 : slt     %36, %4, %1   --> tri50      
67 tri50 : li    %43, 0          --> tri65      
68 tri65 : seq     %34, %36, %43 --> tri49      
69 tri49 : beq     %34, %35      --> tri48, tri0
70 tri0  : return                               
71 tri48 : emit c7               --> tri47      
72 tri47 : emit c6               --> tri46      
73 tri46 : li    %3, 1           --> tri5       
74 tri5  : j                     --> tri45      
75 tri45 : li    %31, 0          --> tri44      
76 tri44 : emit c5               --> tri43      
77 tri43 : sub     %33, %1, %4   --> tri42      
78 tri42 : slt     %32, %3, %33  --> tri41      
79 tri41 : li    %42, 0          --> tri64      
80 tri64 : seq     %30, %32, %42 --> tri40      
81 tri40 : beq     %30, %31      --> tri39, tri4
82 tri4  : emit c8               --> tri3       
83 tri3  : li    %5, 1           --> tri2       
84 tri2  : add     %4, %4, %5    --> tri1       
85 tri39 : emit c3               --> tri38      
86 tri38 : li    %21, 0          --> tri37      
87 tri37 : li    %29, 4          --> tri36      
88 tri36 : mulo    %28, %3, %29  --> tri35      
89 tri35 : add     %41, %0, %28  --> tri63      
90 tri63 : lw    %22, 0(%41)     --> tri34      
91 tri34 : li    %27, 1          --> tri33      
92 tri33 : sub     %25, %3, %27  --> tri32      
93 tri32 : li    %26, 4          --> tri31      
94 tri31 : mulo    %24, %25, %26 --> tri30      
95 tri30 : add     %40, %0, %24  --> tri62      
96 tri62 : lw    %23, 0(%40)     --> tri29      
97 tri29 : slt     %20, %22, %23 --> tri28      
98 tri28 : beq     %20, %21      --> tri8, tri27
99 tri27 : emit c2               --> tri26      
100 tri26 : li    %19, 1          --> tri25      
101 tri25 : sub     %17, %3, %19  --> tri24      
102 tri24 : li    %18, 4          --> tri23      
103 tri23 : mulo    %16, %17, %18 --> tri22      
104 tri22 : add     %39, %0, %16  --> tri61      
105 tri61 : lw    %2, 0(%39)      --> tri21      
106 tri21 : emit c1               --> tri20      
107 tri20 : li    %15, 4          --> tri19      
108 tri19 : mulo    %14, %3, %15  --> tri18      
109 tri18 : add     %38, %0, %14  --> tri60      
110 tri60 : lw    %9, 0(%38)      --> tri17      
111 tri17 : li    %13, 1          --> tri16      
112 tri16 : sub     %11, %3, %13  --> tri15      
113 tri15 : li    %12, 4          --> tri14      
114 tri14 : mulo    %10, %11, %12 --> tri13      
115 tri13 : add     %37, %0, %10  --> tri59      
116 tri59 : sw    %9, 0(%37)      --> tri12      
117 tri12 : emit c0               --> tri11      
118 tri11 : li    %8, 4           --> tri10      
119 tri10 : mulo    %7, %3, %8    --> tri9       
120 tri9  : add     %44, %0, %7   --> tri66      
121 tri66 : sw    %2, 0(%44)      --> tri8       
122 tri8  : emit c4               --> tri7       
123 tri7  : li    %6, 1           --> tri6       
124 tri6  : add     %3, %3, %6    --> tri5       
125
126 function _main() : %0
127 stacksize 40
128 var %0, %1, %2, %3, %4, %5, %6, 
129     %7, %8, %9, %10, %11, %12, %13, 
130     %14, %15, %16, %17, %18, %19, %20, 
131     %21, %22, %23, %24, %25, %26, %27, 
132     %28, %29, %30, %31, %32, %33, %34, 
133     %35, %36, %37, %38, %39, %40, %41, 
134     %42, %43, %44, %45, %46, %47, %48, 
135     %49, %50, %51, %52, %53, %54, %55, 
136     %56, %57, %58, %59, %60, %61, %62, 
137     %63, %64, %65, %66, %67, %68, %69
138 entry main161
139 main161: li    %1, 0           --> main160
140 main160: li    %2, 0           --> main159
141 main159: li    %3, 0           --> main158
142 main158: li    %4, 0           --> main157
143 main157: li    %5, 0           --> main156
144 main156: li    %6, 0           --> main155
145 main155: li    %7, 0           --> main154
146 main154: li    %8, 0           --> main153
147 main153: li    %9, 0           --> main152
148 main152: li    %10, 0          --> main151
149 main151: li    %11, 0          --> main150
150 main150: li    %12, 0          --> main149
151 main149: li    %13, 0          --> main148
152 main148: li    %14, 0          --> main147
153 main147: li    %15, 0          --> main146
154 main146: li    %16, 0          --> main145
155 main145: li    %17, 0          --> main144
156 main144: li    %18, 0          --> main143
157 main143: li    %19, 0          --> main142
158 main142: li    %20, 0          --> main141
159 main141: li    %21, 0          --> main140
160 main140: li    %22, 0          --> main139
161 main139: li    %23, 0          --> main138
162 main138: li    %24, 0          --> main137
163 main137: li    %25, 0          --> main136
164 main136: li    %26, 0          --> main135
165 main135: li    %27, 0          --> main134
166 main134: li    %28, 0          --> main133
167 main133: li    %29, 0          --> main132
168 main132: li    %30, 0          --> main131
169 main131: li    %31, 0          --> main130
170 main130: li    %32, 0          --> main129
171 main129: li    %33, 0          --> main128
172 main128: li    %34, 0          --> main127
173 main127: li    %35, 0          --> main126
174 main126: li    %36, 0          --> main125
175 main125: li    %37, 0          --> main124
176 main124: li    %38, 0          --> main123
177 main123: li    %39, 0          --> main122
178 main122: li    %40, 0          --> main121
179 main121: li    %41, 0          --> main120
180 main120: li    %42, 0          --> main119
181 main119: li    %43, 0          --> main118
182 main118: li    %44, 0          --> main117
183 main117: li    %45, 0          --> main116
184 main116: li    %46, 0          --> main115
185 main115: li    %47, 0          --> main114
186 main114: li    %48, 0          --> main113
187 main113: li    %49, 0          --> main112
188 main112: li    %50, 0          --> main111
189 main111: li    %51, 0          --> main110
190 main110: li    %52, 0          --> main109
191 main109: li    %53, 0          --> main108
192 main108: li    %54, 0          --> main107
193 main107: li    %55, 0          --> main106
194 main106: li    %56, 0          --> main105
195 main105: li    %57, 0          --> main104
196 main104: li    %58, 0          --> main103
197 main103: li    %59, 0          --> main102
198 main102: li    %60, 0          --> main101
199 main101: li    %61, 0          --> main100
200 main100: li    %62, 0          --> main99 
201 main99 : li    %63, 0          --> main98 
202 main98 : li    %64, 0          --> main97 
203 main97 : li    %65, 0          --> main96 
204 main96 : li    %66, 0          --> main95 
205 main95 : li    %67, 0          --> main94 
206 main94 : li    %68, 0          --> main93 
207 main93 : li    %69, 0          --> main80 
208 main80 : emit c24              --> main79 
209 main79 : li    %53, 10         --> main78 
210 main78 : addi %54, STACK, 0    --> main77 
211 main77 : li    %56, 0          --> main76 
212 main76 : li    %57, 4          --> main75 
213 main75 : mulo    %55, %56, %57 --> main74 
214 main74 : add     %69, %54, %55 --> main92 
215 main92 : sw    %53, 0(%69)     --> main73 
216 main73 : emit c23              --> main72 
217 main72 : li    %48, 9          --> main71 
218 main71 : addi %49, STACK, 0    --> main70 
219 main70 : li    %51, 1          --> main69 
220 main69 : li    %52, 4          --> main68 
221 main68 : mulo    %50, %51, %52 --> main67 
222 main67 : add     %67, %49, %50 --> main90 
223 main90 : sw    %48, 0(%67)     --> main66 
224 main66 : emit c22              --> main65 
225 main65 : li    %43, 8          --> main64 
226 main64 : addi %44, STACK, 0    --> main63 
227 main63 : li    %46, 2          --> main62 
228 main62 : li    %47, 4          --> main61 
229 main61 : mulo    %45, %46, %47 --> main60 
230 main60 : add     %66, %44, %45 --> main89 
231 main89 : sw    %43, 0(%66)     --> main59 
232 main59 : emit c21              --> main58 
233 main58 : li    %38, 7          --> main57 
234 main57 : addi %39, STACK, 0    --> main56 
235 main56 : li    %41, 3          --> main55 
236 main55 : li    %42, 4          --> main54 
237 main54 : mulo    %40, %41, %42 --> main53 
238 main53 : add     %65, %39, %40 --> main88 
239 main88 : sw    %38, 0(%65)     --> main52 
240 main52 : emit c20              --> main51 
241 main51 : li    %33, 6          --> main50 
242 main50 : addi %34, STACK, 0    --> main49 
243 main49 : li    %36, 4          --> main48 
244 main48 : li    %37, 4          --> main47 
245 main47 : mulo    %35, %36, %37 --> main46 
246 main46 : add     %64, %34, %35 --> main87 
247 main87 : sw    %33, 0(%64)     --> main45 
248 main45 : emit c19              --> main44 
249 main44 : li    %28, 5          --> main43 
250 main43 : addi %29, STACK, 0    --> main42 
251 main42 : li    %31, 5          --> main41 
252 main41 : li    %32, 4          --> main40 
253 main40 : mulo    %30, %31, %32 --> main39 
254 main39 : add     %63, %29, %30 --> main86 
255 main86 : sw    %28, 0(%63)     --> main38 
256 main38 : emit c18              --> main37 
257 main37 : li    %23, 4          --> main36 
258 main36 : addi %24, STACK, 0    --> main35 
259 main35 : li    %26, 6          --> main34 
260 main34 : li    %27, 4          --> main33 
261 main33 : mulo    %25, %26, %27 --> main32 
262 main32 : add     %62, %24, %25 --> main85 
263 main85 : sw    %23, 0(%62)     --> main31 
264 main31 : emit c17              --> main30 
265 main30 : li    %18, 3          --> main29 
266 main29 : addi %19, STACK, 0    --> main28 
267 main28 : li    %21, 7          --> main27 
268 main27 : li    %22, 4          --> main26 
269 main26 : mulo    %20, %21, %22 --> main25 
270 main25 : add     %61, %19, %20 --> main84 
271 main84 : sw    %18, 0(%61)     --> main24 
272 main24 : emit c16              --> main23 
273 main23 : li    %13, 2          --> main22 
274 main22 : addi %14, STACK, 0    --> main21 
275 main21 : li    %16, 8          --> main20 
276 main20 : li    %17, 4          --> main19 
277 main19 : mulo    %15, %16, %17 --> main18 
278 main18 : add     %60, %14, %15 --> main83 
279 main83 : sw    %13, 0(%60)     --> main17 
280 main17 : emit c15              --> main16 
281 main16 : li    %8, 1           --> main15 
282 main15 : addi %9, STACK, 0     --> main14 
283 main14 : li    %11, 9          --> main13 
284 main13 : li    %12, 4          --> main12 
285 main12 : mulo    %10, %11, %12 --> main11 
286 main11 : add     %59, %9, %10  --> main82 
287 main82 : sw    %8, 0(%59)      --> main10 
288 main10 : emit c14              --> main9  
289 main9  : addi %5, STACK, 0     --> main8  
290 main8  : li    %6, 10          --> main7  
291 main7  : la    %68, tri        --> main91 
292 main91 : call  %7, %68(%5, %6) --> main6  
293 main6  : emit c13              --> main5  
294 main5  : addi %1, STACK, 0     --> main4  
295 main4  : li    %3, 0           --> main3  
296 main3  : li    %4, 4           --> main2  
297 main2  : mulo    %2, %3, %4    --> main1  
298 main1  : add     %58, %1, %2   --> main81 
299 main81 : lw    %0, 0(%58)      --> main0  
300 main0  : return %0                        
301
302 __builtin_varargs_start: int -> void
303
304
305 __builtin_va_start: int -> int -> void
306
307
308 __builtin_va_end: int -> void
309
310
311 __builtin_va_copy: int -> int -> void
312
313
314 __builtin_va_arg: int -> int -> void
315
316
317 __builtin_types_compatible_p: int -> int -> int
318
319
320 __builtin_tanl: float -> float
321
322
323 __builtin_tanhl: float -> float
324
325
326 __builtin_tanhf: float -> float
327
328
329 __builtin_tanh: float -> float
330
331
332 __builtin_tanf: float -> float
333
334
335 __builtin_tan: float -> float
336
337
338 __builtin_strspn: int -> int -> int
339
340
341 __builtin_strpbrk: int -> int -> int
342
343
344 __builtin_strncpy: int -> int -> int -> int
345
346
347 __builtin_strncmp: int -> int -> int -> int
348
349
350 __builtin_strncat: int -> int -> int -> int
351
352
353 __builtin_strcspn: int -> int -> int
354
355
356 __builtin_strcpy: int -> int -> int
357
358
359 __builtin_strcmp: int -> int -> int
360
361
362 __builtin_strchr: int -> int -> int
363
364
365 __builtin_stpcpy: int -> int -> int
366
367
368 __builtin_stdarg_start: int -> void
369
370
371 __builtin_sqrtl: float -> float
372
373
374 __builtin_sqrtf: float -> float
375
376
377 __builtin_sqrt: float -> float
378
379
380 __builtin_sinl: float -> float
381
382
383 __builtin_sinhl: float -> float
384
385
386 __builtin_sinhf: float -> float
387
388
389 __builtin_sinh: float -> float
390
391
392 __builtin_sinf: float -> float
393
394
395 __builtin_sin: float -> float
396
397
398 __builtin_return_address: int -> int
399
400
401 __builtin_return: int -> void
402
403
404 __builtin_powil: float -> int -> float
405
406
407 __builtin_powif: float -> int -> float
408
409
410 __builtin_powi: float -> int -> float
411
412
413 __builtin_popcountll: int -> int
414
415
416 __builtin_popcountl: int -> int
417
418
419 __builtin_popcount: int -> int
420
421
422 __builtin_parityll: int -> int
423
424
425 __builtin_parityl: int -> int
426
427
428 __builtin_parity: int -> int
429
430
431 __builtin_object_size: int -> int -> int
432
433
434 __builtin_next_arg: int
435
436
437 __builtin_nansl: int -> float
438
439
440 __builtin_nansf: int -> float
441
442
443 __builtin_nans: int -> float
444
445
446 __builtin_nanl: int -> float
447
448
449 __builtin_nanf: int -> float
450
451
452 __builtin_nan: int -> float
453
454
455 __builtin_modfl: float -> int -> float
456
457
458 __builtin_modff: float -> int -> float
459
460
461 __builtin_mempcpy: int -> int -> int -> int
462
463
464 __builtin_memcpy: int -> int -> int -> int
465
466
467 __builtin_logl: float -> float
468
469
470 __builtin_logf: float -> float
471
472
473 __builtin_log10l: float -> float
474
475
476 __builtin_log10f: float -> float
477
478
479 __builtin_log10: float -> float
480
481
482 __builtin_log: float -> float
483
484
485 __builtin_ldexpl: float -> int -> float
486
487
488 __builtin_ldexpf: float -> int -> float
489
490
491 __builtin_ldexp: float -> int -> float
492
493
494 __builtin_infl: float
495
496
497 __builtin_inff: float
498
499
500 __builtin_inf: float
501
502
503 __builtin_huge_vall: float
504
505
506 __builtin_huge_valf: float
507
508
509 __builtin_huge_val: float
510
511
512 __builtin_frexpl: float -> int -> float
513
514
515 __builtin_frexpf: float -> int -> float
516
517
518 __builtin_frexp: float -> int -> float
519
520
521 __builtin_frame_address: int -> int
522
523
524 __builtin_fmodl: float -> float
525
526
527 __builtin_fmodf: float -> float
528
529
530 __builtin_fmod: float -> float
531
532
533 __builtin_floorl: float -> float
534
535
536 __builtin_floorf: float -> float
537
538
539 __builtin_floor: float -> float
540
541
542 __builtin_ffsll: int -> int
543
544
545 __builtin_ffsl: int -> int
546
547
548 __builtin_ffs: int -> int
549
550
551 __builtin_fabsl: float -> float
552
553
554 __builtin_fabsf: float -> float
555
556
557 __builtin_fabs: float -> float
558
559
560 __builtin_expl: float -> float
561
562
563 __builtin_expf: float -> float
564
565
566 __builtin_expect: int -> int -> int
567
568
569 __builtin_exp: float -> float
570
571
572 __builtin_ctzll: int -> int
573
574
575 __builtin_ctzl: int -> int
576
577
578 __builtin_ctz: int -> int
579
580
581 __builtin_cosl: float -> float
582
583
584 __builtin_coshl: float -> float
585
586
587 __builtin_coshf: float -> float
588
589
590 __builtin_cosh: float -> float
591
592
593 __builtin_cosf: float -> float
594
595
596 __builtin_cos: float -> float
597
598
599 __builtin_constant_p: int -> int
600
601
602 __builtin_clzll: int -> int
603
604
605 __builtin_clzl: int -> int
606
607
608 __builtin_clz: int -> int
609
610
611 __builtin_ceill: float -> float
612
613
614 __builtin_ceilf: float -> float
615
616
617 __builtin_ceil: float -> float
618
619
620 __builtin_atanl: float -> float
621
622
623 __builtin_atanf: float -> float
624
625
626 __builtin_atan2l: float -> float -> float
627
628
629 __builtin_atan2f: float -> float -> float
630
631
632 __builtin_atan2: float -> float -> float
633
634
635 __builtin_atan: float -> float
636
637
638 __builtin_asinl: float -> float
639
640
641 __builtin_asinf: float -> float
642
643
644 __builtin_asin: float -> float
645
646
647 __builtin_alloca: int -> int
648
649
650 __builtin_acosl: float -> float
651
652
653 __builtin_acosf: float -> float
654
655
656 __builtin_acos: float -> float
657
658
659 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
660
661
662 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
663
664
665 __builtin___vprintf_chk: int -> int -> int -> int
666
667
668 __builtin___vfprintf_chk: int -> int -> int -> int -> int
669
670
671 __builtin___strncpy_chk: int -> int -> int -> int -> int
672
673
674 __builtin___strncat_chk: int -> int -> int -> int -> int
675
676
677 __builtin___strcpy_chk: int -> int -> int -> int
678
679
680 __builtin___strcat_chk: int -> int -> int -> int
681
682
683 __builtin___stpcpy_chk: int -> int -> int -> int
684
685
686 __builtin___memset_chk: int -> int -> int -> int -> int
687
688
689 __builtin___mempcpy_chk: int -> int -> int -> int -> int
690
691
692 __builtin___memmove_chk: int -> int -> int -> int -> int
693
694
695 __builtin___memcpy_chk: int -> int -> int -> int -> int
696
697