Drive the analysis of memory accesses in the loop. More...

#include "llvm/Analysis/LoopAccessAnalysis.h"

Public Member Functions
	LoopAccessInfo (Loop L, ScalarEvolution SE, const TargetLibraryInfo TLI, AAResults AA, DominatorTree DT, LoopInfo LI)

bool	canVectorizeMemory () const
	Return true we can analyze the memory accesses in the loop and there are no memory dependence cycles.

bool	hasConvergentOp () const
	Return true if there is a convergent operation in the loop.

const RuntimePointerChecking *	getRuntimePointerChecking () const

unsigned	getNumRuntimePointerChecks () const
	Number of memchecks required to prove independence of otherwise may-alias pointers.

bool	isUniform (Value *V) const
	Returns true if the value V is uniform within the loop.

uint64_t	getMaxSafeDepDistBytes () const

unsigned	getNumStores () const

unsigned	getNumLoads () const

const OptimizationRemarkAnalysis *	getReport () const
	The diagnostics report generated for the analysis.

const MemoryDepChecker &	getDepChecker () const
	the Memory Dependence Checker which can determine the loop-independent and loop-carried dependences between memory accesses.

SmallVector< Instruction *, 4 >	getInstructionsForAccess (Value *Ptr, bool isWrite) const
	Return the list of instructions that use `Ptr` to read or write memory.

const ValueToValueMap &	getSymbolicStrides () const
	If an access has a symbolic strides, this maps the pointer value to the stride symbol.

bool	hasStride (Value *V) const
	Pointer has a symbolic stride.

void	print (raw_ostream &OS, unsigned Depth=0) const
	Print the information about the memory accesses in the loop.

bool	hasDependenceInvolvingLoopInvariantAddress () const
	If the loop has memory dependence involving an invariant address, i.e.

ArrayRef< StoreInst * >	getStoresToInvariantAddresses () const
	Return the list of stores to invariant addresses.

const PredicatedScalarEvolution &	getPSE () const
	Used to add runtime SCEV checks.

Static Public Member Functions
static bool	blockNeedsPredication (BasicBlock BB, Loop TheLoop, DominatorTree *DT)
	Return true if the block BB needs to be predicated in order for the loop to be vectorized.

Detailed Description

Drive the analysis of memory accesses in the loop.

This class is responsible for analyzing the memory accesses of a loop. It collects the accesses and then its main helper the AccessAnalysis class finds and categorizes the dependences in buildDependenceSets.

For memory dependences that can be analyzed at compile time, it determines whether the dependence is part of cycle inhibiting vectorization. This work is delegated to the MemoryDepChecker class.

For memory dependences that cannot be determined at compile time, it generates run-time checks to prove independence. This is done by AccessAnalysis::canCheckPtrAtRT and the checks are maintained by the RuntimePointerCheck class.

If pointers can wrap or can't be expressed as affine AddRec expressions by ScalarEvolution, we will generate run-time checks by emitting a SCEVUnionPredicate.

Checks for both memory dependences and the SCEV predicates contained in the PSE must be emitted in order for the results of this analysis to be valid.

Definition at line 562 of file LoopAccessAnalysis.h.

Constructor & Destructor Documentation

◆ LoopAccessInfo()

LoopAccessInfo::LoopAccessInfo	(	Loop *	L,
		ScalarEvolution *	SE,
		const TargetLibraryInfo *	TLI,
		AAResults *	AA,
		DominatorTree *	DT,
		LoopInfo *	LI
	)

Definition at line 2618 of file LoopAccessAnalysis.cpp.

Member Function Documentation

◆ blockNeedsPredication()

bool LoopAccessInfo::blockNeedsPredication	(	BasicBlock *	BB,
		Loop *	TheLoop,
		DominatorTree *	DT
	)

static

Return true if the block BB needs to be predicated in order for the loop to be vectorized.

Definition at line 2519 of file LoopAccessAnalysis.cpp.

References assert(), llvm::LoopBase< BlockT, LoopT >::contains(), llvm::DominatorTree::dominates(), and llvm::LoopBase< BlockT, LoopT >::getLoopLatch().

Referenced by llvm::LoopVectorizationLegality::blockNeedsPredication().

◆ canVectorizeMemory()

bool llvm::LoopAccessInfo::canVectorizeMemory ( ) const

inline

Return true we can analyze the memory accesses in the loop and there are no memory dependence cycles.

Definition at line 569 of file LoopAccessAnalysis.h.

◆ getDepChecker()

const MemoryDepChecker & llvm::LoopAccessInfo::getDepChecker ( ) const

inline

the Memory Dependence Checker which can determine the loop-independent and loop-carried dependences between memory accesses.

Definition at line 604 of file LoopAccessAnalysis.h.

Referenced by llvm::LoopVersioning::annotateLoopWithNoAlias(), llvm::MemoryDepChecker::Dependence::getDestination(), llvm::LoopVectorizationLegality::getMaxSafeVectorWidthInBits(), llvm::MemoryDepChecker::Dependence::getSource(), and llvm::LoopVectorizationLegality::isSafeForAnyVectorWidth().

◆ getInstructionsForAccess()

SmallVector< Instruction *, 4 > llvm::LoopAccessInfo::getInstructionsForAccess	(	Value *	Ptr,
		bool	isWrite
	)		const

inline

Return the list of instructions that use Ptr to read or write memory.

Definition at line 608 of file LoopAccessAnalysis.h.

References Ptr.

◆ getMaxSafeDepDistBytes()

uint64_t llvm::LoopAccessInfo::getMaxSafeDepDistBytes ( ) const

inline

Definition at line 594 of file LoopAccessAnalysis.h.

Referenced by llvm::LoopVectorizationLegality::getMaxSafeDepDistBytes().

◆ getNumLoads()

unsigned llvm::LoopAccessInfo::getNumLoads ( ) const

inline

Definition at line 596 of file LoopAccessAnalysis.h.

Referenced by llvm::LoopVectorizationLegality::getNumLoads().

◆ getNumRuntimePointerChecks()

unsigned llvm::LoopAccessInfo::getNumRuntimePointerChecks ( ) const

inline

Number of memchecks required to prove independence of otherwise may-alias pointers.

Definition at line 582 of file LoopAccessAnalysis.h.

◆ getNumStores()

unsigned llvm::LoopAccessInfo::getNumStores ( ) const

inline

Definition at line 595 of file LoopAccessAnalysis.h.

Referenced by llvm::LoopVectorizationLegality::getNumStores().

◆ getPSE()

const PredicatedScalarEvolution & llvm::LoopAccessInfo::getPSE ( ) const

inline

Used to add runtime SCEV checks.

Simplifies SCEV expressions and converts them to a more usable form. All SCEV expressions during the analysis should be re-written (and therefore simplified) according to PSE. A user of LoopAccessAnalysis will need to emit the runtime checks associated with this predicate.

Definition at line 639 of file LoopAccessAnalysis.h.

Referenced by canTailPredicateLoop().

◆ getReport()

const OptimizationRemarkAnalysis * llvm::LoopAccessInfo::getReport ( ) const

inline

The diagnostics report generated for the analysis.

E.g. why we couldn't analyze the loop.

Definition at line 600 of file LoopAccessAnalysis.h.

◆ getRuntimePointerChecking()

const RuntimePointerChecking * llvm::LoopAccessInfo::getRuntimePointerChecking ( ) const

inline

Definition at line 576 of file LoopAccessAnalysis.h.

Referenced by llvm::LoopVectorizationLegality::canVectorize(), llvm::LoopVectorizationPlanner::executePlan(), llvm::LoopVectorizationLegality::getRuntimePointerChecking(), llvm::LoopVersioning::prepareNoAliasMetadata(), and llvm::LoopVersioning::versionLoop().

◆ getStoresToInvariantAddresses()

ArrayRef< StoreInst * > llvm::LoopAccessInfo::getStoresToInvariantAddresses ( ) const

inline

Return the list of stores to invariant addresses.

Definition at line 630 of file LoopAccessAnalysis.h.

◆ getSymbolicStrides()

const ValueToValueMap & llvm::LoopAccessInfo::getSymbolicStrides ( ) const

inline

If an access has a symbolic strides, this maps the pointer value to the stride symbol.

Definition at line 615 of file LoopAccessAnalysis.h.

Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving().

◆ hasConvergentOp()

bool llvm::LoopAccessInfo::hasConvergentOp ( ) const

inline

Return true if there is a convergent operation in the loop.

There may still be reported runtime pointer checks that would be required, but it is not legal to insert them.

Definition at line 574 of file LoopAccessAnalysis.h.

◆ hasDependenceInvolvingLoopInvariantAddress()

bool llvm::LoopAccessInfo::hasDependenceInvolvingLoopInvariantAddress ( ) const

inline

If the loop has memory dependence involving an invariant address, i.e.

two stores or a store and a load, then return true, else return false.

Definition at line 625 of file LoopAccessAnalysis.h.

◆ hasStride()

bool llvm::LoopAccessInfo::hasStride ( Value * V ) const

inline

Pointer has a symbolic stride.

Definition at line 618 of file LoopAccessAnalysis.h.

Referenced by llvm::LoopVectorizationLegality::hasStride().

◆ isUniform()

bool LoopAccessInfo::isUniform ( Value * V ) const

Returns true if the value V is uniform within the loop.

Definition at line 2548 of file LoopAccessAnalysis.cpp.

References llvm::ScalarEvolution::getSCEV(), llvm::PredicatedScalarEvolution::getSE(), llvm::ScalarEvolution::isLoopInvariant(), and llvm::ScalarEvolution::isSCEVable().

Referenced by llvm::LoopVectorizationLegality::isUniform().

◆ print()

void LoopAccessInfo::print	(	raw_ostream &	OS,
		unsigned	Depth = `0`
	)		const

Print the information about the memory accesses in the loop.

Definition at line 2630 of file LoopAccessAnalysis.cpp.

References llvm::Depth, llvm::PredicatedScalarEvolution::getPredicate(), llvm::raw_ostream::indent(), OS, llvm::PredicatedScalarEvolution::print(), llvm::MemoryDepChecker::Dependence::print(), and llvm::SCEVPredicate::print().

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

include/llvm/Analysis/LoopAccessAnalysis.h
lib/Analysis/LoopAccessAnalysis.cpp

Public Member Functions

Static Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ LoopAccessInfo()

Member Function Documentation

◆ blockNeedsPredication()

◆ canVectorizeMemory()

◆ getDepChecker()

◆ getInstructionsForAccess()

◆ getMaxSafeDepDistBytes()

◆ getNumLoads()

◆ getNumRuntimePointerChecks()

◆ getNumStores()

◆ getPSE()

◆ getReport()

◆ getRuntimePointerChecking()

◆ getStoresToInvariantAddresses()

◆ getSymbolicStrides()

◆ hasConvergentOp()

◆ hasDependenceInvolvingLoopInvariantAddress()

◆ hasStride()

◆ isUniform()

◆ print()