LLVM  9.0.0svn
Public Member Functions | List of all members
llvm::TypeBasedAAResult Class Reference

A simple AA result that uses TBAA metadata to answer queries. More...

#include "llvm/Analysis/TypeBasedAliasAnalysis.h"

Inheritance diagram for llvm::TypeBasedAAResult:
Inheritance graph
[legend]
Collaboration diagram for llvm::TypeBasedAAResult:
Collaboration graph
[legend]

Public Member Functions

bool invalidate (Function &, const PreservedAnalyses &, FunctionAnalysisManager::Invalidator &)
 Handle invalidation events from the new pass manager. More...
 
AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB, AAQueryInfo &AAQI)
 
bool pointsToConstantMemory (const MemoryLocation &Loc, AAQueryInfo &AAQI, bool OrLocal)
 
FunctionModRefBehavior getModRefBehavior (const CallBase *Call)
 
FunctionModRefBehavior getModRefBehavior (const Function *F)
 
ModRefInfo getModRefInfo (const CallBase *Call, const MemoryLocation &Loc, AAQueryInfo &AAQI)
 
ModRefInfo getModRefInfo (const CallBase *Call1, const CallBase *Call2, AAQueryInfo &AAQI)
 
- Public Member Functions inherited from llvm::AAResultBase< TypeBasedAAResult >
AliasResult alias (const MemoryLocation &LocA, const MemoryLocation &LocB, AAQueryInfo &AAQI)
 
bool pointsToConstantMemory (const MemoryLocation &Loc, AAQueryInfo &AAQI, bool OrLocal)
 
ModRefInfo getArgModRefInfo (const CallBase *Call, unsigned ArgIdx)
 
FunctionModRefBehavior getModRefBehavior (const CallBase *Call)
 
FunctionModRefBehavior getModRefBehavior (const Function *F)
 
ModRefInfo getModRefInfo (const CallBase *Call, const MemoryLocation &Loc, AAQueryInfo &AAQI)
 
ModRefInfo getModRefInfo (const CallBase *Call1, const CallBase *Call2, AAQueryInfo &AAQI)
 

Additional Inherited Members

- Protected Member Functions inherited from llvm::AAResultBase< TypeBasedAAResult >
 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...
 

Detailed Description

A simple AA result that uses TBAA metadata to answer queries.

Definition at line 31 of file TypeBasedAliasAnalysis.h.

Member Function Documentation

◆ alias()

AliasResult TypeBasedAAResult::alias ( const MemoryLocation LocA,
const MemoryLocation LocB,
AAQueryInfo AAQI 
)

◆ getModRefBehavior() [1/2]

FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior ( const CallBase Call)

◆ getModRefBehavior() [2/2]

FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior ( const Function F)

◆ getModRefInfo() [1/2]

ModRefInfo TypeBasedAAResult::getModRefInfo ( const CallBase Call,
const MemoryLocation Loc,
AAQueryInfo AAQI 
)

◆ getModRefInfo() [2/2]

ModRefInfo TypeBasedAAResult::getModRefInfo ( const CallBase Call1,
const CallBase Call2,
AAQueryInfo AAQI 
)

◆ invalidate()

bool llvm::TypeBasedAAResult::invalidate ( Function ,
const PreservedAnalyses ,
FunctionAnalysisManager::Invalidator  
)
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.

References alias(), B, F(), getModRefBehavior(), getModRefInfo(), and pointsToConstantMemory().

◆ pointsToConstantMemory()

bool TypeBasedAAResult::pointsToConstantMemory ( const MemoryLocation Loc,
AAQueryInfo AAQI,
bool  OrLocal 
)

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