[PATCH] D30443: Add a propagateKnownNonPoison helper

[Philip Reames via Phabricator via llvm-commits]

reames requested changes to this revision.
reames added inline comments.
This revision now requires changes to proceed.


================
Comment at: include/llvm/Analysis/ValueTracking.h:422
+  /// Starting with the assumption that \p I is not poison, fill \p
+  /// NonPoison with a set of values that are also known to not be
+  /// poison.  Internally this is a simple worklist algorithm around
----------------
Ok, this interface is vague.  Which set of values?  And why might we wan this?


https://reviews.llvm.org/D30443