[PATCH] D141773: [InstCombine] Generalize (icmp sgt (1 << Y), -1) -> (icmp ne Y, BitWidth-1) to any negative constant.

[Craig Topper via Phabricator via llvm-commits]

craig.topper added a comment.

In D141773#4054254 <https://reviews.llvm.org/D141773#4054254>, @lebedev.ri wrote:

> (or, well, just post two proofs)

I've added new proofs for the version as implemented.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D141773/new/

https://reviews.llvm.org/D141773