第7章语法制导翻译7.pptVIP

西南科技大学计算机学院软件教研室 第7章 语法制导翻译及中间代码的生成 编译中的语义处理是指两个功能： 教学内容 属性文法与属性翻译文法 语法制导翻译概论 常见中间语言概述 简单算术表达式和赋值语句的翻译 布尔表达式的翻译 程序流程控制语句的翻译 说明语句的翻译 含数组元素及其在赋值语句中的翻译 教学内容 过程说明和过程调用语句的翻译 说明语句的翻译 语法分析程序的自动生成工具 属性文法与属性翻译文法 　　G：是一个上下文无关文法。 　　V：有穷的属性集,每个属性与文法的一个终结符或非终结符相连。 　　F：关于属性的属性断言或谓词集。每个断言与一个产生式相联.而此断言只引用该产生式左端或右端的终结符或非终结符相联的属性。 5.2 语法制导翻译的概述(如何把源程序翻译成相应的中间代码) 基本思想： 在语法分析过程中，随着分析的步步进展，每当使用一条产生式进行推导（对于自上而下分析）或归约（对于自下而上分析），就执行该产生式所对应的语义动作，完成相应的翻译工作。 　　语法制导翻译就是把语言的一些属性附加到代表语言结构的文法符号上，这些属性值是由附加到文法产生式的“语义规则”中计算的，也就是为每个产生式配备翻译子程序，即语义子程序。 语法制导翻译法不论对自上而下分析或自下而上分析都适用 属性一般分为两类：综合属性和继承属性。简单的说，综合属性用于“自下而上”传递信息，而继承属性用于“自上而下”传递信息。 属性加工加工的过程即是语义处理的过程，对于文法的每一个产生式都配备了一组属性的计算规则，则称为语义规则。 继承属性 设A→X1X2…Xn为一个产生式，Xi的属性 Xi.in=f(c,c1,c2,…,ci-1) c,c1,c2,…,ci-1是A, X1，X2，…，Xi-1的属性 如： L → L1,id L1.in := L.in 中的L.in 这种属性叫做继承(Inherited)属性 A→X1X2…Xn Xi.in=f(c,c1,c2,…,ck) 综合属性 设 A→X1X2…Xn 为一个产生式 A.s=f(c1,c2,…,ck) c1,c2,…,ck是X1，X2，…，Xn的属性和A的继承属性 A.s是根据其子结点的属性值计算出来的 如：例 E.val、T.type 这种属性叫做综合(Synthesized)属性 固有属性 语言中的标识符、常数（数值的、符号的）、常量，它们的属性是用户给定的、不变的 语义规则所描述的工作可以包括属性计算、静态语义检查、符号表操作、代码生成等等。 例，考虑非终结符A，B和C，其中，A有一个继承属性a和一个综合属性b，B有综合属性c，C有继承属性d。产生式A→BC可能有规则 C.d:=B.c+1 A.b:=A.a+B.c 而属性A.a和B.c在其它地方计算 3*5+4n的带注释的语法树 句子real id1，id2，id3的带注释的语法树 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 → int T.type := ‘integer’ 例 考虑属性的文法G。其中，S有继承属性a，综合属性b；X有继承属性c、综合属性d；Y有继承属性e、综合属性f；Z有继承属性h、综合属性g 产 生 式 语 义 规 则 S→XYZ Z.h := S.a X.c := Z.g S.b := X.d -2 Y.e := S.b X→x X.d :=2*X.c Y→y Y.f := Y.e*3 Z→z Z.g :=Z.h+1 假设S.a的初始值为0，输入串为xyz 产 生 式 语 义 规 则 S→XYZ Z.h := S.a X.c := Z.g S.b := X.d -2 Y.e := S.b X→x X.d :=2*X.c Y→y Y.f := Y.e*3 Z→z Z.g :=Z.h+1 语法制导翻译的实现途径 以自下而上（ LR分析）的语法制导翻译来说明 将LR分析器能力扩大，增加在归约后调用语义规则的功能 增加语义栈