[PATCH] D104268: [ptr_provenance] Introduce optional ptr_provenance operand to load/store

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

It's been a while since I looked at this, so please excuse the stupid question...

Why do we model provenance as an additional value on the load/store? Naively, I would think that it would be preferable to have an intrinsic like `p' = llvm.with.provenance(p, provenance)`, because that would work with any use of the pointer -- the ptr_provenance operand is limited to loads and stores, but not with memory-accessing calls or captured pointers, and I don't think it can really be extended in that direction.


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

https://reviews.llvm.org/D104268