]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_boucle.Clight.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / testTB_boucle.Clight.expected
1 int t1[5] = { 1, 2, 3, 5, 8, };
2
3 int t2[5] = { 13, 21, 34, 55, 89, };
4
5 extern void *__builtin___memcpy_chk(void *, void *, unsigned int, unsigned int);
6
7 extern void *__builtin___memmove_chk(void *, void *, unsigned int, unsigned int);
8
9 extern void *__builtin___mempcpy_chk(void *, void *, unsigned int, unsigned int);
10
11 extern void *__builtin___memset_chk(void *, int, unsigned int, unsigned int);
12
13 extern unsigned char *__builtin___stpcpy_chk(unsigned char *, unsigned char *, unsigned int);
14
15 extern unsigned char *__builtin___strcat_chk(unsigned char *, unsigned char *, unsigned int);
16
17 extern unsigned char *__builtin___strcpy_chk(unsigned char *, unsigned char *, unsigned int);
18
19 extern unsigned char *__builtin___strncat_chk(unsigned char *, unsigned char *, unsigned int, unsigned int);
20
21 extern unsigned char *__builtin___strncpy_chk(unsigned char *, unsigned char *, unsigned int, unsigned int);
22
23 extern int __builtin___vfprintf_chk(void *, int, unsigned char *, void *);
24
25 extern int __builtin___vprintf_chk(int, unsigned char *, void *);
26
27 extern int __builtin___vsnprintf_chk(unsigned char *, unsigned int, int, unsigned int, unsigned char *, void *);
28
29 extern int __builtin___vsprintf_chk(unsigned char *, int, unsigned int, unsigned char *, void *);
30
31 extern double __builtin_acos(double);
32
33 extern float __builtin_acosf(float);
34
35 extern double __builtin_acosl(double);
36
37 extern void *__builtin_alloca(unsigned int);
38
39 extern double __builtin_asin(double);
40
41 extern float __builtin_asinf(float);
42
43 extern double __builtin_asinl(double);
44
45 extern double __builtin_atan(double);
46
47 extern float __builtin_atanf(float);
48
49 extern double __builtin_atanl(double);
50
51 extern double __builtin_atan2(double, double);
52
53 extern float __builtin_atan2f(float, float);
54
55 extern double __builtin_atan2l(double, double);
56
57 extern double __builtin_ceil(double);
58
59 extern float __builtin_ceilf(float);
60
61 extern double __builtin_ceill(double);
62
63 extern double __builtin_cos(double);
64
65 extern float __builtin_cosf(float);
66
67 extern double __builtin_cosl(double);
68
69 extern double __builtin_cosh(double);
70
71 extern float __builtin_coshf(float);
72
73 extern double __builtin_coshl(double);
74
75 extern int __builtin_clz(unsigned int);
76
77 extern int __builtin_clzl(unsigned int);
78
79 extern int __builtin_clzll(unsigned int);
80
81 extern int __builtin_constant_p(int);
82
83 extern int __builtin_ctz(unsigned int);
84
85 extern int __builtin_ctzl(unsigned int);
86
87 extern int __builtin_ctzll(unsigned int);
88
89 extern double __builtin_exp(double);
90
91 extern float __builtin_expf(float);
92
93 extern double __builtin_expl(double);
94
95 extern int __builtin_expect(int, int);
96
97 extern double __builtin_fabs(double);
98
99 extern float __builtin_fabsf(float);
100
101 extern double __builtin_fabsl(double);
102
103 extern int __builtin_ffs(unsigned int);
104
105 extern int __builtin_ffsl(unsigned int);
106
107 extern int __builtin_ffsll(unsigned int);
108
109 extern void *__builtin_frame_address(unsigned int);
110
111 extern double __builtin_floor(double);
112
113 extern float __builtin_floorf(float);
114
115 extern double __builtin_floorl(double);
116
117 extern double __builtin_huge_val(void);
118
119 extern float __builtin_huge_valf(void);
120
121 extern double __builtin_huge_vall(void);
122
123 extern double __builtin_inf(void);
124
125 extern float __builtin_inff(void);
126
127 extern double __builtin_infl(void);
128
129 extern void *__builtin_memcpy(void *, void *, unsigned int);
130
131 extern void *__builtin_mempcpy(void *, void *, unsigned int);
132
133 extern double __builtin_fmod(double);
134
135 extern float __builtin_fmodf(float);
136
137 extern double __builtin_fmodl(double);
138
139 extern double __builtin_frexp(double, int *);
140
141 extern float __builtin_frexpf(float, int *);
142
143 extern double __builtin_frexpl(double, int *);
144
145 extern double __builtin_ldexp(double, int);
146
147 extern float __builtin_ldexpf(float, int);
148
149 extern double __builtin_ldexpl(double, int);
150
151 extern double __builtin_log(double);
152
153 extern float __builtin_logf(float);
154
155 extern double __builtin_logl(double);
156
157 extern double __builtin_log10(double);
158
159 extern float __builtin_log10f(float);
160
161 extern double __builtin_log10l(double);
162
163 extern float __builtin_modff(float, float *);
164
165 extern double __builtin_modfl(double, double *);
166
167 extern double __builtin_nan(unsigned char *);
168
169 extern float __builtin_nanf(unsigned char *);
170
171 extern double __builtin_nanl(unsigned char *);
172
173 extern double __builtin_nans(unsigned char *);
174
175 extern float __builtin_nansf(unsigned char *);
176
177 extern double __builtin_nansl(unsigned char *);
178
179 extern void *__builtin_next_arg(void);
180
181 extern unsigned int __builtin_object_size(void *, int);
182
183 extern int __builtin_parity(unsigned int);
184
185 extern int __builtin_parityl(unsigned int);
186
187 extern int __builtin_parityll(unsigned int);
188
189 extern int __builtin_popcount(unsigned int);
190
191 extern int __builtin_popcountl(unsigned int);
192
193 extern int __builtin_popcountll(unsigned int);
194
195 extern double __builtin_powi(double, int);
196
197 extern float __builtin_powif(float, int);
198
199 extern double __builtin_powil(double, int);
200
201 extern void __builtin_return(void *);
202
203 extern void *__builtin_return_address(unsigned int);
204
205 extern double __builtin_sin(double);
206
207 extern float __builtin_sinf(float);
208
209 extern double __builtin_sinl(double);
210
211 extern double __builtin_sinh(double);
212
213 extern float __builtin_sinhf(float);
214
215 extern double __builtin_sinhl(double);
216
217 extern double __builtin_sqrt(double);
218
219 extern float __builtin_sqrtf(float);
220
221 extern double __builtin_sqrtl(double);
222
223 extern unsigned char *__builtin_stpcpy(unsigned char *, unsigned char *);
224
225 extern unsigned char *__builtin_strchr(unsigned char *, unsigned char);
226
227 extern int __builtin_strcmp(unsigned char *, unsigned char *);
228
229 extern unsigned char *__builtin_strcpy(unsigned char *, unsigned char *);
230
231 extern unsigned int __builtin_strcspn(unsigned char *, unsigned char *);
232
233 extern unsigned char *__builtin_strncat(unsigned char *, unsigned char *, unsigned int);
234
235 extern int __builtin_strncmp(unsigned char *, unsigned char *, unsigned int);
236
237 extern unsigned char *__builtin_strncpy(unsigned char *, unsigned char *, unsigned int);
238
239 extern int __builtin_strspn(unsigned char *, unsigned char *);
240
241 extern unsigned char *__builtin_strpbrk(unsigned char *, unsigned char *);
242
243 extern int __builtin_types_compatible_p(unsigned int, unsigned int);
244
245 extern double __builtin_tan(double);
246
247 extern float __builtin_tanf(float);
248
249 extern double __builtin_tanl(double);
250
251 extern double __builtin_tanh(double);
252
253 extern float __builtin_tanhf(float);
254
255 extern double __builtin_tanhl(double);
256
257 extern void __builtin_va_end(void *);
258
259 extern void __builtin_varargs_start(void *);
260
261 extern void __builtin_va_start(void *, void *);
262
263 extern void __builtin_stdarg_start(void *);
264
265 extern void __builtin_va_arg(void *, unsigned int);
266
267 extern void __builtin_va_copy(void *, void *);
268
269 void TB_Boucle(int *tabEntree1, int *tabEntree2, int *tabSortie, int size)
270 {
271   int i;
272   c4:
273   for (({ c3: i = 0; }); (/* c2 */ i < size); ({ c1: i = i + 1; })) {
274     c0:
275     tabSortie[i] = tabEntree1[i] + tabEntree2[i];
276   }
277 }
278
279 int main(void)
280 {
281   int out[5];
282   c11:
283   out[0] = 0;
284   c10:
285   out[1] = 0;
286   c9:
287   out[2] = 0;
288   c8:
289   out[3] = 0;
290   c7:
291   out[4] = 0;
292   c6:
293   TB_Boucle(t1, t2, out, 5);
294   c5:
295   return out[4];
296 }
297
298