[PATCH] D47143: [NewGVN] Do not treat LoadExpressions with differing nonnull as equal.

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added a comment.

Yeah, some of this metadata travels backwards in time (IE if you can prove they are equivalent, the metadata must apply) and some of it is not.

This is the moral equivalent of some of the GVN bugs we also have where we use things we discover later to prove earlier things.


https://reviews.llvm.org/D47143