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