|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| bool | hasField () const |
| const ::llzk::Field & | getField () const |
| void | print (::mlir::AsmPrinter &odsPrinter) const |
| ::mlir::StringAttr | getFieldName () const |
Static Public Member Functions | |
| static FeltType | get (::mlir::MLIRContext *context, ::mlir::StringAttr fieldName) |
| static FeltType | getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName) |
| static FeltType | get (::mlir::MLIRContext *context) |
| static FeltType | getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context) |
| static FeltType | get (::mlir::MLIRContext *context, ::llvm::StringRef fieldName) |
| static FeltType | getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::StringRef fieldName) |
| ::llvm::LogicalResult | verify (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName) |
| ::llvm::LogicalResult | verifyInvariants (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName) |
| static constexpr ::llvm::StringLiteral | getMnemonic () |
| ::mlir::Type | parse (::mlir::AsmParser &odsParser) |
Static Public Attributes | |
| static constexpr ::llvm::StringLiteral | name = "felt.type" |
| static constexpr ::llvm::StringLiteral | dialectName = "felt" |
Definition at line 23 of file Types.h.inc.
|
static |
Definition at line 75 of file Types.cpp.inc.
|
static |
Definition at line 83 of file Types.cpp.inc.
|
static |
Definition at line 67 of file Types.cpp.inc.
|
static |
Definition at line 79 of file Types.cpp.inc.
|
static |
Definition at line 87 of file Types.cpp.inc.
|
static |
Definition at line 71 of file Types.cpp.inc.
| const Field & llzk::felt::FeltType::getField | ( | ) | const |
Definition at line 241 of file Dialect.cpp.
| mlir::StringAttr llzk::felt::FeltType::getFieldName | ( | ) | const |
Definition at line 131 of file Types.cpp.inc.
|
inlinestatic |
Definition at line 43 of file Types.h.inc.
|
inline |
Definition at line 26 of file Types.h.inc.
|
static |
Definition at line 97 of file Types.cpp.inc.
| void llzk::felt::FeltType::print | ( | ::mlir::AsmPrinter & | odsPrinter | ) | const |
Definition at line 119 of file Types.cpp.inc.
|
static |
Definition at line 244 of file Dialect.cpp.
|
static |
Definition at line 91 of file Types.cpp.inc.
|
static |
Definition at line 33 of file Types.h.inc.
|
static |
Definition at line 32 of file Types.h.inc.