[PATCH] D60073: [Attributor] Enable backwards propagation from callback callees.

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert created this revision.
jdoerfert added reviewers: homerdin, hfinkel, fedor.sergeev, sanjoy, spatel, nlopes, nicholas, reames.
Herald added a project: LLVM.
jdoerfert added a parent revision: D60072: [Attributor] Deduce "no-capture" attributes for call site arguments.

NOTE: Test cases are missing here as well. Will be added soon.

Abstract call sites were introduced to enable IPO across callbacks (see
D54498 <https://reviews.llvm.org/D54498> and D55483 <https://reviews.llvm.org/D55483>). With this patch, we can easily make use of them to
propagate information from callback callees to call sites. The
AbstractCallSiteArgument interface will hide away the lookup and derived
classes, e.g., for no-capture deduction introduced in D60072 <https://reviews.llvm.org/D60072>, will not
require additional code


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D60073

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D60073.193111.patch
Type: text/x-patch
Size: 5018 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190401/8dd4b5f3/attachment.bin>