[llvm] [InstSimplify] Infer icmp from with.overflow intrinsics (PR #75511)

[Nikita Popov via llvm-commits]

nikic wrote:

I'm not sure this is the right approach to the problem. The way I would view it is that the icmp here is of the form `(x +nsw c) pred c2`, where the `nsw` is implied by the `or` condition. This means we can transform the icmp into `x pred (c2 - c)`. From there, it will enjoy all the usual icmp optimizations.

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