[llvm] [ValueTracking][NFC] Drop outdated TODO in canCreateUndefOrPoison (PR #139915)
via llvm-commits
llvm-commits at lists.llvm.org
Wed May 14 07:49:06 PDT 2025
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-llvm-analysis
Author: Cullen Rhodes (c-rhodes)
<details>
<summary>Changes</summary>
The inrange constexpr GEP case is handled since 425cbbc602c9.
---
Full diff: https://github.com/llvm/llvm-project/pull/139915.diff
1 Files Affected:
- (modified) llvm/lib/Analysis/ValueTracking.cpp (-2)
``````````diff
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index 3d403531cea2f..e5203baac39b7 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -7788,8 +7788,6 @@ static bool canCreateUndefOrPoison(const Operator *Op, UndefPoisonKind Kind,
case Instruction::FRem:
return false;
case Instruction::GetElementPtr:
- // inbounds is handled above
- // TODO: what about inrange on constexpr?
return false;
default: {
const auto *CE = dyn_cast<ConstantExpr>(Op);
``````````
</details>
https://github.com/llvm/llvm-project/pull/139915
More information about the llvm-commits
mailing list