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