编译6属性文法与语法制导翻译(zss).ppt

* * 构造抽象语法树的属性文法定义转化成翻译模式 E → T {R.i:=T.nptr} R {E.nptr:=R.s} R → + T {R1.i:=mknode(‘+’,R.i,T.nptr)} R1 {R.s:=R1.s} R → - T {R1.i:=mknode(‘－’,R.i,T.nptr)} R1 {R.s:=R.s} R → ? {R.s:=R.i} T → ( E ) {T.nptr:=E.nptr} T → id {T.nptr:=mkleaf(id,id.entry)} T → num {T.nptr:=mkleaf(num,num.val)} * * 使用继承属性构造a－4＋c的抽象语法树 E T R id To entry for a id T.nptr - T num num 4 T.nptr R. i - R + T R id To entry for c id T.nptr R. i + R. i ? R. s R. s R. s E.nptr E → T {R.i:=T.nptr} R {E.nptr:=R.s} R → + T {R1.i:=mknode(‘+’,R.i,T.nptr)} R1 {R.s:=R1.s} R → - T {R1.i:=mknode(‘－’,R.i,T.nptr)} R1 {R.s:=R.s} R → ? {R.s:=R.i} T → ( E ) {T.nptr:=E.nptr} T → id {T.nptr:=mkleaf(id,id.entry)} T → num {T.nptr:=mkleaf(num,num.val)} * * 6.4.3 递归下降翻译器的设计 如何在递归下降分析中实现翻译模式，构造递归下降翻译器 * * 设计递归下降翻译器的方法 1. 对每个非终结符A构造一个函数过程，对A的每个继承属性设置一个形式参数 函数的返回值为A的综合属性（作为记录，或指向记录的一个指针，记录中有若干域，每个属性对应一个域）。为了简单，我们假设每个非终结只有一个综合属性 A对应的函数过程中，为出现在A的产生式中的每一个文法符号的每一个属性都设置一个局部变量。 * * 设计递归下降翻译器的方法 2. 非终结符A对应的函数过程中，根据当前的输入符号决定使用哪个产生式候选。 * * 设计递归下降翻译器的方法 3. 每个产生式对应的程序代码中，按照从左到右的次序，对于单词符号（终结符）、非终结符和语义动作分别作以下工作： i) 对于带有综合属性x的终结符X，把x的值存入为X.x设置的变量中。然后产生一个匹配X的调用，并继续读入一个输入符号。 ii) 对于每个非终结符B，产生一个右边带有函数调用的赋值语句c=B(b1,b2,…,bk)，其中，b1,b2,…,bk是为B的继承属性设置的变量，c是为B的综合属性设置的变量。 iii) 对于语义动作，把动作的代码抄进分析器中，用代表属性的变量来代替对属性的每一次引用。 * * 构造抽象语法树的属性文法定义转化成翻译模式 E → T {R.i:=T.nptr} R {E.nptr:=R.s} R → + T {R1.i:=mknode(‘+’,R.i,T.nptr)} R1 {R.s:=R1.s} R → - T {R1.i:=mknode(‘－’,R.i,T.nptr)} R1 {R.s:=R.s} R → ? {R.s:=R.i} T → ( E ) {T.nptr:=E.nptr} T → id {T.nptr:=mkleaf(id,id.entry)} T → num {T.nptr:=mkleaf(num,num.val)} * * 非终结符E、R、T的函数及其参数类型 function E:↑AST-node; function R(in:↑AST-node): ↑AST-node; function T: ↑AST-node; ?用oddop代表＋和－ R → oddop T {R1.i:=mknode(addop.lexme, R.i,T.nptr)} R1 {R.s:=R1.s} R→ ? {R.s:=R.i} * * 产生式R→addop TR|?的分析过程