43 VPTypeAnalysis TypeInfo;
47 SmallPtrSet<VPRecipeBase *, 8> ToSkip;
51 DenseMap<VPValue *, SmallVector<VPValue *>> VPV2Parts;
54 void unrollReplicateRegionByUF(VPRegionBlock *VPR);
58 void unrollRecipeByUF(VPRecipeBase &R);
63 void unrollHeaderPHIByUF(VPHeaderPHIRecipe *R,
68 void unrollWidenInductionByUF(VPWidenInductionRecipe *
IV,
72 Type *CanIVIntTy = Plan.getVectorLoopRegion()->getCanonicalIVType();
73 return Plan.getConstantInt(CanIVIntTy, Part);
77 UnrollState(VPlan &Plan,
unsigned UF) : Plan(Plan), UF(UF), TypeInfo(Plan) {}
79 void unrollBlock(VPBlockBase *VPB);
81 VPValue *getValueForPart(VPValue *V,
unsigned Part) {
82 if (Part == 0 ||
V->isLiveIn())
84 assert((VPV2Parts.contains(V) && VPV2Parts[V].size() >= Part) &&
85 "accessed value does not exist");
86 return VPV2Parts[
V][Part - 1];
92 void addRecipeForPart(VPRecipeBase *OrigR, VPRecipeBase *CopyR,
95 const auto &[
V,
_] = VPV2Parts.try_emplace(VPV);
96 assert(
V->second.size() == Part - 1 &&
"earlier parts not set");
102 void addUniformForAllParts(VPSingleDefRecipe *R) {
103 const auto &[
V,
Inserted] = VPV2Parts.try_emplace(R);
104 assert(Inserted &&
"uniform value already added");
105 for (
unsigned Part = 0; Part != UF; ++Part)
106 V->second.push_back(R);
109 bool contains(VPValue *VPV)
const {
return VPV2Parts.contains(VPV); }
113 void remapOperand(VPRecipeBase *R,
unsigned OpIdx,
unsigned Part) {
115 R->setOperand(
OpIdx, getValueForPart(
Op, Part));
121 R->setOperand(
OpIdx, getValueForPart(
Op, Part));
126void UnrollState::unrollReplicateRegionByUF(
VPRegionBlock *VPR) {
128 for (
unsigned Part = 1; Part !=
UF; ++Part) {
134 for (
const auto &[PartIVPBB, Part0VPBB] :
137 for (
const auto &[PartIR, Part0R] :
zip(*PartIVPBB, *Part0VPBB)) {
143 addRecipeForPart(&Part0R, &PartIR, Part);
149void UnrollState::unrollWidenInductionByUF(
152 IV->getParent()->getEnclosingLoopRegion()->getSinglePredecessor());
154 auto &
ID =
IV->getInductionDescriptor();
157 Flags =
ID.getInductionBinOp()->getFastMathFlags();
159 VPValue *ScalarStep =
IV->getStepValue();
160 VPBuilder Builder(PH);
163 VPInstruction *VectorStep = Builder.createNaryOp(
167 ToSkip.
insert(VectorStep);
182 Builder.setInsertPoint(
IV->getParent(), InsertPtForPhi);
187 AddOpc =
ID.getInductionOpcode();
189 AddOpc = Instruction::Add;
190 for (
unsigned Part = 1; Part !=
UF; ++Part) {
192 Part > 1 ?
"step.add." + std::to_string(Part) :
"step.add";
194 VPInstruction *
Add = Builder.createNaryOp(AddOpc,
199 Flags,
IV->getDebugLoc(), Name);
201 addRecipeForPart(
IV,
Add, Part);
204 IV->addOperand(VectorStep);
205 IV->addOperand(Prev);
208void UnrollState::unrollHeaderPHIByUF(VPHeaderPHIRecipe *R,
217 unrollWidenInductionByUF(
IV, InsertPtForPhi);
222 if (RdxPhi && RdxPhi->isOrdered())
225 auto InsertPt = std::next(
R->getIterator());
226 for (
unsigned Part = 1; Part !=
UF; ++Part) {
227 VPRecipeBase *
Copy =
R->clone();
228 Copy->insertBefore(*
R->getParent(), InsertPt);
229 addRecipeForPart(R, Copy, Part);
237 "unexpected start VPInstruction");
242 StartV = VPI->getOperand(1);
244 auto *
C = VPI->clone();
245 C->setOperand(0,
C->getOperand(1));
249 for (
unsigned Part = 1; Part !=
UF; ++Part)
250 VPV2Parts[VPI][Part - 1] = StartV;
255 "unexpected header phi recipe not needing unrolled part");
261void UnrollState::unrollRecipeByUF(VPRecipeBase &R) {
267 addUniformForAllParts(VPI);
273 RepR->getOperand(1)->isDefinedOutsideLoopRegions()) {
279 if (
II->getIntrinsicID() == Intrinsic::experimental_noalias_scope_decl) {
280 addUniformForAllParts(RepR);
287 auto InsertPt = std::next(
R.getIterator());
288 VPBasicBlock &VPBB = *
R.getParent();
289 for (
unsigned Part = 1; Part !=
UF; ++Part) {
290 VPRecipeBase *
Copy =
R.clone();
291 Copy->insertBefore(VPBB, InsertPt);
292 addRecipeForPart(&R, Copy, Part);
297 Copy->setOperand(0, getValueForPart(
Op, Part - 1));
298 Copy->setOperand(1, getValueForPart(
Op, Part));
303 if (Phi &&
Phi->isOrdered()) {
304 auto &Parts = VPV2Parts[
Phi];
307 Parts.push_back(Red);
309 Parts.push_back(
Copy->getVPSingleValue());
310 Phi->setOperand(1,
Copy->getVPSingleValue());
317 if (
isa<VPScalarIVStepsRecipe, VPWidenCanonicalIVRecipe,
318 VPVectorPointerRecipe, VPVectorEndPointerRecipe>(Copy) ||
324 Copy->setOperand(0,
R.getOperand(0));
328void UnrollState::unrollBlock(VPBlockBase *VPB) {
332 return unrollReplicateRegionByUF(VPR);
336 ReversePostOrderTraversal<VPBlockShallowTraversalWrapper<VPBlockBase *>>
338 for (VPBlockBase *VPB : RPOT)
362 for (
unsigned Part = 1; Part !=
UF; ++Part)
363 R.addOperand(getValueForPart(Op1, Part));
370 for (
unsigned Part = 1; Part !=
UF; ++Part)
371 R.addOperand(getValueForPart(Op1, Part));
384 I->replaceAllUsesWith(getValueForPart(Op0, UF -
Offset));
395 addUniformForAllParts(SingleDef);
400 unrollHeaderPHIByUF(
H, InsertPtForPhi);
409 assert(UF > 0 &&
"Unroll factor must be positive");
419 VPI->getNumOperands() == 1) {
420 VPI->replaceAllUsesWith(VPI->getOperand(0));
421 VPI->eraseFromParent();
430 UnrollState Unroller(Plan, UF);
438 Unroller.unrollBlock(VPB);
450 Unroller.remapOperand(&
H, 1, UF - 1);
453 if (Unroller.contains(
H.getVPSingleValue())) {
457 Unroller.remapOperands(&
H, Part);
473 auto LaneDefs = Def2LaneDefs.find(
Op);
474 if (LaneDefs != Def2LaneDefs.end())
478 return Builder.createNaryOp(Instruction::ExtractElement, {
Op, Idx});
486 auto LaneDefs = Def2LaneDefs.find(
Op);
487 if (LaneDefs != Def2LaneDefs.end()) {
493 [[maybe_unused]]
bool Matched =
495 assert(Matched &&
"original op must have been Unpack");
512 VPValue *Ext = Builder.createNaryOp(Instruction::ExtractElement, {
Op, Idx});
523 true,
nullptr, *RepR);
526 "DefR must be a VPReplicateRecipe or VPInstruction");
529 New->setOperand(Idx,
Op);
532 New->transferFlags(*DefR);
533 New->insertBefore(DefR);
568 if (DefR->getNumUsers() == 0) {
572 DefR->eraseFromParent();
581 Def2LaneDefs[DefR] = LaneDefs;
584 DefR->replaceUsesWithIf(LaneDefs[0], [DefR](
VPUser &U,
unsigned) {
585 return U.onlyFirstLaneUsed(DefR);
595 assert(VPI->getNumOperands() == 1 &&
596 "Build(Struct)Vector must have a single operand before "
597 "replicating by VF");
598 VPI->setOperand(0, LaneDefs[0]);
600 VPI->addOperand(LaneDef);
606 R->eraseFromParent();
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
ReachingDefInfo InstSet & ToRemove
static const HTTPClientCleanup Cleanup
MachineInstr unsigned OpIdx
uint64_t IntrinsicInst * II
This file builds on the ADT/GraphTraits.h file to build a generic graph post order iterator.
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
This file defines the make_scope_exit function, which executes user-defined cleanup logic at scope ex...
static ConstantInt * getConstantInt(Value *V, const DataLayout &DL)
Extract ConstantInt from value, looking through IntToPtr and PointerNullValue.
This file contains the declarations of different VPlan-related auxiliary helpers.
static std::optional< unsigned > getOpcode(ArrayRef< VPValue * > Values)
Returns the opcode of Values or ~0 if they do not all agree.
static VPValue * cloneForLane(VPlan &Plan, VPBuilder &Builder, Type *IdxTy, VPRecipeWithIRFlags *DefR, VPLane Lane, const DenseMap< VPValue *, SmallVector< VPValue * > > &Def2LaneDefs)
Create a single-scalar clone of DefR (must be a VPReplicateRecipe or VPInstruction) for lane Lane.
static void remapOperands(VPBlockBase *Entry, VPBlockBase *NewEntry, DenseMap< VPValue *, VPValue * > &Old2NewVPValues)
This file contains the declarations of the Vectorization Plan base classes:
static const uint32_t IV[8]
LLVM_ABI LLVMContext & getContext() const
Get the context in which this basic block lives.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
bool contains(ConstPtrType Ptr) const
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
The instances of the Type class are immutable: once they are created, they are never changed.
bool isPointerTy() const
True if this is an instance of PointerType.
bool isFloatingPointTy() const
Return true if this is one of the floating-point types.
VPBasicBlock serves as the leaf of the Hierarchical Control-Flow Graph.
RecipeListTy::iterator iterator
Instruction iterators...
iterator_range< iterator > phis()
Returns an iterator range over the PHI-like recipes in the block.
iterator getFirstNonPhi()
Return the position of the first non-phi node recipe in the block.
VPBlockBase is the building block of the Hierarchical Control-Flow Graph.
const VPBasicBlock * getEntryBasicBlock() const
VPBlockBase * getSingleSuccessor() const
static auto blocksOnly(const T &Range)
Return an iterator range over Range which only includes BlockTy blocks.
static void insertBlockBefore(VPBlockBase *NewBlock, VPBlockBase *BlockPtr)
Insert disconnected block NewBlock before Blockptr.
VPlan-based builder utility analogous to IRBuilder.
ArrayRef< VPValue * > definedValues()
Returns an ArrayRef of the values defined by the VPDef.
VPValue * getVPValue(unsigned I)
Returns the VPValue with index I defined by the VPDef.
BasicBlock * getIRBasicBlock() const
@ WideIVStep
Scale the first operand (vector step) by the second operand (scalar-step).
@ Unpack
Extracts all lanes from its (non-scalable) vector operand.
@ ReductionStartVector
Start vector for reductions with 3 operands: the original start value, the identity value for the red...
@ BuildVector
Creates a fixed-width vector containing all operands.
@ BuildStructVector
Given operands of (the same) struct type, creates a struct of fixed- width vectors each containing a ...
@ CanonicalIVIncrementForPart
In what follows, the term "input IR" refers to code that is fed into the vectorizer whereas the term ...
Kind getKind() const
Returns the Kind of lane offset.
unsigned getKnownLane() const
Returns a compile-time known value for the lane index and asserts if the lane can only be calculated ...
@ ScalableLast
For ScalableLast, Lane is the offset from the start of the last N-element subvector in a scalable vec...
VPRecipeBase is a base class modeling a sequence of one or more output IR instructions.
VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-S...
VPRegionBlock * clone() override
Clone all blocks in the single-entry single-exit region of the block and their recipes without updati...
const VPBlockBase * getEntry() const
bool isReplicator() const
An indicator whether this region is to generate multiple replicated instances of output IR correspond...
VPReplicateRecipe replicates a given instruction producing multiple scalar copies of the original sca...
Type * inferScalarType(const VPValue *V)
Infer the type of V. Returns the scalar type of V.
This class augments VPValue with operands which provide the inverse def-use edges from VPValue's user...
This is the base class of the VPlan Def/Use graph, used for modeling the data flow into,...
VPlan models a candidate for vectorization, encoding various decisions take to produce efficient outp...
VPBasicBlock * getEntry()
VPValue & getVF()
Returns the VF of the vector loop region.
VPValue * getConstantInt(Type *Ty, uint64_t Val, bool IsSigned=false)
Return a VPValue wrapping a ConstantInt with the given type and value.
LLVM_ABI_FOR_TEST VPRegionBlock * getVectorLoopRegion()
Returns the VPRegionBlock of the vector loop.
bool hasScalarVFOnly() const
VPIRBasicBlock * getScalarHeader() const
Return the VPIRBasicBlock wrapping the header of the scalar loop.
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ C
The default llvm calling convention, compatible with C.
bool match(Val *V, const Pattern &P)
cst_pred_ty< is_one > m_One()
Match an integer 1 or a vector with all elements equal to 1.
match_combine_or< LTy, RTy > m_CombineOr(const LTy &L, const RTy &R)
Combine two pattern matchers matching L || R.
VPInstruction_match< VPInstruction::ExtractLastElement, Op0_t > m_ExtractLastElement(const Op0_t &Op0)
VPInstruction_match< VPInstruction::BranchOnCount > m_BranchOnCount()
class_match< VPValue > m_VPValue()
Match an arbitrary VPValue and ignore it.
VPInstruction_match< VPInstruction::BuildVector > m_BuildVector()
BuildVector is matches only its opcode, w/o matching its operands as the number of operands is not fi...
VPInstruction_match< VPInstruction::FirstActiveLane, Op0_t > m_FirstActiveLane(const Op0_t &Op0)
bind_ty< VPInstruction > m_VPInstruction(VPInstruction *&V)
Match a VPInstruction, capturing if we match.
VPInstruction_match< VPInstruction::BranchOnCond > m_BranchOnCond()
NodeAddr< PhiNode * > Phi
bool isSingleScalar(const VPValue *VPV)
Returns true if VPV is a single scalar, either because it produces the same value for all lanes or on...
bool isUniformAcrossVFsAndUFs(VPValue *V)
Checks if V is uniform across all VF lanes and UF parts.
bool onlyFirstPartUsed(const VPValue *Def)
Returns true if only the first part of Def is used.
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
detail::zippy< detail::zip_shortest, T, U, Args... > zip(T &&t, U &&u, Args &&...args)
zip iterator for two or more iteratable types.
detail::scope_exit< std::decay_t< Callable > > make_scope_exit(Callable &&F)
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
iterator_range< early_inc_iterator_impl< detail::IterOfRange< RangeT > > > make_early_inc_range(RangeT &&Range)
Make a range that does early increment to allow mutation of the underlying range without disrupting i...
iterator_range< df_iterator< VPBlockShallowTraversalWrapper< VPBlockBase * > > > vp_depth_first_shallow(VPBlockBase *G)
Returns an iterator range to traverse the graph starting at G in depth-first order.
iterator_range< df_iterator< VPBlockDeepTraversalWrapper< VPBlockBase * > > > vp_depth_first_deep(VPBlockBase *G)
Returns an iterator range to traverse the graph starting at G in depth-first order while traversing t...
detail::concat_range< ValueT, RangeTs... > concat(RangeTs &&...Ranges)
Returns a concatenated range across two or more ranges.
auto reverse(ContainerTy &&C)
bool isa_and_present(const Y &Val)
isa_and_present<X> - Functionally identical to isa, except that a null value is accepted.
SmallVector< ValueTypeFromRangeType< R >, Size > to_vector(R &&Range)
Given a range of type R, iterate the entire range and return a SmallVector with elements of the vecto...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
DWARFExpression::Operation Op
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
A pure-virtual common base class for recipes defining a single VPValue and using IR flags.
VPRecipeWithIRFlags * clone() override=0
Clone the current recipe.