source: Deliverables/D2.2/8051/tests/clight/fib.LTL.expected

Last change on this file was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 3.8 KB
Line 
1program
2
3globals 0
4
5procedure fib(1)
6var 12
7entry fib37
8fib37: newframe            --> fib36       
9fib36: sets  local(0), $ra --> fib35       
10fib35: j                   --> fib34       
11fib34: j                   --> fib33       
12fib33: j                   --> fib32       
13fib32: j                   --> fib31       
14fib31: j                   --> fib30       
15fib30: j                   --> fib29       
16fib29: sets  local(4), $s1 --> fib28       
17fib28: sets  local(8), $s0 --> fib27       
18fib27: move  $s1, $a0      --> fib26       
19fib26: j                   --> fib25       
20fib25: j                   --> fib24       
21fib24: j                   --> fib23       
22fib23: j                   --> fib22       
23fib22: j                   --> fib21       
24fib21: j                   --> fib20       
25fib20: j                   --> fib19       
26fib19: j                   --> fib18       
27fib18: j                   --> fib17       
28fib17: emit c4             --> fib16       
29fib16: j                   --> fib15       
30fib15: li    $v0, 2        --> fib14       
31fib14: slt   $v0, $s1, $v0 --> fib13       
32fib13: beq   $v0, $zero    --> fib10, fib12
33fib12: emit c3             --> fib11       
34fib11: li    $v0, 1        --> fib0       
35fib0 : j                   --> fib49       
36fib49: j                   --> fib48       
37fib48: gets  $ra, local(0) --> fib47       
38fib47: j                   --> fib46       
39fib46: j                   --> fib45       
40fib45: j                   --> fib44       
41fib44: j                   --> fib43       
42fib43: j                   --> fib42       
43fib42: j                   --> fib41       
44fib41: gets  $s1, local(4) --> fib40       
45fib40: gets  $s0, local(8) --> fib39       
46fib39: delframe            --> fib38       
47fib38: jr    $ra                           
48fib10: emit c2             --> fib9       
49fib9 : li    $v0, 1        --> fib8       
50fib8 : subu  $a0, $s1, $v0 --> fib7       
51fib7 : j                   --> fib55       
52fib55: j                   --> fib54       
53fib54: call  fib           --> fib53       
54fib53: move  $s0, $v0      --> fib6       
55fib6 : emit c1             --> fib5       
56fib5 : li    $v0, 2        --> fib4       
57fib4 : subu  $a0, $s1, $v0 --> fib3       
58fib3 : j                   --> fib52       
59fib52: j                   --> fib51       
60fib51: call  fib           --> fib50       
61fib50: j                   --> fib2       
62fib2 : emit c0             --> fib1       
63fib1 : addu  $v0, $s0, $v0 --> fib0       
64
65procedure _main(0)
66var 4
67entry main17
68main17: newframe            --> main16
69main16: sets  local(0), $ra --> main15
70main15: j                   --> main14
71main14: j                   --> main13
72main13: j                   --> main12
73main12: j                   --> main11
74main11: j                   --> main10
75main10: j                   --> main9
76main9 : j                   --> main8
77main8 : j                   --> main7
78main7 : j                   --> main6
79main6 : j                   --> main5
80main5 : emit c6             --> main4
81main4 : li    $a0, 10       --> main3
82main3 : j                   --> main32
83main32: j                   --> main31
84main31: call  fib           --> main30
85main30: j                   --> main2
86main2 : emit c5             --> main1
87main1 : j                   --> main0
88main0 : j                   --> main29
89main29: j                   --> main28
90main28: gets  $ra, local(0) --> main27
91main27: j                   --> main26
92main26: j                   --> main25
93main25: j                   --> main24
94main24: j                   --> main23
95main23: j                   --> main22
96main22: j                   --> main21
97main21: j                   --> main20
98main20: j                   --> main19
99main19: delframe            --> main18
100main18: jr    $ra                     
101
Note: See TracBrowser for help on using the repository browser.