Lazy Code Motion

Lazy code motion 尝试将当前 component (e.g. basic block in LLVM IR) 内的 code 尽可能地往后面的 component 移动。这样，如果下面的 component 是只有某些条件才运行的话，相当于有概率地减轻了当前 component 的 computation overhead。 LLVM document 对此的解释是：so they aren’t executed on paths where their results aren’t needed。下面结合一个例子来理解： ; Perform lazy code motion 代表了可以被移动到下一个 basic block 的 code，其目标位置是 ; Lazily compute the result when needed。

define i32 @foo(i32 %x, i32 %y) {
entry:
    %add = add i32 %x, %y

    ; Perform lazy code motion
    %result = call i32 @lazyCompute(i32 %add)

    ret i32 %result
}

define i32 @lazyCompute(i32 %input) {
entry:
    ; Lazily compute the result when needed
    %mul = mul i32 %input, 10
    %div = sdiv i32 %mul, 2

    ret i32 %div
}

虽然看起来 code size 和 computation 都没有降低或者减少，但是如果 @lazyCompute 这个 function call 是选择性执行的，那就相当于把原有 path 中的 unnecessary code 给放到后面了。相当于尽可能地精炼了 necessary path 中的 computation，进而去 possibly 优化 performance。 CS:6120@Cornell 的同学们也对此做了实验分析，更细致的了解可以看一下这个 link [1]。

Lazy Code Motion

References