SMTOps.cpp File Reference

#include "circt/Dialect/SMT/SMTOps.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/OpImplementation.h"
#include "llvm/ADT/APSInt.h"
#include "circt/Dialect/SMT/SMT.cpp.inc"

Include dependency graph for SMTOps.cpp:

Go to the source code of this file.

Macros
#define	GET_OP_CLASSES

Functions
static LogicalResult	parseSameOperandTypeVariadicToBoolOp (OpAsmParser &parser, OperationState &result)
template<typename QuantifierOp >
static LogicalResult	verifyQuantifierRegions (QuantifierOp op)
template<typename Properties >
static void	buildQuantifier (OpBuilder &odsBuilder, OperationState &odsState, TypeRange boundVarTypes, function_ref< Value(OpBuilder &, Location, ValueRange)> bodyBuilder, std::optional< ArrayRef< StringRef >> boundVarNames, function_ref< ValueRange(OpBuilder &, Location, ValueRange)> patternBuilder, uint32_t weight, bool noPattern)

Macro Definition Documentation

GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 471 of file SMTOps.cpp.

Function Documentation

buildQuantifier()

template<typename Properties >

static void buildQuantifier ( OpBuilder &  odsBuilder, OperationState &  odsState, TypeRange  boundVarTypes, function_ref< Value(OpBuilder &, Location, ValueRange)>  bodyBuilder, std::optional< ArrayRef< StringRef >>  boundVarNames, function_ref< ValueRange(OpBuilder &, Location, ValueRange)>  patternBuilder, uint32_t  weight, bool  noPattern  )

static

Definition at line 379 of file SMTOps.cpp.

References circt::calyx::direction::get().

parseSameOperandTypeVariadicToBoolOp()

static LogicalResult parseSameOperandTypeVariadicToBoolOp ( OpAsmParser &  parser, OperationState &  result  )

static

Definition at line 95 of file SMTOps.cpp.

References circt::calyx::direction::get(), and inputs.

verifyQuantifierRegions()

template<typename QuantifierOp >

static LogicalResult verifyQuantifierRegions ( QuantifierOp  op )

static

Definition at line 321 of file SMTOps.cpp.

References circt::smt::isAnyNonFuncSMTValueType().