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