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