第讲 语法制导翻译和中间代码生成.pptVIP

第七讲 语法制导翻译和中间代码 7.1属性文法 7.2语法制导翻译概论 7.3中间代码 7.4一些语句的翻译 属性文法 属性文法(attribute grammar)是一个三元组:A=(G,V,F) 表达式文法 E→T+T| T or T T → n | true | false 在语法制导定义中，一条语义规则完成一个计算属性值的动作。digit是终结符，只使用综合属性，且其属性值由词法分析器提供，通常不要计算属性值。 继承属性 一个结点的继承属性值是由此结点的父结点和/或兄弟结点的某些属性来决定的。 语句：real id1， id2， id3的分析树，采用自上而下的分析方法 语法制导翻译概论 在语法分析过程中，随着分析的步步进展，根据每个产生式所对应的语义子程序（或语义规则描述的语义动作）进行翻译的办法称作语法制导翻译。 参见P.157-159对表达式2+3*5进行的分析 中间代码的形成 中间代码的常见形式： 逆波兰记号 三元式（树形表示） 间接三元式 四元式 逆波兰记号（后缀式） 将运算对象写在前面，把运算符号写在后面 逆波兰记号的扩充用途 逆波兰示例 确定输入a+a?a的输出： (E,E)?(E+T，ET+) ? (T+T，TT+) ? (F+T，FT+) ? (a+T，aT+) ? (a+T?F，aTF?+) ? (a+F?F，aFF?+) ? (a+a?F，aaF?+) ? (a+a?a，aaa?+) 三元式和树形表示 格式：(算符, 第一运算对象, 第二运算对象) 如：a := b*c + b*d(1) ( *，b，c )(2) ( *，b，d )(3) ( +，(1)，(2) )(4) ( :=，(3)，a ) 间接三元式 执行表 三元式表 例如：x:=(a+b)*c b:=a+b y:=c*(a+b) 三元式： ( +， a ，b ) ( *， (1)，c ) ( :=，(2)，x ) ( +， a ，b ) ( :=，(4)，b ) ( +， a， b ) ( *， c，(6) ) ( :=，(7)，y ) 四元式 格式：(算符, 第一运算对象, 第二运算对象, 结果) 如：a:=b*c+b*d (1) ( *， b， c， t1 ) (2) ( *， b， d， t2 ) (3) ( +， t1，t2， t3 ) (4) ( :=，t3， ， a ) 四元式的特点 类似于三地址指令 利于优化和代码生成 四元式的直观表示 t1 := b * ct2 := b * dt3 := t1 + t2a := t3 (jump， ， ，L) goto L (jrop，B，C，L) if B rop C goto L 简单赋值语句的翻译 四元式形式 : t :=arg1 op arg2 语义属性：id.name, E.place 函数：lookup(id.name) ; 过程：emit(t := arg1 op arg2); newtemp; 产生式和语义描述： (1) S ?id := E { P:=lookup (id.name) ; if P?nil then emit( P“:=”E.place) else error } (2) E?E1+E2 { E.place:= newtemp; emit(E.place“:=” E1.place“+”E2.place)} (3) E?E1*E2 { E.place:= newtemp; emit(E.place“:=” E1.place“*”E2.place)} 例：将下列语句翻译成四元式形式： A:=-B*(C+D) 类 型 转 换 的 语 义 处 理 * F：关于属性的属性断言或谓词集.每个断言与一个产生式相联.而此断言只引用该产生式左端或右端的终结符或非终结符相联的属性 V：有穷的属性集，每个属性与文法的一个终结符或非终结符相连 G：是一个上下文无关文法 E → T1 + T2 { T1.type = int AND T2.type = T1. type E.type :=int