第7章+语法制导翻译和中间代码生成.ppt

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