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