[PATCH] D81311: [RFC] LangRef: Define inmem parameter attribute

Johannes Doerfert via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 10 15:35:33 PDT 2020


jdoerfert added a comment.

Do we allow `inmem` to be used for other purposes? I would assume the answer is yes, as we do not forbid it.
I ask because front-ends might use this as a way to add type information to a pointer (especially after we strip them).
Or am I confusing something here?

> `byref`

Would be fine with me too.

> I guess the verifier could require you to specify align if you use this, but that's another inconsistency

This would be in line with our efforts to *always* require an alignment. Should write it down, make the verifier aware and apply it to `byval` as well, maybe others too. The entire "target specific alignment" stuff should be resolved as early as possible to not cause confusion and subtle bugs.


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

https://reviews.llvm.org/D81311





More information about the llvm-commits mailing list