LLVM 19.0.0git
Public Member Functions | Static Public Member Functions | List of all members
llvm::VPRegionBlock Class Reference

VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-Single-Exiting subgraph of the output IR CFG. More...

#include "Transforms/Vectorize/VPlan.h"

Inheritance diagram for llvm::VPRegionBlock:
Inheritance graph
[legend]

Public Member Functions

 VPRegionBlock (VPBlockBase *Entry, VPBlockBase *Exiting, const std::string &Name="", bool IsReplicator=false)
 
 VPRegionBlock (const std::string &Name="", bool IsReplicator=false)
 
 ~VPRegionBlock () override
 
const VPBlockBasegetEntry () const
 
VPBlockBasegetEntry ()
 
void setEntry (VPBlockBase *EntryBlock)
 Set EntryBlock as the entry VPBlockBase of this VPRegionBlock.
 
const VPBlockBasegetExiting () const
 
VPBlockBasegetExiting ()
 
void setExiting (VPBlockBase *ExitingBlock)
 Set ExitingBlock as the exiting VPBlockBase of this VPRegionBlock.
 
VPBasicBlockgetPreheaderVPBB ()
 Returns the pre-header VPBasicBlock of the loop region.
 
bool isReplicator () const
 An indicator whether this region is to generate multiple replicated instances of output IR corresponding to its VPBlockBases.
 
void execute (VPTransformState *State) override
 The method which generates the output IR instructions that correspond to this VPRegionBlock, thereby "executing" the VPlan.
 
void dropAllReferences (VPValue *NewValue) override
 Replace all operands of VPUsers in the block with NewValue and also replaces all uses of VPValues defined in the block with NewValue.
 
void print (raw_ostream &O, const Twine &Indent, VPSlotTracker &SlotTracker) const override
 Print this VPRegionBlock to O (recursively), prefixing all lines with Indent.
 
VPRegionBlockclone () override
 Clone all blocks in the single-entry single-exit region of the block and their recipes without updating the operands of the cloned recipes.
 
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.
 
void print (raw_ostream &O) const
 Print plain-text dump of this VPlan to O.
 
- Public Member Functions inherited from llvm::VPBlockBase
virtual ~VPBlockBase ()=default
 
const std::string & getName () const
 
void setName (const Twine &newName)
 
unsigned getVPBlockID () const
 
VPRegionBlockgetParent ()
 
const VPRegionBlockgetParent () const
 
VPlangetPlan ()
 
const VPlangetPlan () const
 
void setPlan (VPlan *ParentPlan)
 Sets the pointer of the plan containing the block.
 
void setParent (VPRegionBlock *P)
 
const VPBasicBlockgetEntryBasicBlock () const
 
VPBasicBlockgetEntryBasicBlock ()
 
const VPBasicBlockgetExitingBasicBlock () const
 
VPBasicBlockgetExitingBasicBlock ()
 
const VPBlocksTygetSuccessors () const
 
VPBlocksTygetSuccessors ()
 
iterator_range< VPBlockBase ** > successors ()
 
const VPBlocksTygetPredecessors () const
 
VPBlocksTygetPredecessors ()
 
VPBlockBasegetSingleSuccessor () const
 
VPBlockBasegetSinglePredecessor () const
 
size_t getNumSuccessors () const
 
size_t getNumPredecessors () const
 
VPBlockBasegetEnclosingBlockWithSuccessors ()
 An Enclosing Block of a block B is any block containing B, including B itself.
 
VPBlockBasegetEnclosingBlockWithPredecessors ()
 
const VPBlocksTygetHierarchicalSuccessors ()
 
VPBlockBasegetSingleHierarchicalSuccessor ()
 
const VPBlocksTygetHierarchicalPredecessors ()
 
VPBlockBasegetSingleHierarchicalPredecessor ()
 
void setOneSuccessor (VPBlockBase *Successor)
 Set a given VPBlockBase Successor as the single successor of this VPBlockBase.
 
void setTwoSuccessors (VPBlockBase *IfTrue, VPBlockBase *IfFalse)
 Set two given VPBlockBases IfTrue and IfFalse to be the two successors of this VPBlockBase.
 
void setPredecessors (ArrayRef< VPBlockBase * > NewPreds)
 Set each VPBasicBlock in NewPreds as predecessor of this VPBlockBase.
 
void clearPredecessors ()
 Remove all the predecessor of this block.
 
void clearSuccessors ()
 Remove all the successors of this block.
 
virtual void execute (VPTransformState *State)=0
 The method which generates the output IR that correspond to this VPBlockBase, thereby "executing" the VPlan.
 
bool isLegalToHoistInto ()
 Return true if it is legal to hoist instructions into this block.
 
virtual void dropAllReferences (VPValue *NewValue)=0
 Replace all operands of VPUsers in the block with NewValue and also replaces all uses of VPValues defined in the block with NewValue.
 
void printAsOperand (raw_ostream &OS, bool PrintType) const
 
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.
 
void print (raw_ostream &O) const
 Print plain-text dump of this VPlan to O.
 
void printSuccessors (raw_ostream &O, const Twine &Indent) const
 Print the successors of this block to O, prefixing all lines with Indent.
 
LLVM_DUMP_METHOD void dump () const
 Dump this VPBlockBase to dbgs().
 
virtual VPBlockBaseclone ()=0
 Clone the current block and it's recipes without updating the operands of the cloned recipes, including all blocks in the single-entry single-exit region for VPRegionBlocks.
 

Static Public Member Functions

static bool classof (const VPBlockBase *V)
 Method to support type inquiry through isa, cast, and dyn_cast.
 
- Static Public Member Functions inherited from llvm::VPBlockBase
static void deleteCFG (VPBlockBase *Entry)
 Delete all blocks reachable from a given VPBlockBase, inclusive.
 

Additional Inherited Members

- Public Types inherited from llvm::VPBlockBase
using VPBlockTy = enum { VPBasicBlockSC, VPRegionBlockSC }
 An enumeration for keeping track of the concrete subclass of VPBlockBase that are actually instantiated.
 
using VPBlocksTy = SmallVectorImpl< VPBlockBase * >
 
- Protected Member Functions inherited from llvm::VPBlockBase
 VPBlockBase (const unsigned char SC, const std::string &N)
 

Detailed Description

VPRegionBlock represents a collection of VPBasicBlocks and VPRegionBlocks which form a Single-Entry-Single-Exiting subgraph of the output IR CFG.

A VPRegionBlock may indicate that its contents are to be replicated several times. This is designed to support predicated scalarization, in which a scalar if-then code structure needs to be generated VF * UF times. Having this replication indicator helps to keep a single model for multiple candidate VF's. The actual replication takes place only once the desired VF and UF have been determined.

Definition at line 2751 of file VPlan.h.

Constructor & Destructor Documentation

◆ VPRegionBlock() [1/2]

llvm::VPRegionBlock::VPRegionBlock ( VPBlockBase Entry,
VPBlockBase Exiting,
const std::string &  Name = "",
bool  IsReplicator = false 
)
inline

◆ VPRegionBlock() [2/2]

llvm::VPRegionBlock::VPRegionBlock ( const std::string &  Name = "",
bool  IsReplicator = false 
)
inline

Definition at line 2773 of file VPlan.h.

◆ ~VPRegionBlock()

llvm::VPRegionBlock::~VPRegionBlock ( )
inlineoverride

Definition at line 2777 of file VPlan.h.

References llvm::VPBlockBase::deleteCFG().

Member Function Documentation

◆ classof()

static bool llvm::VPRegionBlock::classof ( const VPBlockBase V)
inlinestatic

Method to support type inquiry through isa, cast, and dyn_cast.

Definition at line 2786 of file VPlan.h.

◆ clone()

VPRegionBlock * VPRegionBlock::clone ( )
overridevirtual

Clone all blocks in the single-entry single-exit region of the block and their recipes without updating the operands of the cloned recipes.

Implements llvm::VPBlockBase.

Definition at line 675 of file VPlan.cpp.

References llvm::Block, cloneSESE(), getName(), and llvm::vp_depth_first_shallow().

◆ dropAllReferences()

void VPRegionBlock::dropAllReferences ( VPValue NewValue)
overridevirtual

Replace all operands of VPUsers in the block with NewValue and also replaces all uses of VPValues defined in the block with NewValue.

Implements llvm::VPBlockBase.

Definition at line 684 of file VPlan.cpp.

References llvm::Block, and llvm::vp_depth_first_shallow().

◆ execute()

void VPRegionBlock::execute ( VPTransformState State)
overridevirtual

◆ getEntry() [1/2]

VPBlockBase * llvm::VPRegionBlock::getEntry ( )
inline

Definition at line 2791 of file VPlan.h.

◆ getEntry() [2/2]

const VPBlockBase * llvm::VPRegionBlock::getEntry ( ) const
inline

◆ getExiting() [1/2]

VPBlockBase * llvm::VPRegionBlock::getExiting ( )
inline

Definition at line 2803 of file VPlan.h.

◆ getExiting() [2/2]

const VPBlockBase * llvm::VPRegionBlock::getExiting ( ) const
inline

◆ getPreheaderVPBB()

VPBasicBlock * llvm::VPRegionBlock::getPreheaderVPBB ( )
inline

◆ isReplicator()

bool llvm::VPRegionBlock::isReplicator ( ) const
inline

An indicator whether this region is to generate multiple replicated instances of output IR corresponding to its VPBlockBases.

Definition at line 2822 of file VPlan.h.

Referenced by getPreheaderVPBB(), hasConditionalTerminator(), llvm::InnerLoopVectorizer::scalarizeInstruction(), and verifyPhiRecipes().

◆ print() [1/3]

void llvm::VPBlockBase::print ( raw_ostream O) const
inline

Print plain-text dump of this VPlan to O.

Definition at line 652 of file VPlan.h.

◆ print() [2/3]

void VPRegionBlock::print ( raw_ostream O,
const Twine Indent,
VPSlotTracker SlotTracker 
) const
overridevirtual

Print this VPRegionBlock to O (recursively), prefixing all lines with Indent.

SlotTracker is used to print unnamed VPValue's using consequtive numbers.

Note that the numbering is applied to the whole VPlan, so printing individual regions is consistent with the whole VPlan printing.

Implements llvm::VPBlockBase.

Definition at line 743 of file VPlan.cpp.

References getName(), and llvm::vp_depth_first_shallow().

◆ print() [3/3]

virtual void llvm::VPBlockBase::print ( raw_ostream O,
const Twine Indent,
VPSlotTracker SlotTracker 
) const
virtual

Print plain-text dump of this VPBlockBase to O, prefixing all lines with Indent.

SlotTracker is used to print unnamed VPValue's using consequtive numbers.

Note that the numbering is applied to the whole VPlan, so printing individual blocks is consistent with the whole VPlan printing.

Implements llvm::VPBlockBase.

◆ setEntry()

void llvm::VPRegionBlock::setEntry ( VPBlockBase EntryBlock)
inline

Set EntryBlock as the entry VPBlockBase of this VPRegionBlock.

EntryBlock must have no predecessors.

Definition at line 2795 of file VPlan.h.

References assert(), llvm::SmallVectorBase< Size_T >::empty(), llvm::VPBlockBase::getPredecessors(), and llvm::VPBlockBase::setParent().

◆ setExiting()

void llvm::VPRegionBlock::setExiting ( VPBlockBase ExitingBlock)
inline

Set ExitingBlock as the exiting VPBlockBase of this VPRegionBlock.

ExitingBlock must have no successors.

Definition at line 2807 of file VPlan.h.

References assert(), llvm::SmallVectorBase< Size_T >::empty(), llvm::VPBlockBase::getSuccessors(), and llvm::VPBlockBase::setParent().


The documentation for this class was generated from the following files: