[llvm] [IVDesc] Unify calls to min-max patterns (PR #142769)

[Ramkumar Ramachandra via llvm-commits]

artagnon wrote:

I'm trying to write a proof for this, but got stuck with Alive2: https://alive2.llvm.org/ce/z/HgsN6j.

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