[llvm] [SCCP] Simplify [us]cmp(X, Y) into X - Y (PR #144717)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

In practice, is this useful for anything other than the "extended bool" case? I'm wondering if it would be better to handle this as a KnownBits transform.

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