[PATCH] D79454: [IR] `byval` arguments cause reads at call sites

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

One more thought:

I don't think it is preferable to say the copy happens in the callee because the user could reasonably write something like this: https://godbolt.org/z/8vxz7P and we would need to resolve the discrepancy between the `pure` attribute and the `byval` passing in Clang. Though, having it "conceptually" happen on the call edge doesn't mean we cannot implement it differently.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79454