[PATCH] D78592: [mlir][SCCP] Add support for propagating across symbol based calls

[River Riddle via Phabricator via llvm-commits]

rriddle created this revision.
rriddle added a reviewer: bondhugula.
Herald added subscribers: llvm-commits, frgossen, grosul1, Joonsoo, liufengdb, aartbik, lucyrfox, mgester, arpith-jacob, nicolasvasilache, antiagainst, shauheen, jpienaar, mehdi_amini, eraman.
Herald added a project: LLVM.

This revision adds some initial support for propagating constants across callgraph edges. It uses the existing Call/CallableOpInterfaces to detect the dataflow edges. It assumes that the arguments of callable can be tracked so long as we know that all of the uses are calls.

Depends On D78522 <https://reviews.llvm.org/D78522>


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D78592

Files:
  mlir/include/mlir/IR/SymbolTable.h
  mlir/lib/IR/SymbolTable.cpp
  mlir/lib/Transforms/Inliner.cpp
  mlir/lib/Transforms/SCCP.cpp
  mlir/test/Transforms/sccp-callgraph.mlir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D78592.259112.patch
Type: text/x-patch
Size: 25945 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200421/7db64035/attachment.bin>