[PATCH] D142830: [ValueTracking] Improve non-zero tracking of `X` by also searching through `Use(X)` that imply non-zero
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sun Jan 29 00:44:23 PST 2023
nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.
We should be testing canonical IR here (use `-passes=instcombine`), at which point many of these should already be handled. E.g. if you have a condition `abs(X) != 0`, that should get canonicalized to `X != 0` first, and then handled by existing code.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D142830/new/
https://reviews.llvm.org/D142830
More information about the llvm-commits
mailing list