Helper class to create VPRecipies from IR instructions. More...

#include "Transforms/Vectorize/VPRecipeBuilder.h"

Public Member Functions
	VPRecipeBuilder (VPlan &Plan, Loop OrigLoop, const TargetLibraryInfo TLI, const TargetTransformInfo TTI, LoopVectorizationLegality Legal, LoopVectorizationCostModel &CM, PredicatedScalarEvolution &PSE, VPBuilder &Builder)

std::optional< unsigned >	getScalingForReduction (const Instruction *ExitInst)

void	collectScaledReductions (VFRange &Range)
	Find all possible partial reductions in the loop and track all of those that are valid so recipes can be formed later.

VPRecipeBase *	tryToCreateWidenRecipe (Instruction Instr, ArrayRef< VPValue > Operands, VFRange &Range, VPBasicBlock *VPBB)
	Create and return a widened recipe for `I` if one can be created within the given VF `Range`.

VPRecipeBase *	tryToCreatePartialReduction (Instruction Reduction, ArrayRef< VPValue > Operands)
	Create and return a partial reduction recipe for a reduction instruction along with binary operation and reduction phi operands.

void	setRecipe (Instruction I, VPRecipeBase R)
	Set the recipe created for given ingredient.

void	createHeaderMask ()
	Create the mask for the vector loop header block.

void	createBlockInMask (BasicBlock *BB)
	A helper function that computes the predicate of the block BB, assuming that the header block of the loop is set to True or the loop mask when tail folding.

VPValue *	getBlockInMask (BasicBlock *BB) const
	Returns the entry mask for the block `BB`.

void	createSwitchEdgeMasks (SwitchInst *SI)
	Create an edge mask for every destination of cases and/or default.

VPValue *	createEdgeMask (BasicBlock Src, BasicBlock Dst)
	A helper function that computes the predicate of the edge between SRC and DST.

VPValue *	getEdgeMask (BasicBlock Src, BasicBlock Dst) const
	A helper that returns the previously computed predicate of the edge between SRC and DST.

VPRecipeBase *	getRecipe (Instruction *I)
	Return the recipe created for given ingredient.

VPReplicateRecipe *	handleReplication (Instruction *I, VFRange &Range)
	Build a VPReplicationRecipe for `I`.

void	fixHeaderPhis ()
	Add the incoming values from the backedge to reduction & first-order recurrence cross-iteration phis.

iterator_range< mapped_iterator< Use , std::function< VPValue (Value *)> > >	mapToVPValues (User::op_range Operands)
	Returns a range mapping the values of the range `Operands` to their corresponding VPValues.

VPValue *	getVPValueOrAddLiveIn (Value *V)

Detailed Description

Helper class to create VPRecipies from IR instructions.

Definition at line 47 of file VPRecipeBuilder.h.

Constructor & Destructor Documentation

◆ VPRecipeBuilder()

llvm::VPRecipeBuilder::VPRecipeBuilder	(	VPlan &	Plan,
		Loop *	OrigLoop,
		const TargetLibraryInfo *	TLI,
		const TargetTransformInfo *	TTI,
		LoopVectorizationLegality *	Legal,
		LoopVectorizationCostModel &	CM,
		PredicatedScalarEvolution &	PSE,
		VPBuilder &	Builder
	)

inline

Definition at line 150 of file VPRecipeBuilder.h.

References llvm::IRSimilarity::Legal.

Member Function Documentation

◆ collectScaledReductions()

void VPRecipeBuilder::collectScaledReductions ( VFRange & Range )

Find all possible partial reductions in the loop and track all of those that are valid so recipes can be formed later.

Definition at line 8685 of file LoopVectorize.cpp.

References _, llvm::all_of(), llvm::PartialReductionChain::ExtendA, llvm::PartialReductionChain::ExtendB, llvm::LoopVectorizationLegality::getReductionVars(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert(), llvm::SmallSet< T, N, C >::insert(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), Range, and llvm::PartialReductionChain::Reduction.

◆ createBlockInMask()

void VPRecipeBuilder::createBlockInMask ( BasicBlock * BB )

A helper function that computes the predicate of the block BB, assuming that the header block of the loop is set to True or the loop mask when tail folding.

Definition at line 8218 of file LoopVectorize.cpp.

References assert(), llvm::LoopBase< BlockT, LoopT >::contains(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::count(), createEdgeMask(), llvm::VPBuilder::createOr(), llvm::LoopBase< BlockT, LoopT >::getHeader(), llvm::pred_begin(), and llvm::pred_end().