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

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added a comment.

So, actually, this *is* a variant the same issue we have elsewhere with Simplify* (and there are a few newgvn bugs open about it).   These actually *are* congruent, we just don't want it simplifying this hard.

I don't think you want to say these are non-congruent, because you can in fact replace load2 with load1.
I think we want to be able to tell it what information it's allowed to use when simplifying.


https://reviews.llvm.org/D47143