]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_Array_ecriture.ERTL.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / testTB_Array_ecriture.ERTL.expected
1 program
2
3 globals 20
4
5 procedure array_ecriture(3)
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 entry array_ecriture35
11 array_ecriture35: newframe            --> array_ecriture34
12 array_ecriture34: move  %20, $ra      --> array_ecriture33
13 array_ecriture33: move  %19, $s7      --> array_ecriture32
14 array_ecriture32: move  %18, $s6      --> array_ecriture31
15 array_ecriture31: move  %17, $s5      --> array_ecriture30
16 array_ecriture30: move  %16, $s4      --> array_ecriture29
17 array_ecriture29: move  %15, $s3      --> array_ecriture28
18 array_ecriture28: move  %14, $s2      --> array_ecriture27
19 array_ecriture27: move  %13, $s1      --> array_ecriture26
20 array_ecriture26: move  %12, $s0      --> array_ecriture25
21 array_ecriture25: move  %0, $a0       --> array_ecriture24
22 array_ecriture24: move  %1, $a1       --> array_ecriture23
23 array_ecriture23: move  %2, $a2       --> array_ecriture22
24 array_ecriture22: li    %4, 0         --> array_ecriture21
25 array_ecriture21: li    %5, 0         --> array_ecriture20
26 array_ecriture20: li    %6, 0         --> array_ecriture19
27 array_ecriture19: li    %7, 0         --> array_ecriture18
28 array_ecriture18: li    %8, 0         --> array_ecriture17
29 array_ecriture17: li    %9, 0         --> array_ecriture16
30 array_ecriture16: li    %10, 0        --> array_ecriture15
31 array_ecriture15: li    %11, 0        --> array_ecriture12
32 array_ecriture12: emit c2             --> array_ecriture11
33 array_ecriture11: li    %7, 1         --> array_ecriture10
34 array_ecriture10: li    %9, 4         --> array_ecriture9 
35 array_ecriture9 : mulo    %8, %1, %9  --> array_ecriture8 
36 array_ecriture8 : add     %11, %0, %8 --> array_ecriture14
37 array_ecriture14: sw    %7, 0(%11)    --> array_ecriture7 
38 array_ecriture7 : emit c1             --> array_ecriture6 
39 array_ecriture6 : li    %4, 5         --> array_ecriture5 
40 array_ecriture5 : li    %6, 4         --> array_ecriture4 
41 array_ecriture4 : mulo    %5, %2, %6  --> array_ecriture3 
42 array_ecriture3 : add     %10, %0, %5 --> array_ecriture13
43 array_ecriture13: sw    %4, 0(%10)    --> array_ecriture2 
44 array_ecriture2 : emit c0             --> array_ecriture1 
45 array_ecriture1 : li    %3, 0         --> array_ecriture0 
46 array_ecriture0 : j                   --> array_ecriture47
47 array_ecriture47: move  $v0, %3       --> array_ecriture46
48 array_ecriture46: move  $ra, %20      --> array_ecriture45
49 array_ecriture45: move  $s7, %19      --> array_ecriture44
50 array_ecriture44: move  $s6, %18      --> array_ecriture43
51 array_ecriture43: move  $s5, %17      --> array_ecriture42
52 array_ecriture42: move  $s4, %16      --> array_ecriture41
53 array_ecriture41: move  $s3, %15      --> array_ecriture40
54 array_ecriture40: move  $s2, %14      --> array_ecriture39
55 array_ecriture39: move  $s1, %13      --> array_ecriture38
56 array_ecriture38: move  $s0, %12      --> array_ecriture37
57 array_ecriture37: delframe            --> array_ecriture36
58 array_ecriture36: jr    $ra           (xmits $v0)         
59
60 procedure _main(0)
61 stacksize 0
62 var %0, %1, %2, %3, %4, %5, %6, 
63     %7, %8, %9, %10, %11, %12, %13, 
64     %14, %15, %16, %17, %18, %19, %20, 
65     %21, %22, %23, %24, %25, %26, %27
66 entry main56
67 main56: newframe                  --> main55 
68 main55: move  %27, $ra            --> main54 
69 main54: move  %26, $s7            --> main53 
70 main53: move  %25, $s6            --> main52 
71 main52: move  %24, $s5            --> main51 
72 main51: move  %23, $s4            --> main50 
73 main50: move  %22, $s3            --> main49 
74 main49: move  %21, $s2            --> main48 
75 main48: move  %20, $s1            --> main47 
76 main47: move  %19, $s0            --> main46 
77 main46: li    %0, 0               --> main45 
78 main45: li    %2, 0               --> main44 
79 main44: li    %3, 0               --> main43 
80 main43: li    %4, 0               --> main42 
81 main42: li    %5, 0               --> main41 
82 main41: li    %6, 0               --> main40 
83 main40: li    %7, 0               --> main39 
84 main39: li    %8, 0               --> main38 
85 main38: li    %9, 0               --> main37 
86 main37: li    %10, 0              --> main36 
87 main36: li    %11, 0              --> main35 
88 main35: li    %12, 0              --> main34 
89 main34: li    %13, 0              --> main33 
90 main33: li    %14, 0              --> main32 
91 main32: li    %15, 0              --> main31 
92 main31: li    %16, 0              --> main30 
93 main30: li    %17, 0              --> main29 
94 main29: li    %18, 0              --> main20 
95 main20: li    %12, 0              --> main19 
96 main19: move  %17, $gp            --> main74 
97 main74: move    %17, %17          --> main27 
98 main27: sw    %12, 0(%17)         --> main18 
99 main18: li    %11, 0              --> main17 
100 main17: move  %16, $gp            --> main73 
101 main73: move    %16, %16          --> main26 
102 main26: sw    %11, 4(%16)         --> main16 
103 main16: li    %10, 0              --> main15 
104 main15: move  %15, $gp            --> main72 
105 main72: move    %15, %15          --> main25 
106 main25: sw    %10, 8(%15)         --> main14 
107 main14: li    %9, 0               --> main13 
108 main13: move  %14, $gp            --> main71 
109 main71: move    %14, %14          --> main24 
110 main24: sw    %9, 12(%14)         --> main12 
111 main12: li    %8, 0               --> main11 
112 main11: move  %13, $gp            --> main70 
113 main70: move    %13, %13          --> main23 
114 main23: sw    %8, 16(%13)         --> main10 
115 main10: emit c4                   --> main9  
116 main9 : move  %5, $gp             --> main80 
117 main80: move    %5, %5            --> main8  
118 main8 : li    %6, 0               --> main7  
119 main7 : li    %7, 1               --> main6  
120 main6 : la    %18, array_ecriture --> main28 
121 main28: j                         --> main79 
122 main79: move  $a0, %5             --> main78 
123 main78: move  $a1, %6             --> main77 
124 main77: move  $a2, %7             --> main76 
125 main76: call  %18(3)              --> main75 
126 main75: move  %0, $v0             --> main5  
127 main5 : emit c3                   --> main4  
128 main4 : li    %3, 1               --> main3  
129 main3 : li    %4, 4               --> main2  
130 main2 : mulo    %2, %3, %4        --> main1  
131 main1 : move  %1, $gp             --> main69 
132 main69: move    %1, %1            --> main22 
133 main22: add     %1, %1, %2        --> main21 
134 main21: lw    %1, 0(%1)           --> main0  
135 main0 : j                         --> main68 
136 main68: move  $v0, %1             --> main67 
137 main67: move  $ra, %27            --> main66 
138 main66: move  $s7, %26            --> main65 
139 main65: move  $s6, %25            --> main64 
140 main64: move  $s5, %24            --> main63 
141 main63: move  $s4, %23            --> main62 
142 main62: move  $s3, %22            --> main61 
143 main61: move  $s2, %21            --> main60 
144 main60: move  $s1, %20            --> main59 
145 main59: move  $s0, %19            --> main58 
146 main58: delframe                  --> main57 
147 main57: jr    $ra                 (xmits $v0)
148
149 __builtin_varargs_start: int -> void
150
151
152 __builtin_va_start: int -> int -> void
153
154
155 __builtin_va_end: int -> void
156
157
158 __builtin_va_copy: int -> int -> void
159
160
161 __builtin_va_arg: int -> int -> void
162
163
164 __builtin_types_compatible_p: int -> int -> int
165
166
167 __builtin_tanl: float -> float
168
169
170 __builtin_tanhl: float -> float
171
172
173 __builtin_tanhf: float -> float
174
175
176 __builtin_tanh: float -> float
177
178
179 __builtin_tanf: float -> float
180
181
182 __builtin_tan: float -> float
183
184
185 __builtin_strspn: int -> int -> int
186
187
188 __builtin_strpbrk: int -> int -> int
189
190
191 __builtin_strncpy: int -> int -> int -> int
192
193
194 __builtin_strncmp: int -> int -> int -> int
195
196
197 __builtin_strncat: int -> int -> int -> int
198
199
200 __builtin_strcspn: int -> int -> int
201
202
203 __builtin_strcpy: int -> int -> int
204
205
206 __builtin_strcmp: int -> int -> int
207
208
209 __builtin_strchr: int -> int -> int
210
211
212 __builtin_stpcpy: int -> int -> int
213
214
215 __builtin_stdarg_start: int -> void
216
217
218 __builtin_sqrtl: float -> float
219
220
221 __builtin_sqrtf: float -> float
222
223
224 __builtin_sqrt: float -> float
225
226
227 __builtin_sinl: float -> float
228
229
230 __builtin_sinhl: float -> float
231
232
233 __builtin_sinhf: float -> float
234
235
236 __builtin_sinh: float -> float
237
238
239 __builtin_sinf: float -> float
240
241
242 __builtin_sin: float -> float
243
244
245 __builtin_return_address: int -> int
246
247
248 __builtin_return: int -> void
249
250
251 __builtin_powil: float -> int -> float
252
253
254 __builtin_powif: float -> int -> float
255
256
257 __builtin_powi: float -> int -> float
258
259
260 __builtin_popcountll: int -> int
261
262
263 __builtin_popcountl: int -> int
264
265
266 __builtin_popcount: int -> int
267
268
269 __builtin_parityll: int -> int
270
271
272 __builtin_parityl: int -> int
273
274
275 __builtin_parity: int -> int
276
277
278 __builtin_object_size: int -> int -> int
279
280
281 __builtin_next_arg: int
282
283
284 __builtin_nansl: int -> float
285
286
287 __builtin_nansf: int -> float
288
289
290 __builtin_nans: int -> float
291
292
293 __builtin_nanl: int -> float
294
295
296 __builtin_nanf: int -> float
297
298
299 __builtin_nan: int -> float
300
301
302 __builtin_modfl: float -> int -> float
303
304
305 __builtin_modff: float -> int -> float
306
307
308 __builtin_mempcpy: int -> int -> int -> int
309
310
311 __builtin_memcpy: int -> int -> int -> int
312
313
314 __builtin_logl: float -> float
315
316
317 __builtin_logf: float -> float
318
319
320 __builtin_log10l: float -> float
321
322
323 __builtin_log10f: float -> float
324
325
326 __builtin_log10: float -> float
327
328
329 __builtin_log: float -> float
330
331
332 __builtin_ldexpl: float -> int -> float
333
334
335 __builtin_ldexpf: float -> int -> float
336
337
338 __builtin_ldexp: float -> int -> float
339
340
341 __builtin_infl: float
342
343
344 __builtin_inff: float
345
346
347 __builtin_inf: float
348
349
350 __builtin_huge_vall: float
351
352
353 __builtin_huge_valf: float
354
355
356 __builtin_huge_val: float
357
358
359 __builtin_frexpl: float -> int -> float
360
361
362 __builtin_frexpf: float -> int -> float
363
364
365 __builtin_frexp: float -> int -> float
366
367
368 __builtin_frame_address: int -> int
369
370
371 __builtin_fmodl: float -> float
372
373
374 __builtin_fmodf: float -> float
375
376
377 __builtin_fmod: float -> float
378
379
380 __builtin_floorl: float -> float
381
382
383 __builtin_floorf: float -> float
384
385
386 __builtin_floor: float -> float
387
388
389 __builtin_ffsll: int -> int
390
391
392 __builtin_ffsl: int -> int
393
394
395 __builtin_ffs: int -> int
396
397
398 __builtin_fabsl: float -> float
399
400
401 __builtin_fabsf: float -> float
402
403
404 __builtin_fabs: float -> float
405
406
407 __builtin_expl: float -> float
408
409
410 __builtin_expf: float -> float
411
412
413 __builtin_expect: int -> int -> int
414
415
416 __builtin_exp: float -> float
417
418
419 __builtin_ctzll: int -> int
420
421
422 __builtin_ctzl: int -> int
423
424
425 __builtin_ctz: int -> int
426
427
428 __builtin_cosl: float -> float
429
430
431 __builtin_coshl: float -> float
432
433
434 __builtin_coshf: float -> float
435
436
437 __builtin_cosh: float -> float
438
439
440 __builtin_cosf: float -> float
441
442
443 __builtin_cos: float -> float
444
445
446 __builtin_constant_p: int -> int
447
448
449 __builtin_clzll: int -> int
450
451
452 __builtin_clzl: int -> int
453
454
455 __builtin_clz: int -> int
456
457
458 __builtin_ceill: float -> float
459
460
461 __builtin_ceilf: float -> float
462
463
464 __builtin_ceil: float -> float
465
466
467 __builtin_atanl: float -> float
468
469
470 __builtin_atanf: float -> float
471
472
473 __builtin_atan2l: float -> float -> float
474
475
476 __builtin_atan2f: float -> float -> float
477
478
479 __builtin_atan2: float -> float -> float
480
481
482 __builtin_atan: float -> float
483
484
485 __builtin_asinl: float -> float
486
487
488 __builtin_asinf: float -> float
489
490
491 __builtin_asin: float -> float
492
493
494 __builtin_alloca: int -> int
495
496
497 __builtin_acosl: float -> float
498
499
500 __builtin_acosf: float -> float
501
502
503 __builtin_acos: float -> float
504
505
506 __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
507
508
509 __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
510
511
512 __builtin___vprintf_chk: int -> int -> int -> int
513
514
515 __builtin___vfprintf_chk: int -> int -> int -> int -> int
516
517
518 __builtin___strncpy_chk: int -> int -> int -> int -> int
519
520
521 __builtin___strncat_chk: int -> int -> int -> int -> int
522
523
524 __builtin___strcpy_chk: int -> int -> int -> int
525
526
527 __builtin___strcat_chk: int -> int -> int -> int
528
529
530 __builtin___stpcpy_chk: int -> int -> int -> int
531
532
533 __builtin___memset_chk: int -> int -> int -> int -> int
534
535
536 __builtin___mempcpy_chk: int -> int -> int -> int -> int
537
538
539 __builtin___memmove_chk: int -> int -> int -> int -> int
540
541
542 __builtin___memcpy_chk: int -> int -> int -> int -> int
543
544