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