编译器家族GCC内部探密探索GCC前端的

1、.编译器家族 GCC 内部探密 探究 GCC 前端的GNU编译器家族GCC内部探密：探究GCC前端的内部构造2020年06月03日星期四下午09：28GNU编译器家族GCC内部探密：探究GCC前端的内部构造screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7t

2、his.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*

3、0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new w

4、indownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoo

5、m in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmous

6、ewheel="return imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；thi

7、s.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7

8、；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"

9、;onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/未显示需要javascript的文档选项screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseo

10、ver="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomt

11、his；"alt=""/赵蔚zhaoway,Linux和自由软件技术独立参谋2003年7月10日我们在本文中说明GCC源码包中的例子编程语言Treelang的实现细节。主要目的在于辑此说明所谓GCC前端的编程方法。限于篇幅，本文只能略略讲一下GCC前端的内部构造的框架部分。本文中所涉及到的源程序均位于GCC源码包中的gcc/目录和gcc/treelang/目录下。本文的代码分析基于GCC CVS中的最新2003年六月的开发版本。GNU编译器家族GCC介绍作为自由软件的旗舰工程，Richard Stallman在十多年前刚开场写作GCC的时候，还只是把它当作仅仅一个

12、C程序语言的编译器；GCC的意思也只是GNU CCompiler而已。经过了这么多年的开展，GCC已经不仅仅能支持C语言；它如今还支持Ada语言，C+语言，Java语言，Objective C语言，Pascal语言，COBOL语言，以及支持函数式编程和逻辑编程的Mercury语言，等等。而GCC也不再单只是GNU C语言编译器的意思了，而是变成了GNU Compiler Collection也即是GNU编译器家族的意思了。另一方面，说到GCC对于各种硬件平台的支持，概括起来就是一句话：无所不在。几乎所有有点实际用处的硬件平台，甚至包括有些不那么有实际用处的硬件平台，比方Don Knuth设计的

13、MMIX计算机，GCC都提供了完善的支持。我们在这篇文章中要弄清楚的就是GCC是如何做到可以支持这么多种程序语言的。所谓的GCC的程序语言前端到底是怎么回事。假设我们要设计实现自己的编程语言的话，应该从何入手。答复这些问题的第一步，就是分析清楚GCC源码包中，为了说明GCC的程序语言前端的编写方法，而写作的Treelang编程语言在GCC中的实现细节。假设把我们自己的程序语言的实现建立于GCC之上，也立即使得我们的程序语言的实现版本可以运行在几乎所有有用的硬件平台之上。这对于程序语言的作者来说，也是一个确实的有极大诱惑力的好处。screen.width*0.7this.resized=true

14、；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse whe

15、el to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"

16、onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return

17、imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='

18、hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click

19、 here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！th

20、is.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/回页首关于代码分析在这一小节里面我们着重说明两个问题：第一、为什么要阅读源代码；第二、代码分析应该怎么写。阅读源代码对进步自己的编程程度是非常有帮助的。这个帮助至少表达在两个方面。第一个方面是学会大型软件工程设计的形式。这样的形式是真实可靠的第一手资料，这样学来的形式要比从书本上，用日常语言陈述的形式，更能深化到你的脑海中去。而且它的真实性和可靠性都是有保证的。并且这样的形式还非常的详细。我

21、曾经看到计算机系的同学推荐去读亚历山大的建筑学方面的经典著作；个人以为这是走的太远了。与其去读建筑学的书，不如去分析一下成功的自由软件工程的源代码。详细的用代码说明的形式，无论如何要比虚无飘渺的美学概念，或者模棱两可的工程纪律，都要更加容易学习吧?阅读源代码的第二个好处，是增加自己的自信心。就象学习英语，要和别人谈话，要看看别人的文章，不能只是看教科书上的简单的例子。教科书上的例子限于篇幅，不可能做到像真实、完好的英文小说那样，把一个完好的设计呈如今你的面前。只有当你硬着头皮，抛开字典，把一本英文小说生生啃下来之后，你才能有把握说：我确实能做到。类似的，只有当我们看过大型软件工程的源代码，作过

22、修改，摸爬滚打之后，我们才能有把握的说：我也能写出来。上面说了阅读源代码至少有这么两个好处。那么在阅读源代码的时候，我们必然要做代码分析笔记。这个代码分析笔记如何写，这就是我们关心的一个问题了。在这里，我提出一些我自己的也许不太成熟的看法，也请读者朋友们不吝指教。我总觉得，与其作一行一行的代码注释，说明每一行代码的作用；不如设计一个故事，把代码的框架说清楚。这也是我前面提到的，所谓形式一说。因为阅读源代码，最关键的是要理解大型软件工程设计的形式，而不是要把每一次读者分析每一行代码细节的乐趣从此剥夺掉。另一方面，代码分析的写作风格，可以是参考手册似的；也可以是航海日志似的。我个人觉得参考手册似的

23、代码分析是比较乏味的，读起来乏味，写起来也不免乏味，虽然它可能更有用。对于一个急着要快点完毕加班工作的软件工程师来说，也许参考手册更加实用。但是对于一个想要理解这一份成功的软件背后的工作奥秘的探究者来说，一个航海日志似的代码分析，也许读起来更有味道，更能让一个程序员在键盘与屏幕之间，体会到那地理大发现的冲动与乐趣。本文后面的代码分析，就是希望能写成这样的风格。可是作者笔力有限，如有缺乏之处，还请读者朋友们不吝指教。screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to o

24、pen new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resized

25、return true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resize

26、d=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*0.7this.re

27、sized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL

28、+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out&#

29、39;；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel=&qu

30、ot;return imgzoomthis；"alt=""/回页首Treelang的代码框架读者朋友们在阅读这一部分代码分析的时候，手边最好能准备上一份GCC 3.3的源代码。这个源代码可以从GCC的站点上获得。本文作者力图做到把整个情况像说故事一样娓娓道来，但是读者朋友们假设在适当的时候可以查阅一下源代码，可能更能把问题理解的清楚透彻。这个treelang语言的实现，主要有两个C语言文件，把整个代码框架分成两个部分。第一部分以tree1.c为主，带上parse.y这个YACC源程序，组成了和GCC前端的接口；第二部分以treetree.c为主，组成了和GCC后端

31、的接口。这里首先说明一下tree1.c这个文件。它和上级目录中的GCC框架文件toplev.c交互作用，实现tree1这个执行程序的主体部分。这个tree1就相当于GCC的C语言前端中的cc1执行程序，该程序是C语言编译器前端的主体。我们首先试图说明从toplev.c到tree1.c的途径。这样我们就注意到toplev.c中这个引人注目的lang_hooks变量。当然，接下来就注意到在toplev.c同一目录下的langhooks.c这个文件。我们希望在其中发现一点有趣的东西。这一共是三个文件：langhooks.ch和langhooks-def.h其中在langhooks.h中定义了一堆各式

32、各样的struct lang_hooks_for_xxx构造，以及最后还有一个struct lang_hooks构造把前面的那些for_xxx的构造都总括了起来。这每一个构造都是假设干个至少看上去像是回调函数的函数指针。看来这就是我们要寻找的东西。那么大概就是这样了，编译器前端向GCC主体部分注册自己的lang_hooks来完成各样的任务。接下来一个自然的问题就是这个注册是如何进展的；另外一个问题就是要对这些回调函数指针进展分析了。这个langhooks.h文件中关于struct lang_hooks构造字段的注释很详细，这里我们暂时先跳过去。等到treelang中详细的注册回调函数出现的时候

33、，我们根据需要再做仔细说明。在langhooks-def.h文件中定义了一些这个struct lang_hooks构造的默认值。如今我们进入treelang目录下的treetree.c这个文件。来观察一下在treelang中对struct lang_hooks这个构造的初始化过程。这个过程不是按照我们通常所熟悉的C语言的C99标准或者是GCC扩展语法来进展的。而是采用了大量的#define和#undef并结合上层目录中的langhooks-def.h来进展。细想一下，这是理所当然的事情，因为这是在编译C语言编译器本身嘛。当然就不好用到C语言的新的东西或者是自己做的扩展的东西。注释开场：我们以初

34、始化如下定义的struct sample构造为例。struct sampleint member_int；char*member_str；void*member_funvoid；在C99中，初始化一个struct构造数据，使用下面这样的语法。struct sample inst_c99=.member_int=78,.member_str="iloveqhq",.member_fun=real_fun,；在C99标准出现之前，GCC定义了自己的扩展，下面的例子就是按照这个GCC对C语言的扩展，来初始化一个struct构造数据。struct sample inst_gcc=m

35、ember_int：76,member_str："zhaoway",member_fun：real_fun,；在GCC的源代码中没有使用上面的两种方法，而是大量使用了宏定义。这个方法首先要申明一份辅助的宏定义。这些个辅助的宏定义，在一个软件工程里面，针对一个struct构造，只需要一份即可。#define MEMBER_INT 0#define MEMBER_STR""#define MEMBER_FUN NULL#define SAMPLE_INITIALIZERMEMBER_INT,MEMBER_STR,MEMBER_FUN,按照上面这样的方法申明了

36、这些关于这个struct sample的辅助宏定义以后，在每次要初始化一个struct sample数据构造的时候，只需要按照如下操作即可。除了要略微多打一些字以外，这个方法的方便程度和以上两种方法是差不多的。#undef MEMBER_INT#define MEMBER_INT 12#undef MEMBER_STR#define MEMBER_STR"trtr"#undef MEMBER_FUN#define MEMBER_FUN real_fun struct sample inst_def=SAMPLE_INITIALIZER；这样就也可以像C99标准或者GCC的扩

37、展一样，按照成员变量的名称来初始化一个struct类型的数据构造了。不过话又说回来，在我们一般的软件工程中，还是应该沿着C99标准这个C语言的开展方向来走的。：注释完毕接下来的线路很清楚，就是一个一个的分析这些个回调函数啦。screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.w

38、idth*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/scre

39、en.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style.cursor='hand'；this.alt='Click here to o

40、pen new windownCTRL+Mouse wheel to zoom in/out'；"onclick="if！this.resizedreturn true；elsewindow.open'onmousewheel="return imgzoomthis；"alt=""/screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.alt='Click here to open new windownCTRL+Mouse wheel to zoom in/out'；"onmouseover="ifthis.width screen.width*0.7this.resized=true；this.width=screen.width*0.7；this.style