[llvm] [InstCombine] Combine trunc (lshr X, BW-1) to i1 --> icmp slt X, 0 (#142593) (PR #143846)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Can you please add a link to the alive2 proof to the PR description?

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