ch6(新)剖析.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6.4 源程序的内部中间表示 一、抽象语法树 二、逆波兰表示 三、四元式序列 1.表示法约定 2.四元式序列之例 3.从四元式序列生成目标代码 双目运算的一般形式：运算符 运算分量 运算分量 结果 其中，运算分量和结果可以是变量、常量或由编译程序引进的临时变量。 6.4 源程序的内部中间表示 一、抽象语法树 二、逆波兰表示 三、四元式序列 1.表示法约定 2.四元式序列之例 3.从四元式序列生成目标代码 例 for i:=1 to 100 do s:=s+i； 展开为： i:=1； 10:if i = 100 then begin s:=s+i； i:=i+1； goto 10 end； 四元式序列： (1)(:=,1,/,i) (2)(,i,100,(6)) (3)(+,s,i,s) (4)(+,i,1,i) (5)(GO,(2),/,/) (6) 6.4 源程序的内部中间表示 一、抽象语法树 二、逆波兰表示 三、四元式序列 1.表示法约定 2.四元式序列之例 3.从四元式序列生成目标代码 如果对于四元式的一切运算符都有对应的目标机器操作码，从四元式序列生成目标代码的工作是容易实现的。主要问题是运算分量与计算结果的存取问题，在生成目标指令时，要考虑四元式中运算分量是在寄存器中还是在内存中，当在寄存器中时，以后还会被使用否，等等。 6.4 源程序的内部中间表示 一、抽象语法树 二、逆波兰表示 三、四元式序列 四、三元式序列 1.表示法约定 2.三元式序列之例 三元式的一般形式： 运算符 运算分量 运算分量 其中三元式的序号代表相应三元式的运算结果 6.4 源程序的内部中间表示 一、抽象语法树 二、逆波兰表示 三、四元式序列 四、三元式序列 1.表示法约定 2.三元式序列之例 GOF：按假转 GOT：按真转 例 for i:=1 to 100 do s:=s+i； 展开为： i:=1； 10:if i = 100 then begin s:=s+i； i:=i+1； goto 10 end； 四元式序列：(1)(:=,1,/,i) (2)(,i,100,(6)) (3)(+,s,i,s) (4)(+,i,1,i) (5)(GO,(2),/,/) (6) 三元式序列：(1)(:=,1,i) (2)(,i,100) (3)(GOT,(9),(2)) (4)(+,s,i) (5)(:=,(4),s) (6)(+,i,1) (7)(:=,(6),i) (8)(GO,(2),/) (9) 本章小结 程序的含义: 数据结构 控制结构 语义分析: 确定类型 类型检查 识别含义,生成目标代码或内部中间表示 其他静态语义检查 本章小结 语法制导的翻译: 基于属性文法 语法制导定义 翻译方案 相关概念：注释分析树、综合属性、继承属性、依赖图。 本章小结 控制语句的翻译： 根据一个控制语句的语义和执行步骤确定目标代码的结构，然后按其写出语法制导定义或翻译方案。 相关概念：回填。 源程序内部中间表示: 逆波兰表示 抽象语法树 四元式序列 三元式序列 * * * * * * * * * * * * * * * * * * * * * * * * 6.1.3 类型体制与语义分析 一、类型表达式