[llvm] [ValueTracking] Support dominating known bits condition in and/or (PR #74728)

[via llvm-commits]

================
@@ -34,23 +34,39 @@ static void findAffectedValues(Value *Cond,
     }
   };
 
-  ICmpInst::Predicate Pred;
-  Value *A;
-  if (match(Cond, m_ICmp(Pred, m_Value(A), m_Constant()))) {
-    AddAffected(A);
+  bool TopLevelIsAnd = match(Cond, m_LogicalAnd());
----------------
goldsteinn wrote:

Is there a reason it doesn't also work for bitwise and of conditions?

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