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