[PATCH] D79636: [LangRef] Clarify the semantics of the `byval` attribute

Matt Arsenault via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat May 9 15:57:48 PDT 2020


arsenm added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1052-1053
+    memory of the callee. That means, a callee can write a ``byval`` parameter
+    and still be ``readonly`` or ``readnone`` because the write is, similar to
+    a write to an ``alloca``, not visible from the outside. To create the copy
+    the original memory, which is the call site argument, is always read. This
----------------
Should this also specify the meaning of readonly/readnone as a callee side parameter attribute? is it disallowed to write to a readonly byval argument?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79636





More information about the cfe-commits mailing list