编译原理基础(第二版)第1章引言.ppt

图1.5 语法树 语义分析器根据语法分析器构造的语法树，进行适当的语义处理。对于声明语句，进行符号表的查填。下述符号表部分的内容中，每一行存放一个符号的信息，第一行存放标识符x的信息，它的类型是real，为它分配的地址是0。第二行存放y的信息，它的类型是real，为它分配的地址是4。由此可知，我们为每个实型数分配一个大小为四个单位的存储空间。对于可执行语句，检查结构合理的表达式运算是否有意义。由于变量x，y，z均是real，而60被认为是integer，因此，语义检查时需要进行把60转换为60.0的处理。反映在语法树上，就是增加了一个新节点itr?(将整型数转换为实型数),如图1.6所示。 图1.6 语义分析 由于声明语句并不生成可执行的代码，所以到此为止，对声明语句的处理已经完成。下边开始的中间代码生成，仅涉及源程序中的赋值句。中间代码生成器对语法树进行遍历，并生成可以顺序执行的中间代码序列。最常用的中间代码形式是四元式，它的基本形式为: (序号) (op， arg1， arg2， result) 操作符 左操作数 右操作数 结果 操作符也被称为算符，操作数也被称为算子。上式表示第(序号)个四元式，arg1和arg2进行op运算，结果存进result。如四元式 (+，x，y，T)表示的运算为T := x + y，而四元式 (:= ，x， ，T)表示的运算为T := x。为了表示上的直观，有时也把四元式直接表示为T := x + y和T := x的形式。这似乎与程序设计语言中的表达式在表示上没有什么区别，因此有时需要根据上下文来确定是算术表达式还是四元式。另外，四元式的一个特征是赋值号右边最多只有一个操作符和两个操作数,中间代码生成过程如图1.7所示。 图1.7 中间代码生成 下一步工作就可以对中间代码进行优化了。分析上边的4个四元式可以看出，60是编译时已经知道的常数，所以把它转换成60.0的工作可以在编译时完成，没有必要生成(1)号四元式。再看(4)号四元式，它的作用仅是把T3的值传给id1(这样的运算被称为复写传播)，不难看出，这条四元式也是多余的。经过优化后，4个四元式减少为两个,如图1.8所示。 图1.8 中间代码优化 最后根据优化后的中间代码生成目标代码,如图1.9所示。这里的目标代码是汇编指令，其中MOVF、MULF和ADDF分别表示浮点数的传送、乘和加操作。对于二元运算MULF和ADDF，操作形式为OP source，target，它表示target := source OP target，即sorce与target进行OP运算，结果存进target。对于一元运算MOVF，操作形式为MOVF source，target，它表示target := source，即将source中的内容移进target中。 图1.9 目标代码生成 1．词法分析 词法分析器根据词法规则识别出源程序中的各个记号(token)，每个记号代表一类单词(lexeme)。源程序中常见的记号可以归为以下几大类，其中每一类均可再细分。 (1) 关键字: 如var、begin、end ...，它们在源程序中均有特定含义，一般不作它用，在这种情况下也被称为保留字。 (2) 标识符: 如x、y、z、sort ...，它们在源程序中被用作变量名、过程名、类型名和标号等所有对象的名称。 (3) 字面量: 如60、Xidian University ...，一般表示常数或字符串常量，它们也可以被细分为数字字面量、字符串字面量等。 (4) 特殊符号: 如:=、+、; ...，它们在源程序中均有特定含义，根据它们的作用，也可以被细分为运算符、分隔符等。 2．语法分析 语法分析器根据语法规则识别出记号流中的结构(短语、句子等)，并构造一棵能够正确反映该结构的语法树。以后我们会看到，除了反映语言结构外，有些语法树也反映语法分析的关键步骤。因此，语法树可以是隐含的，也可以确有其“树”。语法树的数据结构一般采用典型的二叉树结构，因为任何形态的树均可以转化为二叉树。 3．语义分析 语义分析器根据语义规则对语法树中的语法单元进行静态语义检查，如类型检查和转换等，其目的在于保证语法正确的结构在语义上也是合法的。 当分析到声明语句时，语义分析器将相应的环境信息记录在符号表中，以便在后继操作语句中使用。如例1.2中的三个变量都是