第七章语义分析和中间代码生成ppt课件.ppt

《第七章语义分析和中间代码生成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op，

2、其中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中间语言后缀式表示法是波兰逻辑学家卢卡西维奇（Lukasiewicz）发明的一种表示表达式的方法因此又称逆波兰表示法。这种表示法是把运算量（操作数）写在前面把算符写在后面（

3、后缀）。7.1中间语言把表达式翻译为后缀式的语义规则描述产生式语义规则E→E1opE2E.code:＝E1.code

4、

5、E2.code

6、

7、opE→（E1）E．code:=E1.codeE→idE．code:＝id7.1中间语言后缀式不需要括号(84)+2的后缀表示是842+后缀式的最大优点是便于计算机处理表达式后缀式很容易拓广到含一元算符的表达式后缀式也可以拓广到表示赋值语句和控制语句，但很难用栈来描述它的计算7.1中间语言7.1.2图形表示图表示法包括DAG与抽象语法树语法树是一种图形化的中间表示a

8、ssigna++bcdcduminus(a)语法树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

9、+E2E.nptr:=mknode(‘+’,E1.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的

10、一种线性表示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:=t57.1中间语言本书常用的三地址语句赋值语句x:=yopz，x:=opy，x:=y无条件转移gotoL条件转移ifxrelopygotoL过程调用paramx和callp,n过程返回returny索引赋值x:=y[i]和x[i]:=y地址和指针赋值x:=&y，x:=y和x:=yT1:

11、＝y*zT2:＝x＋T1T1:=－cT1:=－cT2:=b*T1T2:=b*T1T3:=－cT5:=T2+T4T4:=b*T3a:=T5T5:=T2+T4a:=T5图7.5　相应于图7.3的树和DAG的三地址代码（a）对于抽象语法树的代码；(b)对于DAG的代码四元式、三元式、间接三元式三地址语句可看成中间代码的一种抽象形式。编译程序中，三地址代码语句的具体实现可以用记录表示，记录中包含表示运算符和操作数的域。通常有三种表示方法：四元式、三元式、间接三元式。a:＝b*－c＋b*－c四元式三元式oparg

12、1arg2resultoparg1arg2(0)uminuscT1(0)uminusc*bT1T2(1)*b(0)(2)uminuscT3(2)uminusc(3)*bT3T4(3)*b(2)(4)+T2T4T5(4)+(1)(3)(5):=T5a(5)assigna(4)7.2说明语句为局部名字建立符号表条目为它分配存储单元符号表中包含名字的类型和分配给它的存储单元的相对地址等信息7.2说明语句7.2.1过程中的声明7.2说