第8章语法制导翻译和中间代码生成题材.ppt

第8章 语法制导翻译和中间代码生成;在编译程序中使用了这样的一种技术，就是在语法分析的同时进行语义分析的工作，并同步地完成相应语句的翻译。这种技术就称为语法制导翻译。 ;第5章教学内容;一、属性文法;属性加工的过程即是语义处理的过程，对于文法的每一个产生式都配备了一组属性的计算规则，则称为语义规则。 在一个属性文法中，对应于每个产生式A??都有一套与之相关联的语义规则，每条语义规则的形式为：b:=f(c1,c2,…,ck)  这里f是一个函数，而且或者 （1）b是A的一个综合属性并且c1,c2,…ck是产生式右边文法符号的属性；或者 （2）b是产生式右边某个文法符号的一个继承属性并且c1,c2,…ck是A或产生式右边任何文法符号的属性。 在这两种情况下，属性b依赖于属性c1,c2…,ck。;要特别强掉的是： 终结符只有综合属性，它由词法分析器提供； 非终结符既可以有综合属性也可以有继承属性，文法开始符号的所有继承属性作为属性计算前的初始值。 ;一般来讲，对出现在产生式右边的继承属性和出现在产生式左边的综合属性都必须提供一个计算规则，属性计算规则中只能使用相应产生式的文法符号的属性，这有利于产生式范围内“封装”属性的依赖性。然而，出现在产生式左边的继承属性和出现在产生式右边的综合属性不由所给的产生式的属性计算规则进行计算，它们由其它产生式的属性规则计算,由属性计算器的参数提供。;语义规则所描述的工作可以包括属性计算、静态语义检查、符号表操作、代码生成等。语义规则可能产生副作用（如产生代码），也可能不是变元的严格函数（如某个规则给出可用的下一个数据单元的地址）。这样的语义规则通常写成过程调用，或过程段。;综合属性;继承属性;属性文法的定义;属性文法的定义;属性文法示例;示例;设表达式为3 * 5+4，则语义动作打印数值19; LR分析器可以改造为一个翻译器，在对输入串进行语法分析的同时对属性进行计算。LR分析器增加语义栈。;SLR(1)分析表;步骤;步骤;7;11;二. 语义分析的任务;编译中的语义处理是指两个功能： 审查每个语法结构的静态语义，即验证语法结构合法的程序是否真正有意义。有时把这个工作称为静态语义分析或静态审查。 如果静态语义正确，语义处理则要执行真正的翻译，即，要么生成程序的一种中间表示形式（中间代码），要么生成实际的目标代码。 ;通常包括： 类型检查。 控制流检查。控制流语句必须使控制转移到合法的地方。例如，在C语言中break语句使控制跳离包括该语句的最小while、for或switch语句。如果不存在包括它的语句，则报错。 一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等等。 相关名字检查。有时，同一名字必须出现两次或多次。例如，Ada语言程序中，循环或程序块可以有一个名字，出现在这些结构的开头和结尾，编译程序必须检查这两个地方用的名字是相同的。 名字的作用域分析。;三、中间代码;1.逆波兰式;示例;后缀表示法表示表达式，其最大的优点是易于计算机处理表达式。常用的算法是使用一个栈，自左至右扫描算术表达式（后缀表示），每扫描到运算对象，就把它推进栈；扫描到运算符，若该运算符是二目的，则对栈顶部的两个运算对象实施该运算，并将运算结果代替这两个运算对象而进栈；若是一目运算符，则对栈顶元素执行该运算，并以运算结果代替该元素进栈，最后的结果留在栈顶。 由于后缀式表示上的简洁和计值的方便，特别适用于解释执行的程序设计语言的中间表示，也方便具有堆栈体系的计算机的目标代码生成。;2.三元式和树形表示;示例;树形表示;3.四元式;示例;四元式表示很类似于三地址指令，确实，有时把这类中间表示称为“三地址代码”，因为这种表示可看作一种虚拟三地址机的通用汇编码，即这种虚拟机的每条“指令”包含操作符和三个地址，两个是为运算对象的，一个是为结果的。这种表示对于代码优化和目标代码生成都较有利。;示例;例如 : A + B * ( C - D ) + E / ( C - D ) ^N;四、简单赋值语句的翻译;简单赋值语句的属性文法;a=b * c+d*e的翻译过程;（1）（*，　b，　c，　T1）（2）（*，　d，　e，　T2）（3）（+， T1， T2， T3）（4）（ =， T3， _， a ）;a= - b * ( c+d) 的翻译过程;类型转换的语义处理;语义变量;示例;示例;五、布尔表达式的翻译;布尔表达式是由布尔算符and，or和not施于布尔变量或关系表达式而成。即布尔表达式的形式为E1 rop E2，其中E1和E2都是算术表达式，rop是关系符，如＜