[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)
commit723a3ff949dd61bced434b89ef426b3c7318df39
treef221578c6a3e2f892f562acd923722eada866bb4
parent17ea6c191e1a2369c312ad2d99b63481adef2e18
[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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@275602 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/CFLAndersAliasAnalysis.h
lib/Analysis/AliasAnalysisSummary.h
lib/Analysis/CFLAndersAliasAnalysis.cpp
lib/Analysis/CFLGraph.h
test/Analysis/CFLAliasAnalysis/Andersen/assign.ll [new file with mode: 0644]
test/Analysis/CFLAliasAnalysis/Andersen/assign2.ll [new file with mode: 0644]
test/Analysis/CFLAliasAnalysis/Andersen/cycle.ll [new file with mode: 0644]
test/Analysis/CFLAliasAnalysis/Andersen/memalias.ll [new file with mode: 0644]