控制流分析和依赖图
依赖分析:用于指令调度,data cache优化。
控制依赖: s1 d(c) s2,表示s2控制依赖于s1。
数据依赖: s1在程序中先于s2。
s1 d(f) s2,flow依赖,也叫真依赖。
s1 d(a) s2,反依赖。
s1 d(o) s2,输出依赖。
s1 d(i) s2,输入依赖。不会显示s1于s2的执行顺序。对于20.3节的数组元素标量替换时,此概念很方便。
依赖图:节点是语句,边就是依赖关系。
依赖分析:用于指令调度,data cache优化。
控制依赖: s1 d(c) s2,表示s2控制依赖于s1。
数据依赖: s1在程序中先于s2。
s1 d(f) s2,flow依赖,也叫真依赖。
s1 d(a) s2,反依赖。
s1 d(o) s2,输出依赖。
s1 d(i) s2,输入依赖。不会显示s1于s2的执行顺序。对于20.3节的数组元素标量替换时,此概念很方便。
依赖图:节点是语句,边就是依赖关系。