|
|
|
编译程序的功能就是把用某种高级语言书写的源程序翻译成与之等价的低级语言的目标程序，如下图所示。
|
|
|
|
|
|
|
|
编译程序一般可划分为前后衔接的6个阶段：词法分析、语法分析、语义分析、中间代码生成、代码优化和目标代码生成，如下图所示。
|
|
|
|
|
|
|
|
|
|
词法分析阶段是编译过程的第一个阶段。词法分析的任务是：从左到右一个个字符地输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个的单词符号（简称单词或符号）。单词是程序设计语言的基本语法符号，如保留字（begin、end、if、for和while等）、标识符、常数、算符及界符（标点符号和左右括号等）。
|
|
|
|
在词法分析这一阶段的工作中，所依循的是语言的构词规则。
|
|
|
|
|
|
语法分析的任务是：在词法分析的基础上，根据语言的语法规则（文法规则），把单词符号串分解成各类语法单位，如"短语""子句""句子"（"语句"）、"程序段"和"程序"。通过语法分解，确定整个输入串是否构成一个语法上正确的"程序"。在语法分析这一阶段的工作中，所依循的是语言的语法规则。
|
|
|
|
|
|
语义分析阶段主要检查源程序是否包含语义错误，并收集类型信息供后面的代码生成阶段使用，只有语法和语义都正确的源程序才能被翻译成正确的目标代码。语义分析的一个主要工作是进行类型分析和检查。程序语言中的一个数据类型一般包含两个方面的内容：类型的载体及其上的运算。
|
|
|
|
|
|
中间代码产生的任务是根据语义分析的输出生成中间代码。中间代码是一种简单且含义明确的记号系统。中间代码设计原则有两点：一是容易生成；二是容易将它翻译成目标代码。
|
|
|
|
|
|
代码优化的任务是：对前阶段产生的中间代码进行加工变换，以期在最后阶段能产生更为高效（省时间和省空间）的目标代码。优化的主要方面有：公共子表达式的提取、循环优化和算符归约等。在代码优化这一阶段的工作中，所依循的原则是程序的等价变换规则。
|
|
|
|
|
|
目标代码生成的任务是：把中间代码（或者经优化处理之后）变换成特定机器上的绝对指令代码、可重新定位的指令代码或者汇编指令代码。这一阶段实现了最后的翻译，它的工作有赖于硬件系统结构和机器指令含义。这一阶段的工作也是最复杂的，涉及计算机硬件系统功能部件的运用，机器指令的选择，各种数据类型变量的存储空间分配，以及寄存器和后缓寄存器的调度等。
|
|
|
|
在编译过程中，汇编源程序的各种信息被保留在各种不同的表格里，编译各阶段的工作都涉及构造、查找，或者更新有关的表格。因此，编译程序中必须含有一组管理各种表格的程序。
|
|
|
|
如果汇编源程序有错误，编译程序应该设法发现错误，把有关信息报告给用户。这部分工作是由专门的一组出错处理程序完成的，它与编译各阶段都有联系。因此，编译程序中必须含有一组出错处理程序。
|
|
|
