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

[Yingwei Zheng 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());
----------------
dtcxzyw wrote:

`m_LogicalAnd` also matches bitwise and.
https://github.com/llvm/llvm-project/blob/74f6b2d0d747cd49864b1f6163d293c9524ee180/llvm/include/llvm/IR/PatternMatch.h#L2602-L2607

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