通过 llvm 的死代码消除过程删除指令

发布于 2025-01-04 18:19:06 字数 300 浏览 1 评论 0原文

我在 LLVM 中的传递生成了一个像这样的 IR：

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

由于实际上不需要 or 指令（死代码），我替换了所有出现的 %7 > 与 %5。现在，or 指令应该被删除。我可以从我的传递中调用 LLVM 的死代码消除传递，或者是否有任何方法可以删除该或指令？

原文

My pass in LLVM generates an IR like this:

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

Since the or instruction is actually not needed(dead code), I replaced all occurrences of %7 with %5. Now, the or instruction should get deleted. Can I call Dead Code Elimination pass of LLVM from my pass, or is there any method to remove that or instruction?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

浅听莫相离 2025-01-11 18:19:06

更符合 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
}

A solution that is more aligned with LLVM's design philosophy is, instead of doing the substitution in your pass, let InstCombine do the job. Then you will not need to worry about running DCE.

For example:

>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
}

回复收藏 0 原文