LLVM 23.0.0git
VPlan.cpp
Go to the documentation of this file.
1//===- VPlan.cpp - Vectorizer Plan ----------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This is the LLVM vectorization plan. It represents a candidate for
11/// vectorization, allowing to plan and optimize how to vectorize a given loop
12/// before generating LLVM-IR.
13/// The vectorizer uses vectorization plans to estimate the costs of potential
14/// candidates and if profitable to execute the desired plan, generating vector
15/// LLVM-IR code.
16///
17//===----------------------------------------------------------------------===//
18
19#include "VPlan.h"
21#include "VPlanCFG.h"
22#include "VPlanDominatorTree.h"
23#include "VPlanHelpers.h"
24#include "VPlanPatternMatch.h"
25#include "VPlanTransforms.h"
26#include "VPlanUtils.h"
28#include "llvm/ADT/STLExtras.h"
31#include "llvm/ADT/Twine.h"
34#include "llvm/IR/BasicBlock.h"
35#include "llvm/IR/CFG.h"
36#include "llvm/IR/IRBuilder.h"
37#include "llvm/IR/Instruction.h"
39#include "llvm/IR/Type.h"
40#include "llvm/IR/Value.h"
43#include "llvm/Support/Debug.h"
49#include <cassert>
50#include <string>
51
52using namespace llvm;
53using namespace llvm::VPlanPatternMatch;
54
55namespace llvm {
57} // namespace llvm
58
59/// @{
60/// Metadata attribute names
61const char LLVMLoopVectorizeFollowupAll[] = "llvm.loop.vectorize.followup_all";
63 "llvm.loop.vectorize.followup_vectorized";
65 "llvm.loop.vectorize.followup_epilogue";
66/// @}
67
69
71
73 "vplan-print-in-dot-format", cl::Hidden,
74 cl::desc("Use dot format instead of plain text when dumping VPlans"));
75
76#define DEBUG_TYPE "loop-vectorize"
77
78#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
80 const VPBasicBlock *Parent = R.getParent();
81 VPSlotTracker SlotTracker(Parent ? Parent->getPlan() : nullptr);
82 R.print(OS, "", SlotTracker);
83 return OS;
84}
85#endif
86
88 const ElementCount &VF) const {
89 switch (LaneKind) {
91 // Lane = RuntimeVF - VF.getKnownMinValue() + Lane
92 return Builder.CreateSub(getRuntimeVF(Builder, Builder.getInt32Ty(), VF),
93 Builder.getInt32(VF.getKnownMinValue() - Lane));
95 return Builder.getInt32(Lane);
96 }
97 llvm_unreachable("Unknown lane kind");
98}
99
100#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
102 if (const VPRecipeBase *R = getDefiningRecipe())
103 R->print(OS, "", SlotTracker);
104 else
106}
107
108void VPValue::dump() const {
109 const VPRecipeBase *Instr = getDefiningRecipe();
111 (Instr && Instr->getParent()) ? Instr->getParent()->getPlan() : nullptr);
113 dbgs() << "\n";
114}
115
116void VPRecipeBase::dump() const {
117 VPSlotTracker SlotTracker(getParent() ? getParent()->getPlan() : nullptr);
118 print(dbgs(), "", SlotTracker);
119 dbgs() << "\n";
120}
121#endif
122
123#if !defined(NDEBUG)
124bool VPRecipeValue::isDefinedBy(const VPDef *D) const { return Def == D; }
125#endif
126
128 auto *DefValue = dyn_cast<VPRecipeValue>(this);
129 return DefValue ? DefValue->Def : nullptr;
130}
131
133 auto *DefValue = dyn_cast<VPRecipeValue>(this);
134 return DefValue ? DefValue->Def : nullptr;
135}
136
138 return cast<VPIRValue>(this)->getValue();
139}
140
142
144 : VPValue(VPVRecipeValueSC, UV), Def(Def) {
145 assert(Def && "VPRecipeValue requires a defining recipe");
146 Def->addDefinedValue(this);
147}
148
150 assert(Users.empty() &&
151 "trying to delete a VPRecipeValue with remaining users");
152 Def->removeDefinedValue(this);
153}
154
155// Get the top-most entry block of \p Start. This is the entry block of the
156// containing VPlan. This function is templated to support both const and non-const blocks
157template <typename T> static T *getPlanEntry(T *Start) {
158 T *Next = Start;
159 T *Current = Start;
160 while ((Next = Next->getParent()))
161 Current = Next;
162
163 SmallSetVector<T *, 8> WorkList;
164 WorkList.insert(Current);
165
166 for (unsigned i = 0; i < WorkList.size(); i++) {
167 T *Current = WorkList[i];
168 if (!Current->hasPredecessors())
169 return Current;
170 auto &Predecessors = Current->getPredecessors();
171 WorkList.insert_range(Predecessors);
172 }
173
174 llvm_unreachable("VPlan without any entry node without predecessors");
175}
176
177VPlan *VPBlockBase::getPlan() { return getPlanEntry(this)->Plan; }
178
179const VPlan *VPBlockBase::getPlan() const { return getPlanEntry(this)->Plan; }
180
181/// \return the VPBasicBlock that is the entry of Block, possibly indirectly.
188
195
196void VPBlockBase::setPlan(VPlan *ParentPlan) {
197 assert(ParentPlan->getEntry() == this && "Can only set plan on its entry.");
198 Plan = ParentPlan;
199}
200
201/// \return the VPBasicBlock that is the exit of Block, possibly indirectly.
203 const VPBlockBase *Block = this;
205 Block = Region->getExiting();
207}
208
215
217 if (!Successors.empty() || !Parent)
218 return this;
219 assert(Parent->getExiting() == this &&
220 "Block w/o successors not the exiting block of its parent.");
221 return Parent->getEnclosingBlockWithSuccessors();
222}
223
225 if (!Predecessors.empty() || !Parent)
226 return this;
227 assert(Parent->getEntry() == this &&
228 "Block w/o predecessors not the entry of its parent.");
229 return Parent->getEnclosingBlockWithPredecessors();
230}
231
233 iterator It = begin();
234 while (It != end() && It->isPhi())
235 It++;
236 return It;
237}
238
246
249 return Def->getUnderlyingValue();
250
251 if (hasScalarValue(Def, Lane))
252 return Data.VPV2Scalars[Def][Lane.mapToCacheIndex(VF)];
253
254 if (!Lane.isFirstLane() && vputils::isSingleScalar(Def) &&
256 return Data.VPV2Scalars[Def][0];
257 }
258
259 // Look through BuildVector to avoid redundant extracts.
260 // TODO: Remove once replicate regions are unrolled explicitly.
261 if (Lane.getKind() == VPLane::Kind::First && match(Def, m_BuildVector())) {
262 auto *BuildVector = cast<VPInstruction>(Def);
263 return get(BuildVector->getOperand(Lane.getKnownLane()), true);
264 }
265
267 auto *VecPart = Data.VPV2Vector[Def];
268 if (!VecPart->getType()->isVectorTy()) {
269 assert(Lane.isFirstLane() && "cannot get lane > 0 for scalar");
270 return VecPart;
271 }
272 // TODO: Cache created scalar values.
273 Value *LaneV = Lane.getAsRuntimeExpr(Builder, VF);
274 auto *Extract = Builder.CreateExtractElement(VecPart, LaneV);
275 // set(Def, Extract, Instance);
276 return Extract;
277}
278
279Value *VPTransformState::get(const VPValue *Def, bool NeedsScalar) {
280 if (NeedsScalar) {
281 assert((VF.isScalar() || isa<VPIRValue, VPSymbolicValue>(Def) ||
283 (hasScalarValue(Def, VPLane(0)) &&
284 Data.VPV2Scalars[Def].size() == 1)) &&
285 "Trying to access a single scalar per part but has multiple scalars "
286 "per part.");
287 return get(Def, VPLane(0));
288 }
289
290 // If Values have been set for this Def return the one relevant for \p Part.
291 if (hasVectorValue(Def))
292 return Data.VPV2Vector[Def];
293
294 auto GetBroadcastInstrs = [this](Value *V) {
295 if (VF.isScalar())
296 return V;
297 // Broadcast the scalar into all locations in the vector.
298 Value *Shuf = Builder.CreateVectorSplat(VF, V, "broadcast");
299 return Shuf;
300 };
301
302 if (!hasScalarValue(Def, {0})) {
303 Value *IRV = Def->getLiveInIRValue();
304 Value *B = GetBroadcastInstrs(IRV);
305 set(Def, B);
306 return B;
307 }
308
309 Value *ScalarValue = get(Def, VPLane(0));
310 // If we aren't vectorizing, we can just copy the scalar map values over
311 // to the vector map.
312 if (VF.isScalar()) {
313 set(Def, ScalarValue);
314 return ScalarValue;
315 }
316
317 bool IsSingleScalar = vputils::isSingleScalar(Def);
318 VPLane LastLane(IsSingleScalar ? 0 : VF.getFixedValue() - 1);
319
320 // We need to construct the vector value for a single-scalar value by
321 // broadcasting the scalar to all lanes.
322 // TODO: Replace by introducing Broadcast VPInstructions.
323 assert(IsSingleScalar && "must be a single-scalar at this point");
324 // Set the insert point after the last scalarized instruction or after the
325 // last PHI, if LastInst is a PHI. This ensures the insertelement sequence
326 // will directly follow the scalar definitions.
327 auto OldIP = Builder.saveIP();
328 auto *LastInst = cast<Instruction>(get(Def, LastLane));
329 auto NewIP = isa<PHINode>(LastInst)
330 ? LastInst->getParent()->getFirstNonPHIIt()
331 : std::next(BasicBlock::iterator(LastInst));
332 Builder.SetInsertPoint(&*NewIP);
333 Value *VectorValue = GetBroadcastInstrs(ScalarValue);
334 set(Def, VectorValue);
335 Builder.restoreIP(OldIP);
336 return VectorValue;
337}
338
340 const DILocation *DIL = DL;
341 // When a FSDiscriminator is enabled, we don't need to add the multiply
342 // factors to the discriminators.
343 if (DIL &&
344 Builder.GetInsertBlock()
345 ->getParent()
346 ->shouldEmitDebugInfoForProfiling() &&
348 // FIXME: For scalable vectors, assume vscale=1.
349 unsigned UF = Plan->getConcreteUF();
350 auto NewDIL =
351 DIL->cloneByMultiplyingDuplicationFactor(UF * VF.getKnownMinValue());
352 if (NewDIL)
353 Builder.SetCurrentDebugLocation(*NewDIL);
354 else
355 LLVM_DEBUG(dbgs() << "Failed to create new discriminator: "
356 << DIL->getFilename() << " Line: " << DIL->getLine());
357 } else
358 Builder.SetCurrentDebugLocation(DL);
359}
360
362 Value *WideValue,
363 const VPLane &Lane) {
364 Value *ScalarInst = get(Def, Lane);
365 Value *LaneExpr = Lane.getAsRuntimeExpr(Builder, VF);
366 if (auto *StructTy = dyn_cast<StructType>(WideValue->getType())) {
367 // We must handle each element of a vectorized struct type.
368 for (unsigned I = 0, E = StructTy->getNumElements(); I != E; I++) {
369 Value *ScalarValue = Builder.CreateExtractValue(ScalarInst, I);
370 Value *VectorValue = Builder.CreateExtractValue(WideValue, I);
371 VectorValue =
372 Builder.CreateInsertElement(VectorValue, ScalarValue, LaneExpr);
373 WideValue = Builder.CreateInsertValue(WideValue, VectorValue, I);
374 }
375 } else {
376 WideValue = Builder.CreateInsertElement(WideValue, ScalarInst, LaneExpr);
377 }
378 return WideValue;
379}
380
381BasicBlock *VPBasicBlock::createEmptyBasicBlock(VPTransformState &State) {
382 auto &CFG = State.CFG;
383 // BB stands for IR BasicBlocks. VPBB stands for VPlan VPBasicBlocks.
384 // Pred stands for Predessor. Prev stands for Previous - last visited/created.
385 BasicBlock *PrevBB = CFG.PrevBB;
386 BasicBlock *NewBB = BasicBlock::Create(PrevBB->getContext(), getName(),
387 PrevBB->getParent(), CFG.ExitBB);
388 LLVM_DEBUG(dbgs() << "LV: created " << NewBB->getName() << '\n');
389
390 return NewBB;
391}
392
394 auto &CFG = State.CFG;
395 BasicBlock *NewBB = CFG.VPBB2IRBB[this];
396
397 // Register NewBB in its loop. In innermost loops its the same for all
398 // BB's.
399 Loop *ParentLoop = State.CurrentParentLoop;
400 // If this block has a sole successor that is an exit block or is an exit
401 // block itself then it needs adding to the same parent loop as the exit
402 // block.
403 VPBlockBase *SuccOrExitVPB = getSingleSuccessor();
404 SuccOrExitVPB = SuccOrExitVPB ? SuccOrExitVPB : this;
405 if (State.Plan->isExitBlock(SuccOrExitVPB)) {
406 ParentLoop = State.LI->getLoopFor(
407 cast<VPIRBasicBlock>(SuccOrExitVPB)->getIRBasicBlock());
408 }
409
410 if (ParentLoop && !State.LI->getLoopFor(NewBB))
411 ParentLoop->addBasicBlockToLoop(NewBB, *State.LI);
412
414 if (VPBlockUtils::isHeader(this, State.VPDT)) {
415 // There's no block for the latch yet, connect to the preheader only.
416 Preds = {getPredecessors()[0]};
417 } else {
418 Preds = to_vector(getPredecessors());
419 }
420
421 // Hook up the new basic block to its predecessors.
422 for (VPBlockBase *PredVPBlock : Preds) {
423 VPBasicBlock *PredVPBB = PredVPBlock->getExitingBasicBlock();
424 auto &PredVPSuccessors = PredVPBB->getHierarchicalSuccessors();
425 assert(CFG.VPBB2IRBB.contains(PredVPBB) &&
426 "Predecessor basic-block not found building successor.");
427 BasicBlock *PredBB = CFG.VPBB2IRBB[PredVPBB];
428 auto *PredBBTerminator = PredBB->getTerminator();
429 LLVM_DEBUG(dbgs() << "LV: draw edge from " << PredBB->getName() << '\n');
430
431 if (isa<UnreachableInst>(PredBBTerminator)) {
432 assert(PredVPSuccessors.size() == 1 &&
433 "Predecessor ending w/o branch must have single successor.");
434 DebugLoc DL = PredBBTerminator->getDebugLoc();
435 PredBBTerminator->eraseFromParent();
436 auto *Br = UncondBrInst::Create(NewBB, PredBB);
437 Br->setDebugLoc(DL);
438 } else if (auto *UBI = dyn_cast<UncondBrInst>(PredBBTerminator)) {
439 UBI->setSuccessor(NewBB);
440 } else {
441 // Set each forward successor here when it is created, excluding
442 // backedges. A backward successor is set when the branch is created.
443 // Branches to VPIRBasicBlocks must have the same successors in VPlan as
444 // in the original IR, except when the predecessor is the entry block.
445 // This enables including SCEV and memory runtime check blocks in VPlan.
446 // TODO: Remove exception by modeling the terminator of entry block using
447 // BranchOnCond.
448 unsigned idx = PredVPSuccessors.front() == this ? 0 : 1;
449 auto *TermBr = cast<CondBrInst>(PredBBTerminator);
450 assert((!TermBr->getSuccessor(idx) ||
451 (isa<VPIRBasicBlock>(this) &&
452 (TermBr->getSuccessor(idx) == NewBB ||
453 PredVPBlock == getPlan()->getEntry()))) &&
454 "Trying to reset an existing successor block.");
455 TermBr->setSuccessor(idx, NewBB);
456 }
457 CFG.DTU.applyUpdates({{DominatorTree::Insert, PredBB, NewBB}});
458 }
459}
460
463 "VPIRBasicBlock can have at most two successors at the moment!");
464 // Move completely disconnected blocks to their final position.
465 if (IRBB->hasNPredecessors(0) && succ_begin(IRBB) == succ_end(IRBB))
466 IRBB->moveAfter(State->CFG.PrevBB);
467 State->Builder.SetInsertPoint(IRBB->getTerminator());
468 State->CFG.PrevBB = IRBB;
469 State->CFG.VPBB2IRBB[this] = IRBB;
470 executeRecipes(State, IRBB);
471 // Create a branch instruction to terminate IRBB if one was not created yet
472 // and is needed.
473 if (getSingleSuccessor() && isa<UnreachableInst>(IRBB->getTerminator())) {
474 auto *Br = State->Builder.CreateBr(IRBB);
475 Br->setOperand(0, nullptr);
476 IRBB->getTerminator()->eraseFromParent();
477 } else {
478 assert((getNumSuccessors() == 0 ||
479 isa<UncondBrInst, CondBrInst>(IRBB->getTerminator())) &&
480 "other blocks must be terminated by a branch");
481 }
482
483 connectToPredecessors(*State);
484}
485
486VPIRBasicBlock *VPIRBasicBlock::clone() {
487 auto *NewBlock = getPlan()->createEmptyVPIRBasicBlock(IRBB);
488 for (VPRecipeBase &R : Recipes)
489 NewBlock->appendRecipe(R.clone());
490 return NewBlock;
491}
492
494 bool Replica = bool(State->Lane);
495 BasicBlock *NewBB = State->CFG.PrevBB; // Reuse it if possible.
496
497 if (VPBlockUtils::isHeader(this, State->VPDT)) {
498 // Create and register the new vector loop.
499 Loop *PrevParentLoop = State->CurrentParentLoop;
500 State->CurrentParentLoop = State->LI->AllocateLoop();
501
502 // Insert the new loop into the loop nest and register the new basic blocks
503 // before calling any utilities such as SCEV that require valid LoopInfo.
504 if (PrevParentLoop)
505 PrevParentLoop->addChildLoop(State->CurrentParentLoop);
506 else
507 State->LI->addTopLevelLoop(State->CurrentParentLoop);
508 }
509
510 auto IsReplicateRegion = [](VPBlockBase *BB) {
512 assert((!R || R->isReplicator()) &&
513 "only replicate region blocks should remain");
514 return R;
515 };
516 // 1. Create an IR basic block.
517 if ((Replica && this == getParent()->getEntry()) ||
518 IsReplicateRegion(getSingleHierarchicalPredecessor())) {
519 // Reuse the previous basic block if the current VPBB is either
520 // * the entry to a replicate region, or
521 // * the exit of a replicate region.
522 State->CFG.VPBB2IRBB[this] = NewBB;
523 } else {
524 NewBB = createEmptyBasicBlock(*State);
525
526 State->Builder.SetInsertPoint(NewBB);
527 // Temporarily terminate with unreachable until CFG is rewired.
528 UnreachableInst *Terminator = State->Builder.CreateUnreachable();
529 State->Builder.SetInsertPoint(Terminator);
530
531 State->CFG.PrevBB = NewBB;
532 State->CFG.VPBB2IRBB[this] = NewBB;
533 connectToPredecessors(*State);
534 }
535
536 // 2. Fill the IR basic block with IR instructions.
537 executeRecipes(State, NewBB);
538
539 // If this block is a latch, update CurrentParentLoop.
540 if (VPBlockUtils::isLatch(this, State->VPDT))
541 State->CurrentParentLoop = State->CurrentParentLoop->getParentLoop();
542}
543
544VPBasicBlock *VPBasicBlock::clone() {
545 auto *NewBlock = getPlan()->createVPBasicBlock(getName());
546 for (VPRecipeBase &R : *this)
547 NewBlock->appendRecipe(R.clone());
548 return NewBlock;
549}
550
552 LLVM_DEBUG(dbgs() << "LV: vectorizing VPBB: " << getName()
553 << " in BB: " << BB->getName() << '\n');
554
555 State->CFG.PrevVPBB = this;
556
557 for (VPRecipeBase &Recipe : Recipes) {
558 State->setDebugLocFrom(Recipe.getDebugLoc());
559 Recipe.execute(*State);
560 }
561
562 LLVM_DEBUG(dbgs() << "LV: filled BB: " << *BB);
563}
564
565VPBasicBlock *VPBasicBlock::splitAt(iterator SplitAt) {
566 assert((SplitAt == end() || SplitAt->getParent() == this) &&
567 "can only split at a position in the same block");
568
569 // Create new empty block after the block to split.
570 auto *SplitBlock = getPlan()->createVPBasicBlock(getName() + ".split");
572
573 // If this is the exiting block, make the split the new exiting block.
574 auto *ParentRegion = getParent();
575 if (ParentRegion && ParentRegion->getExiting() == this)
576 ParentRegion->setExiting(SplitBlock);
577
578 // Finally, move the recipes starting at SplitAt to new block.
579 for (VPRecipeBase &ToMove :
580 make_early_inc_range(make_range(SplitAt, this->end())))
581 ToMove.moveBefore(*SplitBlock, SplitBlock->end());
582
583 return SplitBlock;
584}
585
586/// Return the enclosing loop region for region \p P. The templated version is
587/// used to support both const and non-const block arguments.
588template <typename T> static T *getEnclosingLoopRegionForRegion(T *P) {
589 if (P && P->isReplicator()) {
590 P = P->getParent();
591 // Multiple loop regions can be nested, but replicate regions can only be
592 // nested inside a loop region or must be outside any other region.
593 assert((!P || !P->isReplicator()) && "unexpected nested replicate regions");
594 }
595 return P;
596}
597
601
605
606static bool hasConditionalTerminator(const VPBasicBlock *VPBB) {
607 if (VPBB->empty()) {
608 assert(
609 VPBB->getNumSuccessors() < 2 &&
610 "block with multiple successors doesn't have a recipe as terminator");
611 return false;
612 }
613
614 const VPRecipeBase *R = &VPBB->back();
615 [[maybe_unused]] bool IsSwitch =
617 cast<VPInstruction>(R)->getOpcode() == Instruction::Switch;
618 [[maybe_unused]] bool IsBranchOnTwoConds = match(R, m_BranchOnTwoConds());
619 [[maybe_unused]] bool IsCondBranch =
622 if (VPBB->getNumSuccessors() == 2 ||
623 (VPBB->isExiting() && !VPBB->getParent()->isReplicator())) {
624 assert((IsCondBranch || IsSwitch || IsBranchOnTwoConds) &&
625 "block with multiple successors not terminated by "
626 "conditional branch nor switch recipe");
627
628 return true;
629 }
630
631 if (VPBB->getNumSuccessors() > 2) {
632 assert((IsSwitch || IsBranchOnTwoConds) &&
633 "block with more than 2 successors not terminated by a switch or "
634 "branch-on-two-conds recipe");
635 return true;
636 }
637
638 assert(
639 !IsCondBranch && !IsBranchOnTwoConds &&
640 "block with 0 or 1 successors terminated by conditional branch recipe");
641 return false;
642}
643
645 if (hasConditionalTerminator(this))
646 return &back();
647 return nullptr;
648}
649
651 if (hasConditionalTerminator(this))
652 return &back();
653 return nullptr;
654}
655
657 return getParent() && getParent()->getExitingBasicBlock() == this;
658}
659
660#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
665
666void VPBlockBase::printSuccessors(raw_ostream &O, const Twine &Indent) const {
667 if (!hasSuccessors()) {
668 O << Indent << "No successors\n";
669 } else {
670 O << Indent << "Successor(s): ";
671 ListSeparator LS;
672 for (auto *Succ : getSuccessors())
673 O << LS << Succ->getName();
674 O << '\n';
675 }
676}
677
678void VPBasicBlock::print(raw_ostream &O, const Twine &Indent,
679 VPSlotTracker &SlotTracker) const {
680 O << Indent << getName() << ":\n";
681
682 auto RecipeIndent = Indent + " ";
683 for (const VPRecipeBase &Recipe : *this) {
684 Recipe.print(O, RecipeIndent, SlotTracker);
685 O << '\n';
686 }
687
688 printSuccessors(O, Indent);
689}
690#endif
691
692std::pair<VPBlockBase *, VPBlockBase *>
695 VPBlockBase *Exiting = nullptr;
696 bool InRegion = Entry->getParent();
697 // First, clone blocks reachable from Entry.
698 for (VPBlockBase *BB : vp_depth_first_shallow(Entry)) {
699 VPBlockBase *NewBB = BB->clone();
700 Old2NewVPBlocks[BB] = NewBB;
701 if (InRegion && BB->getNumSuccessors() == 0) {
702 assert(!Exiting && "Multiple exiting blocks?");
703 Exiting = BB;
704 }
705 }
706 assert((!InRegion || Exiting) && "regions must have a single exiting block");
707
708 // Second, update the predecessors & successors of the cloned blocks.
709 for (VPBlockBase *BB : vp_depth_first_shallow(Entry)) {
710 VPBlockBase *NewBB = Old2NewVPBlocks[BB];
712 for (VPBlockBase *Pred : BB->getPredecessors()) {
713 NewPreds.push_back(Old2NewVPBlocks[Pred]);
714 }
715 NewBB->setPredecessors(NewPreds);
717 for (VPBlockBase *Succ : BB->successors()) {
718 NewSuccs.push_back(Old2NewVPBlocks[Succ]);
719 }
720 NewBB->setSuccessors(NewSuccs);
721 }
722
723#if !defined(NDEBUG)
724 // Verify that the order of predecessors and successors matches in the cloned
725 // version.
726 for (const auto &[OldBB, NewBB] :
728 vp_depth_first_shallow(Old2NewVPBlocks[Entry]))) {
729 for (const auto &[OldPred, NewPred] :
730 zip(OldBB->getPredecessors(), NewBB->getPredecessors()))
731 assert(NewPred == Old2NewVPBlocks[OldPred] && "Different predecessors");
732
733 for (const auto &[OldSucc, NewSucc] :
734 zip(OldBB->successors(), NewBB->successors()))
735 assert(NewSucc == Old2NewVPBlocks[OldSucc] && "Different successors");
736 }
737#endif
738
739 return std::make_pair(Old2NewVPBlocks[Entry],
740 Exiting ? Old2NewVPBlocks[Exiting] : nullptr);
741}
742
743VPRegionBlock *VPRegionBlock::clone() {
744 const auto &[NewEntry, NewExiting] = VPBlockUtils::cloneFrom(getEntry());
745 VPlan &Plan = *getPlan();
746 VPRegionBlock *NewRegion =
748 ? Plan.createReplicateRegion(NewEntry, NewExiting, getName())
749 : Plan.createLoopRegion(getName(), NewEntry, NewExiting);
750
751 for (VPBlockBase *Block : vp_depth_first_shallow(NewEntry))
752 Block->setParent(NewRegion);
753 return NewRegion;
754}
755
758 "Loop regions should have been lowered to plain CFG");
759 assert(!State->Lane && "Replicating a Region with non-null instance.");
760 assert(!State->VF.isScalable() && "VF is assumed to be non scalable.");
761
763 Entry);
764 State->Lane = VPLane(0);
765 for (unsigned Lane = 0, VF = State->VF.getFixedValue(); Lane < VF; ++Lane) {
766 State->Lane = VPLane(Lane, VPLane::Kind::First);
767 // Visit the VPBlocks connected to \p this, starting from it.
768 for (VPBlockBase *Block : RPOT) {
769 LLVM_DEBUG(dbgs() << "LV: VPBlock in RPO " << Block->getName() << '\n');
770 Block->execute(State);
771 }
772 }
773
774 // Exit replicating mode.
775 State->Lane.reset();
776}
777
780 for (VPRecipeBase &R : Recipes)
781 Cost += R.cost(VF, Ctx);
782 return Cost;
783}
784
785const VPBasicBlock *VPBasicBlock::getCFGPredecessor(unsigned Idx) const {
786 const VPBlockBase *Pred = nullptr;
787 if (hasPredecessors()) {
788 Pred = getPredecessors()[Idx];
789 } else {
790 auto *Region = getParent();
791 assert(Region && !Region->isReplicator() && Region->getEntry() == this &&
792 "must be in the entry block of a non-replicate region");
793 assert(Idx < 2 && Region->getNumPredecessors() == 1 &&
794 "loop region has a single predecessor (preheader), its entry block "
795 "has 2 incoming blocks");
796
797 // Idx == 0 selects the predecessor of the region, Idx == 1 selects the
798 // region itself whose exiting block feeds the phi across the backedge.
799 Pred = Idx == 0 ? Region->getSinglePredecessor() : Region;
800 }
801 return Pred->getExitingBasicBlock();
802}
803
805 if (!isReplicator()) {
808 Cost += Block->cost(VF, Ctx);
809 InstructionCost BackedgeCost =
810 ForceTargetInstructionCost.getNumOccurrences()
812 : Ctx.TTI.getCFInstrCost(Instruction::UncondBr, Ctx.CostKind);
813 LLVM_DEBUG(dbgs() << "Cost of " << BackedgeCost << " for VF " << VF
814 << ": vector loop backedge\n");
815 Cost += BackedgeCost;
816 return Cost;
817 }
818
819 // Compute the cost of a replicate region. Replicating isn't supported for
820 // scalable vectors, return an invalid cost for them.
821 // TODO: Discard scalable VPlans with replicate recipes earlier after
822 // construction.
823 if (VF.isScalable())
825
826 // Compute and return the cost of the conditionally executed recipes.
827 assert(VF.isVector() && "Can only compute vector cost at the moment.");
829 return Then->cost(VF, Ctx);
830}
831
832#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
834 VPSlotTracker &SlotTracker) const {
835 O << Indent << (isReplicator() ? "<xVFxUF> " : "<x1> ") << getName() << ": {";
836 auto NewIndent = Indent + " ";
837 for (auto *BlockBase : vp_depth_first_shallow(Entry)) {
838 O << '\n';
839 BlockBase->print(O, NewIndent, SlotTracker);
840 }
841 O << Indent << "}\n";
842
843 printSuccessors(O, Indent);
844}
845#endif
846
848 auto *Header = cast<VPBasicBlock>(getEntry());
849 if (auto *CanIV = dyn_cast<VPCanonicalIVPHIRecipe>(&Header->front())) {
850 assert(this == getPlan()->getVectorLoopRegion() &&
851 "Canonical IV must be in the entry of the top-level loop region");
852 auto *ScalarR = VPBuilder(CanIV).createScalarPhi(
853 {CanIV->getStartValue(), CanIV->getBackedgeValue()},
854 CanIV->getDebugLoc(), "index");
855 CanIV->replaceAllUsesWith(ScalarR);
856 CanIV->eraseFromParent();
857 }
858
859 VPBlockBase *Preheader = getSinglePredecessor();
860 auto *ExitingLatch = cast<VPBasicBlock>(getExiting());
861
862 VPBlockUtils::disconnectBlocks(Preheader, this);
863
864 for (VPBlockBase *VPB : vp_depth_first_shallow(Entry))
865 VPB->setParent(getParent());
866
867 VPBlockUtils::connectBlocks(Preheader, Header);
868 VPBlockUtils::transferSuccessors(this, ExitingLatch);
869 VPBlockUtils::connectBlocks(ExitingLatch, Header);
870}
871
872VPlan::VPlan(Loop *L) {
873 setEntry(createVPIRBasicBlock(L->getLoopPreheader()));
874 ScalarHeader = createVPIRBasicBlock(L->getHeader());
875
876 SmallVector<BasicBlock *> IRExitBlocks;
877 L->getUniqueExitBlocks(IRExitBlocks);
878 for (BasicBlock *EB : IRExitBlocks)
879 ExitBlocks.push_back(createVPIRBasicBlock(EB));
880}
881
883 VPSymbolicValue DummyValue;
884
885 for (auto *VPB : CreatedBlocks) {
886 if (auto *VPBB = dyn_cast<VPBasicBlock>(VPB)) {
887 // Replace all operands of recipes and all VPValues defined in VPBB with
888 // DummyValue so the block can be deleted.
889 for (VPRecipeBase &R : *VPBB) {
890 for (auto *Def : R.definedValues())
891 Def->replaceAllUsesWith(&DummyValue);
892
893 for (unsigned I = 0, E = R.getNumOperands(); I != E; I++)
894 R.setOperand(I, &DummyValue);
895 }
896 }
897 delete VPB;
898 }
899 for (VPValue *VPV : getLiveIns())
900 delete VPV;
901 delete BackedgeTakenCount;
902}
903
905 auto Iter = find_if(getExitBlocks(), [IRBB](const VPIRBasicBlock *VPIRBB) {
906 return VPIRBB->getIRBasicBlock() == IRBB;
907 });
908 assert(Iter != getExitBlocks().end() && "no exit block found");
909 return *Iter;
910}
911
913 return is_contained(ExitBlocks, VPBB);
914}
915
916/// To make RUN_VPLAN_PASS print final VPlan.
917static void printFinalVPlan(VPlan &) {}
918
919/// Generate the code inside the preheader and body of the vectorized loop.
920/// Assumes a single pre-header basic-block was created for this. Introduce
921/// additional basic-blocks as needed, and fill them all.
923 // Initialize CFG state.
924 State->CFG.PrevVPBB = nullptr;
925 State->CFG.ExitBB = State->CFG.PrevBB->getSingleSuccessor();
926
927 // Update VPDominatorTree since VPBasicBlock may be removed after State was
928 // constructed.
929 State->VPDT.recalculate(*this);
930
931 // Disconnect VectorPreHeader from ExitBB in both the CFG and DT.
932 BasicBlock *VectorPreHeader = State->CFG.PrevBB;
933 cast<UncondBrInst>(VectorPreHeader->getTerminator())->setSuccessor(nullptr);
934 State->CFG.DTU.applyUpdates(
935 {{DominatorTree::Delete, VectorPreHeader, State->CFG.ExitBB}});
936
937 LLVM_DEBUG(dbgs() << "Executing best plan with VF=" << State->VF
938 << ", UF=" << getConcreteUF() << '\n');
939 setName("Final VPlan");
940 // TODO: RUN_VPLAN_PASS/VPlanTransforms::runPass should automatically dump
941 // VPlans after some specific stages when "-debug" is specified, but that
942 // hasn't been implemented yet. For now, just do both:
943 LLVM_DEBUG(dump());
945
946 BasicBlock *ScalarPh = State->CFG.ExitBB;
947 VPBasicBlock *ScalarPhVPBB = getScalarPreheader();
948 if (ScalarPhVPBB->hasPredecessors()) {
949 // Disconnect scalar preheader and scalar header, as the dominator tree edge
950 // will be updated as part of VPlan execution. This allows keeping the DTU
951 // logic generic during VPlan execution.
952 State->CFG.DTU.applyUpdates(
953 {{DominatorTree::Delete, ScalarPh, ScalarPh->getSingleSuccessor()}});
954 }
956 Entry);
957 // Generate code for the VPlan, in parts of the vector skeleton, loop body and
958 // successor blocks including the middle, exit and scalar preheader blocks.
959 for (VPBlockBase *Block : RPOT)
960 Block->execute(State);
961
962 if (hasEarlyExit()) {
963 // Fix up LoopInfo for extra dispatch blocks when vectorizing loops with
964 // early exits. For dispatch blocks, we need to find the smallest common
965 // loop of all successors that are in a loop. Note: we only need to update
966 // loop info for blocks after the middle block, but there is no easy way to
967 // get those at this point.
968 for (VPBlockBase *VPB : reverse(RPOT)) {
969 auto *VPBB = dyn_cast<VPBasicBlock>(VPB);
970 if (!VPBB || isa<VPIRBasicBlock>(VPBB))
971 continue;
972 BasicBlock *BB = State->CFG.VPBB2IRBB[VPBB];
973 Loop *L = State->LI->getLoopFor(BB);
974 if (!L || any_of(successors(BB),
975 [L](BasicBlock *Succ) { return L->contains(Succ); }))
976 continue;
977 // Find the innermost loop containing all successors that are in a loop.
978 // Successors not in any loop don't constrain the target loop.
979 Loop *Target = nullptr;
980 for (BasicBlock *Succ : successors(BB)) {
981 Loop *SuccLoop = State->LI->getLoopFor(Succ);
982 if (!SuccLoop)
983 continue;
984 if (!Target)
985 Target = SuccLoop;
986 else
987 Target = State->LI->getSmallestCommonLoop(Target, SuccLoop);
988 }
989 State->LI->removeBlock(BB);
990 if (Target)
991 Target->addBasicBlockToLoop(BB, *State->LI);
992 }
993 }
994
995 // If the original loop is unreachable, delete it and all its blocks.
996 if (!ScalarPhVPBB->hasPredecessors()) {
997 // DeleteDeadBlocks will remove single-entry phis. Remove them from the exit
998 // VPIRBBs in VPlan as well, otherwise we would retain references to deleted
999 // IR instructions.
1000 for (VPIRBasicBlock *EB : getExitBlocks()) {
1001 for (VPRecipeBase &R : make_early_inc_range(EB->phis())) {
1002 if (R.getNumOperands() == 1)
1003 R.eraseFromParent();
1004 }
1005 }
1006
1007 Loop *OrigLoop =
1008 State->LI->getLoopFor(getScalarHeader()->getIRBasicBlock());
1009 auto Blocks = OrigLoop->getBlocksVector();
1010 Blocks.push_back(cast<VPIRBasicBlock>(ScalarPhVPBB)->getIRBasicBlock());
1011 while (!OrigLoop->isInnermost())
1012 State->LI->erase(*OrigLoop->begin());
1013 State->LI->erase(OrigLoop);
1014 for (auto *BB : Blocks)
1015 State->LI->removeBlock(BB);
1016 DeleteDeadBlocks(Blocks, &State->CFG.DTU);
1017 }
1018
1019 State->CFG.DTU.flush();
1020
1021 VPBasicBlock *Header = vputils::getFirstLoopHeader(*this, State->VPDT);
1022 if (!Header)
1023 return;
1024
1025 auto *LatchVPBB = cast<VPBasicBlock>(Header->getPredecessors()[1]);
1026 BasicBlock *VectorLatchBB = State->CFG.VPBB2IRBB[LatchVPBB];
1027
1028 // Fix the latch value of canonical, reduction and first-order recurrences
1029 // phis in the vector loop.
1030 for (VPRecipeBase &R : Header->phis()) {
1031 // Skip phi-like recipes that generate their backedege values themselves.
1032 if (isa<VPWidenPHIRecipe>(&R))
1033 continue;
1034
1035 auto *PhiR = cast<VPSingleDefRecipe>(&R);
1036 // VPInstructions currently model scalar Phis only.
1037 bool NeedsScalar = isa<VPInstruction>(PhiR) ||
1039 cast<VPReductionPHIRecipe>(PhiR)->isInLoop());
1040
1041 Value *Phi = State->get(PhiR, NeedsScalar);
1042 // VPHeaderPHIRecipe supports getBackedgeValue() but VPInstruction does
1043 // not.
1044 Value *Val = State->get(PhiR->getOperand(1), NeedsScalar);
1045 cast<PHINode>(Phi)->addIncoming(Val, VectorLatchBB);
1046 }
1047}
1048
1050 // For now only return the cost of the vector loop region, ignoring any other
1051 // blocks, like the preheader or middle blocks, expect for checking them for
1052 // recipes with invalid costs.
1054
1055 // If the cost of the loop region is invalid or any recipe in the skeleton
1056 // outside loop regions are invalid return an invalid cost.
1059 [&VF, &Ctx](VPBasicBlock *VPBB) {
1060 return !VPBB->cost(VF, Ctx).isValid();
1061 }))
1063
1064 return Cost;
1065}
1066
1068 // TODO: Cache if possible.
1070 if (auto *R = dyn_cast<VPRegionBlock>(B))
1071 return R->isReplicator() ? nullptr : R;
1072 return nullptr;
1073}
1074
1077 if (auto *R = dyn_cast<VPRegionBlock>(B))
1078 return R->isReplicator() ? nullptr : R;
1079 return nullptr;
1080}
1081
1082#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1085
1086 if (VF.getNumUsers() > 0) {
1087 O << "\nLive-in ";
1088 VF.printAsOperand(O, SlotTracker);
1089 O << " = VF";
1090 }
1091
1092 if (UF.getNumUsers() > 0) {
1093 O << "\nLive-in ";
1094 UF.printAsOperand(O, SlotTracker);
1095 O << " = UF";
1096 }
1097
1098 if (VFxUF.getNumUsers() > 0) {
1099 O << "\nLive-in ";
1100 VFxUF.printAsOperand(O, SlotTracker);
1101 O << " = VF * UF";
1102 }
1103
1104 if (VectorTripCount.getNumUsers() > 0) {
1105 O << "\nLive-in ";
1106 VectorTripCount.printAsOperand(O, SlotTracker);
1107 O << " = vector-trip-count";
1108 }
1109
1110 if (BackedgeTakenCount && BackedgeTakenCount->getNumUsers()) {
1111 O << "\nLive-in ";
1112 BackedgeTakenCount->printAsOperand(O, SlotTracker);
1113 O << " = backedge-taken count";
1114 }
1115
1116 O << "\n";
1117 if (TripCount) {
1118 if (isa<VPIRValue>(TripCount))
1119 O << "Live-in ";
1120 TripCount->printAsOperand(O, SlotTracker);
1121 O << " = original trip-count";
1122 O << "\n";
1123 }
1124}
1125
1129
1130 O << "VPlan '" << getName() << "' {";
1131
1132 printLiveIns(O);
1133
1135 RPOT(getEntry());
1136 for (const VPBlockBase *Block : RPOT) {
1137 O << '\n';
1138 Block->print(O, "", SlotTracker);
1139 }
1140
1141 O << "}\n";
1142}
1143
1144std::string VPlan::getName() const {
1145 std::string Out;
1146 raw_string_ostream RSO(Out);
1147 RSO << Name << " for ";
1148 if (!VFs.empty()) {
1149 RSO << "VF={" << VFs[0];
1150 for (ElementCount VF : drop_begin(VFs))
1151 RSO << "," << VF;
1152 RSO << "},";
1153 }
1154
1155 if (UFs.empty()) {
1156 RSO << "UF>=1";
1157 } else {
1158 RSO << "UF={" << UFs[0];
1159 for (unsigned UF : drop_begin(UFs))
1160 RSO << "," << UF;
1161 RSO << "}";
1162 }
1163
1164 return Out;
1165}
1166
1169 VPlanPrinter Printer(O, *this);
1170 Printer.dump();
1171}
1172
1174void VPlan::dump() const { print(dbgs()); }
1175#endif
1176
1177static void remapOperands(VPBlockBase *Entry, VPBlockBase *NewEntry,
1178 DenseMap<VPValue *, VPValue *> &Old2NewVPValues) {
1179 // Update the operands of all cloned recipes starting at NewEntry. This
1180 // traverses all reachable blocks. This is done in two steps, to handle cycles
1181 // in PHI recipes.
1183 OldDeepRPOT(Entry);
1185 NewDeepRPOT(NewEntry);
1186 // First, collect all mappings from old to new VPValues defined by cloned
1187 // recipes.
1188 for (const auto &[OldBB, NewBB] :
1191 assert(OldBB->getRecipeList().size() == NewBB->getRecipeList().size() &&
1192 "blocks must have the same number of recipes");
1193 for (const auto &[OldR, NewR] : zip(*OldBB, *NewBB)) {
1194 assert(OldR.getNumOperands() == NewR.getNumOperands() &&
1195 "recipes must have the same number of operands");
1196 assert(OldR.getNumDefinedValues() == NewR.getNumDefinedValues() &&
1197 "recipes must define the same number of operands");
1198 for (const auto &[OldV, NewV] :
1199 zip(OldR.definedValues(), NewR.definedValues()))
1200 Old2NewVPValues[OldV] = NewV;
1201 }
1202 }
1203
1204 // Update all operands to use cloned VPValues.
1205 for (VPBasicBlock *NewBB :
1207 for (VPRecipeBase &NewR : *NewBB)
1208 for (unsigned I = 0, E = NewR.getNumOperands(); I != E; ++I) {
1209 VPValue *NewOp = Old2NewVPValues.lookup(NewR.getOperand(I));
1210 NewR.setOperand(I, NewOp);
1211 }
1212 }
1213}
1214
1216 unsigned NumBlocksBeforeCloning = CreatedBlocks.size();
1217 // Clone blocks.
1218 const auto &[NewEntry, __] = VPBlockUtils::cloneFrom(Entry);
1219
1220 BasicBlock *ScalarHeaderIRBB = getScalarHeader()->getIRBasicBlock();
1221 VPIRBasicBlock *NewScalarHeader = nullptr;
1222 if (getScalarHeader()->hasPredecessors()) {
1223 NewScalarHeader = cast<VPIRBasicBlock>(*find_if(
1224 vp_depth_first_shallow(NewEntry), [ScalarHeaderIRBB](VPBlockBase *VPB) {
1225 auto *VPIRBB = dyn_cast<VPIRBasicBlock>(VPB);
1226 return VPIRBB && VPIRBB->getIRBasicBlock() == ScalarHeaderIRBB;
1227 }));
1228 } else {
1229 NewScalarHeader = createVPIRBasicBlock(ScalarHeaderIRBB);
1230 }
1231 // Create VPlan, clone live-ins and remap operands in the cloned blocks.
1232 auto *NewPlan = new VPlan(cast<VPBasicBlock>(NewEntry), NewScalarHeader);
1233 DenseMap<VPValue *, VPValue *> Old2NewVPValues;
1234 for (VPIRValue *OldLiveIn : getLiveIns())
1235 Old2NewVPValues[OldLiveIn] = NewPlan->getOrAddLiveIn(OldLiveIn);
1236
1237 if (auto *TripCountIRV = dyn_cast_or_null<VPIRValue>(TripCount))
1238 Old2NewVPValues[TripCountIRV] = NewPlan->getOrAddLiveIn(TripCountIRV);
1239 // else NewTripCount will be created and inserted into Old2NewVPValues when
1240 // TripCount is cloned. In any case NewPlan->TripCount is updated below.
1241
1242 assert(none_of(Old2NewVPValues.keys(), IsaPred<VPSymbolicValue>) &&
1243 "All VPSymbolicValues must be handled below");
1244
1245 if (BackedgeTakenCount)
1246 NewPlan->BackedgeTakenCount = new VPSymbolicValue();
1247
1248 // Map and propagate materialized state for symbolic values.
1249 for (auto [OldSV, NewSV] :
1250 {std::pair{&VectorTripCount, &NewPlan->VectorTripCount},
1251 {&VF, &NewPlan->VF},
1252 {&UF, &NewPlan->UF},
1253 {&VFxUF, &NewPlan->VFxUF},
1254 {BackedgeTakenCount, NewPlan->BackedgeTakenCount}}) {
1255 if (!OldSV)
1256 continue;
1257 Old2NewVPValues[OldSV] = NewSV;
1258 if (OldSV->isMaterialized())
1259 NewSV->markMaterialized();
1260 }
1261 remapOperands(Entry, NewEntry, Old2NewVPValues);
1262
1263 // Initialize remaining fields of cloned VPlan.
1264 NewPlan->VFs = VFs;
1265 NewPlan->UFs = UFs;
1266 // TODO: Adjust names.
1267 NewPlan->Name = Name;
1268 if (TripCount) {
1269 assert(Old2NewVPValues.contains(TripCount) &&
1270 "TripCount must have been added to Old2NewVPValues");
1271 NewPlan->TripCount = Old2NewVPValues[TripCount];
1272 }
1273
1274 // Transfer all cloned blocks (the second half of all current blocks) from
1275 // current to new VPlan.
1276 unsigned NumBlocksAfterCloning = CreatedBlocks.size();
1277 for (unsigned I :
1278 seq<unsigned>(NumBlocksBeforeCloning, NumBlocksAfterCloning))
1279 NewPlan->CreatedBlocks.push_back(this->CreatedBlocks[I]);
1280 CreatedBlocks.truncate(NumBlocksBeforeCloning);
1281
1282 // Update ExitBlocks of the new plan.
1283 for (VPBlockBase *VPB : NewPlan->CreatedBlocks) {
1284 if (VPB->getNumSuccessors() == 0 && isa<VPIRBasicBlock>(VPB) &&
1285 VPB != NewScalarHeader)
1286 NewPlan->ExitBlocks.push_back(cast<VPIRBasicBlock>(VPB));
1287 }
1288
1289 return NewPlan;
1290}
1291
1293 auto *VPIRBB = new VPIRBasicBlock(IRBB);
1294 CreatedBlocks.push_back(VPIRBB);
1295 return VPIRBB;
1296}
1297
1299 auto *VPIRBB = createEmptyVPIRBasicBlock(IRBB);
1300 for (Instruction &I :
1301 make_range(IRBB->begin(), IRBB->getTerminator()->getIterator()))
1302 VPIRBB->appendRecipe(VPIRInstruction::create(I));
1303 return VPIRBB;
1304}
1305
1306#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1307
1308Twine VPlanPrinter::getUID(const VPBlockBase *Block) {
1309 return (isa<VPRegionBlock>(Block) ? "cluster_N" : "N") +
1310 Twine(getOrCreateBID(Block));
1311}
1312
1313Twine VPlanPrinter::getOrCreateName(const VPBlockBase *Block) {
1314 const std::string &Name = Block->getName();
1315 if (!Name.empty())
1316 return Name;
1317 return "VPB" + Twine(getOrCreateBID(Block));
1318}
1319
1321 Depth = 1;
1322 bumpIndent(0);
1323 OS << "digraph VPlan {\n";
1324 OS << "graph [labelloc=t, fontsize=30; label=\"Vectorization Plan";
1325 if (!Plan.getName().empty())
1326 OS << "\\n" << DOT::EscapeString(Plan.getName());
1327
1328 {
1329 // Print live-ins.
1330 std::string Str;
1331 raw_string_ostream SS(Str);
1332 Plan.printLiveIns(SS);
1334 StringRef(Str).rtrim('\n').split(Lines, "\n");
1335 for (auto Line : Lines)
1336 OS << DOT::EscapeString(Line.str()) << "\\n";
1337 }
1338
1339 OS << "\"]\n";
1340 OS << "node [shape=rect, fontname=Courier, fontsize=30]\n";
1341 OS << "edge [fontname=Courier, fontsize=30]\n";
1342 OS << "compound=true\n";
1343
1344 for (const VPBlockBase *Block : vp_depth_first_shallow(Plan.getEntry()))
1345 dumpBlock(Block);
1346
1347 OS << "}\n";
1348}
1349
1350void VPlanPrinter::dumpBlock(const VPBlockBase *Block) {
1352 dumpBasicBlock(BasicBlock);
1354 dumpRegion(Region);
1355 else
1356 llvm_unreachable("Unsupported kind of VPBlock.");
1357}
1358
1359void VPlanPrinter::drawEdge(const VPBlockBase *From, const VPBlockBase *To,
1360 bool Hidden, const Twine &Label) {
1361 // Due to "dot" we print an edge between two regions as an edge between the
1362 // exiting basic block and the entry basic of the respective regions.
1363 const VPBlockBase *Tail = From->getExitingBasicBlock();
1364 const VPBlockBase *Head = To->getEntryBasicBlock();
1365 OS << Indent << getUID(Tail) << " -> " << getUID(Head);
1366 OS << " [ label=\"" << Label << '\"';
1367 if (Tail != From)
1368 OS << " ltail=" << getUID(From);
1369 if (Head != To)
1370 OS << " lhead=" << getUID(To);
1371 if (Hidden)
1372 OS << "; splines=none";
1373 OS << "]\n";
1374}
1375
1376void VPlanPrinter::dumpEdges(const VPBlockBase *Block) {
1377 auto &Successors = Block->getSuccessors();
1378 if (Successors.size() == 1)
1379 drawEdge(Block, Successors.front(), false, "");
1380 else if (Successors.size() == 2) {
1381 drawEdge(Block, Successors.front(), false, "T");
1382 drawEdge(Block, Successors.back(), false, "F");
1383 } else {
1384 unsigned SuccessorNumber = 0;
1385 for (auto *Successor : Successors)
1386 drawEdge(Block, Successor, false, Twine(SuccessorNumber++));
1387 }
1388}
1389
1390void VPlanPrinter::dumpBasicBlock(const VPBasicBlock *BasicBlock) {
1391 // Implement dot-formatted dump by performing plain-text dump into the
1392 // temporary storage followed by some post-processing.
1393 OS << Indent << getUID(BasicBlock) << " [label =\n";
1394 bumpIndent(1);
1395 std::string Str;
1396 raw_string_ostream SS(Str);
1397 // Use no indentation as we need to wrap the lines into quotes ourselves.
1398 BasicBlock->print(SS, "", SlotTracker);
1399
1400 // We need to process each line of the output separately, so split
1401 // single-string plain-text dump.
1403 StringRef(Str).rtrim('\n').split(Lines, "\n");
1404
1405 auto EmitLine = [&](StringRef Line, StringRef Suffix) {
1406 OS << Indent << '"' << DOT::EscapeString(Line.str()) << "\\l\"" << Suffix;
1407 };
1408
1409 // Don't need the "+" after the last line.
1410 for (auto Line : make_range(Lines.begin(), Lines.end() - 1))
1411 EmitLine(Line, " +\n");
1412 EmitLine(Lines.back(), "\n");
1413
1414 bumpIndent(-1);
1415 OS << Indent << "]\n";
1416
1417 dumpEdges(BasicBlock);
1418}
1419
1420void VPlanPrinter::dumpRegion(const VPRegionBlock *Region) {
1421 OS << Indent << "subgraph " << getUID(Region) << " {\n";
1422 bumpIndent(1);
1423 OS << Indent << "fontname=Courier\n"
1424 << Indent << "label=\""
1425 << DOT::EscapeString(Region->isReplicator() ? "<xVFxUF> " : "<x1> ")
1426 << DOT::EscapeString(Region->getName()) << "\"\n";
1427 // Dump the blocks of the region.
1428 assert(Region->getEntry() && "Region contains no inner blocks.");
1429 for (const VPBlockBase *Block : vp_depth_first_shallow(Region->getEntry()))
1430 dumpBlock(Block);
1431 bumpIndent(-1);
1432 OS << Indent << "}\n";
1433 dumpEdges(Region);
1434}
1435
1436#endif
1437
1438/// Returns true if there is a vector loop region and \p VPV is defined in a
1439/// loop region.
1440static bool isDefinedInsideLoopRegions(const VPValue *VPV) {
1441 const VPRecipeBase *DefR = VPV->getDefiningRecipe();
1442 return DefR && (!DefR->getParent()->getPlan()->getVectorLoopRegion() ||
1444}
1445
1450 replaceUsesWithIf(New, [](VPUser &, unsigned) { return true; });
1451 if (auto *SV = dyn_cast<VPSymbolicValue>(this))
1452 SV->markMaterialized();
1453}
1454
1456 VPValue *New,
1457 llvm::function_ref<bool(VPUser &U, unsigned Idx)> ShouldReplace) {
1459 // Note that this early exit is required for correctness; the implementation
1460 // below relies on the number of users for this VPValue to decrease, which
1461 // isn't the case if this == New.
1462 if (this == New)
1463 return;
1464
1465 for (unsigned J = 0; J < getNumUsers();) {
1466 VPUser *User = Users[J];
1467 bool RemovedUser = false;
1468 for (unsigned I = 0, E = User->getNumOperands(); I < E; ++I) {
1469 if (User->getOperand(I) != this || !ShouldReplace(*User, I))
1470 continue;
1471
1472 RemovedUser = true;
1473 User->setOperand(I, New);
1474 }
1475 // If a user got removed after updating the current user, the next user to
1476 // update will be moved to the current position, so we only need to
1477 // increment the index if the number of users did not change.
1478 if (!RemovedUser)
1479 J++;
1480 }
1481}
1482
1484 for (unsigned Idx = 0; Idx != getNumOperands(); ++Idx) {
1485 if (getOperand(Idx) == From)
1486 setOperand(Idx, To);
1487 }
1488}
1489
1490#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1492 OS << Tracker.getOrCreateName(this);
1493}
1494
1497 Op->printAsOperand(O, SlotTracker);
1498 });
1499}
1500#endif
1501
1502void VPSlotTracker::assignName(const VPValue *V) {
1503 assert(!VPValue2Name.contains(V) && "VPValue already has a name!");
1504 auto *UV = V->getUnderlyingValue();
1505 auto *VPI = dyn_cast_or_null<VPInstruction>(V);
1506 if (!UV && !(VPI && !VPI->getName().empty())) {
1507 VPValue2Name[V] = (Twine("vp<%") + Twine(NextSlot) + ">").str();
1508 NextSlot++;
1509 return;
1510 }
1511
1512 // Use the name of the underlying Value, wrapped in "ir<>", and versioned by
1513 // appending ".Number" to the name if there are multiple uses.
1514 std::string Name;
1515 if (UV)
1516 Name = getName(UV);
1517 else
1518 Name = VPI->getName();
1519
1520 assert(!Name.empty() && "Name cannot be empty.");
1521 StringRef Prefix = UV ? "ir<" : "vp<%";
1522 std::string BaseName = (Twine(Prefix) + Name + Twine(">")).str();
1523
1524 // First assign the base name for V.
1525 const auto &[A, _] = VPValue2Name.try_emplace(V, BaseName);
1526 // Integer or FP constants with different types will result in the same string
1527 // due to stripping types.
1529 return;
1530
1531 // If it is already used by C > 0 other VPValues, increase the version counter
1532 // C and use it for V.
1533 const auto &[C, UseInserted] = BaseName2Version.try_emplace(BaseName, 0);
1534 if (!UseInserted) {
1535 C->second++;
1536 A->second = (BaseName + Twine(".") + Twine(C->second)).str();
1537 }
1538}
1539
1540void VPSlotTracker::assignNames(const VPlan &Plan) {
1541 if (Plan.VF.getNumUsers() > 0)
1542 assignName(&Plan.VF);
1543 if (Plan.UF.getNumUsers() > 0)
1544 assignName(&Plan.UF);
1545 if (Plan.VFxUF.getNumUsers() > 0)
1546 assignName(&Plan.VFxUF);
1547 assignName(&Plan.VectorTripCount);
1548 if (Plan.BackedgeTakenCount)
1549 assignName(Plan.BackedgeTakenCount);
1550 for (VPValue *LI : Plan.getLiveIns())
1551 assignName(LI);
1552
1553 ReversePostOrderTraversal<VPBlockDeepTraversalWrapper<const VPBlockBase *>>
1554 RPOT(VPBlockDeepTraversalWrapper<const VPBlockBase *>(Plan.getEntry()));
1555 for (const VPBasicBlock *VPBB :
1557 assignNames(VPBB);
1558}
1559
1560void VPSlotTracker::assignNames(const VPBasicBlock *VPBB) {
1561 for (const VPRecipeBase &Recipe : *VPBB)
1562 for (VPValue *Def : Recipe.definedValues())
1563 assignName(Def);
1564}
1565
1566std::string VPSlotTracker::getName(const Value *V) {
1567 std::string Name;
1568 raw_string_ostream S(Name);
1569 if (V->hasName() || !isa<Instruction>(V)) {
1570 V->printAsOperand(S, false);
1571 return Name;
1572 }
1573
1574 if (!MST) {
1575 // Lazily create the ModuleSlotTracker when we first hit an unnamed
1576 // instruction.
1577 auto *I = cast<Instruction>(V);
1578 // This check is required to support unit tests with incomplete IR.
1579 if (I->getParent()) {
1580 MST = std::make_unique<ModuleSlotTracker>(I->getModule());
1581 MST->incorporateFunction(*I->getFunction());
1582 } else {
1583 MST = std::make_unique<ModuleSlotTracker>(nullptr);
1584 }
1585 }
1586 V->printAsOperand(S, false, *MST);
1587 return Name;
1588}
1589
1590std::string VPSlotTracker::getOrCreateName(const VPValue *V) const {
1591 std::string Name = VPValue2Name.lookup(V);
1592 if (!Name.empty())
1593 return Name;
1594
1595 // If no name was assigned, no VPlan was provided when creating the slot
1596 // tracker or it is not reachable from the provided VPlan. This can happen,
1597 // e.g. when trying to print a recipe that has not been inserted into a VPlan
1598 // in a debugger.
1599 // TODO: Update VPSlotTracker constructor to assign names to recipes &
1600 // VPValues not associated with a VPlan, instead of constructing names ad-hoc
1601 // here.
1602 const VPRecipeBase *DefR = V->getDefiningRecipe();
1603 (void)DefR;
1604 assert((!DefR || !DefR->getParent() || !DefR->getParent()->getPlan()) &&
1605 "VPValue defined by a recipe in a VPlan?");
1606
1607 // Use the underlying value's name, if there is one.
1608 if (auto *UV = V->getUnderlyingValue()) {
1609 std::string Name;
1610 raw_string_ostream S(Name);
1611 UV->printAsOperand(S, false);
1612 return (Twine("ir<") + Name + ">").str();
1613 }
1614
1615 return "<badref>";
1616}
1617
1619 const std::function<bool(ElementCount)> &Predicate, VFRange &Range) {
1620 assert(!Range.isEmpty() && "Trying to test an empty VF range.");
1621 bool PredicateAtRangeStart = Predicate(Range.Start);
1622
1623 for (ElementCount TmpVF : VFRange(Range.Start * 2, Range.End))
1624 if (Predicate(TmpVF) != PredicateAtRangeStart) {
1625 Range.End = TmpVF;
1626 break;
1627 }
1628
1629 return PredicateAtRangeStart;
1630}
1631
1632/// Build VPlans for the full range of feasible VF's = {\p MinVF, 2 * \p MinVF,
1633/// 4 * \p MinVF, ..., \p MaxVF} by repeatedly building a VPlan for a sub-range
1634/// of VF's starting at a given VF and extending it as much as possible. Each
1635/// vectorization decision can potentially shorten this sub-range during
1636/// buildVPlan().
1638 ElementCount MaxVF) {
1639 auto MaxVFTimes2 = MaxVF * 2;
1640 for (ElementCount VF = MinVF; ElementCount::isKnownLT(VF, MaxVFTimes2);) {
1641 VFRange SubRange = {VF, MaxVFTimes2};
1642 if (auto Plan = tryToBuildVPlan(SubRange)) {
1644 // Update the name of the latch of the top-level vector loop region region
1645 // after optimizations which includes block folding.
1646 Plan->getVectorLoopRegion()->getExiting()->setName("vector.latch");
1647 VPlans.push_back(std::move(Plan));
1648 }
1649 VF = SubRange.End;
1650 }
1651}
1652
1654 assert(count_if(VPlans,
1655 [VF](const VPlanPtr &Plan) { return Plan->hasVF(VF); }) ==
1656 1 &&
1657 "Multiple VPlans for VF.");
1658
1659 for (const VPlanPtr &Plan : VPlans) {
1660 if (Plan->hasVF(VF))
1661 return *Plan.get();
1662 }
1663 llvm_unreachable("No plan found!");
1664}
1665
1668 // Reserve first location for self reference to the LoopID metadata node.
1669 MDs.push_back(nullptr);
1670 bool IsUnrollMetadata = false;
1671 MDNode *LoopID = L->getLoopID();
1672 if (LoopID) {
1673 // First find existing loop unrolling disable metadata.
1674 for (unsigned I = 1, IE = LoopID->getNumOperands(); I < IE; ++I) {
1675 auto *MD = dyn_cast<MDNode>(LoopID->getOperand(I));
1676 if (MD) {
1677 const auto *S = dyn_cast<MDString>(MD->getOperand(0));
1678 if (!S)
1679 continue;
1680 if (S->getString().starts_with("llvm.loop.unroll.runtime.disable"))
1681 continue;
1682 IsUnrollMetadata =
1683 S->getString().starts_with("llvm.loop.unroll.disable");
1684 }
1685 MDs.push_back(LoopID->getOperand(I));
1686 }
1687 }
1688
1689 if (!IsUnrollMetadata) {
1690 // Add runtime unroll disable metadata.
1691 LLVMContext &Context = L->getHeader()->getContext();
1692 SmallVector<Metadata *, 1> DisableOperands;
1693 DisableOperands.push_back(
1694 MDString::get(Context, "llvm.loop.unroll.runtime.disable"));
1695 MDNode *DisableNode = MDNode::get(Context, DisableOperands);
1696 MDs.push_back(DisableNode);
1697 MDNode *NewLoopID = MDNode::get(Context, MDs);
1698 // Set operand 0 to refer to the loop id itself.
1699 NewLoopID->replaceOperandWith(0, NewLoopID);
1700 L->setLoopID(NewLoopID);
1701 }
1702}
1703
1705 Loop *VectorLoop, VPBasicBlock *HeaderVPBB, const VPlan &Plan,
1706 bool VectorizingEpilogue, MDNode *OrigLoopID,
1707 std::optional<unsigned> OrigAverageTripCount,
1708 unsigned OrigLoopInvocationWeight, unsigned EstimatedVFxUF,
1709 bool DisableRuntimeUnroll) {
1710 // Update the metadata of the scalar loop. Skip the update when vectorizing
1711 // the epilogue loop to ensure it is updated only once. Also skip the update
1712 // when the scalar loop became unreachable.
1713 if (Plan.getScalarPreheader()->hasPredecessors() && !VectorizingEpilogue) {
1714 std::optional<MDNode *> RemainderLoopID =
1717 if (RemainderLoopID) {
1718 OrigLoop->setLoopID(*RemainderLoopID);
1719 } else {
1720 if (DisableRuntimeUnroll)
1722
1723 LoopVectorizeHints Hints(OrigLoop, true, *ORE);
1724 Hints.setAlreadyVectorized();
1725 }
1726 }
1727
1728 if (!VectorLoop)
1729 return;
1730
1731 if (std::optional<MDNode *> VectorizedLoopID = makeFollowupLoopID(
1732 OrigLoopID, {LLVMLoopVectorizeFollowupAll,
1734 VectorLoop->setLoopID(*VectorizedLoopID);
1735 } else {
1736 // Keep all loop hints from the original loop on the vector loop (we'll
1737 // replace the vectorizer-specific hints below).
1738 if (OrigLoopID)
1739 VectorLoop->setLoopID(OrigLoopID);
1740
1741 if (!VectorizingEpilogue) {
1742 LoopVectorizeHints Hints(VectorLoop, true, *ORE);
1743 Hints.setAlreadyVectorized();
1744 }
1745 }
1747 TTI.getUnrollingPreferences(VectorLoop, *PSE.getSE(), UP, ORE);
1748 if (!UP.UnrollVectorizedLoop || VectorizingEpilogue)
1750
1751 // Set/update profile weights for the vector and remainder loops as original
1752 // loop iterations are now distributed among them. Note that original loop
1753 // becomes the scalar remainder loop after vectorization.
1754 //
1755 // For cases like foldTailByMasking() and requiresScalarEpiloque() we may
1756 // end up getting slightly roughened result but that should be OK since
1757 // profile is not inherently precise anyway. Note also possible bypass of
1758 // vector code caused by legality checks is ignored, assigning all the weight
1759 // to the vector loop, optimistically.
1760 //
1761 // For scalable vectorization we can't know at compile time how many
1762 // iterations of the loop are handled in one vector iteration, so instead
1763 // use the value of vscale used for tuning.
1764 unsigned AverageVectorTripCount = 0;
1765 unsigned RemainderAverageTripCount = 0;
1766 auto EC = VectorLoop->getLoopPreheader()->getParent()->getEntryCount();
1767 auto IsProfiled = EC && EC->getCount();
1768 if (!OrigAverageTripCount) {
1769 if (!IsProfiled)
1770 return;
1771 auto &SE = *PSE.getSE();
1772 AverageVectorTripCount = SE.getSmallConstantTripCount(VectorLoop);
1773 if (ProfcheckDisableMetadataFixes || !AverageVectorTripCount)
1774 return;
1775 if (Plan.getScalarPreheader()->hasPredecessors())
1776 RemainderAverageTripCount =
1777 SE.getSmallConstantTripCount(OrigLoop) % EstimatedVFxUF;
1778 // Setting to 1 should be sufficient to generate the correct branch weights.
1779 OrigLoopInvocationWeight = 1;
1780 } else {
1781 // Calculate number of iterations in unrolled loop.
1782 AverageVectorTripCount = *OrigAverageTripCount / EstimatedVFxUF;
1783 // Calculate number of iterations for remainder loop.
1784 RemainderAverageTripCount = *OrigAverageTripCount % EstimatedVFxUF;
1785 }
1786 if (HeaderVPBB) {
1787 setLoopEstimatedTripCount(VectorLoop, AverageVectorTripCount,
1788 OrigLoopInvocationWeight);
1789 }
1790
1791 if (Plan.getScalarPreheader()->hasPredecessors()) {
1792 setLoopEstimatedTripCount(OrigLoop, RemainderAverageTripCount,
1793 OrigLoopInvocationWeight);
1794 }
1795}
1796
1797#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1799 if (VPlans.empty()) {
1800 O << "LV: No VPlans built.\n";
1801 return;
1802 }
1803 for (const auto &Plan : VPlans)
1805 Plan->printDOT(O);
1806 else
1807 Plan->print(O);
1808}
1809#endif
1810
1811bool llvm::canConstantBeExtended(const APInt *C, Type *NarrowType,
1813 APInt TruncatedVal = C->trunc(NarrowType->getScalarSizeInBits());
1814 unsigned WideSize = C->getBitWidth();
1815 APInt ExtendedVal = ExtKind == TTI::PR_SignExtend
1816 ? TruncatedVal.sext(WideSize)
1817 : TruncatedVal.zext(WideSize);
1818 return ExtendedVal == *C;
1819}
1820
1823 if (auto *IRV = dyn_cast<VPIRValue>(V))
1824 return TTI::getOperandInfo(IRV->getValue());
1825
1826 return {};
1827}
1828
1830 Type *ResultTy, ArrayRef<const VPValue *> Operands, ElementCount VF,
1831 TTI::VectorInstrContext VIC, bool AlwaysIncludeReplicatingR) {
1832 if (VF.isScalar())
1833 return 0;
1834
1835 assert(!VF.isScalable() &&
1836 "Scalarization overhead not supported for scalable vectors");
1837
1838 InstructionCost ScalarizationCost = 0;
1839 // Compute the cost of scalarizing the result if needed.
1840 if (!ResultTy->isVoidTy()) {
1841 for (Type *VectorTy :
1842 to_vector(getContainedTypes(toVectorizedTy(ResultTy, VF)))) {
1843 ScalarizationCost += TTI.getScalarizationOverhead(
1845 /*Insert=*/true, /*Extract=*/false, CostKind,
1846 /*ForPoisonSrc=*/true, {}, VIC);
1847 }
1848 }
1849 // Compute the cost of scalarizing the operands, skipping ones that do not
1850 // require extraction/scalarization and do not incur any overhead.
1851 SmallPtrSet<const VPValue *, 4> UniqueOperands;
1853 for (auto *Op : Operands) {
1854 if (isa<VPIRValue>(Op) ||
1855 (!AlwaysIncludeReplicatingR &&
1858 cast<VPReplicateRecipe>(Op)->getOpcode() == Instruction::Load) ||
1859 !UniqueOperands.insert(Op).second)
1860 continue;
1861 Tys.push_back(toVectorizedTy(Types.inferScalarType(Op), VF));
1862 }
1863 return ScalarizationCost +
1864 TTI.getOperandsScalarizationOverhead(Tys, CostKind, VIC);
1865}
1866
1868 ElementCount VF) {
1869 const Instruction *UI = R->getUnderlyingInstr();
1870 if (isa<LoadInst>(UI))
1871 return true;
1872 assert(isa<StoreInst>(UI) && "R must either be a load or store");
1873
1874 if (!NumPredStores) {
1875 // Count the number of predicated stores in the VPlan, caching the result.
1876 // Only stores where scatter is not legal are counted, matching the legacy
1877 // cost model behavior.
1878 const VPlan &Plan = *R->getParent()->getPlan();
1879 NumPredStores = 0;
1880 for (const VPRegionBlock *VPRB :
1883 assert(VPRB->isReplicator() && "must only contain replicate regions");
1884 for (const VPBasicBlock *VPBB :
1886 vp_depth_first_shallow(VPRB->getEntry()))) {
1887 for (const VPRecipeBase &Recipe : *VPBB) {
1888 auto *RepR = dyn_cast<VPReplicateRecipe>(&Recipe);
1889 if (!RepR)
1890 continue;
1891 if (!isa<StoreInst>(RepR->getUnderlyingInstr()))
1892 continue;
1893 // Check if scatter is legal for this store. If so, don't count it.
1894 Type *Ty = Types.inferScalarType(RepR->getOperand(0));
1895 auto *VTy = VectorType::get(Ty, VF);
1896 const Align Alignment =
1897 getLoadStoreAlignment(RepR->getUnderlyingInstr());
1898 if (!TTI.isLegalMaskedScatter(VTy, Alignment))
1899 ++(*NumPredStores);
1900 }
1901 }
1902 }
1903 }
1905}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
Definition Compiler.h:661
dxil pretty DXIL Metadata Pretty Printer
Flatten the CFG
#define _
This file provides various utilities for inspecting and working with the control flow graph in LLVM I...
This file defines the LoopVectorizationLegality class.
This file provides a LoopVectorizationPlanner class.
cl::opt< unsigned > NumberOfStoresToPredicate("vectorize-num-stores-pred", cl::init(1), cl::Hidden, cl::desc("Max number of stores to be predicated behind an if."))
The number of stores in a loop that are allowed to need predication.
#define I(x, y, z)
Definition MD5.cpp:57
#define T
ConstantRange Range(APInt(BitWidth, Low), APInt(BitWidth, High))
#define P(N)
This file builds on the ADT/GraphTraits.h file to build a generic graph post order iterator.
static StringRef getName(Value *V)
This file contains some templates that are useful if you are working with the STL at all.
This file defines the SmallVector class.
This file contains some functions that are useful when dealing with strings.
#define LLVM_DEBUG(...)
Definition Debug.h:114
This file implements dominator tree analysis for a single level of a VPlan's H-CFG.
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.
Definition VPlanSLP.cpp:247
This file provides utility VPlan to VPlan transformations.
#define RUN_VPLAN_PASS(PASS,...)
static void addRuntimeUnrollDisableMetaData(Loop *L)
Definition VPlan.cpp:1666
static T * getPlanEntry(T *Start)
Definition VPlan.cpp:157
static void printFinalVPlan(VPlan &)
To make RUN_VPLAN_PASS print final VPlan.
Definition VPlan.cpp:917
static T * getEnclosingLoopRegionForRegion(T *P)
Return the enclosing loop region for region P.
Definition VPlan.cpp:588
const char LLVMLoopVectorizeFollowupAll[]
Definition VPlan.cpp:61
static bool isDefinedInsideLoopRegions(const VPValue *VPV)
Returns true if there is a vector loop region and VPV is defined in a loop region.
Definition VPlan.cpp:1440
static bool hasConditionalTerminator(const VPBasicBlock *VPBB)
Definition VPlan.cpp:606
const char LLVMLoopVectorizeFollowupVectorized[]
Definition VPlan.cpp:62
static void remapOperands(VPBlockBase *Entry, VPBlockBase *NewEntry, DenseMap< VPValue *, VPValue * > &Old2NewVPValues)
Definition VPlan.cpp:1177
const char LLVMLoopVectorizeFollowupEpilogue[]
Definition VPlan.cpp:64
static cl::opt< bool > PrintVPlansInDotFormat("vplan-print-in-dot-format", cl::Hidden, cl::desc("Use dot format instead of plain text when dumping VPlans"))
This file contains the declarations of the Vectorization Plan base classes:
static bool IsCondBranch(unsigned BrOpc)
Class for arbitrary precision integers.
Definition APInt.h:78
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
Definition APInt.h:235
LLVM_ABI APInt zext(unsigned width) const
Zero extend to a new width.
Definition APInt.cpp:1043
LLVM_ABI APInt sext(unsigned width) const
Sign extend to a new width.
Definition APInt.cpp:1016
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
A cache of @llvm.assume calls within a function.
LLVM Basic Block Representation.
Definition BasicBlock.h:62
iterator begin()
Instruction iterator methods.
Definition BasicBlock.h:461
const Function * getParent() const
Return the enclosing method, or null if none.
Definition BasicBlock.h:213
static BasicBlock * Create(LLVMContext &Context, const Twine &Name="", Function *Parent=nullptr, BasicBlock *InsertBefore=nullptr)
Creates a new BasicBlock.
Definition BasicBlock.h:206
LLVM_ABI const BasicBlock * getSingleSuccessor() const
Return the successor of this block if it has a single successor.
InstListType::iterator iterator
Instruction iterators...
Definition BasicBlock.h:170
LLVM_ABI LLVMContext & getContext() const
Get the context in which this basic block lives.
size_t size() const
Definition BasicBlock.h:482
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
Definition BasicBlock.h:237
std::optional< const DILocation * > cloneByMultiplyingDuplicationFactor(unsigned DF) const
Returns a new DILocation with duplication factor DF * current duplication factor encoded in the discr...
A debug info location.
Definition DebugLoc.h:123
ValueT lookup(const_arg_type_t< KeyT > Val) const
lookup - Return the entry for the specified key, or a default constructed value if no such entry exis...
Definition DenseMap.h:205
bool contains(const_arg_type_t< KeyT > Val) const
Return true if the specified key is in the map, false otherwise.
Definition DenseMap.h:169
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
Definition Dominators.h:159
constexpr bool isVector() const
One or more elements.
Definition TypeSize.h:324
constexpr bool isScalar() const
Exactly one element.
Definition TypeSize.h:320
std::optional< ProfileCount > getEntryCount(bool AllowSynthetic=false) const
Get the entry count for this function.
Common base class shared among various IRBuilders.
Definition IRBuilder.h:114
static InstructionCost getInvalid(CostType Val=0)
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
A helper class to return the specified delimiter string after the first invocation of operator String...
bool isInnermost() const
Return true if the loop does not contain any (natural) loops.
void addBasicBlockToLoop(BlockT *NewBB, LoopInfoBase< BlockT, LoopT > &LI)
This method is used by other analyses to update loop information.
std::vector< BlockT * > & getBlocksVector()
Return a direct, mutable handle to the blocks vector so that we can mutate it efficiently with techni...
void addChildLoop(LoopT *NewChild)
Add the specified loop to be a child of this loop.
BlockT * getLoopPreheader() const
If there is a preheader for this loop, return it.
iterator begin() const
VPlan & getPlanFor(ElementCount VF) const
Return the VPlan for VF.
Definition VPlan.cpp:1653
void updateLoopMetadataAndProfileInfo(Loop *VectorLoop, VPBasicBlock *HeaderVPBB, const VPlan &Plan, bool VectorizingEpilogue, MDNode *OrigLoopID, std::optional< unsigned > OrigAverageTripCount, unsigned OrigLoopInvocationWeight, unsigned EstimatedVFxUF, bool DisableRuntimeUnroll)
Update loop metadata and profile info for both the scalar remainder loop and VectorLoop,...
Definition VPlan.cpp:1704
void buildVPlans(ElementCount MinVF, ElementCount MaxVF)
Build VPlans for power-of-2 VF's between MinVF and MaxVF inclusive, according to the information gath...
Definition VPlan.cpp:1637
static bool getDecisionAndClampRange(const std::function< bool(ElementCount)> &Predicate, VFRange &Range)
Test a Predicate on a Range of VF's.
Definition VPlan.cpp:1618
void printPlans(raw_ostream &O)
Definition VPlan.cpp:1798
Utility class for getting and setting loop vectorizer hints in the form of loop metadata.
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
void setLoopID(MDNode *LoopID) const
Set the llvm.loop loop id metadata for this loop.
Definition LoopInfo.cpp:547
Metadata node.
Definition Metadata.h:1080
LLVM_ABI void replaceOperandWith(unsigned I, Metadata *New)
Replace a specific operand.
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1444
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
Definition Metadata.h:1572
unsigned getNumOperands() const
Return number of MDNode operands.
Definition Metadata.h:1450
static LLVM_ABI MDString * get(LLVMContext &Context, StringRef Str)
Definition Metadata.cpp:614
BlockT * getEntry() const
Get the entry BasicBlock of the Region.
Definition RegionInfo.h:320
size_type size() const
Determine the number of elements in the SetVector.
Definition SetVector.h:103
void insert_range(Range &&R)
Definition SetVector.h:176
bool insert(const value_type &X)
Insert a new element into the SetVector.
Definition SetVector.h:151
This class provides computation of slot numbers for LLVM Assembly writing.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
A SetVector that performs no allocations if smaller than a certain size.
Definition SetVector.h:339
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
std::pair< iterator, bool > try_emplace(StringRef Key, ArgsTy &&...Args)
Emplace a new element for the specified key into the map if the key isn't already in the map.
Definition StringMap.h:381
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
std::pair< StringRef, StringRef > split(char Separator) const
Split into two substrings around the first occurrence of a separator character.
Definition StringRef.h:730
StringRef rtrim(char Char) const
Return string with consecutive Char characters starting from the right removed.
Definition StringRef.h:832
This pass provides access to the codegen interfaces that are needed for IR-level transformations.
VectorInstrContext
Represents a hint about the context in which an insert/extract is used.
static LLVM_ABI OperandValueInfo getOperandInfo(const Value *V)
Collect properties of V used in cost analysis, e.g. OP_PowerOf2.
Target - Wrapper for Target specific information.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
Definition Type.cpp:236
bool isVoidTy() const
Return true if this is 'void'.
Definition Type.h:141
static UncondBrInst * Create(BasicBlock *Target, InsertPosition InsertBefore=nullptr)
This function has undefined behavior.
void setOperand(unsigned i, Value *Val)
Definition User.h:212
Value * getOperand(unsigned i) const
Definition User.h:207
unsigned getNumOperands() const
Definition User.h:229
VPBasicBlock serves as the leaf of the Hierarchical Control-Flow Graph.
Definition VPlan.h:4253
void appendRecipe(VPRecipeBase *Recipe)
Augment the existing recipes of a VPBasicBlock with an additional Recipe as the last recipe.
Definition VPlan.h:4328
RecipeListTy::iterator iterator
Instruction iterators...
Definition VPlan.h:4280
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPBasicBlock,...
Definition VPlan.cpp:493
iterator end()
Definition VPlan.h:4290
iterator begin()
Recipe iterator methods.
Definition VPlan.h:4288
VPBasicBlock * clone() override
Clone the current block and it's recipes, without updating the operands of the cloned recipes.
Definition VPlan.cpp:544
InstructionCost cost(ElementCount VF, VPCostContext &Ctx) override
Return the cost of this VPBasicBlock.
Definition VPlan.cpp:778
const VPBasicBlock * getCFGPredecessor(unsigned Idx) const
Returns the predecessor block at index Idx with the predecessors as per the corresponding plain CFG.
Definition VPlan.cpp:785
iterator getFirstNonPhi()
Return the position of the first non-phi node recipe in the block.
Definition VPlan.cpp:232
void connectToPredecessors(VPTransformState &State)
Connect the VPBBs predecessors' in the VPlan CFG to the IR basic block generated for this VPBB.
Definition VPlan.cpp:393
VPRegionBlock * getEnclosingLoopRegion()
Definition VPlan.cpp:598
VPBasicBlock * splitAt(iterator SplitAt)
Split current block at SplitAt by inserting a new block between the current block and its successors ...
Definition VPlan.cpp:565
RecipeListTy Recipes
The VPRecipes held in the order of output instructions to generate.
Definition VPlan.h:4268
void executeRecipes(VPTransformState *State, BasicBlock *BB)
Execute the recipes in the IR basic block BB.
Definition VPlan.cpp:551
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print this VPBsicBlock to O, prefixing all lines with Indent.
Definition VPlan.cpp:678
bool isExiting() const
Returns true if the block is exiting it's parent region.
Definition VPlan.cpp:656
VPRecipeBase * getTerminator()
If the block has multiple successors, return the branch recipe terminating the block.
Definition VPlan.cpp:644
const VPRecipeBase & back() const
Definition VPlan.h:4302
bool empty() const
Definition VPlan.h:4299
size_t size() const
Definition VPlan.h:4298
VPBlockBase is the building block of the Hierarchical Control-Flow Graph.
Definition VPlan.h:98
void setSuccessors(ArrayRef< VPBlockBase * > NewSuccs)
Set each VPBasicBlock in NewSuccss as successor of this VPBlockBase.
Definition VPlan.h:319
VPRegionBlock * getParent()
Definition VPlan.h:190
const VPBasicBlock * getExitingBasicBlock() const
Definition VPlan.cpp:202
void setName(const Twine &newName)
Definition VPlan.h:183
size_t getNumSuccessors() const
Definition VPlan.h:241
iterator_range< VPBlockBase ** > successors()
Definition VPlan.h:223
virtual void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const =0
Print plain-text dump of this VPBlockBase to O, prefixing all lines with Indent.
bool hasPredecessors() const
Returns true if this block has any predecessors.
Definition VPlan.h:221
void printSuccessors(raw_ostream &O, const Twine &Indent) const
Print the successors of this block to O, prefixing all lines with Indent.
Definition VPlan.cpp:666
size_t getNumPredecessors() const
Definition VPlan.h:242
void setPredecessors(ArrayRef< VPBlockBase * > NewPreds)
Set each VPBasicBlock in NewPreds as predecessor of this VPBlockBase.
Definition VPlan.h:310
VPBlockBase * getEnclosingBlockWithPredecessors()
Definition VPlan.cpp:224
bool hasSuccessors() const
Returns true if this block has any successors.
Definition VPlan.h:219
const VPBlocksTy & getPredecessors() const
Definition VPlan.h:226
VPlan * getPlan()
Definition VPlan.cpp:177
void setPlan(VPlan *ParentPlan)
Sets the pointer of the plan containing the block.
Definition VPlan.cpp:196
const std::string & getName() const
Definition VPlan.h:181
VPBlockBase * getSinglePredecessor() const
Definition VPlan.h:237
const VPBlocksTy & getHierarchicalSuccessors()
Definition VPlan.h:261
VPBlockBase(const unsigned char SC, const std::string &N)
Definition VPlan.h:167
VPBlockBase * getEnclosingBlockWithSuccessors()
An Enclosing Block of a block B is any block containing B, including B itself.
Definition VPlan.cpp:216
const VPBasicBlock * getEntryBasicBlock() const
Definition VPlan.cpp:182
VPBlockBase * getSingleHierarchicalPredecessor()
Definition VPlan.h:283
VPBlockBase * getSingleSuccessor() const
Definition VPlan.h:231
const VPBlocksTy & getSuccessors() const
Definition VPlan.h:215
static void insertBlockAfter(VPBlockBase *NewBlock, VPBlockBase *BlockPtr)
Insert disconnected VPBlockBase NewBlock after BlockPtr.
Definition VPlanUtils.h:170
static bool isLatch(const VPBlockBase *VPB, const VPDominatorTree &VPDT)
Returns true if VPB is a loop latch, using isHeader().
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 void connectBlocks(VPBlockBase *From, VPBlockBase *To, unsigned PredIdx=-1u, unsigned SuccIdx=-1u)
Connect VPBlockBases From and To bi-directionally.
Definition VPlanUtils.h:218
static void disconnectBlocks(VPBlockBase *From, VPBlockBase *To)
Disconnect VPBlockBases From and To bi-directionally.
Definition VPlanUtils.h:236
static auto blocksOnly(T &&Range)
Return an iterator range over Range which only includes BlockTy blocks.
Definition VPlanUtils.h:272
static void transferSuccessors(VPBlockBase *Old, VPBlockBase *New)
Transfer successors from Old to New. New must have no successors.
Definition VPlanUtils.h:256
static std::pair< VPBlockBase *, VPBlockBase * > cloneFrom(VPBlockBase *Entry)
Clone the CFG for all nodes reachable from Entry, including cloning the blocks and their recipes.
Definition VPlan.cpp:693
VPlan-based builder utility analogous to IRBuilder.
VPPhi * createScalarPhi(ArrayRef< VPValue * > IncomingValues, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", const VPIRFlags &Flags={})
This class augments a recipe with a set of VPValues defined by the recipe.
Definition VPlanValue.h:399
A special type of VPBasicBlock that wraps an existing IR basic block.
Definition VPlan.h:4406
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPBasicBlock,...
Definition VPlan.cpp:461
BasicBlock * getIRBasicBlock() const
Definition VPlan.h:4430
VPIRBasicBlock * clone() override
Clone the current block and it's recipes, without updating the operands of the cloned recipes.
Definition VPlan.cpp:486
static LLVM_ABI_FOR_TEST VPIRInstruction * create(Instruction &I)
Create a new VPIRPhi for \I , if it is a PHINode, otherwise create a VPIRInstruction.
In what follows, the term "input IR" refers to code that is fed into the vectorizer whereas the term ...
Value * getAsRuntimeExpr(IRBuilderBase &Builder, const ElementCount &VF) const
Returns an expression describing the lane index that can be used at runtime.
Definition VPlan.cpp:87
static VPLane getFirstLane()
@ ScalableLast
For ScalableLast, Lane is the offset from the start of the last N-element subvector in a scalable vec...
@ First
For First, Lane is the index into the first N elements of a fixed-vector <N x <ElTy>> or a scalable v...
VPRecipeBase is a base class modeling a sequence of one or more output IR instructions.
Definition VPlan.h:406
LLVM_ABI_FOR_TEST void dump() const
Dump the recipe to stderr (for debugging).
Definition VPlan.cpp:116
VPBasicBlock * getParent()
Definition VPlan.h:481
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const
Print the recipe, delegating to printRecipe().
virtual LLVM_ABI_FOR_TEST ~VPRecipeValue()
Definition VPlan.cpp:149
friend class VPValue
Definition VPlanValue.h:271
VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-S...
Definition VPlan.h:4441
VPRegionBlock * clone() override
Clone all blocks in the single-entry single-exit region of the block and their recipes without updati...
Definition VPlan.cpp:743
const VPBlockBase * getEntry() const
Definition VPlan.h:4477
void dissolveToCFGLoop()
Remove the current region from its VPlan, connecting its predecessor to its entry,...
Definition VPlan.cpp:847
bool isReplicator() const
An indicator whether this region is to generate multiple replicated instances of output IR correspond...
Definition VPlan.h:4509
InstructionCost cost(ElementCount VF, VPCostContext &Ctx) override
Return the cost of the block.
Definition VPlan.cpp:804
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
Print this VPRegionBlock to O (recursively), prefixing all lines with Indent.
Definition VPlan.cpp:833
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPRegionBlock,...
Definition VPlan.cpp:756
const VPBlockBase * getExiting() const
Definition VPlan.h:4489
friend class VPlan
Definition VPlan.h:4442
VPReplicateRecipe replicates a given instruction producing multiple scalar copies of the original sca...
Definition VPlan.h:3217
This class can be used to assign names to VPValues.
std::string getOrCreateName(const VPValue *V) const
Returns the name assigned to V, if there is one, otherwise try to construct one from the underlying v...
Definition VPlan.cpp:1590
This class augments VPValue with operands which provide the inverse def-use edges from VPValue's user...
Definition VPlanValue.h:296
void replaceUsesOfWith(VPValue *From, VPValue *To)
Replaces all uses of From in the VPUser with To.
Definition VPlan.cpp:1483
void printOperands(raw_ostream &O, VPSlotTracker &SlotTracker) const
Print the operands to O.
Definition VPlan.cpp:1495
operand_range operands()
Definition VPlanValue.h:364
void setOperand(unsigned I, VPValue *New)
Definition VPlanValue.h:340
unsigned getNumOperands() const
Definition VPlanValue.h:334
VPValue * getOperand(unsigned N) const
Definition VPlanValue.h:335
This is the base class of the VPlan Def/Use graph, used for modeling the data flow into,...
Definition VPlanValue.h:46
Value * getLiveInIRValue() const
Return the underlying IR value for a VPIRValue.
Definition VPlan.cpp:137
bool isDefinedOutsideLoopRegions() const
Returns true if the VPValue is defined outside any loop.
Definition VPlan.cpp:1446
VPRecipeBase * getDefiningRecipe()
Returns the recipe defining this VPValue or nullptr if it is not defined by a recipe,...
Definition VPlan.cpp:127
void printAsOperand(raw_ostream &OS, VPSlotTracker &Tracker) const
Definition VPlan.cpp:1491
friend class VPRecipeValue
Definition VPlanValue.h:49
void assertNotMaterialized() const
Assert that this VPValue has not been materialized, if it is a VPSymbolicValue.
Definition VPlanValue.h:468
Value * getUnderlyingValue() const
Return the underlying Value attached to this VPValue.
Definition VPlanValue.h:70
@ VPVRecipeValueSC
A symbolic live-in VPValue without IR backing.
Definition VPlanValue.h:80
void dump() const
Dump the value to stderr (for debugging).
Definition VPlan.cpp:108
void print(raw_ostream &OS, VPSlotTracker &Tracker) const
Definition VPlan.cpp:101
void replaceAllUsesWith(VPValue *New)
Definition VPlan.cpp:1449
unsigned getNumUsers() const
Definition VPlanValue.h:107
void replaceUsesWithIf(VPValue *New, llvm::function_ref< bool(VPUser &U, unsigned Idx)> ShouldReplace)
Go through the uses list for this VPValue and make each use point to New if the callback ShouldReplac...
Definition VPlan.cpp:1455
LLVM_DUMP_METHOD void dump()
Definition VPlan.cpp:1320
VPlan models a candidate for vectorization, encoding various decisions take to produce efficient outp...
Definition VPlan.h:4571
LLVM_ABI_FOR_TEST void printDOT(raw_ostream &O) const
Print this VPlan in DOT format to O.
Definition VPlan.cpp:1168
friend class VPSlotTracker
Definition VPlan.h:4573
std::string getName() const
Return a string with the name of the plan and the applicable VFs and UFs.
Definition VPlan.cpp:1144
VPBasicBlock * getEntry()
Definition VPlan.h:4663
void setName(const Twine &newName)
Definition VPlan.h:4830
VPIRBasicBlock * getExitBlock(BasicBlock *IRBB) const
Return the VPIRBasicBlock corresponding to IRBB.
Definition VPlan.cpp:904
LLVM_ABI_FOR_TEST ~VPlan()
Definition VPlan.cpp:882
bool isExitBlock(VPBlockBase *VPBB)
Returns true if VPBB is an exit block.
Definition VPlan.cpp:912
friend class VPlanPrinter
Definition VPlan.h:4572
VPIRBasicBlock * createEmptyVPIRBasicBlock(BasicBlock *IRBB)
Create a VPIRBasicBlock wrapping IRBB, but do not create VPIRInstructions wrapping the instructions i...
Definition VPlan.cpp:1292
auto getLiveIns() const
Return the list of live-in VPValues available in the VPlan.
Definition VPlan.h:4889
ArrayRef< VPIRBasicBlock * > getExitBlocks() const
Return an ArrayRef containing VPIRBasicBlocks wrapping the exit blocks of the original scalar loop.
Definition VPlan.h:4711
LLVM_ABI_FOR_TEST VPRegionBlock * getVectorLoopRegion()
Returns the VPRegionBlock of the vector loop.
Definition VPlan.cpp:1067
bool hasEarlyExit() const
Returns true if the VPlan is based on a loop with an early exit.
Definition VPlan.h:4955
InstructionCost cost(ElementCount VF, VPCostContext &Ctx)
Return the cost of this plan.
Definition VPlan.cpp:1049
unsigned getConcreteUF() const
Returns the concrete UF of the plan, after unrolling.
Definition VPlan.h:4812
void setEntry(VPBasicBlock *VPBB)
Definition VPlan.h:4652
VPBasicBlock * createVPBasicBlock(const Twine &Name, VPRecipeBase *Recipe=nullptr)
Create a new VPBasicBlock with Name and containing Recipe if present.
Definition VPlan.h:4912
LLVM_ABI_FOR_TEST VPIRBasicBlock * createVPIRBasicBlock(BasicBlock *IRBB)
Create a VPIRBasicBlock from IRBB containing VPIRInstructions for all instructions in IRBB,...
Definition VPlan.cpp:1298
LLVM_DUMP_METHOD void dump() const
Dump the plan to stderr (for debugging).
Definition VPlan.cpp:1174
VPBasicBlock * getScalarPreheader() const
Return the VPBasicBlock for the preheader of the scalar loop.
Definition VPlan.h:4702
void execute(VPTransformState *State)
Generate the IR code for this VPlan.
Definition VPlan.cpp:922
LLVM_ABI_FOR_TEST void print(raw_ostream &O) const
Print this VPlan to O.
Definition VPlan.cpp:1127
VPIRBasicBlock * getScalarHeader() const
Return the VPIRBasicBlock wrapping the header of the scalar loop.
Definition VPlan.h:4707
void printLiveIns(raw_ostream &O) const
Print the live-ins of this VPlan to O.
Definition VPlan.cpp:1083
LLVM_ABI_FOR_TEST VPlan * duplicate()
Clone the current VPlan, update all VPValues of the new VPlan and cloned recipes to refer to the clon...
Definition VPlan.cpp:1215
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:255
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:318
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
constexpr ScalarTy getFixedValue() const
Definition TypeSize.h:200
static constexpr bool isKnownLT(const FixedOrScalableQuantity &LHS, const FixedOrScalableQuantity &RHS)
Definition TypeSize.h:216
constexpr bool isScalable() const
Returns whether the quantity is scaled by a runtime quantity (vscale).
Definition TypeSize.h:168
constexpr ScalarTy getKnownMinValue() const
Returns the minimum value this quantity can represent.
Definition TypeSize.h:165
An efficient, type-erasing, non-owning reference to a callable.
self_iterator getIterator()
Definition ilist_node.h:123
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
A raw_ostream that writes to an std::string.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ Tail
Attemps to make calls as fast as possible while guaranteeing that tail call optimization can always b...
Definition CallingConv.h:76
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
LLVM_ABI std::string EscapeString(const std::string &Label)
@ BasicBlock
Various leaf nodes.
Definition ISDOpcodes.h:81
match_combine_or< Ty... > m_CombineOr(const Ty &...Ps)
Combine pattern matchers matching any of Ps patterns.
bool match(Val *V, const Pattern &P)
VPInstruction_match< VPInstruction::BranchOnTwoConds > m_BranchOnTwoConds()
VPInstruction_match< VPInstruction::BranchOnCount > m_BranchOnCount()
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::BranchOnCond > m_BranchOnCond()
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...
VPBasicBlock * getFirstLoopHeader(VPlan &Plan, VPDominatorTree &VPDT)
Returns the header block of the first, top-level loop, or null if none exist.
bool onlyFirstLaneUsed(const VPValue *Def)
Returns true if only the first lane 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.
Definition STLExtras.h:316
detail::zippy< detail::zip_shortest, T, U, Args... > zip(T &&t, U &&u, Args &&...args)
zip iterator for two or more iteratable types.
Definition STLExtras.h:831
cl::opt< bool > ProfcheckDisableMetadataFixes
Definition LoopInfo.cpp:60
InstructionCost Cost
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
auto successors(const MachineBasicBlock *BB)
LLVM_ABI cl::opt< bool > EnableFSDiscriminator
Value * getRuntimeVF(IRBuilderBase &B, Type *Ty, ElementCount VF)
Return the runtime value for VF.
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
LLVM_ABI std::optional< MDNode * > makeFollowupLoopID(MDNode *OrigLoopID, ArrayRef< StringRef > FollowupAttrs, const char *InheritOptionsAttrsPrefix="", bool AlwaysNew=false)
Create a new loop identifier for a loop created from a loop transformation.
void interleaveComma(const Container &c, StreamT &os, UnaryFunctor each_fn)
Definition STLExtras.h:2313
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...
Definition STLExtras.h:634
Align getLoadStoreAlignment(const Value *I)
A helper function that returns the alignment of load or store instruction.
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.
Definition VPlanCFG.h:253
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:753
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1746
auto reverse(ContainerTy &&C)
Definition STLExtras.h:408
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:207
bool none_of(R &&Range, UnaryPredicate P)
Provide wrappers to std::none_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1753
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...
Type * toVectorizedTy(Type *Ty, ElementCount EC)
A helper for converting to vectorized types.
bool canConstantBeExtended(const APInt *C, Type *NarrowType, TTI::PartialReductionExtendKind ExtKind)
Check if a constant CI can be safely treated as having been extended from a narrower type with the gi...
Definition VPlan.cpp:1811
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
cl::opt< unsigned > ForceTargetInstructionCost
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...
Definition Casting.h:547
RNSuccIterator< NodeRef, BlockT, RegionT > succ_begin(NodeRef Node)
RNSuccIterator< NodeRef, BlockT, RegionT > succ_end(NodeRef Node)
LLVM_ABI BasicBlock * SplitBlock(BasicBlock *Old, BasicBlock::iterator SplitPt, DominatorTree *DT, LoopInfo *LI=nullptr, MemorySSAUpdater *MSSAU=nullptr, const Twine &BBName="")
Split the specified block at the specified instruction.
FunctionAddr VTableAddr Next
Definition InstrProf.h:141
DWARFExpression::Operation Op
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
LLVM_ABI bool setLoopEstimatedTripCount(Loop *L, unsigned EstimatedTripCount, std::optional< unsigned > EstimatedLoopInvocationWeight=std::nullopt)
Set llvm.loop.estimated_trip_count with the value EstimatedTripCount in the loop metadata of L.
auto count_if(R &&Range, UnaryPredicate P)
Wrapper function around std::count_if to count the number of times an element satisfying a given pred...
Definition STLExtras.h:2019
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1772
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1947
ArrayRef< Type * > getContainedTypes(Type *const &Ty)
Returns the types contained in Ty.
auto seq(T Begin, T End)
Iterate over an integral type from Begin up to - but not including - End.
Definition Sequence.h:305
LLVM_ABI void DeleteDeadBlocks(ArrayRef< BasicBlock * > BBs, DomTreeUpdater *DTU=nullptr, bool KeepOneInputPHIs=false)
Delete the specified blocks from BB.
std::unique_ptr< VPlan > VPlanPtr
Definition VPlan.h:78
constexpr detail::IsaCheckPredicate< Types... > IsaPred
Function object wrapper for the llvm::isa type check.
Definition Casting.h:866
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
Parameters that control the generic loop unrolling transformation.
bool UnrollVectorizedLoop
Disable runtime unrolling by default for vectorized loops.
A range of powers-of-2 vectorization factors with fixed start and adjustable end.
ElementCount End
Struct to hold various analysis needed for cost computations.
TargetTransformInfo::OperandValueInfo getOperandInfo(VPValue *V) const
Returns the OperandInfo for V, if it is a live-in.
Definition VPlan.cpp:1822
std::optional< unsigned > NumPredStores
Number of predicated stores in the VPlan, computed on demand.
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.
Definition VPlan.cpp:1829
TargetTransformInfo::TargetCostKind CostKind
VPTypeAnalysis Types
const TargetTransformInfo & TTI
bool useEmulatedMaskMemRefHack(const VPReplicateRecipe *R, ElementCount VF)
Returns true if an artificially high cost for emulated masked memrefs should be used.
Definition VPlan.cpp:1867
A VPValue representing a live-in from the input IR or a constant.
Definition VPlanValue.h:207
Type * getType() const
Returns the type of the underlying IR value.
Definition VPlan.cpp:141
A symbolic live-in VPValue, used for values like vector trip count, VF, and VFxUF.
Definition VPlanValue.h:247
VPTransformState holds information passed down when "executing" a VPlan, needed for generating the ou...
LoopInfo * LI
Hold a pointer to LoopInfo to register new basic blocks in the loop.
VPTypeAnalysis TypeAnalysis
VPlan-based type analysis.
struct llvm::VPTransformState::DataState Data
struct llvm::VPTransformState::CFGState CFG
Value * get(const VPValue *Def, bool IsScalar=false)
Get the generated vector Value for a given VPValue Def if IsScalar is false, otherwise return the gen...
Definition VPlan.cpp:279
VPTransformState(const TargetTransformInfo *TTI, ElementCount VF, LoopInfo *LI, DominatorTree *DT, AssumptionCache *AC, IRBuilderBase &Builder, VPlan *Plan, Loop *CurrentParentLoop, Type *CanonicalIVTy)
Definition VPlan.cpp:239
std::optional< VPLane > Lane
Hold the index to generate specific scalar instructions.
IRBuilderBase & Builder
Hold a reference to the IRBuilder used to generate output IR code.
bool hasScalarValue(const VPValue *Def, VPLane Lane)
const TargetTransformInfo * TTI
Target Transform Info.
VPlan * Plan
Pointer to the VPlan code is generated for.
void set(const VPValue *Def, Value *V, bool IsScalar=false)
Set the generated vector Value for a given VPValue, if IsScalar is false.
bool hasVectorValue(const VPValue *Def)
VPDominatorTree VPDT
VPlan-based dominator tree.
ElementCount VF
The chosen Vectorization Factor of the loop being vectorized.
Value * packScalarIntoVectorizedValue(const VPValue *Def, Value *WideValue, const VPLane &Lane)
Insert the scalar value of Def at Lane into Lane of WideValue and return the resulting value.
Definition VPlan.cpp:361
AssumptionCache * AC
Hold a pointer to AssumptionCache to register new assumptions after replicating assume calls.
void setDebugLocFrom(DebugLoc DL)
Set the debug location in the builder using the debug location DL.
Definition VPlan.cpp:339
Loop * CurrentParentLoop
The parent loop object for the current scope, or nullptr.
static LLVM_ABI_FOR_TEST void optimize(VPlan &Plan)
Apply VPlan-to-VPlan optimizations to Plan, including induction recipe optimizations,...