|
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 47 of file Types.h.inc.
|
static |
Definition at line 77 of file Types.cpp.inc.
|
static |
Definition at line 85 of file Types.cpp.inc.
|
static |
Definition at line 69 of file Types.cpp.inc.
|
static |
Definition at line 81 of file Types.cpp.inc.
|
static |
Definition at line 89 of file Types.cpp.inc.
|
static |
Definition at line 73 of file Types.cpp.inc.
| const Field & llzk::felt::FeltType::getField | ( | ) | const |
Definition at line 255 of file Dialect.cpp.
| mlir::StringAttr llzk::felt::FeltType::getFieldName | ( | ) | const |
Definition at line 133 of file Types.cpp.inc.
|
inlinestatic |
Definition at line 67 of file Types.h.inc.
|
inline |
Definition at line 50 of file Types.h.inc.
|
static |
Definition at line 99 of file Types.cpp.inc.
| void llzk::felt::FeltType::print | ( | ::mlir::AsmPrinter & | odsPrinter | ) | const |
Definition at line 121 of file Types.cpp.inc.
|
static |
Definition at line 258 of file Dialect.cpp.
|
static |
Definition at line 93 of file Types.cpp.inc.
|
static |
Definition at line 57 of file Types.h.inc.
|
static |
Definition at line 56 of file Types.h.inc.