[llvm] [InstCombine] Fold `icmp samesign u{gt/ge/lt/le} (X +nsw C2), C` -> `icmp s{gt/ge/lt/le} X, (C - C2)` (PR #169960)

[Tirthankar Mazumder via llvm-commits]

wermos wrote:

I've edited my topmost comment so it has an Alive2 proof link now.

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