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:

Public Member Functions
	TypeBasedAAResult (bool UsingTypeSanitizer)
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 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)
Public Member Functions inherited from llvm::AAResultBase
AliasResult	alias (const MemoryLocation &LocA, const MemoryLocation &LocB, AAQueryInfo &AAQI, const Instruction *I)
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)

Additional Inherited Members
Protected Member Functions inherited from llvm::AAResultBase
	AAResultBase ()=default
	AAResultBase (const AAResultBase &Arg)
	AAResultBase (AAResultBase &&Arg)

Detailed Description

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

Definition at line 31 of file TypeBasedAliasAnalysis.h.

Constructor & Destructor Documentation

TypeBasedAAResult()

llvm::TypeBasedAAResult::TypeBasedAAResult ( bool  UsingTypeSanitizer )

inline

Definition at line 38 of file TypeBasedAliasAnalysis.h.

Member Function Documentation

alias()

AliasResult TypeBasedAAResult::alias	(	const MemoryLocation &	LocA,
		const MemoryLocation &	LocB,
		AAQueryInfo &	AAQI,
		const Instruction *	CtxI
	)

Definition at line 375 of file TypeBasedAliasAnalysis.cpp.

References llvm::MemoryLocation::AATags, llvm::AliasResult::MayAlias, llvm::AliasResult::NoAlias, and llvm::AAMDNodes::TBAA.

getMemoryEffects() [1/2]

MemoryEffects TypeBasedAAResult::getMemoryEffects	(	const CallBase *	Call,
		AAQueryInfo &	AAQI
	)

Definition at line 407 of file TypeBasedAliasAnalysis.cpp.

References isStructPathTBAA(), llvm::MemoryEffectsBase< LocationEnum >::none(), and llvm::MemoryEffectsBase< LocationEnum >::unknown().

getMemoryEffects() [2/2]

MemoryEffects TypeBasedAAResult::getMemoryEffects

(

const Function *

F

)

Definition at line 421 of file TypeBasedAliasAnalysis.cpp.

References llvm::MemoryEffectsBase< LocationEnum >::unknown().

getModRefInfo() [1/2]

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

Definition at line 426 of file TypeBasedAliasAnalysis.cpp.

References llvm::MemoryLocation::AATags, llvm::ModRef, llvm::NoModRef, and llvm::AAMDNodes::TBAA.

getModRefInfo() [2/2]

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

Definition at line 440 of file TypeBasedAliasAnalysis.cpp.

References llvm::Instruction::getMetadata(), llvm::M1(), llvm::ModRef, and llvm::NoModRef.

getModRefInfoMask()

ModRefInfo TypeBasedAAResult::getModRefInfoMask	(	const MemoryLocation &	Loc,
		AAQueryInfo &	AAQI,
		bool	IgnoreLocals
	)

Definition at line 388 of file TypeBasedAliasAnalysis.cpp.

References llvm::MemoryLocation::AATags, isStructPathTBAA(), llvm::ModRef, llvm::NoModRef, and llvm::AAMDNodes::TBAA.

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

---

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

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