CIRCT  19.0.0git
Functions
AssertLikeOp Namespace Reference

Functions

template<typename TargetOp , typename Op >
static LogicalResult canonicalize (Op op, PatternRewriter &rewriter)
 

Function Documentation

◆ canonicalize()

template<typename TargetOp , typename Op >
static LogicalResult AssertLikeOp::canonicalize ( Op  op,
PatternRewriter &  rewriter 
)
static

Definition at line 66 of file VerifOps.cpp.

References ltlToVerifClockEdge().

Referenced by canonicalizePrimOp().