|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| ::mlir::FailureOr< SymbolLookupResult< StructDefOp > > | getDefinition (::mlir::SymbolTableCollection &symbolTable, ::mlir::Operation *op, bool reportMissing=true) const |
| Gets the struct op that defines this struct. | |
| ::mlir::LogicalResult | verifySymbolRef (::mlir::SymbolTableCollection &symbolTable, ::mlir::Operation *op) |
| mlir::LogicalResult | hasColumns (mlir::SymbolTableCollection &symbolTable, mlir::Operation *op) const |
| Returns wether the struct this type refers to has members marked as columns. | |
| void | print (::mlir::AsmPrinter &odsPrinter) const |
| ::mlir::SymbolRefAttr | getNameRef () const |
| ::mlir::ArrayAttr | getParams () const |
Static Public Member Functions | |
| static StructType | get (::mlir::SymbolRefAttr structName) |
| static StructType | getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName) |
| static StructType | get (::mlir::SymbolRefAttr structName, ::mlir::ArrayAttr params) |
| static StructType | getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName, ::mlir::ArrayAttr params) |
| static StructType | get (::mlir::SymbolRefAttr structName, ::llvm::ArrayRef<::mlir::Attribute > paramsRef) |
| static StructType | getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr structName, ::llvm::ArrayRef<::mlir::Attribute > paramsRef) |
| ::llvm::LogicalResult | verify (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr nameRef, ::mlir::ArrayAttr params) |
| ::llvm::LogicalResult | verifyInvariants (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::SymbolRefAttr nameRef, ::mlir::ArrayAttr params) |
| static constexpr ::llvm::StringLiteral | getMnemonic () |
| ::mlir::Type | parse (::mlir::AsmParser &odsParser) |
Static Public Attributes | |
| static constexpr ::llvm::StringLiteral | name = "struct.type" |
| static constexpr ::llvm::StringLiteral | dialectName = "struct" |
Definition at line 23 of file Types.h.inc.
|
static |
Definition at line 79 of file Types.cpp.inc.
|
static |
Definition at line 109 of file Types.cpp.inc.
|
static |
Definition at line 87 of file Types.cpp.inc.
|
static |
Definition at line 83 of file Types.cpp.inc.
|
static |
Definition at line 117 of file Types.cpp.inc.
|
static |
Definition at line 98 of file Types.cpp.inc.
| FailureOr< SymbolLookupResult< StructDefOp > > llzk::component::StructType::getDefinition | ( | ::mlir::SymbolTableCollection & | symbolTable, |
| ::mlir::Operation * | op, | ||
| bool | reportMissing = true ) const |
|
inlinestatic |
Definition at line 49 of file Types.h.inc.
| mlir::SymbolRefAttr llzk::component::StructType::getNameRef | ( | ) | const |
Definition at line 181 of file Types.cpp.inc.
| mlir::ArrayAttr llzk::component::StructType::getParams | ( | ) | const |
Definition at line 185 of file Types.cpp.inc.
| LogicalResult llzk::component::StructType::hasColumns | ( | mlir::SymbolTableCollection & | symbolTable, |
| mlir::Operation * | op ) const |
|
static |
Definition at line 131 of file Types.cpp.inc.
| void llzk::component::StructType::print | ( | ::mlir::AsmPrinter & | odsPrinter | ) | const |
Definition at line 167 of file Types.cpp.inc.
|
static |
|
static |
Definition at line 125 of file Types.cpp.inc.
| LogicalResult llzk::component::StructType::verifySymbolRef | ( | ::mlir::SymbolTableCollection & | symbolTable, |
| ::mlir::Operation * | op ) |
|
static |
Definition at line 39 of file Types.h.inc.
|
static |
Definition at line 38 of file Types.h.inc.