[PATCH] D111160: [UnknownProvenance] Add LLVM-IR support for unknown_provenance

[Jeroen Dobbelaere via Phabricator via llvm-commits]

jeroen.dobbelaere added a comment.

In D111160#3139503 <https://reviews.llvm.org/D111160#3139503>, @lebedev.ri wrote:

> Should there be a verifier change to ensure that it is *actually* only used in the provenance operand, and not as a pure pointer,
> or can it be PHI'd/select'ed from multiple variants?

Yes, that definitely makes sense. 
It can be PHI'd, select'ed, cast'ed. But in the end, the usage must only show up in the provenance path of `load`,`store`,`llvm.ptr.provenance`.

I'll look into this in the coming days.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D111160/new/

https://reviews.llvm.org/D111160