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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I don't think there's any existing analysis which computes the sort of post-dominator tree you want.

Anyway, I'm not sure this is really what you want... have you experimented with inserting llvm.assume calls?


https://reviews.llvm.org/D27114