LLVM: llvm::FullDependence Class Reference (original) (raw)

FullDependence - This class represents a dependence between two memory references in a function. More...

#include "[llvm/Analysis/DependenceAnalysis.h](DependenceAnalysis%5F8h%5Fsource.html)"

Public Member Functions
FullDependence (Instruction *Source, Instruction *Destination, const SCEVUnionPredicate &Assumes, bool PossiblyLoopIndependent, unsigned Levels)
bool isLoopIndependent () const override
isLoopIndependent - Returns true if this is a loop-independent dependence.
bool isConfused () const override
isConfused - Returns true if this dependence is confused (the compiler understands nothing and makes worst-case assumptions).
bool isConsistent () const override
isConsistent - Returns true if this dependence is consistent (occurs every time the source and destination are executed).
unsigned getLevels () const override
getLevels - Returns the number of common loops surrounding the source and destination of the dependence.
unsigned getSameSDLevels () const override
getSameSDLevels - Returns the number of separate SameSD loops surrounding the source and destination of the dependence.
DVEntry getDVEntry (unsigned Level, bool IsSameSD) const
getDVEntry - Returns the DV entry associated with a regular or a SameSD level.
unsigned getDirection (unsigned Level, bool SameSD=false) const override
getDirection - Returns the direction associated with a particular common or SameSD level.
const SCEV * getDistance (unsigned Level, bool SameSD=false) const override
getDistance - Returns the distance (or NULL) associated with a particular common or SameSD level.
bool isDirectionNegative () const override
Check if the direction vector is negative.
bool normalize (ScalarEvolution *SE) override
If the direction vector is negative, normalize the direction vector to make it non-negative.
bool isPeelFirst (unsigned Level, bool SameSD=false) const override
isPeelFirst - Returns true if peeling the first iteration from this regular or SameSD loop level will break this dependence.
bool isPeelLast (unsigned Level, bool SameSD=false) const override
isPeelLast - Returns true if peeling the last iteration from this regular or SameSD loop level will break this dependence.
bool inSameSDLoops (unsigned Level) const override
inSameSDLoops - Returns true if this level is an SameSD level, i.e., performed across two separate loop nests that have the Same Iteration and Depth.
bool isScalar (unsigned Level, bool SameSD=false) const override
isScalar - Returns true if a particular regular or SameSD level is scalar; that is, if no subscript in the source or destination mention the induction variable associated with the loop at this level.
Public Member Functions inherited from llvm::Dependence
Dependence (Instruction *Source, Instruction *Destination, const SCEVUnionPredicate &A)
virtual ~Dependence ()=default
Instruction * getSrc () const
getSrc - Returns the source instruction for this dependence.
Instruction * getDst () const
getDst - Returns the destination instruction for this dependence.
bool isInput () const
isInput - Returns true if this is an input dependence.
bool isOutput () const
isOutput - Returns true if this is an output dependence.
bool isFlow () const
isFlow - Returns true if this is a flow (aka true) dependence.
bool isAnti () const
isAnti - Returns true if this is an anti dependence.
bool isOrdered () const
isOrdered - Returns true if dependence is Output, Flow, or Anti
bool isUnordered () const
isUnordered - Returns true if dependence is Input
DVEntry getDVEntry (unsigned Level, bool IsSameSD) const
getDVEntry - Returns the DV entry associated with a regular or a SameSD level
const Dependence * getNextPredecessor () const
getNextPredecessor - Returns the value of the NextPredecessor field.
const Dependence * getNextSuccessor () const
getNextSuccessor - Returns the value of the NextSuccessor field.
void setNextPredecessor (const Dependence *pred)
setNextPredecessor - Sets the value of the NextPredecessor field.
void setNextSuccessor (const Dependence *succ)
setNextSuccessor - Sets the value of the NextSuccessor field.
SCEVUnionPredicate getRuntimeAssumptions () const
getRuntimeAssumptions - Returns the runtime assumptions under which this Dependence relation is valid.
void dump (raw_ostream &OS) const
dump - For debugging purposes, dumps a dependence to OS.
void dumpImp (raw_ostream &OS, bool IsSameSD=false) const
dumpImp - For debugging purposes.
Friends
class DependenceInfo
Additional Inherited Members
Protected Member Functions inherited from llvm::Dependence
Dependence (Dependence &&)=default
Dependence & operator= (Dependence &&)=default
Protected Attributes inherited from llvm::Dependence
Instruction * Src
Instruction * Dst

FullDependence - This class represents a dependence between two memory references in a function.

It contains detailed information about the dependence (direction vectors, etc.) and is used when the compiler is able to accurately analyze the interaction of the references; that is, it is not a confused dependence (see Dependence). In most cases (for output, flow, and anti dependences), the dependence implies an ordering, where the source must precede the destination; in contrast, input dependences are unordered.

Definition at line 248 of file DependenceAnalysis.h.

◆ getDirection()

◆ getDistance()

◆ getDVEntry()

◆ getLevels()

unsigned llvm::FullDependence::getLevels ( ) const inlineoverridevirtual

◆ getSameSDLevels()

unsigned llvm::FullDependence::getSameSDLevels ( ) const inlineoverridevirtual

getSameSDLevels - Returns the number of separate SameSD loops surrounding the source and destination of the dependence.

Reimplemented from llvm::Dependence.

Definition at line 273 of file DependenceAnalysis.h.

◆ inSameSDLoops()

bool FullDependence::inSameSDLoops ( unsigned Level) const overridevirtual

inSameSDLoops - Returns true if this level is an SameSD level, i.e., performed across two separate loop nests that have the Same Iteration and Depth.

Reimplemented from llvm::Dependence.

Definition at line 598 of file DependenceAnalysis.cpp.

References assert().

◆ isConfused()

bool llvm::FullDependence::isConfused ( ) const inlineoverridevirtual

isConfused - Returns true if this dependence is confused (the compiler understands nothing and makes worst-case assumptions).

Reimplemented from llvm::Dependence.

Definition at line 261 of file DependenceAnalysis.h.

◆ isConsistent()

bool llvm::FullDependence::isConsistent ( ) const inlineoverridevirtual

isConsistent - Returns true if this dependence is consistent (occurs every time the source and destination are executed).

Reimplemented from llvm::Dependence.

Definition at line 265 of file DependenceAnalysis.h.

◆ isDirectionNegative()

bool FullDependence::isDirectionNegative ( ) const overridevirtual

◆ isLoopIndependent()

bool llvm::FullDependence::isLoopIndependent ( ) const inlineoverridevirtual

◆ isPeelFirst()

◆ isPeelLast()

◆ isScalar()

◆ normalize()

If the direction vector is negative, normalize the direction vector to make it non-negative.

Normalization is done by reversing Src and Dst, plus reversing the dependence directions and distances in the vector.

Reimplemented from llvm::Dependence.

Definition at line 535 of file DependenceAnalysis.cpp.

References llvm::dbgs(), llvm::Dependence::Dst, llvm::Dependence::dump(), llvm::Dependence::DVEntry::EQ, llvm::ScalarEvolution::getNegativeSCEV(), llvm::Dependence::DVEntry::GT, isDirectionNegative(), LLVM_DEBUG, llvm::Dependence::DVEntry::LT, llvm::Dependence::Src, and std::swap().

◆ DependenceInfo

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