[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]

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