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