]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_Array_LE.ERTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / testTB_Array_LE.ERTL.expected
1 program
2
3 globals 0
4
5 procedure array_LE(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
11 entry array_LE38
12 array_LE38: newframe             --> array_LE37
13 array_LE37: move  %22, $ra       --> array_LE36
14 array_LE36: move  %21, $s7       --> array_LE35
15 array_LE35: move  %20, $s6       --> array_LE34
16 array_LE34: move  %19, $s5       --> array_LE33
17 array_LE33: move  %18, $s4       --> array_LE32
18 array_LE32: move  %17, $s3       --> array_LE31
19 array_LE31: move  %16, $s2       --> array_LE30
20 array_LE30: move  %15, $s1       --> array_LE29
21 array_LE29: move  %14, $s0       --> array_LE28
22 array_LE28: move  %0, $a0        --> array_LE27
23 array_LE27: move  %1, $a1        --> array_LE26
24 array_LE26: move  %2, $a2        --> array_LE25
25 array_LE25: move  %3, $a3        --> array_LE24
26 array_LE24: li    %4, 0          --> array_LE23
27 array_LE23: li    %5, 0          --> array_LE22
28 array_LE22: li    %6, 0          --> array_LE21
29 array_LE21: li    %7, 0          --> array_LE20
30 array_LE20: li    %8, 0          --> array_LE19
31 array_LE19: li    %9, 0          --> array_LE18
32 array_LE18: li    %10, 0         --> array_LE17
33 array_LE17: li    %11, 0         --> array_LE16
34 array_LE16: li    %12, 0         --> array_LE15
35 array_LE15: li    %13, 0         --> array_LE12
36 array_LE12: emit c1              --> array_LE11
37 array_LE11: li    %9, 2          --> array_LE10
38 array_LE10: li    %11, 4         --> array_LE9 
39 array_LE9 : mulo    %10, %2, %11 --> array_LE8 
40 array_LE8 : add     %13, %0, %10 --> array_LE14
41 array_LE14: sw    %9, 0(%13)     --> array_LE7 
42 array_LE7 : emit c0              --> array_LE6 
43 array_LE6 : li    %4, 78         --> array_LE5 
44 array_LE5 : li    %8, 1          --> array_LE4 
45 array_LE4 : add     %6, %3, %8   --> array_LE3 
46 array_LE3 : li    %7, 4          --> array_LE2 
47 array_LE2 : mulo    %5, %6, %7   --> array_LE1 
48 array_LE1 : add     %12, %1, %5  --> array_LE13
49 array_LE13: sw    %4, 0(%12)     --> array_LE0 
50 array_LE0 : j                    --> array_LE49
51 array_LE49: move  $ra, %22       --> array_LE48
52 array_LE48: move  $s7, %21       --> array_LE47
53 array_LE47: move  $s6, %20       --> array_LE46
54 array_LE46: move  $s5, %19       --> array_LE45
55 array_LE45: move  $s4, %18       --> array_LE44
56 array_LE44: move  $s3, %17       --> array_LE43
57 array_LE43: move  $s2, %16       --> array_LE42
58 array_LE42: move  $s1, %15       --> array_LE41
59 array_LE41: move  $s0, %14       --> array_LE40
60 array_LE40: delframe             --> array_LE39
61 array_LE39: jr    $ra                          
62
63 procedure _main(0)
64 stacksize 40
65 var %0, %1, %2, %3, %4, %5, %6, 
66     %7, %8, %9, %10, %11, %12, %13, 
67     %14, %15, %16, %17, %18, %19, %20, 
68     %21, %22, %23, %24, %25, %26, %27, 
69     %28, %29, %30, %31, %32, %33, %34, 
70     %35, %36, %37, %38, %39, %40, %41, 
71     %42, %43, %44, %45, %46, %47, %48, 
72     %49, %50, %51, %52, %53, %54, %55, 
73     %56, %57, %58, %59, %60, %61, %62, 
74     %63, %64, %65, %66, %67, %68, %69, 
75     %70, %71, %72, %73, %74, %75, %76, 
76     %77, %78, %79, %80, %81, %82, %83, 
77     %84, %85, %86, %87
78 entry main189
79 main189: newframe              --> main188
80 main188: move  %87, $ra        --> main187
81 main187: move  %86, $s7        --> main186
82 main186: move  %85, $s6        --> main185
83 main185: move  %84, $s5        --> main184
84 main184: move  %83, $s4        --> main183
85 main183: move  %82, $s3        --> main182
86 main182: move  %81, $s2        --> main181
87 main181: move  %80, $s1        --> main180
88 main180: move  %79, $s0        --> main179
89 main179: li    %1, 0           --> main178
90 main178: li    %2, 0           --> main177
91 main177: li    %3, 0           --> main176
92 main176: li    %4, 0           --> main175
93 main175: li    %5, 0           --> main174
94 main174: li    %6, 0           --> main173
95 main173: li    %7, 0           --> main172
96 main172: li    %8, 0           --> main171
97 main171: li    %9, 0           --> main170
98 main170: li    %10, 0          --> main169
99 main169: li    %11, 0          --> main168
100 main168: li    %12, 0          --> main167
101 main167: li    %13, 0          --> main166
102 main166: li    %14, 0          --> main165
103 main165: li    %15, 0          --> main164
104 main164: li    %16, 0          --> main163
105 main163: li    %17, 0          --> main162
106 main162: li    %18, 0          --> main161
107 main161: li    %19, 0          --> main160
108 main160: li    %20, 0          --> main159
109 main159: li    %21, 0          --> main158
110 main158: li    %22, 0          --> main157
111 main157: li    %23, 0          --> main156
112 main156: li    %24, 0          --> main155
113 main155: li    %25, 0          --> main154
114 main154: li    %26, 0          --> main153
115 main153: li    %27, 0          --> main152
116 main152: li    %28, 0          --> main151
117 main151: li    %29, 0          --> main150
118 main150: li    %30, 0          --> main149
119 main149: li    %31, 0          --> main148
120 main148: li    %32, 0          --> main147
121 main147: li    %33, 0          --> main146
122 main146: li    %34, 0          --> main145
123 main145: li    %35, 0          --> main144
124 main144: li    %36, 0          --> main143
125 main143: li    %37, 0          --> main142
126 main142: li    %38, 0          --> main141
127 main141: li    %39, 0          --> main140
128 main140: li    %40, 0          --> main139
129 main139: li    %41, 0          --> main138
130 main138: li    %42, 0          --> main137
131 main137: li    %43, 0          --> main136
132 main136: li    %44, 0          --> main135
133 main135: li    %45, 0          --> main134
134 main134: li    %46, 0          --> main133
135 main133: li    %47, 0          --> main132
136 main132: li    %48, 0          --> main131
137 main131: li    %49, 0          --> main130
138 main130: li    %50, 0          --> main129
139 main129: li    %51, 0          --> main128
140 main128: li    %52, 0          --> main127
141 main127: li    %53, 0          --> main126
142 main126: li    %54, 0          --> main125
143 main125: li    %55, 0          --> main124
144 main124: li    %56, 0          --> main123
145 main123: li    %57, 0          --> main122
146 main122: li    %58, 0          --> main121
147 main121: li    %59, 0          --> main120
148 main120: li    %60, 0          --> main119
149 main119: li    %61, 0          --> main118
150 main118: li    %62, 0          --> main117
151 main117: li    %63, 0          --> main116
152 main116: li    %64, 0          --> main115
153 main115: li    %65, 0          --> main114
154 main114: li    %66, 0          --> main113
155 main113: li    %67, 0          --> main112
156 main112: li    %68, 0          --> main111
157 main111: li    %69, 0          --> main110
158 main110: li    %70, 0          --> main109
159 main109: li    %71, 0          --> main108
160 main108: li    %72, 0          --> main107
161 main107: li    %73, 0          --> main106
162 main106: li    %74, 0          --> main105
163 main105: li    %75, 0          --> main104
164 main104: li    %76, 0          --> main103
165 main103: li    %77, 0          --> main102
166 main102: li    %78, 0          --> main88 
167 main88 : emit c13              --> main87 
168 main87 : li    %61, 0          --> main86 
169 main86 : move  %62, $sp        --> main215
170 main215: move    %62, %62      --> main85 
171 main85 : li    %64, 0          --> main84 
172 main84 : li    %65, 4          --> main83 
173 main83 : mulo    %63, %64, %65 --> main82 
174 main82 : add     %78, %62, %63 --> main101
175 main101: sw    %61, 0(%78)     --> main81 
176 main81 : emit c12              --> main80 
177 main80 : li    %56, 0          --> main79 
178 main79 : move  %57, $sp        --> main214
179 main214: move    %57, %57      --> main78 
180 main78 : li    %59, 1          --> main77 
181 main77 : li    %60, 4          --> main76 
182 main76 : mulo    %58, %59, %60 --> main75 
183 main75 : add     %77, %57, %58 --> main100
184 main100: sw    %56, 0(%77)     --> main74 
185 main74 : emit c11              --> main73 
186 main73 : li    %51, 0          --> main72 
187 main72 : move  %52, $sp        --> main213
188 main213: move    %52, %52      --> main71 
189 main71 : li    %54, 2          --> main70 
190 main70 : li    %55, 4          --> main69 
191 main69 : mulo    %53, %54, %55 --> main68 
192 main68 : add     %75, %52, %53 --> main98 
193 main98 : sw    %51, 0(%75)     --> main67 
194 main67 : emit c10              --> main66 
195 main66 : li    %46, 0          --> main65 
196 main65 : move  %47, $sp        --> main212
197 main212: move    %47, %47      --> main64 
198 main64 : li    %49, 3          --> main63 
199 main63 : li    %50, 4          --> main62 
200 main62 : mulo    %48, %49, %50 --> main61 
201 main61 : add     %74, %47, %48 --> main97 
202 main97 : sw    %46, 0(%74)     --> main60 
203 main60 : emit c9               --> main59 
204 main59 : li    %41, 0          --> main58 
205 main58 : move  %42, $sp        --> main210
206 main210: move    %42, %42      --> main57 
207 main57 : li    %44, 4          --> main56 
208 main56 : li    %45, 4          --> main55 
209 main55 : mulo    %43, %44, %45 --> main54 
210 main54 : add     %73, %42, %43 --> main96 
211 main96 : sw    %41, 0(%73)     --> main53 
212 main53 : emit c8               --> main52 
213 main52 : li    %36, 0          --> main51 
214 main51 : move  %37, $sp        --> main209
215 main209: addi    %37, %37, 20  --> main50 
216 main50 : li    %39, 0          --> main49 
217 main49 : li    %40, 4          --> main48 
218 main48 : mulo    %38, %39, %40 --> main47 
219 main47 : add     %72, %37, %38 --> main95 
220 main95 : sw    %36, 0(%72)     --> main46 
221 main46 : emit c7               --> main45 
222 main45 : li    %31, 0          --> main44 
223 main44 : move  %32, $sp        --> main208
224 main208: addi    %32, %32, 20  --> main43 
225 main43 : li    %34, 1          --> main42 
226 main42 : li    %35, 4          --> main41 
227 main41 : mulo    %33, %34, %35 --> main40 
228 main40 : add     %71, %32, %33 --> main94 
229 main94 : sw    %31, 0(%71)     --> main39 
230 main39 : emit c6               --> main38 
231 main38 : li    %26, 0          --> main37 
232 main37 : move  %27, $sp        --> main207
233 main207: addi    %27, %27, 20  --> main36 
234 main36 : li    %29, 2          --> main35 
235 main35 : li    %30, 4          --> main34 
236 main34 : mulo    %28, %29, %30 --> main33 
237 main33 : add     %70, %27, %28 --> main93 
238 main93 : sw    %26, 0(%70)     --> main32 
239 main32 : emit c5               --> main31 
240 main31 : li    %21, 0          --> main30 
241 main30 : move  %22, $sp        --> main206
242 main206: addi    %22, %22, 20  --> main29 
243 main29 : li    %24, 3          --> main28 
244 main28 : li    %25, 4          --> main27 
245 main27 : mulo    %23, %24, %25 --> main26 
246 main26 : add     %69, %22, %23 --> main92 
247 main92 : sw    %21, 0(%69)     --> main25 
248 main25 : emit c4               --> main24 
249 main24 : li    %16, 0          --> main23 
250 main23 : move  %17, $sp        --> main205
251 main205: addi    %17, %17, 20  --> main22 
252 main22 : li    %19, 4          --> main21 
253 main21 : li    %20, 4          --> main20 
254 main20 : mulo    %18, %19, %20 --> main19 
255 main19 : add     %67, %17, %18 --> main90 
256 main90 : sw    %16, 0(%67)     --> main18 
257 main18 : emit c3               --> main17 
258 main17 : move  %11, $sp        --> main204
259 main204: move    %11, %11      --> main16 
260 main16 : move  %12, $sp        --> main203
261 main203: addi    %12, %12, 20  --> main15 
262 main15 : li    %13, 0          --> main14 
263 main14 : li    %14, 0          --> main13 
264 main13 : la    %66, array_LE   --> main89 
265 main89 : j                     --> main221
266 main221: move  $a0, %11        --> main220
267 main220: move  $a1, %12        --> main219
268 main219: move  $a2, %13        --> main218
269 main218: move  $a3, %14        --> main217
270 main217: call  %66(4)          --> main216
271 main216: move  %15, $v0        --> main12 
272 main12 : emit c2               --> main11 
273 main11 : move  %7, $sp         --> main202
274 main202: move    %7, %7        --> main10 
275 main10 : li    %9, 0           --> main9  
276 main9  : li    %10, 4          --> main8  
277 main8  : mulo    %8, %9, %10   --> main7  
278 main7  : add     %76, %7, %8   --> main99 
279 main99 : lw    %1, 0(%76)      --> main6  
280 main6  : move  %3, $sp         --> main211
281 main211: addi    %3, %3, 20    --> main5  
282 main5  : li    %5, 1           --> main4  
283 main4  : li    %6, 4           --> main3  
284 main3  : mulo    %4, %5, %6    --> main2  
285 main2  : add     %68, %3, %4   --> main91 
286 main91 : lw    %2, 0(%68)      --> main1  
287 main1  : add     %0, %1, %2    --> main0  
288 main0  : j                     --> main201
289 main201: move  $v0, %0         --> main200
290 main200: move  $ra, %87        --> main199
291 main199: move  $s7, %86        --> main198
292 main198: move  $s6, %85        --> main197
293 main197: move  $s5, %84        --> main196
294 main196: move  $s4, %83        --> main195
295 main195: move  $s3, %82        --> main194
296 main194: move  $s2, %81        --> main193
297 main193: move  $s1, %80        --> main192
298 main192: move  $s0, %79        --> main191
299 main191: delframe              --> main190
300 main190: jr    $ra             (xmits $v0)
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