[PATCH] D22291: [CFLAA] Added an initial working implementation of Andersen's analysis

[Jia Chen via llvm-commits]

grievejia created this revision.
grievejia added reviewers: george.burgess.iv, hfinkel.
grievejia added a subscriber: llvm-commits.

Sorry for the long delay. This is the initial prototype of CFLAndersAliasAnalysis. The algorithm I used here is an eager variant of what was described in the paper "Demand-driven alias analysis in C". Please refer to the comments for more detailed description of the algorithm.

For now the analysis is NOT in any usable shape. It is not sufficiently tested, can only handle intra-procedural queries, is field-insensitive, and doesn't understand AliasAttrs. There are also lots of code duplications between CFLSteens and CFLAnders. These are all problems that future patches need to address. 

http://reviews.llvm.org/D22291

Files:
  include/llvm/Analysis/CFLAndersAliasAnalysis.h
  lib/Analysis/AliasAnalysisSummary.h
  lib/Analysis/CFLAndersAliasAnalysis.cpp
  lib/Analysis/CFLGraph.h
  test/Analysis/CFLAliasAnalysis/Andersen/assign.ll
  test/Analysis/CFLAliasAnalysis/Andersen/assign2.ll
  test/Analysis/CFLAliasAnalysis/Andersen/cycle.ll
  test/Analysis/CFLAliasAnalysis/Andersen/memalias.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D22291.63758.patch
Type: text/x-patch
Size: 30953 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160712/2dacd0cb/attachment.bin>