lr分析器第九章.pptVIP

代码优化的概念 代码优化的角色 代码优化 代码优化的层次 代码优化的评价 代码优化实例介绍 代码优化的角色 软件开发：工程化方法 设计语言的发展：第四代语言 编程模型的发展：构件化 目标：提高软件生产效率 近20年来 5％/年增长 强调：可阅读性、可理解性、可维护性 要求：良好的代码风格 代码优化的角色 运行环境： 体系结构的发展：SMP Cluster，CELL 生成工艺的发展：亚微米－纳米 目标：提高计算性能 摩尔定律 提供：更多硬件机制（指令、寄存器） 要求：充分发挥硬件性能 代码优化的角色 沟通软件开发与运行环境的桥梁 计算机领域基本技术之一 目前的热点研究领域之一 与体系结构结合（IA64） 与设计语言结合（JIT） 身边的实例 Debug/Release版 －O选项 代码优化 代码优化： 为获得较好性能的代码而进行的变换 等价变换：保证运算结果相同 性能指标 速度：高性能计算 空间：工控领域，Firmware … 能耗：移动设备 ?目标? 代码优化 优化策略： 权衡（trade off）：意图、结果 简洁：KISS（Keep It Simple，Stupid） 分工：编译阶段、软件处理、硬件机制 优化的阶段： 代码优化的层次 窥孔优化： 目标代码级别 滑动窗口 局部优化： 中间代码级别 基本块为单位 代码优化的层次 循环优化： 目标代码级别 针对循环 全局优化： 中间代码级别 过程内 代码优化评价 优化效率： 优化前后代码性能的提高 基准测试程序，相同运行环境 优化开销： 优化所花费的代价：时间、存储空间等 不同方法对不同程序的优化效果不同 取决于程序本身的算法 不同优化方法同时使用可能有副作用 直觉:哪个程序快?—优化编译做到一样. int arr[10000]; void Binky() { int i; for (i=0; i 10000; i++) arr[i] = 1; } int arr[10000]; void Winky() { register int *p; for (p = arr; p arr + 10000; p++) *p = 1; } 常数合并（合并已知量） 常数传播 代数化简 强度削弱（削弱运算强度） 复写传播 删除多余运算 循环不变代码外提 变换循环控制条件 删除无用赋值 优化技术简介—常数合并 a = 10 * 5 + 6 - b; _tmp0 = 10 ; _tmp1 = 5 ; _tmp2 = _tmp0 * _tmp1 ; _tmp3 = 6 ; _tmp4 = _tmp2 + _tmp3 ; _tmp5 = _tmp4 – b; a = _tmp5 ; _tmp0 = 56 ; _tmp1 = _tmp0 – b ; a = _tmp1 ; 优化技术简介—常数传播 _tmp4 = 0 ; f0 = _tmp4 ; _tmp5 = 1 ; f1 = _tmp5 ; _tmp6 = 2 ; i = _tmp6 ; f0 = 0 ; f1 = 1 ; i = 2 ; 优化技术简介—代数化简 x+0 = x 0+x = x x*1 = x 1*x = x 0/x = 0 x-0 = x b true = b b false = false b || true = true b || false = b 优化技术简介—削弱运算强度 a) i*2 = 2*i = i+i = i2 b) i/2 = (int)(i*0.5) c) 0-1 = -1 d) f*2 = 2.0 * f = f + f e) f/2.0 = f*0.5 优化技术简介—复写传播 tmp2 = tmp1 ; tmp3 = tmp2 * tmp1; tmp4 = tmp3 ; tm