CIRCT 22.0.0git
|
Remove unused module input ports. More...
Public Member Functions | |
void | beforeReduction (mlir::ModuleOp op) override |
Called before the reduction is applied to a new subset of operations. | |
void | matches (Operation *op, llvm::function_ref< void(uint64_t, uint64_t)> addMatch) override |
Collect all ways how this reduction can apply to a specific operation. | |
LogicalResult | rewriteMatches (Operation *op, ArrayRef< uint64_t > matches) override |
Apply a set of matches of this reduction to a specific operation. | |
std::string | getName () const override |
Return a human-readable name for this reduction pattern. | |
bool | acceptSizeIncrease () const override |
Return true if the tool should accept the transformation this reduction performs on the module even if the overall size of the output increases. | |
![]() | |
virtual | ~Reduction () |
virtual void | afterReduction (mlir::ModuleOp) |
Called after the reduction has been applied to a subset of operations. | |
virtual uint64_t | match (Operation *op) |
Check if the reduction can apply to a specific operation. | |
virtual LogicalResult | rewrite (Operation *op) |
Apply the reduction to a specific operation. | |
virtual bool | isOneShot () const |
Return true if the tool should not try to reapply this reduction after it has been successful. | |
void | notifyOpErased (Operation *op) |
Public Attributes | |
std::unique_ptr< SymbolTableCollection > | symbolTables |
std::unique_ptr< SymbolUserMap > | symbolUsers |
![]() | |
std::function< void(Operation *)> | notifyOpErasedCallback = nullptr |
An optional callback for reductions to communicate removal of operations. | |
Remove unused module input ports.
Definition at line 143 of file HWReductions.cpp.
|
inlineoverridevirtual |
Return true if the tool should accept the transformation this reduction performs on the module even if the overall size of the output increases.
This can be handy for patterns that reduce the complexity of the IR at the cost of some verbosity.
Reimplemented from circt::Reduction.
Definition at line 203 of file HWReductions.cpp.
|
inlineoverridevirtual |
Called before the reduction is applied to a new subset of operations.
Reductions may use this callback to collect information such as symbol tables about the module upfront.
Reimplemented from circt::Reduction.
Definition at line 144 of file HWReductions.cpp.
References symbolTables, and symbolUsers.
|
inlineoverridevirtual |
Return a human-readable name for this reduction pattern.
Implements circt::Reduction.
Definition at line 202 of file HWReductions.cpp.
|
inlineoverridevirtual |
Collect all ways how this reduction can apply to a specific operation.
If a reduction can apply to an operation in different ways, for example deleting different operands, it should call addMatch
multiple times with the expected benefit of the match, as well as an integer identifying one of the different ways it can match.
Calls match(op)
by default.
Reimplemented from circt::Reduction.
Definition at line 149 of file HWReductions.cpp.
References symbolUsers.
Referenced by rewriteMatches().
|
inlineoverridevirtual |
Apply a set of matches of this reduction to a specific operation.
If the reduction registered multiple matches for an operation, a subset of the integer identifiers of those matches will be passed to this function again. If the returned result indicates that the application failed, the resulting module is treated the same as if the tester marked it as uninteresting.
Reimplemented from circt::Reduction.
Definition at line 166 of file HWReductions.cpp.
References matches(), and symbolUsers.
std::unique_ptr<SymbolTableCollection> ModuleInputPruner::symbolTables |
Definition at line 205 of file HWReductions.cpp.
Referenced by beforeReduction().
std::unique_ptr<SymbolUserMap> ModuleInputPruner::symbolUsers |
Definition at line 206 of file HWReductions.cpp.
Referenced by beforeReduction(), matches(), and rewriteMatches().