|
LLVM
4.0.0
|
A simple AA result that uses TBAA metadata to answer queries. More...
#include <TypeBasedAliasAnalysis.h>
Additional Inherited Members | |
Protected Member Functions inherited from llvm::AAResultBase< TypeBasedAAResult > | |
| AAResultBase () | |
| 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 26 of file TypeBasedAliasAnalysis.h.
| AliasResult TypeBasedAAResult::alias | ( | const MemoryLocation & | LocA, |
| const MemoryLocation & | LocB | ||
| ) |
Definition at line 297 of file TypeBasedAliasAnalysis.cpp.
References llvm::MemoryLocation::AATags, llvm::AAResultBase< DerivedT >::alias(), EnableTBAA, llvm::NoAlias, and llvm::AAMDNodes::TBAA.
| FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior | ( | ImmutableCallSite | CS | ) |
Definition at line 338 of file TypeBasedAliasAnalysis.cpp.
References EnableTBAA, llvm::FMRB_OnlyReadsMemory, llvm::FMRB_UnknownModRefBehavior, llvm::CallSiteBase< FunTy, BBTy, ValTy, UserTy, UseTy, InstrTy, CallTy, InvokeTy, IterTy >::getInstruction(), llvm::Instruction::getMetadata(), llvm::AAResultBase< DerivedT >::getModRefBehavior(), isStructPathTBAA(), llvm::LLVMContext::MD_tbaa, and llvm::Min.
| FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior | ( | const Function * | F | ) |
Definition at line 354 of file TypeBasedAliasAnalysis.cpp.
References llvm::AAResultBase< DerivedT >::getModRefBehavior().
| ModRefInfo TypeBasedAAResult::getModRefInfo | ( | ImmutableCallSite | CS, |
| const MemoryLocation & | Loc | ||
| ) |
Definition at line 359 of file TypeBasedAliasAnalysis.cpp.
References llvm::MemoryLocation::AATags, EnableTBAA, llvm::CallSiteBase< FunTy, BBTy, ValTy, UserTy, UseTy, InstrTy, CallTy, InvokeTy, IterTy >::getInstruction(), llvm::Instruction::getMetadata(), llvm::AAResultBase< DerivedT >::getModRefInfo(), L, llvm::LLVMContext::MD_tbaa, llvm::MRI_NoModRef, and llvm::AAMDNodes::TBAA.
| ModRefInfo TypeBasedAAResult::getModRefInfo | ( | ImmutableCallSite | CS1, |
| ImmutableCallSite | CS2 | ||
| ) |
Definition at line 373 of file TypeBasedAliasAnalysis.cpp.
References EnableTBAA, llvm::CallSiteBase< FunTy, BBTy, ValTy, UserTy, UseTy, InstrTy, CallTy, InvokeTy, IterTy >::getInstruction(), llvm::Instruction::getMetadata(), llvm::AAResultBase< DerivedT >::getModRefInfo(), llvm::LLVMContext::MD_tbaa, and llvm::MRI_NoModRef.
|
inline |
Handle invalidation events from the new pass manager.
By definition, this result is stateless and so remains valid.
Definition at line 33 of file TypeBasedAliasAnalysis.h.
| bool TypeBasedAAResult::pointsToConstantMemory | ( | const MemoryLocation & | Loc, |
| bool | OrLocal | ||
| ) |
Definition at line 319 of file TypeBasedAliasAnalysis.cpp.
References llvm::MemoryLocation::AATags, EnableTBAA, isStructPathTBAA(), llvm::AAResultBase< DerivedT >::pointsToConstantMemory(), and llvm::AAMDNodes::TBAA.
1.8.6