[工学]COM第7章语义.pptVIP

2002/9/1 第八章 语法制导翻译和中间代码生成 第八章 第八章 语法制导翻译和中间代码生成 1.定义: 属性：编译程序中用来描述语法树结点的特征 因为 结点——符号（ VT或VN） 类型：E.type :=int 值： E.val:=3 存储位置：E.place 属性文法：是一个三元组A=(G,V,F) 其中： G： 上下文无关文法 V： 属性的有穷集（ VT或VN ） F： 属性的断言或谓词（ A→α) 二. 语法制导翻译法 在语法分析过程中，依随分析过程，根据每个产生式对应的语义子程序进行翻译的方法。 方法： 1. 对G的每个A→α ，设计一个语义子程序 2. 在语法分析的过程中，当对A → α进行归约时，调用 相应的语义子程序，完成对语言的翻译。 三. 语义子程序（翻译子程序） 一个语义子程序描述一个产生式所对应的翻译工作： 产生式产生的符号串有意义 规定对应的加工动作 例：x :=A+B*C 解：四元式为： 1. (* , B, C,T1) 或T1:=B*C 2. (+, A, T1,T2) 或T2:=A+T1 3. (:=, T2, ,x) 或x:=T2 4. 特点 （1）四元式出现顺序和表达式计值顺序一样 （2）四元式之间的联系通过临时变量，易于调整和变动四元式 （3）便于优化处理 2. 作用 （1） 用作控制语句中的表达式 （2） 用作逻辑演算，计算逻辑值 Note：允许布尔运算符和关系运算符作用于任何类型的 表达式 二 （布尔表达式的）计值方法 1 类似于算术表达式的计值方法 2 根据布尔运算的特殊性，采取某种优化措施 A∨B 只计算出A ： if A then true else B A∧B if A then B else false －A if A then false else true 三 翻译（布尔表达式）方法 定义语义子程序 (1)E ? E1 ? E2 { Bp(E1.false ,E2.codebegin) E.codebegin:=E1.codebegin; E.true:=merg(E1.true,E2.true); E.false:=E2.false } E?E1∧E2 { Bp(E1.true,E2.codebegin); E.codebegin:=E1.codebegin; E.true:=E2.true; E.false:=merg(E1.false,E2.false) } E?i1 rop i2 { E.true:=nextstart; E.false:=nextstart+1; E.codebegin:=nextstart; emit(if i1.place rop i2.place , goto--) emit(goto--) } E?－E1 { E.true:=E1.false; E.codebegin:=E1.codebegin; E.false:=E1.true } E? (E1) { E.true:=E1.true; E.codebegin:=E1.codebegin; E.false:=E1.false } E?i { E.true:=nextstart; E.false:=nextstart+1