[llvm] [InstCombine] Pattern match minmax calls for unsigned saturation. (PR #99250)

[via llvm-commits]

goldsteinn wrote:

Hi,

can you please add alive2 proofs? See: https://llvm.org/docs/InstCombineContributorGuide.html#proofs for more details.

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