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