[PATCH] D150425: [ValueTracking] deduce `X * Y != 0` if `LowestKnownBit(X) * LowestKnownBit(Y) != 0`
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sat May 13 12:08:02 PDT 2023
nikic added a comment.
I find the formulation here kind of confusing. Wouldn't something like this be more obvious? https://alive2.llvm.org/ce/z/p5wWid
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D150425/new/
https://reviews.llvm.org/D150425
More information about the llvm-commits
mailing list