语法制导翻译和中间代码生成.ppt

第8章 语法制导翻译和中间代码生成 经过词法分析、语法分析后，源程序在静态结构上的正确性得到了保证，编译程序接着要对源程序进行静态语义检查和翻译。 语义检查：类型检查、控制流检查、一致性检查等。 翻译：源程序→中间代码 本章主要内容 1. 属性文法 2. 语法制导翻译概念 3. 中间代码的几种形式 4. 几个语句的翻译：如赋值语句、条件语句等。 语法制导翻译的引例 E→E+T {print ”1”} E→T {print ”2”} T→T*F {print ”3”} T→F {print ”4”} F→(E) {print ”5”} F→i {print ”6”} 对(i+i)*i的翻译 不难证明该符号串是文法的合法句子。按照这个句子向文法开始符号E的归约次序，且每当归约时调用该句柄的产生式所对应的语义子程序，便可得到相应的数字串：64264154632。 这个例子表明：输入源程序为(i+i)*i，输出为数字串。这是一种变换，而变换的规则是每当归约时调用相应的语义子程序。无疑这个例子是翻译的一个十分简单的模型。 翻译要解决的问题 1. 翻译成什么样的代码？ 2. 什么时候实现这种变换(翻译)？ 3. 如何实现这种翻译？ 翻译成什么样的代码 按照相应语义规则产生一种介于源语言与目标代码之间的一种代码(中间代码)，它不依赖于机器但又便于产生依赖于机器的目标代码。 中间代码可用多种方式表示，常见的有：逆波兰表示法、树形表示法、三元式、四元式等。 什么时候实现这种变换(翻译) 直观来说，就是为每个产生式配上一个翻译子程序(语义子程序)，并且在语法分析的同时执行这些子程序。 具体来说，就是一边分析，一边翻译，语法分析完成，翻译也就完成了。 语法制导翻译法对自上而下分析或自下而上分析都适用。 语法制导翻译方法是比较接近于形式化的翻译方法。 如何实现这种翻译 至此不难明白，语法制导翻译的关键是为每个产生式写相应的语义子程序。 例子中的print产生式序号这种语义子程序是为了输出数字串而写的语义子程序。所以一个语义子程序描述了一个产生式对应的翻译工作。 这些工作有：改变编译程序某些变量的值、查填各种符号表、发现并报告源程序错误、产生中间代码。 语义子程序的一般形式 语义子程序写在该产生式后面的花括号内： (1) X?… { 语义子程序1 } (2) Y?… { 语义子程序2 } (3) A?XY { 语义子程序3 } 属性文法与语法制导翻译的关系 对于某个压缩了的文法，当把每个文法符号和一组属性相关联，并把产生式附加以语义规则的时候，就得到属性文法。 语法制导的翻译过程：由于属性文法的规则和产生式是一一对应的关系。所以，由属性文法确定的语义分析可以在语法分析的过程中进行。这个过程成为语法制导的翻译。 属性文法 属性文法是一个三元组:A=(G,V,F),其中 G:是一个上下文无关文法。 V:属性的有穷集,每个属性与文法的一个终结符或非终结符相连,这些属性代表与文法符号相关信息，如它的类型、值、代码序列、符号表内容等等 .属性与变量一样，可以进行计算和传递。 属性文法 F:关于属性的属性断言或一组属性的计算规则(称为语义规则) 。 断言或语义规则与一个产生式相联,只引用该产生式左端或右端的终结符或非终结符相联的属性。 属性文法的例子 设表达式为3＊5+4，则语义动作打印数值19 . 中间代码的形式 1. 逆波兰式 2. 三元式、间接三元式和树形表示 3. 四元式 表达式的表示方法 1. 中缀表达式(一般表达式)：运算符放在运算量之间。A+B A*B 2. 前缀表达式(波兰表达式)：运算符放在运算量前面。+AB *AB 3. 后缀表达式(逆波兰表达式)：运算符放在运算量后面。AB+ AB* 上述三种方法的比较 三种方法的共同点： 1. 运算量个数不变，顺序也不变。 2. 运算符个数不变。 逆波兰式的优点： 1. 是一个无括号表达式。 2. 逆波兰式的运算符出现的顺序就是原表达式的运算顺序，因而计算方便。 举例 1. ( a * b + c ) * d + b * ( a + d * c ) a b * c + d * b a d c * + * + 2. 赋值语句的后缀式 A：=B+C ABC+：= 三元式 组成: