A sample reduction pattern that eagerly inlines instances. More...
Public Member Functions | |
| void | beforeReduction (mlir::ModuleOp op) override |
| Called before the reduction is applied to a new subset of operations. | |
| void | afterReduction (mlir::ModuleOp op) override |
| Called after the reduction has been applied to a subset of operations. | |
| uint64_t | match (firrtl::InstanceOp instOp) override |
| LogicalResult | rewrite (firrtl::InstanceOp instOp) override |
| 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. | |
 Public Member Functions inherited from circt::OpReduction< firrtl::InstanceOp > | |
| uint64_t | match (Operation *op) override |
| Check if the reduction can apply to a specific operation. | |
| LogicalResult | rewrite (Operation *op) override |
| Apply the reduction to a specific operation. | |
| Public Member Functions inherited from circt::Reduction | |
| virtual | ~Reduction () |
| virtual void | matches (Operation *op, llvm::function_ref< void(uint64_t, uint64_t)> addMatch) |
| Collect all ways how this reduction can apply to a specific operation. | |
| virtual LogicalResult | rewriteMatches (Operation *op, ArrayRef< uint64_t > matches) |
| Apply a set of matches of this 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 | |
| ::detail::SymbolCache | symbols |
| NLARemover | nlaRemover |
| Public Attributes inherited from circt::Reduction | |
| std::function< void(Operation *)> | notifyOpErasedCallback = nullptr |
| An optional callback for reductions to communicate removal of operations. | |
Detailed Description
A sample reduction pattern that eagerly inlines instances.
Definition at line 886 of file FIRRTLReductions.cpp.
Member Function Documentation
◆ acceptSizeIncrease()
|
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 936 of file FIRRTLReductions.cpp.
◆ afterReduction()
|
inlineoverridevirtual |
Called after the reduction has been applied to a subset of operations.
Reductions may use this callback to perform post-processing of the reductions before the resulting module is tried for interestingness.
Reimplemented from circt::Reduction.
Definition at line 891 of file FIRRTLReductions.cpp.
References nlaRemover, and NLARemover::remove().
◆ beforeReduction()
|
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 887 of file FIRRTLReductions.cpp.
References detail::SymbolCache::clear(), NLARemover::clear(), nlaRemover, and symbols.
◆ getName()
|
inlineoverridevirtual |
Return a human-readable name for this reduction pattern.
Implements circt::Reduction.
Definition at line 935 of file FIRRTLReductions.cpp.
◆ match()
|
inlineoverridevirtual |
Reimplemented from circt::OpReduction< firrtl::InstanceOp >.
Definition at line 893 of file FIRRTLReductions.cpp.
References detail::SymbolCache::getSymbolTable(), detail::SymbolCache::getSymbolUserMap(), and symbols.
◆ rewrite()
|
inlineoverridevirtual |
Implements circt::OpReduction< firrtl::InstanceOp >.
Definition at line 902 of file FIRRTLReductions.cpp.
References detail::SymbolCache::getSymbolTable(), NLARemover::markNLAsInOperation(), nlaRemover, and symbols.
Member Data Documentation
◆ nlaRemover
| NLARemover EagerInliner::nlaRemover |
Definition at line 939 of file FIRRTLReductions.cpp.
Referenced by afterReduction(), beforeReduction(), and rewrite().
◆ symbols
| ::detail::SymbolCache EagerInliner::symbols |
Definition at line 938 of file FIRRTLReductions.cpp.
Referenced by beforeReduction(), match(), and rewrite().
The documentation for this struct was generated from the following file:
- /home/runner/work/circt-www/circt-www/circt_src/lib/Dialect/FIRRTL/FIRRTLReductions.cpp
