Class that provides utilities for VPBlockBases in VPlan. More...

#include "Transforms/Vectorize/VPlanUtils.h"

Public Member Functions
	VPBlockUtils ()=delete

Static Public Member Functions
static void	insertBlockAfter (VPBlockBase NewBlock, VPBlockBase BlockPtr)
	Insert disconnected VPBlockBase `NewBlock` after `BlockPtr`.
static void	insertBlockBefore (VPBlockBase NewBlock, VPBlockBase BlockPtr)
	Insert disconnected block `NewBlock` before `Blockptr`.
static void	insertTwoBlocksAfter (VPBlockBase IfTrue, VPBlockBase IfFalse, VPBlockBase *BlockPtr)
	Insert disconnected VPBlockBases `IfTrue` and `IfFalse` after `BlockPtr`.
static void	connectBlocks (VPBlockBase From, VPBlockBase To, unsigned PredIdx=-1u, unsigned SuccIdx=-1u)
	Connect VPBlockBases `From` and `To` bi-directionally.
static void	disconnectBlocks (VPBlockBase From, VPBlockBase To)
	Disconnect VPBlockBases `From` and `To` bi-directionally.
static void	reassociateBlocks (VPBlockBase Old, VPBlockBase New)
	Reassociate all the blocks connected to `Old` so that they now point to `New`.
template<typename BlockTy, typename T>
static auto	blocksOnly (const T &Range)
	Return an iterator range over `Range` which only includes `BlockTy` blocks.
static void	insertOnEdge (VPBlockBase From, VPBlockBase To, VPBlockBase *BlockPtr)
	Inserts `BlockPtr` on the edge between `From` and `To`.
static bool	isHeader (const VPBlockBase *VPB, const VPDominatorTree &VPDT)
	Returns true if `VPB` is a loop header, based on regions or `VPDT` in their absence.
static bool	isLatch (const VPBlockBase *VPB, const VPDominatorTree &VPDT)
	Returns true if `VPB` is a loop latch, using isHeader().

Detailed Description

Class that provides utilities for VPBlockBases in VPlan.

Definition at line 81 of file VPlanUtils.h.

Constructor & Destructor Documentation

◆ VPBlockUtils()

llvm::VPBlockUtils::VPBlockUtils ( )

delete

Member Function Documentation

◆ blocksOnly()

template<typename BlockTy, typename T>

auto llvm::VPBlockUtils::blocksOnly ( const T & Range )

inlinestatic

Return an iterator range over Range which only includes BlockTy blocks.

The accesses are casted to BlockTy.

Definition at line 187 of file VPlanUtils.h.

References llvm::Block, llvm::cast(), llvm::Filter, llvm::isa(), llvm::make_filter_range(), llvm::map_range(), Range, and T.

◆ connectBlocks()

void llvm::VPBlockUtils::connectBlocks	(	VPBlockBase *	From,
		VPBlockBase *	To,
		unsigned	PredIdx = -1u,
		unsigned	SuccIdx = -1u )

inlinestatic

Connect VPBlockBases From and To bi-directionally.

If PredIdx is -1, append From to the predecessors of To, otherwise set To's predecessor at PredIdx to From. If SuccIdx is -1, append To to the successors of From, otherwise set From's successor at SuccIdx to To. Both VPBlockBases must have the same parent, which can be null. Both VPBlockBases can be already connected to other VPBlockBases.

Definition at line 146 of file VPlanUtils.h.

References assert(), llvm::VPBlockBase::getNumSuccessors(), llvm::VPBlockBase::getParent(), llvm::VPBlockBase::getPredecessors(), and llvm::VPBlockBase::getSuccessors().

Referenced by addInitialSkeleton(), llvm::VPlanTransforms::attachCheckBlock(), createLoopRegion(), createReplicateRegion(), llvm::VPRegionBlock::dissolveToCFGLoop(), llvm::VPlanTransforms::handleUncountableEarlyExit(), insertBlockAfter(), insertBlockBefore(), insertOnEdge(), llvm::EpilogueVectorizerMainLoop::introduceCheckBlockInVPlan(), llvm::VPlanTransforms::introduceMasksAndLinearize(), mergeBlocksIntoPredecessors(), mergeReplicateRegionsIntoSuccessors(), and simplifyBranchConditionForVFAndUF().

◆ disconnectBlocks()

void llvm::VPBlockUtils::disconnectBlocks	(	VPBlockBase *	From,
		VPBlockBase *	To )

inlinestatic

Disconnect VPBlockBases From and To bi-directionally.

Remove To from the successors of From and From from the predecessors of To.

Definition at line 165 of file VPlanUtils.h.

References assert().

Referenced by createLoopRegion(), llvm::VPRegionBlock::dissolveToCFGLoop(), llvm::VPlanTransforms::handleEarlyExits(), llvm::VPlanTransforms::introduceMasksAndLinearize(), mergeBlocksIntoPredecessors(), mergeReplicateRegionsIntoSuccessors(), llvm::VPlanTransforms::removeBranchOnConst(), and simplifyBranchConditionForVFAndUF().

◆ insertBlockAfter()

void llvm::VPBlockUtils::insertBlockAfter	(	VPBlockBase *	NewBlock,
		VPBlockBase *	BlockPtr )

inlinestatic

Insert disconnected VPBlockBase NewBlock after BlockPtr.

Add NewBlock as successor of BlockPtr and BlockPtr as predecessor of NewBlock, and propagate BlockPtr parent to NewBlock. BlockPtr's successors are moved from BlockPtr to NewBlock. NewBlock must have neither successors nor predecessors.

Definition at line 90 of file VPlanUtils.h.

References assert(), llvm::VPBlockBase::clearSuccessors(), connectBlocks(), llvm::SmallVectorTemplateCommon< T, typename >::empty(), llvm::VPBlockBase::getParent(), llvm::VPBlockBase::getPredecessors(), llvm::VPBlockBase::getSuccessors(), llvm::VPBlockBase::setParent(), and llvm::VPBlockBase::successors().

Referenced by addInitialSkeleton(), and llvm::VPBasicBlock::splitAt().

◆ insertBlockBefore()

void llvm::VPBlockUtils::insertBlockBefore	(	VPBlockBase *	NewBlock,
		VPBlockBase *	BlockPtr )

inlinestatic

Insert disconnected block NewBlock before Blockptr.

First disconnects all predecessors of BlockPtr and connects them to NewBlock. Add NewBlock as predecessor of BlockPtr and BlockPtr as successor of NewBlock.

Definition at line 108 of file VPlanUtils.h.

References assert(), llvm::VPBlockBase::clearPredecessors(), connectBlocks(), llvm::SmallVectorTemplateCommon< T, typename >::empty(), llvm::VPBlockBase::getParent(), llvm::VPBlockBase::getPredecessors(), llvm::VPBlockBase::getSuccessors(), llvm::VPBlockBase::predecessors(), llvm::VPBlockBase::setParent(), and llvm::to_vector().

◆ insertOnEdge()

void llvm::VPBlockUtils::insertOnEdge	(	VPBlockBase *	From,
		VPBlockBase *	To,
		VPBlockBase *	BlockPtr )

inlinestatic

Inserts BlockPtr on the edge between From and To.

That is, update From's successor to To to point to BlockPtr and To's predecessor from From to BlockPtr. From and To are added to BlockPtr's predecessors and successors respectively. There must be a single edge between From and To.

Definition at line 208 of file VPlanUtils.h.

References connectBlocks(), llvm::VPBlockBase::getIndexForPredecessor(), and llvm::VPBlockBase::getIndexForSuccessor().

Referenced by addInitialSkeleton(), addReplicateRegions(), llvm::VPlanTransforms::attachCheckBlock(), createLoopRegion(), llvm::VPlanTransforms::handleUncountableEarlyExit(), and llvm::EpilogueVectorizerMainLoop::introduceCheckBlockInVPlan().

◆ insertTwoBlocksAfter()

void llvm::VPBlockUtils::insertTwoBlocksAfter	(	VPBlockBase *	IfTrue,
		VPBlockBase *	IfFalse,
		VPBlockBase *	BlockPtr )

inlinestatic

Insert disconnected VPBlockBases IfTrue and IfFalse after BlockPtr.

Add IfTrue and IfFalse as succesors of BlockPtr and BlockPtr as predecessor of IfTrue and IfFalse. Propagate BlockPtr parent to IfTrue and IfFalse. BlockPtr must have no successors and IfTrue and IfFalse must have neither successors nor predecessors.