机器无关的优化南京大学计算机科学与技术系.ppt

区域层次结构的例子 叶子区域：R1,R2,R3,R4,R5; 循环体区域：R6 循环区域：R7 整个程序的区域：R8 基于区域的分析技术的概述（1） 对每个区域R及R中的每个子区域R’，我们计算传递函数fR,IN[R’]，概括从R的入口到达R’的入口的全部可能路径的运行效果 出口基本块 区域R内的基本块B有到R之外的边，B就是R的出口基本块 计算从R入口基本块到B的出口处的传递函数fR,OUT[B]。 基于区域的分析技术的步骤（1） 从最小的区域开始，为越来越大的区域计算传递函数 叶子区域的传递函数：fB,IN[B]是单元函数，fB,OUT[B]是B的传递函数 逐步处理更大的R R是一个体区域 R是它的子区域组成的无环图； 按照拓扑排序计算各个传递函数 R是循环区域 考虑回边的效果 基于区域的分析技术的步骤（2） 最终得到整个程序的传递函数之后，按照相反顺序计算得到各个基本块入口处的数据流值 设R入口处的数据流值x，子区域R’入口处的数据流值 fR,IN[R’](X) 直到计算完成各个基本块的入口处的值 传递函数的假设 需要三个作用于传递函数的基本运算 组合、交汇运算、闭包运算 组合 用于计算一个结点序列对应的传递函数 gen_kill模式的传递函数对组合封闭 交汇运算∧f (f1∧ff2)(x)=f1(x)∧f2(x) 闭包预算 f* = ∧n=0fn。 对于gen_k