[llvm] [ValueTracking] Handle not in dominating condition. (PR #126423)
Andreas Jonson via llvm-commits
llvm-commits at lists.llvm.org
Sun Feb 9 13:47:15 PST 2025
================
@@ -10272,6 +10280,8 @@ void llvm::findValuesAffectedByCondition(
m_Value()))) {
// Handle patterns that computeKnownFPClass() support.
AddAffected(A);
+ } else if (!IsAssume && match(V, m_Not(m_Value(X)))) {
----------------
andjo403 wrote:
Have some follow up changes that update `isEphemeralValueOf` here https://github.com/llvm/llvm-project/compare/main...andjo403:llvm-project:assumeNotCond but probably better as multiple PRs
https://github.com/llvm/llvm-project/pull/126423
More information about the llvm-commits
mailing list