LLVM  13.0.0git
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.

◆ pointsToConstantMemory()

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

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