[PATCH] D156881: [InstSimplify] Check the isNonNegative for Power2 value

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added a comment.

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


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

https://reviews.llvm.org/D156881