南开大学编译原理第8章课件.ppt

南开大学编译原理第8章课件.ppt第八章中间代码生成学****内容三地址码表示方法声明语句的翻译赋值语句的翻译::=b*-c+b*-c语法树方式表示后缀表示——语法树的线性表示方式abcuminus*bcuminus*+assign语法制导定义构造语法树PRODUCTION SemanticRuleSid:=E {=mknode(‘assign’, mkleaf(id,),)}EE1+E2 {=mknode(‘+’,,)}EE1*E2 {=mknode(‘*’,,)}E-E1 {=mknode(‘uminus’,)}E(E1) {=}Eid {=mkleaf(id,)}-AddressCode一般形式:x:=yopz语法树、dag的线性化表示t1:=-c t1:=-ct2:=b*t1 t2:=b*t1t3:=-c t5:=t2+t2t4:=b*t3 a:=t5t5:=t2+t4a:=:x:=yopz一元运算:x:=opy复制语句:x:=y无条件转移:gotoL条件转移:ifxrelopygotoL函数调用:paramx1 paramx2 … paramxn callp,n数组:x:=y[i], x[i]:=y指针:x:=&y, x:=*y语法制导翻译生成三地址码赋值语句:id:=::计算E的三地址代码newtemp:生成临时变量名gen:输出一条三地址码指令赋值语句的翻译PRODUCTION SemanticRuleSid:=E {=||gen(‘:=’)}EE1+E2 {=newtemp; =|||| ||gen(‘:=’‘+’)}EE1*E2 {=newtemp; =|||| ||gen(‘:=’‘*’)}E-E1 {=newtemp; =|| ||gen(‘:=’‘uminus’)}E(E1) {=;=}Eid {=;=‘’}控制流语句的翻译while语句:SwhileEdoS1翻译为 : = :语法制导定义:=newlabel;=newlabel;=gen(‘:’)||||gen(‘if’‘=’‘0’‘goto’ )||||gen(‘goto’)||gen(‘:’)