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 (Loop *L)
	Construct a VPlan for `L`.
	VPlan (BasicBlock ScalarHeaderBB, VPValue TC)
	Construct a VPlan with a new VPBasicBlock as entry, a VPIRBasicBlock wrapping `ScalarHeaderBB` and a trip count of `TC`.
LLVM_ABI_FOR_TEST	~VPlan ()
void	setEntry (VPBasicBlock *VPBB)
void	execute (VPTransformState *State)
	Generate the IR code for this VPlan.
InstructionCost	cost (ElementCount VF, VPCostContext &Ctx)
	Return the cost of this plan.
VPBasicBlock *	getEntry ()
const VPBasicBlock *	getEntry () const
VPBasicBlock *	getVectorPreheader ()
	Returns the preheader of the vector loop region, if one exists, or null otherwise.
LLVM_ABI_FOR_TEST VPRegionBlock *	getVectorLoopRegion ()
	Returns the VPRegionBlock of the vector loop.
LLVM_ABI_FOR_TEST const VPRegionBlock *	getVectorLoopRegion () const
VPBasicBlock *	getMiddleBlock ()
	Returns the 'middle' block of the plan, that is the block that selects whether to execute the scalar tail loop or the exit block from the loop latch.
const VPBasicBlock *	getMiddleBlock () const
VPBasicBlock *	getScalarPreheader () const
	Return the VPBasicBlock for the preheader of the scalar loop.
VPIRBasicBlock *	getScalarHeader () const
	Return the VPIRBasicBlock wrapping the header of the scalar loop.
ArrayRef< VPIRBasicBlock * >	getExitBlocks () const
	Return an ArrayRef containing VPIRBasicBlocks wrapping the exit blocks of the original scalar loop.
VPIRBasicBlock *	getExitBlock (BasicBlock *IRBB) const
	Return the VPIRBasicBlock corresponding to `IRBB`.
bool	isExitBlock (VPBlockBase *VPBB)
	Returns true if `VPBB` is an exit block.
VPValue *	getTripCount () const
	The trip count of the original loop.
void	setTripCount (VPValue *NewTripCount)
	Set the trip count assuming it is currently null; if it is not - use resetTripCount().
void	resetTripCount (VPValue *NewTripCount)
	Resets the trip count for the VPlan.
VPValue *	getOrCreateBackedgeTakenCount ()
	The backedge taken count of the original loop.
VPValue &	getVectorTripCount ()
	The vector trip count.
VPValue &	getVF ()
	Returns the VF of the vector loop region.
VPValue &	getVFxUF ()
	Returns VF * UF of the vector loop region.
LLVMContext &	getContext () const
void	addVF (ElementCount VF)
void	setVF (ElementCount VF)
bool	hasVF (ElementCount VF) const
bool	hasScalableVF () const
iterator_range< SmallSetVector< ElementCount, 2 >::iterator >	vectorFactors () const
	Returns an iterator range over all VFs of the plan.
bool	hasScalarVFOnly () const
bool	hasUF (unsigned UF) const
unsigned	getUF () const
void	setUF (unsigned UF)
bool	isUnrolled () const
	Returns true if the VPlan already has been unrolled, i.e.
std::string	getName () const
	Return a string with the name of the plan and the applicable VFs and UFs.
void	setName (const Twine &newName)
VPValue *	getOrAddLiveIn (Value *V)
	Gets the live-in VPValue for `V` or adds a new live-in (if none exists yet) for `V`.
VPValue *	getTrue ()
	Return a VPValue wrapping i1 true.
VPValue *	getFalse ()
	Return a VPValue wrapping i1 false.
VPValue *	getLiveIn (Value *V) const
	Return the live-in VPValue for `V`, if there is one or nullptr otherwise.
ArrayRef< VPValue * >	getLiveIns () const
	Return the list of live-in VPValues available in the VPlan.
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).
VPCanonicalIVPHIRecipe *	getCanonicalIV ()
	Returns the canonical induction recipe of the vector loop.
VPValue *	getSCEVExpansion (const SCEV *S) const
void	addSCEVExpansion (const SCEV S, VPValue V)
VPlan *	duplicate ()
	Clone the current VPlan, update all VPValues of the new VPlan and cloned recipes to refer to the clones, and return it.
VPBasicBlock *	createVPBasicBlock (const Twine &Name, VPRecipeBase *Recipe=nullptr)
	Create a new VPBasicBlock with `Name` and containing `Recipe` if present.
VPRegionBlock *	createVPRegionBlock (VPBlockBase Entry, VPBlockBase Exiting, const std::string &Name="", bool IsReplicator=false)
	Create a new VPRegionBlock with `Entry`, `Exiting` and `Name`.
VPRegionBlock *	createVPRegionBlock (const std::string &Name="")
	Create a new loop VPRegionBlock with `Name` and entry and exiting blocks set to nullptr.
VPIRBasicBlock *	createEmptyVPIRBasicBlock (BasicBlock *IRBB)
	Create a VPIRBasicBlock wrapping `IRBB`, but do not create VPIRInstructions wrapping the instructions in t`IRBB`.
LLVM_ABI_FOR_TEST VPIRBasicBlock *	createVPIRBasicBlock (BasicBlock *IRBB)
	Create a VPIRBasicBlock from `IRBB` containing VPIRInstructions for all instructions in `IRBB`, except its terminator which is managed by the successors of the block in VPlan.
bool	hasEarlyExit () const
	Returns true if the VPlan is based on a loop with an early exit.
bool	hasScalarTail () const
	Returns true if the scalar tail may execute after the vector loop.

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 4046 of file VPlan.h.

Constructor & Destructor Documentation

◆ VPlan() [1/2]

VPlan::VPlan ( Loop * L )

Construct a VPlan for L.

This will create VPIRBasicBlocks wrapping the original preheader and scalar header of L, to be used as entry and scalar header blocks of the new VPlan.

Definition at line 904 of file VPlan.cpp.

References createVPIRBasicBlock(), and setEntry().

◆ VPlan() [2/2]

llvm::VPlan::VPlan	(	BasicBlock *	ScalarHeaderBB,
		VPValue *	TC )

inline

Construct a VPlan with a new VPBasicBlock as entry, a VPIRBasicBlock wrapping ScalarHeaderBB and a trip count of TC.

Definition at line 4126 of file VPlan.h.

References createVPBasicBlock(), createVPIRBasicBlock(), and setEntry().

◆ ~VPlan()

VPlan::~VPlan ( )

Definition at line 914 of file VPlan.cpp.

References llvm::dyn_cast(), getLiveIns(), and I.

Member Function Documentation

◆ addSCEVExpansion()

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

inline

Definition at line 4364 of file VPlan.h.

References assert().

Referenced by llvm::vputils::getOrCreateVPValueForSCEVExpr().

◆ addVF()

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

inline

Definition at line 4247 of file VPlan.h.

◆ cost()

InstructionCost VPlan::cost	(	ElementCount	VF,
		VPCostContext &	Ctx )

Return the cost of this plan.

Definition at line 1028 of file VPlan.cpp.

References llvm::any_of(), llvm::VPBlockUtils::blocksOnly(), llvm::VPBasicBlock::cost(), llvm::VPRegionBlock::cost(), getEntry(), llvm::InstructionCost::getInvalid(), getVectorLoopRegion(), llvm::InstructionCost::isValid(), and llvm::vp_depth_first_shallow().

◆ createEmptyVPIRBasicBlock()

VPIRBasicBlock * VPlan::createEmptyVPIRBasicBlock ( BasicBlock * IRBB )

Create a VPIRBasicBlock wrapping IRBB, but do not create VPIRInstructions wrapping the instructions in tIRBB.

The returned block is owned by the VPlan and deleted once the VPlan is destroyed.

Definition at line 1255 of file VPlan.cpp.

Referenced by llvm::VPIRBasicBlock::clone(), and createVPIRBasicBlock().

◆ createVPBasicBlock()

VPBasicBlock * llvm::VPlan::createVPBasicBlock	(	const Twine &	Name,
		VPRecipeBase *	Recipe = nullptr )

inline

Create a new VPBasicBlock with Name and containing Recipe if present.

The returned block is owned by the VPlan and deleted once the VPlan is destroyed.

Definition at line 4376 of file VPlan.h.

Referenced by addInitialSkeleton(), llvm::VPBasicBlock::clone(), createReplicateRegion(), llvm::VPlanTransforms::handleUncountableEarlyExit(), llvm::VPBasicBlock::splitAt(), and VPlan().

◆ createVPIRBasicBlock()

VPIRBasicBlock * VPlan::createVPIRBasicBlock ( BasicBlock * IRBB )

Create a VPIRBasicBlock from IRBB containing VPIRInstructions for all instructions in IRBB, except its terminator which is managed by the successors of the block in VPlan.

The returned block is owned by the VPlan and deleted once the VPlan is destroyed.

Definition at line 1261 of file VPlan.cpp.

References llvm::BasicBlock::begin(), llvm::VPIRInstruction::create(), createEmptyVPIRBasicBlock(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::BasicBlock::getTerminator(), I, and llvm::make_range().

Referenced by llvm::VPlanTransforms::attachCheckBlock(), duplicate(), VPlan(), and VPlan().

◆ createVPRegionBlock() [1/2]

VPRegionBlock * llvm::VPlan::createVPRegionBlock ( const std::string & Name = "" )

inline

Create a new loop VPRegionBlock with Name and entry and exiting blocks set to nullptr.

The returned block is owned by the VPlan and deleted once the VPlan is destroyed.

Definition at line 4397 of file VPlan.h.

◆ createVPRegionBlock() [2/2]

VPRegionBlock * llvm::VPlan::createVPRegionBlock	(	VPBlockBase *	Entry,
		VPBlockBase *	Exiting,
		const std::string &	Name = "",
		bool	IsReplicator = false )

inline

Create a new VPRegionBlock with Entry, Exiting and Name.

If IsReplicator is true, the region is a replicate region. The returned block is owned by the VPlan and deleted once the VPlan is destroyed.

Definition at line 4386 of file VPlan.h.

Referenced by llvm::VPRegionBlock::clone(), createLoopRegion(), and createReplicateRegion().

◆ dump()

LLVM_DUMP_METHOD void VPlan::dump ( ) const

Dump the plan to stderr (for debugging).

Definition at line 1147 of file VPlan.cpp.

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

Referenced by execute().

◆ 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 1188 of file VPlan.cpp.

References assert(), llvm::cast(), cloneFrom(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::contains(), createVPIRBasicBlock(), llvm::dyn_cast(), llvm::find_if(), llvm::VPIRBasicBlock::getIRBasicBlock(), getLiveIns(), llvm::VPBlockBase::getNumSuccessors(), getScalarHeader(), I, llvm::isa(), remapOperands(), llvm::seq(), and llvm::vp_depth_first_shallow().

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

◆ execute()

void VPlan::execute ( VPTransformState * State )

Generate the IR code for this VPlan.

Generate the code inside the preheader and body of the vectorized loop.

Assumes a single pre-header basic-block was created for this. Introduce additional basic-blocks as needed, and fill them all.

Definition at line 952 of file VPlan.cpp.

References llvm::Block, llvm::cast(), llvm::dbgs(), llvm::DominatorTreeBase< BasicBlock, false >::Delete, dump(), llvm::LoopBase< BlockT, LoopT >::getBlocksVector(), llvm::vputils::getFirstLoopHeader(), getScalarHeader(), getScalarPreheader(), llvm::BasicBlock::getSingleSuccessor(), llvm::BasicBlock::getTerminator(), getUF(), llvm::VPBlockBase::hasPredecessors(), llvm::isa(), LLVM_DEBUG, and setName().

Referenced by llvm::LoopVectorizationPlanner::executePlan().

◆ getCanonicalIV()

VPCanonicalIVPHIRecipe * llvm::VPlan::getCanonicalIV ( )

inline

Returns the canonical induction recipe of the vector loop.

Definition at line 4351 of file VPlan.h.

References llvm::VPBasicBlock::begin(), llvm::cast(), llvm::VPBasicBlock::empty(), llvm::VPBlockBase::getEntryBasicBlock(), llvm::VPBlockBase::getSingleSuccessor(), and getVectorLoopRegion().

Referenced by llvm::VPlanTransforms::addActiveLaneMask(), llvm::VPlanTransforms::addExplicitVectorLength(), addVPLaneMaskPhiAndUpdateExitBranch(), llvm::VPlanTransforms::attachCheckBlock(), createScalarIVSteps(), findHeaderMask(), llvm::VPlanTransforms::handleMaxMinNumReductions(), isConditionTrueViaVFAndUF(), llvm::vputils::isHeaderMask(), llvm::VPlanTransforms::narrowInterleaveGroups(), optimizeEarlyExitInductionUser(), preparePlanForMainVectorLoop(), and removeRedundantCanonicalIVs().

◆ getContext()

LLVMContext & llvm::VPlan::getContext ( ) const

inline

Definition at line 4243 of file VPlan.h.

References llvm::BasicBlock::getContext(), llvm::VPIRBasicBlock::getIRBasicBlock(), and getScalarHeader().

Referenced by llvm::VPlanTransforms::addBranchWeightToMiddleTerminator(), llvm::VPlanTransforms::addExplicitVectorLength(), llvm::VPlanTransforms::addMiddleCheck(), llvm::VPlanTransforms::addMinimumIterationCheck(), llvm::VPlanTransforms::attachCheckBlock(), llvm::VPlanTransforms::createInterleaveGroups(), expandVPWidenIntOrFpInduction(), getFalse(), getTrue(), optimizeVectorInductionWidthForTCAndVFUF(), transformRecipestoEVLRecipes(), llvm::VPlanTransforms::truncateToMinimalBitwidths(), and tryToReplaceALMWithWideALM().

◆ getEntry() [1/2]

VPBasicBlock * llvm::VPlan::getEntry ( )

inline

Definition at line 4145 of file VPlan.h.

◆ getEntry() [2/2]

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

inline

Definition at line 4146 of file VPlan.h.

◆ getExitBlock()

VPIRBasicBlock * VPlan::getExitBlock ( BasicBlock * IRBB ) const

Return the VPIRBasicBlock corresponding to IRBB.

IRBB must be an exit block.

Definition at line 937 of file VPlan.cpp.

References assert(), llvm::find_if(), getExitBlocks(), and llvm::VPIRBasicBlock::getIRBasicBlock().

◆ getExitBlocks()

ArrayRef< VPIRBasicBlock * > llvm::VPlan::getExitBlocks ( ) const

inline

Return an ArrayRef containing VPIRBasicBlocks wrapping the exit blocks of the original scalar loop.

Definition at line 4197 of file VPlan.h.

Referenced by calculateEarlyExitCost(), createExtractsForLiveOuts(), llvm::LoopVectorizationPlanner::executePlan(), getExitBlock(), llvm::VPlanTransforms::handleEarlyExits(), and llvm::VPlanTransforms::optimizeInductionExitUsers().

◆ getFalse()

VPValue * llvm::VPlan::getFalse ( )

inline

Return a VPValue wrapping i1 false.

Definition at line 4318 of file VPlan.h.

References getContext(), llvm::ConstantInt::getFalse(), and getOrAddLiveIn().

Referenced by llvm::VPlanTransforms::addMiddleCheck(), and llvm::VPlanTransforms::addMinimumIterationCheck().

◆ getLiveIn()

VPValue * llvm::VPlan::getLiveIn ( Value * V ) const

inline

Return the live-in VPValue for V, if there is one or nullptr otherwise.

Definition at line 4324 of file VPlan.h.

Referenced by llvm::VPlanTransforms::replaceSymbolicStrides().

◆ getLiveIns()

ArrayRef< VPValue * > llvm::VPlan::getLiveIns ( ) const

inline

Return the list of live-in VPValues available in the VPlan.

Definition at line 4327 of file VPlan.h.

References llvm::all_of(), assert(), llvm::is_contained(), and P.

Referenced by duplicate(), llvm::VPlanTransforms::materializeBroadcasts(), and ~VPlan().

◆ getMiddleBlock() [1/2]

VPBasicBlock * llvm::VPlan::getMiddleBlock ( )

inline

Returns the 'middle' block of the plan, that is the block that selects whether to execute the scalar tail loop or the exit block from the loop latch.

If there is an early exit from the vector loop, the middle block conceptully has the early exit block as third successor, split accross 2 VPBBs. In that case, the second VPBB selects whether to execute the scalar tail loop or the exit bock. If the scalar tail loop or exit block are known to always execute, the middle block may branch directly to that block. This function cannot be called once the vector loop region has been removed.

Definition at line 4170 of file VPlan.h.

References assert(), llvm::cast(), getScalarPreheader(), llvm::VPBlockBase::getSingleSuccessor(), getVectorLoopRegion(), and llvm::is_contained().

Referenced by llvm::VPlanTransforms::addBranchWeightToMiddleTerminator(), addExitUsersForFirstOrderRecurrences(), addScalarResumePhis(), calculateEarlyExitCost(), getMiddleBlock(), llvm::VPlanTransforms::handleMaxMinNumReductions(), llvm::VPlanTransforms::materializeConstantVectorTripCount(), llvm::VPlanTransforms::optimizeInductionExitUsers(), preparePlanForMainVectorLoop(), and llvm::LoopVectorizePass::processLoop().

◆ getMiddleBlock() [2/2]

const VPBasicBlock * llvm::VPlan::getMiddleBlock ( ) const

inline

Definition at line 4183 of file VPlan.h.

References getMiddleBlock().

◆ getName()

std::string VPlan::getName ( ) const

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

Definition at line 1117 of file VPlan.cpp.

References llvm::drop_begin().

Referenced by print().

◆ getOrAddLiveIn()

VPValue * llvm::VPlan::getOrAddLiveIn ( Value * V )

inline

Gets the live-in VPValue for V or adds a new live-in (if none exists yet) for V.

Definition at line 4297 of file VPlan.h.

References assert(), and llvm::VPValue::isLiveIn().

◆ getOrCreateBackedgeTakenCount()

VPValue * llvm::VPlan::getOrCreateBackedgeTakenCount ( )

inline

The backedge taken count of the original loop.

Definition at line 4228 of file VPlan.h.

Referenced by llvm::vputils::isHeaderMask(), llvm::VPlanTransforms::materializeBackedgeTakenCount(), llvm::VPlanTransforms::materializeBroadcasts(), and optimizeVectorInductionWidthForTCAndVFUF().

◆ getScalarHeader()

VPIRBasicBlock * llvm::VPlan::getScalarHeader ( ) const

inline

Return the VPIRBasicBlock wrapping the header of the scalar loop.

Definition at line 4193 of file VPlan.h.

Referenced by addInitialSkeleton(), llvm::VPlanTransforms::addMiddleCheck(), addScalarResumePhis(), duplicate(), execute(), getContext(), getScalarPreheader(), llvm::VPlanTransforms::handleEarlyExits(), preparePlanForMainVectorLoop(), llvm::VPlanTransforms::replicateByVF(), and simplifyRecipe().

◆ getScalarPreheader()

VPBasicBlock * llvm::VPlan::getScalarPreheader ( ) const

inline

Return the VPBasicBlock for the preheader of the scalar loop.

Definition at line 4188 of file VPlan.h.

References llvm::cast(), and getScalarHeader().

Referenced by addExitUsersForFirstOrderRecurrences(), llvm::VPlanTransforms::addMiddleCheck(), addScalarResumePhis(), llvm::VPlanTransforms::attachCheckBlock(), execute(), llvm::LoopVectorizationPlanner::executePlan(), fixScalarResumeValuesFromBypass(), getMiddleBlock(), llvm::VPlanTransforms::handleMaxMinNumReductions(), hasScalarTail(), llvm::VPlanTransforms::materializeConstantVectorTripCount(), preparePlanForMainVectorLoop(), and llvm::LoopVectorizationPlanner::updateLoopMetadataAndProfileInfo().

◆ getSCEVExpansion()

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

inline

Definition at line 4360 of file VPlan.h.

Referenced by llvm::vputils::getOrCreateVPValueForSCEVExpr().

◆ getTripCount()

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

inline

The trip count of the original loop.

Definition at line 4207 of file VPlan.h.

References assert().

◆ getTrue()

VPValue * llvm::VPlan::getTrue ( )

inline

Return a VPValue wrapping i1 true.

Definition at line 4312 of file VPlan.h.

References getContext(), getOrAddLiveIn(), and llvm::ConstantInt::getTrue().

Referenced by llvm::VPlanTransforms::addMinimumIterationCheck(), simplifyBranchConditionForVFAndUF(), and transformRecipestoEVLRecipes().

◆ getUF()

unsigned llvm::VPlan::getUF ( ) const

inline

Definition at line 4275 of file VPlan.h.

References assert().

Referenced by llvm::VPlanTransforms::addBranchWeightToMiddleTerminator(), execute(), llvm::VPlanTransforms::materializeVFAndVFxUF(), llvm::VPlanTransforms::narrowInterleaveGroups(), and llvm::VPlanTransforms::optimizeForVFAndUF().

◆ getVectorLoopRegion() [1/2]

VPRegionBlock * VPlan::getVectorLoopRegion ( )

Returns the VPRegionBlock of the vector loop.

Definition at line 1046 of file VPlan.cpp.

References B(), llvm::dyn_cast(), getEntry(), and llvm::vp_depth_first_shallow().

◆ getVectorLoopRegion() [2/2]

const VPRegionBlock * VPlan::getVectorLoopRegion ( ) const

Definition at line 1054 of file VPlan.cpp.

References B(), llvm::dyn_cast(), getEntry(), and llvm::vp_depth_first_shallow().

◆ getVectorPreheader()

VPBasicBlock * llvm::VPlan::getVectorPreheader ( )

inline

Returns the preheader of the vector loop region, if one exists, or null otherwise.

Definition at line 4150 of file VPlan.h.

References llvm::cast(), llvm::VPBlockBase::getSinglePredecessor(), and getVectorLoopRegion().

Referenced by addVPLaneMaskPhiAndUpdateExitBranch(), llvm::VPlanTransforms::attachCheckBlock(), llvm::LoopVectorizationPlanner::executePlan(), expandVPWidenIntOrFpInduction(), licm(), llvm::VPlanTransforms::materializeBroadcasts(), llvm::VPlanTransforms::narrowInterleaveGroups(), optimizeVectorInductionWidthForTCAndVFUF(), simplifyBranchConditionForVFAndUF(), and llvm::VPlanTransforms::truncateToMinimalBitwidths().

◆ getVectorTripCount()

VPValue & llvm::VPlan::getVectorTripCount ( )

inline

The vector trip count.

Definition at line 4235 of file VPlan.h.

Referenced by addCanonicalIVRecipes(), llvm::VPlanTransforms::addMiddleCheck(), addScalarResumePhis(), llvm::calculateRegisterUsageForPlan(), llvm::VPlanTransforms::canonicalizeEVLLoops(), llvm::VPlanTransforms::handleMaxMinNumReductions(), isConditionTrueViaVFAndUF(), llvm::VPlanTransforms::materializeConstantVectorTripCount(), llvm::VPlanTransforms::materializeVectorTripCount(), and preparePlanForMainVectorLoop().

◆ getVF()

VPValue & llvm::VPlan::getVF ( )

inline

Returns the VF of the vector loop region.

Definition at line 4238 of file VPlan.h.

Referenced by llvm::VPlanTransforms::createInterleaveGroups(), createScalarIVSteps(), createWidenInductionRecipes(), llvm::vputils::isHeaderMask(), llvm::VPlanTransforms::materializeVFAndVFxUF(), llvm::VPlanTransforms::narrowInterleaveGroups(), and transformRecipestoEVLRecipes().

◆ getVFxUF()

VPValue & llvm::VPlan::getVFxUF ( )

inline

Returns VF * UF of the vector loop region.

Definition at line 4241 of file VPlan.h.

Referenced by addCanonicalIVRecipes(), llvm::VPlanTransforms::canonicalizeEVLLoops(), llvm::VPlanTransforms::materializeVectorTripCount(), llvm::VPlanTransforms::materializeVFAndVFxUF(), and transformRecipestoEVLRecipes().

◆ hasEarlyExit()

bool llvm::VPlan::hasEarlyExit ( ) const

inline

Returns true if the VPlan is based on a loop with an early exit.

That is the case if the VPlan has either more than one exit block or a single exit block with multiple predecessors (one for the exit via the latch and one via the other early exit).

Definition at line 4418 of file VPlan.h.

References llvm::count_if(), and llvm::VPBlockBase::hasPredecessors().

Referenced by llvm::LoopVectorizationPlanner::computeBestVF(), llvm::LoopVectorizationPlanner::executePlan(), and llvm::LoopVectorizationPlanner::selectInterleaveCount().