补充二信息流分析.pptVIP

检测：针对第一种情况（无定值而使用） in_d[B]:表示在B入口处所有定值的变量之集； out_d[B]:表示B在出口处所有定值的变量之集； def_d[B]:表示B中所有定值的变量之集。 数据流方程： in_d[B*]={ } B*为入口块 in_d[B]=∪（或∩）i=1,2…n(out_d[Bi]) Bi为B的前驱块 out_d[B]=def_d[B]∪in_d[B] 结论： 若in_live[B]–in_d[B]≠{}，则必有变量无定值而使用; 特例：若in_live[B*]≠{}，则必有变量无定值而使用. 针对第2和3中情况： in_dd[Bi]: 表示块B入口处所有定值而未使用的变 量之集； out_dd[Bi]:表示块B出口处所有定值而未使用的变量之集； def_dd1[Bi]=｛x|x在（B,di）点定值，且从（B,d1）…. （B,di）无x的使用性出现。｝ def_dd2[Bi]=｛x|x在（B,di）点定值，且从（B,di+1）到B出口，无x的使用性出现。｝ in_dd[B*]={} B*为入口块 in_dd[B]=∪（或∩）out_dd[B] out_dd[B]=def_dd2[B]∪(in_dd[B]-use[B]) 结论： 若in_dd[B]∩def_dd1[B]≠{}，则有变量重复定值；若in_dd[B]-in_live[Bi]≠{}，则有变量定值而未使用，或重复定值。 若out_dd[B*]≠{}， B*为出口块,则有变量定值而未使用。 第二个应用：程序优化-全局常表达式节省 程序优化：全局常表达式节省 问题：利用的信息不充分 如何解决： 程序优化中，我们感兴趣的是什么？ 对于每个块要知道哪些常量定值是一定能到达其出口处的 v vvl 定义：常量定值 若在块B中有x:=c，其中c是常数,且该定值是向下暴露的，，则称x有一个常量定值，记为x·c。 定义： 注销常量定值 若有x:=E，则称注销了x的常量定值。 定义： 广义常量定值 若块B中有向下暴露的定值x:=E，且 E的值可计算为一个常量c，则称产生一个广义常量定值x·c。 定义： 注销广义常量定值 若有x=… 则称注销了广义常量定值 数据流方程： in_ac[B0]={} B0为入口块 in_ac[Bi]=∩j=1,2,…n out_ac[Bj],Bj为Bi的前驱 out_ac[Bi]=def_ac[Bi]U(in_ac[Bi]-kill_ac[Bi]) 其中： in_ac[Bi]：定能达到Bi入口的所有常量定值的集合 out_ac[Bi]：定能达到Bi出口的所有常量定值的集合 def_ac[Bi]：Bi所产生且对块外有效的常量定值 kill_ac[Bi]：Bi所注销的所有常量定值的集合 优化过程： 建立数据流方程 求解 对每一基本块进入优化 把in-ac(B)填入vvl 按原方法优化 v vvl 例题 in-ac[B1] = {} out-ac[B1] = {x.1,y.2} in-ac[B2] = {x.1,y.2} out-ac[B2] = {x.1,y.2,z.3,b.4} in-ac[B3] = {x.1,y.2} out-ac[B3] = {x.1,y.2,z.3,b.4} in-ac[B4] = {x.1,y.2,z.3,b.4} out-ac[B4] ={x.1,y.2,z.3,b.4,k.7,u.9,r.16} 第三个应用：公共子表达式节省 定义：表达式定值 在块B中，若有d: x:=E，则称有表达式E的定值，d为定值点若从di+1到B的出口没有对表达式E中变量的赋值，则称B定值了表达式E 定义:注销表达式定值 若有 x:=E,且x出现在表达式E中，注销了E的定值。 数据流方程： in_e[B0] = {} B0为入口块 out_e[Bi] = def_e[Bi]∪ (in_e[Bi]-kill_e[Bi]) in_e[Bi] = ∩Bj?pre(Bi)out_e[Bj] Bj为Bi的前驱 K 需要注意的两个问题： 形式相同的表达式未必能节省（已解决） 形式不同的表达式也可能节省（未解决） 定义：等式定值 在块B中，若有x:=y。且从di+1到B出口无对x或y的赋值，则称B有了一个等式定值。即x=y 定义：注销等式定值 若有对x的赋值x:=…，则称注销了所有x的等式定值。 数据流方程 in_eq[B0] = {} B0为入口块 out_eq[Bi] = def_eq[Bi]∪(in_e[qBi]-kill_eq[Bi]) in_eq[Bi] = ∩Bj?pre(Bi)out_eq[Bj] 利用等式定值和表达式定值，可以解决形式