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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> EDIT: It seems Clang actually already performs the thing I describe below o.O.

Yes, like I mentioned, we have a long history of making the current semantics work. :)

I think I can see that changing the semantics like this makes the overall model a little cleaner.  But do we actually get any concrete benefit from it?  I don't think this actually makes Attributor more powerful; it just changes the way we represent the end result a bit.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79454