[llvm] [InstCombine] fold icmp with add/sub instructions having the same operands (PR #143241)

[Nikita Popov via llvm-commits]

nikic wrote:

Please see https://llvm.org/docs/InstCombineContributorGuide.html.

Can you please attach alive2 proofs? For example your equality condition looks too strict, it needs either nuw or nsw, not both: https://alive2.llvm.org/ce/z/krSOPt

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