[all-commits] [llvm/llvm-project] 800533: [AA] Remove CFL AA passes

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8005332835246c54a4a6b026eede930ed559deb4
      https://github.com/llvm/llvm-project/commit/8005332835246c54a4a6b026eede930ed559deb4
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-12-12 (Mon, 12 Dec 2022)

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

  Log Message:
  -----------
  [AA] Remove CFL AA passes

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.

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