[ValueTracking] Check both operands for being 0 and then the other for isKnownNonZero

We should check both operands, not just the first one.

Author: AZero13

llvm/lib/Analysis/ValueTracking.cpp

@@ -2880,9 +2880,10 @@ static bool isNonZeroSub(const APInt &DemandedElts, const SimplifyQuery &Q,
   if (matchOpWithOpEqZero(X, Y))
     return true;
 
-  // TODO: Move this case into isKnownNonEqual().
-  if (auto *C = dyn_cast<Constant>(X))
-    if (C->isNullValue() && isKnownNonZero(Y, DemandedElts, Q, Depth))
+  // TODO: Move these into isKnownNonEqual().
+  if (match(X, m_Zero()) && isKnownNonZero(Y, DemandedElts, Q, Depth))
+      return true;
+  if (match(Y, m_Zero()) && isKnownNonZero(X, DemandedElts, Q, Depth))
       return true;
 
   return ::isKnownNonEqual(X, Y, DemandedElts, Q, Depth);