A sample reduction pattern that tries to remove aggregate wires by replacing all subaccesses with new independent wires. More...
Public Member Functions | |
| void | beforeReduction (mlir::ModuleOp op) override |
| Called before the reduction is applied to a new subset of operations. More... | |
| void | afterReduction (mlir::ModuleOp op) override |
| Called after the reduction has been applied to a subset of operations. More... | |
| uint64_t | match (Operation *op) override |
| Check if the reduction can apply to a specific operation. More... | |
| LogicalResult | rewrite (Operation *op) override |
| Apply the reduction to a specific operation. More... | |
| std::string | getName () const override |
| Return a human-readable name for this reduction pattern. More... | |
 Public Member Functions inherited from circt::Reduction | |
| virtual | ~Reduction () |
| virtual bool | acceptSizeIncrease () const |
| Return true if the tool should accept the transformation this reduction performs on the module even if the overall size of the output increases. More... | |
| virtual bool | isOneShot () const |
| Return true if the tool should not try to reapply this reduction after it has been successful. More... | |
| void | notifyOpErased (Operation *op) |
Public Attributes | |
| llvm::DenseSet< Operation * > | opsToErase |
| Public Attributes inherited from circt::Reduction | |
| std::function< void(Operation *)> | notifyOpErasedCallback = nullptr |
| An optional callback for reductions to communicate removal of operations. More... | |
Detailed Description
A sample reduction pattern that tries to remove aggregate wires by replacing all subaccesses with new independent wires.
This can disentangle large unused wires that are otherwise difficult to collect due to the subaccesses.
Definition at line 825 of file FIRRTLReductions.cpp.
Member Function Documentation
◆ 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 827 of file FIRRTLReductions.cpp.
◆ 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 826 of file FIRRTLReductions.cpp.
◆ getName()
|
inlineoverridevirtual |
Return a human-readable name for this reduction pattern.
Implements circt::Reduction.
Definition at line 866 of file FIRRTLReductions.cpp.
◆ match()
|
inlineoverridevirtual |
Check if the reduction can apply to a specific operation.
Returns a benefit measure where a higher number means that applying the pattern leads to a bigger reduction and zero means that the patten does not match and thus cannot be applied at all.
Implements circt::Reduction.
Definition at line 833 of file FIRRTLReductions.cpp.
◆ rewrite()
|
inlineoverridevirtual |
Apply the reduction to a specific operation.
If the returned result indicates that the application failed, the resulting module is treated the same as if the tester marked it as uninteresting.
Implements circt::Reduction.
Definition at line 843 of file FIRRTLReductions.cpp.
References assert(), builder, and circt::calyx::direction::get().
Member Data Documentation
◆ opsToErase
| llvm::DenseSet<Operation *> DetachSubaccesses::opsToErase |
Definition at line 867 of file FIRRTLReductions.cpp.
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
