[PATCH] D37215: [ValueTracking] improve reverse assumption inference

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added a comment.

(At some point, now that we could use post-dominance, you may want to see if it helps. For starters, anything if control dependent on the entry block is guaranteed to execute)


https://reviews.llvm.org/D37215