CIRCT  19.0.0git
Private Member Functions | List of all members
circt::scftocalyx::BuildWhileGroups Class Reference

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

Inheritance diagram for circt::scftocalyx::BuildWhileGroups:
Inheritance graph
Collaboration diagram for circt::scftocalyx::BuildWhileGroups:
Collaboration graph

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. More...
calyx::ComponentOp getComponent () const
 Returns the component operation associated with the currently executing partial lowering. More...
template<typename T = ComponentLoweringStateInterface>
T & getState () const
CalyxLoweringStateloweringState () 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

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 1144 of file SCFToCalyx.cpp.

Member Function Documentation

◆ partiallyLowerFuncToComp()

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

Check for do-while loops. TODO(mortbopet) can we support these? for now, do not support loops where iterargs are changed in the 'before' region. scf.WhileOp also has support for different types of iter_args and return args which we also do not support; iter_args and while return values are placed in the same registers.

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.

Definition at line 1148 of file SCFToCalyx.cpp.

References circt::calyx::createRegister(), circt::scftocalyx::ScfWhileOp::getBodyArgs(), circt::scftocalyx::ScfWhileOp::getConditionBlock(), circt::calyx::WhileOpInterface< T >::getOperation(), and seq::reg().

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