[PATCH] D60072: [Attributor] Deduce "no-capture" attributes for call site arguments

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert created this revision.
Herald added subscribers: llvm-commits, bollu, hiraditya.
Herald added a project: LLVM.
jdoerfert added a parent revision: D59922: [Attributor] Deduce "no-capture" argument attribute.
jdoerfert edited the summary of this revision.
jdoerfert added reviewers: homerdin, hfinkel, fedor.sergeev, sanjoy, spatel, nlopes, nicholas, reames.

NOTE: Test cases have not been adjusted! It is unclear how aggressively
      we want to make the manifestation stage, thus if we want to
      duplicate attributes at call sites existing at the callee
      decleration.

Call site argument abstract attributes (will) serve multiple purposes:

- they allow to simplify lookups of existing call site attributes
- they allow to hide away abstract call sites (follow up patch)
- they allow to use local information (before/after) the call site (follow up patch)


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D60072

Files:
  llvm/include/llvm/Transforms/IPO/Attributor.h
  llvm/lib/Transforms/IPO/Attributor.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D60072.193110.patch
Type: text/x-patch
Size: 8014 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190401/b72cfc72/attachment.bin>