写点什么

什么是编辑器中的常量传播?

  • 2022 年 8 月 12 日
    中国香港
  • 本文字数:5628 字

    阅读完需:约 18 分钟

什么是编辑器中的常量传播?

本文分享自华为云社区《编译器优化那些事儿(2):常量传播》,作者:毕昇小助手。

基础知识盘点


  • 基本块 (Basic Block)

    一个基本块内的指令,处理器会从基本块的第一条指令顺序执行到基本块的最后一条指令,中间不会跳转到其它地方去,也不会有其它地方跳转到基本块的非首条指令上来。

  • 控制流图 (Control Flow Graph)

    控制流图的节点是基本块,边代表基本块之间的跳转。基本块 A 到基本块 B 有一条边,表示基本块 A 的最后一条指令是一个跳转指令,跳转到了基本块 B 的第一条指令;或者基本块 A 的最后一条指令执行完可以顺序的走向基本块 B 的第一条指令。


SSA (Static Single Assignment)


静态单赋值,指程序的一种表示形式,在该形式中变量只被赋值一次,如果变量需要更新,会使用一个新的变量。决定使用哪个分支处的变量,会使用Φ函数。


例如


min = a;if(min > b)min = b;return min;
复制代码


转换为 SSA 形式为:


min = a;
if(min > b)
min2 = b;
return Φ(min, min2)
复制代码


  • 局部优化

    指基本块内,跨指令的优化。

  • 全局优化

    过程(函数)内的,跨基本块的优化。

  • 过程间的优化

    跨过程(函数),编译单元的优化。

1.什么是常量传播


首先来认识一下什么是常量传播,常量传播也叫常量折叠,但有些资料中对它们的定义又是区分开来的。下面来看看它们分别是什么?


常量传播,顾名思义,就是把常量传播到使用了这个常量的地方去,用常量替换原来的变量。


x = 3;y = 4;z = x + y;
复制代码


->


x = 3;y = 4;z = 3 + 4;
复制代码


什么是常量折叠?常量折叠就是当运算符左右两边都是常数时,把结果计算出来替代原来的那部分表达式。


z = 3 + 4;
复制代码


–>


z = 7;
复制代码


现在的常量传播优化技术能同时实现上面介绍的传播和折叠的功能,所以现在通常不对它们加以区分,本文后续就把常量传播和折叠统称为常量传播了。

为什么会有常量?


程序中的常量来源有 3 种


  1. 程序员书写的,比如 magic number

  2. 宏定义展开后带来的,这种情况在大型工程文件中非常普遍

  3. 在程序优化过程中由其它的优化技术带来的常数

为什么要进行常量传播优化?


从上面简单的例子中可以看到,常量传播可以把原本在运行时的计算转移到编译时进行,减小了程序运行时的开销。同时常量传播还有助于实现其它的优化,比如死代码消除。

如何实现?


前面介绍的常量传播的例子非常简单而且直观。如果程序的控制逻辑比较复杂时,判断一个变量是否是常数,就不是一件简单的事了,需要借助数据流的分析才能判断某个变量是否是常量。而且这个判断是保守的,即不能充分证明某个变量是常量的话就认为它是变量。这种保守的分析结果是可以接受的,因为我们优化程序的时候在性能提升与程序语义保证时优先选择保证程序语义不变。


下面我们先初步学习一下数据流分析。

2.数据流分析


数据流分析常常是为了实现全局优化、过程间优化,或者程序静态分析而进行的分析技术。分析得到的信息可以支撑各种优化技术的落实。


考虑下面这条指令,我们能对它做什么优化呢?


z = x + y;
复制代码


+ 代表各种有效的运算符, 比如±*/等


最基本的,有下面 3 种假设:


  1. 如果 x 或者 y 是常量,我们可以做常量传播, 用常量值替代变量 x, y。 如果 x 和 y 都是常量,可以在编译时刻把 x+y 计算出来,并赋值给 z,这样就不会在运行时做这样的计算了。

  2. 如果 x+y 在前面已经被计算过了,而且 x 和 y 再没有被赋值过(是一个可用表达式),那么此处就可以将上次计算过的值直接赋值给 z, 省去再次计算的代价,这样的优化称为公共子表达式的消除。

  3. 如果 z 从这里开始到程序结尾再没有被使用(z 是不活跃变量),或者是有使用,但使用前被重新赋值了(z 是不活跃变量),那么这个赋值语句是没用的,可以删除掉这条语句。


可以看到对每一种可能的优化,都需要一定的依据。这些依据就需要进行数据流的分析来获取。

下面我们介绍一下非常基础的 3 种数据流模式。


  1. 到达定值

    告诉我们在一个程序点上,过程(函数)里的变量分别是在什么位置被定值(赋值)的。常用在常量传播,复制传播上。

  2. 可用表达式

    告诉我们在一个程序点上,可用的表达式有哪些。常用在公共子表达式消除。

  3. 活跃变量

    告诉我们在一个程序点上,活跃变量(将来还会用到的变量)有哪些。常用于优化寄存器分配,删除死代码。

2.1 到达定值

2.1.1 转移函数


程序中的每一条语句都会对程序的状态产生影响,程序的状态包括了寄存器的值、内存的值、读写的文件等。对于特定的数据流分析,我们只关心对我们分析或者程序优化有用的那部分内容。比如对到达定值分析,我们只跟踪变量的定值情况,对可用表达式的分析,我们跟踪表达式的生成以及表达式分量的赋值情况,对于活跃变量我们关心变量的赋值和使用情况。


我们用转移函数来表示程序语句对程序状态的影响:


OUT=f_d(IN)OUT=fd​(IN)f_dfd


​ 是语句 d 的转移函数。IN 是语句 d 前面的程序状态,OUT 是语句 d 之后的程序状态。


同样的,基本块对程序状态也有影响,基本块也有转移函数:


OUT = f_B(IN)OUT=fB​(IN)f_BfB


​ 是基本块 B 的转移函数,IN 是基本块 B 之前的程序状态(也可表示为 IN[B]),OUT 是基本块 B 结束后的程序状态(也可表示为 OUT[B])。


不同的分析目的,转移函数不同,对于到达定值分析,如果遇到下面的一条语句


d: u = v + w
复制代码


下面我们看一个具体的例子,在下面的这个流图中,每一个基本块生成的定值和杀死的定值已标记在图右侧。


图 1 基本块的生成定值和杀死定值集合

2.1.2 数据流分析的基本思想


对每个基本块,根据输入状态,应用转移函数,求解输出状态,循环进行此操作,直到所有的基本块的输出状态不再变化为止。

2.1.3 交汇运算(meet operator)


图 2 数据流分析-交汇运算符的意义


对于上面的控制流图,B2 前驱节点包括 B1 和 B2 自身。B2 的输入状态需要汇合 B1 结束后的状态 OUT[B1] 和 B2 结束后的状态 OUT[B2], 如何汇合呢?这取决于我们的分析目的,对于到达定值分析,我们要汇集所有路径上过来的定值集合,所以对前驱节点的输出做并集运算 OUT[B1]∪OUT[B2];而对于可用表达式分析,只有每一条通往此基本块的路径上都有这个表达式的生成时我们才说这个表达式在此基本块上是可用的,所以交汇运算是求交集 OUT[B1]∩OUT[B2]。交汇运算用符号∧表示。


对上面的这个控制流图中的 B2 基本块,在第一次分析时,它自身的输出是初始化的值∅, 第二次分析时,它的输出就是上一次分析后得到输出了,就可能不再是∅了。这样迭代多次后,它的输出不再变化。当所有的基本块的输出都不再变化时,我们说这个时候到了一个定点(fix point)。


当分析达到定点时,数据流分析的结果也就得到了。

2.1.4 到达定值分析的迭代算法



说明:此算法是非 SSA 表示上的到达定值分析的算法,这里用这个相对来说比较原始的算法旨在介绍它最基本的思路;如果要在 SSA 形式上进行到达定值分析会更加高效,前提条件是需要把程序转换为 SSA 形式的表示。后续介绍的活跃变量分析,可用表达式分析也是如此。


程序示例


下面我们用真实的程序对上“图 1”表示的程序做到达定值分析,(这里仅列出主要的程序片段)



// 定义一个基本块的属性结构
struct N{
string name; // 基本块名称
bitset gen {}; // 生成的定值
bitset kill {}; // 杀死的定值
bitset in {}; // 输入定值集合
bitset out {}; // 输出定值集合
vector pre{}; // 前驱基本块
};
// 基本块的属性和初始化
shared_ptr entry, b1, b2, b3, b4, exit{};
entry = make_shared(N{"entry", 0, 0, 0, 0, {}});
b1 = make_shared(N{"b1", 0B0000111, 0B1111000, 0, 0, {}});
b2 = make_shared(N{"b2", 0B0011000, 0B1000011, 0, 0, {}});
b3 = make_shared(N{"b3", 0B0100000, 0B0000100, 0, 0, {}});
b4 = make_shared(N{"b4", 0B1000000, 0B0001001, 0, 0, {}});
exit = make_shared(N{"exit", 0, 0, 0, 0, {}});


// 构建基本块的前驱,形成CFG
entry->pre = {nullptr};
b1->pre = {entry};
b2->pre = {b1, b4};
b3->pre = {b2};
b4->pre = {b2, b3};
exit->pre = {b4};


// 到达定值分析过程
bool anyChange{};
vector BBs{b1, b2, b3, b4, exit};
do
{
anyChange = false;
for (auto B : BBs)
{
for (auto p : B->pre)
{
B->in |= p->out;
}
auto new_out = B->gen | B->in & ~B->kill;
if (new_out != B->out)
{
anyChange = true;
}
B->out = new_out;
}
} while (anyChange);


// 输出每个基本块的输入定值,和输出定值
for (auto B : BBs)
{
cout < < *B < < endl;
}
复制代码


输出结果:



b1 0000000 1110000
b2 1110111 0011110
b3 0011110 0001110
b4 0011110 0010111
exit 0010111 0010111
复制代码


第一列是基本块名称,第二列是输入定值集合的位向量,第三列是输出集合的位向量。


这样我们就得到了每一个基本块的输入定值集合和输出定值集合。例如对于基本块 B4, 位向量<0011110>代表{d3,d4,d5,d6},是基本块开始处的到达定值集合,位向量<0010111>代表{d3,d5,d6,d7},是基本块结尾处的到达定值集合。有了这些信息就能很容易的得到在某一个程序点处 p, 有哪些变量在何处被定值了。


把结果反馈到流图中如下:



图 3 数据流分析-到达定值结果示例


类似的,我们用相似的方法可以进行活跃变量,可用表达式的分析。

2.2 活跃变量


一个变量 x 在程序点 p 上活跃,是说这个变量 x 从程序点 p 到程序结尾的路径上被使用,且在使用前没有对它进行新的赋值(没有被杀死)。


图 4 数据流分析-活跃变量示例 1


B1 出口处的活跃变量只有 b, 这是因为变量 a 再未被使用过,变量 c 被 B2 中的赋值杀死了。


B2 出口处的活跃变量有 b 和 c。因为只有 b 和 c 在后面的路径中被使用,且使用前未被重新赋值。


活跃变量分析的迭代算法



示例


图 5 数据流分析-活跃变量示例 2


上面的程序流图中,基本块 B2, B3, B4 的 Use 和 Def 为:


Use[B2] = ∅, Def[B2] = {b}
Use[B3] = {a}, Def[B3] = {a}
Use[B4] = {b}, Def[B4] = ∅
复制代码


2.3 可用表达式


一个表达式是可用的,是说在通往程序点 p 的所有路径上都对那个表达式进行过计算,且计算后再未对表达式的分量进行赋值过。


图 6 数据流分析-可用表达式示例 1


\qquad for(除 ENTRY 之外的每个基本块 B){ \


\qquad \qquad IN[B]=\cap_{P是B的一个前驱}OUT[P]; \\
\qquad \qquad OUT[B] = e\_gen_B∪(IN[B]-e\_kill_B); \\
复制代码


\qquad } \}


\end{array} $$3.常量传播的数据流分析方法前面介绍了到达定值分析,活跃变量分析,可用表达式分析。它们都是非常基础的数据流分析,在很多优化过程中会使用到这些数据流分析的结果。现在我们再次回到常量传播的优化上来。常量传播也是需要进行数据流的分析。它非常类似于到达定值,但因为常数的性质,又有所不同。


3.1 常量传播使用的半格


图 8 常量传播-半格


过程(函数)中的每一个变量都这样的一个半格,变量的值就是半格中的元素。在常量传播分析的初始阶段,所有的变量的值是不确定的,我们用 UNDEF 表示(对应格论中的最大值⊤); 随着我们的分析,有些变量的值是常数,它的值就可以对应到半格的中间那一行的某一个元素,比如常数 2。随着分析的进行,一些变量的值不是常数时(比如定值来自不同的前驱,每个前驱中对该变量的定值不同),用半格最底下的 NAC(Not a Constant)表示(对应格论中的最小值⊥)。


前面提到过,交汇运算是对不同集合的合并。对于常量传播,每个变量的交运算(Meet Operator) 是它的不同取值在半格中的最大下界。交汇运算的规则如下:


  • UNDEF ∧ C = C (C 表示一个具体的常数)

  • UNDEF ∧ NAC = NAC

  • C ∧ NAC = NAC

  • NAC ∧ NAC = NAC

  • C ∧ C = C

  • C1 ∧ C2 = NAC (C1≠C2)


例子:


图 9 常量传播-变量映射到半格的值


B2 对 x 的定值为常数-2,B3 对 x 定值为常数 3,-2 ∧ 3 就是在 x 变量的半格上取它们俩的最大下界,为 NAC。


3.2 常量传播的转移函数


对语句 z = x + y,转移函数如下:

例如下面的一个流图,黄色标记表示因为程序语句的影响而发生变化的变量状态。变量 x 在基本块 B2 中的值是 3, 在 B3 中的值是 undef, 他们汇合后(最大下界)是常数 3。


在 B4 中,x 是常数 3, x + 3 就是常数 6,所以 B4 中的指令就可以优化为 y = 6 了。


图 10 常量传播-转移函数的示例

3.3 常量传播的一个简易算法


M[entry] == initdo    change = false    worklist < - all BBs; ∀B visisted(B) = false while worklist not empty do B = worklist.remove visited(B) = true        m' = fB(m) ∀B' ∈ successors of B if visited(B') then continue        end else            m[B'] ∧= m' if m[B'] change then                change = true            end worklist.add(B')        end    endwhile(change == true)
复制代码


示例


下面的程序代码


j = 1;x = 10;y = 1;while(myRead()!=0){    x = x * y;    y = y * y;    j = j + y;}p = j + x + y;printf("%d\n", p);
复制代码


它的控制流图


图 11 常量传播-示例的控制流图


对此控制流图应用上面的算法



⊤表示 undef, ⊥表示 NAC (not a constant)


在第三轮迭代时每一个基本块的输出不再变化,到达定点。可以看出在基本块 B3 出口处,只有 x 和 y 是常量,分别是 10 和 1,j 和 p 是非常量。


基于上面的分析,上述程序可以做出如下优化


图 12 常量传播-程序优化的效果

4.毕昇和 LLVM 中的常量传播


毕昇和 LLVM 的 SCCP 是一个比较高级的常量传播的 pass, 它使用的算法是 Sparse Conditional Constant Propagation。


它的原理和上述的简易算法类似,有 2 点区别:


  1. SCCP 是在 SSA 的表示上进行的分析。在 SSA 的表示上进行常量传播分析,比非 SSA 表示的分析要快,但得到的结果是一致的。

  2. SCCP 会对条件分支中的条件进行判断,区分哪些基本块是可执行的,哪些是不可执行的,这样能够去除不可执行分支的影响,使常量传播更加准确(减少能传播但没有传播的情况)。


好了,常量传播就为大家介绍到这里。常量传播涉及到数据流的分析,所以这篇文章在介绍常量传播时也介绍了一下数据流分析,以及常见的三种数据流分析的思路。

5.参考文献


  1. Compilers Principles, Techniques, & Tools

  2. http://www.cse.iitm.ac.in/~rupesh/teaching/pa/jan17/scribes/0-cp.pdf

  3. Constant propagation with conditional branches

    https://dl.acm.org/doi/pdf/10.1145/103135.103136

  4. https://www.youtube.com/watch?v=S1s4WYABiq0


点击关注,第一时间了解华为云新鲜技术~

发布于: 刚刚阅读数: 3
用户头像

提供全面深入的云计算技术干货 2020.07.14 加入

华为云开发者社区,提供全面深入的云计算前景分析、丰富的技术干货、程序样例,分享华为云前沿资讯动态,方便开发者快速成长与发展,欢迎提问、互动,多方位了解云计算! 传送门:https://bbs.huaweicloud.com/

评论

发布
暂无评论
什么是编辑器中的常量传播?_开发_华为云开发者联盟_InfoQ写作社区