[llvm] [ValueTracking] Add support for most `llvm.vector.reduce.*` ops. (PR #88320)

[Nikita Popov via llvm-commits]

================
@@ -2904,6 +2942,41 @@ static bool isKnownNonZeroFromOperator(const Operator *I,
       case Intrinsic::vector_reduce_smax:
       case Intrinsic::vector_reduce_smin:
         return isKnownNonZero(II->getArgOperand(0), Depth, Q);
----------------
nikic wrote:

Can't we easily handle "or" reduction for isKnownNonZero()?

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