[PATCH] D156881: [InstSimplify] Check the NonZero for power of two value

Allen zhong via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Aug 2 19:52:43 PDT 2023


Allen added a comment.

In D156881#4554414 <https://reviews.llvm.org/D156881#4554414>, @goldstein.w.n wrote:

> Is there any indication why this is necessary? The alive2 proof of the original transform seems to allow for INT_MIN: https://alive2.llvm.org/ce/z/yZ_I2a

Thanks, you are right, and we should prevent the case if the mask value is -1, https://alive2.llvm.org/ce/z/WU_j4a


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

https://reviews.llvm.org/D156881



More information about the llvm-commits mailing list