[PATCH] D47475: [Local] Make KDominatesJ required for combineMetadata.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

ping. The langref now says the following about !nonnull loads: `The existence of the !nonnull metadata on the instruction tells the optimizer that the value loaded is known to never be null. If the value is null at runtime, the behavior is undefined.`. With the value being null at runetime being UB, keeping nonnull on dominating loads should be ok IIUC.


https://reviews.llvm.org/D47475