LLVM
15.0.0git
|
A simple AA result that uses TBAA metadata to answer queries. More...
#include "llvm/Analysis/TypeBasedAliasAnalysis.h"
Additional Inherited Members | |
![]() | |
AAResultBase ()=default | |
AAResultBase (const AAResultBase &Arg) | |
AAResultBase (AAResultBase &&Arg) | |
AAResultsProxy | getBestAAResults () |
Get a proxy for the best AA result set to query at this time. More... | |
A simple AA result that uses TBAA metadata to answer queries.
Definition at line 31 of file TypeBasedAliasAnalysis.h.
AliasResult TypeBasedAAResult::alias | ( | const MemoryLocation & | LocA, |
const MemoryLocation & | LocB, | ||
AAQueryInfo & | AAQI | ||
) |
Definition at line 370 of file TypeBasedAliasAnalysis.cpp.
References llvm::MemoryLocation::AATags, llvm::AAResultBase< DerivedT >::alias(), EnableTBAA, llvm::AliasResult::NoAlias, and llvm::AAMDNodes::TBAA.
FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior | ( | const CallBase * | Call | ) |
Definition at line 404 of file TypeBasedAliasAnalysis.cpp.
References EnableTBAA, llvm::FMRB_OnlyReadsMemory, llvm::FMRB_UnknownModRefBehavior, llvm::AAResultBase< DerivedT >::getModRefBehavior(), isStructPathTBAA(), and M.
FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior | ( | const Function * | F | ) |
Definition at line 420 of file TypeBasedAliasAnalysis.cpp.
References F, and llvm::AAResultBase< DerivedT >::getModRefBehavior().
ModRefInfo TypeBasedAAResult::getModRefInfo | ( | const CallBase * | Call, |
const MemoryLocation & | Loc, | ||
AAQueryInfo & | AAQI | ||
) |
Definition at line 425 of file TypeBasedAliasAnalysis.cpp.
References llvm::MemoryLocation::AATags, EnableTBAA, llvm::AAResultBase< DerivedT >::getModRefInfo(), M, llvm::NoModRef, and llvm::AAMDNodes::TBAA.
ModRefInfo TypeBasedAAResult::getModRefInfo | ( | const CallBase * | Call1, |
const CallBase * | Call2, | ||
AAQueryInfo & | AAQI | ||
) |
Definition at line 439 of file TypeBasedAliasAnalysis.cpp.
References EnableTBAA, llvm::Instruction::getMetadata(), llvm::AAResultBase< DerivedT >::getModRefInfo(), llvm::M1(), and llvm::NoModRef.
|
inline |
Handle invalidation events from the new pass manager.
By definition, this result is stateless and so remains valid.
Definition at line 38 of file TypeBasedAliasAnalysis.h.
bool TypeBasedAAResult::pointsToConstantMemory | ( | const MemoryLocation & | Loc, |
AAQueryInfo & | AAQI, | ||
bool | OrLocal | ||
) |
Definition at line 384 of file TypeBasedAliasAnalysis.cpp.
References llvm::MemoryLocation::AATags, EnableTBAA, isStructPathTBAA(), M, llvm::AAResultBase< DerivedT >::pointsToConstantMemory(), and llvm::AAMDNodes::TBAA.