七章中间代码生成compiler-principle16编译器原理.pptxVIP

第七章中间代码生成中间代码：介乎源语言与目标代码之间，比源语言简单，比目标代码复杂。区分编译器的前端与后端，方便提出针对新机器的编译器。可以设计针对中间代码的优化器。分析器静态检查器中间代码生成器中间代码记号流代码生成器1/34

例：编译阶段proceduresortvara:array[0..9]ofinteger;x:integer;Beginx:=a[3];End;词法分析器语法分析器记号流语法树类型检查器中间代码生成建立符号表、查询符号表过程sort的符号表“x”“a”表头空sort数组整数515???返回值和参数a[0]a[1]a[2]…a[9]控制链访问链和机器状态代码段静态数据区x↑15=↑5+3515查符号表，确定变量是否已经定义运行栈

例：编译后、运行前↑15=↑5+3。。。。。。。。此时只有可执行的代码，没有符号表了，更没有运行栈（活动记录栈）可执行代码

例：运行阶段???返回值和参数a[0]a[1]a[2]…a[9]控制链访问链和机器状态代码段静态数据区x↑15=↑5+3515。。。。。。。。加载可执行代码执行顺序运行栈

第七章中间代码生成本章内容介绍中间代码的几种常用表示方法：后缀表示、图形表示和三地址代码用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式5/34

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

7.1中间语言7.1.1后缀表示后缀表示的最大优点是便于计算机处理表达式(8?4)+2的后缀表示是84?2+返回值和参数控制链访问链和机器状态局部数据临时数据返回值和参数局部数据临时数据???控制链访问链和机器状态top_spbase_sp栈后缀表示图形表示三地址代码8运行时！注意区分运行与编译的区别。

7.1中间语言7.1.1后缀表示后缀表示的最大优点是便于计算机处理表达式(8?4)+2的后缀表示是84?2+返回值和参数控制链访问链和机器状态局部数据临时数据返回值和参数局部数据临时数据???控制链访问链和机器状态top_spbase_sp栈后缀表示图形表示三地址代码84

7.1中间语言7.1.1后缀表示后缀表示的最大优点是便于计算机处理表达式(8?4)+2的后缀表示是84?2+返回值和参数控制链访问链和机器状态局部数据临时数据返回值和参数局部数据临时数据???控制链访问链和机器状态top_spbase_sp栈后缀表示图形表示三地址代码484-即8-4=484

7.1中间语言7.1.1后缀表示后缀表示的最大优点是便于计算机处理表达式(8?4)+2的后缀表示是84?2+返回值和参数控制链访问链和机器状态局部数据临时数据返回值和参数局部数据临时数据???控制链访问链和机器状态top_spbase_sp栈后缀表示图形表示三地址代码4210/34

7.1中间语言7.1.1后缀表示后缀表示的最大优点是便于计算机处理表达式(8?4)+2的后缀表示是84?2+返回值和参数控制链访问链和机器状态局部数据临时数据返回值和参数局部数据临时数据???控制链访问链和机器状态top_spbase_sp栈后缀表示图形表示三地址代码684-2+即8-4+2=642

7.1中间语言7.1.2图形表示语法树是一种图形化的中间表示 assigna++??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.n