-strip: Strip All Symbols from a Module

Description

-strip pass 旨在删除一些 IR 中没意义的 symbol，比如把刚刚 instrument 的 %yafan variable 变成 %0。 这种 strip 操作的目标是：

1. Names for virtual registers (也就是我上面拿 %yafan 举的例子)

2. Symbols for internal global variables and functions (e.g. function name from @foo to @0 , global variable from @yafan to @2 ).

3. Debug information

其实对 code 的 functionality 和 performance 不会有任何影响，不过这个 pass 会让 code 变得非常不可读。 所以其使用场景一般在：reducing code size，或者给 reverse engineering 制造麻烦🤣。

类似 -strip 的 pass 还有好几个，这里顺带一起说了。

• -strip-dead-debug-info: 和 -strip pass 做的事类似，不过只 strip 没用到的 symbol 的 debug info。

• -strip-debug-declare：和 -strip pass 做的事类似，不过只 strip 所有 debug info（和 -strip-dead-debug-info 相比更 aggressive 一些）。

• -strip-nondebug：和 -strip pass 做的事类似，不过除了 debug info，其他都给 strip 了（including virtual register, global variable, and function names）。

Code Example

这里再拿 function 举一个简单的例子。

原始的 IR code。

define i32 @foo(i32 %x) {
    %result = add i32 %x, 42
    ret i32 %result
}

-strip transform 之后的 pass。

define i32 @0(i32 %x) {
    %y = add i32 %x, 42
    ret i32 %y
}

其实就是把 function 和 virtual register 的名字给改了。