CIRCT  18.0.0git
Classes | Namespaces | Macros | Enumerations | Functions
SVOps.h File Reference
#include "circt/Dialect/HW/HWAttributes.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/SV/SVAttributes.h"
#include "circt/Dialect/SV/SVDialect.h"
#include "circt/Dialect/SV/SVTypes.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/SymbolTable.h"
#include "mlir/Interfaces/InferTypeOpInterface.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "circt/Dialect/SV/SV.h.inc"
Include dependency graph for SVOps.h:
This graph shows which files directly or indirectly include this file:

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
 
struct  circt::sv::CaseInfo
 
class  circt::sv::ProceduralRegion< ConcreteType >
 Signals that an operations regions are procedural. More...
 
class  circt::sv::ProceduralOp< ConcreteType >
 This class verifies that the specified op is located in a procedural region. More...
 
class  circt::sv::NonProceduralOp< ConcreteType >
 This class verifies that the specified op is not located in a procedural region. More...
 
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

 circt
 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
 
 circt::hw
 
 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. More...
 
bool circt::sv::is2StateExpression (Value v)
 Returns if the expression is known to be 2-state (binary) More...
 
char circt::sv::getLetter (CasePatternBit bit)
 Return the letter for the specified pattern bit, e.g. "0", "1", "x" or "z". More...
 
LogicalResult circt::sv::verifyInProceduralRegion (Operation *op)
 Return true if the specified operation is in a procedural region. More...
 
LogicalResult circt::sv::verifyInNonProceduralRegion (Operation *op)
 Return true if the specified operation is not in a procedural region. More...
 

Macro Definition Documentation

◆ GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 197 of file SVOps.h.