[llvm] [InstCombine] Fold uadd.sat(X, C) - C to umin(X, ~C) (PR #215130)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

@Bagodiya Please follow https://llvm.org/docs/InstCombineContributorGuide.html#proofs to provide a generalized proof next time you create a new PR.

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