高教社课件现代编译器设计与实现6.1 机器无关高级优化v2.pptxVIP

第5讲机器无关高级优化;CONTENT;机器无关高级优化;定义;简单的例子——不涉及分支跳转;简单的例子——涉及分支跳转;简单的例子——涉及分支跳转;简单的例子——涉及分支跳转;伪代码

;死代码删除;算法示例;算法示例;算法示例;算法示例;算法示例;算法示例;算法示例;算法示例;算法示例;算法示例;算法示例;机器无关高级优化;循环的定义;将Tarjan算法应用在CFG上，可得到若干个强连通分量和对应的根节点;删除循环对应的循环头，破坏最外层循环的强连通分量，重新应用Tarjan算法寻找强连通分量作为内部循环;循环搜索接口;机器无关高级优化;概念简介;循环不变式外提算法;识别循环不变式;识别循环不变式;识别循环不变式;外提不变式;外提不变式;外提不变式;嵌套循环处理;下期再见！