[PATCH] D21910: [CFLAA] Split CFL-AA into one unification-based pass and one inclusion-based pass

[Jia Chen via llvm-commits]

grievejia updated this revision to Diff 62576.
grievejia marked 2 inline comments as done.
grievejia added a comment.

Fixed broken comments and added a new option to use both variants of cfl-aa


http://reviews.llvm.org/D21910

Files:
  include/llvm/Analysis/CFLAliasAnalysis.h
  include/llvm/Analysis/CFLAndersAliasAnalysis.h
  include/llvm/Analysis/CFLSteensAliasAnalysis.h
  include/llvm/InitializePasses.h
  include/llvm/LinkAllPasses.h
  lib/Analysis/AliasAnalysis.cpp
  lib/Analysis/Analysis.cpp
  lib/Analysis/CFLAliasAnalysis.cpp
  lib/Analysis/CFLAndersAliasAnalysis.cpp
  lib/Analysis/CFLSteensAliasAnalysis.cpp
  lib/Analysis/CMakeLists.txt
  lib/CodeGen/TargetPassConfig.cpp
  lib/Passes/PassBuilder.cpp
  lib/Passes/PassRegistry.def
  lib/Transforms/IPO/PassManagerBuilder.cpp
  test/Analysis/CFLAliasAnalysis/Steensgaard/arguments-globals.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/arguments.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/asm-global-bugfix.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/attr-escape.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/basic-interproc.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/branch-alias.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/const-expr-gep.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/constant-over-index.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/empty.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/full-store-partial-alias.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/gep-index-no-alias.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/gep-signed-arithmetic.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-arg-deref-escape.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-arg-escape.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-ret-arg.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-ret-deref-arg-multilevel.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-ret-deref-arg.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-ret-escape.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-ret-ref-arg-multilevel.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-ret-ref-arg.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-ret-unknown.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-store-arg-multilevel.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-store-arg-unknown.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/interproc-store-arg.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/malloc-and-free.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/multilevel-combine.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/multilevel.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/must-and-partial.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/opaque-call-alias.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/phi-and-select.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/pr27213.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/simple.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/stratified-attrs-indexing.ll
  test/Analysis/CFLAliasAnalysis/Steensgaard/va.ll
  test/Analysis/CFLAliasAnalysis/arguments-globals.ll
  test/Analysis/CFLAliasAnalysis/arguments.ll
  test/Analysis/CFLAliasAnalysis/asm-global-bugfix.ll
  test/Analysis/CFLAliasAnalysis/attr-escape.ll
  test/Analysis/CFLAliasAnalysis/basic-interproc.ll
  test/Analysis/CFLAliasAnalysis/branch-alias.ll
  test/Analysis/CFLAliasAnalysis/const-expr-gep.ll
  test/Analysis/CFLAliasAnalysis/constant-over-index.ll
  test/Analysis/CFLAliasAnalysis/empty.ll
  test/Analysis/CFLAliasAnalysis/full-store-partial-alias.ll
  test/Analysis/CFLAliasAnalysis/gep-index-no-alias.ll
  test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll
  test/Analysis/CFLAliasAnalysis/interproc-arg-deref-escape.ll
  test/Analysis/CFLAliasAnalysis/interproc-arg-escape.ll
  test/Analysis/CFLAliasAnalysis/interproc-ret-arg.ll
  test/Analysis/CFLAliasAnalysis/interproc-ret-deref-arg-multilevel.ll
  test/Analysis/CFLAliasAnalysis/interproc-ret-deref-arg.ll
  test/Analysis/CFLAliasAnalysis/interproc-ret-escape.ll
  test/Analysis/CFLAliasAnalysis/interproc-ret-ref-arg-multilevel.ll
  test/Analysis/CFLAliasAnalysis/interproc-ret-ref-arg.ll
  test/Analysis/CFLAliasAnalysis/interproc-ret-unknown.ll
  test/Analysis/CFLAliasAnalysis/interproc-store-arg-multilevel.ll
  test/Analysis/CFLAliasAnalysis/interproc-store-arg-unknown.ll
  test/Analysis/CFLAliasAnalysis/interproc-store-arg.ll
  test/Analysis/CFLAliasAnalysis/malloc-and-free.ll
  test/Analysis/CFLAliasAnalysis/multilevel-combine.ll
  test/Analysis/CFLAliasAnalysis/multilevel.ll
  test/Analysis/CFLAliasAnalysis/must-and-partial.ll
  test/Analysis/CFLAliasAnalysis/opaque-call-alias.ll
  test/Analysis/CFLAliasAnalysis/phi-and-select.ll
  test/Analysis/CFLAliasAnalysis/pr27213.ll
  test/Analysis/CFLAliasAnalysis/simple.ll
  test/Analysis/CFLAliasAnalysis/stratified-attrs-indexing.ll
  test/Analysis/CFLAliasAnalysis/va.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D21910.62576.patch
Type: text/x-patch
Size: 63341 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160702/ed35d9e9/attachment-0001.bin>