[PATCH] D152677: [InstCombine] If there is a known-bit transform is_pow2 check to just check for any other bits

Noah Goldstein via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 18 08:36:23 PDT 2023


goldstein.w.n added a comment.

In D152677#4510722 <https://reviews.llvm.org/D152677#4510722>, @nikic wrote:

> LGTM, but the attached proof is for the wrong transform.

Bah, sorry must have copied wrong link. Updated summary with: https://alive2.llvm.org/ce/z/eLMJgU


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152677



More information about the llvm-commits mailing list