编译原理课件第七章 中间代码生成.pptVIP

* * * * * 7.3 赋 值 语 句 7.3.2 临时名字的重新使用 大量临时变量的使用对优化有利 大量临时变量会增加符号表管理的负担 也会增加运行时临时数据占的空间 E ? E1 + E2的动作产生的代码的一般形式为 计算E1到t1 计算E2到t2 t3 := t1 + t2 ( ( ) ) ( ( ( ) ( ) ) ( ) ) 临时变量的生存期像配对括号那样嵌套或并列 7.3 赋 值 语 句 基于临时变量生成期特征的三地址代码 x := a ? b + c ? d ? e ? f 语 句 c的值 0 $0 := a ? b 1 $1 := c ? d 2 $0 := $0 + $1 1 $1 := e ? f 2 $0 := $0 ? $1 1 x := $0 0 临时变量的数目 课堂练习 7.1, 7.4, 7.5 34/34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 中国科大 第七章 中间代码生成 中间代码： 介乎源语言与目标代码之间，比源语言简单，比目标代码复杂。 区分编译器的前端与后端，方便提出针对新机器的编译器。 可以设计针对中间代码的优化器。 分析 器 静态 检查 器 中间 代码 生成 器 中间 代码 记号流 代码 生成 器 1/34 例：编译阶段 procedure sort var a: array[0..9] of integer; x:integer; Begin x:= a[3]; End; 词法分析器 语法分析器 记号流 语法树 类型检查器 中间代码生成 建立符号表、查询符号表 过程sort的符号表 “x” “a” 表 头 空 sort 数组 整数 5 15 ? ? ? 返回值和参数 a[0] a[1] a[2] … a[9] 控制链 访问链和机器状态 代码段 静态数据区 x ↑15= ↑5+3 5 15 查符号表，确定变量是否已经定义 运行栈 例：编译后、运行前 ↑15= ↑5+3 。。。。 。。。。 此时只有可执行的代码，没有符号表了，更没有运行栈（活动记录栈） 可执行代码 例：运行阶段 ? ? ? 返回值和参数 a[0] a[1] a[2] … a[9] 控制链 访问链和机器状态 代码段 静态数据区 x ↑15= ↑5+3 5 15 。。。。 。。。。 加载 可执行代码 执行顺序 运行栈 第七章 中间代码生成 本章内容 介绍中间代码的几种常用表示方法：后缀表示、图形表示和三地址代码 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式 5/34 7.1 中 间 语 言 7.1.1 后缀表示 表达式E的后缀表示可以如下递归定义 如果E是变量或常数，那么E的后缀表示就是E本身。 如果E是形式为E1 opE2的表达式，那么E的后缀表示是E1? E2? op，其中E1?和E2?分别是E1和E2的后缀表示。 如果E是形式为(E1)的表达式，那么E1的后缀表示也是E的后缀表示。 后缀表示不需要括号 (8 ? 4) + 2 的后缀表示是8 4 ?2 + 后缀表示 图形表示 三地址代码 7.1 中 间 语 言 7.1.1 后缀表示 后缀表示的最大优点是便于计算机处理表达式 (8 ? 4) + 2的后缀表示是8 4 ?2 + 返回值和参数 控制链 访问链和机器状态 局部数据临时数据 返回值和参数 局部数据临时数据 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 后缀表示 图形表示 三地址代码 8 运行时！注意区分运行与编译的区别。 7.1 中 间 语 言 7.1.1 后缀表示 后缀表示的最大优点是便于计算机处理表达式 (8 ? 4) + 2的后缀表示是8 4 ?2 + 返回值和参数 控制链 访问链和机器状态 局部数据临时数据 返回值和参数 局部数据临时数据 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 后缀表示 图形表示 三地址代码 8 4 7.1 中 间 语 言 7.1.1 后缀表示 后缀表示的最大优点是便于计算机处理表达式 (8 ? 4) + 2的后缀表示是8 4 ?2 + 返回值和参数 控制链 访问链和机器状态 局部数据临时数据 返回值和参数 局部数据临时数据 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 后缀表示 图形