[高等教育]第7章 中间代码生成.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的后缀表示 7.1 中 间 语 言 后缀表示不需要括号 (8 ? 5) + 2 的后缀表示是8 5 ?2 + 后缀表示的最大优点是便于计算机处理表达式 计算栈 输入串 8 5 ?2 + 8 5 ?2 + 8 5 ?2 + 3 2 + 3 2 + 5 7.1 中 间 语 言 后缀表示不需要括号 (8 ? 5) + 2 的后缀表示是8 5 ?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.4 静态单赋值形式 一种便于某些代码优化的中间表示 和三地址代码的主要区别 所有赋值指令都是对不同名字的变量的赋值 三地址代码 静态单赋值形式 p = a +b p1 = a +b q = p ? c q1 = p1 ? c p = q ? d p2 = q1 ? d p = e ? p p3 = e ? p2 q = p + q q2 = p3 + q1 7.1 中 间 语 言 7.1.4 静态单赋值形式 一种便于某些代码优化的中间表示 和三地址代码的主要区别 所有赋值指令都是对不同名字的变量的赋值 一个变量在不同路径上都定值的解决办法 if (flag) x = ?1; else x = 1; y = x ? a; 的条件语句改成 if (flag) x1 = ?1; else x2 = 1; x3 = ? (x1, x2); //由flag的值决定用x1还是x2 7.2 声 明 语 句 本节介绍 为局部名字建立符号表条目 为它分配存储单元 符号表中包含名字的类型和分配给它的存储单元的相对地址等信息 7.2 声 明 语 句 7.2.1 过程中的声明 7.2 声 明 语 句 计算被声明名字的类型和相对地址 P ? {offset = 0} D; S D ? D ; D D ? id : T {enter ( id.lexeme, T.type, offset); offset = offset + T.width } T ? integer {T