[PATCH] D142830: [ValueTracking] Improve non-zero tracking of `X` by also searching through `Use(X)` that imply non-zero

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added inline comments.


================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:2442
+
 static bool isKnownNonNullFromDominatingCondition(const Value *V,
+                                                  unsigned DomDepth,
----------------
xbolva00 wrote:
> 'Null' -> 'Zero' ?
> 'Null' -> 'Zero' ?

I think its best to keep the original function name the same.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142830