CIRCT 24.0.0git
Loading...
Searching...
No Matches
EmptyIfBody Struct Reference

This pattern checks for one of two cases that will lead to IfOp deletion: (1) Then and Else bodies are both empty. More...

Inheritance diagram for EmptyIfBody:
Collaboration diagram for EmptyIfBody:

Public Member Functions

LogicalResult matchAndRewrite (IfOp ifOp, PatternRewriter &rewriter) const override

Detailed Description

This pattern checks for one of two cases that will lead to IfOp deletion: (1) Then and Else bodies are both empty.

(2) Then body is empty and Else body does not exist.

Definition at line 2531 of file CalyxOps.cpp.

Member Function Documentation

◆ matchAndRewrite()

LogicalResult EmptyIfBody::matchAndRewrite ( IfOp ifOp,
PatternRewriter & rewriter ) const
inlineoverride

Definition at line 2533 of file CalyxOps.cpp.

References eraseControlWithGroupAndConditional(), failure(), and success().


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