LLVM 20.0.0git
|
An alias analysis result set for globals. More...
#include "llvm/Analysis/GlobalsModRef.h"
Classes | |
class | FunctionInfo |
The mod/ref information collected for a particular function. More... | |
Static Public Member Functions | |
static GlobalsAAResult | analyzeModule (Module &M, std::function< const TargetLibraryInfo &(Function &F)> GetTLI, CallGraph &CG) |
Friends | |
struct | RecomputeGlobalsAAPass |
Additional Inherited Members | |
Protected Member Functions inherited from llvm::AAResultBase | |
AAResultBase ()=default | |
AAResultBase (const AAResultBase &Arg) | |
AAResultBase (AAResultBase &&Arg) | |
An alias analysis result set for globals.
This focuses on handling aliasing properties of globals and interprocedural function call mod/ref information.
Definition at line 30 of file GlobalsModRef.h.
GlobalsAAResult::GlobalsAAResult | ( | GlobalsAAResult && | Arg | ) |
Definition at line 961 of file GlobalsModRef.cpp.
|
default |
AliasResult GlobalsAAResult::alias | ( | const MemoryLocation & | LocA, |
const MemoryLocation & | LocB, | ||
AAQueryInfo & | AAQI, | ||
const Instruction * | CtxI | ||
) |
alias - If one of the pointers is to a global that we are tracking, and the other is some random pointer, we know there cannot be an alias, because the address of the global isn't taken.
Definition at line 821 of file GlobalsModRef.cpp.
References EnableUnsafeGlobalsModRefAliasResults, llvm::getUnderlyingObject(), llvm::AliasResult::MayAlias, llvm::AliasResult::NoAlias, llvm::MemoryLocation::Ptr, and llvm::Value::stripPointerCastsForAliasAnalysis().
|
static |
Definition at line 977 of file GlobalsModRef.cpp.
Referenced by llvm::GlobalsAA::run(), and llvm::GlobalsAAWrapperPass::runOnModule().
|
inline |
Definition at line 844 of file AliasAnalysis.h.
|
inline |
Definition at line 848 of file AliasAnalysis.h.
MemoryEffects GlobalsAAResult::getMemoryEffects | ( | const Function * | F | ) |
getMemoryEffects - Return the behavior of the specified function if called from the specified call site.
The call site may be null in which case the most generic behavior of this function should be returned.
Definition at line 240 of file GlobalsModRef.cpp.
References F, and llvm::MemoryEffectsBase< LocationEnum >::unknown().
|
inline |
Definition at line 852 of file AliasAnalysis.h.
ModRefInfo GlobalsAAResult::getModRefInfo | ( | const CallBase * | Call, |
const MemoryLocation & | Loc, | ||
AAQueryInfo & | AAQI | ||
) |
Definition at line 935 of file GlobalsModRef.cpp.
References F, llvm::getUnderlyingObject(), llvm::GlobalValue::hasLocalLinkage(), llvm::ModRef, and llvm::MemoryLocation::Ptr.
|
inline |
Definition at line 857 of file AliasAnalysis.h.
bool GlobalsAAResult::invalidate | ( | Module & | M, |
const PreservedAnalyses & | PA, | ||
ModuleAnalysisManager::Invalidator & | |||
) |
Definition at line 810 of file GlobalsModRef.cpp.
References llvm::PreservedAnalyses::getChecker().
|
friend |
Definition at line 79 of file GlobalsModRef.h.