This class is a wrapper over an AAResults, and it is intended to be used only when there are no IR changes inbetween queries. More...

#include "llvm/Analysis/AliasAnalysis.h"

Public Member Functions
	BatchAAResults (AAResults &AAR)
	BatchAAResults (AAResults &AAR, CaptureAnalysis *CA)
AliasResult	alias (const MemoryLocation &LocA, const MemoryLocation &LocB)
bool	pointsToConstantMemory (const MemoryLocation &Loc, bool OrLocal=false)
bool	pointsToConstantMemory (const Value *P, bool OrLocal=false)
ModRefInfo	getModRefInfoMask (const MemoryLocation &Loc, bool IgnoreLocals=false)
ModRefInfo	getModRefInfo (const Instruction *I, const std::optional< MemoryLocation > &OptLoc)
ModRefInfo	getModRefInfo (const Instruction I, const CallBase Call2)
ModRefInfo	getModRefInfo (const Instruction I, const Instruction I2)
ModRefInfo	getArgModRefInfo (const CallBase *Call, unsigned ArgIdx)
MemoryEffects	getMemoryEffects (const CallBase *Call)
bool	isMustAlias (const MemoryLocation &LocA, const MemoryLocation &LocB)
bool	isMustAlias (const Value V1, const Value V2)
bool	isNoAlias (const MemoryLocation &LocA, const MemoryLocation &LocB)
ModRefInfo	callCapturesBefore (const Instruction I, const MemoryLocation &MemLoc, DominatorTree DT)
void	enableCrossIterationMode ()
	Assume that values may come from different cycle iterations.
void	disableDominatorTree ()
	Disable the use of the dominator tree during alias analysis queries.

Friends
class	BatchAACrossIterationScope

Detailed Description

This class is a wrapper over an AAResults, and it is intended to be used only when there are no IR changes inbetween queries.

BatchAAResults is reusing the same AAQueryInfo to preserve the state across queries, esentially making AA work in "batch mode". The internal state cannot be cleared, so to go "out-of-batch-mode", the user must either use AAResults, or create a new BatchAAResults.

Definition at line 662 of file AliasAnalysis.h.

Constructor & Destructor Documentation

◆ BatchAAResults() [1/2]

llvm::BatchAAResults::BatchAAResults ( AAResults & AAR )

inline

Definition at line 670 of file AliasAnalysis.h.

◆ BatchAAResults() [2/2]

llvm::BatchAAResults::BatchAAResults	(	AAResults &	AAR,
		CaptureAnalysis *	CA )

inline

Definition at line 671 of file AliasAnalysis.h.

Member Function Documentation

◆ alias()

AliasResult llvm::BatchAAResults::alias	(	const MemoryLocation &	LocA,
		const MemoryLocation &	LocB )

inline

Definition at line 674 of file AliasAnalysis.h.

Referenced by canSkipClobberingStore(), llvm::MemoryDependenceResults::getSimplePointerDependencyFrom(), isMustAlias(), isMustAlias(), and isNoAlias().

◆ callCapturesBefore()

ModRefInfo llvm::BatchAAResults::callCapturesBefore	(	const Instruction *	I,
		const MemoryLocation &	MemLoc,
		DominatorTree *	DT )

inline

Definition at line 714 of file AliasAnalysis.h.

References I.

◆ disableDominatorTree()

void llvm::BatchAAResults::disableDominatorTree ( )

inline

Disable the use of the dominator tree during alias analysis queries.

Definition at line 726 of file AliasAnalysis.h.

Referenced by llvm::JumpThreadingPass::simplifyPartiallyRedundantLoad().

◆ enableCrossIterationMode()

void llvm::BatchAAResults::enableCrossIterationMode ( )

inline

Assume that values may come from different cycle iterations.

Definition at line 721 of file AliasAnalysis.h.

Referenced by underlyingObjectsAlias().

◆ getArgModRefInfo()

ModRefInfo llvm::BatchAAResults::getArgModRefInfo	(	const CallBase *	Call,
		unsigned	ArgIdx )

inline

Definition at line 697 of file AliasAnalysis.h.

References Call.

◆ getMemoryEffects()

MemoryEffects llvm::BatchAAResults::getMemoryEffects ( const CallBase * Call )

inline

Definition at line 700 of file AliasAnalysis.h.

References Call.

◆ getModRefInfo() [1/3]

ModRefInfo llvm::BatchAAResults::getModRefInfo	(	const Instruction *	I,
		const CallBase *	Call2 )

inline

Definition at line 691 of file AliasAnalysis.h.

References I.

◆ getModRefInfo() [2/3]

ModRefInfo llvm::BatchAAResults::getModRefInfo	(	const Instruction *	I,
		const Instruction *	I2 )

inline

Definition at line 694 of file AliasAnalysis.h.

References I.

◆ getModRefInfo() [3/3]

ModRefInfo llvm::BatchAAResults::getModRefInfo	(	const Instruction *	I,
		const std::optional< MemoryLocation > &	OptLoc )

inline

Definition at line 687 of file AliasAnalysis.h.

References I.

Referenced by llvm::sandboxir::Utils::aliasAnalysisGetModRefInfo(), canSkipClobberingStore(), findDominatingValue(), foldConsecutiveStores(), llvm::MemoryDependenceResults::getSimplePointerDependencyFrom(), and noConflictingReadWrites().

◆ getModRefInfoMask()

ModRefInfo llvm::BatchAAResults::getModRefInfoMask	(	const MemoryLocation &	Loc,
		bool	IgnoreLocals = false )

inline

Definition at line 683 of file AliasAnalysis.h.

Referenced by llvm::MemoryDependenceResults::getSimplePointerDependencyFrom().

◆ isMustAlias() [1/2]

bool llvm::BatchAAResults::isMustAlias	(	const MemoryLocation &	LocA,
		const MemoryLocation &	LocB )

inline

Definition at line 703 of file AliasAnalysis.h.

References alias(), and llvm::AliasResult::MustAlias.

Referenced by llvm::MemoryDependenceResults::getSimplePointerDependencyFrom().

◆ isMustAlias() [2/2]

bool llvm::BatchAAResults::isMustAlias	(	const Value *	V1,
		const Value *	V2 )

inline

Definition at line 706 of file AliasAnalysis.h.

References alias(), llvm::AliasResult::MustAlias, and llvm::LocationSize::precise().

◆ isNoAlias()

bool llvm::BatchAAResults::isNoAlias	(	const MemoryLocation &	LocA,
		const MemoryLocation &	LocB )

inline

Definition at line 711 of file AliasAnalysis.h.

References alias(), and llvm::AliasResult::NoAlias.

Referenced by hasLoopCarriedMemDep(), and underlyingObjectsAlias().

◆ pointsToConstantMemory() [1/2]

bool llvm::BatchAAResults::pointsToConstantMemory	(	const MemoryLocation &	Loc,
		bool	OrLocal = false )

inline

Definition at line 677 of file AliasAnalysis.h.

References llvm::isNoModRef().

Referenced by getMemcpyLoadsAndStores(), and pointsToConstantMemory().

◆ pointsToConstantMemory() [2/2]

bool llvm::BatchAAResults::pointsToConstantMemory	(	const Value *	P,
		bool	OrLocal = false )

inline

Definition at line 680 of file AliasAnalysis.h.

References llvm::MemoryLocation::getBeforeOrAfter(), P, and pointsToConstantMemory().

◆ BatchAACrossIterationScope

friend class BatchAACrossIterationScope

friend

Definition at line 667 of file AliasAnalysis.h.

References BatchAACrossIterationScope.

Referenced by BatchAACrossIterationScope.

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

include/llvm/Analysis/AliasAnalysis.h

Public Member Functions

Friends

Detailed Description

Constructor & Destructor Documentation

◆ BatchAAResults() [1/2]

◆ BatchAAResults() [2/2]

Member Function Documentation

◆ alias()

◆ callCapturesBefore()

◆ disableDominatorTree()

◆ enableCrossIterationMode()

◆ getArgModRefInfo()

◆ getMemoryEffects()

◆ getModRefInfo() [1/3]

◆ getModRefInfo() [2/3]

◆ getModRefInfo() [3/3]

◆ getModRefInfoMask()

◆ isMustAlias() [1/2]

◆ isMustAlias() [2/2]

◆ isNoAlias()

◆ pointsToConstantMemory() [1/2]

◆ pointsToConstantMemory() [2/2]

Friends And Related Symbol Documentation

◆ BatchAACrossIterationScope