]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_Array_LE.RTLabs.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / testTB_Array_LE.RTLabs.expected
1 program: (main function is "main")
2
3
4   globals:
5
6
7   "__builtin___memcpy_chk": int -> int -> int -> int -> int
8
9
10   "__builtin___memmove_chk": int -> int -> int -> int -> int
11
12
13   "__builtin___mempcpy_chk": int -> int -> int -> int -> int
14
15
16   "__builtin___memset_chk": int -> int -> int -> int -> int
17
18
19   "__builtin___stpcpy_chk": int -> int -> int -> int
20
21
22   "__builtin___strcat_chk": int -> int -> int -> int
23
24
25   "__builtin___strcpy_chk": int -> int -> int -> int
26
27
28   "__builtin___strncat_chk": int -> int -> int -> int -> int
29
30
31   "__builtin___strncpy_chk": int -> int -> int -> int -> int
32
33
34   "__builtin___vfprintf_chk": int -> int -> int -> int -> int
35
36
37   "__builtin___vprintf_chk": int -> int -> int -> int
38
39
40   "__builtin___vsnprintf_chk": int -> int -> int -> int -> int -> int -> int
41
42
43   "__builtin___vsprintf_chk": int -> int -> int -> int -> int -> int
44
45
46   "__builtin_acos": float -> float
47
48
49   "__builtin_acosf": float -> float
50
51
52   "__builtin_acosl": float -> float
53
54
55   "__builtin_alloca": int -> int
56
57
58   "__builtin_asin": float -> float
59
60
61   "__builtin_asinf": float -> float
62
63
64   "__builtin_asinl": float -> float
65
66
67   "__builtin_atan": float -> float
68
69
70   "__builtin_atanf": float -> float
71
72
73   "__builtin_atanl": float -> float
74
75
76   "__builtin_atan2": float -> float -> float
77
78
79   "__builtin_atan2f": float -> float -> float
80
81
82   "__builtin_atan2l": float -> float -> float
83
84
85   "__builtin_ceil": float -> float
86
87
88   "__builtin_ceilf": float -> float
89
90
91   "__builtin_ceill": float -> float
92
93
94   "__builtin_cos": float -> float
95
96
97   "__builtin_cosf": float -> float
98
99
100   "__builtin_cosl": float -> float
101
102
103   "__builtin_cosh": float -> float
104
105
106   "__builtin_coshf": float -> float
107
108
109   "__builtin_coshl": float -> float
110
111
112   "__builtin_clz": int -> int
113
114
115   "__builtin_clzl": int -> int
116
117
118   "__builtin_clzll": int -> int
119
120
121   "__builtin_constant_p": int -> int
122
123
124   "__builtin_ctz": int -> int
125
126
127   "__builtin_ctzl": int -> int
128
129
130   "__builtin_ctzll": int -> int
131
132
133   "__builtin_exp": float -> float
134
135
136   "__builtin_expf": float -> float
137
138
139   "__builtin_expl": float -> float
140
141
142   "__builtin_expect": int -> int -> int
143
144
145   "__builtin_fabs": float -> float
146
147
148   "__builtin_fabsf": float -> float
149
150
151   "__builtin_fabsl": float -> float
152
153
154   "__builtin_ffs": int -> int
155
156
157   "__builtin_ffsl": int -> int
158
159
160   "__builtin_ffsll": int -> int
161
162
163   "__builtin_frame_address": int -> int
164
165
166   "__builtin_floor": float -> float
167
168
169   "__builtin_floorf": float -> float
170
171
172   "__builtin_floorl": float -> float
173
174
175   "__builtin_huge_val": float
176
177
178   "__builtin_huge_valf": float
179
180
181   "__builtin_huge_vall": float
182
183
184   "__builtin_inf": float
185
186
187   "__builtin_inff": float
188
189
190   "__builtin_infl": float
191
192
193   "__builtin_memcpy": int -> int -> int -> int
194
195
196   "__builtin_mempcpy": int -> int -> int -> int
197
198
199   "__builtin_fmod": float -> float
200
201
202   "__builtin_fmodf": float -> float
203
204
205   "__builtin_fmodl": float -> float
206
207
208   "__builtin_frexp": float -> int -> float
209
210
211   "__builtin_frexpf": float -> int -> float
212
213
214   "__builtin_frexpl": float -> int -> float
215
216
217   "__builtin_ldexp": float -> int -> float
218
219
220   "__builtin_ldexpf": float -> int -> float
221
222
223   "__builtin_ldexpl": float -> int -> float
224
225
226   "__builtin_log": float -> float
227
228
229   "__builtin_logf": float -> float
230
231
232   "__builtin_logl": float -> float
233
234
235   "__builtin_log10": float -> float
236
237
238   "__builtin_log10f": float -> float
239
240
241   "__builtin_log10l": float -> float
242
243
244   "__builtin_modff": float -> int -> float
245
246
247   "__builtin_modfl": float -> int -> float
248
249
250   "__builtin_nan": int -> float
251
252
253   "__builtin_nanf": int -> float
254
255
256   "__builtin_nanl": int -> float
257
258
259   "__builtin_nans": int -> float
260
261
262   "__builtin_nansf": int -> float
263
264
265   "__builtin_nansl": int -> float
266
267
268   "__builtin_next_arg": int
269
270
271   "__builtin_object_size": int -> int -> int
272
273
274   "__builtin_parity": int -> int
275
276
277   "__builtin_parityl": int -> int
278
279
280   "__builtin_parityll": int -> int
281
282
283   "__builtin_popcount": int -> int
284
285
286   "__builtin_popcountl": int -> int
287
288
289   "__builtin_popcountll": int -> int
290
291
292   "__builtin_powi": float -> int -> float
293
294
295   "__builtin_powif": float -> int -> float
296
297
298   "__builtin_powil": float -> int -> float
299
300
301   "__builtin_return": int -> void
302
303
304   "__builtin_return_address": int -> int
305
306
307   "__builtin_sin": float -> float
308
309
310   "__builtin_sinf": float -> float
311
312
313   "__builtin_sinl": float -> float
314
315
316   "__builtin_sinh": float -> float
317
318
319   "__builtin_sinhf": float -> float
320
321
322   "__builtin_sinhl": float -> float
323
324
325   "__builtin_sqrt": float -> float
326
327
328   "__builtin_sqrtf": float -> float
329
330
331   "__builtin_sqrtl": float -> float
332
333
334   "__builtin_stpcpy": int -> int -> int
335
336
337   "__builtin_strchr": int -> int -> int
338
339
340   "__builtin_strcmp": int -> int -> int
341
342
343   "__builtin_strcpy": int -> int -> int
344
345
346   "__builtin_strcspn": int -> int -> int
347
348
349   "__builtin_strncat": int -> int -> int -> int
350
351
352   "__builtin_strncmp": int -> int -> int -> int
353
354
355   "__builtin_strncpy": int -> int -> int -> int
356
357
358   "__builtin_strspn": int -> int -> int
359
360
361   "__builtin_strpbrk": int -> int -> int
362
363
364   "__builtin_types_compatible_p": int -> int -> int
365
366
367   "__builtin_tan": float -> float
368
369
370   "__builtin_tanf": float -> float
371
372
373   "__builtin_tanl": float -> float
374
375
376   "__builtin_tanh": float -> float
377
378
379   "__builtin_tanhf": float -> float
380
381
382   "__builtin_tanhl": float -> float
383
384
385   "__builtin_va_end": int -> void
386
387
388   "__builtin_varargs_start": int -> void
389
390
391   "__builtin_va_start": int -> int -> void
392
393
394   "__builtin_stdarg_start": int -> void
395
396
397   "__builtin_va_arg": int -> int -> void
398
399
400   "__builtin_va_copy": int -> int -> void
401
402
403   "array_LE"(%0, %1, %2, %3): int -> int -> int -> int -> void
404     locals: %4, %5, %6, %7, %8, %9, %10, %11
405     stacksize: 0
406     entry: array_LE12
407     exit: array_LE0
408
409     array_LE9: mul %10, %2, %11 --> array_LE8
410     array_LE8: store int32, add, %0, %10, %9 --> array_LE7
411     array_LE7: emit c0 --> array_LE6
412     array_LE6: imm_int 78, %4,  --> array_LE5
413     array_LE5: imm_int 1, %8,  --> array_LE4
414     array_LE4: add %6, %3, %8 --> array_LE3
415     array_LE3: imm_int 4, %7,  --> array_LE2
416     array_LE2: mul %5, %6, %7 --> array_LE1
417     array_LE12: emit c1 --> array_LE11
418     array_LE11: imm_int 2, %9,  --> array_LE10
419     array_LE10: imm_int 4, %11,  --> array_LE9
420     array_LE1: store int32, add, %1, %5, %4 --> array_LE0
421     array_LE0: return
422
423
424   "main"(): int
425     locals: %0, %1, %2, %3, %4, %5, %6, %7, %8, %9, %10, %11, %12, %13, %14, %15, %16, %17, %18, %19, %20, %21, %22, %23, %24, %25, %26, %27, %28, %29, %30, %31, %32, %33, %34, %35, %36, %37, %38, %39, %40, %41, %42, %43, %44, %45, %46, %47, %48, %49, %50, %51, %52, %53, %54, %55, %56, %57, %58, %59, %60, %61, %62, %63, %64, %65
426     result: %0
427     stacksize: 40
428     entry: main88
429     exit: main0
430
431     main9: imm_int 4, %10,  --> main8
432     main88: emit c13 --> main87
433     main87: imm_int 0, %61,  --> main86
434     main86: imm_addr 0($sp), %62,  --> main85
435     main85: imm_int 0, %64,  --> main84
436     main84: imm_int 4, %65,  --> main83
437     main83: mul %63, %64, %65 --> main82
438     main82: store int32, add, %62, %63, %61 --> main81
439     main81: emit c12 --> main80
440     main80: imm_int 0, %56,  --> main79
441     main8: mul %8, %9, %10 --> main7
442     main79: imm_addr 0($sp), %57,  --> main78
443     main78: imm_int 1, %59,  --> main77
444     main77: imm_int 4, %60,  --> main76
445     main76: mul %58, %59, %60 --> main75
446     main75: store int32, add, %57, %58, %56 --> main74
447     main74: emit c11 --> main73
448     main73: imm_int 0, %51,  --> main72
449     main72: imm_addr 0($sp), %52,  --> main71
450     main71: imm_int 2, %54,  --> main70
451     main70: imm_int 4, %55,  --> main69
452     main7: load int32, add, %7, %8, %1 --> main6
453     main69: mul %53, %54, %55 --> main68
454     main68: store int32, add, %52, %53, %51 --> main67
455     main67: emit c10 --> main66
456     main66: imm_int 0, %46,  --> main65
457     main65: imm_addr 0($sp), %47,  --> main64
458     main64: imm_int 3, %49,  --> main63
459     main63: imm_int 4, %50,  --> main62
460     main62: mul %48, %49, %50 --> main61
461     main61: store int32, add, %47, %48, %46 --> main60
462     main60: emit c9 --> main59
463     main6: imm_addr 20($sp), %3,  --> main5
464     main59: imm_int 0, %41,  --> main58
465     main58: imm_addr 0($sp), %42,  --> main57
466     main57: imm_int 4, %44,  --> main56
467     main56: imm_int 4, %45,  --> main55
468     main55: mul %43, %44, %45 --> main54
469     main54: store int32, add, %42, %43, %41 --> main53
470     main53: emit c8 --> main52
471     main52: imm_int 0, %36,  --> main51
472     main51: imm_addr 20($sp), %37,  --> main50
473     main50: imm_int 0, %39,  --> main49
474     main5: imm_int 1, %5,  --> main4
475     main49: imm_int 4, %40,  --> main48
476     main48: mul %38, %39, %40 --> main47
477     main47: store int32, add, %37, %38, %36 --> main46
478     main46: emit c7 --> main45
479     main45: imm_int 0, %31,  --> main44
480     main44: imm_addr 20($sp), %32,  --> main43
481     main43: imm_int 1, %34,  --> main42
482     main42: imm_int 4, %35,  --> main41
483     main41: mul %33, %34, %35 --> main40
484     main40: store int32, add, %32, %33, %31 --> main39
485     main4: imm_int 4, %6,  --> main3
486     main39: emit c6 --> main38
487     main38: imm_int 0, %26,  --> main37
488     main37: imm_addr 20($sp), %27,  --> main36
489     main36: imm_int 2, %29,  --> main35
490     main35: imm_int 4, %30,  --> main34
491     main34: mul %28, %29, %30 --> main33
492     main33: store int32, add, %27, %28, %26 --> main32
493     main32: emit c5 --> main31
494     main31: imm_int 0, %21,  --> main30
495     main30: imm_addr 20($sp), %22,  --> main29
496     main3: mul %4, %5, %6 --> main2
497     main29: imm_int 3, %24,  --> main28
498     main28: imm_int 4, %25,  --> main27
499     main27: mul %23, %24, %25 --> main26
500     main26: store int32, add, %22, %23, %21 --> main25
501     main25: emit c4 --> main24
502     main24: imm_int 0, %16,  --> main23
503     main23: imm_addr 20($sp), %17,  --> main22
504     main22: imm_int 4, %19,  --> main21
505     main21: imm_int 4, %20,  --> main20
506     main20: mul %18, %19, %20 --> main19
507     main2: load int32, add, %3, %4, %2 --> main1
508     main19: store int32, add, %17, %18, %16 --> main18
509     main18: emit c3 --> main17
510     main17: imm_addr 0($sp), %11,  --> main16
511     main16: imm_addr 20($sp), %12,  --> main15
512     main15: imm_int 0, %13,  --> main14
513     main14: imm_int 0, %14,  --> main13
514     main13: call "array_LE", %11, %12, %13, %14, %15: int -> int -> int -> int -> void --> main12
515     main12: emit c2 --> main11
516     main11: imm_addr 0($sp), %7,  --> main10
517     main10: imm_int 0, %9,  --> main9
518     main1: add %0, %1, %2 --> main0
519     main0: return %0
520
521