[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#626971, @efriedma wrote:

> > I am quite sure I was told that !nonnull causes UB rather than poison. Is there some real documentation for that?
>
> Err, no, you're probably right; I haven't really worked with it, and LangRef doesn't say anything, so "must" defaults to undefined behavior.
>
> You still can't propagate backwards without proving post-dominance.


That should hold in this case no? Lines 361-381 assert that LI is dominated by the Store and the Store trivially dominates ReplVal?


https://reviews.llvm.org/D27114