VerifOps.cpp File Reference

#include "circt/Dialect/Verif/VerifOps.h"
#include "circt/Dialect/LTL/LTLOps.h"
#include "circt/Dialect/LTL/LTLTypes.h"
#include "circt/Dialect/Seq/SeqTypes.h"
#include "circt/Support/CustomDirectiveImpl.h"
#include "circt/Support/FoldUtils.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/IR/SymbolTable.h"
#include "mlir/IR/TypeRange.h"
#include "mlir/Interfaces/FunctionImplementation.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "llvm/ADT/MapVector.h"
#include "circt/Dialect/Verif/Verif.cpp.inc"

Include dependency graph for VerifOps.cpp:

Go to the source code of this file.

Namespaces
	AssertLikeOp

Macros
#define	GET_OP_CLASSES

Functions
static ClockEdge	ltlToVerifClockEdge (ltl::ClockEdge ce)
template<typename TargetOp , typename Op >
static LogicalResult	AssertLikeOp::canonicalize (Op op, PatternRewriter &rewriter)

Macro Definition Documentation

GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 153 of file VerifOps.cpp.

Function Documentation

ltlToVerifClockEdge()

static ClockEdge ltlToVerifClockEdge ( ltl::ClockEdge  ce )

static

Definition at line 28 of file VerifOps.cpp.

Referenced by AssertLikeOp::canonicalize().