编译原理课程第17讲.pptVIP

中国科大 第七章 中间代码生成 中间代码： 介乎源语言与目标代码之间，比源语言简单，比目标代码复杂。 区分编译器的前端与后端，方便提出针对新机器的编译器。 可以设计针对中间代码的优化器。 例：编译阶段 例：编译后、运行前 例：运行阶段 第七章 中间代码生成 本章内容 介绍中间代码的几种常用表示方法：后缀表示、图形表示和三地址代码 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式 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 中 间 语 言 7.1 中 间 语 言 7.1 中 间 语 言 7.1 中 间 语 言 7.1 中 间 语 言 7.1.2 图形表示 语法树是一种图形化的中间表示 7.1 中 间 语 言 7.1.2 图形表示 语法树是一种图形化的中间表示 有向无环图也是一种中间表示 7.1 中 间 语 言 构造赋值语句语法树的语法制导定义 7.1 中 间 语 言 7.1.3 三地址代码 一般形式：x := y op z 表达式x + y ? z翻译成的三地址语句序列是 t1 := y ? z t2 := x + t1 7.1 中 间 语 言 三地址代码是语法树或dag的一种线性表示 a := (?b + c?d ) + c?d 语法树的代码 dag的代码 t1 := ?b t1 := ?b t2 := c ? d t2 := c ? d t3 := t1 + t2 t3 := t1 + t2 t4 := c ? d t4 := t3 + t2 t5 := t3 + t4 a := t4 a := t5 7.1 中 间 语 言 本书常用的三地址语句 赋值语句x := y op z， x := op y， x := y 无条件转移goto L 条件转移if x relop y goto L 过程调用param x 和call p , n 过程返回 return y 索引赋值x := y[i]和 x[i] := y 地址和指针赋值x := y，x := ?y和?x := y * 分析 器 静态 检查 器 中间 代码 生成 器 中间 代码 记号流 代码 生成 器 1/17 procedure sort x:integer; var a: array[0..9] of integer; Begin x:= a[3]+3; End; 词法分析器 语法分析器 记号流 语法树 类型检查器 中间代码生成 建立符号表、查询符号表 过程sort的符号表 “x” “a” 表 头 空 sort 数组 整数 5 15 ? ? ? 返回值和参数 a[0] a[1] a[2] … a[9] 控制链 访问链和机器状态 代码段 静态数据区 x ↑15= ↑8+3 5 15 查符号表，确定变量是否已经定义 运行栈 ↑15= ↑8+3 。。。。 。。。。 此时只有可执行的代码，没有符号表了，更没有运行栈（活动记录栈） 可执行代码 ? ? ? 返回值和参数 a[0] a[1] a[2] … a[9] 控制链 访问链和机器状态 代码段 静态数据区 x ↑15= ↑8+3 5 15 。。。。 。。。。 加载 可执行代码 执行顺序 运行栈 5/17 后缀表示 图形表示 三地址代码 7.1.1 后缀表示 后缀表示的最大优点是便于计算机处理表达式 (8 ? 4) + 2的后缀表示是8 4 ?2 + 返回值和参数 控制链 访问链和机器状态 局部数据临时数据 返回值和参数 局部数据临时数据 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 后缀表示 图形表示 三地址代码 8 运行时！注意区分运行与编译的区别。 7.1.1 后缀表示 后缀表示的最大优点是便于计算机处理表达式 (8 ? 4) + 2的后缀表示是8 4 ?2 + 返回值和参数 控制链 访问链和机器状态 局部数据临时数据 返回值和参数 局部数据临时数据 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 后缀表示 图形表示 三地址代码 8 4 7.1.1 后缀