A sample reduction pattern that replaces FIRRTL operations with a constant zero of their type. More...
Public Member Functions | |
| 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 void | beforeReduction (mlir::ModuleOp) |
| Called before the reduction is applied to a new subset of operations. More... | |
| virtual void | afterReduction (mlir::ModuleOp) |
| Called after the reduction has been applied to a subset of operations. More... | |
| 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) |
Additional Inherited Members | |
| 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 replaces FIRRTL operations with a constant zero of their type.
Definition at line 541 of file FIRRTLReductions.cpp.
Member Function Documentation
◆ getName()
|
inlineoverridevirtual |
Return a human-readable name for this reduction pattern.
Implements circt::Reduction.
Definition at line 563 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 542 of file FIRRTLReductions.cpp.
References isFlowSensitiveOp().
◆ 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 550 of file FIRRTLReductions.cpp.
References assert(), circt::reduce::pruneUnusedOps(), and width.
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
