[llvm] [InstCombine] Fold icmp with clamp into unsigned bound check (PR #161303)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

Can you please provide a generalized proof for both signed and unsigned cases? See also https://llvm.org/docs/InstCombineContributorGuide.html#use-generic-values-in-proofs.


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