circt::pipelinetocalyx::BuildWhileGroups Class Reference

In BuildWhileGroups, a register is created for each iteration argumenet of the while op. More...

Inheritance diagram for circt::pipelinetocalyx::BuildWhileGroups:

Collaboration diagram for circt::pipelinetocalyx::BuildWhileGroups:

Private Member Functions
LogicalResult	partiallyLowerFuncToComp (FuncOp funcOp, PatternRewriter &rewriter) 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.
calyx::ComponentOp	getComponent () const
	Returns the component operation associated with the currently executing partial lowering.
template<typename T = ComponentLoweringStateInterface>
T &	getState () const
CalyxLoweringState &	loweringState () const
	Return the calyx lowering state for this pattern.
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

In BuildWhileGroups, a register is created for each iteration argumenet of the while op.

These registers are then written to on the while op terminating yield operation alongside before executing the whileOp in the schedule, to set the initial values of the argument registers.

Definition at line 887 of file LoopScheduleToCalyx.cpp.

Member Function Documentation

partiallyLowerFuncToComp()

LogicalResult circt::pipelinetocalyx::BuildWhileGroups::partiallyLowerFuncToComp ( FuncOp funcOp, PatternRewriter & rewriter ) const

inlineoverrideprivate

Create iteration argument registers. The iteration argument registers will be referenced:

• In the "before" part of the while loop, calculating the conditional,
• In the "after" part of the while loop,
• Outside the while loop, rewriting the while loop return values.

Also replace uses in the "before" region of the while loop

Create iter args initial value assignment group(s), one per register.

Add the while op to the list of scheduleable things in the current block.

Definition at line 891 of file LoopScheduleToCalyx.cpp.

References circt::pipelinetocalyx::PipelineWhileOp::getBodyArgs(), circt::calyx::FuncOpPartialLoweringPattern::getComponent(), circt::pipelinetocalyx::PipelineWhileOp::getConditionBlock(), circt::calyx::WhileOpInterface< T >::getOperation(), circt::calyx::FuncOpPartialLoweringPattern::getState(), and success().

---

The documentation for this class was generated from the following file:

• /home/runner/work/circt-www/circt-www/circt_src/lib/Conversion/LoopScheduleToCalyx/LoopScheduleToCalyx.cpp