-reassociate: Reassociate Expressions

Description

-reassociate pass 通过调整 operator 中 operand 的顺序或者是 instruction 的顺序，使程序更有利于基于 constant propagation 的 optimization，比如 -gvn 和 -instcombine。 打个比方，对于 4 + (x + 5) ， 我们可以使用 -reassociate pass 使其变成 x + (4 + 5) ，这时候后面的 (4 + 5) 都是 constant，所以这部分就可以通过 constant propagation pass 直接再 compile time 计算成 9，进而提升 runtime performance。

Code Example

上面给了一个 reorder operand 的例子，那么下面给一个 reorder instruction 的。 这里通过 reorder instructions， %mul1 = mul i32 %a, %b 和 %mul2 = mul i32 %b, %a 被连在了一起，这样其就可以被 -gvn pass 给判定是 redundant computations，然后直接优化掉。

原始的 IR code。

define i32 @example_func(i32 %a, i32 %b, i32 %c) {
entry:
    %mul1 = mul i32 %a, %b
    %add1 = add i32 %mul1, %c
    %mul2 = mul i32 %b, %a
    %add2 = add i32 %c, %mul2
    %result = add i32 %add1, %add2
    ret i32 %result
}

-reassociate transform 之后的 IR code。

define i32 @example_func(i32 %a, i32 %b, i32 %c) {
entry:
    %mul1 = mul i32 %a, %b
    %mul2 = mul i32 %b, %a
    %add1 = add i32 %mul1, %c
    %add2 = add i32 %mul2, %c
    %result = add i32 %add1, %add2
    ret i32 %result
}