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

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added inline comments.


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


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D142830