llvm/llvm-project
在 GitHub 查看[X86] Failure to reduce extended i64 add/sub/mul arithmetic to i32 with known zeros in the upper 32-bits
Open
#142,308 创建于 2025年6月1日
backend:X86good first issuemissed-optimization
仓库指标
- Star
- (26,378 star)
- PR 合并指标
- (平均合并 1天 2小时) (30 天内合并 1,000 个 PR)
描述
https://c.godbolt.org/z/3Gv4rPEGq
As noted on #141360 - x86 i64 add/sub/mul arithmetic is not reduced to i32 arithmetic when the upper 32-bits are known to be zero (and can be implicitly zero-extended). We do appear to do this for logic and shift instructions.
On recent CPU targets, ADD/SUB i64 is usually just as cheap as i32 equivalents but MUL can often still benefit, and there's potential for shorter instruction encodings for all of them.
We can either handle this with combineAdd/Sub/Mul in X86ISelLowering.cpp or we can wait until X86ISelDAGToDAG.cpp