LoopAccessAnalysis.h File Reference

#include "llvm/ADT/EquivalenceClasses.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/AliasSetTracker.h"
#include "llvm/Analysis/LoopAnalysisManager.h"
#include "llvm/Analysis/ScalarEvolutionExpressions.h"
#include "llvm/IR/DiagnosticInfo.h"
#include "llvm/IR/ValueHandle.h"
#include "llvm/Pass.h"
#include "llvm/Support/raw_ostream.h"

Include dependency graph for LoopAccessAnalysis.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	llvm::VectorizerParams
	Collection of parameters shared beetween the Loop Vectorizer and the Loop Access Analysis. More...
class	llvm::MemoryDepChecker
	Checks memory dependences among accesses to the same underlying object to determine whether there vectorization is legal or not (and at which vectorization factor). More...
struct	llvm::MemoryDepChecker::Dependence
	Dependece between memory access instructions. More...
class	llvm::RuntimePointerChecking
	Holds information about the memory runtime legality checks to verify that a group of pointers do not overlap. More...
struct	llvm::RuntimePointerChecking::PointerInfo
struct	llvm::RuntimePointerChecking::CheckingPtrGroup
	A grouping of pointers. More...
class	llvm::LoopAccessInfo
	Drive the analysis of memory accesses in the loop. More...
class	llvm::LoopAccessLegacyAnalysis
	This analysis provides dependence information for the memory accesses of a loop. More...
class	llvm::LoopAccessAnalysis
	This analysis provides dependence information for the memory accesses of a loop. More...

Namespaces
	llvm
	This class represents lattice values for constants.

Functions
Value *	llvm::stripIntegerCast (Value *V)
const SCEV *	llvm::replaceSymbolicStrideSCEV (PredicatedScalarEvolution &PSE, const ValueToValueMap &PtrToStride, Value *Ptr, Value *OrigPtr=nullptr)
	Return the SCEV corresponding to a pointer with the symbolic stride replaced with constant one, assuming the SCEV predicate associated with PSE is true. More...
int64_t	llvm::getPtrStride (PredicatedScalarEvolution &PSE, Value *Ptr, const Loop *Lp, const ValueToValueMap &StridesMap=ValueToValueMap(), bool Assume=false, bool ShouldCheckWrap=true)
	If the pointer has a constant stride return it in units of its element size. More...
bool	llvm::sortPtrAccesses (ArrayRef< Value *> VL, const DataLayout &DL, ScalarEvolution &SE, SmallVectorImpl< unsigned > &SortedIndices)
	Attempt to sort the pointers in VL and return the sorted indices in SortedIndices, if reordering is required. More...
bool	llvm::isConsecutiveAccess (Value *A, Value *B, const DataLayout &DL, ScalarEvolution &SE, bool CheckType=true)
	Returns true if the memory operations A and B are consecutive. More...