[llvm] [ValueTracking] Skip ephemeral check as instruction is not Assume (PR #102675)
via llvm-commits
llvm-commits at lists.llvm.org
Fri Aug 9 13:20:37 PDT 2024
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-llvm-analysis
Author: Andreas Jonson (andjo403)
<details>
<summary>Changes</summary>
---
Full diff: https://github.com/llvm/llvm-project/pull/102675.diff
1 Files Affected:
- (modified) llvm/lib/Analysis/ValueTracking.cpp (+1-1)
``````````diff
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp
index 202eaad57d1e3..2c62081fe6005 100644
--- a/llvm/lib/Analysis/ValueTracking.cpp
+++ b/llvm/lib/Analysis/ValueTracking.cpp
@@ -2486,7 +2486,7 @@ static bool isKnownNonNullFromDominatingCondition(const Value *V,
if ((match(U, m_IDiv(m_Value(), m_Specific(V))) ||
match(U, m_IRem(m_Value(), m_Specific(V)))) &&
- isValidAssumeForContext(cast<Instruction>(U), CtxI, DT))
+ isValidAssumeForContext(cast<Instruction>(U), CtxI, DT, true))
return true;
// Consider only compare instructions uniquely controlling a branch
``````````
</details>
https://github.com/llvm/llvm-project/pull/102675
More information about the llvm-commits
mailing list