[AA] Allow for flow-sensitive analyses.
authorDavid Goldblatt <davidgoldblatt@fb.com>
Fri, 16 Dec 2022 03:33:10 +0000 (19:33 -0800)
committerWenlei He <aktoon@gmail.com>
Fri, 16 Dec 2022 05:04:38 +0000 (21:04 -0800)
commit02988fce76d8a95e2bc33e80b581c3b0b2c92755
tree8e49de3c5b99f557ae3f6e27ecc8421f053c2673
parentb6772e6e2045ab491b41d3767f788250800f97ea
[AA] Allow for flow-sensitive analyses.

All current analyses ignore the context. We make the argument mandatory
for analyses, but optional for the query interface.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D136512
18 files changed:
llvm/include/llvm/Analysis/AliasAnalysis.h
llvm/include/llvm/Analysis/BasicAliasAnalysis.h
llvm/include/llvm/Analysis/GlobalsModRef.h
llvm/include/llvm/Analysis/ObjCARCAliasAnalysis.h
llvm/include/llvm/Analysis/ScalarEvolutionAliasAnalysis.h
llvm/include/llvm/Analysis/ScopedNoAliasAA.h
llvm/include/llvm/Analysis/TypeBasedAliasAnalysis.h
llvm/lib/Analysis/AliasAnalysis.cpp
llvm/lib/Analysis/BasicAliasAnalysis.cpp
llvm/lib/Analysis/GlobalsModRef.cpp
llvm/lib/Analysis/ObjCARCAliasAnalysis.cpp
llvm/lib/Analysis/ScalarEvolutionAliasAnalysis.cpp
llvm/lib/Analysis/ScopedNoAliasAA.cpp
llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp
llvm/lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp
llvm/lib/Target/AMDGPU/AMDGPUAliasAnalysis.h
llvm/unittests/Analysis/AliasAnalysisTest.cpp
llvm/unittests/Analysis/BasicAliasAnalysisTest.cpp