[llvm] [ValueTracking] Handle not in dominating condition. (PR #126423)

[Nikita Popov via llvm-commits]

================
@@ -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)))) {
----------------
nikic wrote:

Can we drop the !IsAssume here and instead drop the m_Not special case for assumes above?

https://github.com/llvm/llvm-project/pull/126423