LLVM 19.0.0git
Public Member Functions | Static Public Member Functions | Friends | List of all members
llvm::VPlan Class Reference

VPlan models a candidate for vectorization, encoding various decisions take to produce efficient output IR, including which branches, basic-blocks and output IR instructions to generate, and their cost. More...

#include "Transforms/Vectorize/VPlan.h"

Public Member Functions

 VPlan (VPBasicBlock *Preheader, VPValue *TC, VPBasicBlock *Entry)
 Construct a VPlan with original preheader Preheader, trip count TC and Entry to the plan.
 
 VPlan (VPBasicBlock *Preheader, VPBasicBlock *Entry)
 Construct a VPlan with original preheader Preheader and Entry to the plan.
 
 ~VPlan ()
 
void prepareToExecute (Value *TripCount, Value *VectorTripCount, Value *CanonicalIVStartValue, VPTransformState &State)
 Prepare the plan for execution, setting up the required live-in values.
 
void execute (VPTransformState *State)
 Generate the IR code for this VPlan.
 
VPBasicBlockgetEntry ()
 
const VPBasicBlockgetEntry () const
 
VPValuegetTripCount () const
 The trip count of the original loop.
 
VPValuegetOrCreateBackedgeTakenCount ()
 The backedge taken count of the original loop.
 
VPValuegetVectorTripCount ()
 The vector trip count.
 
VPValuegetVFxUF ()
 Returns VF * UF of the vector loop region.
 
void disableValue2VPValue ()
 Mark the plan to indicate that using Value2VPValue is not safe any longer, because it may be stale.
 
void addVF (ElementCount VF)
 
void setVF (ElementCount VF)
 
bool hasVF (ElementCount VF)
 
bool hasScalableVF ()
 
bool hasScalarVFOnly () const
 
bool hasUF (unsigned UF) const
 
void setUF (unsigned UF)
 
std::string getName () const
 Return a string with the name of the plan and the applicable VFs and UFs.
 
void setName (const Twine &newName)
 
void addVPValue (Value *V, VPValue *VPV)
 
VPValuegetVPValue (Value *V, bool OverrideAllowed=false)
 Returns the VPValue for V.
 
VPValuegetVPValueOrAddLiveIn (Value *V)
 Gets the VPValue for V or adds a new live-in (if none exists yet) for V.
 
void printLiveIns (raw_ostream &O) const
 Print the live-ins of this VPlan to O.
 
void print (raw_ostream &O) const
 Print this VPlan to O.
 
void printDOT (raw_ostream &O) const
 Print this VPlan in DOT format to O.
 
LLVM_DUMP_METHOD void dump () const
 Dump the plan to stderr (for debugging).
 
iterator_range< mapped_iterator< Use *, std::function< VPValue *(Value *)> > > mapToVPValues (User::op_range Operands)
 Returns a range mapping the values the range Operands to their corresponding VPValues.
 
VPRegionBlockgetVectorLoopRegion ()
 Returns the VPRegionBlock of the vector loop.
 
const VPRegionBlockgetVectorLoopRegion () const
 
VPCanonicalIVPHIRecipegetCanonicalIV ()
 Returns the canonical induction recipe of the vector loop.
 
void addLiveOut (PHINode *PN, VPValue *V)
 
void removeLiveOut (PHINode *PN)
 
const MapVector< PHINode *, VPLiveOut * > & getLiveOuts () const
 
VPValuegetSCEVExpansion (const SCEV *S) const
 
void addSCEVExpansion (const SCEV *S, VPValue *V)
 
VPBasicBlockgetPreheader ()
 
const VPBasicBlockgetPreheader () const
 
VPlanduplicate ()
 Clone the current VPlan, update all VPValues of the new VPlan and cloned recipes to refer to the clones, and return it.
 

Static Public Member Functions

static VPlanPtr createInitialVPlan (const SCEV *TripCount, ScalarEvolution &PSE)
 Create initial VPlan skeleton, having an "entry" VPBasicBlock (wrapping original scalar pre-header) which contains SCEV expansions that need to happen before the CFG is modified; a VPBasicBlock for the vector pre-header, followed by a region for the vector loop, followed by the middle VPBasicBlock.
 

Friends

class VPlanPrinter
 
class VPSlotTracker
 

Detailed Description

VPlan models a candidate for vectorization, encoding various decisions take to produce efficient output IR, including which branches, basic-blocks and output IR instructions to generate, and their cost.

VPlan holds a Hierarchical-CFG of VPBasicBlocks and VPRegionBlocks rooted at an Entry VPBasicBlock.

Definition at line 2819 of file VPlan.h.

Constructor & Destructor Documentation

◆ VPlan() [1/2]

llvm::VPlan::VPlan ( VPBasicBlock Preheader,
VPValue TC,
VPBasicBlock Entry 
)
inline

Construct a VPlan with original preheader Preheader, trip count TC and Entry to the plan.

At the moment, Preheader and Entry need to be disconnected, as the bypass blocks between them are not yet modeled in VPlan.

Definition at line 2881 of file VPlan.h.

◆ VPlan() [2/2]

llvm::VPlan::VPlan ( VPBasicBlock Preheader,
VPBasicBlock Entry 
)
inline

Construct a VPlan with original preheader Preheader and Entry to the plan.

At the moment, Preheader and Entry need to be disconnected, as the bypass blocks between them are not yet modeled in VPlan.

Definition at line 2890 of file VPlan.h.

References assert(), llvm::VPBlockBase::getNumPredecessors(), llvm::VPBlockBase::getNumSuccessors(), and llvm::VPBlockBase::setPlan().

◆ ~VPlan()

VPlan::~VPlan ( )

Member Function Documentation

◆ addLiveOut()

void VPlan::addLiveOut ( PHINode PN,
VPValue V 
)

Definition at line 992 of file VPlan.cpp.

References assert().

Referenced by addUsersInExitBlock().

◆ addSCEVExpansion()

void llvm::VPlan::addSCEVExpansion ( const SCEV S,
VPValue V 
)
inline

◆ addVF()

void llvm::VPlan::addVF ( ElementCount  VF)
inline

Definition at line 2942 of file VPlan.h.

References llvm::SetVector< T, Vector, Set, N >::insert().

◆ addVPValue()

void llvm::VPlan::addVPValue ( Value V,
VPValue VPV 
)
inline

◆ createInitialVPlan()

VPlanPtr VPlan::createInitialVPlan ( const SCEV TripCount,
ScalarEvolution PSE 
)
static

Create initial VPlan skeleton, having an "entry" VPBasicBlock (wrapping original scalar pre-header) which contains SCEV expansions that need to happen before the CFG is modified; a VPBasicBlock for the vector pre-header, followed by a region for the vector loop, followed by the middle VPBasicBlock.

Definition at line 761 of file VPlan.cpp.

References llvm::vputils::getOrCreateVPValueForSCEVExpr(), llvm::VPBlockUtils::insertBlockAfter(), and llvm::VPTransformState::Plan.

◆ disableValue2VPValue()

void llvm::VPlan::disableValue2VPValue ( )
inline

Mark the plan to indicate that using Value2VPValue is not safe any longer, because it may be stale.

Definition at line 2940 of file VPlan.h.

◆ dump()

LLVM_DUMP_METHOD void VPlan::dump ( ) const

Dump the plan to stderr (for debugging).

Definition at line 989 of file VPlan.cpp.

References llvm::dbgs(), and llvm::print().

◆ duplicate()

VPlan * VPlan::duplicate ( )

Clone the current VPlan, update all VPValues of the new VPlan and cloned recipes to refer to the clones, and return it.

Definition at line 1073 of file VPlan.cpp.

References _, assert(), llvm::VPBasicBlock::clone(), cloneSESE(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::contains(), Name, and remapOperands().

Referenced by llvm::LoopVectorizePass::processLoop().

◆ execute()

void VPlan::execute ( VPTransformState State)

◆ getCanonicalIV()

VPCanonicalIVPHIRecipe * llvm::VPlan::getCanonicalIV ( )
inline

◆ getEntry() [1/2]

VPBasicBlock * llvm::VPlan::getEntry ( )
inline

◆ getEntry() [2/2]

const VPBasicBlock * llvm::VPlan::getEntry ( ) const
inline

Definition at line 2917 of file VPlan.h.

◆ getLiveOuts()

const MapVector< PHINode *, VPLiveOut * > & llvm::VPlan::getLiveOuts ( ) const
inline

◆ getName()

std::string VPlan::getName ( ) const

Return a string with the name of the plan and the applicable VFs and UFs.

Definition at line 959 of file VPlan.cpp.

References llvm::drop_begin(), Name, llvm::VPTransformState::UF, and llvm::VPTransformState::VF.

Referenced by llvm::VPlanPrinter::dump().

◆ getOrCreateBackedgeTakenCount()

VPValue * llvm::VPlan::getOrCreateBackedgeTakenCount ( )
inline

The backedge taken count of the original loop.

Definition at line 2926 of file VPlan.h.

Referenced by llvm::VPlanTransforms::addActiveLaneMask(), and llvm::VPRecipeBuilder::createHeaderMask().

◆ getPreheader() [1/2]

VPBasicBlock * llvm::VPlan::getPreheader ( )
inline

◆ getPreheader() [2/2]

const VPBasicBlock * llvm::VPlan::getPreheader ( ) const
inline

Definition at line 3066 of file VPlan.h.

◆ getSCEVExpansion()

VPValue * llvm::VPlan::getSCEVExpansion ( const SCEV S) const
inline

◆ getTripCount()

VPValue * llvm::VPlan::getTripCount ( ) const
inline

The trip count of the original loop.

Definition at line 2920 of file VPlan.h.

References assert().

Referenced by llvm::VPlanTransforms::addActiveLaneMask(), addVPLaneMaskPhiAndUpdateExitBranch(), and llvm::LoopVectorizationPlanner::executePlan().

◆ getVectorLoopRegion() [1/2]

VPRegionBlock * llvm::VPlan::getVectorLoopRegion ( )
inline

◆ getVectorLoopRegion() [2/2]

const VPRegionBlock * llvm::VPlan::getVectorLoopRegion ( ) const
inline

Definition at line 3030 of file VPlan.h.

References getEntry().

◆ getVectorTripCount()

VPValue & llvm::VPlan::getVectorTripCount ( )
inline

The vector trip count.

Definition at line 2933 of file VPlan.h.

Referenced by addCanonicalIVRecipes().

◆ getVFxUF()

VPValue & llvm::VPlan::getVFxUF ( )
inline

Returns VF * UF of the vector loop region.

Definition at line 2936 of file VPlan.h.

Referenced by addCanonicalIVRecipes().

◆ getVPValue()

VPValue * llvm::VPlan::getVPValue ( Value V,
bool  OverrideAllowed = false 
)
inline

Returns the VPValue for V.

OverrideAllowed can be used to disable /// checking whether it is safe to query VPValues using IR Values.

Definition at line 2980 of file VPlan.h.

References assert(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count().

Referenced by getVPValueOrAddLiveIn().

◆ getVPValueOrAddLiveIn()

VPValue * llvm::VPlan::getVPValueOrAddLiveIn ( Value V)
inline

◆ hasScalableVF()

bool llvm::VPlan::hasScalableVF ( )
inline

◆ hasScalarVFOnly()

bool llvm::VPlan::hasScalarVFOnly ( ) const
inline

Definition at line 2955 of file VPlan.h.

References llvm::SetVector< T, Vector, Set, N >::size().

Referenced by sinkScalarOperands().

◆ hasUF()

bool llvm::VPlan::hasUF ( unsigned  UF) const
inline

◆ hasVF()

bool llvm::VPlan::hasVF ( ElementCount  VF)
inline

◆ mapToVPValues()

iterator_range< mapped_iterator< Use *, std::function< VPValue *(Value *)> > > llvm::VPlan::mapToVPValues ( User::op_range  Operands)
inline

Returns a range mapping the values the range Operands to their corresponding VPValues.

Definition at line 3019 of file VPlan.h.

References getVPValueOrAddLiveIn(), llvm::map_range(), and Operands.

Referenced by llvm::VPRecipeBuilder::handleReplication().

◆ prepareToExecute()

void VPlan::prepareToExecute ( Value TripCount,
Value VectorTripCount,
Value CanonicalIVStartValue,
VPTransformState State 
)

◆ print()

LLVM_DUMP_METHOD void VPlan::print ( raw_ostream O) const

Print this VPlan to O.

Definition at line 933 of file VPlan.cpp.

References llvm::Block, getName(), and llvm::vp_depth_first_shallow().

Referenced by llvm::operator<<().

◆ printDOT()

LLVM_DUMP_METHOD void VPlan::printDOT ( raw_ostream O) const

Print this VPlan in DOT format to O.

Definition at line 983 of file VPlan.cpp.

References llvm::Metadata::dump(), and Printer.

◆ printLiveIns()

void VPlan::printLiveIns ( raw_ostream O) const

Print the live-ins of this VPlan to O.

Definition at line 903 of file VPlan.cpp.

Referenced by llvm::VPlanPrinter::dump().

◆ removeLiveOut()

void llvm::VPlan::removeLiveOut ( PHINode PN)
inline

◆ setName()

void llvm::VPlan::setName ( const Twine newName)
inline

Definition at line 2968 of file VPlan.h.

References Name, and llvm::Twine::str().

Referenced by llvm::VPlanHCFGBuilder::buildHierarchicalCFG().

◆ setUF()

void llvm::VPlan::setUF ( unsigned  UF)
inline

◆ setVF()

void llvm::VPlan::setVF ( ElementCount  VF)
inline

Friends And Related Function Documentation

◆ VPlanPrinter

friend class VPlanPrinter
friend

Definition at line 2820 of file VPlan.h.

◆ VPSlotTracker

friend class VPSlotTracker
friend

Definition at line 2821 of file VPlan.h.


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