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

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed May 6 10:46:47 PDT 2020


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





More information about the llvm-commits mailing list