[PATCH] D141090: [InstCombine] Canonicalize (A & B_Pow2) eq/ne B_Pow2 patterns

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added a comment.

In D141090#4030742 <https://reviews.llvm.org/D141090#4030742>, @nikic wrote:

> LGTM
>
> Simpler proof: https://alive2.llvm.org/ce/z/JQMH7m Canonical pattern for pow2 check is ctpop==1.



In D141090#4030742 <https://reviews.llvm.org/D141090#4030742>, @nikic wrote:

> LGTM
>
> Simpler proof: https://alive2.llvm.org/ce/z/JQMH7m Canonical pattern for pow2 check is ctpop==1.

Do you want me to update the commit message with link to this proof instead?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D141090