[PATCH] D27114: Preserve nonnull metadata on Loads through SROA & mem2reg.

[Luqman Aden via Phabricator via llvm-commits]

luqmana added a comment.

In https://reviews.llvm.org/D27114#627264, @efriedma wrote:

> PostDominatorTree doesn't provide the kind of post-dominance you need for this transformation: LLVM basic blocks have implicit edges which exit the function early, and those edges aren't reflected in the tree.  For example, execution doesn't actually continue after a call to exit().  (See also the llvm::isGuaranteedToTransferExecutionToSuccessor() utility.)


Hmm, is it possible then to do this sort of analysis in LLVM in this context? Or is this optimization just not possible currently?


https://reviews.llvm.org/D27114