[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