LLVM: llvm::objcarc::ObjCARCAAResult Class Reference (original) (raw)

This is a simple alias analysis implementation that uses knowledge of ARC constructs to answer queries. More...

#include "[llvm/Analysis/ObjCARCAliasAnalysis.h](ObjCARCAliasAnalysis%5F8h%5Fsource.html)"

Inheritance diagram for llvm::objcarc::ObjCARCAAResult:

Public Member Functions
ObjCARCAAResult (const DataLayout &DL)
ObjCARCAAResult (ObjCARCAAResult &&Arg)
bool invalidate (Function &, const PreservedAnalyses &, FunctionAnalysisManager::Invalidator &)
Handle invalidation events from the new pass manager.
AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB, AAQueryInfo &AAQI, const Instruction *CtxI)
ModRefInfo getModRefInfoMask (const MemoryLocation &Loc, AAQueryInfo &AAQI, bool IgnoreLocals)
MemoryEffects getMemoryEffects (const Function *F)
ModRefInfo getModRefInfo (const CallBase *Call, const MemoryLocation &Loc, AAQueryInfo &AAQI)
MemoryEffects getMemoryEffects (const CallBase *Call, AAQueryInfo &AAQI)
ModRefInfo getModRefInfo (const CallBase *Call1, const CallBase *Call2, AAQueryInfo &AAQI)
Public Member Functions inherited from llvm::AAResultBase
AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB, AAQueryInfo &AAQI, const Instruction *I)
AliasResult aliasErrno (const MemoryLocation &Loc, const Module *M)
ModRefInfo getModRefInfoMask (const MemoryLocation &Loc, AAQueryInfo &AAQI, bool IgnoreLocals)
ModRefInfo getArgModRefInfo (const CallBase *Call, unsigned ArgIdx)
MemoryEffects getMemoryEffects (const CallBase *Call, AAQueryInfo &AAQI)
MemoryEffects getMemoryEffects (const Function *F)
ModRefInfo getModRefInfo (const CallBase *Call, const MemoryLocation &Loc, AAQueryInfo &AAQI)
ModRefInfo getModRefInfo (const CallBase *Call1, const CallBase *Call2, AAQueryInfo &AAQI)

Detailed Description

This is a simple alias analysis implementation that uses knowledge of ARC constructs to answer queries.

TODO: This class could be generalized to know about other ObjC-specific tricks. Such as knowing that ivars in the non-fragile ABI are non-aliasing even though their offsets are dynamic.

Definition at line 36 of file ObjCARCAliasAnalysis.h.

Constructor & Destructor Documentation

llvm::objcarc::ObjCARCAAResult::ObjCARCAAResult ( const DataLayout & DL) inlineexplicit

◆ ObjCARCAAResult() [2/2]

llvm::objcarc::ObjCARCAAResult::ObjCARCAAResult ( ObjCARCAAResult && Arg) inline

Member Function Documentation

◆ alias()

◆ getMemoryEffects() [1/2]

◆ getMemoryEffects() [2/2]

◆ getModRefInfo() [1/2]

Definition at line 114 of file ObjCARCAliasAnalysis.cpp.

References llvm::objcarc::Autorelease, llvm::objcarc::AutoreleasepoolPush, llvm::objcarc::AutoreleaseRV, llvm::objcarc::Call, llvm::objcarc::EnableARCOpts, llvm::objcarc::FusedRetainAutorelease, llvm::objcarc::FusedRetainAutoreleaseRV, llvm::objcarc::GetBasicARCInstKind(), llvm::AAResultBase::getModRefInfo(), llvm::NoModRef, llvm::objcarc::NoopCast, llvm::objcarc::Retain, and llvm::objcarc::RetainRV.

◆ getModRefInfo() [2/2]

◆ getModRefInfoMask()

◆ invalidate()

Handle invalidation events from the new pass manager.

By definition, this result is stateless and so remains valid.

Definition at line 47 of file ObjCARCAliasAnalysis.h.

The documentation for this class was generated from the following files: