[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 llvm-commits at lists.llvm.org
Sat Jan 14 18:28:23 PST 2023


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



More information about the llvm-commits mailing list