llvm-project

366dffff - [VectorCombine] Fold (icmp eq/ne (reduce.add X), 0) to reduce.umax

[VectorCombine] Fold (icmp eq/ne (reduce.add X), 0) to reduce.umax When vector elements are known to be either non-positive (e.g., from sext i1), or non-negative (e.g., from zext i1), comparing the sum against zero is equivalent to checking if all elements are zero. This can be done more efficiently using reduce.umax.