柳青《编译技术》Comp-Cha13.pptVIP

* * * 第13章 编译程序的构造 编译程序的书写 可重定向编译程序 GCC的剖析 GCC的定制 GCC的优化 * * 编译程序的构造主要有三条途径： 用某种程序语言书写编译程序 通过LEX、YACC等工具进行自动构造 通过现有的编译基础设施进行改造和组装 第13章 编译程序的构造 * * 13.1 编译程序的书写 1. 编译程序的书写语言与T型图 一个编译程序涉及到三个方面的语言： 即源语言、目标语言和编译程序的书写语言。 为了描述方便，通常用T型图来表示。 源语言 目标语言 书写语言 编译程序的T型图 X Y Z 例：CZ 的T型图 XY * * 13.1 编译程序的书写 2. 编译程序的自展技术 自展的思想是先用目标机的汇编语言或机器语言书写源语言的一个子集的编译程序，然后再用这个子集作为书写语言，实现源语言的编译程序。如果把这个过程根据情况分成若干步，像滚雪球一样直到生成预计源语言的编译程序为止，这样的实现方式称为自展技术。 * * 13.1 编译程序的书写 例：在目标机A上实现L语言的编译程序, L的核心部分划分为L1。 第1步: 用A机器的汇编或机器语言A书写L1的编译程序，表示为CA ,T型图如右。 L1 A A L1A 第2步：再用L1书写L语言的编译程序为CL1 ，T型图如右。 LA L A L1 第3步：把CL1 经过CA 即可得到CA ，用双层结合T型图表示如右所示。 结合T型图的原则是： 下面的T型图的左右上角两个语言分别与上面左右两个T型图的底部语言相同； 上面左右两个T型图的左右上角的语言必须分别相同。 LA LA L1A L L1 L A A A A A L1 * * 13.1 编译程序的书写 如果把L不只分出一个核心L1，而是分出L1，L2，即L2为L1的扩充，那么实现步骤可以是先由A书写L1得CA ，再由L1书写L2表示CL1 ，将CL1 经过CA 编译得CA，然后用L2书写L为CL2 ，最后用CA 对CL2 进行翻译，最终得到CA 。 L1A L2A L2A L1A L2A LA LA L2A LA L L A A A A A A A L2 L2 L2 L1 L1 A 依此类推，L可以分成核心L1，L2，…，Ln都为L1的逐步扩充 ，使得L=Ln，其自展的示意图如右图所示。 Ln=L … L2 L1 编译程序的自展示意图 * * 13.2 可重定向编译程序 交叉编译程序 交叉编译就是在一个平台(主机平台)生成另一个平台(目标平台)上的可执行代码。 平台包括两个概念：体系结构和操作系统。同一体系结构可以运行不同的操作系统；同一个操作系统也可以在不同的体系结构上运行。 需要交叉编译程序的原因： 目标平台上不允许或不能够安装所需要的编译程序； 目标平台上资源匮乏，无法运行所需要的编译程序； 目标平台还没有建立，没有操作系统。 * * 13.2 可重定向编译程序 编译基础设施 编译基础设施是编译程序的开发环境，它提供一系列开发编译程序的策略和工具，支持多种源语言、多目标机的编译技术，以便于人们在具有较高抽象层次的平台上进行编译程序开发和研究工作。 * * 13.2 可重定向编译程序 可重定向编译程序 普通的编译程序将源程序翻译成特定目标机的汇编代码或目标代码；可重定向编译程序能够根据不同目标机，生成相应的目标代码。在可重定向编译程序中，将与目标机相关的部分单独编写成不同的模块，根据不同的目标机调用不同的模块。 可重定向编译程序不是针对特定机器的编译程序用户而言的可重定向。 可重定向编译程序不是编译程序的生产器。 有多个针对不同机型的可选后端。 * * 13.2 可重定向编译程序 支持可重定向编译的关键技术 中间表示技术 机器描述技术 代码生成程序的构造技术 目标机描述与目标代码生成的接口技术 * * 13.2 可重定向编译程序 常用的可定向编译程序 常用的可定向编译程序有：GCC和LCC。 两者的主要区别： 在前端和后端数量上。 在机器描述的能力上。 在产生代码的质量上。 * * 13.2 可重定向编译程序 1.GCC的总体结构 GCC编译系统由与源语言相关的前端、与源语言无关的后端和目标机描述三部分组成。 对于其支持的每种源语言，存在一个独立的、与语言无关的语法器。利用这些语法器，对不同的源语言产生相同的分析结果——语法树。与源语言无关的后端是GCC编译程序的主体部分，它将语法树转换成中间代码(RTL)，然后对中间代码进行各种优化并最终生成