[PATCH] D69690: [GlobalsAA] Set KnowNothing when nothing is known about a function.

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea updated this revision to Diff 227943.
asbirlea added a comment.

I updated the patch to be more generic, while still addressing this usecase.
The condition is: if there are any internal methods whose address is taken but for which we do not conclude that they do not modify globals, then cannot conclude lower than ModRef for any other (LocalLinkageCall, GlobalValue).
Tests included.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D69690/new/

https://reviews.llvm.org/D69690

Files:
  llvm/include/llvm/Analysis/GlobalsModRef.h
  llvm/lib/Analysis/GlobalsModRef.cpp
  llvm/test/Analysis/GlobalsModRef/intrinsic_addressnottaken1.ll
  llvm/test/Analysis/GlobalsModRef/intrinsic_addressnottaken2.ll
  llvm/test/Analysis/GlobalsModRef/intrinsic_addresstaken.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D69690.227943.patch
Type: text/x-patch
Size: 8364 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191105/53cbd39e/attachment.bin>