]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/fir_complexe.RTLabs.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / fir_complexe.RTLabs.expected
1 program: (main function is "main")
2
3
4   globals:
5     "t1" = {[64]}
6     "t2" = {[64]}
7     "t3" = {[64]}
8     "t4" = {[64]}
9     "t5" = {[64]}
10     "t6" = {[64]}
11
12
13   "__builtin___memcpy_chk": int -> int -> int -> int -> int
14
15
16   "__builtin___memmove_chk": int -> int -> int -> int -> int
17
18
19   "__builtin___mempcpy_chk": int -> int -> int -> int -> int
20
21
22   "__builtin___memset_chk": int -> int -> int -> int -> int
23
24
25   "__builtin___stpcpy_chk": int -> int -> int -> int
26
27
28   "__builtin___strcat_chk": int -> int -> int -> int
29
30
31   "__builtin___strcpy_chk": int -> int -> int -> int
32
33
34   "__builtin___strncat_chk": int -> int -> int -> int -> int
35
36
37   "__builtin___strncpy_chk": int -> int -> int -> int -> int
38
39
40   "__builtin___vfprintf_chk": int -> int -> int -> int -> int
41
42
43   "__builtin___vprintf_chk": int -> int -> int -> int
44
45
46   "__builtin___vsnprintf_chk": int -> int -> int -> int -> int -> int -> int
47
48
49   "__builtin___vsprintf_chk": int -> int -> int -> int -> int -> int
50
51
52   "__builtin_acos": float -> float
53
54
55   "__builtin_acosf": float -> float
56
57
58   "__builtin_acosl": float -> float
59
60
61   "__builtin_alloca": int -> int
62
63
64   "__builtin_asin": float -> float
65
66
67   "__builtin_asinf": float -> float
68
69
70   "__builtin_asinl": float -> float
71
72
73   "__builtin_atan": float -> float
74
75
76   "__builtin_atanf": float -> float
77
78
79   "__builtin_atanl": float -> float
80
81
82   "__builtin_atan2": float -> float -> float
83
84
85   "__builtin_atan2f": float -> float -> float
86
87
88   "__builtin_atan2l": float -> float -> float
89
90
91   "__builtin_ceil": float -> float
92
93
94   "__builtin_ceilf": float -> float
95
96
97   "__builtin_ceill": float -> float
98
99
100   "__builtin_cos": float -> float
101
102
103   "__builtin_cosf": float -> float
104
105
106   "__builtin_cosl": float -> float
107
108
109   "__builtin_cosh": float -> float
110
111
112   "__builtin_coshf": float -> float
113
114
115   "__builtin_coshl": float -> float
116
117
118   "__builtin_clz": int -> int
119
120
121   "__builtin_clzl": int -> int
122
123
124   "__builtin_clzll": int -> int
125
126
127   "__builtin_constant_p": int -> int
128
129
130   "__builtin_ctz": int -> int
131
132
133   "__builtin_ctzl": int -> int
134
135
136   "__builtin_ctzll": int -> int
137
138
139   "__builtin_exp": float -> float
140
141
142   "__builtin_expf": float -> float
143
144
145   "__builtin_expl": float -> float
146
147
148   "__builtin_expect": int -> int -> int
149
150
151   "__builtin_fabs": float -> float
152
153
154   "__builtin_fabsf": float -> float
155
156
157   "__builtin_fabsl": float -> float
158
159
160   "__builtin_ffs": int -> int
161
162
163   "__builtin_ffsl": int -> int
164
165
166   "__builtin_ffsll": int -> int
167
168
169   "__builtin_frame_address": int -> int
170
171
172   "__builtin_floor": float -> float
173
174
175   "__builtin_floorf": float -> float
176
177
178   "__builtin_floorl": float -> float
179
180
181   "__builtin_huge_val": float
182
183
184   "__builtin_huge_valf": float
185
186
187   "__builtin_huge_vall": float
188
189
190   "__builtin_inf": float
191
192
193   "__builtin_inff": float
194
195
196   "__builtin_infl": float
197
198
199   "__builtin_memcpy": int -> int -> int -> int
200
201
202   "__builtin_mempcpy": int -> int -> int -> int
203
204
205   "__builtin_fmod": float -> float
206
207
208   "__builtin_fmodf": float -> float
209
210
211   "__builtin_fmodl": float -> float
212
213
214   "__builtin_frexp": float -> int -> float
215
216
217   "__builtin_frexpf": float -> int -> float
218
219
220   "__builtin_frexpl": float -> int -> float
221
222
223   "__builtin_ldexp": float -> int -> float
224
225
226   "__builtin_ldexpf": float -> int -> float
227
228
229   "__builtin_ldexpl": float -> int -> float
230
231
232   "__builtin_log": float -> float
233
234
235   "__builtin_logf": float -> float
236
237
238   "__builtin_logl": float -> float
239
240
241   "__builtin_log10": float -> float
242
243
244   "__builtin_log10f": float -> float
245
246
247   "__builtin_log10l": float -> float
248
249
250   "__builtin_modff": float -> int -> float
251
252
253   "__builtin_modfl": float -> int -> float
254
255
256   "__builtin_nan": int -> float
257
258
259   "__builtin_nanf": int -> float
260
261
262   "__builtin_nanl": int -> float
263
264
265   "__builtin_nans": int -> float
266
267
268   "__builtin_nansf": int -> float
269
270
271   "__builtin_nansl": int -> float
272
273
274   "__builtin_next_arg": int
275
276
277   "__builtin_object_size": int -> int -> int
278
279
280   "__builtin_parity": int -> int
281
282
283   "__builtin_parityl": int -> int
284
285
286   "__builtin_parityll": int -> int
287
288
289   "__builtin_popcount": int -> int
290
291
292   "__builtin_popcountl": int -> int
293
294
295   "__builtin_popcountll": int -> int
296
297
298   "__builtin_powi": float -> int -> float
299
300
301   "__builtin_powif": float -> int -> float
302
303
304   "__builtin_powil": float -> int -> float
305
306
307   "__builtin_return": int -> void
308
309
310   "__builtin_return_address": int -> int
311
312
313   "__builtin_sin": float -> float
314
315
316   "__builtin_sinf": float -> float
317
318
319   "__builtin_sinl": float -> float
320
321
322   "__builtin_sinh": float -> float
323
324
325   "__builtin_sinhf": float -> float
326
327
328   "__builtin_sinhl": float -> float
329
330
331   "__builtin_sqrt": float -> float
332
333
334   "__builtin_sqrtf": float -> float
335
336
337   "__builtin_sqrtl": float -> float
338
339
340   "__builtin_stpcpy": int -> int -> int
341
342
343   "__builtin_strchr": int -> int -> int
344
345
346   "__builtin_strcmp": int -> int -> int
347
348
349   "__builtin_strcpy": int -> int -> int
350
351
352   "__builtin_strcspn": int -> int -> int
353
354
355   "__builtin_strncat": int -> int -> int -> int
356
357
358   "__builtin_strncmp": int -> int -> int -> int
359
360
361   "__builtin_strncpy": int -> int -> int -> int
362
363
364   "__builtin_strspn": int -> int -> int
365
366
367   "__builtin_strpbrk": int -> int -> int
368
369
370   "__builtin_types_compatible_p": int -> int -> int
371
372
373   "__builtin_tan": float -> float
374
375
376   "__builtin_tanf": float -> float
377
378
379   "__builtin_tanl": float -> float
380
381
382   "__builtin_tanh": float -> float
383
384
385   "__builtin_tanhf": float -> float
386
387
388   "__builtin_tanhl": float -> float
389
390
391   "__builtin_va_end": int -> void
392
393
394   "__builtin_varargs_start": int -> void
395
396
397   "__builtin_va_start": int -> int -> void
398
399
400   "__builtin_stdarg_start": int -> void
401
402
403   "__builtin_va_arg": int -> int -> void
404
405
406   "__builtin_va_copy": int -> int -> void
407
408
409   "init"(): void
410     locals: %0, %1, %2, %3, %4, %5, %6, %7, %8, %9, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23
411     stacksize: 0
412     entry: init43
413     exit: init0
414
415     init9: emit c0 --> init8
416     init8: imm_int 2, %2,  --> init7
417     init7: imm_int 4, %4,  --> init6
418     init6: mul %3, %0, %4 --> init5
419     init5: store int32, add, 0("t6"), %3, %2 --> init4
420     init43: emit c9 --> init42
421     init42: emit c8 --> init41
422     init41: imm_int 0, %0,  --> init1
423     init40: imm_int 0, %21,  --> init39
424     init4: emit c6 --> init3
425     init39: emit c7 --> init38
426     init38: imm_int 16, %23,  --> init37
427     init37: lt %22, %0, %23 --> init36
428     init36: notbool %20, %22 --> init35
429     init35: eq %20, %21 --> init34, init0
430     init34: emit c5 --> init33
431     init33: imm_int 2, %17,  --> init32
432     init32: imm_int 4, %19,  --> init31
433     init31: mul %18, %0, %19 --> init30
434     init30: store int32, add, 0("t1"), %18, %17 --> init29
435     init3: imm_int 1, %1,  --> init2
436     init29: emit c4 --> init28
437     init28: imm_int 2, %14,  --> init27
438     init27: imm_int 4, %16,  --> init26
439     init26: mul %15, %0, %16 --> init25
440     init25: store int32, add, 0("t2"), %15, %14 --> init24
441     init24: emit c3 --> init23
442     init23: imm_int 2, %11,  --> init22
443     init22: imm_int 4, %13,  --> init21
444     init21: mul %12, %0, %13 --> init20
445     init20: store int32, add, 0("t3"), %12, %11 --> init19
446     init2: add %0, %0, %1 --> init1
447     init19: emit c2 --> init18
448     init18: imm_int 2, %8,  --> init17
449     init17: imm_int 4, %10,  --> init16
450     init16: mul %9, %0, %10 --> init15
451     init15: store int32, add, 0("t4"), %9, %8 --> init14
452     init14: emit c1 --> init13
453     init13: imm_int 2, %5,  --> init12
454     init12: imm_int 4, %7,  --> init11
455     init11: mul %6, %0, %7 --> init10
456     init10: store int32, add, 0("t5"), %6, %5 --> init9
457     init1: --> init40
458     init0: return
459
460
461   "comp_fir_complexe"(%0, %1, %2, %3, %4, %5, %6): int -> int -> int -> int -> int -> int -> int -> int
462     locals: %17, %7, %8, %9, %10, %11, %12, %13, %14, %15, %16, %18, %19, %20, %21, %22, %23, %24, %25, %26, %27, %28, %29, %30, %31, %32, %33, %34, %35, %36, %37, %38, %39, %40, %41, %42, %43, %44, %45, %46, %47, %48, %49, %50, %51, %52, %53, %54, %55, %56, %57, %58, %59, %60, %61, %62, %63, %64, %65, %66, %67, %68, %69, %70, %71, %72, %73, %74, %75, %76, %77, %78, %79, %80, %81, %82, %83, %84, %85, %86, %87
463     result: %17
464     stacksize: 128
465     entry: comp_fir_complexe130
466     exit: comp_fir_complexe0
467
468     comp_fir_complexe99: emit c30 --> comp_fir_complexe98
469     comp_fir_complexe98: emit c29 --> comp_fir_complexe97
470     comp_fir_complexe97: imm_int 0, %11,  --> comp_fir_complexe3
471     comp_fir_complexe96: imm_int 0, %73,  --> comp_fir_complexe95
472     comp_fir_complexe95: emit c28 --> comp_fir_complexe94
473     comp_fir_complexe94: lt %74, %11, %6 --> comp_fir_complexe93
474     comp_fir_complexe93: notbool %72, %74 --> comp_fir_complexe92
475     comp_fir_complexe92: eq %72, %73 --> comp_fir_complexe91, comp_fir_complexe2
476     comp_fir_complexe91: emit c26 --> comp_fir_complexe90
477     comp_fir_complexe90: imm_int 4, %71,  --> comp_fir_complexe89
478     comp_fir_complexe9: imm_int 4, %20,  --> comp_fir_complexe8
479     comp_fir_complexe89: mul %70, %11, %71 --> comp_fir_complexe88
480     comp_fir_complexe88: load int32, add, %0, %70, %66 --> comp_fir_complexe87
481     comp_fir_complexe87: imm_addr 0($sp), %67,  --> comp_fir_complexe86
482     comp_fir_complexe86: imm_int 4, %69,  --> comp_fir_complexe85
483     comp_fir_complexe85: mul %68, %16, %69 --> comp_fir_complexe84
484     comp_fir_complexe84: store int32, add, %67, %68, %66 --> comp_fir_complexe83
485     comp_fir_complexe83: emit c25 --> comp_fir_complexe82
486     comp_fir_complexe82: imm_int 4, %65,  --> comp_fir_complexe81
487     comp_fir_complexe81: mul %64, %11, %65 --> comp_fir_complexe80
488     comp_fir_complexe80: load int32, add, %1, %64, %60 --> comp_fir_complexe79
489     comp_fir_complexe8: mul %19, %11, %20 --> comp_fir_complexe7
490     comp_fir_complexe79: imm_addr 64($sp), %61,  --> comp_fir_complexe78
491     comp_fir_complexe78: imm_int 4, %63,  --> comp_fir_complexe77
492     comp_fir_complexe77: mul %62, %16, %63 --> comp_fir_complexe76
493     comp_fir_complexe76: store int32, add, %61, %62, %60 --> comp_fir_complexe75
494     comp_fir_complexe75: emit c24 --> comp_fir_complexe74
495     comp_fir_complexe74: emit c23 --> comp_fir_complexe73
496     comp_fir_complexe73: imm_int 0, %12,  --> comp_fir_complexe20
497     comp_fir_complexe72: imm_int 0, %57,  --> comp_fir_complexe71
498     comp_fir_complexe71: emit c22 --> comp_fir_complexe70
499     comp_fir_complexe70: imm_int 16, %59,  --> comp_fir_complexe69
500     comp_fir_complexe7: store int32, add, %5, %19, %7 --> comp_fir_complexe6
501     comp_fir_complexe69: lt %58, %12, %59 --> comp_fir_complexe68
502     comp_fir_complexe68: notbool %56, %58 --> comp_fir_complexe67
503     comp_fir_complexe67: eq %56, %57 --> comp_fir_complexe66, comp_fir_complexe19
504     comp_fir_complexe66: emit c20 --> comp_fir_complexe65
505     comp_fir_complexe65: imm_addr 0($sp), %53,  --> comp_fir_complexe64
506     comp_fir_complexe64: imm_int 4, %55,  --> comp_fir_complexe63
507     comp_fir_complexe63: mul %54, %16, %55 --> comp_fir_complexe62
508     comp_fir_complexe62: load int32, add, %53, %54, %15 --> comp_fir_complexe61
509     comp_fir_complexe61: emit c19 --> comp_fir_complexe60
510     comp_fir_complexe60: imm_addr 64($sp), %50,  --> comp_fir_complexe59
511     comp_fir_complexe6: emit c27 --> comp_fir_complexe5
512     comp_fir_complexe59: imm_int 4, %52,  --> comp_fir_complexe58
513     comp_fir_complexe58: mul %51, %16, %52 --> comp_fir_complexe57
514     comp_fir_complexe57: load int32, add, %50, %51, %9 --> comp_fir_complexe56
515     comp_fir_complexe56: emit c18 --> comp_fir_complexe55
516     comp_fir_complexe55: imm_int 4, %49,  --> comp_fir_complexe54
517     comp_fir_complexe54: mul %48, %12, %49 --> comp_fir_complexe53
518     comp_fir_complexe53: load int32, add, %2, %48, %47 --> comp_fir_complexe52
519     comp_fir_complexe52: mul %42, %15, %47 --> comp_fir_complexe51
520     comp_fir_complexe51: imm_int 4, %46,  --> comp_fir_complexe50
521     comp_fir_complexe50: mul %45, %12, %46 --> comp_fir_complexe49
522     comp_fir_complexe5: imm_int 1, %18,  --> comp_fir_complexe4
523     comp_fir_complexe49: load int32, add, %3, %45, %44 --> comp_fir_complexe48
524     comp_fir_complexe48: mul %43, %9, %44 --> comp_fir_complexe47
525     comp_fir_complexe47: sub %40, %42, %43 --> comp_fir_complexe46
526     comp_fir_complexe46: imm_int 4, %41,  --> comp_fir_complexe45
527     comp_fir_complexe45: shr %10, %40, %41 --> comp_fir_complexe44
528     comp_fir_complexe44: emit c17 --> comp_fir_complexe43
529     comp_fir_complexe43: imm_int 4, %39,  --> comp_fir_complexe42
530     comp_fir_complexe42: mul %38, %12, %39 --> comp_fir_complexe41
531     comp_fir_complexe41: load int32, add, %3, %38, %37 --> comp_fir_complexe40
532     comp_fir_complexe40: mul %32, %15, %37 --> comp_fir_complexe39
533     comp_fir_complexe4: add %11, %11, %18 --> comp_fir_complexe3
534     comp_fir_complexe39: imm_int 4, %36,  --> comp_fir_complexe38
535     comp_fir_complexe38: mul %35, %12, %36 --> comp_fir_complexe37
536     comp_fir_complexe37: load int32, add, %2, %35, %34 --> comp_fir_complexe36
537     comp_fir_complexe36: mul %33, %9, %34 --> comp_fir_complexe35
538     comp_fir_complexe35: add %30, %32, %33 --> comp_fir_complexe34
539     comp_fir_complexe34: imm_int 4, %31,  --> comp_fir_complexe33
540     comp_fir_complexe33: shr %14, %30, %31 --> comp_fir_complexe32
541     comp_fir_complexe32: emit c16 --> comp_fir_complexe31
542     comp_fir_complexe31: add %13, %13, %10 --> comp_fir_complexe30
543     comp_fir_complexe30: emit c15 --> comp_fir_complexe29
544     comp_fir_complexe3: --> comp_fir_complexe96
545     comp_fir_complexe29: add %7, %7, %14 --> comp_fir_complexe28
546     comp_fir_complexe28: emit c14 --> comp_fir_complexe27
547     comp_fir_complexe27: imm_int 1, %29,  --> comp_fir_complexe26
548     comp_fir_complexe26: add %27, %16, %29 --> comp_fir_complexe25
549     comp_fir_complexe25: imm_int 16, %28,  --> comp_fir_complexe24
550     comp_fir_complexe24: mod %16, %27, %28 --> comp_fir_complexe23
551     comp_fir_complexe23: emit c21 --> comp_fir_complexe22
552     comp_fir_complexe22: imm_int 1, %26,  --> comp_fir_complexe21
553     comp_fir_complexe21: add %12, %12, %26 --> comp_fir_complexe20
554     comp_fir_complexe20: --> comp_fir_complexe72
555     comp_fir_complexe2: emit c10 --> comp_fir_complexe1
556     comp_fir_complexe19: emit c13 --> comp_fir_complexe18
557     comp_fir_complexe18: imm_int 1, %25,  --> comp_fir_complexe17
558     comp_fir_complexe17: add %23, %16, %25 --> comp_fir_complexe16
559     comp_fir_complexe16: imm_int 16, %24,  --> comp_fir_complexe15
560     comp_fir_complexe15: mod %16, %23, %24 --> comp_fir_complexe14
561     comp_fir_complexe14: emit c12 --> comp_fir_complexe13
562     comp_fir_complexe130: emit c39 --> comp_fir_complexe129
563     comp_fir_complexe13: imm_int 4, %22,  --> comp_fir_complexe12
564     comp_fir_complexe129: emit c38 --> comp_fir_complexe128
565     comp_fir_complexe128: imm_int 0, %8,  --> comp_fir_complexe106
566     comp_fir_complexe127: imm_int 0, %85,  --> comp_fir_complexe126
567     comp_fir_complexe126: emit c37 --> comp_fir_complexe125
568     comp_fir_complexe125: imm_int 16, %87,  --> comp_fir_complexe124
569     comp_fir_complexe124: lt %86, %8, %87 --> comp_fir_complexe123
570     comp_fir_complexe123: notbool %84, %86 --> comp_fir_complexe122
571     comp_fir_complexe122: eq %84, %85 --> comp_fir_complexe121, comp_fir_complexe105
572     comp_fir_complexe121: emit c35 --> comp_fir_complexe120
573     comp_fir_complexe120: imm_int 0, %80,  --> comp_fir_complexe119
574     comp_fir_complexe12: mul %21, %11, %22 --> comp_fir_complexe11
575     comp_fir_complexe119: imm_addr 0($sp), %81,  --> comp_fir_complexe118
576     comp_fir_complexe118: imm_int 4, %83,  --> comp_fir_complexe117
577     comp_fir_complexe117: mul %82, %8, %83 --> comp_fir_complexe116
578     comp_fir_complexe116: store int32, add, %81, %82, %80 --> comp_fir_complexe115
579     comp_fir_complexe115: emit c34 --> comp_fir_complexe114
580     comp_fir_complexe114: imm_int 0, %76,  --> comp_fir_complexe113
581     comp_fir_complexe113: imm_addr 64($sp), %77,  --> comp_fir_complexe112
582     comp_fir_complexe112: imm_int 4, %79,  --> comp_fir_complexe111
583     comp_fir_complexe111: mul %78, %8, %79 --> comp_fir_complexe110
584     comp_fir_complexe110: store int32, add, %77, %78, %76 --> comp_fir_complexe109
585     comp_fir_complexe11: store int32, add, %4, %21, %13 --> comp_fir_complexe10
586     comp_fir_complexe109: emit c36 --> comp_fir_complexe108
587     comp_fir_complexe108: imm_int 1, %75,  --> comp_fir_complexe107
588     comp_fir_complexe107: add %8, %8, %75 --> comp_fir_complexe106
589     comp_fir_complexe106: --> comp_fir_complexe127
590     comp_fir_complexe105: emit c33 --> comp_fir_complexe104
591     comp_fir_complexe104: imm_int 0, %16,  --> comp_fir_complexe103
592     comp_fir_complexe103: emit c32 --> comp_fir_complexe102
593     comp_fir_complexe102: imm_int 0, %13,  --> comp_fir_complexe101
594     comp_fir_complexe101: emit c31 --> comp_fir_complexe100
595     comp_fir_complexe100: imm_int 0, %7,  --> comp_fir_complexe99
596     comp_fir_complexe10: emit c11 --> comp_fir_complexe9
597     comp_fir_complexe1: imm_int 0, %17,  --> comp_fir_complexe0
598     comp_fir_complexe0: return %17
599
600
601   "main"(): int
602     locals: %1, %0, %2, %3, %4, %5, %6, %7, %8, %9
603     result: %1
604     stacksize: 0
605     entry: main13
606     exit: main0
607
608     main9: imm_addr "t2", %3,  --> main8
609     main8: imm_addr "t3", %4,  --> main7
610     main7: imm_addr "t4", %5,  --> main6
611     main6: imm_addr "t5", %6,  --> main5
612     main5: imm_addr "t6", %7,  --> main4
613     main4: imm_int 16, %8,  --> main3
614     main3: call "comp_fir_complexe", %2, %3, %4, %5, %6, %7, %8, %0: int -> int -> int -> int -> int -> int -> int -> int --> main2
615     main2: emit c40 --> main1
616     main13: emit c42 --> main12
617     main12: call "init", , %9: void --> main11
618     main11: emit c41 --> main10
619     main10: imm_addr "t1", %2,  --> main9
620     main1: mov %1, %0 --> main0
621     main0: return %1
622
623