汇编语言中间代码生成.ppt

《汇编语言中间代码生成.ppt》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第七章中间代码生成本章内容介绍几种常用的中间表示：后缀表示、图形表示和三地址代码用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式分析器静态检查器中间代码生成器中间代码记号流代码生成器7.1中间语言7.1.1后缀表示表达式E的后缀表示可以如下归纳定义如果E是变量或常数，那么E的后缀表示就是E本身。7.1中间语言7.1.1后缀表示表达式E的后缀表示可以如下归纳定义如果E是变量或常数，那么E的后缀表示就是E本身。如果E是形式为E1opE2的表达式，那么E的后缀表示是E1E2

2、op，其中E1和E2分别是E1和E2的后缀表示。7.1中间语言7.1.1后缀表示表达式E的后缀表示可以如下归纳定义如果E是变量或常数，那么E的后缀表示就是E本身。如果E是形式为E1opE2的表达式，那么E的后缀表示是E1E2op，其中E1和E2分别是E1和E2的后缀表示。如果E是形式为(E1)的表达式，那么E1的后缀表示也是E的后缀表示。7.1中间语言后缀表示不需要括号(84)+2的后缀表示是842+7.1中间语言后缀表示不需要括号(84)+2的后缀表示是842+后缀表示的最大

3、优点是便于计算机处理表达式7.1中间语言后缀表示不需要括号(84)+2的后缀表示是842+后缀表示的最大优点是便于计算机处理表达式后缀表示很容易拓广到含一元算符的表达式7.1中间语言后缀表示不需要括号(84)+2的后缀表示是842+后缀表示的最大优点是便于计算机处理表达式后缀表示很容易拓广到含一元算符的表达式后缀表示也可以拓广到表示赋值语句和控制语句，但很难用栈来描述它的计算7.1中间语言7.1.2图形表示语法树是一种图形化的中间表示assigna++bcdcduminus(a)语法树

4、a=(b+cd)+cd的图形表示7.1中间语言7.1.2图形表示抽象语法树是一种图形化的中间表示有向无环图也是一种中间表示assigna++bcdcduminusassigna++bcduminus(a)语法树(b)daga=(b+cd)+cd的图形表示7.1中间语言构造赋值语句抽象语法树的语法制导定义产生式语义规则Sid:=ES.nptr=mknode(‘assign’,mkleaf(id,id.entry),E.nptr)EE1+E2E.nptr=mknode(‘+’,E

5、1.nptr,E2.nptr)EE1E2E.nptr=mknode(‘’,E1.nptr,E2.nptr)EE1E.nptr=mkunode(‘uminus’,E1.nptr)E(E1)E.nptr=E1.nptrFidE.nptr=mkleaf(id,id.entry)7.1中间语言7.1.3三地址代码一般形式：x=yopz表达式x+yz翻译成的三地址语句序列是t1=yzt2=x+t17.1中间语言三地址代码是抽象语法树或dag的一种线性表示a=(b+cd)+cd抽象语法

6、树的代码t1=bt2=cdt3=t1+t2t4=cdt5=t3+t4a=t5assigna++bcdcduminus7.1中间语言三地址代码是语法树或dag的一种线性表示a=(b+cd)+cd语法树的代码dag的代码t1=bt1=bt2=cdt2=cdt3=t1+t2t3=t1+t2t4=cdt4=t3+t2t5=t3+t4a=t4a=t5assigna++bcduminus7.1中间语言本书常用的三地址语句赋值语句x=yopz，x=opy，x=y无条件转移gotoL条

7、件转移ifxrelopygotoL过程调用paramx和callp,n过程返回returny索引赋值x=y[i]和x[i]=y地址和指针赋值x=&y，x=y和x=y7.1中间语言赋值语句生成三地址代码的属性文法产生式语义规则Sid:=ES.code=E.code

8、

9、gen(id.place‘=‘E.place)EE1+E2EE1E27.1中间语言赋值语句生成三地址代码的属性文法产生式语义规则Sid:=ES.code=E.code

10、

11、gen(id.place‘=‘E.place)EE

12、1+E2E.Place=newtemp;E.Code=E1.code

13、

14、E2.code

15、

16、gen(E.place‘=‘E1.place‘+’E2.place)EE1E27.1中间语言赋值语句生成三地址代码的属性文法产生式语义规则Sid:=ES.code=E.code

17、

18、gen(id.place‘=‘E.place)EE1+E2E.Place=newtemp;E.Code=E1.code

19、

20、E2.code

21、

22、gen(E.place‘=‘E1.place‘+’E2.place)