622302022_slide1.pptVIP

中间代码生成 例：右边源程序中的 赋值语句可能转化为 如下抽象语法树形式 的中间表示 Var rate:real; Var position :real; Var initial :real; … position := initial + rate * 60 /* warning */; … inttoreal 60 := + * Id1 (position) Id2 (initial) Id3 (rate) 编译程序的逻辑结构 id1:= id2 + id3 * 60 (1) (inttoreal, 60 - t1 ) (2) (* , id3 t1 t2 ) (3) (+ , id2 t2 t3 ) (4) (:= , t3 - id1 ) 编译程序的逻辑结构 中间代码生成 例：右边源程序中的 赋值语句可能转化为 如下三地址码形式的 中间表示 Var rate:real; Var position :real; Var initial :real; … position := initial + rate * 60 /* warning */; … 运行时存储组织 代码生成前如何安排目标机资源的使用， 需要明确存储布局和存储分配策略 几个常见问题 数据表示 如何在目标机中表示每个源语言类型 的值 表达式计算 如何组织表达式的计算 存储分配 如何组织不同作用域变量的存储 过程实现 如何以例程实现过程/函数调用，参数 传递 编译程序的逻辑结构 代码优化 应用各种优化技术对代码进行变换 以使得编译产生的目标代码高效 例： id1:= id2 + id3 * 60 (1) (inttoreal, 60 - t1 ) (2) (* , id3 t1 t2 ) (3) (+ , id2 t2 t3 ) (4) (:= , t3 - id1 ) (1) (* , id3 60.0 t1 ) (2) (+ , id2 t1 id1 ) 可优化为： 编译程序的逻辑结构 目标代码生成 生成目标机（低级）代码 例： (1) (* , id3 60.0 t1 ) (2) (+ , id2 t1 id1 ) 生成汇编代码： movf id3,R2 mulf #60.0,R2 movf id2,R1 addf R2,R1 movf R1,id1 编译程序的逻辑结构 符号表组织与管理 记录源程序中使用的名字 收集每个名字的各种属性信息 类型 作用域 分配存储信息 符号表管理（symbol table management ） 登录 查找 编译程序的逻辑结构 出错处理（error handling） 主要工作 检查错误 报告出错信息（error reporting） 排错 恢复编译工作（error recovery） 编译程序的逻辑结构 编译程序的组织 编译程序的遍（Passes） 对一种代码形式从头到尾扫描描一遍 将一个代码空间变换到另一个代码空间 代码空间 = 代码 + 符号表 + 其他有用信息 编译程序的组织取决于各遍的组织 单遍编译程序，多遍编译程序 多个遍之间有逻辑上的先后关系 多个遍的实现可采用顺序结构或并发结构 （后者不常用） 编译程序的组织 例：一个以语法、语义分析程序为中心的 单遍编译程序组织 source program target program 语法、语义分析程序 词法分析程序 代码生成程序 编译程序的伙伴程序 解释程序（Interpreter） 不产生目标程序文件 不区别翻译阶段和执行阶段 翻译源程序的每条语句后直接执行 程序执行期间一直有解释程序守候 常用于实现虚拟机 比较编译程序和解释程序 源程序 编译程序 目标程序 输入 目标程序 输出 解释程序 输出 输入 源程序 预处理程序（Preprocessor） 支持宏定义（Macro definition） 如C源程序中 #define 行的处理 支持文件包含（File inclusion） 如C源程序中 #include 行的处理 支持其他更复杂的源程序扩