JingS-8

数据流分析

1. 活跃分析：每个bit表示一个var的一次use。

    in[n] = use[n] U (out[n] - def[n])

    out[n] = U in[succ(n)]

    后向数据流分析。

    for all n, in[n] = empty. 

    out[exit] = empty

2. 到达定值：每个bit表示一个var的一次def。

    out[n] = def[n] U (in[n] - def[n])

    in[n] = U out[pred(n)]

3. available expression

4. upwards exposed uses (reaching definition的反问题)

5. 复制传播分析

6. 常数传播分析

7. 部分冗余分析

对于前向数据流问题：

    worklist初始化为所有节点(entry节点除外)。

    以reverse postorder来访问worklist中的节点。

du链、ud链、和web：

    数据结构：

        uddu = int x int      第一个int表示变量id，第二个int表示bb id。

        udduchain = (symbol x uddu) -> set of uddu

        web是duchain的最大并集。web是全局寄存器分配的单元。

    从reaching definition的结果，可以计算出ud/du chain。