[CFLAA] Add an initial CFLAnders implementation.
authorGeorge Burgess IV <george.burgess.iv@gmail.com>
Fri, 15 Jul 2016 19:53:25 +0000 (19:53 +0000)
committerGeorge Burgess IV <george.burgess.iv@gmail.com>
Fri, 15 Jul 2016 19:53:25 +0000 (19:53 +0000)
commit6d30aa03a03a3b2e480d6bae8e34f774eb2d9dac
tree131db5b943150481eede99649588fc0525c1ce20
parent1a946e412c72ec2db6d28a4fab06d63d90526984
[CFLAA] Add an initial CFLAnders implementation.

This adds an incomplete anders-style implementation for CFLAA. It's
incomplete in that it's missing interprocedural analysis, attrs
handling, etc. and that it needs more tests. More tests and features
will be added in future commits.

Patch by Jia Chen.

Differential Revision: https://reviews.llvm.org/D22291

llvm-svn: 275602
llvm/include/llvm/Analysis/CFLAndersAliasAnalysis.h
llvm/lib/Analysis/AliasAnalysisSummary.h
llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp
llvm/lib/Analysis/CFLGraph.h
llvm/test/Analysis/CFLAliasAnalysis/Andersen/assign.ll [new file with mode: 0644]
llvm/test/Analysis/CFLAliasAnalysis/Andersen/assign2.ll [new file with mode: 0644]
llvm/test/Analysis/CFLAliasAnalysis/Andersen/cycle.ll [new file with mode: 0644]
llvm/test/Analysis/CFLAliasAnalysis/Andersen/memalias.ll [new file with mode: 0644]