]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/fib.LIN.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / fib.LIN.expected
1 program
2
3 globals 0
4
5 procedure fib(1)
6 var 12
7 fib37:
8 newframe
9 sets  local(0), $ra
10 sets  local(4), $s1
11 sets  local(8), $s0
12 move  $s1, $a0
13 c4:
14 li    $v0, 2
15 slt   $v0, $s1, $v0
16 beq   $v0, $zero, fib10
17 c3:
18 li    $v0, 1
19 fib48:
20 gets  $ra, local(0)
21 gets  $s1, local(4)
22 gets  $s0, local(8)
23 delframe
24 jr    $ra
25 fib10:
26 c2:
27 li    $v0, 1
28 subu  $a0, $s1, $v0
29 call  fib
30 move  $s0, $v0
31 c1:
32 li    $v0, 2
33 subu  $a0, $s1, $v0
34 call  fib
35 c0:
36 addu  $v0, $s0, $v0
37 j     fib48
38
39 procedure _main(0)
40 var 4
41 main17:
42 newframe
43 sets  local(0), $ra
44 c6:
45 li    $a0, 10
46 call  fib
47 c5:
48 gets  $ra, local(0)
49 delframe
50 jr    $ra
51