#include "circt/Dialect/HW/HWOps.h"#include "circt/Dialect/Comb/CombOps.h"#include "circt/Dialect/HW/CustomDirectiveImpl.h"#include "circt/Dialect/HW/HWAttributes.h"#include "circt/Dialect/HW/HWInstanceImplementation.h"#include "circt/Dialect/HW/HWSymCache.h"#include "circt/Dialect/HW/HWVisitors.h"#include "circt/Dialect/HW/ModuleImplementation.h"#include "circt/Support/CustomDirectiveImpl.h"#include "circt/Support/Namespace.h"#include "circt/Support/Naming.h"#include "mlir/IR/Builders.h"#include "mlir/IR/PatternMatch.h"#include "mlir/Interfaces/FunctionImplementation.h"#include "llvm/ADT/BitVector.h"#include "llvm/ADT/SmallPtrSet.h"#include "llvm/ADT/StringSet.h"#include "circt/Dialect/HW/HW.cpp.inc"
Go to the source code of this file.
Macros | |
| #define | GET_OP_CLASSES |
Enumerations | |
| enum class | Delimiter { None , Paren , OptionalLessGreater } |
Functions | |
| static Value | foldStructExtract (Operation *inputOp, uint32_t fieldIndex) |
| static ArrayAttr | arrayOrEmpty (mlir::MLIRContext *context, ArrayRef< Attribute > attrs) |
| static void | getAsmBlockArgumentNamesImpl (mlir::Region ®ion, OpAsmSetValueNameFn setNameFn) |
| Get a special name to use when printing the entry block arguments of the region contained by an operation in this dialect. More... | |
| template<class Op > | |
| static bool | hasAdditionalAttributes (Op op, ArrayRef< StringRef > ignoredAttrs={}) |
Check whether an operation has any additional attributes set beyond its standard list of attributes returned by getAttributeNames. More... | |
| static LogicalResult | checkAttributes (Operation *op, Attribute attr, Type type) |
| static ParseResult | parseParamValue (OpAsmParser &p, Attribute &value, Type &resultType) |
| static void | printParamValue (OpAsmPrinter &p, Operation *, Attribute value, Type resultType) |
| template<typename ModuleTy > | |
| static void | buildModule (OpBuilder &builder, OperationState &result, StringAttr name, const ModulePortInfo &ports, ArrayAttr parameters, ArrayRef< NamedAttribute > attributes, StringAttr comment) |
| static void | modifyModuleArgs (MLIRContext *context, ArrayRef< std::pair< unsigned, PortInfo >> insertArgs, ArrayRef< unsigned > removeArgs, ArrayRef< Attribute > oldArgNames, ArrayRef< Type > oldArgTypes, ArrayRef< Attribute > oldArgAttrs, ArrayRef< Location > oldArgLocs, SmallVector< Attribute > &newArgNames, SmallVector< Type > &newArgTypes, SmallVector< Attribute > &newArgAttrs, SmallVector< Location > &newArgLocs, Block *body=nullptr) |
| Internal implementation of argument/result insertion and removal on modules. More... | |
| static void | modifyModulePorts (Operation *op, ArrayRef< std::pair< unsigned, PortInfo >> insertInputs, ArrayRef< std::pair< unsigned, PortInfo >> insertOutputs, ArrayRef< unsigned > removeInputs, ArrayRef< unsigned > removeOutputs, Block *body=nullptr) |
| Insert and remove ports of a module. More... | |
| static bool | hasAttribute (StringRef name, ArrayRef< NamedAttribute > attrs) |
| template<typename ModuleTy > | |
| static ParseResult | parseHWModuleOp (OpAsmParser &parser, OperationState &result) |
| FunctionType | getHWModuleOpType (Operation *op) |
| template<typename ModuleTy > | |
| static void | printModuleOp (OpAsmPrinter &p, ModuleTy mod) |
| static LogicalResult | verifyModuleCommon (HWModuleLike module) |
| template<typename ModTy > | |
| static SmallVector< Location > | getAllPortLocs (ModTy module) |
| template<typename ModTy > | |
| static void | setAllPortNames (ArrayRef< Attribute > names, ModTy module) |
| template<typename ModTy > | |
| static void | setHWModuleType (ModTy &mod, ModuleType type) |
| template<typename ModuleTy > | |
| static SmallVector< PortInfo > | getPortList (ModuleTy &mod) |
| template<typename ModuleTy > | |
| static PortInfo | getPort (ModuleTy &mod, size_t idx) |
| static ParseResult | parseSliceTypes (OpAsmParser &p, Type &srcType, Type &idxType) |
| static void | printSliceTypes (OpAsmPrinter &p, Operation *, Type srcType, Type idxType) |
| static LogicalResult | foldCreateToSlice (ArrayCreateOp op, PatternRewriter &rewriter) |
| static std::optional< uint64_t > | getUIntFromValue (Value value) |
| static ParseResult | parseArrayConcatTypes (OpAsmParser &p, SmallVectorImpl< Type > &inputTypes, Type &resultType) |
| static void | printArrayConcatTypes (OpAsmPrinter &p, Operation *, TypeRange inputTypes, Type resultType) |
| static bool | flattenConcatOp (ArrayConcatOp op, PatternRewriter &rewriter) |
| static bool | mergeConcatSlices (ArrayConcatOp op, PatternRewriter &rewriter) |
| template<typename AggregateOp , typename AggregateType > | |
| static LogicalResult | verifyAggregateFieldIndexAndType (AggregateOp &op, AggregateType aggType, Type elementType) |
| Ensure an aggregate op's field index is within the bounds of the aggregate type and the accessed field is of 'elementType'. More... | |
| template<typename AggregateType > | |
| static ParseResult | parseExtractOp (OpAsmParser &parser, OperationState &result) |
| Use the same parser for both struct_extract and union_extract since the syntax is identical. More... | |
| template<typename AggType > | |
| static void | printExtractOp (OpAsmPrinter &printer, AggType op) |
| Use the same printer for both struct_extract and union_extract since the syntax is identical. More... | |
Macro Definition Documentation
◆ GET_OP_CLASSES
Enumeration Type Documentation
◆ Delimiter
|
strong |
Function Documentation
◆ arrayOrEmpty()
|
static |
Definition at line 84 of file HWOps.cpp.
References empty, and circt::calyx::direction::get().
Referenced by buildModule().
◆ buildModule()
|
static |
Definition at line 543 of file HWOps.cpp.
References arrayOrEmpty(), builder, and circt::calyx::direction::get().
◆ checkAttributes()
|
static |
Definition at line 397 of file HWOps.cpp.
References elementType.
◆ flattenConcatOp()
|
static |
◆ foldCreateToSlice()
|
static |
Definition at line 1852 of file HWOps.cpp.
References circt::calyx::direction::get(), and circt::hw::isOffset().
◆ foldStructExtract()
|
static |
◆ getAllPortLocs()
|
static |
Definition at line 1192 of file HWOps.cpp.
References assert(), and circt::calyx::direction::get().
◆ getAsmBlockArgumentNamesImpl()
|
static |
◆ getHWModuleOpType()
◆ getPort()
|
static |
Definition at line 1434 of file HWOps.cpp.
References circt::calyx::direction::get().
◆ getPortList()
|
static |
Definition at line 1414 of file HWOps.cpp.
References circt::calyx::direction::get().
◆ getUIntFromValue()
|
static |
◆ hasAdditionalAttributes()
|
static |
◆ hasAttribute()
|
static |
Definition at line 887 of file HWOps.cpp.
Referenced by parseHWModuleOp().
◆ mergeConcatSlices()
|
static |
Definition at line 2135 of file HWOps.cpp.
References append(), circt::calyx::direction::get(), and circt::hw::isOffset().
◆ modifyModuleArgs()
|
static |
Internal implementation of argument/result insertion and removal on modules.
Definition at line 581 of file HWOps.cpp.
References assert(), circt::calyx::direction::get(), and InOut.
Referenced by modifyModulePorts().
◆ modifyModulePorts()
|
static |
Insert and remove ports of a module.
The insertion and removal indices must be in ascending order. The indices refer to the port positions before any insertion or removal occurs. Ports inserted at the same index will appear in the module in the same order as they were listed in the insert* array.
The operation must be any of the module-like operations.
This is marked deprecated as it's only used from HandshakeToHW and PortConverter and is likely broken and not currently tested. Users of this are still written dealing with input and output ports separately, which is an old and broken style.
Definition at line 680 of file HWOps.cpp.
References circt::hw::detail::fnToMod(), circt::calyx::direction::get(), and modifyModuleArgs().
◆ parseArrayConcatTypes()
|
static |
Definition at line 2052 of file HWOps.cpp.
References circt::calyx::direction::get().
◆ parseExtractOp()
|
static |
Use the same parser for both struct_extract and union_extract since the syntax is identical.
Definition at line 2476 of file HWOps.cpp.
References circt::calyx::direction::get().
◆ parseHWModuleOp()
|
static |
Definition at line 895 of file HWOps.cpp.
References builder, hasAttribute(), Output, circt::hw::module_like_impl::parseModuleSignature(), and circt::parseOptionalParameterList().
◆ parseParamValue()
|
static |
◆ parseSliceTypes()
|
static |
Definition at line 1756 of file HWOps.cpp.
References circt::calyx::direction::get().
◆ printArrayConcatTypes()
|
static |
◆ printExtractOp()
|
static |
◆ printModuleOp()
|
static |
Definition at line 1017 of file HWOps.cpp.
References circt::hw::module_like_impl::printModuleSignatureNew(), and circt::printOptionalParameterList().
◆ printParamValue()
|
static |
◆ printSliceTypes()
|
static |
◆ setAllPortNames()
|
static |
Definition at line 1262 of file HWOps.cpp.
References circt::calyx::direction::get().
◆ setHWModuleType()
|
static |
Definition at line 1335 of file HWOps.cpp.
References circt::calyx::direction::get().
◆ verifyAggregateFieldIndexAndType()
|
static |
Ensure an aggregate op's field index is within the bounds of the aggregate type and the accessed field is of 'elementType'.
Definition at line 2450 of file HWOps.cpp.
References elementType, and circt::hw::getCanonicalType().
◆ verifyModuleCommon()
|
static |
Definition at line 1072 of file HWOps.cpp.
References assert(), and circt::hw::checkParameterInContext().
