Semo Compiler 析码多目标编译器（国产开源） 0.3.0 来了 ARMv7、York-Town分配器等。

TOK_Wang

析码多目标编译器是国内某开源社区发起的开源项目，三年以来先后发布了三次二进制版本，这次的0.3.0在上一版本基础上改动略小一些，主要完成了寄存器分配模块、完善了ARM汇编器等。

0.3.0 更新以下特性：

前段部分
全面支持预处理指令与宏特性。
实现了C99的变量定义、变量引用、函数定义、if-else、while、do-while，以及二元表达式等语法。

中段部分
实现了抽象语法与第0层抽象代码模块、SSA、寄存器分配器（基于YT模型）。

后段部分
实现了部分第0层抽象代码到ARMv7汇编代码转换模块、ARMv7汇编器，实现加减乘除、寻址等THUMB指令集编码。
实现了ARM-ELF动态链接器，支持多目标链接，并建立内存镜像，内存镜像可直接运行。

代码：http://semo.googlecode.com/svn/trunk/
程序：http://code.google.com/p/semo/do ... &q=#makechanges

最新更新
2011年1月29号：
1. 修正了C语言预处理模块，宏函数替换bug。
2. 修正C语言词法分析模块，预读取FUNDEF与FUNCAL时原始状态丢失问题。

2011年1月28号：
1. 更新“内部原理”文档。
2. 更新“front-para”只要针对因为输入尚未实现的语法可能引起的异常错误。

2011年1月27号：
1. 修改生命域的干涉关系判定函数判定误差问题。
2. 修改编译后的输出信息，如总时间开销、二进制编码总量、生命域分裂次数、寄存器分配器开销等。

2011年1月26号 修改mid-para以下几处 bug：
1. a = a , a1.0 = a1 无法确定生命域编号。
2. 检测LiveScopeMonitor?中的节点时，无法确定全部节点的交涉关系，需要O(N*N)。
3. 生命域分裂时，在原始LAC中操作。否则是无效的。

2011年1月25号：
1. 添加ISA_INTEGER。
2. 汇编模块词法分析解析代码时，遇到寄存器直接返回机器码。
3. 对于ISA_INTEGER等立即数不产生SSA。

看一个寄存器分配的例子，以下是C语言代码：

1. void gtkings(){
   
2.         int a = 10;
   
3.         int b = 100;
   
4.         int c = 0 ;
   
5.         int e = 0 ;
   
6.         int f = 0 ;
   
7.         int g = 0 ;
   
8.         int h = 0 ;
   
9.         int i = 0 ;
   
10.         int j = 0 ;
    
11.         int k = 0 ;
    
12.         int l = 0 ;
    
13.         int m = 0 ;
    
14.         int n = 0 ;
    
15.        
    
16.         int o = 0 ;
    
17.         int p = 0 ;
    
18.         int q = 0 ;
    
19.         int r = 0 ;
    
20.         int s = 0 ;
    
21.         int t = 0 ;
    
22.         int u = 0 ;
    
23.         int v = 0 ;
    
24.         int w = 0 ;
    
25.         int x = 0 ;
    
26.         int y = 0 ;
    
27.         int z = 0 ;
    
28. 
    
29.         a = a + a ;
    
30.         b = b + b ;
    
31.         c = a + a ;
    
32.         b = b + b ;
    
33.         e = a + c ;       
    
34.         f = c + c ;
    
35.         g = b + b ;
    
36.         h = a + a ;
    
37.         i = e + e ;
    
38.         j = f + g ;
    
39.         k = c + c ;
    
40.         l = a + e ;
    
41.         m = j + f ;
    
42.         n = n + m ;
    
43.         o = f + i ;
    
44.         p = j + m ;
    
45.         q = g + b ;
    
46.         r = c + a ;
    
47.         s = n + p ;
    
48.         t = l + o ;
    
49.         u = c + e ;
    
50.         v = k + q ;
    
51.         w = l + r ;
    
52.         x = s + v ;
    
53.         y = t + w ;
    
54.         z = x + y ;
    
55. }

复制代码

析码第0层抽象代码：

1. 
   
2. gtkings()
   
3. {
   
4. L25:
   
5.         %$V1.25 = a1.0+a1.0;
   
6.         a2.26 = %$V1.25 ;
   
7. L26:
   
8.         %$V2.27 = b1.1+b1.1;
   
9.         b2.28 = %$V2.27 ;
   
10. L27:
    
11.         %$V3.29 = a2.26+a2.26;
    
12.         c2.30 = %$V3.29 ;
    
13. L28:
    
14.         %$V4.31 = b2.28+b2.28;
    
15.         b3.32 = %$V4.31 ;
    
16. L29:
    
17.         %$V5.33 = a2.26+c2.30;
    
18.         e2.34 = %$V5.33 ;
    
19. L30:
    
20.         %$V6.35 = c2.30+c2.30;
    
21.         f2.36 = %$V6.35 ;
    
22. L31:
    
23.         %$V7.37 = b3.32+b3.32;
    
24.         g2.38 = %$V7.37 ;
    
25. L32:
    
26.         %$V8.39 = a2.26+a2.26;
    
27.         h2.40 = %$V8.39 ;
    
28. L33:
    
29.         %$V9.41 = e2.34+e2.34;
    
30.         i2.42 = %$V9.41 ;
    
31. L34:
    
32.         %$V10.43 = f2.36+g2.38;
    
33.         j2.44 = %$V10.43 ;
    
34. L35:
    
35.         %$V11.45 = c2.30+c2.30;
    
36.         k2.46 = %$V11.45 ;
    
37. L36:
    
38.         %$V12.47 = a2.26+e2.34;
    
39.         l2.48 = %$V12.47 ;
    
40. L37:
    
41.         %$V13.49 = j2.44+f2.36;
    
42.         m2.50 = %$V13.49 ;
    
43. L38:
    
44.         %$V14.51 = n1.12+m2.50;
    
45.         n2.52 = %$V14.51 ;
    
46. L39:
    
47.         %$V15.53 = f2.36+i2.42;
    
48.         o2.54 = %$V15.53 ;
    
49. L40:
    
50.         %$V16.55 = j2.44+m2.50;
    
51.         p2.56 = %$V16.55 ;
    
52. L41:
    
53.         %$V17.57 = g2.38+b3.32;
    
54.         q2.58 = %$V17.57 ;
    
55. L42:
    
56.         %$V18.59 = c2.30+a2.26;
    
57.         r2.60 = %$V18.59 ;
    
58. L43:
    
59.         %$V19.61 = n2.52+p2.56;
    
60.         s2.62 = %$V19.61 ;
    
61. L44:
    
62.         %$V20.63 = l2.48+o2.54;
    
63.         t2.64 = %$V20.63 ;
    
64. L45:
    
65.         %$V21.65 = c2.30+e2.34;
    
66.         u2.66 = %$V21.65 ;
    
67. L46:
    
68.         %$V22.67 = k2.46+q2.58;
    
69.         v2.68 = %$V22.67 ;
    
70. L47:
    
71.         %$V23.69 = l2.48+r2.60;
    
72.         w2.70 = %$V23.69 ;
    
73. L48:
    
74.         %$V24.71 = s2.62+v2.68;
    
75.         x2.72 = %$V24.71 ;
    
76. L49:
    
77.         %$V25.73 = t2.64+w2.70;
    
78.         y2.74 = %$V25.73 ;
    
79. L50:
    
80.         %$V26.75 = x2.72+y2.74;
    
81.         z2.76 = %$V26.75 ;
    
82. }
    

复制代码

下图由析码基于以上代码实时生成，生命域干涉情况：

上图生命域分裂后，共分裂46次。寄存器最高同时占用5个，总分配5个，总开销 110 ms：


给力 0.2.0：http://linux.chinaunix.net/bbs/thread-1169541-1-1.html

EricFisher

不错，赞一下