JingS-9

控制流分析和依赖图

依赖分析：用于指令调度，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节的数组元素标量替换时，此概念很方便。

依赖图：节点是语句，边就是依赖关系。