[llvm] [InstCombine] Remove nusw handling in ptrtoint of gep fold (NFCI) (PR #118804)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Dec 5 05:50:44 PST 2024
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-llvm-transforms
Author: Nikita Popov (nikic)
<details>
<summary>Changes</summary>
Now that #<!-- -->111144 infers gep nuw, we no longer have to repeat the inference in this fold.
---
Full diff: https://github.com/llvm/llvm-project/pull/118804.diff
1 Files Affected:
- (modified) llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp (+1-4)
``````````diff
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp b/llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp
index 7221c987b98219..d21714b10155d9 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineCasts.cpp
@@ -2106,10 +2106,7 @@ Instruction *InstCombinerImpl::visitPtrToInt(PtrToIntInst &CI) {
Base->getType() == Ty) {
Value *Offset = EmitGEPOffset(GEP);
auto *NewOp = BinaryOperator::CreateAdd(Base, Offset);
- if (GEP->hasNoUnsignedWrap() ||
- (GEP->hasNoUnsignedSignedWrap() &&
- isKnownNonNegative(Offset, SQ.getWithInstruction(&CI))))
- NewOp->setHasNoUnsignedWrap(true);
+ NewOp->setHasNoUnsignedWrap(GEP->hasNoUnsignedWrap());
return NewOp;
}
}
``````````
</details>
https://github.com/llvm/llvm-project/pull/118804
More information about the llvm-commits
mailing list