[PATCH] D15605: GlobalsAA: Take advantage of ArgMemOnly, InaccessibleMemOnly and InaccessibleMemOrArgMemOnly attributes

[Vaivaswatha Nagaraj via llvm-commits]

vaivaswatha created this revision.
vaivaswatha added reviewers: hfinkel, jmolloy.
vaivaswatha added a subscriber: llvm-commits.
vaivaswatha added a dependency: D15499: Add InaccessibleMemOnly and inaccessibleMemOrArgMemOnly attributes.

1. Modify AnalyzeCallGraph() to retain function info for external functions
if the function has [InaccessibleMemOr]ArgMemOnly flags.
2. When analyzing the use of a global is function parameter at a call site,
mark the callee also as modifying the global appropriately.
3. Add additional test cases.

Depends on D15499

http://reviews.llvm.org/D15605

Files:
  lib/Analysis/GlobalsModRef.cpp
  test/Analysis/GlobalsModRef/argmemonly-escape.ll
  test/Analysis/GlobalsModRef/modreftest.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D15605.43108.patch
Type: text/x-patch
Size: 4835 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151217/d7ee0b6b/attachment.bin>