SVOps.h File Reference

#include "circt/Dialect/HW/HWAttributes.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/LTL/LTLDialect.h"
#include "circt/Dialect/LTL/LTLTypes.h"
#include "circt/Dialect/SV/SVAttributes.h"
#include "circt/Dialect/SV/SVDialect.h"
#include "circt/Dialect/SV/SVTypes.h"
#include "circt/Support/ProceduralRegionTrait.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/SymbolTable.h"
#include "mlir/Interfaces/CallInterfaces.h"
#include "mlir/Interfaces/InferTypeOpInterface.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "circt/Dialect/SV/SV.h.inc"

Include dependency graph for SVOps.h:

Go to the source code of this file.

Classes
class	circt::sv::CasePattern
class	circt::sv::CaseDefaultPattern
class	circt::sv::CaseBitPattern
class	circt::sv::CaseEnumPattern
class	circt::sv::CaseExprPattern
struct	circt::sv::CaseInfo
class	circt::sv::VendorExtension< ConcreteType >
	This class provides a verifier for ops that are expecting their parent to be one of the given parent ops. More...

Namespaces
namespace	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
namespace	circt::hw
namespace	circt::sv

Macros
#define	GET_OP_CLASSES

Enumerations
enum class	circt::sv::CasePatternBit { circt::sv::Zero = 0 , circt::sv::One = 1 , circt::sv::AnyX = 2 , circt::sv::AnyZ = 3 }
	This describes the bit in a pattern, 0/1/x/z. More...

Functions
bool	circt::sv::isExpression (Operation *op)
	Return true if the specified operation is an expression.
bool	circt::sv::is2StateExpression (Value v)
	Returns if the expression is known to be 2-state (binary)
char	circt::sv::getLetter (CasePatternBit bit)
	Return the letter for the specified pattern bit, e.g. "0", "1", "x" or "z".
void	circt::sv::createNestedIfDefs (ArrayRef< StringAttr > macroSymbols, llvm::function_ref< void(StringAttr, std::function< void()>, std::function< void()>)> ifdefCtor, llvm::function_ref< void(size_t)> thenCtor, llvm::function_ref< void()> defaultCtor)
	Create nested ifdef operations for a list of macro symbols.

Macro Definition Documentation

GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 207 of file SVOps.h.