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