[ValueTracking] Consistently propagate DemandedElts is isKnownNonZero

Change-Id: Ie0c7814e68d7ad80022e128f3bceb906bb92fa0b

Author: goldsteinn

llvm/lib/Analysis/ValueTracking.cpp

@@ -2777,11 +2777,8 @@ static bool isKnownNonZeroFromOperator(const Operator *I,
     //    This all implies the 2 i16 elements are non-zero.
     Type *FromTy = I->getOperand(0)->getType();
     if ((FromTy->isIntOrIntVectorTy() || FromTy->isPtrOrPtrVectorTy()) &&
-        (BitWidth % getBitWidth(FromTy->getScalarType(), Q.DL)) == 0) {
-      if (match(I, m_ElementWiseBitCast(m_Value())))
-        return isKnownNonZero(I->getOperand(0), DemandedElts, Q, Depth);
+        (BitWidth % getBitWidth(FromTy->getScalarType(), Q.DL)) == 0)
       return isKnownNonZero(I->getOperand(0), Q, Depth);
-    }
   } break;
   case Instruction::IntToPtr:
     // Note that we have to take special care to avoid looking through

revert_patches.txt

@@ -95,9 +95,6 @@ Revert: more Sema:
 9e1f1cfa59c4 [Clang][Sema] Handle class member access expressions with valid nested-name-specifiers that become invalid after lookup (#98167)
 RonL
 ---
-breaks rocALUTION build
-72ff0499bba7 [ValueTracking] Consistently propagate `DemandedElts` is `isKnownNonZero`  
---
 Revert: breaks devIO for openmp
 dfeb3991fb48 Remove the `x86_mmx` IR type. (#98505)
 b7e4fba6e5dc Cleanup x86_mmx after removing IR type  (#100646) (Reason: dependent on dfeb3991fb48)