[PATCH] D29519: Add PredicateInfo utility and printing pass

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added inline comments.


================
Comment at: lib/Transforms/Utils/PredicateInfo.cpp:111-124
+    if (!ADef && !A.Use) {
+      assert(A.PInfo &&
+             "No def, no use, and no predicateinfo should not occur");
+      assert(isa<PredicateAssume>(A.PInfo) &&
+             "Middle of block should only occur for assumes");
+      ADef = cast<PredicateAssume>(A.PInfo)->AssumeInst;
+    }
----------------
davide wrote:
> This is pretty much the same code. I would appreciate if you could consider the usage a lambda or an helper, if possible.
I will factor this out (and there is some in the follow-on patch for critical edges) into helpers


https://reviews.llvm.org/D29519