]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/fib.RTL.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / fib.RTL.expected
1 program
2
3 globals 0
4
5 function fib(%0) : %3
6 var %0, %1, %2, %3, %4, %5, %6, 
7     %7, %8, %9, %10
8 entry fib26
9 exit fib0
10 fib26: li    %1, 0       --> fib25       
11 fib25: li    %2, 0       --> fib24       
12 fib24: li    %4, 0       --> fib23       
13 fib23: li    %5, 0       --> fib22       
14 fib22: li    %6, 0       --> fib21       
15 fib21: li    %7, 0       --> fib20       
16 fib20: li    %8, 0       --> fib19       
17 fib19: li    %9, 0       --> fib18       
18 fib18: li    %10, 0      --> fib17       
19 fib17: emit c4           --> fib16       
20 fib16: li    %9, 0       --> fib15       
21 fib15: li    %10, 2      --> fib14       
22 fib14: slt   %8, %0, %10 --> fib13       
23 fib13: beq   %8, %9      --> fib10, fib12
24 fib12: emit c3           --> fib11       
25 fib11: li    %3, 1       --> fib0        
26 fib10: emit c2           --> fib9        
27 fib9 : li    %7, 1       --> fib8        
28 fib8 : subu  %6, %0, %7  --> fib7        
29 fib7 : call  %1, fib(%6) --> fib6        
30 fib6 : emit c1           --> fib5        
31 fib5 : li    %5, 2       --> fib4        
32 fib4 : subu  %4, %0, %5  --> fib3        
33 fib3 : call  %2, fib(%4) --> fib2        
34 fib2 : emit c0           --> fib1        
35 fib1 : addu  %3, %1, %2  --> fib0        
36
37 function _main() : %1
38 var %0, %1, %2
39 entry main7
40 exit main0
41 main7: li    %0, 0       --> main6
42 main6: li    %2, 0       --> main5
43 main5: emit c6           --> main4
44 main4: li    %2, 10      --> main3
45 main3: call  %0, fib(%2) --> main2
46 main2: emit c5           --> main1
47 main1: move  %1, %0      --> main0
48