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