[llvm-branch-commits] [llvm] [InstCombine] Improve inbounds preservation for ADD+GEP -> GEP+GEP (PR #135155)
Nikita Popov via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Thu Apr 10 03:52:09 PDT 2025
================
@@ -3087,12 +3087,22 @@ Instruction *InstCombinerImpl::visitGetElementPtrInst(GetElementPtrInst &GEP) {
return nullptr;
if (GEP.getNumIndices() == 1) {
- // We can only preserve inbounds if the original gep is inbounds, the add
- // is nsw, and the add operands are non-negative.
- auto CanPreserveInBounds = [&](bool AddIsNSW, Value *Idx1, Value *Idx2) {
+ auto CanPreserveNoWrapFlags = [&](bool AddIsNSW, bool AddIsNUW, Value *Idx1,
----------------
nikic wrote:
Rename this to GetPreservedNoWrapFlags or something.
https://github.com/llvm/llvm-project/pull/135155
More information about the llvm-branch-commits
mailing list