[PATCH] D150425: [ValueTracking] deduce `X * Y != 0` if `LowestKnownBit(X) * LowestKnownBit(Y) != 0`

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added a comment.

In D150425#4340180 <https://reviews.llvm.org/D150425#4340180>, @nikic wrote:

> I find the formulation here kind of confusing. Wouldn't something like this be more obvious? https://alive2.llvm.org/ce/z/p5wWid

Updated second proof to yours


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150425