]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/fir_complexe.Cminor.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / fir_complexe.Cminor.expected
1
2 var "t1" {[64]}
3 var "t2" {[64]}
4 var "t3" {[64]}
5 var "t4" {[64]}
6 var "t5" {[64]}
7 var "t6" {[64]}
8
9
10 extern "__builtin___memcpy_chk" : int -> int -> int -> int -> int
11
12
13 extern "__builtin___memmove_chk" : int -> int -> int -> int -> int
14
15
16 extern "__builtin___mempcpy_chk" : int -> int -> int -> int -> int
17
18
19 extern "__builtin___memset_chk" : int -> int -> int -> int -> int
20
21
22 extern "__builtin___stpcpy_chk" : int -> int -> int -> int
23
24
25 extern "__builtin___strcat_chk" : int -> int -> int -> int
26
27
28 extern "__builtin___strcpy_chk" : int -> int -> int -> int
29
30
31 extern "__builtin___strncat_chk" : int -> int -> int -> int -> int
32
33
34 extern "__builtin___strncpy_chk" : int -> int -> int -> int -> int
35
36
37 extern "__builtin___vfprintf_chk" : int -> int -> int -> int -> int
38
39
40 extern "__builtin___vprintf_chk" : int -> int -> int -> int
41
42
43 extern "__builtin___vsnprintf_chk" : int -> int -> int -> int -> int -> int -> int
44
45
46 extern "__builtin___vsprintf_chk" : int -> int -> int -> int -> int -> int
47
48
49 extern "__builtin_acos" : float -> float
50
51
52 extern "__builtin_acosf" : float -> float
53
54
55 extern "__builtin_acosl" : float -> float
56
57
58 extern "__builtin_alloca" : int -> int
59
60
61 extern "__builtin_asin" : float -> float
62
63
64 extern "__builtin_asinf" : float -> float
65
66
67 extern "__builtin_asinl" : float -> float
68
69
70 extern "__builtin_atan" : float -> float
71
72
73 extern "__builtin_atanf" : float -> float
74
75
76 extern "__builtin_atanl" : float -> float
77
78
79 extern "__builtin_atan2" : float -> float -> float
80
81
82 extern "__builtin_atan2f" : float -> float -> float
83
84
85 extern "__builtin_atan2l" : float -> float -> float
86
87
88 extern "__builtin_ceil" : float -> float
89
90
91 extern "__builtin_ceilf" : float -> float
92
93
94 extern "__builtin_ceill" : float -> float
95
96
97 extern "__builtin_cos" : float -> float
98
99
100 extern "__builtin_cosf" : float -> float
101
102
103 extern "__builtin_cosl" : float -> float
104
105
106 extern "__builtin_cosh" : float -> float
107
108
109 extern "__builtin_coshf" : float -> float
110
111
112 extern "__builtin_coshl" : float -> float
113
114
115 extern "__builtin_clz" : int -> int
116
117
118 extern "__builtin_clzl" : int -> int
119
120
121 extern "__builtin_clzll" : int -> int
122
123
124 extern "__builtin_constant_p" : int -> int
125
126
127 extern "__builtin_ctz" : int -> int
128
129
130 extern "__builtin_ctzl" : int -> int
131
132
133 extern "__builtin_ctzll" : int -> int
134
135
136 extern "__builtin_exp" : float -> float
137
138
139 extern "__builtin_expf" : float -> float
140
141
142 extern "__builtin_expl" : float -> float
143
144
145 extern "__builtin_expect" : int -> int -> int
146
147
148 extern "__builtin_fabs" : float -> float
149
150
151 extern "__builtin_fabsf" : float -> float
152
153
154 extern "__builtin_fabsl" : float -> float
155
156
157 extern "__builtin_ffs" : int -> int
158
159
160 extern "__builtin_ffsl" : int -> int
161
162
163 extern "__builtin_ffsll" : int -> int
164
165
166 extern "__builtin_frame_address" : int -> int
167
168
169 extern "__builtin_floor" : float -> float
170
171
172 extern "__builtin_floorf" : float -> float
173
174
175 extern "__builtin_floorl" : float -> float
176
177
178 extern "__builtin_huge_val" : float
179
180
181 extern "__builtin_huge_valf" : float
182
183
184 extern "__builtin_huge_vall" : float
185
186
187 extern "__builtin_inf" : float
188
189
190 extern "__builtin_inff" : float
191
192
193 extern "__builtin_infl" : float
194
195
196 extern "__builtin_memcpy" : int -> int -> int -> int
197
198
199 extern "__builtin_mempcpy" : int -> int -> int -> int
200
201
202 extern "__builtin_fmod" : float -> float
203
204
205 extern "__builtin_fmodf" : float -> float
206
207
208 extern "__builtin_fmodl" : float -> float
209
210
211 extern "__builtin_frexp" : float -> int -> float
212
213
214 extern "__builtin_frexpf" : float -> int -> float
215
216
217 extern "__builtin_frexpl" : float -> int -> float
218
219
220 extern "__builtin_ldexp" : float -> int -> float
221
222
223 extern "__builtin_ldexpf" : float -> int -> float
224
225
226 extern "__builtin_ldexpl" : float -> int -> float
227
228
229 extern "__builtin_log" : float -> float
230
231
232 extern "__builtin_logf" : float -> float
233
234
235 extern "__builtin_logl" : float -> float
236
237
238 extern "__builtin_log10" : float -> float
239
240
241 extern "__builtin_log10f" : float -> float
242
243
244 extern "__builtin_log10l" : float -> float
245
246
247 extern "__builtin_modff" : float -> int -> float
248
249
250 extern "__builtin_modfl" : float -> int -> float
251
252
253 extern "__builtin_nan" : int -> float
254
255
256 extern "__builtin_nanf" : int -> float
257
258
259 extern "__builtin_nanl" : int -> float
260
261
262 extern "__builtin_nans" : int -> float
263
264
265 extern "__builtin_nansf" : int -> float
266
267
268 extern "__builtin_nansl" : int -> float
269
270
271 extern "__builtin_next_arg" : int
272
273
274 extern "__builtin_object_size" : int -> int -> int
275
276
277 extern "__builtin_parity" : int -> int
278
279
280 extern "__builtin_parityl" : int -> int
281
282
283 extern "__builtin_parityll" : int -> int
284
285
286 extern "__builtin_popcount" : int -> int
287
288
289 extern "__builtin_popcountl" : int -> int
290
291
292 extern "__builtin_popcountll" : int -> int
293
294
295 extern "__builtin_powi" : float -> int -> float
296
297
298 extern "__builtin_powif" : float -> int -> float
299
300
301 extern "__builtin_powil" : float -> int -> float
302
303
304 extern "__builtin_return" : int -> void
305
306
307 extern "__builtin_return_address" : int -> int
308
309
310 extern "__builtin_sin" : float -> float
311
312
313 extern "__builtin_sinf" : float -> float
314
315
316 extern "__builtin_sinl" : float -> float
317
318
319 extern "__builtin_sinh" : float -> float
320
321
322 extern "__builtin_sinhf" : float -> float
323
324
325 extern "__builtin_sinhl" : float -> float
326
327
328 extern "__builtin_sqrt" : float -> float
329
330
331 extern "__builtin_sqrtf" : float -> float
332
333
334 extern "__builtin_sqrtl" : float -> float
335
336
337 extern "__builtin_stpcpy" : int -> int -> int
338
339
340 extern "__builtin_strchr" : int -> int -> int
341
342
343 extern "__builtin_strcmp" : int -> int -> int
344
345
346 extern "__builtin_strcpy" : int -> int -> int
347
348
349 extern "__builtin_strcspn" : int -> int -> int
350
351
352 extern "__builtin_strncat" : int -> int -> int -> int
353
354
355 extern "__builtin_strncmp" : int -> int -> int -> int
356
357
358 extern "__builtin_strncpy" : int -> int -> int -> int
359
360
361 extern "__builtin_strspn" : int -> int -> int
362
363
364 extern "__builtin_strpbrk" : int -> int -> int
365
366
367 extern "__builtin_types_compatible_p" : int -> int -> int
368
369
370 extern "__builtin_tan" : float -> float
371
372
373 extern "__builtin_tanf" : float -> float
374
375
376 extern "__builtin_tanl" : float -> float
377
378
379 extern "__builtin_tanh" : float -> float
380
381
382 extern "__builtin_tanhf" : float -> float
383
384
385 extern "__builtin_tanhl" : float -> float
386
387
388 extern "__builtin_va_end" : int -> void
389
390
391 extern "__builtin_varargs_start" : int -> void
392
393
394 extern "__builtin_va_start" : int -> int -> void
395
396
397 extern "__builtin_stdarg_start" : int -> void
398
399
400 extern "__builtin_va_arg" : int -> int -> void
401
402
403 extern "__builtin_va_copy" : int -> int -> void
404
405
406 "init" () : void {
407
408   stack 0;
409
410   var i;
411
412   c9:
413   c8:
414   i = 0;
415   block {
416     loop {
417       if (!(/* c7 */ i < 16)) {
418         exit 0;
419       }
420       else {
421       }
422       block {
423         c5:
424         int32["t1" + (i * 4)] = 2;
425         c4:
426         int32["t2" + (i * 4)] = 2;
427         c3:
428         int32["t3" + (i * 4)] = 2;
429         c2:
430         int32["t4" + (i * 4)] = 2;
431         c1:
432         int32["t5" + (i * 4)] = 2;
433         c0:
434         int32["t6" + (i * 4)] = 2;
435       }
436       c6:
437       i = i + 1;
438     }
439   }
440
441 }
442
443
444 "comp_fir_complexe" (in_re, in_im, c_re, c_im, out_re, out_im, size) : int -> int -> int -> int -> int -> int -> int -> int {
445
446   stack 128;
447
448   var res_im, ii, tmp_x_im, tmp_re, j, i, res_re, tmp_im, tmp_x_re, adx;
449
450   c39:
451   c38:
452   ii = 0;
453   block {
454     loop {
455       if (!(/* c37 */ ii < 16)) {
456         exit 0;
457       }
458       else {
459       }
460       block {
461         c35:
462         int32[&0 + (ii * 4)] = 0;
463         c34:
464         int32[&64 + (ii * 4)] = 0;
465       }
466       c36:
467       ii = ii + 1;
468     }
469   }
470   c33:
471   adx = 0;
472   c32:
473   res_re = 0;
474   c31:
475   res_im = 0;
476   c30:
477   c29:
478   j = 0;
479   block {
480     loop {
481       if (!(/* c28 */ j < size)) {
482         exit 0;
483       }
484       else {
485       }
486       block {
487         c26:
488         int32[&0 + (adx * 4)] = int32[in_re + (j * 4)];
489         c25:
490         int32[&64 + (adx * 4)] = int32[in_im + (j * 4)];
491         c24:
492         c23:
493         i = 0;
494         block {
495           loop {
496             if (!(/* c22 */ i < 16)) {
497               exit 0;
498             }
499             else {
500             }
501             block {
502               c20:
503               tmp_x_re = int32[&0 + (adx * 4)];
504               c19:
505               tmp_x_im = int32[&64 + (adx * 4)];
506               c18:
507               tmp_re = ((tmp_x_re * int32[c_re + (i * 4)]) - (tmp_x_im * int32[c_im + (i * 4)])) >> 4;
508               c17:
509               tmp_im = ((tmp_x_re * int32[c_im + (i * 4)]) + (tmp_x_im * int32[c_re + (i * 4)])) >> 4;
510               c16:
511               res_re = res_re + tmp_re;
512               c15:
513               res_im = res_im + tmp_im;
514               c14:
515               adx = (adx + 1) % 16;
516             }
517             c21:
518             i = i + 1;
519           }
520         }
521         c13:
522         adx = (adx + 1) % 16;
523         c12:
524         int32[out_re + (j * 4)] = res_re;
525         c11:
526         int32[out_im + (j * 4)] = res_im;
527       }
528       c27:
529       j = j + 1;
530     }
531   }
532   c10:
533   return 0;
534
535 }
536
537
538 "main" () : int {
539
540   stack 0;
541
542   var t;
543
544   c42:
545   "init"() : void;
546   c41:
547   t = "comp_fir_complexe"("t1", "t2", "t3", "t4", "t5", "t6", 16) : int -> int -> int -> int -> int -> int -> int -> int;
548   c40:
549   return t;
550
551 }
552
553