数据流分析之推导要点

引言

数据流分析在编译器中作用显著，它能辅助实现各种优化过程。数据流分析有两种常见的推导方法：一种是use-def推导、另一种是gen-kill模式。

1 gen-kill

如上图所示，利用gen-kill进行数据流分析的相关方法论：

1. 首先，我们要明确gen与kill。即哪些特征产生gen？哪些特征产生kill？以定值分析为例：对变量的赋值产生了gen，同时其他位置对该变量的赋值为kill(即它会终结其他位置对该变量赋值的生命周期)。
2. 然后确定初始化。即用gen初始化结点的out还是in？以定值分析为例：用gen初始化结点的out列表。
3. 继续分析传播方式。要确定是正向传播还是反向传播，同时当多条路径汇合是求交集还是并集？以定值分析为例：正向求并集传播，即out传播给输出结点的in求并集传播
4. 继续分析终止传播方式，一般都是kill终止其数据流传播。以定值分析为例：对变量的赋值阻止了之前的赋值继续传播。

2 use-def

如上图所示，利用use-def进行数据流分析的相关方法论：

1. 首先，我们要明确use与def。即哪些特征产生use？哪些特征产生def？以活跃变量分析为例：对变量的引用产生了use、对变量的赋值产生了def。
2. 然后确定初始化。即用use(还是def)初始化结点的in(还是out)？以活跃变量分析为例：用use初始化结点的in列表。
3. 继续分析传播方式。要确定是正向传播还是反向传播，同时当多条路径汇合是求交集还是并集？以活跃变量分析为例：反向并集传播，即in传播给输入结点的out求并集传播
4. 继续分析终止传播方式，一般都是def终止其数据流传播。以活跃变量分析为例：是def终止该变量的传播。