MLIR
20.0.0git
|
Classes | |
struct | SingleEraseRewriter |
A rewriter that keeps track of erased ops and blocks. More... | |
Public Member Functions | |
ConversionPatternRewriterImpl (MLIRContext *ctx, const ConversionConfig &config) | |
RewriterState | getCurrentState () |
Return the current state of the rewriter. More... | |
void | applyRewrites () |
Apply all requested operation rewrites. More... | |
void | resetState (RewriterState state) |
Reset the state of the rewriter to a previously saved point. More... | |
template<typename RewriteTy , typename... Args> | |
void | appendRewrite (Args &&...args) |
Append a rewrite. More... | |
void | undoRewrites (unsigned numRewritesToKeep=0) |
Undo the rewrites (motions, splits) one by one in reverse order until "numRewritesToKeep" rewrites remains. More... | |
LogicalResult | remapValues (StringRef valueDiagTag, std::optional< Location > inputLoc, PatternRewriter &rewriter, ValueRange values, SmallVectorImpl< Value > &remapped) |
Remap the given values to those with potentially different types. More... | |
bool | isOpIgnored (Operation *op) const |
Return "true" if the given operation is ignored, and does not need to be converted. More... | |
bool | wasOpReplaced (Operation *op) const |
Return "true" if the given operation was replaced or erased. More... | |
FailureOr< Block * > | convertRegionTypes (ConversionPatternRewriter &rewriter, Region *region, const TypeConverter &converter, TypeConverter::SignatureConversion *entryConversion) |
Convert the types of block arguments within the given region. More... | |
Block * | applySignatureConversion (ConversionPatternRewriter &rewriter, Block *block, const TypeConverter *converter, TypeConverter::SignatureConversion &signatureConversion) |
Apply the given signature conversion on the given block. More... | |
Value | buildUnresolvedMaterialization (MaterializationKind kind, Block *insertBlock, Block::iterator insertPt, Location loc, ValueRange inputs, Type outputType, const TypeConverter *converter) |
Build an unresolved materialization operation given an output type and set of input operands. More... | |
Value | buildUnresolvedTargetMaterialization (Location loc, Value input, Type outputType, const TypeConverter *converter) |
void | notifyOperationInserted (Operation *op, OpBuilder::InsertPoint previous) override |
Notify the listener that the specified operation was inserted. More... | |
void | notifyOpReplaced (Operation *op, ValueRange newValues) |
Notifies that an op is about to be replaced with the given values. More... | |
void | notifyBlockIsBeingErased (Block *block) |
Notifies that a block is about to be erased. More... | |
void | notifyBlockInserted (Block *block, Region *previous, Region::iterator previousIt) override |
Notifies that a block was inserted. More... | |
void | notifyBlockBeingInlined (Block *block, Block *srcBlock, Block::iterator before) |
Notifies that a block is being inlined into another block. More... | |
void | notifyMatchFailure (Location loc, function_ref< void(Diagnostic &)> reasonCallback) override |
Notifies that a pattern match failed for the given reason. More... | |
![]() | |
Listener () | |
virtual void | notifyBlockErased (Block *block) |
Notify the listener that the specified block is about to be erased. More... | |
virtual void | notifyOperationModified (Operation *op) |
Notify the listener that the specified operation was modified in-place. More... | |
virtual void | notifyOperationReplaced (Operation *op, Operation *replacement) |
Notify the listener that all uses of the specified operation's results are about to be replaced with the results of another operation. More... | |
virtual void | notifyOperationReplaced (Operation *op, ValueRange replacement) |
Notify the listener that all uses of the specified operation's results are about to be replaced with the a range of values, potentially produced by other operations. More... | |
virtual void | notifyOperationErased (Operation *op) |
Notify the listener that the specified operation is about to be erased. More... | |
virtual void | notifyPatternBegin (const Pattern &pattern, Operation *op) |
Notify the listener that the specified pattern is about to be applied at the specified root operation. More... | |
virtual void | notifyPatternEnd (const Pattern &pattern, LogicalResult status) |
Notify the listener that a pattern application finished with the specified status. More... | |
![]() | |
Listener () | |
virtual | ~Listener ()=default |
![]() | |
Kind | getKind () const |
Public Attributes | |
MLIRContext * | context |
MLIR context. More... | |
ConversionValueMapping | mapping |
SmallVector< std::unique_ptr< IRRewrite > > | rewrites |
Ordered list of block operations (creations, splits, motions). More... | |
SetVector< Operation * > | ignoredOps |
A set of operations that should no longer be considered for legalization. More... | |
SetVector< Operation * > | replacedOps |
A set of operations that were replaced/erased. More... | |
const TypeConverter * | currentTypeConverter = nullptr |
The current type converter, or nullptr if no type converter is currently active. More... | |
DenseMap< Region *, const TypeConverter * > | regionToConverter |
A mapping of regions to type converters that should be used when converting the arguments of blocks within that region. More... | |
const ConversionConfig & | config |
Dialect conversion configuration. More... | |
SmallPtrSet< Operation *, 1 > | pendingRootUpdates |
A set of operations that have pending updates. More... | |
llvm::ScopedPrinter | logger {llvm::dbgs()} |
A logger used to emit diagnostics during the conversion process. More... | |
Additional Inherited Members | |
![]() | |
enum class | Kind { OpBuilderListener = 0 , RewriterBaseListener = 1 } |
The kind of listener. More... | |
![]() | |
static bool | classof (const OpBuilder::Listener *base) |
![]() | |
Listener (Kind kind) | |
![]() | |
ListenerBase (Kind kind) | |
Definition at line 758 of file DialectConversion.cpp.
|
inlineexplicit |
Definition at line 759 of file DialectConversion.cpp.
|
inline |
Append a rewrite.
Rewrites are committed upon success and rolled back upon failure.
Definition at line 780 of file DialectConversion.cpp.
void ConversionPatternRewriterImpl::applyRewrites | ( | ) |
Apply all requested operation rewrites.
This method is invoked when the conversion process succeeds.
Definition at line 1105 of file DialectConversion.cpp.
References config, context, mlir::ConversionConfig::listener, rewrite(), and rewrites.
Block * ConversionPatternRewriterImpl::applySignatureConversion | ( | ConversionPatternRewriter & | rewriter, |
Block * | block, | ||
const TypeConverter * | converter, | ||
TypeConverter::SignatureConversion & | signatureConversion | ||
) |
Apply the given signature conversion on the given block.
The new block containing the updated signature is returned. If no conversions were necessary, e.g. if the block has no arguments, block
is returned. converter
is used to generate any necessary cast operations that translate between the origin argument types and those specified in the signature conversion.
Definition at line 1243 of file DialectConversion.cpp.
References mlir::Block::begin(), buildUnresolvedMaterialization(), buildUnresolvedTargetMaterialization(), config, mlir::TypeConverter::convertType(), mlir::OpBuilder::createBlock(), mlir::Block::empty(), mlir::Block::end(), mlir::ConversionPatternRewriter::eraseBlock(), mlir::Block::front(), mlir::Block::getArgument(), mlir::Block::getArguments(), mlir::Block::getArgumentTypes(), mlir::TypeConverter::SignatureConversion::getConvertedTypes(), mlir::TypeConverter::SignatureConversion::getInputMapping(), mlir::BlockArgument::getLoc(), mlir::Block::getNumArguments(), mlir::Block::getOperations(), mlir::Block::getParent(), mlir::Value::getType(), mlir::Builder::getUnknownLoc(), mlir::ConversionConfig::listener, mapping, mlir::RewriterBase::moveOpBefore(), and mlir::IRObjectWithUseList< OperandType >::replaceAllUsesWith().
Referenced by convertRegionTypes().
Value ConversionPatternRewriterImpl::buildUnresolvedMaterialization | ( | MaterializationKind | kind, |
Block * | insertBlock, | ||
Block::iterator | insertPt, | ||
Location | loc, | ||
ValueRange | inputs, | ||
Type | outputType, | ||
const TypeConverter * | converter | ||
) |
Build an unresolved materialization operation given an output type and set of input operands.
Definition at line 1363 of file DialectConversion.cpp.
Referenced by applySignatureConversion(), and buildUnresolvedTargetMaterialization().
Value ConversionPatternRewriterImpl::buildUnresolvedTargetMaterialization | ( | Location | loc, |
Value | input, | ||
Type | outputType, | ||
const TypeConverter * | converter | ||
) |
Definition at line 1380 of file DialectConversion.cpp.
References mlir::Block::begin(), buildUnresolvedMaterialization(), and mlir::Value::getParentBlock().
Referenced by applySignatureConversion(), and remapValues().
FailureOr< Block * > ConversionPatternRewriterImpl::convertRegionTypes | ( | ConversionPatternRewriter & | rewriter, |
Region * | region, | ||
const TypeConverter & | converter, | ||
TypeConverter::SignatureConversion * | entryConversion | ||
) |
Convert the types of block arguments within the given region.
Definition at line 1210 of file DialectConversion.cpp.
References applySignatureConversion(), mlir::TypeConverter::convertBlockSignature(), mlir::Region::empty(), mlir::Region::front(), and regionToConverter.
RewriterState ConversionPatternRewriterImpl::getCurrentState | ( | ) |
Return the current state of the rewriter.
Definition at line 1120 of file DialectConversion.cpp.
References ignoredOps, replacedOps, and rewrites.
bool ConversionPatternRewriterImpl::isOpIgnored | ( | Operation * | op | ) | const |
Return "true" if the given operation is ignored, and does not need to be converted.
Definition at line 1197 of file DialectConversion.cpp.
Referenced by computeNecessaryMaterializations(), and legalizeUnresolvedMaterialization().
void ConversionPatternRewriterImpl::notifyBlockBeingInlined | ( | Block * | block, |
Block * | srcBlock, | ||
Block::iterator | before | ||
) |
Notifies that a block is being inlined into another block.
Definition at line 1471 of file DialectConversion.cpp.
|
overridevirtual |
Notifies that a block was inserted.
Reimplemented from mlir::OpBuilder::Listener.
Definition at line 1446 of file DialectConversion.cpp.
References mlir::Region::end(), mlir::Operation::getName(), mlir::Block::getParentOp(), logger, and wasOpReplaced().
void ConversionPatternRewriterImpl::notifyBlockIsBeingErased | ( | Block * | block | ) |
Notifies that a block is about to be erased.
Definition at line 1442 of file DialectConversion.cpp.
|
overridevirtual |
Notifies that a pattern match failed for the given reason.
Reimplemented from mlir::RewriterBase::Listener.
Definition at line 1476 of file DialectConversion.cpp.
References config, diag(), logger, mlir::ConversionConfig::notifyCallback, and mlir::Remark.
Referenced by remapValues().
|
overridevirtual |
Notify the listener that the specified operation was inserted.
previous
is the previous location of the op.previous
is empty.Note: Creating an (unlinked) op does not trigger this notification.
Reimplemented from mlir::OpBuilder::Listener.
Definition at line 1396 of file DialectConversion.cpp.
void ConversionPatternRewriterImpl::notifyOpReplaced | ( | Operation * | op, |
ValueRange | newValues | ||
) |
Notifies that an op is about to be replaced with the given values.
Definition at line 1416 of file DialectConversion.cpp.
LogicalResult ConversionPatternRewriterImpl::remapValues | ( | StringRef | valueDiagTag, |
std::optional< Location > | inputLoc, | ||
PatternRewriter & | rewriter, | ||
ValueRange | values, | ||
SmallVectorImpl< Value > & | remapped | ||
) |
Remap the given values to those with potentially different types.
Returns success if the values could be remapped, failure otherwise. valueDiagTag
is the tag used when describing a value within a diagnostic, e.g. "operand".
Definition at line 1143 of file DialectConversion.cpp.
References buildUnresolvedTargetMaterialization(), mlir::TypeConverter::convertType(), currentTypeConverter, diag(), mlir::detail::enumerate(), mlir::Value::getLoc(), mlir::Value::getType(), mapping, and notifyMatchFailure().
void ConversionPatternRewriterImpl::resetState | ( | RewriterState | state | ) |
Reset the state of the rewriter to a previously saved point.
Definition at line 1124 of file DialectConversion.cpp.
void ConversionPatternRewriterImpl::undoRewrites | ( | unsigned | numRewritesToKeep = 0 | ) |
Undo the rewrites (motions, splits) one by one in reverse order until "numRewritesToKeep" rewrites remains.
Definition at line 1136 of file DialectConversion.cpp.
bool ConversionPatternRewriterImpl::wasOpReplaced | ( | Operation * | op | ) | const |
Return "true" if the given operation was replaced or erased.
Definition at line 1202 of file DialectConversion.cpp.
Referenced by notifyBlockInserted().
const ConversionConfig& mlir::detail::ConversionPatternRewriterImpl::config |
Dialect conversion configuration.
Definition at line 939 of file DialectConversion.cpp.
Referenced by applyRewrites(), applySignatureConversion(), and notifyMatchFailure().
MLIRContext* mlir::detail::ConversionPatternRewriterImpl::context |
const TypeConverter* mlir::detail::ConversionPatternRewriterImpl::currentTypeConverter = nullptr |
The current type converter, or nullptr if no type converter is currently active.
Definition at line 932 of file DialectConversion.cpp.
Referenced by mlir::PDLConversionConfig::notifyRewriteBegin(), mlir::PDLConversionConfig::notifyRewriteEnd(), mlir::registerConversionPDLFunctions(), and remapValues().
A set of operations that should no longer be considered for legalization.
E.g., ops that are recursively legal. Ops that were replaced/erased are tracked separately.
Definition at line 922 of file DialectConversion.cpp.
Referenced by getCurrentState().
llvm::ScopedPrinter mlir::detail::ConversionPatternRewriterImpl::logger {llvm::dbgs()} |
A logger used to emit diagnostics during the conversion process.
Definition at line 948 of file DialectConversion.cpp.
Referenced by notifyBlockInserted(), and notifyMatchFailure().
ConversionValueMapping mlir::detail::ConversionPatternRewriterImpl::mapping |
Definition at line 914 of file DialectConversion.cpp.
Referenced by applySignatureConversion(), computeNecessaryMaterializations(), legalizeUnresolvedMaterialization(), remapValues(), and replaceMaterialization().
SmallPtrSet<Operation *, 1> mlir::detail::ConversionPatternRewriterImpl::pendingRootUpdates |
A set of operations that have pending updates.
This tracking isn't strictly necessary, and is thus only active during debug builds for extra verification.
Definition at line 945 of file DialectConversion.cpp.
DenseMap<Region *, const TypeConverter *> mlir::detail::ConversionPatternRewriterImpl::regionToConverter |
A mapping of regions to type converters that should be used when converting the arguments of blocks within that region.
Definition at line 936 of file DialectConversion.cpp.
Referenced by convertRegionTypes().
A set of operations that were replaced/erased.
Such ops are not erased immediately but only when the dialect conversion succeeds. In the mean time, they should no longer be considered for legalization and any attempt to modify/access them is invalid rewriter API usage.
Definition at line 928 of file DialectConversion.cpp.
Referenced by getCurrentState().
SmallVector<std::unique_ptr<IRRewrite> > mlir::detail::ConversionPatternRewriterImpl::rewrites |
Ordered list of block operations (creations, splits, motions).
Definition at line 917 of file DialectConversion.cpp.
Referenced by applyRewrites(), computeNecessaryMaterializations(), getCurrentState(), and undoRewrites().