[llvm] [SCEV] Prove umin(Ops) u< RHS by checking individual operands (PR #207729)

[Antonio Frighetto via llvm-commits]

antoniofrighetto wrote:

Compile-time impact: https://llvm-compile-time-tracker.com/compare.php?from=9d59248664dd8356fe0614950b567a4a1e6429a9&to=8023ea74a09d4c2cb32a7f35df766fc54d7cfd33&stat=instructions:u.

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