|
| static Operation * | lookupSymbolInNested (Operation *symbolTableOp, StringRef symbol) |
| | Returns the operation registered with the given symbol name with the regions of 'symbolTableOp'.
|
| |
| static LogicalResult | verifyMacroIdentSymbolUses (Operation *op, FlatSymbolRefAttr attr, SymbolTableCollection &symbolTable) |
| | Verifies symbols referenced by macro identifiers.
|
| |
| static LogicalResult | verifyVerbatimSymbols (Operation *op, ArrayAttr symbols, hw::InnerRefNamespace &ns) |
| | Helper function to verify inner refs in symbols array for verbatim ops.
|
| |
| static LogicalResult | verifyVerbatimFlatSymbolRefs (Operation *op, ArrayAttr symbols, SymbolTableCollection &symbolTable) |
| | Helper function to verify flat symbol refs in symbols array for verbatim ops.
|
| |
| static void | getVerbatimExprAsmResultNames (Operation *op, function_ref< void(Value, StringRef)> setNameFn) |
| | Get the asm name for sv.verbatim.expr and sv.verbatim.expr.se.
|
| |
| static MacroDeclOp | getReferencedMacro (const hw::HWSymbolCache *cache, Operation *op, FlatSymbolRefAttr macroName) |
| |
| static ParseResult | parseImplicitVarInitType (OpAsmParser &p, Type varType, std::optional< OpAsmParser::UnresolvedOperand > &initValue, Type &initType) |
| |
| static void | printImplicitVarInitType (OpAsmPrinter &p, Operation *op, Type varType, Value initValue, Type initType) |
| |
| static ParseResult | parseImplicitInitType (OpAsmParser &p, mlir::Type regType, std::optional< OpAsmParser::UnresolvedOperand > &initValue, mlir::Type &initType) |
| |
| static void | printImplicitInitType (OpAsmPrinter &p, Operation *op, mlir::Type regType, mlir::Value initValue, mlir::Type initType) |
| |
| template<class Op > |
| static LogicalResult | canonicalizeIfDefLike (Op op, PatternRewriter &rewriter) |
| |
| static void | replaceOpWithRegion (PatternRewriter &rewriter, Operation *op, Region ®ion) |
| | Replaces the given op with the contents of the given single-block region.
|
| |
| static ParseResult | parseEventList (OpAsmParser &p, Attribute &eventsAttr, SmallVectorImpl< OpAsmParser::UnresolvedOperand > &clocksOperands) |
| |
| static void | printEventList (OpAsmPrinter &p, AlwaysOp op, ArrayAttr portsAttr, OperandRange operands) |
| |
| static SmallVector< CasePatternBit > | getPatternBitsForValue (const APInt &value) |
| |
| template<typename AssignTy > |
| static LogicalResult | mergeNeiboringAssignments (AssignTy op, PatternRewriter &rewriter) |
| |
| static ParseResult | parseModportStructs (OpAsmParser &parser, ArrayAttr &portsAttr) |
| |
| static void | printModportStructs (OpAsmPrinter &p, Operation *, ArrayAttr portsAttr) |
| |
| ParseResult | parseIfaceTypeAndSignal (OpAsmParser &p, Type &ifaceTy, FlatSymbolRefAttr &signalName) |
| |
| void | printIfaceTypeAndSignal (OpAsmPrinter &p, Operation *op, Type type, FlatSymbolRefAttr signalName) |
| |
| LogicalResult | verifySignalExists (Value ifaceVal, FlatSymbolRefAttr signalName) |
| |
| static Type | getElementTypeOfWidth (Type type, int32_t width) |
| |
| template<class Op > |
| static Op | findInstanceSymbolInBlock (StringAttr name, Block *body) |
| | Instances must be at the top level of the hw.module (or within a `ifdef)
|
| |
| ParseResult | parseXMRPath (::mlir::OpAsmParser &parser, ArrayAttr &pathAttr, StringAttr &terminalAttr) |
| |
| void | printXMRPath (OpAsmPrinter &p, XMROp op, ArrayAttr pathAttr, StringAttr terminalAttr) |
| |
| static LogicalResult | eraseIfZeroOrNotZero (Operation *op, Value value, PatternRewriter &rewriter, bool eraseIfZero) |
| |
| template<class Op , bool EraseIfZero = false> |
| static LogicalResult | canonicalizeImmediateVerifOp (Op op, PatternRewriter &rewriter) |
| |
| template<class Op , bool EraseIfZero = false> |
| static LogicalResult | canonicalizeConcurrentVerifOp (Op op, PatternRewriter &rewriter) |
| |
| bool | parseCaseRegions (OpAsmParser &p, ArrayAttr &patternsArray, ArrayAttr &caseNamesArray, SmallVectorImpl< std::unique_ptr< Region > > &caseRegions) |
| | Parse cases formatted like: case (pattern, "name") { ... }.
|
| |
| void | printCaseRegions (OpAsmPrinter &p, Operation *, ArrayAttr patternsArray, ArrayAttr namesArray, MutableArrayRef< Region > caseRegions) |
| | Print cases formatted like: case (pattern, "name") { ... }.
|
| |
| static ParseResult | parseTypedAttrWithFallback (OpAsmParser &parser, TypedAttr &result, Type type) |
| |
| static ParseResult | parseGenerateFor (OpAsmParser &parser, TypedAttr &lowerBound, TypedAttr &upperBound, TypedAttr &step, StringAttr &inductionVarName, StringAttr &genBlockName, Region &body) |
| |
| static void | printGenerateFor (OpAsmPrinter &p, Operation *op, TypedAttr lowerBound, TypedAttr upperBound, TypedAttr step, StringAttr inductionVarName, StringAttr genBlockName, Region &body) |
| |
| static Value | getExplicitlyReturnedValueImpl (sv::FuncOp op, mlir::Operation::result_range results) |
| |
| static LogicalResult | AssertPropertyLikeOp::verify (Value clock, bool eventExists, mlir::Location loc) |
| |
