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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

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.)


https://reviews.llvm.org/D27114