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

中国科大 第七章 中间代码生成 本章内容 介绍几种常用的中间表示：后缀表示、图形表示和三地址代码 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式 7.1 中 间 语 言 7.1.1 后缀表示 表达式E的后缀表示可以如下归纳定义 如果E是变量或常数，那么E的后缀表示就是E本身。 7.1 中 间 语 言 7.1.1 后缀表示 表达式E的后缀表示可以如下归纳定义 如果E是变量或常数，那么E的后缀表示就是E本身。 如果E是形式为E1 opE2的表达式，那么E的后缀表示是E1? E2? op，其中E1?和E2?分别是E1和E2的后缀表示。 7.1 中 间 语 言 7.1.1 后缀表示 表达式E的后缀表示可以如下归纳定义 如果E是变量或常数，那么E的后缀表示就是E本身。 如果E是形式为E1 opE2的表达式，那么E的后缀表示是E1? E2? op，其中E1?和E2?分别是E1和E2的后缀表示。 如果E是形式为(E1)的表达式，那么E1的后缀表示也是E的后缀表示。 7.1 中 间 语 言 后缀表示不需要括号 (8 ? 4) + 2 的后缀表示是8 4 ?2 + 7.1 中 间 语 言 后缀表示不需要括号 (8 ? 4) + 2 的后缀表示是8 4 ?2 + 后缀表示的最大优点是便于计算机处理表达式 7.1 中 间 语 言 后缀表示不需要括号 (8 ? 4) + 2 的后缀表示是8 4 ?2 + 后缀表示的最大优点是便于计算机处理表达式 后缀表示很容易拓广到含一元算符的表达式 7.1 中 间 语 言 后缀表示不需要括号 (8 ? 4) + 2 的后缀表示是8 4 ?2 + 后缀表示的最大优点是便于计算机处理表达式 后缀表示很容易拓广到含一元算符的表达式 后缀表示也可以拓广到表示赋值语句和控制语句，但很难用栈来描述它的计算 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 抽象语法树的代码 t1 = ?b t2 = c ? d t3 = t1 + t2 t4 = c ? d t5 = t3 + t4 a = t5 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 7.1 中 间 语 言 赋值语句生成三地址代码的属性文法 7.1 中 间 语 言 赋值语句生成三地址代码的属性文法 7.1 中 间 语 言 赋值语句生成三地址代码的属性文法 7.1 中 间 语 言 赋值语句生成三地址代码的属性文法 7.1 中 间 语 言 赋值语句生成三地址代码的属性文法 7.1 中 间 语 言 赋值语句生成三地址代码的属性文法 7.1 中 间 语 言 三地址代码的具体表现形式： 四元式 三元式 间接三元式 7.1 中 间 语 言 四元式:a = b * -c + b * -c 7.1 中 间 语 言 三元式:a = b * -c + b * -c 7.1 中 间 语 言 间接三元式:a = b * -c + b * -c 7.1 中 间 语 言 练习： 将表达式: -(a+b)*((c+d)-(a+b+c)) 分别表示成:后缀式、抽象语