[llvm] [InstCombine] Canonicalize `icmp pred (X +/- C1), C2` into `icmp pred X, C2 -/+ C1` with nowrap flag implied by with.overflow intrinsic (PR #75511)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

@sadlerap Do you think it is helpful to handle the pattern `u/ssub.with.overflow C, X`?


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