llvm/llvm-project

Failure to recognise unnecessary sext for add+cmp

Open

#130,088 创建于 2025年3月6日

在 GitHub 查看
 (23 评论) (0 反应) (1 负责人)C++ (10,782 fork)batch import
good first issuellvm:instcombinemissed-optimization

仓库指标

Star
 (26,378 star)
PR 合并指标
 (平均合并 1天 2小时) (30 天内合并 1,000 个 PR)

描述

Pulled out #76524 - we fail to recognize that extension is unnecessary and that the trunc is nsw

define i8 @src(i16 noundef %x) {
entry:
  %conv = sext i16 noundef %x to i128
  %add = add i128 %conv, 128
  %or.cond.i = icmp ult i128 %add, 256
  assume i1 %or.cond.i
  %conv1 = trunc i16 noundef %x to i8
  ret i8 %conv1
}
=>
define i8 @tgt(i16 noundef %x) {
entry:
  %add = add i16 noundef %x, 128
  %or.cond.i = icmp ult i16 %add, 256
  assume i1 %or.cond.i
  %conv1 = trunc nsw i16 noundef %x to i8
  ret i8 %conv1
}
Transformation seems to be correct!

https://alive2.llvm.org/ce/z/epn8hd

贡献者指南

研究方向
该问题涉及 LLVM 的 InstCombine 传递中缺失的一项优化，即当 sext 后跟 add 和 icmp 且已知限制时，可以移除 sext。该转换已通过 Alive2 证明正确。为实现此优化，请检查 lib/Transforms/InstCombine/ 中的 InstCombine 代码，特别是处理 sext 和 trunc 模式的逻辑。参考已提及的问题 #76524 以了解先前背景。修复可能需要为具有窄操作数的 add+icmp 添加新模式或扩展现有折叠。
技术栈
无
领域
backend
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
C++LLVM IR basics
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
35