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)
bool	pointsToConstantMemory (const MemoryLocation &Loc, bool OrLocal)
FunctionModRefBehavior	getModRefBehavior (const CallBase *Call)
FunctionModRefBehavior	getModRefBehavior (const Function *F)
ModRefInfo	getModRefInfo (const CallBase *Call, const MemoryLocation &Loc)
ModRefInfo	getModRefInfo (const CallBase *Call1, const CallBase *Call2)
Public Member Functions inherited from llvm::AAResultBase< TypeBasedAAResult >
AliasResult	alias (const MemoryLocation &LocA, const MemoryLocation &LocB)
bool	pointsToConstantMemory (const MemoryLocation &Loc, 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)
ModRefInfo	getModRefInfo (const CallBase *Call1, const CallBase *Call2)

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 32 of file TypeBasedAliasAnalysis.h.

Member Function Documentation

alias()

AliasResult TypeBasedAAResult::alias	(	const MemoryLocation &	LocA,
		const MemoryLocation &	LocB
	)

Definition at line 370 of file TypeBasedAliasAnalysis.cpp.

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

Referenced by invalidate().

getModRefBehavior() [1/2]

FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior

(

const CallBase *

Call

)

Definition at line 402 of file TypeBasedAliasAnalysis.cpp.

References EnableTBAA, llvm::FMRB_OnlyReadsMemory, llvm::FMRB_UnknownModRefBehavior, llvm::Instruction::getMetadata(), llvm::AAResultBase< DerivedT >::getModRefBehavior(), isStructPathTBAA(), and llvm::LLVMContext::MD_tbaa.

Referenced by invalidate().

getModRefBehavior() [2/2]

FunctionModRefBehavior TypeBasedAAResult::getModRefBehavior

(

const Function *

F

)

Definition at line 418 of file TypeBasedAliasAnalysis.cpp.

References llvm::AAResultBase< DerivedT >::getModRefBehavior().

getModRefInfo() [1/2]

ModRefInfo TypeBasedAAResult::getModRefInfo	(	const CallBase *	Call,
		const MemoryLocation &	Loc
	)

Definition at line 423 of file TypeBasedAliasAnalysis.cpp.

References llvm::MemoryLocation::AATags, EnableTBAA, llvm::Instruction::getMetadata(), llvm::AAResultBase< DerivedT >::getModRefInfo(), llvm::LLVMContext::MD_tbaa, llvm::NoModRef, and llvm::AAMDNodes::TBAA.

Referenced by invalidate().

getModRefInfo() [2/2]

ModRefInfo TypeBasedAAResult::getModRefInfo	(	const CallBase *	Call1,
		const CallBase *	Call2
	)

Definition at line 436 of file TypeBasedAliasAnalysis.cpp.

References EnableTBAA, llvm::Instruction::getMetadata(), llvm::AAResultBase< DerivedT >::getModRefInfo(), llvm::LLVMContext::MD_tbaa, 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 39 of file TypeBasedAliasAnalysis.h.

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

pointsToConstantMemory()

bool TypeBasedAAResult::pointsToConstantMemory	(	const MemoryLocation &	Loc,
		bool	OrLocal
	)

Definition at line 383 of file TypeBasedAliasAnalysis.cpp.

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

Referenced by invalidate().

---

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

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