[llvm] [InstCombine] Recognize X - 1 as nonnegative when X is positive (PR #223168)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

It seems like all the tests in this PR are now either TODOs or negative tests?

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