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:

Collaboration diagram for llvm::TypeBasedAAResult:

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
	)

Definition at line 370 of file TypeBasedAliasAnalysis.cpp.

References llvm::MemoryLocation::AATags, llvm::AAResultBase< DerivedT >::alias(), EnableTBAA, llvm::AliasResult::NoAlias, and llvm::AAMDNodes::TBAA.

getModRefBehavior() [1/2]

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.

getModRefBehavior() [2/2]

FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior

(

const Function *

F

)

Definition at line 420 of file TypeBasedAliasAnalysis.cpp.

References F, and llvm::AAResultBase< DerivedT >::getModRefBehavior().

getModRefInfo() [1/2]

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.

getModRefInfo() [2/2]

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.

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
	)

Definition at line 384 of file TypeBasedAliasAnalysis.cpp.

References llvm::MemoryLocation::AATags, EnableTBAA, isStructPathTBAA(), M, llvm::AAResultBase< DerivedT >::pointsToConstantMemory(), and llvm::AAMDNodes::TBAA.

---

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

• include/llvm/Analysis/TypeBasedAliasAnalysis.h
• lib/Analysis/TypeBasedAliasAnalysis.cpp