[llvm] InstCombine: Fold samesign ult to slt with added constant when the range is known (PR #134556)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

> This PR fixes issue: #134208

This links to an unrelated PR.

Please include generalized alive2 proofs in the PR description, see https://llvm.org/docs/InstCombineContributorGuide.html#proofs.

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