ArcOps.cpp File Reference

#include "circt/Dialect/Arc/ArcOps.h"
#include "circt/Dialect/HW/HWOpInterfaces.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/OpImplementation.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/IR/SymbolTable.h"
#include "mlir/Interfaces/FunctionImplementation.h"
#include "mlir/Interfaces/SideEffectInterfaces.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/TypeSwitch.h"
#include "circt/Dialect/Arc/ArcInterfaces.cpp.inc"
#include "circt/Dialect/Arc/Arc.cpp.inc"

Include dependency graph for ArcOps.cpp:

Go to the source code of this file.

Macros
#define	GET_OP_CLASSES

Functions
static LogicalResult	verifyTypeListEquivalence (Operation *op, TypeRange expectedTypeList, TypeRange actualTypeList, StringRef elementName)
static LogicalResult	verifyArcSymbolUse (Operation *op, TypeRange inputs, TypeRange results, SymbolTableCollection &symbolTable)
static bool	isSupportedModuleOp (Operation *moduleOp)
static Operation *	getSupportedModuleOp (SymbolTableCollection &symbolTable, Operation *pointing, StringAttr symbol)
	Fetches the operation pointed to by pointing with name symbol, checking that it is a supported model operation for simulation. More...
static std::optional< hw::ModulePort >	getModulePort (Operation *moduleOp, StringRef portName)
static FailureOr< unsigned >	getVectorWidth (Type base, Type vectorized)

Macro Definition Documentation

GET_OP_CLASSES

#define GET_OP_CLASSES

Definition at line 635 of file ArcOps.cpp.

Function Documentation

getModulePort()

static std::optional<hw::ModulePort> getModulePort ( Operation *  moduleOp, StringRef  portName  )

static

Definition at line 101 of file ArcOps.cpp.

getSupportedModuleOp()

static Operation* getSupportedModuleOp ( SymbolTableCollection &  symbolTable, Operation *  pointing, StringAttr  symbol  )

static

Fetches the operation pointed to by pointing with name symbol, checking that it is a supported model operation for simulation.

Definition at line 83 of file ArcOps.cpp.

References isSupportedModuleOp().

getVectorWidth()

static FailureOr<unsigned> getVectorWidth ( Type  base, Type  vectorized  )

static

Definition at line 391 of file ArcOps.cpp.

isSupportedModuleOp()

static bool isSupportedModuleOp ( Operation *  moduleOp )

static

Definition at line 77 of file ArcOps.cpp.

Referenced by getSupportedModuleOp().

verifyArcSymbolUse()

static LogicalResult verifyArcSymbolUse ( Operation *  op, TypeRange  inputs, TypeRange  results, SymbolTableCollection &  symbolTable  )

static

Definition at line 51 of file ArcOps.cpp.

References assert(), and verifyTypeListEquivalence().

verifyTypeListEquivalence()

static LogicalResult verifyTypeListEquivalence ( Operation *  op, TypeRange  expectedTypeList, TypeRange  actualTypeList, StringRef  elementName  )

static

Definition at line 29 of file ArcOps.cpp.

Referenced by verifyArcSymbolUse().