CIRCT  19.0.0git
Classes | Namespaces | Macros | Functions
MooreTypes.cpp File Reference
#include "circt/Dialect/Moore/MooreTypes.h"
#include "circt/Dialect/Moore/MooreDialect.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/DialectImplementation.h"
#include "llvm/ADT/TypeSwitch.h"
#include "circt/Dialect/Moore/MooreTypes.cpp.inc"
Include dependency graph for MooreTypes.cpp:

Go to the source code of this file.

Classes

struct  circt::moore::detail::IntTypeStorage
 
struct  circt::moore::detail::RealTypeStorage
 
struct  circt::moore::detail::IndirectTypeStorage
 
struct  circt::moore::detail::DimStorage
 
struct  circt::moore::detail::UnsizedDimStorage
 
struct  circt::moore::detail::RangeDimStorage
 
struct  circt::moore::detail::SizedDimStorage
 
struct  circt::moore::detail::AssocDimStorage
 
struct  circt::moore::detail::EnumTypeStorage
 
struct  circt::moore::detail::StructTypeStorage
 
struct  Subset
 

Namespaces

 circt
 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
 
 circt::moore
 
 circt::moore::detail
 

Macros

#define GET_TYPEDEF_CLASSES
 
#define GET_TYPEDEF_LIST
 

Functions

static SimpleBitVectorType getSimpleBitVectorFromIntType (IntType type)
 Map an IntType to the corresponding SBVT. Never returns a null type. More...
 
UnpackedType circt::moore::detail::getIndirectTypeInner (const TypeStorage *impl)
 
Location circt::moore::detail::getIndirectTypeLoc (const TypeStorage *impl)
 
StringAttr circt::moore::detail::getIndirectTypeName (const TypeStorage *impl)
 
static ParseResult parseMooreType (DialectAsmParser &parser, Subset subset, Type &type)
 Parse a type registered with this dialect. More...
 
static void printMooreType (Type type, DialectAsmPrinter &printer, Subset subset)
 Print a type registered with this dialect. More...
 
static OptionalParseResult customTypeParser (DialectAsmParser &parser, StringRef mnemonic, Subset subset, llvm::SMLoc loc, Type &type)
 Parse a type with custom syntax. More...
 
static LogicalResult customTypePrinter (Type type, DialectAsmPrinter &printer, Subset subset)
 Print a type with custom syntax. More...
 

Macro Definition Documentation

◆ GET_TYPEDEF_CLASSES

#define GET_TYPEDEF_CLASSES

Definition at line 33 of file MooreTypes.cpp.

◆ GET_TYPEDEF_LIST

#define GET_TYPEDEF_LIST

Function Documentation

◆ customTypeParser()

static OptionalParseResult customTypeParser ( DialectAsmParser &  parser,
StringRef  mnemonic,
Subset  subset,
llvm::SMLoc  loc,
Type &  type 
)
static

◆ customTypePrinter()

static LogicalResult customTypePrinter ( Type  type,
DialectAsmPrinter &  printer,
Subset  subset 
)
static

◆ getSimpleBitVectorFromIntType()

static SimpleBitVectorType getSimpleBitVectorFromIntType ( IntType  type)
static

◆ parseMooreType()

static ParseResult parseMooreType ( DialectAsmParser &  parser,
Subset  subset,
Type &  type 
)
static

Parse a type registered with this dialect.

Definition at line 1563 of file MooreTypes.cpp.

References customTypeParser().

Referenced by customTypeParser().

◆ printMooreType()

static void printMooreType ( Type  type,
DialectAsmPrinter &  printer,
Subset  subset 
)
static

Print a type registered with this dialect.

Definition at line 1580 of file MooreTypes.cpp.

References assert(), and customTypePrinter().

Referenced by customTypePrinter().