[PATCH] D141090: [InstCombine] Canonicalize (A & B_Pow2) eq/ne B_Pow2 patterns
Noah Goldstein via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sat Jan 7 11:02:04 PST 2023
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
More information about the llvm-commits
mailing list