LateSSAReplacement contains various functions for replacing SSA values that were not replaced during op construction. More...
Private Member Functions | |
| LogicalResult | partiallyLowerFuncToComp (FuncOp funcOp, PatternRewriter &) const override |
Additional Inherited Members | |
 Public Member Functions inherited from circt::calyx::FuncOpPartialLoweringPattern | |
| FuncOpPartialLoweringPattern (MLIRContext *context, LogicalResult &resRef, PatternApplicationState &patternState, DenseMap< mlir::func::FuncOp, calyx::ComponentOp > &map, calyx::CalyxLoweringState &state) | |
| LogicalResult | partiallyLower (mlir::func::FuncOp funcOp, PatternRewriter &rewriter) const override final |
| Entry point to initialize the state of this class and conduct the partial lowering. More... | |
| calyx::ComponentOp | getComponent () const |
| Returns the component operation associated with the currently executing partial lowering. More... | |
| template<typename T = ComponentLoweringStateInterface> | |
| T & | getState () const |
| CalyxLoweringState & | loweringState () const |
| Return the calyx lowering state for this pattern. More... | |
| virtual LogicalResult | partiallyLowerFuncToComp (mlir::func::FuncOp funcOp, PatternRewriter &rewriter) const =0 |
| Public Member Functions inherited from circt::calyx::PartialLoweringPattern< mlir::func::FuncOp > | |
| PartialLoweringPattern (MLIRContext *ctx, LogicalResult &resRef, PatternApplicationState &patternState) | |
| LogicalResult | matchAndRewrite (mlir::func::FuncOp op, PatternRewriter &rewriter) const override |
| Protected Attributes inherited from circt::calyx::FuncOpPartialLoweringPattern | |
| DenseMap< mlir::func::FuncOp, calyx::ComponentOp > & | functionMapping |
Detailed Description
LateSSAReplacement contains various functions for replacing SSA values that were not replaced during op construction.
Definition at line 1538 of file SCFToCalyx.cpp.
Member Function Documentation
◆ partiallyLowerFuncToComp()
|
inlineoverrideprivate |
The yielded values returned from the while op will be present in the iterargs registers post execution of the loop. This is done now, as opposed to during BuildWhileGroups since if the results of the whileOp were replaced before BuildOpGroups/BuildControl, the whileOp would get dead-code eliminated.
In buildOpGroups we did not replace loadOp's results, to ensure a link between evaluating groups (which fix the input addresses of a memory op) and a readData result. Now, we may replace these SSA values with their memoryOp readData output.
Definition at line 1541 of file SCFToCalyx.cpp.
References circt::calyx::WhileOpInterface< T >::getOperation(), and circt::calyx::singleLoadFromMemory().
The documentation for this class was generated from the following file:
- /home/runner/work/circt-www/circt-www/circt_src/lib/Conversion/SCFToCalyx/SCFToCalyx.cpp
