[PATCH] D104740: [OpaquePtr] Support call instruction

[Duncan P. N. Exon Smith via Phabricator via llvm-commits]

dexonsmith added a comment.

In D104740#2834433 <https://reviews.llvm.org/D104740#2834433>, @nikic wrote:

> Preserve address space check, add test with argument.
>
> While doing the latter, I found out that
>
>   define void @call(void (...)* %p) {
>     call void (...) %p(void (...)* %p)
>     ret void
>   }
>
> fails `verify-uselistorder` (independently of this patch). I happened to use that as the first thing I tried :/

Interesting; given that there are two uses of `%p` maybe one of them isn't being tracked. Did you investigate?


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

https://reviews.llvm.org/D104740