[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