llvm - 通过llvm的Dead Code Elimination pass删除一条指令

Question

我在 LLVM 中的传递生成了 IR像这样:

%5 = icmp eq i32 %4, 0
%7 = or i1 %5, %5
...

自 or实际上不需要指令(死代码)，我替换了所有出现的 %7与 %5 .现在， or指令应该被删除。我可以从我的通行证中调用 LLVM 的死代码消除通行证，还是有任何方法可以删除该通行证 or操作说明？

Answer 1

一个更符合 LLVM 设计理念的解决方案是，而不是在 中进行替换。您的 通过，让InstCombine做这份工作。这样您就无需担心运行 DCE。

例如:

>cat foo.ll
define i32 @foo(i32 %a, i32 %b) #0 {
entry:
  %or = or i32 %a, %a
  ret i32 %or
}
> opt -S -instcombine < foo.ll
define i32 @foo(i32 %a, i32 %b) #0 {
entry:
  ret i32 %a
}