[PATCH] D47339: [GVN,NewGVN] Propagate nonnull if K dominates J.

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added a comment.

So, just curious if we can get rid of the extra parameters you've added.
If you bootstrap with combineMetadata and patchReplacement asserting that the replacement dominates, does the assertion trigger?
If not, we can get rid of the parameters
If so, i'd love to see an example where so it can be analyzed.


https://reviews.llvm.org/D47339