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