Block represents an ordered list of Operations. More...

#include "mlir/IR/Block.h"

Inheritance diagram for mlir::Block:

Public Types
using	BlockArgListType = MutableArrayRef< BlockArgument >

using	args_iterator = BlockArgListType::iterator

using	reverse_args_iterator = BlockArgListType::reverse_iterator

using	OpListType = llvm::iplist< Operation >
	This is the list of operations in the block. More...

using	iterator = OpListType::iterator

using	reverse_iterator = OpListType::reverse_iterator

template<typename OpT >
using	op_iterator = detail::op_iterator< OpT, iterator >
	This class provides iteration over the held operations of a block for a specific operation type. More...

using	pred_iterator = PredecessorIterator

using	succ_iterator = SuccessorRange::iterator

Public Types inherited from mlir::IRObjectWithUseList< BlockOperand >
using	use_iterator = ValueUseIterator< BlockOperand >

using	use_range = iterator_range< use_iterator >

using	user_iterator = ValueUserIterator< use_iterator, BlockOperand >

using	user_range = iterator_range< user_iterator >

Public Member Functions
	Block ()=default

	~Block ()

void	clear ()

Region *	getParent () const
	Provide a 'getParent' method for ilist_node_with_parent methods. More...

Operation *	getParentOp ()
	Returns the closest surrounding operation that contains this block. More...

bool	isEntryBlock ()
	Return if this block is the entry block in the parent region. More...

void	insertBefore (Block *block)
	Insert this block (which must not already be in a region) right before the specified block. More...

void	insertAfter (Block *block)
	Insert this block (which must not already be in a region) right after the specified block. More...

void	moveBefore (Block *block)
	Unlink this block from its current region and insert it right before the specific block. More...

void	erase ()
	Unlink this Block from its parent region and delete it. More...

BlockArgListType	getArguments ()

ValueTypeRange< BlockArgListType >	getArgumentTypes ()
	Return a range containing the types of the arguments for this block. More...

args_iterator	args_begin ()

args_iterator	args_end ()

reverse_args_iterator	args_rbegin ()

reverse_args_iterator	args_rend ()

bool	args_empty ()

BlockArgument	addArgument (Type type, Location loc)
	Add one value to the argument list. More...

BlockArgument	insertArgument (args_iterator it, Type type, Location loc)
	Insert one value to the position in the argument list indicated by the given iterator. More...

iterator_range< args_iterator >	addArguments (TypeRange types, ArrayRef< Location > locs)
	Add one argument to the argument list for each type specified in the list. More...

BlockArgument	insertArgument (unsigned index, Type type, Location loc)
	Add one value to the argument list at the specified position. More...

void	eraseArgument (unsigned index)
	Erase the argument at 'index' and remove it from the argument list. More...

void	eraseArguments (unsigned start, unsigned num)
	Erases 'num' arguments from the index 'start'. More...

void	eraseArguments (const BitVector &eraseIndices)
	Erases the arguments that have their corresponding bit set in `eraseIndices` and removes them from the argument list. More...

void	eraseArguments (function_ref< bool(BlockArgument)> shouldEraseFn)
	Erases arguments using the given predicate. More...

unsigned	getNumArguments ()

BlockArgument	getArgument (unsigned i)

OpListType &	getOperations ()

iterator	begin ()

iterator	end ()

reverse_iterator	rbegin ()

reverse_iterator	rend ()

bool	empty ()

void	push_back (Operation *op)

void	push_front (Operation *op)

Operation &	back ()

Operation &	front ()

Operation *	findAncestorOpInBlock (Operation &op)
	Returns 'op' if 'op' lies in this block, or otherwise finds the ancestor operation of 'op' that lies in this block. More...

void	dropAllReferences ()
	This drops all operand uses from operations within this block, which is an essential step in breaking cyclic dependences between references when they are to be deleted. More...

void	dropAllDefinedValueUses ()
	This drops all uses of values defined in this block or in the blocks of nested regions wherever the uses are located. More...

bool	isOpOrderValid ()
	Returns true if the ordering of the child operations is valid, false otherwise. More...

void	invalidateOpOrder ()
	Invalidates the current ordering of operations. More...

bool	verifyOpOrder ()
	Verifies the current ordering of child operations matches the validOpOrder flag. More...

void	recomputeOpOrder ()
	Recomputes the ordering of child operations within the block. More...

template<typename OpT >
iterator_range< op_iterator< OpT > >	getOps ()
	Return an iterator range over the operations within this block that are of 'OpT'. More...

template<typename OpT >
op_iterator< OpT >	op_begin ()

template<typename OpT >
op_iterator< OpT >	op_end ()

iterator_range< iterator >	without_terminator ()
	Return an iterator range over the operation within this block excluding the terminator operation at the end. More...

Operation *	getTerminator ()
	Get the terminator operation of this block. More...

bool	mightHaveTerminator ()
	Check whether this block might have a terminator. More...

pred_iterator	pred_begin ()

pred_iterator	pred_end ()

iterator_range< pred_iterator >	getPredecessors ()

bool	hasNoPredecessors ()
	Return true if this block has no predecessors. More...

bool	hasNoSuccessors ()
	Returns true if this blocks has no successors. More...

Block *	getSinglePredecessor ()
	If this block has exactly one predecessor, return it. More...

Block *	getUniquePredecessor ()
	If this block has a unique predecessor, i.e., all incoming edges originate from one block, return it. More...

unsigned	getNumSuccessors ()

Block *	getSuccessor (unsigned i)

succ_iterator	succ_begin ()

succ_iterator	succ_end ()

SuccessorRange	getSuccessors ()

template<WalkOrder Order = WalkOrder::PostOrder, typename Iterator = ForwardIterator, typename FnT , typename RetT = detail::walkResultType<FnT>>
RetT	walk (FnT &&callback)
	Walk the operations in this block. More...

template<WalkOrder Order = WalkOrder::PostOrder, typename Iterator = ForwardIterator, typename FnT , typename RetT = detail::walkResultType<FnT>>
std::enable_if_t< std::is_same< RetT, void >::value, RetT >	walk (Block::iterator begin, Block::iterator end, FnT &&callback)
	Walk the operations in the specified [begin, end) range of this block. More...

template<WalkOrder Order = WalkOrder::PostOrder, typename Iterator = ForwardIterator, typename FnT , typename RetT = detail::walkResultType<FnT>>
std::enable_if_t< std::is_same< RetT, WalkResult >::value, RetT >	walk (Block::iterator begin, Block::iterator end, FnT &&callback)
	Walk the operations in the specified [begin, end) range of this block. More...

Block *	splitBlock (iterator splitBefore)
	Split the block into two blocks before the specified operation or iterator. More...

Block *	splitBlock (Operation *splitBeforeOp)

void	print (raw_ostream &os)

void	print (raw_ostream &os, AsmState &state)

void	dump ()

void	printAsOperand (raw_ostream &os, bool printType=true)
	Print out the name of the block without printing its body. More...

void	printAsOperand (raw_ostream &os, AsmState &state)

Public Member Functions inherited from mlir::IRObjectWithUseList< BlockOperand >
	~IRObjectWithUseList ()

void	dropAllUses ()
	Drop all uses of this object from their respective owners. More...

void	replaceAllUsesWith (ValueT &&newValue)
	Replace all uses of 'this' value with the new value, updating anything in the IR that uses 'this' to use the other value instead. More...

void	shuffleUseList (ArrayRef< unsigned > indices)
	Shuffle the use-list chain according to the provided indices vector, which need to represent a valid shuffle. More...

use_iterator	use_begin () const

use_iterator	use_end () const

use_range	getUses () const
	Returns a range of all uses, which is useful for iterating over all uses. More...

bool	hasOneUse () const
	Returns true if this value has exactly one use. More...

bool	use_empty () const
	Returns true if this value has no uses. More...

user_iterator	user_begin () const

user_iterator	user_end () const

user_range	getUsers () const
	Returns a range of all users. More...

Static Public Member Functions
static OpListType Block::*	getSublistAccess (Operation *)
	Returns pointer to member of operation list. More...

Friends
struct	llvm::ilist_traits< Block >

Additional Inherited Members
Protected Member Functions inherited from mlir::IRObjectWithUseList< BlockOperand >
	IRObjectWithUseList ()=default

BlockOperand *	getFirstUse () const
	Return the first operand that is using this value, for use by custom use/def iterators. More...

Detailed Description

Block represents an ordered list of Operations.

Definition at line 29 of file Block.h.

Member Typedef Documentation

◆ args_iterator

using mlir::Block::args_iterator = BlockArgListType::iterator

Definition at line 85 of file Block.h.

◆ BlockArgListType

using mlir::Block::BlockArgListType = MutableArrayRef<BlockArgument>

Definition at line 78 of file Block.h.

◆ iterator

using mlir::Block::iterator = OpListType::iterator

Definition at line 133 of file Block.h.

◆ op_iterator

template<typename OpT >

using mlir::Block::op_iterator = detail::op_iterator<OpT, iterator>

This class provides iteration over the held operations of a block for a specific operation type.

Definition at line 181 of file Block.h.

◆ OpListType

using mlir::Block::OpListType = llvm::iplist<Operation>

This is the list of operations in the block.

Definition at line 129 of file Block.h.

◆ pred_iterator

using mlir::Block::pred_iterator = PredecessorIterator

Definition at line 225 of file Block.h.

◆ reverse_args_iterator

using mlir::Block::reverse_args_iterator = BlockArgListType::reverse_iterator

Definition at line 86 of file Block.h.

◆ reverse_iterator

using mlir::Block::reverse_iterator = OpListType::reverse_iterator

Definition at line 134 of file Block.h.

◆ succ_iterator

using mlir::Block::succ_iterator = SuccessorRange::iterator

Definition at line 257 of file Block.h.

Constructor & Destructor Documentation

◆ Block()

mlir::Block::Block ( )

explicitdefault

Referenced by splitBlock().

◆ ~Block()

Block::~Block ( )

Definition at line 19 of file Block.cpp.

References clear(), and verifyOpOrder().

Member Function Documentation

◆ addArgument()

BlockArgument Block::addArgument	(	Type	type,
		Location	loc
	)

Add one value to the argument list.

Definition at line 147 of file Block.cpp.

Referenced by mlir::Region::addArgument(), addBlockArgumentsFromOther(), addBodyWithPayloadOp(), mlir::Region::cloneInto(), ensureDistinctSuccessors(), generateFusedElementwiseOpRegion(), mlirBlockCreate(), and transformToReduceLoop().

◆ addArguments()

auto Block::addArguments	(	TypeRange	types,
		ArrayRef< Location >	locs
	)

Add one argument to the argument list for each type specified in the list.

locs is required to have the same number of elements as types.

Definition at line 154 of file Block.cpp.

Referenced by mlir::Region::addArguments(), and mlir::OpBuilder::createBlock().

◆ args_begin()

args_iterator mlir::Block::args_begin ( )

inline

Definition at line 87 of file Block.h.

References getArguments().

◆ args_empty()

bool mlir::Block::args_empty ( )

inline

Definition at line 92 of file Block.h.

Referenced by collapseBranch().

◆ args_end()

args_iterator mlir::Block::args_end ( )

inline

Definition at line 88 of file Block.h.

References getArguments().

◆ args_rbegin()

reverse_args_iterator mlir::Block::args_rbegin ( )

inline

Definition at line 89 of file Block.h.

References getArguments().

◆ args_rend()

reverse_args_iterator mlir::Block::args_rend ( )

inline

Definition at line 90 of file Block.h.

References getArguments().

◆ back()

Operation& mlir::Block::back ( )

inline

Definition at line 145 of file Block.h.

Referenced by addAtomicRMW(), ensureDistinctSuccessors(), mlir::impl::ensureRegionTerminator(), getNumSuccessors(), getTerminator(), mlir::spirv::hasOneBranchOpTo(), inlineConvertOmpRegions(), insertCopies(), mlir::linalg::detail::isContractionBody(), matchSelectReduction(), matchSimpleReduction(), mightHaveTerminator(), mlirBlockGetTerminator(), mlir::sortTopologically(), and mlir::SuccessorRange::SuccessorRange().

◆ begin()

iterator mlir::Block::begin ( )

inline

Definition at line 136 of file Block.h.

Referenced by mlir::OpBuilder::atBlockBegin(), mlir::ImplicitLocOpBuilder::atBlockBegin(), mlir::OpTrait::SingleBlock< ConcreteType >::begin(), buildUnresolvedTargetMaterialization(), collapseBranch(), convertOmpAtomicCapture(), convertOmpAtomicUpdate(), findHighestBlockForPlacement(), generateUnrolledLoop(), getMemoryFootprintBytes(), getOps(), mlir::affine::getPerfectlyNestedLoops(), getPerfectlyNestedLoopsImpl(), handleInlinedAllocas(), mlir::spirv::isMergeBlock(), matchSelectReduction(), matchSimpleReduction(), mlirBlockInsertOwnedOperationAfter(), op_begin(), mlir::OpBuilder::OpBuilder(), promoteIfBlock(), rewriteOneForallCommonImpl(), mlir::OpBuilder::setInsertionPointToStart(), mlir::detail::ConversionPatternRewriterImpl::undoBlockActions(), JamBlockGatherer::walk(), walk(), and without_terminator().

◆ clear()

void mlir::Block::clear ( )

inline

Definition at line 35 of file Block.h.

References dropAllReferences(), and empty().

Referenced by ~Block().

◆ dropAllDefinedValueUses()

void Block::dropAllDefinedValueUses ( )

This drops all uses of values defined in this block or in the blocks of nested regions wherever the uses are located.

Definition at line 88 of file Block.cpp.

References getArguments().

Referenced by mlir::Operation::dropAllDefinedValueUses().

◆ dropAllReferences()

void Block::dropAllReferences ( )

This drops all operand uses from operations within this block, which is an essential step in breaking cyclic dependences between references when they are to be deleted.

Definition at line 83 of file Block.cpp.

References mlir::Operation::dropAllReferences().

Referenced by clear(), and mlir::Region::dropAllReferences().

◆ dump()

void Block::dump ( )

Definition at line 3883 of file AsmPrinter.cpp.

References print().

◆ empty()

bool mlir::Block::empty ( )

inline

Definition at line 141 of file Block.h.

Referenced by clear(), ensureDistinctSuccessors(), mlir::impl::ensureRegionTerminator(), getNumSuccessors(), insertArgument(), mlir::linalg::detail::isContractionBody(), mlir::spirv::isMergeBlock(), matchSelectReduction(), matchSimpleReduction(), mightHaveTerminator(), mlirBlockGetFirstOperation(), mlirBlockGetTerminator(), mlir::sortTopologically(), and mlir::SuccessorRange::SuccessorRange().

◆ end()

iterator mlir::Block::end ( )

inline

◆ erase()

void Block::erase ( )

Unlink this Block from its parent region and delete it.

Unlink this Block from its parent Region and delete it.

Definition at line 60 of file Block.cpp.

References mlir::Region::getBlocks(), and getParent().

Referenced by mlir::RewriterBase::inlineBlockBefore(), transformCyclesToSCFLoops(), and transformToStructuredCFBranches().

◆ eraseArgument()

void Block::eraseArgument ( unsigned index )

Erase the argument at 'index' and remove it from the argument list.

Definition at line 187 of file Block.cpp.

Referenced by mlir::Region::eraseArgument().

◆ eraseArguments() [1/3]

void Block::eraseArguments ( const BitVector & eraseIndices )

Erases the arguments that have their corresponding bit set in eraseIndices and removes them from the argument list.

Definition at line 204 of file Block.cpp.

References eraseArguments(), and mlir::BlockArgument::getArgNumber().

◆ eraseArguments() [2/3]

void Block::eraseArguments ( function_ref< bool(BlockArgument)> shouldEraseFn )

Erases arguments using the given predicate.

If the predicate returns true, that argument is erased.

Definition at line 209 of file Block.cpp.

◆ eraseArguments() [3/3]

void Block::eraseArguments	(	unsigned	start,
		unsigned	num
	)

Erases 'num' arguments from the index 'start'.

Definition at line 195 of file Block.cpp.

Referenced by eraseArguments(), inlineIfCase(), and transformToStructuredCFBranches().

◆ findAncestorOpInBlock()

Operation * Block::findAncestorOpInBlock ( Operation & op )

Returns 'op' if 'op' lies in this block, or otherwise finds the ancestor operation of 'op' that lies in this block.

Returns nullptr if the latter fails. TODO: This is very specific functionality that should live somewhere else, probably in Dominance.cpp.

Returns nullptr if the latter fails.

Definition at line 68 of file Block.cpp.

Referenced by mlir::bufferization::BufferPlacementAllocs::getStartOperation(), happensBefore(), neededValuesDominateInsertionPoint(), and srcAppearsBeforeDstInAncestralBlock().

◆ front()

Operation& mlir::Block::front ( )

inline

Definition at line 146 of file Block.h.

Referenced by checkTransformationPreconditions(), mlir::linalg::collapseGenericOpIterationDims(), mlir::LLVM::ModuleTranslation::convertBlock(), mlir::lsp::MLIRServer::convertFromBytecode(), generateFusedElementwiseOpRegion(), llvm::GraphTraits< Inverse< mlir::Region * > >::getEntryNode(), mlir::affine::getPerfectlyNestedLoops(), getPerfectlyNestedLoopsImpl(), mlir::spirv::isMergeBlock(), matchSelectReduction(), matchSimpleReduction(), mlirBlockGetFirstOperation(), modifyFuncOpToUseBarePtrCallingConv(), rewriteOneForallCommonImpl(), setupCoroMachinery(), transformCyclesToSCFLoops(), and transformToStructuredCFBranches().

◆ getArgument()

BlockArgument mlir::Block::getArgument ( unsigned i )

inline

Definition at line 122 of file Block.h.

Referenced by addAtomicRMW(), convertOmpReductionOp(), createAsyncDispatchFunction(), createElementFPowIFunc(), createShiftDownFunc(), eraseTerminatorSuccessorOperands(), findPayloadOp(), mlir::detail::getBranchSuccessorArgument(), injectGpuIndexOperations(), mlir::linalg::detail::isContractionBody(), makeAtomicReductionGen(), makeReductionGen(), and outlineKernelFuncImpl().

◆ getArguments()

BlockArgListType mlir::Block::getArguments ( )

inline

Definition at line 80 of file Block.h.

Referenced by addBlockArgumentsFromOther(), addBodyWithPayloadOp(), mlir::OneToNPatternRewriter::applySignatureConversion(), args_begin(), args_end(), args_rbegin(), args_rend(), mlir::bufferization::bufferizeBlockSignature(), buildGenericRegion(), mlir::Region::cloneInto(), collapseBranch(), mlir::linalg::collapseGenericOpIterationDims(), mlir::LLVM::ModuleTranslation::convertBlock(), createAsyncDispatchFunction(), createBinarySearchFunc(), createHeapSortFunc(), createPartitionFunc(), createQuickSortFunc(), createShiftDownFunc(), createSingleExitBranchRegion(), createSingleExitingLatch(), createSortStableFunc(), dropAllDefinedValueUses(), ensureDistinctSuccessors(), findPayloadOp(), mlir::sparse_tensor::FuncCallOrInlineGenerator< SubClass >::genCallOrInline(), generateFusedElementwiseOpRegion(), mlir::Region::getArguments(), mlir::RewriterBase::inlineBlockBefore(), inlineIfCase(), inlinePayload(), inlineWhileCase(), mlir::OperationEquivalence::isRegionEquivalentTo(), mlir::makeRegionIsolatedFromAbove(), matchSelectReduction(), matchSimpleReduction(), modifyFuncOpToUseBarePtrCallingConv(), mlir::outlineSingleBlockRegion(), printOperation(), regionOperatesOnMemrefValues(), mlir::replaceLoopWithNewYields(), transformCyclesToSCFLoops(), transformToReduceLoop(), and transformToStructuredCFBranches().

◆ getArgumentTypes()

auto Block::getArgumentTypes ( )

Return a range containing the types of the arguments for this block.

Definition at line 143 of file Block.cpp.

Referenced by mlir::TypeConverter::convertBlockSignature(), mlir::TypeConverter::isLegal(), mlir::makeRegionIsolatedFromAbove(), ConvertTypesInSCFForOp::matchAndRewrite(), and transformToStructuredCFBranches().

◆ getNumArguments()

unsigned mlir::Block::getNumArguments ( )

inline

Definition at line 121 of file Block.h.

Referenced by mlir::TypeConverter::convertBlockSignature(), createSingleExitingLatch(), ensureDistinctSuccessors(), findPayloadOp(), mlir::RewriterBase::inlineBlockBefore(), mlir::ConversionPatternRewriter::inlineBlockBefore(), inlineIfCase(), mlir::linalg::detail::isContractionBody(), mlir::OperationEquivalence::isRegionEquivalentTo(), mlir::makeRegionIsolatedFromAbove(), matchSimpleReduction(), mlir::outlineSingleBlockRegion(), transformToReduceLoop(), and transformToStructuredCFBranches().

◆ getNumSuccessors()

unsigned Block::getNumSuccessors ( )

Definition at line 249 of file Block.cpp.

References back(), empty(), and mlir::Operation::getNumSuccessors().

Referenced by createSingleExitBlocksForReturnLike(), getSuccessor(), isRegionExitBlock(), successorEdges(), and transformToStructuredCFBranches().

◆ getOperations()

◆ getOps()

template<typename OpT >

iterator_range<op_iterator<OpT> > mlir::Block::getOps ( )

inline

Return an iterator range over the operations within this block that are of 'OpT'.

Definition at line 186 of file Block.h.

References begin(), and end().

Referenced by generateCollapsedIndexingRegion(), generateFusedElementwiseOpRegion(), getBuiltinVariable(), getPushConstantVariable(), handleInlinedAllocas(), and updateExpandedGenericOpRegion().

◆ getParent()

Region * Block::getParent ( ) const

Provide a 'getParent' method for ilist_node_with_parent methods.

We mark it as a const function because ilist_node_with_parent specifically requires a 'getParent() const' method. Once ilist_node removes this constraint, we should drop the const to fit the rest of the MLIR const model.

Definition at line 26 of file Block.cpp.

Referenced by llvm::ilist_traits<::mlir::Block >::addNodeToList(), mlir::sparse_tensor::Merger::buildExp(), mlir::RewriterBase::cloneRegionBefore(), collectUnderlyingAddressValues(), mlir::FunctionCallBuilder::create(), mlir::OpBuilder::createBlock(), createElementFPowIFunc(), createElementIPowIFunc(), ensureDistinctSuccessors(), erase(), mlir::Region::findAncestorBlockInRegion(), mlir::detail::DominanceInfoBase< IsPostDom >::findNearestCommonDominator(), generateCopy(), getBlockNumber(), mlir::bufferization::AnalysisState::getEnclosingRepetitiveRegion(), getInsertionRegion(), mlir::dataflow::CFGEdge::getLoc(), mlir::detail::DominanceInfoBase< IsPostDom >::getNode(), getParentOp(), mlir::Operation::getParentRegion(), handleInlinedAllocas(), mlir::detail::DominanceInfoBase< IsPostDom >::hasSSADominance(), mlir::ReductionNode::initialize(), mlir::RewriterBase::inlineRegionBefore(), insertAfter(), insertBefore(), isEntryBlock(), mlir::detail::DominanceInfoBase< IsPostDom >::isReachableFromEntry(), mayBeValidWithoutTerminator(), mlirBlockDetach(), moveBefore(), mlir::detail::ConversionPatternRewriterImpl::notifyBlockIsBeingErased(), printBlock(), mlir::detail::DominanceInfoBase< IsPostDom >::properlyDominates(), mlir::PostDominanceInfo::properlyPostDominates(), llvm::ilist_traits<::mlir::Block >::removeNodeFromList(), splitBlock(), mlir::SuccessorRange::SuccessorRange(), mlir::transformCFGToSCF(), transformCyclesToSCFLoops(), transformToStructuredCFBranches(), and tryGetBlocksInSameRegion().

◆ getParentOp()

Operation * Block::getParentOp ( )

Returns the closest surrounding operation that contains this block.

Returns the closest surrounding operation that contains this block or nullptr if this block is unlinked.

Definition at line 30 of file Block.cpp.

References getParent(), and mlir::Region::getParentOp().

Referenced by mlir::affine::affineDataCopyGenerate(), mlir::bufferization::bufferizeBlockSignature(), buildPackingLoopNestImpl(), checkAndNestUnderRewriteOp(), mlir::sparse_tensor::createFuncCall(), mlir::LLVM::createGlobalString(), emitRemarkForBlock(), finalizeWhileOp(), mlir::Region::findAncestorBlockInRegion(), findHoistableMatchingExtractSlice(), findHoistableMatchingTransferRead(), getAncestorBlock(), mlir::Operation::getParentOp(), getParentsOfType(), getPhiIncomingBlock(), hoistExtractInsertSlice(), hoistTransferReadWrite(), isFnEntryBlock(), removeBufferizationAttributes(), mlir::ConversionPatternRewriter::replaceUsesOfBlockArgument(), and tryToEnforceAlignment().

◆ getPredecessors()

iterator_range<pred_iterator> mlir::Block::getPredecessors ( )

inline

Definition at line 230 of file Block.h.

References pred_begin(), and pred_end().

Referenced by mlir::LLVM::ModuleTranslation::convertBlock(), insertArgument(), and transformToReduceLoop().

◆ getSinglePredecessor()

Block * Block::getSinglePredecessor ( )

If this block has exactly one predecessor, return it.

Otherwise, return null.

Note that if a block has duplicate predecessors from a single block (e.g. if you have a conditional branch with the same block as the true/false destinations) is not considered to be a single predecessor.

Otherwise, return null.

Note that multiple edges from a single block (e.g. if you have a cond branch with the same block as the true/false destinations) is not considered to be a single predecessor.

Definition at line 264 of file Block.cpp.

References pred_begin(), and pred_end().

Referenced by transformToReduceLoop().

◆ getSublistAccess()

static OpListType Block::* mlir::Block::getSublistAccess ( Operation * )

inlinestatic

Returns pointer to member of operation list.

Definition at line 347 of file Block.h.

◆ getSuccessor()

Block * Block::getSuccessor ( unsigned i )

Definition at line 253 of file Block.cpp.

References getNumSuccessors(), mlir::Operation::getSuccessor(), and getTerminator().

Referenced by ensureDistinctSuccessors(), printOperation(), transformToReduceLoop(), and transformToStructuredCFBranches().

◆ getSuccessors()

SuccessorRange mlir::Block::getSuccessors ( )

inline

Definition at line 260 of file Block.h.

Referenced by calculateCycleEdges(), isReachable(), mergeIdenticalBlocks(), mlir::Liveness::resolveLiveness(), succ_begin(), succ_end(), and transformToStructuredCFBranches().

◆ getTerminator()

Operation * Block::getTerminator ( )

Get the terminator operation of this block.

This function asserts that the block might have a valid terminator operation.

Definition at line 238 of file Block.cpp.

References back(), and mightHaveTerminator().

Referenced by mlir::OpBuilder::atBlockTerminator(), mlir::ImplicitLocOpBuilder::atBlockTerminator(), collapseBranch(), containsReturn(), convertOmpAtomicCapture(), convertOmpAtomicUpdate(), createSingleExitBlocksForReturnLike(), ensureDistinctSuccessors(), generateUnrolledLoop(), getMutableSuccessorOperands(), getPHISourceValue(), mlir::bufferization::BufferPlacementAllocs::getStartOperation(), getSuccessor(), inlineIfCase(), inlineWhileCase(), mlir::sparse_tensor::insertYieldOp(), mlir::linalg::detail::isContractionBody(), mlir::outlineSingleBlockRegion(), mlir::replaceLoopWithNewYields(), transformCyclesToSCFLoops(), and transformToStructuredCFBranches().

◆ getUniquePredecessor()

Block * Block::getUniquePredecessor ( )

If this block has a unique predecessor, i.e., all incoming edges originate from one block, return it.

Otherwise, return null.

Definition at line 275 of file Block.cpp.

References pred_begin(), and pred_end().

◆ hasNoPredecessors()

bool mlir::Block::hasNoPredecessors ( )

inline

Return true if this block has no predecessors.

Definition at line 235 of file Block.h.

References pred_begin(), and pred_end().

Referenced by checkTransformationPreconditions(), and mlir::RewriterBase::inlineBlockBefore().

◆ hasNoSuccessors()

bool mlir::Block::hasNoSuccessors ( )

inline

Returns true if this blocks has no successors.

Definition at line 238 of file Block.h.

References succ_begin(), and succ_end().

Referenced by mlir::RewriterBase::inlineBlockBefore().

◆ insertAfter()

void Block::insertAfter ( Block * block )

Insert this block (which must not already be in a region) right after the specified block.

Definition at line 45 of file Block.cpp.

References mlir::Region::getBlocks(), and getParent().

Referenced by createSingleExitingLatch().

◆ insertArgument() [1/2]

BlockArgument Block::insertArgument	(	args_iterator	it,
		Type	type,
		Location	loc
	)

Insert one value to the position in the argument list indicated by the given iterator.

Insert one value to the given position of the argument list.

The existing arguments are shifted. The block is expected not to have predecessors.

Definition at line 181 of file Block.cpp.

References empty(), and getPredecessors().

Referenced by mlir::Region::insertArgument().

◆ insertArgument() [2/2]

BlockArgument Block::insertArgument	(	unsigned	index,
		Type	type,
		Location	loc
	)

Add one value to the argument list at the specified position.

Definition at line 166 of file Block.cpp.

◆ insertBefore()

void Block::insertBefore ( Block * block )

Insert this block (which must not already be in a region) right before the specified block.

Definition at line 39 of file Block.cpp.

References mlir::Region::getBlocks(), and getParent().

Referenced by transformCyclesToSCFLoops().

◆ invalidateOpOrder()

void Block::invalidateOpOrder ( )

Invalidates the current ordering of operations.

Definition at line 101 of file Block.cpp.

References verifyOpOrder().

Referenced by llvm::ilist_traits<::mlir::Operation >::transferNodesFromList().

◆ isEntryBlock()

bool Block::isEntryBlock ( )

Return if this block is the entry block in the parent region.

Definition at line 35 of file Block.cpp.

References mlir::Region::front(), and getParent().

Referenced by mlir::LocalAliasAnalysis::aliasImpl(), checkTransformationPreconditions(), collectUnderlyingAddressValues(), getPhiIncomingBlock(), and isFnEntryBlock().

◆ isOpOrderValid()

bool Block::isOpOrderValid ( )

Returns true if the ordering of the child operations is valid, false otherwise.

Definition at line 98 of file Block.cpp.

Referenced by mlir::Operation::isBeforeInBlock(), and verifyOpOrder().

◆ mightHaveTerminator()

bool Block::mightHaveTerminator ( )

Check whether this block might have a terminator.

Definition at line 244 of file Block.cpp.

References back(), empty(), and mlir::Operation::mightHaveTrait().

Referenced by getTerminator().

◆ moveBefore()

void Block::moveBefore ( Block * block )

Unlink this block from its current region and insert it right before the specific block.

Definition at line 53 of file Block.cpp.

References mlir::Region::getBlocks(), and getParent().

◆ op_begin()

template<typename OpT >

op_iterator<OpT> mlir::Block::op_begin ( )

inline

Definition at line 192 of file Block.h.

References begin(), and end().

◆ op_end()

template<typename OpT >

op_iterator<OpT> mlir::Block::op_end ( )

inline

Definition at line 196 of file Block.h.

References end().

◆ pred_begin()

pred_iterator mlir::Block::pred_begin ( )

inline

Definition at line 226 of file Block.h.

References mlir::IRObjectWithUseList< BlockOperand >::getFirstUse().

Referenced by ableToUpdatePredOperands(), buildBlockMapping(), calculateCycleEdges(), llvm::GraphTraits< Inverse< mlir::Block * > >::child_begin(), collectUnderlyingAddressValues(), getPredecessors(), getSinglePredecessor(), getUnderlyingObjectSet(), getUniquePredecessor(), hasNoPredecessors(), transformToReduceLoop(), and transformToStructuredCFBranches().

◆ pred_end()

pred_iterator mlir::Block::pred_end ( )

inline

Definition at line 229 of file Block.h.

Referenced by ableToUpdatePredOperands(), buildBlockMapping(), calculateCycleEdges(), llvm::GraphTraits< Inverse< mlir::Block * > >::child_end(), collectUnderlyingAddressValues(), getPredecessors(), getSinglePredecessor(), getUnderlyingObjectSet(), getUniquePredecessor(), hasNoPredecessors(), transformToReduceLoop(), and transformToStructuredCFBranches().

◆ print() [1/2]

void Block::print ( raw_ostream & os )

Definition at line 3866 of file AsmPrinter.cpp.

References mlir::Operation::getParentOp().

Referenced by mlir::operator<<(), mlir::dataflow::CFGEdge::print(), and printBlock().

◆ print() [2/2]

void Block::print	(	raw_ostream &	os,
		AsmState &	state
	)

Definition at line 3879 of file AsmPrinter.cpp.

◆ printAsOperand() [1/2]

void Block::printAsOperand	(	raw_ostream &	os,
		AsmState &	state
	)

Definition at line 3895 of file AsmPrinter.cpp.

◆ printAsOperand() [2/2]

void Block::printAsOperand	(	raw_ostream &	os,
		bool	printType = `true`
	)

Print out the name of the block without printing its body.

NOTE: The printType argument is ignored. We keep it for compatibility with LLVM dominator machinery that expects it to exist.

Definition at line 3886 of file AsmPrinter.cpp.

◆ push_back()

void mlir::Block::push_back ( Operation * op )

inline

Definition at line 142 of file Block.h.

Referenced by mlir::ControlFlowToSCFTransformation::createStructuredDoWhileLoopOp(), and ensureDistinctSuccessors().

◆ push_front()

void mlir::Block::push_front ( Operation * op )

inline

Definition at line 143 of file Block.h.

◆ rbegin()

reverse_iterator mlir::Block::rbegin ( )

inline

Definition at line 138 of file Block.h.

◆ recomputeOpOrder()

void Block::recomputeOpOrder ( )

Recomputes the ordering of child operations within the block.

Definition at line 130 of file Block.cpp.

Referenced by mlir::Operation::isBeforeInBlock().

◆ rend()

reverse_iterator mlir::Block::rend ( )

inline

Definition at line 139 of file Block.h.

◆ splitBlock() [1/2]

Block * Block::splitBlock ( iterator splitBefore )

Split the block into two blocks before the specified operation or iterator.

Note that all operations BEFORE the specified iterator stay as part of the original basic block, and the rest of the operations in the original block are moved to the new block, including the old terminator. The original block is left without a terminator.

The newly formed Block is returned, and the specified iterator is invalidated.

Definition at line 302 of file Block.cpp.

References Block(), end(), mlir::Region::getBlocks(), getOperations(), and getParent().

Referenced by setupCoroMachinery(), mlir::RewriterBase::splitBlock(), and splitBlock().

◆ splitBlock() [2/2]

Block* mlir::Block::splitBlock ( Operation * splitBeforeOp )

inline

Definition at line 342 of file Block.h.

References splitBlock().

◆ succ_begin()

succ_iterator mlir::Block::succ_begin ( )

inline

Definition at line 258 of file Block.h.

References getSuccessors().

Referenced by llvm::GraphTraits< mlir::Block * >::child_begin(), and hasNoSuccessors().

◆ succ_end()

succ_iterator mlir::Block::succ_end ( )

inline

Definition at line 259 of file Block.h.

References getSuccessors().

Referenced by llvm::GraphTraits< mlir::Block * >::child_end(), and hasNoSuccessors().

◆ verifyOpOrder()

bool Block::verifyOpOrder ( )

Verifies the current ordering of child operations matches the validOpOrder flag.

Verifies the current ordering of child operations.

Returns false if the order is valid, true otherwise.

Definition at line 109 of file Block.cpp.

References isOpOrderValid().

Referenced by invalidateOpOrder(), and ~Block().

◆ walk() [1/3]

template<WalkOrder Order = WalkOrder::PostOrder, typename Iterator = ForwardIterator, typename FnT , typename RetT = detail::walkResultType<FnT>>

std::enable_if_t<std::is_same<RetT, void>::value, RetT> mlir::Block::walk	(	Block::iterator	begin,
		Block::iterator	end,
		FnT &&	callback
	)

inline

Walk the operations in the specified [begin, end) range of this block.

The callback method is called for each nested region, block or operation, depending on the callback provided. The order in which regions, blocks and operations at the same nesting level are visited (e.g., lexicographical or reverse lexicographical order) is determined by 'Iterator'. The walk order for enclosing regions, blocks and operations with respect to their nested ones is specified by 'Order' (post-order by default). This method is invoked for void-returning callbacks. A callback on a block or operation is allowed to erase that block or operation only if the walk is in post-order. See non-void method for pre-order erasure. See Operation::walk for more details.

Definition at line 299 of file Block.h.

◆ walk() [2/3]

template<WalkOrder Order = WalkOrder::PostOrder, typename Iterator = ForwardIterator, typename FnT , typename RetT = detail::walkResultType<FnT>>

std::enable_if_t<std::is_same<RetT, WalkResult>::value, RetT> mlir::Block::walk	(	Block::iterator	begin,
		Block::iterator	end,
		FnT &&	callback
	)

inline

Walk the operations in the specified [begin, end) range of this block.

The callback method is called for each nested region, block or operation, depending on the callback provided. The order in which regions, blocks and operations at the same nesting level are visited (e.g., lexicographical or reverse lexicographical order) is determined by 'Iterator'. The walk order for enclosing regions, blocks and operations with respect to their nested ones is specified by 'Order' (post-order by default). This method is invoked for skippable or interruptible callbacks. A callback on a block or operation is allowed to erase that block or operation if either:

the walk is in post-order, or
the walk is in pre-order and the walk is skipped after the erasure. See Operation::walk for more details.

Definition at line 320 of file Block.h.

◆ walk() [3/3]

template<WalkOrder Order = WalkOrder::PostOrder, typename Iterator = ForwardIterator, typename FnT , typename RetT = detail::walkResultType<FnT>>

RetT mlir::Block::walk ( FnT && callback )

inline

Walk the operations in this block.

The callback method is called for each nested region, block or operation, depending on the callback provided. The order in which regions, blocks and operations at the same nesting level are visited (e.g., lexicographical or reverse lexicographical order) is determined by 'Iterator'. The walk order for enclosing regions, blocks and operations with respect to their nested ones is specified by 'Order' (post-order by default). A callback on a block or operation is allowed to erase that block or operation if either:

the walk is in post-order, or
the walk is in pre-order and the walk is skipped after the erasure. See Operation::walk for more details.

Definition at line 280 of file Block.h.

References begin(), and end().

Referenced by mlir::affine::affineDataCopyGenerate(), mlir::ConversionPatternRewriter::cloneRegionBefore(), getMemoryFootprintBytes(), and getSingleOpOfType().

◆ without_terminator()

iterator_range<iterator> mlir::Block::without_terminator ( )

inline

Return an iterator range over the operation within this block excluding the terminator operation at the end.

Definition at line 202 of file Block.h.

References begin(), and end().

Referenced by mlir::sortTopologically().

Friends And Related Function Documentation

◆ llvm::ilist_traits< Block >

friend struct llvm::ilist_traits< Block >

friend

Definition at line 373 of file Block.h.

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

include/mlir/IR/Block.h
lib/IR/AsmPrinter.cpp
lib/IR/Block.cpp

Public Types

Public Member Functions

Static Public Member Functions

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ args_iterator

◆ BlockArgListType

◆ iterator

◆ op_iterator

◆ OpListType

◆ pred_iterator

◆ reverse_args_iterator

◆ reverse_iterator

◆ succ_iterator

Constructor & Destructor Documentation

◆ Block()

◆ ~Block()

Member Function Documentation

◆ addArgument()

◆ addArguments()

◆ args_begin()

◆ args_empty()

◆ args_end()

◆ args_rbegin()

◆ args_rend()

◆ back()

◆ begin()

◆ clear()

◆ dropAllDefinedValueUses()

◆ dropAllReferences()

◆ dump()

◆ empty()

◆ end()

◆ erase()

◆ eraseArgument()

◆ eraseArguments() [1/3]

◆ eraseArguments() [2/3]

◆ eraseArguments() [3/3]

◆ findAncestorOpInBlock()

◆ front()

◆ getArgument()

◆ getArguments()

◆ getArgumentTypes()

◆ getNumArguments()

◆ getNumSuccessors()

◆ getOperations()

◆ getOps()

◆ getParent()

◆ getParentOp()

◆ getPredecessors()

◆ getSinglePredecessor()

◆ getSublistAccess()

◆ getSuccessor()

◆ getSuccessors()

◆ getTerminator()

◆ getUniquePredecessor()

◆ hasNoPredecessors()

◆ hasNoSuccessors()

◆ insertAfter()

◆ insertArgument() [1/2]

◆ insertArgument() [2/2]

◆ insertBefore()

◆ invalidateOpOrder()

◆ isEntryBlock()

◆ isOpOrderValid()

◆ mightHaveTerminator()

◆ moveBefore()

◆ op_begin()

◆ op_end()

◆ pred_begin()

◆ pred_end()

◆ print() [1/2]

◆ print() [2/2]

◆ printAsOperand() [1/2]

◆ printAsOperand() [2/2]

◆ push_back()

◆ push_front()

◆ rbegin()