[工学]第8章 语法制导翻译和中间代码生成.pptVIP

第8章 语法制导翻译和中间代码生成 编译程序的任务是把源程序翻译成目标程序，这个目标程序必须和源程序的语义等同。 编译中的语义处理指以下两个功能： 审查每个语法结构的静态语义 如果静态语义正确则将源程序翻译成中间代码或生成实际的目标代码 第8章 语法制导翻译和中间代码生成 8.1 属性文法 8.2 语法制导翻译概论 8.3 中间代码的形式 8.4 简单赋值语句的翻译 8.5 布尔表达式的翻译 8.6 控制结构的翻译 8.7 说明语句的翻译 8.8 数组的翻译 8.1 属性文法 目前很多编译程序采用属性文法和语法制导翻译方法对语义处理工作进行比较规范的描述。 属性：用于描述事物或人的特征、性质和品质等。 一个属性文法包含一个上下文无关文法和一系列语义规则，这些语义规则附在文法的每个产生式上。 所谓语法制导翻译是指在语法分析过程中，完成附加在所使用的产生式上的语义规则描述的动作。 8.1 属性文法 属性文法(attribute grammar)是一个三元组： A=(G,V,F)，其中 G：一个上下文无关文法。 V：一个属性的有穷集，每个属性与文法的一个终结符或非终结符相连，这些属性代表与文法符号相关信息，如它的类型、值、代码序列、符号表内容等等。属性与变量一样，可以进行计算和传递。属性加工的过程即是语义处理的过程。 F：关于属性的断言或一组属性的计算规则(称为语义规则)。断言或语义规则与一个产生式相联，引用该产生式左端或右端的终结符或非终结符相联的属性。 8.1 属性文法 例，文法G： E ? T1+T2 E ? T1 or T2 T ? num T ? true T ? false 8.1 属性文法 属性通常分为两类：综合属性和继承属性。 属性文法中，对应于每个产生式A??都有一套与之相关联的语义规则，每条规则的形式为b:=f(c1,c2…ck) f是一个函数，b和c1,c2…ck是该产生式文法符号的属性. 并且 （1）如果b是A的一个属性,c1,c2…ck是产生式右部文法符号的属性或A的其他属性,则称b是A的综合属性。 （2）如果b是产生式右部某个文法符号X的一个属性,并且c1,c2…ck是A或产生式右边任何文法符号的属性,则称b是文法符号X 的继承属性。 在两种情况下，我们都说属性b依赖于属性c1,c2…ck 8.1 属性文法 非终结符既可有综合属性也可有继承属性，但文法开始符号没有继承属性。 终结符只有综合属性，它们由词法程序提供。 出现在产生式左边的继承属性和出现在产生式右边的综合属性不由所给定的产生式的属性计算规则进行计算，它们由其它产生式的属性规则计算或者由属性计算器的参数提供。 Eg. 如非终结符A,B和C， 其中A有一个继承属性a和一个综合属性b, B有综合属性c, C有继承属性d 在产生式A?BC的语义规则中可计算 A.b:=f(A.a,B.c,C.d) Eg. A.b:=A.a+B.c C.d:=f(A.a,A.b,B.c) Eg. C.d:=B.c 而属性A.a和 B.c是在其他地方计算的。 8.1 属性文法 语义规则所描述的工作可以包括属性计算、静态语义检查、符号表操作、代码（中间）生成等等。通常把这样的语义规则写成过程调用或过程段。 8.1 属性文法 属性文法和综合属性的示例 简单算术表达式文法及其求值的语义描述 产生式 语义规则 L ? E { Print(E.val) } E ? E1+T { E.val:=E1.val+T.val } E ? T { E.val:=T.val } T ? T1*F { T.val:=T1.val ? F.val } T ? F { T.val:=F.val } F ? (E) { F.val:=E.val } F ? digit { F.val:=digit.lexval } E.Val，T.val，F.val是综合属性。 digit.lexval是综合属性，其值由词法分析程序提供。 8.1 属性文法 属性文法和继承属性的示例 描述说明语句文法及其语句中各种变量的类型信息的语义规则。 产生式 语义规则 D ?TL { L.in:=T.type } T? int {T.type:=integer } T ? real { T.type:=real } L ? L1,id { L1.in:=L.in addtype(id.entry,L.in) } L ? id { addtype(id.entry,L.in) } 过程addtype的功能是把每个标识符的类型信