Struct to hold various analysis needed for cost computations. More...

#include "Transforms/Vectorize/VPlanHelpers.h"

Public Member Functions
	VPCostContext (const TargetTransformInfo &TTI, const TargetLibraryInfo &TLI, const VPlan &Plan, LoopVectorizationCostModel &CM, TargetTransformInfo::TargetCostKind CostKind, PredicatedScalarEvolution &PSE, const Loop *L)
InstructionCost	getLegacyCost (Instruction *UI, ElementCount VF) const
	Return the cost for `UI` with `VF` using the legacy cost model as fallback until computing the cost of all recipes migrates to VPlan.
bool	skipCostComputation (Instruction *UI, bool IsVector) const
	Return true if the cost for `UI` shouldn't be computed, e.g.
void	invalidateWideningDecision (Instruction *I, ElementCount VF)
	Mark the widening decision for `I` at `VF` as invalidated since a VPlan transform replaced the original recipe.
uint64_t	getPredBlockCostDivisor (BasicBlock *BB) const
bool	willBeScalarized (Instruction *I, ElementCount VF) const
	Returns true if `I` is known to be scalarized at `VF`.
bool	isMaskRequired (Instruction *I) const
	Forwards to LoopVectorizationCostModel::isMaskRequired.
TargetTransformInfo::OperandValueInfo	getOperandInfo (VPValue *V) const
	Returns the OperandInfo for `V`, if it is a live-in.
InstructionCost	getScalarizationOverhead (Type ResultTy, ArrayRef< const VPValue > Operands, ElementCount VF, TTI::VectorInstrContext VIC=TTI::VectorInstrContext::None, bool AlwaysIncludeReplicatingR=false)
	Estimate the overhead of scalarizing a recipe with result type `ResultTy` and `Operands` with `VF`.
bool	useEmulatedMaskMemRefHack (const VPReplicateRecipe *R, ElementCount VF)
	Returns true if an artificially high cost for emulated masked memrefs should be used.

Static Public Member Functions
static bool	isFreeScalarIntrinsic (Intrinsic::ID ID)
	Returns true if `ID` is a pseudo intrinsic that is dropped via scalarization rather than widened.

Public Attributes
const TargetTransformInfo &	TTI
const TargetLibraryInfo &	TLI
LLVMContext &	LLVMCtx
LoopVectorizationCostModel &	CM
SmallPtrSet< Instruction *, 8 >	SkipCostComputation
TargetTransformInfo::TargetCostKind	CostKind
PredicatedScalarEvolution &	PSE
const Loop *	L
std::optional< unsigned >	NumPredStores
	Number of predicated stores in the VPlan, computed on demand.

Detailed Description

Struct to hold various analysis needed for cost computations.

Definition at line 322 of file VPlanHelpers.h.

Constructor & Destructor Documentation

◆ VPCostContext()

llvm::VPCostContext::VPCostContext	(	const TargetTransformInfo &	TTI,
		const TargetLibraryInfo &	TLI,
		const VPlan &	Plan,
		LoopVectorizationCostModel &	CM,
		TargetTransformInfo::TargetCostKind	CostKind,
		PredicatedScalarEvolution &	PSE,
		const Loop *	L )

inline

Definition at line 335 of file VPlanHelpers.h.

References CM, CostKind, L, LLVMCtx, PSE, TLI, and TTI.

Member Function Documentation

◆ getLegacyCost()

InstructionCost VPCostContext::getLegacyCost	(	Instruction *	UI,
		ElementCount	VF ) const

Return the cost for UI with VF using the legacy cost model as fallback until computing the cost of all recipes migrates to VPlan.

Definition at line 5598 of file LoopVectorize.cpp.

References CM, llvm::ForceTargetInstructionCost, and InstructionCost.

◆ getOperandInfo()

TargetTransformInfo::OperandValueInfo VPCostContext::getOperandInfo ( VPValue * V ) const

Returns the OperandInfo for V, if it is a live-in.

Definition at line 1861 of file VPlan.cpp.

References llvm::dyn_cast(), and llvm::TargetTransformInfo::getOperandInfo().

◆ getPredBlockCostDivisor()

uint64_t VPCostContext::getPredBlockCostDivisor ( BasicBlock * BB ) const

Returns: how much the cost of a predicated block should be divided by. Forwards to LoopVectorizationCostModel::getPredBlockCostDivisor.

Definition at line 5618 of file LoopVectorize.cpp.

References CM, and CostKind.

◆ getScalarizationOverhead()

InstructionCost VPCostContext::getScalarizationOverhead	(	Type *	ResultTy,
		ArrayRef< const VPValue * >	Operands,
		ElementCount	VF,
		TTI::VectorInstrContext	VIC = TTI::VectorInstrContext::None,
		bool	AlwaysIncludeReplicatingR = false )

Estimate the overhead of scalarizing a recipe with result type ResultTy and Operands with VF.

This is a convenience wrapper for the type-based getScalarizationOverhead API. VIC provides context about whether the scalarization is for a load/store operation. If AlwaysIncludeReplicatingR is true, always compute the cost of scalarizing replicating operands.

Definition at line 1868 of file VPlan.cpp.

References assert(), llvm::cast(), CostKind, llvm::APInt::getAllOnes(), llvm::getContainedTypes(), llvm::details::FixedOrScalableQuantity< LeafTy, ValueTy >::getFixedValue(), getOpcode(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::isa(), llvm::details::FixedOrScalableQuantity< LeafTy, ValueTy >::isScalable(), llvm::ElementCount::isScalar(), llvm::Type::isVoidTy(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::to_vector(), llvm::toVectorizedTy(), and TTI.