LLVM 24.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"
27#include "VectorizeOptions.h"
29#include "llvm/ADT/STLExtras.h"
32#include "llvm/ADT/Twine.h"
36#include "llvm/IR/BasicBlock.h"
37#include "llvm/IR/CFG.h"
38#include "llvm/IR/IRBuilder.h"
39#include "llvm/IR/Instruction.h"
41#include "llvm/IR/Type.h"
42#include "llvm/IR/Value.h"
45#include "llvm/Support/Debug.h"
51#include <cassert>
52#include <string>
53
54using namespace llvm;
55using namespace llvm::VPlanPatternMatch;
56
57namespace llvm {
59} // namespace llvm
60
61/// @{
62/// Metadata attribute names
63const char LLVMLoopVectorizeFollowupAll[] = "llvm.loop.vectorize.followup_all";
65 "llvm.loop.vectorize.followup_vectorized";
67 "llvm.loop.vectorize.followup_epilogue";
68/// @}
69
70#define DEBUG_TYPE "loop-vectorize"
71
72#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
74 const VPBasicBlock *Parent = R.getParent();
75 VPSlotTracker SlotTracker(Parent ? Parent->getPlan() : nullptr);
76 R.print(OS, "", SlotTracker);
77 return OS;
78}
79#endif
80
82 const ElementCount &VF) const {
83 switch (LaneKind) {
85 // Lane = RuntimeVF - VF.getKnownMinValue() + Lane
86 return Builder.CreateSub(getRuntimeVF(Builder, Builder.getInt32Ty(), VF),
87 Builder.getInt32(VF.getKnownMinValue() - Lane));
89 return Builder.getInt64(Lane);
90 }
91 llvm_unreachable("Unknown lane kind");
92}
93
94#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
96 if (const VPRecipeBase *R = getDefiningRecipe())
97 R->print(OS, "", SlotTracker);
98 else
100}
101
102void VPValue::dump() const {
103 const VPRecipeBase *Instr = getDefiningRecipe();
105 (Instr && Instr->getParent()) ? Instr->getParent()->getPlan() : nullptr);
107 dbgs() << "\n";
108}
109
110void VPRecipeBase::dump() const {
111 VPSlotTracker SlotTracker(getParent() ? getParent()->getPlan() : nullptr);
112 print(dbgs(), "", SlotTracker);
113 dbgs() << "\n";
114}
115#endif
116
117#if !defined(NDEBUG)
118bool VPRecipeValue::isDefinedBy(const VPDef *D) const {
119 return getDefiningRecipe() == D;
120}
121#endif
122
124 auto *RecipeValue = dyn_cast<VPRecipeValue>(this);
125 if (!RecipeValue)
126 return nullptr;
127 if (auto *MultiDef = dyn_cast<VPMultiDefValue>(RecipeValue))
128 return MultiDef->getDef();
129 return static_cast<VPSingleDefRecipe *>(RecipeValue);
130}
131
133 return const_cast<VPValue *>(this)->getDefiningRecipe();
134}
135
137 return cast<VPIRValue>(this)->getValue();
138}
139
141
143 switch (getVPValueID()) {
144 case VPVIRValueSC:
145 return cast<VPIRValue>(this)->getType();
146 case VPRegionValueSC:
147 return cast<VPRegionValue>(this)->getType();
148 case VPVSymbolicSC:
149 return cast<VPSymbolicValue>(this)->getType();
152 return cast<VPRecipeValue>(this)->getScalarType();
153 }
154 llvm_unreachable("Unhandled VPValue subclass");
155}
156
158 assert(Users.empty() &&
159 "trying to delete a VPRecipeValue with remaining users");
160}
161
164 assert(Def && "VPSingleDefValue requires a defining recipe");
165 Def->addDefinedValue(this);
166}
167
169 getDefiningRecipe()->removeDefinedValue(this);
170}
171
173 : VPRecipeValue(VPVMultiDefValueSC, UV, Ty), Def(Def) {
174 assert(Def && "VPMultiDefValue requires a defining recipe");
175 Def->addDefinedValue(this);
176}
177
179 getDefiningRecipe()->removeDefinedValue(this);
180}
181
182/// \return the VPBasicBlock that is the entry of Block, possibly indirectly.
189
196
197/// \return the VPBasicBlock that is the exit of Block, possibly indirectly.
199 const VPBlockBase *Block = this;
201 Block = Region->getExiting();
203}
204
211
213 if (!Successors.empty() || !Parent)
214 return this;
215 assert(Parent->getExiting() == this &&
216 "Block w/o successors not the exiting block of its parent.");
217 return Parent->getEnclosingBlockWithSuccessors();
218}
219
221 if (!Predecessors.empty() || !Parent)
222 return this;
223 assert(Parent->getEntry() == this &&
224 "Block w/o predecessors not the entry of its parent.");
225 return Parent->getEnclosingBlockWithPredecessors();
226}
227
229 iterator It = begin();
230 while (It != end() && It->isPhi())
231 It++;
232 return It;
233}
234
242
243Value *VPTransformState::get(const VPValue *Def, const VPLane &Lane) {
245 "VPRegionValue must be materialized before VPTransformState::get");
247 return Def->getUnderlyingValue();
248
249 if (hasScalarValue(Def, Lane))
250 return Data.VPV2Scalars[Def][Lane.mapToCacheIndex(VF)];
251
252 if (!Lane.isFirstLane() && vputils::isSingleScalar(Def) &&
254 return Data.VPV2Scalars[Def][0];
255 }
256
258 auto *VecPart = Data.VPV2Vector[Def];
259 if (!VecPart->getType()->isVectorTy()) {
260 assert(Lane.isFirstLane() && "cannot get lane > 0 for scalar");
261 return VecPart;
262 }
263 // TODO: Cache created scalar values.
264 Value *LaneV = Lane.getAsRuntimeExpr(Builder, VF);
265 auto *Extract = Builder.CreateExtractElement(VecPart, LaneV);
266 // set(Def, Extract, Instance);
267 return Extract;
268}
269
270Value *VPTransformState::get(const VPValue *Def, bool NeedsSingleScalar) {
272 "VPRegionValue must be materialized before VPTransformState::get");
273 if (NeedsSingleScalar) {
274 assert((VF.isScalar() || isa<VPIRValue, VPSymbolicValue>(Def) ||
276 (hasScalarValue(Def, VPLane(0)) &&
277 Data.VPV2Scalars[Def].size() == 1)) &&
278 "Trying to access a single scalar per part but has multiple scalars "
279 "per part.");
280 return get(Def, VPLane(0));
281 }
282
283 // If Values have been set for this Def return the one relevant for \p Part.
284 if (hasVectorValue(Def))
285 return Data.VPV2Vector[Def];
286
287 auto GetBroadcastInstrs = [this](Value *V) {
288 if (VF.isScalar())
289 return V;
290 // Broadcast the scalar into all locations in the vector.
291 Value *Shuf = Builder.CreateVectorSplat(VF, V, "broadcast");
292 return Shuf;
293 };
294
295 Value *ScalarValue = get(Def, VPLane(0));
298 if (auto *LastInst = dyn_cast<Instruction>(get(Def, LastLane)))
299 // Set the insert point after the last scalarized instruction. This
300 // ensures the insertelement sequence will directly follow the scalar
301 // definitions.
302 if (auto InsertPt = LastInst->getInsertionPointAfterDef())
303 Builder.SetInsertPoint(*InsertPt);
304 Value *VectorValue = GetBroadcastInstrs(ScalarValue);
305 set(Def, VectorValue);
306 return VectorValue;
307}
308
310 const DILocation *DIL = DL;
311 // When a FSDiscriminator is enabled, we don't need to add the multiply
312 // factors to the discriminators.
313 if (DIL &&
314 Builder.GetInsertBlock()
315 ->getParent()
316 ->shouldEmitDebugInfoForProfiling() &&
318 // FIXME: For scalable vectors, assume vscale=1.
319 unsigned UF = Plan->getConcreteUF();
320 auto NewDIL =
321 DIL->cloneByMultiplyingDuplicationFactor(UF * VF.getKnownMinValue());
322 if (NewDIL)
323 Builder.SetCurrentDebugLocation(*NewDIL);
324 else
325 LLVM_DEBUG(dbgs() << "Failed to create new discriminator: "
326 << DIL->getFilename() << " Line: " << DIL->getLine());
327 } else
328 Builder.SetCurrentDebugLocation(DL);
329}
330
332 for (VPBlockBase *VPB : vp_depth_first_shallow(Plan->getEntry())) {
333 if (!VPBlockUtils::isHeader(VPB, VPDT))
334 continue;
335 auto *Header = cast<VPBasicBlock>(VPB);
336 auto *LatchVPBB = cast<VPBasicBlock>(Header->getPredecessors()[1]);
337 BasicBlock *VectorLatchBB = CFG.VPBB2IRBB[LatchVPBB];
338
339 for (VPRecipeBase &R : Header->phis()) {
340 auto *PhiR = cast<VPSingleDefRecipe>(&R);
341 bool NeedsSingleScalar =
342 isa<VPPhi>(PhiR) || (isa<VPReductionPHIRecipe>(PhiR) &&
343 cast<VPReductionPHIRecipe>(PhiR)->isInLoop());
344
345 Value *Phi = get(PhiR, NeedsSingleScalar);
346 Value *Val = get(PhiR->getOperand(1), NeedsSingleScalar);
347 cast<PHINode>(Phi)->addIncoming(Val, VectorLatchBB);
348 }
349 }
350}
351
352BasicBlock *VPBasicBlock::createEmptyBasicBlock(VPTransformState &State) {
353 auto &CFG = State.CFG;
354 // BB stands for IR BasicBlocks. VPBB stands for VPlan VPBasicBlocks.
355 // Pred stands for Predessor. Prev stands for Previous - last visited/created.
356 BasicBlock *PrevBB = CFG.PrevBB;
357 BasicBlock *NewBB = BasicBlock::Create(PrevBB->getContext(), getName(),
358 PrevBB->getParent(), CFG.ExitBB);
359 LLVM_DEBUG(dbgs() << "LV: created " << NewBB->getName() << '\n');
360
361 return NewBB;
362}
363
365 auto &CFG = State.CFG;
366 BasicBlock *NewBB = CFG.VPBB2IRBB[this];
367
368 // Register NewBB in its loop. In innermost loops its the same for all
369 // BB's.
370 Loop *ParentLoop = State.CurrentParentLoop;
371 // If this block has a sole successor that is an exit block or is an exit
372 // block itself then it needs adding to the same parent loop as the exit
373 // block.
374 VPBlockBase *SuccOrExitVPB = getSingleSuccessor();
375 SuccOrExitVPB = SuccOrExitVPB ? SuccOrExitVPB : this;
376 if (State.Plan->isExitBlock(SuccOrExitVPB)) {
377 ParentLoop = State.LI->getLoopFor(
378 cast<VPIRBasicBlock>(SuccOrExitVPB)->getIRBasicBlock());
379 }
380
381 if (ParentLoop && !State.LI->getLoopFor(NewBB))
382 ParentLoop->addBasicBlockToLoop(NewBB, *State.LI);
383
385 if (VPBlockUtils::isHeader(this, State.VPDT)) {
386 // There's no block for the latch yet, connect to the preheader only.
387 Preds = {getPredecessors()[0]};
388 } else {
389 Preds = to_vector(getPredecessors());
390 }
391
392 // Hook up the new basic block to its predecessors.
393 for (VPBlockBase *PredVPBlock : Preds) {
394 VPBasicBlock *PredVPBB = PredVPBlock->getExitingBasicBlock();
395 auto &PredVPSuccessors = PredVPBB->getHierarchicalSuccessors();
396 assert(CFG.VPBB2IRBB.contains(PredVPBB) &&
397 "Predecessor basic-block not found building successor.");
398 BasicBlock *PredBB = CFG.VPBB2IRBB[PredVPBB];
399 auto *PredBBTerminator = PredBB->getTerminator();
400 LLVM_DEBUG(dbgs() << "LV: draw edge from " << PredBB->getName() << '\n');
401
402 if (isa<UnreachableInst>(PredBBTerminator)) {
403 assert(PredVPSuccessors.size() == 1 &&
404 "Predecessor ending w/o branch must have single successor.");
405 DebugLoc DL = PredBBTerminator->getDebugLoc();
406 PredBBTerminator->eraseFromParent();
407 auto *Br = UncondBrInst::Create(NewBB, PredBB);
408 Br->setDebugLoc(DL);
409 } else if (auto *UBI = dyn_cast<UncondBrInst>(PredBBTerminator)) {
410 UBI->setSuccessor(NewBB);
411 } else {
412 // Set each forward successor here when it is created, excluding
413 // backedges. A backward successor is set when the branch is created.
414 // Generated successors are redirected, as for the entry block and for
415 // blocks bypassing both vector loops during epilogue vectorization. Edges
416 // already present in the generated IR need no update; this happens during
417 // epilogue vectorization, where the plan models blocks generated for the
418 // main vector loop.
419 // TODO: Remove the exception by modeling those terminators using
420 // BranchOnCond.
421 auto *TermBr = cast<CondBrInst>(PredBBTerminator);
422 if (TermBr->getSuccessor(0) != NewBB &&
423 TermBr->getSuccessor(1) != NewBB) {
424 unsigned Idx = PredVPSuccessors.front() == this ? 0 : 1;
425 BasicBlock *ReplacedSucc = TermBr->getSuccessor(Idx);
426 assert(
427 (!ReplacedSucc || isa<VPIRBasicBlock>(PredVPBB)) &&
428 "only VPIRBasicBlock predecessors may have an existing successor "
429 "redirected");
430 if (ReplacedSucc)
431 ReplacedSucc->removePredecessor(PredBB, /*KeepOneInputPHIs=*/true);
432 TermBr->setSuccessor(Idx, NewBB);
433 if (ReplacedSucc)
434 CFG.DTU.applyUpdates({{DominatorTree::Delete, PredBB, ReplacedSucc}});
435 }
436 }
437 CFG.DTU.applyUpdates({{DominatorTree::Insert, PredBB, NewBB}});
438 }
439}
440
443 "VPIRBasicBlock can have at most two successors at the moment!");
444 // Move completely disconnected blocks to their final position.
445 if (IRBB->hasNPredecessors(0) && succ_begin(IRBB) == succ_end(IRBB))
446 IRBB->moveAfter(State->CFG.PrevBB);
447 State->Builder.SetInsertPoint(IRBB->getTerminator());
448 State->CFG.PrevBB = IRBB;
449 State->CFG.VPBB2IRBB[this] = IRBB;
450 executeRecipes(State, IRBB);
451 // Create a branch instruction to terminate IRBB if one was not created yet
452 // and is needed.
453 if (getSingleSuccessor() && isa<UnreachableInst>(IRBB->getTerminator())) {
454 auto *Br = State->Builder.CreateBr(IRBB);
455 Br->setOperand(0, nullptr);
456 IRBB->getTerminator()->eraseFromParent();
457 } else {
458 assert((getNumSuccessors() == 0 ||
459 isa<UncondBrInst, CondBrInst>(IRBB->getTerminator())) &&
460 "other blocks must be terminated by a branch");
461 }
462
463 connectToPredecessors(*State);
464}
465
466VPIRBasicBlock *VPIRBasicBlock::clone() {
467 auto *NewBlock = getPlan()->createEmptyVPIRBasicBlock(IRBB);
468 for (VPRecipeBase &R : Recipes)
469 NewBlock->appendRecipe(R.clone());
470 return NewBlock;
471}
472
474 if (VPBlockUtils::isHeader(this, State->VPDT)) {
475 // Create and register the new vector loop.
476 Loop *PrevParentLoop = State->CurrentParentLoop;
477 State->CurrentParentLoop = State->LI->AllocateLoop();
478
479 // Insert the new loop into the loop nest and register the new basic blocks
480 // before calling any utilities such as SCEV that require valid LoopInfo.
481 if (PrevParentLoop)
482 PrevParentLoop->addChildLoop(State->CurrentParentLoop);
483 else
484 State->LI->addTopLevelLoop(State->CurrentParentLoop);
485 }
486
487 // 1. Create an IR basic block.
488 BasicBlock *NewBB = createEmptyBasicBlock(*State);
489
490 State->Builder.SetInsertPoint(NewBB);
491 // Temporarily terminate with unreachable until CFG is rewired.
492 UnreachableInst *Terminator = State->Builder.CreateUnreachable();
493 State->Builder.SetInsertPoint(Terminator);
494
495 State->CFG.PrevBB = NewBB;
496 State->CFG.VPBB2IRBB[this] = NewBB;
497 connectToPredecessors(*State);
498
499 // 2. Fill the IR basic block with IR instructions.
500 executeRecipes(State, NewBB);
501
502 // If this block is a latch, update CurrentParentLoop.
503 if (VPBlockUtils::isLatch(this, State->VPDT))
504 State->CurrentParentLoop = State->CurrentParentLoop->getParentLoop();
505}
506
507VPBasicBlock *VPBasicBlock::clone() {
508 auto *NewBlock = getPlan()->createVPBasicBlock(getName());
509 for (VPRecipeBase &R : *this)
510 NewBlock->appendRecipe(R.clone());
511 return NewBlock;
512}
513
515 LLVM_DEBUG(dbgs() << "LV: vectorizing VPBB: " << getName()
516 << " in BB: " << BB->getName() << '\n');
517
518 State->CFG.PrevVPBB = this;
519
520 for (VPRecipeBase &Recipe : Recipes) {
521 State->setDebugLocFrom(Recipe.getDebugLoc());
522 Recipe.execute(*State);
523 }
524
525 LLVM_DEBUG(dbgs() << "LV: filled BB: " << *BB);
526}
527
528VPBasicBlock *VPBasicBlock::splitAt(iterator SplitAt) {
529 assert((SplitAt == end() || SplitAt->getParent() == this) &&
530 "can only split at a position in the same block");
531
532 // Create new empty block after the block to split.
533 auto *SplitBlock = getPlan()->createVPBasicBlock(getName() + ".split");
535
536 // If this is the exiting block, make the split the new exiting block.
537 auto *ParentRegion = getParent();
538 if (ParentRegion && ParentRegion->getExiting() == this)
539 ParentRegion->setExiting(SplitBlock);
540
541 // Finally, move the recipes starting at SplitAt to new block.
542 for (VPRecipeBase &ToMove :
543 make_early_inc_range(make_range(SplitAt, this->end())))
544 ToMove.moveBefore(*SplitBlock, SplitBlock->end());
545
546 return SplitBlock;
547}
548
549/// Return the enclosing loop region for region \p P. The templated version is
550/// used to support both const and non-const block arguments.
551template <typename T> static T *getEnclosingLoopRegionForRegion(T *P) {
552 if (P && P->isReplicator()) {
553 P = P->getParent();
554 // Multiple loop regions can be nested, but replicate regions can only be
555 // nested inside a loop region or must be outside any other region.
556 assert((!P || !P->isReplicator()) && "unexpected nested replicate regions");
557 }
558 return P;
559}
560
564
568
569static bool hasConditionalTerminator(const VPBasicBlock *VPBB) {
570 if (VPBB->empty()) {
571 assert(
572 VPBB->getNumSuccessors() < 2 &&
573 "block with multiple successors doesn't have a recipe as terminator");
574 return false;
575 }
576
577 const VPRecipeBase *R = &VPBB->back();
578 [[maybe_unused]] bool IsSwitch =
580 cast<VPInstruction>(R)->getOpcode() == Instruction::Switch;
581 [[maybe_unused]] bool IsBranchOnTwoConds = match(R, m_BranchOnTwoConds());
582 [[maybe_unused]] bool IsCondBranch =
585 if (VPBB->getNumSuccessors() == 2 ||
586 (VPBB->isExiting() && !VPBB->getParent()->isReplicator())) {
587 assert((IsCondBranch || IsSwitch || IsBranchOnTwoConds) &&
588 "block with multiple successors not terminated by "
589 "conditional branch nor switch recipe");
590
591 return true;
592 }
593
594 if (VPBB->getNumSuccessors() > 2) {
595 assert((IsSwitch || IsBranchOnTwoConds) &&
596 "block with more than 2 successors not terminated by a switch or "
597 "branch-on-two-conds recipe");
598 return true;
599 }
600
601 assert(
602 !IsCondBranch && !IsBranchOnTwoConds &&
603 "block with 0 or 1 successors terminated by conditional branch recipe");
604 return false;
605}
606
608 if (hasConditionalTerminator(this))
609 return &back();
610 return nullptr;
611}
612
614 if (hasConditionalTerminator(this))
615 return &back();
616 return nullptr;
617}
618
620 return getParent() && getParent()->getExitingBasicBlock() == this;
621}
622
623#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
628
629void VPBlockBase::printSuccessors(raw_ostream &O, const Twine &Indent) const {
630 if (!hasSuccessors()) {
631 O << Indent << "No successors\n";
632 } else {
633 O << Indent << "Successor(s): ";
634 ListSeparator LS;
635 for (auto *Succ : getSuccessors())
636 O << LS << Succ->getName();
637 O << '\n';
638 }
639}
640
641void VPBasicBlock::print(raw_ostream &O, const Twine &Indent,
642 VPSlotTracker &SlotTracker) const {
643 O << Indent << getName() << ":\n";
644
645 auto RecipeIndent = Indent + " ";
646 for (const VPRecipeBase &Recipe : *this) {
647 Recipe.print(O, RecipeIndent, SlotTracker);
648 O << '\n';
649 }
650
651 printSuccessors(O, Indent);
652}
653#endif
654
655std::pair<VPBlockBase *, VPBlockBase *>
658 VPBlockBase *Exiting = nullptr;
659 bool InRegion = Entry->getParent();
660 // First, clone blocks reachable from Entry.
661 for (VPBlockBase *BB : vp_depth_first_shallow(Entry)) {
662 VPBlockBase *NewBB = BB->clone();
663 Old2NewVPBlocks[BB] = NewBB;
664 if (InRegion && BB->getNumSuccessors() == 0) {
665 assert(!Exiting && "Multiple exiting blocks?");
666 Exiting = BB;
667 }
668 }
669 assert((!InRegion || Exiting) && "regions must have a single exiting block");
670
671 // Second, update the predecessors & successors of the cloned blocks.
672 for (VPBlockBase *BB : vp_depth_first_shallow(Entry)) {
673 VPBlockBase *NewBB = Old2NewVPBlocks[BB];
675 for (VPBlockBase *Pred : BB->getPredecessors()) {
676 NewPreds.push_back(Old2NewVPBlocks[Pred]);
677 }
678 NewBB->setPredecessors(NewPreds);
680 for (VPBlockBase *Succ : BB->successors()) {
681 NewSuccs.push_back(Old2NewVPBlocks[Succ]);
682 }
683 NewBB->setSuccessors(NewSuccs);
684 }
685
686#if !defined(NDEBUG)
687 // Verify that the order of predecessors and successors matches in the cloned
688 // version.
689 for (const auto &[OldBB, NewBB] :
691 vp_depth_first_shallow(Old2NewVPBlocks[Entry]))) {
692 for (const auto &[OldPred, NewPred] :
693 zip(OldBB->getPredecessors(), NewBB->getPredecessors()))
694 assert(NewPred == Old2NewVPBlocks[OldPred] && "Different predecessors");
695
696 for (const auto &[OldSucc, NewSucc] :
697 zip(OldBB->successors(), NewBB->successors()))
698 assert(NewSucc == Old2NewVPBlocks[OldSucc] && "Different successors");
699 }
700#endif
701
702 return std::make_pair(Old2NewVPBlocks[Entry],
703 Exiting ? Old2NewVPBlocks[Exiting] : nullptr);
704}
705
707 const auto *EntryBB = cast<VPBasicBlock>(getEntry());
708 assert(isReplicator() && EntryBB && EntryBB->size() == 1 &&
709 "not a valid replicating region");
710 return cast<VPBranchOnMaskRecipe>(&EntryBB->front());
711}
712
713VPRegionBlock *VPRegionBlock::clone() {
714 const auto &[NewEntry, NewExiting] = VPBlockUtils::cloneFrom(getEntry());
715 VPlan &Plan = *getPlan();
716 VPRegionValue *CanIV = getCanonicalIV();
717 VPRegionBlock *NewRegion =
718 CanIV ? Plan.createLoopRegion(CanIV->getType(), CanIV->getDebugLoc(),
719 getName(), NewEntry, NewExiting)
720 : Plan.createReplicateRegion(NewEntry, NewExiting, getName());
721
722 if (getHeaderMask())
723 NewRegion->createHeaderMask();
724
725 if (CanIV && !hasCanonicalIVNUW())
726 NewRegion->CanIVInfo->clearNUW();
727
728 for (VPBlockBase *Block : vp_depth_first_shallow(NewEntry))
729 Block->setParent(NewRegion);
730 return NewRegion;
731}
732
734 llvm_unreachable("regions must get dissolved before ::execute");
735}
736
739 for (VPRecipeBase &R : Recipes)
740 Cost += R.cost(VF, Ctx);
741 return Cost;
742}
743
744const VPBasicBlock *VPBasicBlock::getCFGPredecessor(unsigned Idx) const {
745 const VPBlockBase *Pred = nullptr;
746 if (hasPredecessors()) {
747 Pred = getPredecessors()[Idx];
748 } else {
749 auto *Region = getParent();
750 assert(Region && !Region->isReplicator() && Region->getEntry() == this &&
751 "must be in the entry block of a non-replicate region");
752 assert(Idx < 2 && Region->getNumPredecessors() == 1 &&
753 "loop region has a single predecessor (preheader), its entry block "
754 "has 2 incoming blocks");
755
756 // Idx == 0 selects the predecessor of the region, Idx == 1 selects the
757 // region itself whose exiting block feeds the phi across the backedge.
758 Pred = Idx == 0 ? Region->getSinglePredecessor() : Region;
759 }
760 return Pred->getExitingBasicBlock();
761}
762
764 if (!isReplicator()) {
767 Cost += Block->cost(VF, Ctx);
768 // Add the costs of the loop's backedge and canonical IV increment
769 auto AddCost = [&](InstructionCost C, const char *Name) {
770 if (Ctx.Opts.force_target_instruction_cost)
771 C = InstructionCost(*Ctx.Opts.force_target_instruction_cost);
772 LLVM_DEBUG(dbgs() << "Cost of " << C << " for VF " << VF << ": " << Name
773 << "\n");
774 Cost += C;
775 };
776 AddCost(Ctx.TTI.getCFInstrCost(Instruction::UncondBr, Ctx.CostKind),
777 "vector loop backedge");
779 AddCost(Ctx.TTI.getArithmeticInstrCost(
780 Instruction::Add, getCanonicalIVType(), Ctx.CostKind),
781 "canonical IV increment");
782 return Cost;
783 }
784
785 // Compute the cost of a replicate region. Replicating isn't supported for
786 // scalable vectors, return an invalid cost for them.
787 // TODO: Discard scalable VPlans with replicate recipes earlier after
788 // construction.
789 if (VF.isScalable())
791
792 // Compute and return the cost of the conditionally executed recipes.
793 assert(VF.isVector() && "Can only compute vector cost at the moment.");
795 return Then->cost(VF, Ctx);
796}
797
798#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
800 VPSlotTracker &SlotTracker) const {
801 O << Indent << (isReplicator() ? "<xVFxUF> " : "<x1> ") << getName() << ": {";
802 auto NewIndent = Indent + " ";
803 if (auto *CanIV = getCanonicalIV()) {
804 O << '\n';
805 CanIV->print(O, SlotTracker);
806 O << " = CANONICAL-IV\n";
807 }
808 if (auto *HdrMask = getUsedHeaderMask()) {
809 HdrMask->print(O, SlotTracker);
810 O << " = HEADER-MASK\n";
811 }
812 for (auto *BlockBase : vp_depth_first_shallow(Entry)) {
813 O << '\n';
814 BlockBase->print(O, NewIndent, SlotTracker);
815 }
816 O << Indent << "}\n";
817
818 printSuccessors(O, Indent);
819}
820#endif
821
823 auto *Header = cast<VPBasicBlock>(getEntry());
824 auto *ExitingLatch = cast<VPBasicBlock>(getExiting());
825 auto *CanIV = getCanonicalIV();
826 if (!CanIV->user_empty()) {
827 VPlan &Plan = *getPlan();
828 auto *Zero = Plan.getZero(CanIV->getType());
829 DebugLoc DL = CanIV->getDebugLoc();
831 VPBuilder HeaderBuilder(Header, Header->begin());
832 auto *ScalarR =
833 HeaderBuilder.createScalarPhi({Zero, CanIVInc}, DL, "index");
834 CanIV->replaceAllUsesWith(ScalarR);
835 }
836
837 VPBlockBase *Preheader = getSinglePredecessor();
838 VPBlockUtils::disconnectBlocks(Preheader, this);
839
840 for (VPBlockBase *VPB : vp_depth_first_shallow(Entry))
841 VPB->setParent(getParent());
842
843 VPBlockUtils::connectBlocks(Preheader, Header);
844 VPBlockUtils::transferSuccessors(this, ExitingLatch);
845 VPBlockUtils::connectBlocks(ExitingLatch, Header);
846}
847
849 // TODO: Represent the increment as VPRegionValue as well.
850 VPRegionValue *CanIV = getCanonicalIV();
851 assert(CanIV && "Expected a canonical IV");
852
853 if (auto *Inc = vputils::findCanonicalIVIncrement(*getPlan()))
854 return Inc;
855
856 assert(!getPlan()->getVFxUF().isMaterialized() &&
857 "VFxUF can be used only before it is materialized.");
858 auto *ExitingLatch = cast<VPBasicBlock>(getExiting());
859 return VPBuilder(ExitingLatch->getTerminator())
860 .createOverflowingOp(Instruction::Add, {CanIV, &getPlan()->getVFxUF()},
861 {hasCanonicalIVNUW(), /* HasNSW */ false},
862 CanIV->getDebugLoc(), "index.next");
863}
864
865VPlan::VPlan(Loop *L, Type *IdxTy)
866 : VectorTripCount(IdxTy), VF(IdxTy), UF(IdxTy), VFxUF(IdxTy) {
867 setEntry(createVPIRBasicBlock(L->getLoopPreheader()));
868 ScalarHeader = createVPIRBasicBlock(L->getHeader());
869
870 SmallVector<BasicBlock *> IRExitBlocks;
871 L->getUniqueExitBlocks(IRExitBlocks);
872 for (BasicBlock *EB : IRExitBlocks)
873 ExitBlocks.push_back(createVPIRBasicBlock(EB));
874}
875
877 VPSymbolicValue DummyValue(nullptr);
878
879 // Redirect all recipe operands to DummyValue before deleting blocks.
880 for (VPBasicBlock *VPBB :
882 for (VPRecipeBase &R : *VPBB)
883 for (unsigned I = 0, E = R.getNumOperands(); I != E; I++)
884 R.setOperand(I, &DummyValue);
885
886 for (auto [Idx, VPB] : enumerate(CreatedBlocks)) {
887 assert(VPB->getNumber() == Idx && "block with mismatched number");
888 delete VPB;
889 }
890 for (VPValue *VPV : getLiveIns())
891 delete VPV;
892 delete BackedgeTakenCount;
893}
894
896 return is_contained(ExitBlocks, VPBB);
897}
898
899/// To make RUN_VPLAN_PASS print final VPlan.
900static void printFinalVPlan(VPlan &) {}
901
902/// Generate the code inside the preheader and body of the vectorized loop.
903/// Assumes a single pre-header basic-block was created for this. Introduce
904/// additional basic-blocks as needed, and fill them all.
907 "all region blocks must be dissolved before ::execute");
908
909 // Initialize CFG state.
910 State->CFG.PrevVPBB = nullptr;
911 State->CFG.ExitBB = State->CFG.PrevBB->getSingleSuccessor();
912
913 // Update VPDominatorTree since VPBasicBlock may be removed after State was
914 // constructed.
915 State->VPDT.recalculate(*this);
916
917 // Disconnect VectorPreHeader from ExitBB in both the CFG and DT.
918 BasicBlock *VectorPreHeader = State->CFG.PrevBB;
919 cast<UncondBrInst>(VectorPreHeader->getTerminator())->setSuccessor(nullptr);
920 State->CFG.DTU.applyUpdates(
921 {{DominatorTree::Delete, VectorPreHeader, State->CFG.ExitBB}});
922
923 LLVM_DEBUG(dbgs() << "Executing best plan with VF=" << State->VF
924 << ", UF=" << getConcreteUF() << '\n');
925 setName("Final VPlan");
926 // TODO: RUN_VPLAN_PASS/VPlanTransforms::runPass should automatically dump
927 // VPlans after some specific stages when "-debug" is specified, but that
928 // hasn't been implemented yet. For now, just do both:
929 LLVM_DEBUG(dump());
931
932 BasicBlock *ScalarPh = State->CFG.ExitBB;
933 VPBasicBlock *ScalarPhVPBB = getScalarPreheader();
934 if (ScalarPhVPBB) {
935 // Disconnect scalar preheader and scalar header, as the dominator tree edge
936 // will be updated as part of VPlan execution. This allows keeping the DTU
937 // logic generic during VPlan execution.
938 State->CFG.DTU.applyUpdates(
939 {{DominatorTree::Delete, ScalarPh, ScalarPh->getSingleSuccessor()}});
940 }
942 Entry);
943 // Generate code for the VPlan, in parts of the vector skeleton, loop body and
944 // successor blocks including the middle, exit and scalar preheader blocks.
945 for (VPBlockBase *Block : RPOT)
946 Block->execute(State);
947
948 if (hasEarlyExit()) {
949 // Fix up LoopInfo for extra dispatch blocks when vectorizing loops with
950 // early exits. For dispatch blocks, we need to find the smallest common
951 // loop of all successors that are in a loop. Note: we only need to update
952 // loop info for blocks after the middle block, but there is no easy way to
953 // get those at this point.
954 for (VPBlockBase *VPB : reverse(RPOT)) {
955 auto *VPBB = dyn_cast<VPBasicBlock>(VPB);
956 if (!VPBB || isa<VPIRBasicBlock>(VPBB))
957 continue;
958 BasicBlock *BB = State->CFG.VPBB2IRBB[VPBB];
959 Loop *L = State->LI->getLoopFor(BB);
960 if (!L || any_of(successors(BB),
961 [L](BasicBlock *Succ) { return L->contains(Succ); }))
962 continue;
963 // Find the innermost loop containing all successors that are in a loop.
964 // Successors not in any loop don't constrain the target loop.
965 Loop *Target = nullptr;
966 for (BasicBlock *Succ : successors(BB)) {
967 Loop *SuccLoop = State->LI->getLoopFor(Succ);
968 if (!SuccLoop)
969 continue;
970 if (!Target)
971 Target = SuccLoop;
972 else
973 Target = State->LI->getSmallestCommonLoop(Target, SuccLoop);
974 }
975 State->LI->removeBlock(BB);
976 if (Target)
977 Target->addBasicBlockToLoop(BB, *State->LI);
978 }
979 }
980
981 // If the original loop is unreachable, delete it and all its blocks.
982 if (!ScalarPhVPBB) {
983 // DeleteDeadBlocks will remove single-entry phis. Remove them from the exit
984 // VPIRBBs in VPlan as well, otherwise we would retain references to deleted
985 // IR instructions.
986 for (VPIRBasicBlock *EB : getExitBlocks()) {
987 for (VPRecipeBase &R : make_early_inc_range(EB->phis())) {
988 if (R.getNumOperands() == 1)
989 R.eraseFromParent();
990 }
991 }
992
993 Loop *OrigLoop =
994 State->LI->getLoopFor(getScalarHeader()->getIRBasicBlock());
995 SmallVector<BasicBlock *> Blocks(OrigLoop->block_begin(),
996 OrigLoop->block_end());
997 Blocks.push_back(ScalarPh);
998 while (!OrigLoop->isInnermost())
999 State->LI->erase(*OrigLoop->begin());
1000 State->LI->erase(OrigLoop);
1001 for (auto *BB : Blocks)
1002 State->LI->removeBlock(BB);
1003 DeleteDeadBlocks(Blocks, &State->CFG.DTU);
1004 }
1005
1006 State->CFG.DTU.flush();
1007
1008 // Fix the latch (backedge) value of all header phis in all loop headers.
1009 State->fixupHeaderPhis();
1010}
1011
1013 // For now only return the cost of the vector loop region, ignoring any other
1014 // blocks, like the preheader or middle blocks, expect for checking them for
1015 // recipes with invalid costs.
1017
1018 // If the cost of the loop region is invalid or any recipe in the skeleton
1019 // outside loop regions are invalid return an invalid cost.
1022 [&VF, &Ctx](VPBasicBlock *VPBB) {
1023 return !VPBB->cost(VF, Ctx).isValid();
1024 }))
1026
1027 return Cost;
1028}
1029
1031 // Find the vector loop region by following the last successor of each block,
1032 // starting from the plan's entry; the vector code path is always the last
1033 // successor. Every block on the path has a single predecessor, except the
1034 // vector preheader, which is also entered from the block bypassing the main
1035 // vector loop when vectorizing the epilogue. Stop at any other block with
1036 // multiple predecessors: in a plain CFG that is the loop header (no region
1037 // exists yet), in a region based CFG the scalar preheader.
1038 for (VPBlockBase *B = Entry; B;) {
1039 if (auto *R = dyn_cast<VPRegionBlock>(B))
1040 return R->isReplicator() || R->getNumPredecessors() != 1 ? nullptr : R;
1041 VPBlockBase *Succ =
1042 B->hasSuccessors() ? B->getSuccessors().back() : nullptr;
1043 if (B->getNumPredecessors() > 1 && !isa_and_present<VPRegionBlock>(Succ))
1044 return nullptr;
1045 B = Succ;
1046 }
1047 return nullptr;
1048}
1049
1051 return const_cast<VPlan *>(this)->getVectorLoopRegion();
1052}
1053
1055 const VPRegionBlock *LoopRegion = getVectorLoopRegion();
1056 assert(LoopRegion && "expected a vector loop region");
1058 vp_depth_first_shallow(LoopRegion->getEntry())),
1059 [](const VPRegionBlock *R) { return !R->isReplicator(); });
1060}
1061
1062#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1065
1066 if (!VF.user_empty()) {
1067 O << "\nLive-in ";
1068 VF.printAsOperand(O, SlotTracker);
1069 O << " = VF";
1070 }
1071
1072 if (!UF.user_empty()) {
1073 O << "\nLive-in ";
1074 UF.printAsOperand(O, SlotTracker);
1075 O << " = UF";
1076 }
1077
1078 if (!VFxUF.user_empty()) {
1079 O << "\nLive-in ";
1080 VFxUF.printAsOperand(O, SlotTracker);
1081 O << " = VF * UF";
1082 }
1083
1084 if (!VectorTripCount.user_empty()) {
1085 O << "\nLive-in ";
1086 VectorTripCount.printAsOperand(O, SlotTracker);
1087 O << " = vector-trip-count";
1088 }
1089
1090 if (BackedgeTakenCount && !BackedgeTakenCount->user_empty()) {
1091 O << "\nLive-in ";
1092 BackedgeTakenCount->printAsOperand(O, SlotTracker);
1093 O << " = backedge-taken count";
1094 }
1095
1096 O << "\n";
1097 if (TripCount && !TripCount->user_empty()) {
1098 if (isa<VPIRValue>(TripCount))
1099 O << "Live-in ";
1100 TripCount->printAsOperand(O, SlotTracker);
1101 O << " = original trip-count";
1102 O << "\n";
1103 }
1104}
1105
1109
1110 O << "VPlan '" << getName() << "' {";
1111
1112 printLiveIns(O);
1113
1115 RPOT(getEntry());
1116 for (const VPBlockBase *Block : RPOT) {
1117 O << '\n';
1118 Block->print(O, "", SlotTracker);
1119 }
1120
1121 O << "}\n";
1122}
1123
1124std::string VPlan::getName() const {
1125 std::string Out;
1126 raw_string_ostream RSO(Out);
1127 RSO << Name << " for ";
1128 if (!VFs.empty()) {
1129 RSO << "VF={" << VFs[0];
1130 for (ElementCount VF : drop_begin(VFs))
1131 RSO << "," << VF;
1132 RSO << "},";
1133 }
1134
1135 if (UFs.empty()) {
1136 RSO << "UF>=1";
1137 } else {
1138 RSO << "UF={" << UFs[0];
1139 for (unsigned UF : drop_begin(UFs))
1140 RSO << "," << UF;
1141 RSO << "}";
1142 }
1143
1144 return Out;
1145}
1146
1149 VPlanPrinter Printer(O, *this);
1150 Printer.dump();
1151}
1152
1154void VPlan::dump() const { print(dbgs()); }
1155#endif
1156
1157static void remapOperands(VPBlockBase *Entry, VPBlockBase *NewEntry,
1158 DenseMap<VPValue *, VPValue *> &Old2NewVPValues) {
1159 // Update the operands of all cloned recipes starting at NewEntry. This
1160 // traverses all reachable blocks. This is done in two steps, to handle cycles
1161 // in PHI recipes.
1163 OldDeepRPOT(Entry);
1165 NewDeepRPOT(NewEntry);
1166 // First, collect all mappings from old to new VPValues defined by cloned
1167 // recipes.
1168 for (const auto &[OldBB, NewBB] :
1171 assert(OldBB->getRecipeList().size() == NewBB->getRecipeList().size() &&
1172 "blocks must have the same number of recipes");
1173 for (const auto &[OldR, NewR] : zip(*OldBB, *NewBB)) {
1174 assert(OldR.getNumOperands() == NewR.getNumOperands() &&
1175 "recipes must have the same number of operands");
1176 assert(OldR.getNumDefinedValues() == NewR.getNumDefinedValues() &&
1177 "recipes must define the same number of operands");
1178 for (const auto &[OldV, NewV] :
1179 zip(OldR.definedValues(), NewR.definedValues()))
1180 Old2NewVPValues[OldV] = NewV;
1181 }
1182 }
1183
1184 // Update all operands to use cloned VPValues.
1185 for (VPBasicBlock *NewBB :
1187 for (VPRecipeBase &NewR : *NewBB)
1188 for (unsigned I = 0, E = NewR.getNumOperands(); I != E; ++I) {
1189 VPValue *NewOp = Old2NewVPValues.lookup(NewR.getOperand(I));
1190 NewR.setOperand(I, NewOp);
1191 }
1192 }
1193}
1194
1196 unsigned NumBlocksBeforeCloning = CreatedBlocks.size();
1197 // Clone blocks.
1198 const auto &[NewEntry, __] = VPBlockUtils::cloneFrom(Entry);
1199
1200 BasicBlock *ScalarHeaderIRBB = getScalarHeader()->getIRBasicBlock();
1201 VPIRBasicBlock *NewScalarHeader = nullptr;
1202 if (getScalarHeader()->hasPredecessors()) {
1203 NewScalarHeader = cast<VPIRBasicBlock>(*find_if(
1204 vp_depth_first_shallow(NewEntry), [ScalarHeaderIRBB](VPBlockBase *VPB) {
1205 auto *VPIRBB = dyn_cast<VPIRBasicBlock>(VPB);
1206 return VPIRBB && VPIRBB->getIRBasicBlock() == ScalarHeaderIRBB;
1207 }));
1208 } else {
1209 NewScalarHeader = createVPIRBasicBlock(ScalarHeaderIRBB);
1210 }
1211 // Create VPlan, clone live-ins and remap operands in the cloned blocks.
1212 auto *NewPlan =
1213 new VPlan(cast<VPBasicBlock>(NewEntry), NewScalarHeader, getIndexType());
1214 DenseMap<VPValue *, VPValue *> Old2NewVPValues;
1215 for (VPIRValue *OldLiveIn : getLiveIns())
1216 Old2NewVPValues[OldLiveIn] = NewPlan->getOrAddLiveIn(OldLiveIn);
1217
1218 if (auto *TripCountIRV = dyn_cast_or_null<VPIRValue>(TripCount))
1219 Old2NewVPValues[TripCountIRV] = NewPlan->getOrAddLiveIn(TripCountIRV);
1220 // else NewTripCount will be created and inserted into Old2NewVPValues when
1221 // TripCount is cloned. In any case NewPlan->TripCount is updated below.
1222
1223 assert(none_of(Old2NewVPValues.keys(), IsaPred<VPSymbolicValue>) &&
1224 "All VPSymbolicValues must be handled below");
1225
1226 if (auto *LoopRegion = getVectorLoopRegion()) {
1227 auto *NewLoopRegion = NewPlan->getVectorLoopRegion();
1228 for (auto [Old, New] : zip_equal(LoopRegion->getRegionValues(),
1229 NewLoopRegion->getRegionValues())) {
1230 Old2NewVPValues[Old] = New;
1231 if (Old->isMaterialized())
1232 New->markMaterialized();
1233 }
1234 }
1235
1236 if (BackedgeTakenCount)
1237 NewPlan->BackedgeTakenCount =
1238 new VPSymbolicValue(BackedgeTakenCount->getType());
1239
1240 // Map and propagate materialized state for symbolic values.
1241 for (auto [OldSV, NewSV] :
1242 {std::pair{&VectorTripCount, &NewPlan->VectorTripCount},
1243 {&VF, &NewPlan->VF},
1244 {&UF, &NewPlan->UF},
1245 {&VFxUF, &NewPlan->VFxUF},
1246 {BackedgeTakenCount, NewPlan->BackedgeTakenCount}}) {
1247 if (!OldSV)
1248 continue;
1249 Old2NewVPValues[OldSV] = NewSV;
1250 if (OldSV->isMaterialized())
1251 NewSV->markMaterialized();
1252 }
1253
1254 remapOperands(Entry, NewEntry, Old2NewVPValues);
1255
1256 // Initialize remaining fields of cloned VPlan.
1257 NewPlan->VFs = VFs;
1258 NewPlan->UFs = UFs;
1259 // TODO: Adjust names.
1260 NewPlan->Name = Name;
1261 if (TripCount) {
1262 assert(Old2NewVPValues.contains(TripCount) &&
1263 "TripCount must have been added to Old2NewVPValues");
1264 NewPlan->TripCount = Old2NewVPValues[TripCount];
1265 }
1266
1267 // Transfer all cloned blocks (the second half of all current blocks) from
1268 // current to new VPlan.
1269 unsigned NumBlocksAfterCloning = CreatedBlocks.size();
1270 for (unsigned I :
1271 seq<unsigned>(NumBlocksBeforeCloning, NumBlocksAfterCloning)) {
1272 this->CreatedBlocks[I]->setPlan(NewPlan);
1273 this->CreatedBlocks[I]->setNumber(NewPlan->CreatedBlocks.size());
1274 NewPlan->CreatedBlocks.push_back(this->CreatedBlocks[I]);
1275 }
1276 CreatedBlocks.truncate(NumBlocksBeforeCloning);
1277
1278 // Update ExitBlocks of the new plan.
1279 for (VPBlockBase *VPB : NewPlan->CreatedBlocks) {
1280 if (VPB->getNumSuccessors() == 0 && isa<VPIRBasicBlock>(VPB) &&
1281 VPB != NewScalarHeader)
1282 NewPlan->ExitBlocks.push_back(cast<VPIRBasicBlock>(VPB));
1283 }
1284
1285 return NewPlan;
1286}
1287
1289 auto *VPIRBB = new VPIRBasicBlock(IRBB);
1290 VPIRBB->setPlan(this);
1291 VPIRBB->setNumber(CreatedBlocks.size());
1292 CreatedBlocks.push_back(VPIRBB);
1293 return VPIRBB;
1294}
1295
1297 auto *VPIRBB = createEmptyVPIRBasicBlock(IRBB);
1298 for (Instruction &I :
1299 make_range(IRBB->begin(), IRBB->getTerminator()->getIterator()))
1300 VPIRBB->appendRecipe(VPIRInstruction::create(I));
1301 return VPIRBB;
1302}
1303
1304#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1305
1306Twine VPlanPrinter::getUID(const VPBlockBase *Block) {
1307 return (isa<VPRegionBlock>(Block) ? "cluster_N" : "N") +
1308 Twine(getOrCreateBID(Block));
1309}
1310
1312 Depth = 1;
1313 bumpIndent(0);
1314 OS << "digraph VPlan {\n";
1315 OS << "graph [labelloc=t, fontsize=30; label=\"Vectorization Plan";
1316 if (!Plan.getName().empty())
1317 OS << "\\n" << DOT::EscapeString(Plan.getName());
1318
1319 {
1320 // Print live-ins.
1321 std::string Str;
1322 raw_string_ostream SS(Str);
1323 Plan.printLiveIns(SS);
1325 StringRef(Str).rtrim('\n').split(Lines, "\n");
1326 for (auto Line : Lines)
1327 OS << DOT::EscapeString(Line.str()) << "\\n";
1328 }
1329
1330 OS << "\"]\n";
1331 OS << "node [shape=rect, fontname=Courier, fontsize=30]\n";
1332 OS << "edge [fontname=Courier, fontsize=30]\n";
1333 OS << "compound=true\n";
1334
1335 for (const VPBlockBase *Block : vp_depth_first_shallow(Plan.getEntry()))
1336 dumpBlock(Block);
1337
1338 OS << "}\n";
1339}
1340
1341void VPlanPrinter::dumpBlock(const VPBlockBase *Block) {
1343 dumpBasicBlock(BasicBlock);
1345 dumpRegion(Region);
1346 else
1347 llvm_unreachable("Unsupported kind of VPBlock.");
1348}
1349
1350void VPlanPrinter::drawEdge(const VPBlockBase *From, const VPBlockBase *To,
1351 bool Hidden, const Twine &Label) {
1352 // Due to "dot" we print an edge between two regions as an edge between the
1353 // exiting basic block and the entry basic of the respective regions.
1354 const VPBlockBase *Tail = From->getExitingBasicBlock();
1355 const VPBlockBase *Head = To->getEntryBasicBlock();
1356 OS << Indent << getUID(Tail) << " -> " << getUID(Head);
1357 OS << " [ label=\"" << Label << '\"';
1358 if (Tail != From)
1359 OS << " ltail=" << getUID(From);
1360 if (Head != To)
1361 OS << " lhead=" << getUID(To);
1362 if (Hidden)
1363 OS << "; splines=none";
1364 OS << "]\n";
1365}
1366
1367void VPlanPrinter::dumpEdges(const VPBlockBase *Block) {
1368 auto &Successors = Block->getSuccessors();
1369 if (Successors.size() == 1)
1370 drawEdge(Block, Successors.front(), false, "");
1371 else if (Successors.size() == 2) {
1372 drawEdge(Block, Successors.front(), false, "T");
1373 drawEdge(Block, Successors.back(), false, "F");
1374 } else {
1375 unsigned SuccessorNumber = 0;
1376 for (auto *Successor : Successors)
1377 drawEdge(Block, Successor, false, Twine(SuccessorNumber++));
1378 }
1379}
1380
1381void VPlanPrinter::dumpBasicBlock(const VPBasicBlock *BasicBlock) {
1382 // Implement dot-formatted dump by performing plain-text dump into the
1383 // temporary storage followed by some post-processing.
1384 OS << Indent << getUID(BasicBlock) << " [label =\n";
1385 bumpIndent(1);
1386 std::string Str;
1387 raw_string_ostream SS(Str);
1388 // Use no indentation as we need to wrap the lines into quotes ourselves.
1389 BasicBlock->print(SS, "", SlotTracker);
1390
1391 // We need to process each line of the output separately, so split
1392 // single-string plain-text dump.
1394 StringRef(Str).rtrim('\n').split(Lines, "\n");
1395
1396 auto EmitLine = [&](StringRef Line, StringRef Suffix) {
1397 OS << Indent << '"' << DOT::EscapeString(Line.str()) << "\\l\"" << Suffix;
1398 };
1399
1400 // Don't need the "+" after the last line.
1401 for (auto Line : make_range(Lines.begin(), Lines.end() - 1))
1402 EmitLine(Line, " +\n");
1403 EmitLine(Lines.back(), "\n");
1404
1405 bumpIndent(-1);
1406 OS << Indent << "]\n";
1407
1408 dumpEdges(BasicBlock);
1409}
1410
1411void VPlanPrinter::dumpRegion(const VPRegionBlock *Region) {
1412 OS << Indent << "subgraph " << getUID(Region) << " {\n";
1413 bumpIndent(1);
1414 OS << Indent << "fontname=Courier\n"
1415 << Indent << "label=\""
1416 << DOT::EscapeString(Region->isReplicator() ? "<xVFxUF> " : "<x1> ")
1417 << DOT::EscapeString(Region->getName()) << "\"\n";
1418
1419 if (auto *CanIV = Region->getCanonicalIV()) {
1420 OS << Indent << "\"";
1421 std::string Op;
1422 raw_string_ostream S(Op);
1423 CanIV->printAsOperand(S, SlotTracker);
1424 OS << DOT::EscapeString(Op);
1425 OS << " = CANONICAL-IV\"\n";
1426 }
1427
1428 // Dump the blocks of the region.
1429 assert(Region->getEntry() && "Region contains no inner blocks.");
1430 for (const VPBlockBase *Block : vp_depth_first_shallow(Region->getEntry()))
1431 dumpBlock(Block);
1432 bumpIndent(-1);
1433 OS << Indent << "}\n";
1434 dumpEdges(Region);
1435}
1436
1437#endif
1438
1439/// Returns true if there is a vector loop region and \p VPV is defined in a
1440/// loop region.
1441static bool isDefinedInsideLoopRegions(const VPValue *VPV) {
1442 if (isa<VPRegionValue>(VPV))
1443 return true;
1444 const VPRecipeBase *DefR = VPV->getDefiningRecipe();
1445 return DefR && (DefR->getParent()->getEnclosingLoopRegion() ||
1446 !DefR->getParent()->getPlan()->getVectorLoopRegion());
1447}
1448
1453 replaceUsesWithIf(New, [](VPUser *) { return true; });
1454 if (auto *SV = dyn_cast<VPSymbolicValue>(this))
1455 SV->markMaterialized();
1456}
1457
1459 VPValue *New, llvm::function_ref<bool(VPUser *U)> ShouldReplace) {
1461 // Note that this early exit is required for correctness; the implementation
1462 // below relies on the number of users for this VPValue to decrease, which
1463 // isn't the case if this == New.
1464 if (this == New)
1465 return;
1466
1467 for (unsigned J = 0; J < getNumUsers();) {
1468 VPUser *User = Users[J];
1469 bool RemovedUser = false;
1470 for (unsigned I = 0, E = User->getNumOperands(); I < E; ++I) {
1471 if (User->getOperand(I) != this || !ShouldReplace(User))
1472 continue;
1473
1474 RemovedUser = true;
1475 User->setOperand(I, New);
1476 }
1477 // If a user got removed after updating the current user, the next user to
1478 // update will be moved to the current position, so we only need to
1479 // increment the index if the number of users did not change.
1480 if (!RemovedUser)
1481 J++;
1482 }
1483}
1484
1486 for (unsigned Idx = 0; Idx != getNumOperands(); ++Idx) {
1487 if (getOperand(Idx) == From)
1488 setOperand(Idx, To);
1489 }
1490}
1491
1492#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1494 OS << Tracker.getOrCreateName(this);
1495}
1496
1499 Op->printAsOperand(O, SlotTracker);
1500 });
1501}
1502#endif
1503
1504void VPSlotTracker::assignName(const VPValue *V) {
1505 assert(!VPValue2Name.contains(V) && "VPValue already has a name!");
1506 auto *UV = V->getUnderlyingValue();
1507 auto *VPI = dyn_cast_or_null<VPInstruction>(V);
1508 if (!UV && !(VPI && !VPI->getName().empty())) {
1509 VPValue2Name[V] = (Twine("vp<%") + Twine(NextSlot) + ">").str();
1510 NextSlot++;
1511 return;
1512 }
1513
1514 // Use the name of the underlying Value, wrapped in "ir<>", and versioned by
1515 // appending ".Number" to the name if there are multiple uses.
1516 std::string Name;
1517 if (UV)
1518 Name = getName(UV);
1519 else
1520 Name = VPI->getName();
1521
1522 assert(!Name.empty() && "Name cannot be empty.");
1523 StringRef Prefix = UV ? "ir<" : "vp<%";
1524 std::string BaseName = (Twine(Prefix) + Name + Twine(">")).str();
1525
1526 // First assign the base name for V.
1527 const auto &[A, _] = VPValue2Name.try_emplace(V, BaseName);
1528 // Integer or FP constants with different types will result in the same string
1529 // due to stripping types.
1531 return;
1532
1533 // If it is already used by C > 0 other VPValues, increase the version counter
1534 // C and use it for V.
1535 const auto &[C, UseInserted] = BaseName2Version.try_emplace(BaseName, 0);
1536 if (!UseInserted) {
1537 C->second++;
1538 A->second = (BaseName + Twine(".") + Twine(C->second)).str();
1539 }
1540}
1541
1542void VPSlotTracker::assignNames(const VPlan &Plan) {
1543 if (!Plan.VF.user_empty())
1544 assignName(&Plan.VF);
1545 if (!Plan.UF.user_empty())
1546 assignName(&Plan.UF);
1547 if (!Plan.VFxUF.user_empty())
1548 assignName(&Plan.VFxUF);
1549 assignName(&Plan.VectorTripCount);
1550 if (Plan.BackedgeTakenCount)
1551 assignName(Plan.BackedgeTakenCount);
1552 for (VPValue *LI : Plan.getLiveIns())
1553 assignName(LI);
1554
1555 ReversePostOrderTraversal<VPBlockDeepTraversalWrapper<const VPBlockBase *>>
1556 RPOT(VPBlockDeepTraversalWrapper<const VPBlockBase *>(Plan.getEntry()));
1557 for (const VPBlockBase *VPB : RPOT) {
1558 if (auto *VPBB = dyn_cast<VPBasicBlock>(VPB))
1559 assignNames(VPBB);
1560 else
1561 for (auto *RV : cast<VPRegionBlock>(VPB)->getRegionValues())
1562 assignName(RV);
1563 }
1564}
1565
1566void VPSlotTracker::assignNames(const VPBasicBlock *VPBB) {
1567 for (const VPRecipeBase &Recipe : *VPBB)
1568 for (VPValue *Def : Recipe.definedValues())
1569 assignName(Def);
1570}
1571
1572ModuleSlotTracker &VPSlotTracker::getOrCreateMST() {
1573 // F is null for unit tests with incomplete IR.
1574 if (!MST) {
1575 MST = std::make_unique<ModuleSlotTracker>(getModule());
1576 if (F)
1577 MST->incorporateFunction(*F);
1578 }
1579 return *MST;
1580}
1581
1582std::string VPSlotTracker::getName(const Value *V) {
1583 std::string Name;
1584 raw_string_ostream S(Name);
1585 // If V isn't an instruction in a basic block or named, it can be printed
1586 // directly without ModuleSlotTracker.
1587 auto *I = dyn_cast<Instruction>(V);
1588 if (!I || I->hasName() || !I->getParent()) {
1589 V->printAsOperand(S, false);
1590 return Name;
1591 }
1592
1593 V->printAsOperand(S, false, getOrCreateMST());
1594 return Name;
1595}
1596
1598 N->printAsOperand(O, getOrCreateMST(), getModule());
1599}
1600
1601std::string VPSlotTracker::getOrCreateName(const VPValue *V) const {
1602 std::string Name = VPValue2Name.lookup(V);
1603 if (!Name.empty())
1604 return Name;
1605
1606 // If no name was assigned, no VPlan was provided when creating the slot
1607 // tracker or it is not reachable from the provided VPlan. This can happen,
1608 // e.g. when trying to print a recipe that has not been inserted into a VPlan
1609 // in a debugger.
1610 // TODO: Update VPSlotTracker constructor to assign names to recipes &
1611 // VPValues not associated with a VPlan, instead of constructing names ad-hoc
1612 // here.
1613
1614 // Use the underlying value's name, if there is one.
1615 if (auto *UV = V->getUnderlyingValue()) {
1616 std::string Name;
1617 raw_string_ostream S(Name);
1618 UV->printAsOperand(S, false);
1619 return (Twine("ir<") + Name + ">").str();
1620 }
1621
1622 return "<badref>";
1623}
1624
1626 const std::function<bool(ElementCount)> &Predicate, VFRange &Range) {
1627 assert(!Range.isEmpty() && "Trying to test an empty VF range.");
1628 bool PredicateAtRangeStart = Predicate(Range.Start);
1629
1630 for (ElementCount TmpVF : VFRange(Range.Start * 2, Range.End))
1631 if (Predicate(TmpVF) != PredicateAtRangeStart) {
1632 Range.End = TmpVF;
1633 break;
1634 }
1635
1636 return PredicateAtRangeStart;
1637}
1638
1640 assert(count_if(VPlans,
1641 [VF](const VPlanPtr &Plan) { return Plan->hasVF(VF); }) ==
1642 1 &&
1643 "Multiple VPlans for VF.");
1644
1645 for (const VPlanPtr &Plan : VPlans) {
1646 if (Plan->hasVF(VF))
1647 return *Plan.get();
1648 }
1649 llvm_unreachable("No plan found!");
1650}
1651
1654 // Reserve first location for self reference to the LoopID metadata node.
1655 MDs.push_back(nullptr);
1656 bool IsUnrollMetadata = false;
1657 MDNode *LoopID = L->getLoopID();
1658 if (LoopID) {
1659 // First find existing loop unrolling disable metadata.
1660 for (unsigned I = 1, IE = LoopID->getNumOperands(); I < IE; ++I) {
1661 auto *MD = dyn_cast<MDNode>(LoopID->getOperand(I));
1662 if (MD) {
1663 const auto *S = dyn_cast<MDString>(MD->getOperand(0));
1664 if (!S)
1665 continue;
1666 if (S->getString().starts_with("llvm.loop.unroll.runtime.disable"))
1667 continue;
1668 IsUnrollMetadata =
1669 S->getString().starts_with("llvm.loop.unroll.disable");
1670 }
1671 MDs.push_back(LoopID->getOperand(I));
1672 }
1673 }
1674
1675 if (!IsUnrollMetadata) {
1676 // Add runtime unroll disable metadata.
1677 LLVMContext &Context = L->getHeader()->getContext();
1678 SmallVector<Metadata *, 1> DisableOperands;
1679 DisableOperands.push_back(
1680 MDString::get(Context, "llvm.loop.unroll.runtime.disable"));
1681 MDNode *DisableNode = MDNode::get(Context, DisableOperands);
1682 MDs.push_back(DisableNode);
1683 MDNode *NewLoopID = MDNode::get(Context, MDs);
1684 // Set operand 0 to refer to the loop id itself.
1685 NewLoopID->replaceOperandWith(0, NewLoopID);
1686 L->setLoopID(NewLoopID);
1687 }
1688}
1689
1691 Loop *VectorLoop, VPBasicBlock *HeaderVPBB, const VPlan &Plan,
1692 bool VectorizingEpilogue, MDNode *OrigLoopID,
1693 std::optional<unsigned> OrigAverageTripCount,
1694 unsigned OrigLoopInvocationWeight, unsigned EstimatedVFxUF,
1695 bool DisableRuntimeUnroll, bool UnrollVectorizedLoop) {
1696 // Update the metadata of the scalar loop. Skip the update when vectorizing
1697 // the epilogue loop to ensure it is updated only once. Also skip the update
1698 // when the scalar loop became unreachable.
1699 auto *ScalarPH = Plan.getScalarPreheader();
1700 if (ScalarPH && !VectorizingEpilogue) {
1701 std::optional<MDNode *> RemainderLoopID =
1704 if (RemainderLoopID) {
1705 OrigLoop->setLoopID(*RemainderLoopID);
1706 } else {
1707 if (DisableRuntimeUnroll)
1709
1710 LoopVectorizeHints Hints(Opts, OrigLoop,
1711 /*InterleaveOnlyWhenForced*/ false, *ORE);
1712 Hints.setAlreadyVectorized();
1713 }
1714 }
1715 // Tag the scalar remainder so downstream passes (e.g. the unroller and
1716 // WarnMissedTransforms) can produce more informative remarks. Only emit
1717 // when remarks are enabled.
1718 if (ORE->enabled() && ScalarPH && ScalarPH->hasPredecessors())
1719 OrigLoop->addIntLoopAttribute("llvm.loop.vectorize.epilogue", 1);
1720
1721 if (!VectorLoop)
1722 return;
1723
1724 if (std::optional<MDNode *> VectorizedLoopID = makeFollowupLoopID(
1725 OrigLoopID, {LLVMLoopVectorizeFollowupAll,
1727 VectorLoop->setLoopID(*VectorizedLoopID);
1728 } else {
1729 // Keep all loop hints from the original loop on the vector loop (we'll
1730 // replace the vectorizer-specific hints below).
1731 if (OrigLoopID)
1732 VectorLoop->setLoopID(OrigLoopID);
1733
1734 if (!VectorizingEpilogue) {
1735 LoopVectorizeHints Hints(Opts, VectorLoop,
1736 /*InterleaveOnlyWhenForced*/ false, *ORE);
1737 Hints.setAlreadyVectorized();
1738 }
1739 }
1740 // Tag the vector loop body so downstream passes can identify it. Only
1741 // emit when remarks are enabled.
1742 if (ORE->enabled())
1743 VectorLoop->addIntLoopAttribute("llvm.loop.vectorize.body", 1);
1744 if (!UnrollVectorizedLoop || VectorizingEpilogue)
1746
1747 // Set/update profile weights for the vector and remainder loops as original
1748 // loop iterations are now distributed among them. Note that original loop
1749 // becomes the scalar remainder loop after vectorization.
1750 //
1751 // For cases like foldTailByMasking() and requiresScalarEpiloque() we may
1752 // end up getting slightly roughened result but that should be OK since
1753 // profile is not inherently precise anyway. Note also possible bypass of
1754 // vector code caused by legality checks is ignored, assigning all the weight
1755 // to the vector loop, optimistically.
1756 //
1757 // For scalable vectorization we can't know at compile time how many
1758 // iterations of the loop are handled in one vector iteration, so instead
1759 // use the value of vscale used for tuning.
1760 unsigned AverageVectorTripCount = 0;
1761 unsigned RemainderAverageTripCount = 0;
1762 auto EC = VectorLoop->getLoopPreheader()->getParent()->getEntryCount();
1763 auto IsProfiled = EC && *EC != 0;
1764 if (!OrigAverageTripCount) {
1765 if (!IsProfiled)
1766 return;
1767 auto &SE = *PSE.getSE();
1768 AverageVectorTripCount = SE.getSmallConstantTripCount(VectorLoop);
1769 if (ProfcheckDisableMetadataFixes || !AverageVectorTripCount)
1770 return;
1771 if (ScalarPH)
1772 RemainderAverageTripCount =
1773 SE.getSmallConstantTripCount(OrigLoop) % EstimatedVFxUF;
1774 // Setting to 1 should be sufficient to generate the correct branch weights.
1775 OrigLoopInvocationWeight = 1;
1776 } else {
1777 // Calculate number of iterations in unrolled loop.
1778 AverageVectorTripCount = *OrigAverageTripCount / EstimatedVFxUF;
1779 // Calculate number of iterations for remainder loop.
1780 RemainderAverageTripCount = *OrigAverageTripCount % EstimatedVFxUF;
1781 }
1782 if (HeaderVPBB) {
1783 setLoopEstimatedTripCount(VectorLoop, AverageVectorTripCount,
1784 OrigLoopInvocationWeight);
1785 }
1786
1787 if (ScalarPH) {
1788 setLoopEstimatedTripCount(OrigLoop, RemainderAverageTripCount,
1789 OrigLoopInvocationWeight);
1790 }
1791}
1792
1793#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1795 if (VPlans.empty()) {
1796 O << "LV: No VPlans built.\n";
1797 return;
1798 }
1799 for (const auto &Plan : VPlans)
1800 if (Opts.vplan_print_in_dot_format)
1801 Plan->printDOT(O);
1802 else
1803 Plan->print(O);
1804}
1805#endif
1806
1807bool llvm::canConstantBeExtended(const APInt *C, Type *NarrowType,
1809 APInt TruncatedVal = C->trunc(NarrowType->getScalarSizeInBits());
1810 unsigned WideSize = C->getBitWidth();
1811 APInt ExtendedVal = ExtKind == TTI::PR_SignExtend
1812 ? TruncatedVal.sext(WideSize)
1813 : TruncatedVal.zext(WideSize);
1814 return ExtendedVal == *C;
1815}
1816
1819 if (auto *IRV = dyn_cast<VPIRValue>(V))
1820 return TTI::getOperandInfo(IRV->getValue());
1821
1822 return {};
1823}
1824
1825#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1827 if (!PlanForSlotTracker)
1828 return nullptr;
1829 if (!SlotTracker)
1830 SlotTracker = std::make_unique<VPSlotTracker>(PlanForSlotTracker);
1831 return SlotTracker.get();
1832}
1833#endif
1834
1837 TTI::VectorInstrContext VIC, bool AlwaysIncludeReplicatingR) {
1838 if (VF.isScalar())
1839 return 0;
1840
1841 assert(!VF.isScalable() &&
1842 "Scalarization overhead not supported for scalable vectors");
1843
1844 InstructionCost ScalarizationCost = 0;
1845 // Compute the cost of scalarizing the result if needed.
1846 if (!ResultTy->isVoidTy()) {
1847 for (Type *VectorTy :
1848 to_vector(getContainedTypes(toVectorizedTy(ResultTy, VF)))) {
1849 ScalarizationCost += TTI.getScalarizationOverhead(
1851 /*Insert=*/true, /*Extract=*/false, CostKind,
1852 /*ForPoisonSrc=*/true, {}, VIC);
1853 }
1854 }
1855 // Compute the cost of scalarizing the operands, skipping ones that do not
1856 // require extraction/scalarization and do not incur any overhead.
1857 SmallPtrSet<const VPValue *, 4> UniqueOperands;
1859 for (auto *Op : Operands) {
1860 if (isa<VPIRValue>(Op) ||
1861 (!AlwaysIncludeReplicatingR &&
1864 cast<VPReplicateRecipe>(Op)->getOpcode() == Instruction::Load) ||
1865 !UniqueOperands.insert(Op).second)
1866 continue;
1867 Tys.push_back(toVectorizedTy(Op->getScalarType(), VF));
1868 }
1869 return ScalarizationCost +
1870 TTI.getOperandsScalarizationOverhead(Tys, CostKind, VIC);
1871}
1872
1874 ElementCount VF) {
1875 const Instruction *UI = R->getUnderlyingInstr();
1876 if (isa<LoadInst>(UI))
1877 return true;
1878 assert(isa<StoreInst>(UI) && "R must either be a load or store");
1879
1880 if (!NumPredStores) {
1881 // Count the number of predicated stores in the VPlan, caching the result.
1882 // Only stores where scatter is not legal are counted, matching the legacy
1883 // cost model behavior.
1884 const VPlan &Plan = *R->getParent()->getPlan();
1885 NumPredStores = 0;
1886 for (const VPRegionBlock *VPRB :
1889 assert(VPRB->isReplicator() && "must only contain replicate regions");
1890 for (const VPBasicBlock *VPBB :
1892 vp_depth_first_shallow(VPRB->getEntry()))) {
1893 for (const VPReplicateRecipe &RepR :
1895 if (!isa<StoreInst>(RepR.getUnderlyingInstr()))
1896 continue;
1897 // Check if scatter is legal for this store. If so, don't count it.
1898 Type *Ty = RepR.getOperand(0)->getScalarType();
1899 auto *VTy = VectorType::get(Ty, VF);
1900 const Align Alignment =
1901 getLoadStoreAlignment(RepR.getUnderlyingInstr());
1902 if (!TTI.isLegalMaskedScatter(VTy, Alignment))
1903 ++(*NumPredStores);
1904 }
1905 }
1906 }
1907 }
1908 return *NumPredStores > Opts.vectorize_num_stores_pred;
1909}
1910
1912 return is_contained({Intrinsic::assume, Intrinsic::lifetime_end,
1913 Intrinsic::lifetime_start, Intrinsic::sideeffect,
1914 Intrinsic::pseudoprobe,
1915 Intrinsic::experimental_noalias_scope_decl},
1916 ID);
1917}
1918
1919uint64_t
1920VPCostContext::getCostDivisor(std::optional<VPExecutionFrequency> Freq) const {
1921 if (CostKind == TTI::TCK_CodeSize || !Freq)
1922 return 1;
1923 // A recorded frequency is neither zero nor always-executing, so the
1924 // probability is non-zero and the division below is safe.
1925 return divideNearest(
1927 vputils::getExecutionProbability(Freq->Freq).getNumerator());
1928}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
amdgpu next use AMDGPU Next Use Analysis Printer
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
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:686
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.
#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)
SI Fold Operands
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:119
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.
This file provides utility VPlan to VPlan transformations.
#define RUN_VPLAN_PASS(PASS,...)
static void addRuntimeUnrollDisableMetaData(Loop *L)
Definition VPlan.cpp:1652
static void printFinalVPlan(VPlan &)
To make RUN_VPLAN_PASS print final VPlan.
Definition VPlan.cpp:900
static T * getEnclosingLoopRegionForRegion(T *P)
Return the enclosing loop region for region P.
Definition VPlan.cpp:551
const char LLVMLoopVectorizeFollowupAll[]
Definition VPlan.cpp:63
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:1441
static bool hasConditionalTerminator(const VPBasicBlock *VPBB)
Definition VPlan.cpp:569
const char LLVMLoopVectorizeFollowupVectorized[]
Definition VPlan.cpp:64
static void remapOperands(VPBlockBase *Entry, VPBlockBase *NewEntry, DenseMap< VPValue *, VPValue * > &Old2NewVPValues)
Definition VPlan.cpp:1157
const char LLVMLoopVectorizeFollowupEpilogue[]
Definition VPlan.cpp:66
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:230
LLVM_ABI APInt zext(unsigned width) const
Zero extend to a new width.
Definition APInt.cpp:1057
LLVM_ABI APInt sext(unsigned width) const
Sign extend to a new width.
Definition APInt.cpp:1030
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:446
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.
LLVM_ABI LLVMContext & getContext() const
Get the context in which this basic block lives.
size_t size() const
Definition BasicBlock.h:467
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction; assumes that the block is well-formed.
Definition BasicBlock.h:237
LLVM_ABI void removePredecessor(BasicBlock *Pred, bool KeepOneInputPHIs=false)
Update PHI nodes in this BasicBlock before removal of predecessor Pred.
static uint32_t getDenominator()
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:126
bool contains(const_arg_type_t< KeyT > Val) const
Return true if the specified key is in the map, false otherwise.
Definition DenseMap.h:758
ValueT lookup(const_arg_type_t< KeyT > Val) const
Return the entry for the specified key, or a default constructed value if no such entry exists.
Definition DenseMap.h:794
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
Definition Dominators.h:122
constexpr bool isVector() const
One or more elements.
Definition TypeSize.h:320
constexpr bool isScalar() const
Exactly one element.
Definition TypeSize.h:316
std::optional< uint64_t > getEntryCount() const
Get the entry count for this function.
Common base class shared among various IRBuilders.
Definition IRBuilder.h:111
static InstructionCost getInvalid(CostType Val=0)
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:71
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.
block_iterator block_end() const
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
block_iterator block_begin() const
VPlan & getPlanFor(ElementCount VF) const
Return the VPlan for VF.
Definition VPlan.cpp:1639
void updateLoopMetadataAndProfileInfo(Loop *VectorLoop, VPBasicBlock *HeaderVPBB, const VPlan &Plan, bool VectorizingEpilogue, MDNode *OrigLoopID, std::optional< unsigned > OrigAverageTripCount, unsigned OrigLoopInvocationWeight, unsigned EstimatedVFxUF, bool DisableRuntimeUnroll, bool UnrollVectorizedLoop)
Update loop metadata and profile info for both the scalar remainder loop and VectorLoop,...
Definition VPlan.cpp:1690
static bool getDecisionAndClampRange(const std::function< bool(ElementCount)> &Predicate, VFRange &Range)
Test a Predicate on a Range of VF's.
Definition VPlan.cpp:1625
void printPlans(raw_ostream &O)
Definition VPlan.cpp:1794
Utility class for getting and setting loop vectorizer hints in the form of loop metadata.
LLVM_ABI void setAlreadyVectorized()
Mark the loop L as already vectorized by setting the width to 1.
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
void addIntLoopAttribute(StringRef Name, unsigned Value, ArrayRef< StringRef > RemovePrefixes={}) const
Add an integer metadata attribute to this loop's loop-ID node.
Definition LoopInfo.cpp:615
void setLoopID(MDNode *LoopID) const
Set the llvm.loop loop id metadata for this loop.
Definition LoopInfo.cpp:583
Metadata node.
Definition Metadata.h:1081
LLVM_ABI void replaceOperandWith(unsigned I, Metadata *New)
Replace a specific operand.
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1437
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
Definition Metadata.h:1579
unsigned getNumOperands() const
Return number of MDNode operands.
Definition Metadata.h:1443
static LLVM_ABI MDString * get(LLVMContext &Context, StringRef Str)
Definition Metadata.cpp:597
LLVM_ABI void eraseFromParent()
This method unlinks 'this' from the containing function and deletes it.
Manage lifetime of a slot tracker for printing IR.
BlockT * getEntry() const
Get the entry BasicBlock of the Region.
Definition RegionInfo.h:323
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.
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:370
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
std::pair< StringRef, StringRef > split(char Separator) const
Split into two substrings around the first occurrence of a separator character.
Definition StringRef.h:736
StringRef rtrim(char Char) const
Return string with consecutive Char characters starting from the right removed.
Definition StringRef.h:838
This pass provides access to the codegen interfaces that are needed for IR-level transformations.
static LLVM_ABI OperandValueInfo getOperandInfo(const Value *V)
Collect properties of V used in cost analysis, e.g. OP_PowerOf2.
@ TCK_CodeSize
Instruction code size.
llvm::VectorInstrContext VectorInstrContext
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
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
Definition Type.h:363
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
Definition Type.cpp:222
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:4429
void appendRecipe(VPRecipeBase *Recipe)
Augment the existing recipes of a VPBasicBlock with an additional Recipe as the last recipe.
Definition VPlan.h:4504
RecipeListTy::iterator iterator
Instruction iterators...
Definition VPlan.h:4456
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPBasicBlock,...
Definition VPlan.cpp:473
iterator end()
Definition VPlan.h:4466
iterator begin()
Recipe iterator methods.
Definition VPlan.h:4464
VPBasicBlock * clone() override
Clone the current block and it's recipes, without updating the operands of the cloned recipes.
Definition VPlan.cpp:507
InstructionCost cost(ElementCount VF, VPCostContext &Ctx) override
Return the cost of this VPBasicBlock.
Definition VPlan.cpp:737
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:744
iterator getFirstNonPhi()
Return the position of the first non-phi node recipe in the block.
Definition VPlan.cpp:228
void connectToPredecessors(VPTransformState &State)
Connect the VPBBs predecessors' in the VPlan CFG to the IR basic block generated for this VPBB.
Definition VPlan.cpp:364
VPRegionBlock * getEnclosingLoopRegion()
Definition VPlan.cpp:561
VPBasicBlock * splitAt(iterator SplitAt)
Split current block at SplitAt by inserting a new block between the current block and its successors ...
Definition VPlan.cpp:528
RecipeListTy Recipes
The VPRecipes held in the order of output instructions to generate.
Definition VPlan.h:4444
void executeRecipes(VPTransformState *State, BasicBlock *BB)
Execute the recipes in the IR basic block BB.
Definition VPlan.cpp:514
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:641
bool isExiting() const
Returns true if the block is exiting it's parent region.
Definition VPlan.cpp:619
VPRecipeBase * getTerminator()
If the block has multiple successors, return the branch recipe terminating the block.
Definition VPlan.cpp:607
const VPRecipeBase & back() const
Definition VPlan.h:4478
bool empty() const
Definition VPlan.h:4475
size_t size() const
Definition VPlan.h:4474
VPBlockBase is the building block of the Hierarchical Control-Flow Graph.
Definition VPlan.h:97
void setSuccessors(ArrayRef< VPBlockBase * > NewSuccs)
Set each VPBasicBlock in NewSuccss as successor of this VPBlockBase.
Definition VPlan.h:307
VPRegionBlock * getParent()
Definition VPlan.h:195
const VPBasicBlock * getExitingBasicBlock() const
Definition VPlan.cpp:198
size_t getNumSuccessors() const
Definition VPlan.h:245
iterator_range< VPBlockBase ** > successors()
Definition VPlan.h:227
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:225
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:629
size_t getNumPredecessors() const
Definition VPlan.h:246
void setPredecessors(ArrayRef< VPBlockBase * > NewPreds)
Set each VPBasicBlock in NewPreds as predecessor of this VPBlockBase.
Definition VPlan.h:298
VPBlockBase * getEnclosingBlockWithPredecessors()
Definition VPlan.cpp:220
bool hasSuccessors() const
Returns true if this block has any successors.
Definition VPlan.h:223
const VPBlocksTy & getPredecessors() const
Definition VPlan.h:230
VPlan * getPlan()
Definition VPlan.h:199
const std::string & getName() const
Definition VPlan.h:186
VPBlockBase * getSinglePredecessor() const
Definition VPlan.h:241
const VPBlocksTy & getHierarchicalSuccessors()
Definition VPlan.h:265
VPBlockBase * getEnclosingBlockWithSuccessors()
An Enclosing Block of a block B is any block containing B, including B itself.
Definition VPlan.cpp:212
const VPBasicBlock * getEntryBasicBlock() const
Definition VPlan.cpp:183
VPBlockBase * getSingleSuccessor() const
Definition VPlan.h:235
const VPBlocksTy & getSuccessors() const
Definition VPlan.h:219
VPBlockBase(VPBlockTy SC, const std::string &N)
Definition VPlan.h:392
static void insertBlockAfter(VPBlockBase *NewBlock, VPBlockBase *BlockPtr)
Insert disconnected VPBlockBase NewBlock after BlockPtr.
Definition VPlanUtils.h:303
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:348
static void disconnectBlocks(VPBlockBase *From, VPBlockBase *To)
Disconnect VPBlockBases From and To bi-directionally.
Definition VPlanUtils.h:366
static auto blocksOnly(T &&Range)
Return an iterator range over Range which only includes BlockTy blocks.
Definition VPlanUtils.h:414
static void transferSuccessors(VPBlockBase *Old, VPBlockBase *New)
Transfer successors from Old to New. New must have no successors.
Definition VPlanUtils.h:398
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:656
A recipe for generating conditional branches on the bits of a mask.
Definition VPlan.h:3521
VPInstruction * createOverflowingOp(unsigned Opcode, ArrayRef< VPValue * > Operands, VPRecipeWithIRFlags::WrapFlagsTy WrapFlags={false, false}, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="")
VPPhi * createScalarPhi(ArrayRef< VPValue * > IncomingValues, DebugLoc DL=DebugLoc::getUnknown(), const Twine &Name="", std::optional< VPIRFlags > Flags=std::nullopt, Type *ResultTy=nullptr)
Create a phi with IncomingValues, using the default flags for the result type, unless Flags is set.
This class augments a recipe with a set of VPValues defined by the recipe.
Definition VPlanValue.h:508
A special type of VPBasicBlock that wraps an existing IR basic block.
Definition VPlan.h:4582
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPBasicBlock,...
Definition VPlan.cpp:441
BasicBlock * getIRBasicBlock() const
Definition VPlan.h:4606
VPIRBasicBlock * clone() override
Clone the current block and it's recipes, without updating the operands of the cloned recipes.
Definition VPlan.cpp:466
static LLVM_ABI_FOR_TEST VPIRInstruction * create(Instruction &I)
Create a new VPIRPhi for \I , if it is a PHINode, otherwise create a VPIRInstruction.
This is a concrete Recipe that models a single VPlan-level instruction.
Definition VPlan.h:1282
In what follows, the term "input IR" refers to code that is fed into the vectorizer whereas the term ...
static VPLane getLastLaneForVF(const ElementCount &VF)
Value * getAsRuntimeExpr(IRBuilderBase &Builder, const ElementCount &VF) const
Returns an expression describing the lane index that can be used at runtime.
Definition VPlan.cpp:81
bool isFirstLane() const
Returns true if this is the first lane of the whole vector.
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...
unsigned mapToCacheIndex(const ElementCount &VF) const
Maps the lane to a cache index based on VF.
LLVM_ABI_FOR_TEST VPMultiDefValue(VPRecipeBase *Def, Value *UV, Type *Ty)
Definition VPlan.cpp:172
~VPMultiDefValue() override
Definition VPlan.cpp:178
VPRecipeBase is a base class modeling a sequence of one or more output IR instructions.
Definition VPlan.h:403
void dump() const
Dump the recipe to stderr (for debugging).
Definition VPlan.cpp:110
VPBasicBlock * getParent()
Definition VPlan.h:475
void print(raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const
Print the recipe, delegating to printRecipe().
virtual LLVM_ABI_FOR_TEST ~VPRecipeValue()=0
Definition VPlan.cpp:157
VPRecipeValue(unsigned char SC, Value *UV, Type *Ty=nullptr)
Definition VPlanValue.h:342
VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-S...
Definition VPlan.h:4654
VPRegionBlock * clone() override
Clone all blocks in the single-entry single-exit region of the block and their recipes without updati...
Definition VPlan.cpp:713
const VPBlockBase * getEntry() const
Definition VPlan.h:4698
void dissolveToCFGLoop()
Remove the current region from its VPlan, connecting its predecessor to its entry,...
Definition VPlan.cpp:822
bool isReplicator() const
An indicator whether this region is to generate multiple replicated instances of output IR correspond...
Definition VPlan.h:4730
VPRegionValue * createHeaderMask()
Create the header mask for the region and return it.
Definition VPlan.h:4801
VPRegionValue * getUsedHeaderMask() const
Return the header mask if it exists and is used, or null otherwise.
Definition VPlan.h:4794
VPInstruction * getOrCreateCanonicalIVIncrement()
Get the canonical IV increment instruction if it exists.
Definition VPlan.cpp:848
InstructionCost cost(ElementCount VF, VPCostContext &Ctx) override
Return the cost of the block.
Definition VPlan.cpp:763
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:799
Type * getCanonicalIVType() const
Return the type of the canonical IV for loop regions.
Definition VPlan.h:4782
const VPBranchOnMaskRecipe * getEntryBranchOnMask() const
Return the VPBranchOnMaskRecipe from the entry block of this replicating region.
Definition VPlan.cpp:706
bool hasCanonicalIVNUW() const
Indicates if NUW is set for the canonical IV increment, for loop regions.
Definition VPlan.h:4818
void execute(VPTransformState *State) override
The method which generates the output IR instructions that correspond to this VPRegionBlock,...
Definition VPlan.cpp:733
VPRegionValue * getCanonicalIV()
Return the canonical induction variable of the region, null for replicating regions.
Definition VPlan.h:4774
const VPBlockBase * getExiting() const
Definition VPlan.h:4710
VPRegionValue * getHeaderMask() const
Return the header mask of the region, or null if not set.
Definition VPlan.h:4787
friend class VPlan
Definition VPlan.h:4655
VPValues are defined by a VPRegionBlock, like the canonical IV.
Definition VPlanValue.h:247
DebugLoc getDebugLoc() const
Returns the debug location of the VPRegionValue.
Definition VPlanValue.h:262
VPReplicateRecipe replicates a given instruction producing multiple scalar copies of the original sca...
Definition VPlan.h:3412
VPSingleDefRecipe is a base class for recipes that model a sequence of one or more output IR that def...
Definition VPlan.h:611
VPSingleDefValue(VPSingleDefRecipe *Def, Value *UV=nullptr, Type *Ty=nullptr)
Construct a VPSingleDefValue. Must only be used by VPSingleDefRecipe.
Definition VPlan.cpp:162
~VPSingleDefValue() override
Definition VPlan.cpp:168
friend class VPSingleDefRecipe
Definition VPlanValue.h:360
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:1601
const Module * getModule() const
Returns the module the plan operates on, if any.
void printMetadataAsOperand(raw_ostream &O, const MDNode *N)
Print a reference to metadata node N to O.
Definition VPlan.cpp:1597
A symbolic live-in VPValue, used for values like vector trip count, VF, and VFxUF.
Definition VPlanValue.h:212
Type * getType() const
Returns the scalar type of this symbolic value.
Definition VPlanValue.h:227
This class augments VPValue with operands which provide the inverse def-use edges from VPValue's user...
Definition VPlanValue.h:396
void replaceUsesOfWith(VPValue *From, VPValue *To)
Replaces all uses of From in the VPUser with To.
Definition VPlan.cpp:1485
void printOperands(raw_ostream &O, VPSlotTracker &SlotTracker) const
Print the operands to O.
Definition VPlan.cpp:1497
operand_range operands()
Definition VPlanValue.h:472
void setOperand(unsigned I, VPValue *New)
Definition VPlanValue.h:445
unsigned getNumOperands() const
Definition VPlanValue.h:436
VPValue * getOperand(unsigned N) const
Definition VPlanValue.h:437
This is the base class of the VPlan Def/Use graph, used for modeling the data flow into,...
Definition VPlanValue.h:50
Type * getScalarType() const
Returns the scalar type of this VPValue, dispatching based on the concrete subclass.
Definition VPlan.cpp:142
Value * getLiveInIRValue() const
Return the underlying IR value for a VPIRValue.
Definition VPlan.cpp:136
bool isDefinedOutsideLoopRegions() const
Returns true if the VPValue is defined outside any loop.
Definition VPlan.cpp:1449
unsigned getVPValueID() const
Definition VPlanValue.h:101
VPRecipeBase * getDefiningRecipe()
Returns the recipe defining this VPValue or nullptr if it is not defined by a recipe,...
Definition VPlan.cpp:123
void printAsOperand(raw_ostream &OS, VPSlotTracker &Tracker) const
Definition VPlan.cpp:1493
void assertNotMaterialized() const
Assert that this VPValue has not been materialized, if it is a VPSymbolicValue.
Definition VPlanValue.h:580
Value * getUnderlyingValue() const
Return the underlying Value attached to this VPValue.
Definition VPlanValue.h:75
void replaceUsesWithIf(VPValue *New, llvm::function_ref< bool(VPUser *U)> ShouldReplace)
Go through the uses list for this VPValue and make each use point to New if the callback ShouldReplac...
Definition VPlan.cpp:1458
bool user_empty() const
Definition VPlanValue.h:161
@ VPVSingleDefValueSC
A symbolic live-in VPValue without IR backing.
Definition VPlanValue.h:85
@ VPVSymbolicSC
A live-in VPValue wrapping an IR Value.
Definition VPlanValue.h:84
@ VPRegionValueSC
A VPValue defined by a multi-def recipe.
Definition VPlanValue.h:87
@ VPVMultiDefValueSC
A VPValue defined by a VPSingleDefRecipe.
Definition VPlanValue.h:86
void dump() const
Dump the value to stderr (for debugging).
Definition VPlan.cpp:102
void print(raw_ostream &OS, VPSlotTracker &Tracker) const
Definition VPlan.cpp:95
void replaceAllUsesWith(VPValue *New)
Definition VPlan.cpp:1452
unsigned getNumUsers() const
Definition VPlanValue.h:115
LLVM_DUMP_METHOD void dump()
Definition VPlan.cpp:1311
VPlan models a candidate for vectorization, encoding various decisions take to produce efficient outp...
Definition VPlan.h:4841
LLVM_ABI_FOR_TEST void printDOT(raw_ostream &O) const
Print this VPlan in DOT format to O.
Definition VPlan.cpp:1148
friend class VPSlotTracker
Definition VPlan.h:4843
std::string getName() const
Return a string with the name of the plan and the applicable VFs and UFs.
Definition VPlan.cpp:1124
VPBasicBlock * getEntry()
Definition VPlan.h:4937
Type * getIndexType() const
The type of the canonical induction variable of the vector loop.
Definition VPlan.h:5290
void setName(const Twine &newName)
Definition VPlan.h:5123
LLVM_ABI_FOR_TEST ~VPlan()
Definition VPlan.cpp:876
bool isExitBlock(VPBlockBase *VPBB)
Returns true if VPBB is an exit block.
Definition VPlan.cpp:895
friend class VPlanPrinter
Definition VPlan.h:4842
VPSymbolicValue & getVFxUF()
Returns VF * UF of the vector loop region.
Definition VPlan.h:5049
VPIRBasicBlock * createEmptyVPIRBasicBlock(BasicBlock *IRBB)
Create a VPIRBasicBlock wrapping IRBB, but do not create VPIRInstructions wrapping the instructions i...
Definition VPlan.cpp:1288
auto getLiveIns() const
Return the list of live-in VPValues available in the VPlan.
Definition VPlan.h:5187
ArrayRef< VPIRBasicBlock * > getExitBlocks() const
Return an ArrayRef containing VPIRBasicBlocks wrapping the exit blocks of the original scalar loop.
Definition VPlan.h:5003
LLVM_ABI_FOR_TEST VPRegionBlock * getVectorLoopRegion()
Returns the VPRegionBlock of the vector loop.
Definition VPlan.cpp:1030
bool hasEarlyExit() const
Returns true if the VPlan is based on a loop with an early exit.
Definition VPlan.h:5260
InstructionCost cost(ElementCount VF, VPCostContext &Ctx)
Return the cost of this plan.
Definition VPlan.cpp:1012
LLVM_ABI_FOR_TEST bool isOuterLoop() const
Returns true if this VPlan is for an outer loop, i.e., its vector loop region contains a nested loop ...
Definition VPlan.cpp:1054
unsigned getConcreteUF() const
Returns the concrete UF of the plan, after unrolling.
Definition VPlan.h:5105
void setEntry(VPBasicBlock *VPBB)
Definition VPlan.h:4926
VPBasicBlock * createVPBasicBlock(const Twine &Name, VPRecipeBase *Recipe=nullptr)
Create a new VPBasicBlock with Name and containing Recipe if present.
Definition VPlan.h:5210
LLVM_ABI_FOR_TEST VPIRBasicBlock * createVPIRBasicBlock(BasicBlock *IRBB)
Create a VPIRBasicBlock from IRBB containing VPIRInstructions for all instructions in IRBB,...
Definition VPlan.cpp:1296
LLVM_DUMP_METHOD void dump() const
Dump the plan to stderr (for debugging).
Definition VPlan.cpp:1154
VPBasicBlock * getScalarPreheader() const
Return the VPBasicBlock for the preheader of the scalar loop.
Definition VPlan.h:4993
void execute(VPTransformState *State)
Generate the IR code for this VPlan.
Definition VPlan.cpp:905
LLVM_ABI_FOR_TEST void print(raw_ostream &O) const
Print this VPlan to O.
Definition VPlan.cpp:1107
VPIRBasicBlock * getScalarHeader() const
Return the VPIRBasicBlock wrapping the header of the scalar loop.
Definition VPlan.h:4999
void printLiveIns(raw_ostream &O) const
Print the live-ins of this VPlan to O.
Definition VPlan.cpp:1063
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:1195
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:257
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:319
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
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.
LLVM_ABI std::string EscapeString(const std::string &Label)
@ BasicBlock
Various leaf nodes.
Definition ISDOpcodes.h:83
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::BranchOnCond > m_BranchOnCond()
BranchProbability getExecutionProbability(BlockFrequency Freq)
Returns Freq as a BranchProbability, relative to the full mass.
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...
VPInstruction * findCanonicalIVIncrement(VPlan &Plan)
Find the canonical IV increment of Plan's vector loop region.
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:846
LLVM_ABI cl::opt< bool > ProfcheckDisableMetadataFixes
Definition LoopInfo.cpp:60
detail::zippy< detail::zip_first, T, U, Args... > zip_equal(T &&t, U &&u, Args &&...args)
zip iterator that assumes that all iteratees have the same length.
Definition STLExtras.h:856
InstructionCost Cost
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are tuples (A, B,...
Definition STLExtras.h:2570
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
VPBuilderBase<> VPBuilder
Definition VPlan.h:67
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:2329
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:649
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:250
auto make_isa_range(RangeT &&Range)
Return a range over Range containing only elements for which isa<T> holds, casting each of them to T.
Definition STLExtras.h:567
constexpr T divideNearest(U Numerator, V Denominator)
Returns (Numerator / Denominator) rounded by round-half-up.
Definition MathExtras.h:453
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:1762
auto reverse(ContainerTy &&C)
Definition STLExtras.h:408
bool isa_and_present(const Y &Val)
isa_and_present<X> - Functionally identical to isa, except that a null value is accepted.
Definition Casting.h:669
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:209
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:1769
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:1807
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
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.
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:2035
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:1788
constexpr auto seq(T Begin, T End)
Iterate over an integral type from Begin up to - but not including - End.
Definition Sequence.h:341
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1963
ArrayRef< Type * > getContainedTypes(Type *const &Ty)
Returns the types contained in Ty.
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
#define N
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
A range of powers-of-2 vectorization factors with fixed start and adjustable end.
Struct to hold various analysis needed for cost computations.
uint64_t getCostDivisor(std::optional< VPExecutionFrequency > Freq) const
Definition VPlan.cpp:1920
TargetTransformInfo::OperandValueInfo getOperandInfo(VPValue *V) const
Returns the OperandInfo for V, if it is a live-in.
Definition VPlan.cpp:1818
static bool isFreeScalarIntrinsic(Intrinsic::ID ID)
Returns true if ID is a pseudo intrinsic that is dropped via scalarization rather than widened.
Definition VPlan.cpp:1911
static bool executesAtMostOnce(const VPlan &Plan, ElementCount VF)
Returns true if the vector loop body of Plan is known to execute at most once at VF,...
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:1835
TargetTransformInfo::TargetCostKind CostKind
VPSlotTracker * getSlotTracker()
Return a VPSlotTracker to re-use for printing, lazily constructing it on first use.
Definition VPlan.cpp:1826
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:1873
const VectorizeOptions & Opts
A VPValue representing a live-in from the input IR or a constant.
Definition VPlanValue.h:274
Type * getType() const
Returns the type of the underlying IR value.
Definition VPlan.cpp:140
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.
void fixupHeaderPhis()
Add the backedge (latch) incoming value to the canonical, reduction and first-order recurrence phis i...
Definition VPlan.cpp:331
struct llvm::VPTransformState::DataState Data
struct llvm::VPTransformState::CFGState CFG
IRBuilderBase & Builder
Hold a reference to the IRBuilder used to generate output IR code.
bool hasScalarValue(const VPValue *Def, VPLane Lane)
Value * get(const VPValue *Def, bool NeedsSingleScalar=false)
Get the generated vector Value for a given VPValue Def if NeedsSingleScalar is false,...
Definition VPlan.cpp:270
const TargetTransformInfo * TTI
Target Transform Info.
VPTransformState(const TargetTransformInfo *TTI, ElementCount VF, LoopInfo *LI, DominatorTree *DT, AssumptionCache *AC, IRBuilderBase &Builder, VPlan *Plan, Loop *CurrentParentLoop)
Definition VPlan.cpp:235
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.
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:309
Loop * CurrentParentLoop
The parent loop object for the current scope, or nullptr.