A sample reduction pattern that replaces integer operations with a constant zero of their type. More...
Public Member Functions | |
| 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 > indices) 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. | |
 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. | |
| 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) |
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. | |
Detailed Description
A sample reduction pattern that replaces integer operations with a constant zero of their type.
Definition at line 116 of file HWReductions.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 139 of file HWReductions.cpp.
◆ getName()
|
inlineoverridevirtual |
Return a human-readable name for this reduction pattern.
Implements circt::Reduction.
Definition at line 138 of file HWReductions.cpp.
◆ matches()
|
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 117 of file HWReductions.cpp.
◆ 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 126 of file HWReductions.cpp.
References hw.ConstantOp::create(), and circt::reduce::pruneUnusedOps().
The documentation for this struct was generated from the following file:
- /home/runner/work/circt-www/circt-www/circt_src/lib/Dialect/HW/HWReductions.cpp
