[PATCH] D139703: [AA] Remove CFL AA passes

[Nikita Popov via Phabricator via llvm-commits]

nikic created this revision.
nikic added reviewers: jdoerfert, fhahn, asbirlea, reames.
Herald added subscribers: jeroen.dobbelaere, ormris, arphaman, george.burgess.iv, mgrang, hiraditya.
Herald added a project: All.
nikic requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

The CFL Steens/Anders alias analysis passes are not enabled by default, and to the best of my knowledge have no pathway towards ever being enabled by default. The last significant interest in these passes seems to date back to 2016. Given the little maintenance these have seen in recent times, I also have very little confidence in the correctness of these passes. I don't think we should keep these in-tree.


https://reviews.llvm.org/D139703

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D139703.481590.patch
Type: text/x-patch
Size: 180091 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20221209/30f042d7/attachment-0001.bin>