第10章代码优化哈工大王宏志.pptVIP

第十章 代码优化;优化的概念;优化的分类;代码优化程序的结构;基本块和流图;流图的构造;流图的例子;基本块的优化;常量合并;公共子表达式删除;例子;强度削弱;无用代码删除;等价变换的分类;基本块优化的实现;DAG图的例子;四元式的分类;基本块DAG图构造算法;基本块DAG图构造算法（续）;生成DAG图的例子;DAG图的应用;[]=和=运算符的处理;从DAG图到四元式序列;从DAG重建四元式序列算法;从DAG重建四元式序列算法(续);使用DAG图进行优化的例子(四元式序列);使用DAG图进行优化的例子(DAG图);从DAG图到四元式序列;DAG的其他应用;与循环有关的优化;循环不变式（代码）外提;循环不变式的例子;四元式的循环不变式;循环不变四元式的相对性;循环不变表达式优化需要解决的问题;归纳变量的删除（例子）;归纳变量的删除;归纳变量的删除（四元式例子）;归纳变量的删除;计算强度削弱;计算强度削减（下标变量）;下标变量计算强度的削减（例子）;下标变量计算强度的削减（例子）;下标变量计算强度的削减结果;下标地址优化计算的条件;循环优化的实现;循环结构的识别;循环满足的条件;回边和自然循环;自然循环的例子;回边寻找算法;寻找自然循环的算法;算法的说明;相关概念;可归约流图;数据流分析相关概念;数据流分析的种类;到达-定义数据流方程;到达定义数据流方程（记号）;到达定义数据流方程;方程求解算法;算法例子;计算过程;活跃变量数据流方程;记号;活跃变量数据流方程;活跃变量数据流方程求解;活跃变量数据流方程例子;迭代过程;可用表达式数据流方程;概念;记号;E_GEN[B]的计算;E_KILL[B]的计算;数据流方程;方程求解算法;算法说明;寻找循环不变表达式算法;不变四元式外提方法;代码外提不合法的情况（1）;代码外提不合法的情况（2）;代码外提不合法的情况（3）;不变四元式外提的条件;外提算法;循环不变式外提的例子;关于归纳变量的优化;例子（源程序）;寻找循环的归纳变量算法;算法说明;归纳变量的计算强度削弱算法;算法的说明;归纳变量的删除;归纳变量的删除算法;全局公共子表达式消除;全局公共子表达式删除;全局公共子表达式消除(图示);复制四元式的消除;消除复制四元式的条件;记号;数据流方程;复制传播算法;复制传播算法的例子;循环优化的例子(原始流图）;寻找回边以及自然循环;寻找公共子表达式;公共子表达式的优化;寻找归纳变量;归纳变量的优化;优化结果;窥孔优化;冗余指令删除;冗余指令删除;控制流优化;控制流优化（续）;控制流优化（续）;代数化简;特殊指令的使用