[PATCH] D61524: [BPF] Support for compile once and run everywhere

[Yonghong Song via Phabricator via llvm-commits]

yonghong-song added a comment.

In D61524#2798168 <https://reviews.llvm.org/D61524#2798168>, @aeubanks wrote:

> Sorry to come to this years later, but the new intrinsics look at the base pointer's pointee type to determine size. The whole point of the opaque pointers transition is that pointee types are meaningless (this was sorta mentioned in the review comments). GEP instructions have an explicit type as part of the instruction to know what type the base pointer is pointing to. I think it's a bit harder to associate intrinsics with a type. We could have a dummy argument with an overloaded type, but that's a bit weird. Any ideas?

@aeubanks Do you have a specific example the current mechanism may not work? Note that we are talking about BPF with C codes here, so I am not sure what "overloaded type" you refer to. An example will be really helpful. Thanks!


Repository:
  rL LLVM

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

https://reviews.llvm.org/D61524