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