]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_Array_lecture.RTLabs.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / testTB_Array_lecture.RTLabs.expected
1 program: (main function is "main")
2
3
4   globals:
5     "t" = {1, 2, 3, 5, 8}
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_lecture"(%0, %1, %2): int -> int -> int -> int
405     locals: %5, %3, %4, %6, %7, %8, %9
406     result: %5
407     stacksize: 0
408     entry: array_lecture10
409     exit: array_lecture0
410
411     array_lecture9: imm_int 4, %9,  --> array_lecture8
412     array_lecture8: mul %8, %1, %9 --> array_lecture7
413     array_lecture7: load int32, add, %0, %8, %4 --> array_lecture6
414     array_lecture6: emit c1 --> array_lecture5
415     array_lecture5: imm_int 4, %7,  --> array_lecture4
416     array_lecture4: mul %6, %2, %7 --> array_lecture3
417     array_lecture3: load int32, add, %0, %6, %3 --> array_lecture2
418     array_lecture2: emit c0 --> array_lecture1
419     array_lecture10: emit c2 --> array_lecture9
420     array_lecture1: add %5, %4, %3 --> array_lecture0
421     array_lecture0: return %5
422
423
424   "main"(): int
425     locals: %1, %0, %2, %3, %4, %5, %6, %7, %8, %9
426     result: %1
427     stacksize: 0
428     entry: main17
429     exit: main0
430
431     main9: imm_int 8, %5,  --> main8
432     main8: store int32, 16("t"), , %5 --> main7
433     main7: emit c4 --> main6
434     main6: imm_addr "t", %2,  --> main5
435     main5: imm_int 0, %3,  --> main4
436     main4: imm_int 4, %4,  --> main3
437     main3: call "array_lecture", %2, %3, %4, %0: int -> int -> int -> int --> main2
438     main2: emit c3 --> main1
439     main17: imm_int 1, %9,  --> main16
440     main16: store int32, 0("t"), , %9 --> main15
441     main15: imm_int 2, %8,  --> main14
442     main14: store int32, 4("t"), , %8 --> main13
443     main13: imm_int 3, %7,  --> main12
444     main12: store int32, 8("t"), , %7 --> main11
445     main11: imm_int 5, %6,  --> main10
446     main10: store int32, 12("t"), , %6 --> main9
447     main1: mov %1, %0 --> main0
448     main0: return %1
449
450