编译原理课件compiler_ch8.pdf

Ch7 代码优化 7.1 代码优化综述 7.1.1 代码优化概念 代码优化 在不改变程序运行效果的前提下，对被编 译的程序进行等价变换，使之能生成更加高效 的目标代码。 等价：不改变程序执行效果； 优化整体过程 变换：引起程序形式上的变 动； Ch7 代码优化 7.1 代码优化综述 7.1.1 代码优化概念 改进、提高程序途径 1） 改进算法； 2 ） 在源程序级上等价变换； 3 ） 充分利用系统提供的程序库； 4 ） 编译时优化等。 优化目的 产生高效的目标代码。 时间：源程序运行时间尽可能短 ； 空间：程序及数据所占空间尽可能少 Ch7 代码优化 7.1 代码优化综述 7.1.1 代码优化概念 为什么要实施优化 优化程度是编译器的一个重要技术、质量 目标； 无法苛求用户对源语言的掌握，编程技巧 ，编写源程序的优化； 编译程序固有的缺陷：不是面对一个或一 类具体问题的程序，而是统一处理该语言 的各种源程序，无法尽善尽美。 Ch7 代码优化 7.1 代码优化综述 7.1.1 代码优化概念 例如， int a[25][25] , b[25][25]; … a[i][j] = b[i][j]; … 对a[i][j] = b[i][j]翻译的目标代码： 计算a[i][j] 的addr 重复 计算b[i][j] 的addr 赋 值 Ch7 代码优化 7.1 代码优化综述 7.1.2 优化技术分类 一. 优化所涉及的源程序的范围 局部优化 — 基本块内优化； 循环优化 — 隐式、显式循环体内优化； 全局优化 — 一个源程序范围内优化； 二. 优化相对于编译逻辑功能实现的阶段 中间代码级 — 目标代码生成前的优化； 目标代码级 — 目标代码生成后的优化。 Ch7 代码优化 7.1 代码优化综述 7.1.2 优化技术分类 三. 优化具体实现技术的角度 1. Constant folding and propagation Before optimization After optimization X = 2; X = 2; Y = X + 10; Y = 12; Z = 2 * Y; Z = 24; 常量合并、传播 Ch7 代码优化 7.1 代码优化综述 7.1.2 优化技术分类 2 . Common subexpression elimination