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

[via llvm-commits]

brandonxin wrote:

Here is a more generalized proof: https://alive2.llvm.org/ce/z/TEnuFV. I have also updated the PR description.

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