ESIOps.cpp File Reference

#include "circt/Dialect/ESI/ESIOps.h"
#include "circt/Dialect/HW/HWOpInterfaces.h"
#include "circt/Dialect/HW/HWTypes.h"
#include "circt/Dialect/SV/SVOps.h"
#include "circt/Dialect/SV/SVTypes.h"
#include "circt/Support/LLVM.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/IR/SymbolTable.h"
#include "circt/Dialect/ESI/ESI.cpp.inc"
#include "circt/Dialect/ESI/ESIInterfaces.cpp.inc"

Include dependency graph for ESIOps.cpp:

Go to the source code of this file.

Namespaces
	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
	circt::esi

Macros
#define	GET_OP_CLASSES

Functions
ParseResult	parseWrapFIFOType (OpAsmParser &p, Type &dataType, Type &chanInputType)
void	printWrapFIFOType (OpAsmPrinter &p, WrapFIFOOp wrap, Type dataType, Type chanType)
static Type	getEsiDataType (circt::sv::InterfaceOp iface)
	If 'iface' looks like an ESI interface, return the inner data type. More...
static LogicalResult	verifySVInterface (Operation *op, circt::sv::ModportType modportType, ChannelType chanType)
	Verify that the modport type of 'modportArg' points to an interface which looks like an ESI interface and the inner data from said interface matches the chan type's inner data type. More...
static bool	parseInferWindowRet (OpAsmParser &p, Type &frame, Type &windowOut)
	Determine the input type ('frame') from the return type ('window'). More...
static void	printInferWindowRet (OpAsmPrinter &p, Operation *, Type, Type window)
static FailureOr< ServiceDeclOpInterface >	getServiceDecl (Operation *op, SymbolTableCollection &symbolTable, hw::InnerRefAttr servicePort)
	Get the port declaration op for the specified service decl, port name. More...
static FailureOr< ServicePortInfo >	getServicePortInfo (Operation *op, SymbolTableCollection &symbolTable, hw::InnerRefAttr servicePort)
	Get the port info for the specified service decl and port name. More...
LogicalResult	circt::esi::checkInnerTypeMatch (Type expected, Type actual)
LogicalResult	circt::esi::checkBundleTypeMatch (Operation *req, ChannelBundleType svcBundleType, ChannelBundleType reqBundleType, bool skipDirectionCheck)
	Check that the channels on two bundles match allowing for AnyType in the 'svc' bundle. More...
static ParseResult	parseUnPackBundleType (OpAsmParser &parser, SmallVectorImpl< Type > &toChannelTypes, SmallVectorImpl< Type > &fromChannelTypes, Type &type)
template<typename T3 , typename T4 >
static void	printUnPackBundleType (OpAsmPrinter &p, Operation *, T3, T4, Type bundleType)
bool	parseServiceImplRecordReqDetails (OpAsmParser &parser, Region &reqDetailsRegion)
void	printServiceImplRecordReqDetails (OpAsmPrinter &p, ServiceImplRecordOp, Region &reqDetailsRegion)

Macro Definition Documentation

GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 842 of file ESIOps.cpp.

Function Documentation

getEsiDataType()

static Type getEsiDataType ( circt::sv::InterfaceOp  iface )

static

If 'iface' looks like an ESI interface, return the inner data type.

Definition at line 269 of file ESIOps.cpp.

Referenced by verifySVInterface().

getServiceDecl()

static FailureOr<ServiceDeclOpInterface> getServiceDecl ( Operation *  op, SymbolTableCollection &  symbolTable, hw::InnerRefAttr  servicePort  )

static

Get the port declaration op for the specified service decl, port name.

Definition at line 363 of file ESIOps.cpp.

Referenced by getServicePortInfo().

getServicePortInfo()

static FailureOr<ServicePortInfo> getServicePortInfo ( Operation *  op, SymbolTableCollection &  symbolTable, hw::InnerRefAttr  servicePort  )

static

Get the port info for the specified service decl and port name.

Definition at line 378 of file ESIOps.cpp.

References getServiceDecl().

parseInferWindowRet()

static bool parseInferWindowRet ( OpAsmParser &  p, Type &  frame, Type &  windowOut  )

static

Determine the input type ('frame') from the return type ('window').

Definition at line 343 of file ESIOps.cpp.

parseServiceImplRecordReqDetails()

bool parseServiceImplRecordReqDetails	(	OpAsmParser &	parser,
		Region &	reqDetailsRegion
	)

Definition at line 770 of file ESIOps.cpp.

parseUnPackBundleType()

static ParseResult parseUnPackBundleType ( OpAsmParser &  parser, SmallVectorImpl< Type > &  toChannelTypes, SmallVectorImpl< Type > &  fromChannelTypes, Type &  type  )

static

Definition at line 555 of file ESIOps.cpp.

References assert().

parseWrapFIFOType()

ParseResult parseWrapFIFOType	(	OpAsmParser &	p,
		Type &	dataType,
		Type &	chanInputType
	)

Definition at line 222 of file ESIOps.cpp.

printInferWindowRet()

static void printInferWindowRet ( OpAsmPrinter &  p, Operation *  , Type  , Type  window  )

static

Definition at line 352 of file ESIOps.cpp.

printServiceImplRecordReqDetails()

void printServiceImplRecordReqDetails	(	OpAsmPrinter &	p,
		ServiceImplRecordOp	,
		Region &	reqDetailsRegion
	)

Definition at line 778 of file ESIOps.cpp.

printUnPackBundleType()

template<typename T3 , typename T4 >

static void printUnPackBundleType ( OpAsmPrinter &  p, Operation *  , T3  , T4  , Type  bundleType  )

static

Definition at line 574 of file ESIOps.cpp.

printWrapFIFOType()

void printWrapFIFOType	(	OpAsmPrinter &	p,
		WrapFIFOOp	wrap,
		Type	dataType,
		Type	chanType
	)

Definition at line 235 of file ESIOps.cpp.

verifySVInterface()

static LogicalResult verifySVInterface ( Operation *  op, circt::sv::ModportType  modportType, ChannelType  chanType  )

static

Verify that the modport type of 'modportArg' points to an interface which looks like an ESI interface and the inner data from said interface matches the chan type's inner data type.

Definition at line 284 of file ESIOps.cpp.

References getEsiDataType().