LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Inheritance diagram for llzk::felt::FeltType:
[legend]
Collaboration diagram for llzk::felt::FeltType:
[legend]

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"

Detailed Description

Definition at line 47 of file Types.h.inc.

Member Function Documentation

◆ get() [1/3]

FeltType llzk::felt::FeltType::get ( ::mlir::MLIRContext * context)
static

Definition at line 77 of file Types.cpp.inc.

◆ get() [2/3]

FeltType llzk::felt::FeltType::get ( ::mlir::MLIRContext * context,
::llvm::StringRef fieldName )
static

Definition at line 85 of file Types.cpp.inc.

◆ get() [3/3]

FeltType llzk::felt::FeltType::get ( ::mlir::MLIRContext * context,
::mlir::StringAttr fieldName )
static

Definition at line 69 of file Types.cpp.inc.

◆ getChecked() [1/3]

FeltType llzk::felt::FeltType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::MLIRContext * context )
static

Definition at line 81 of file Types.cpp.inc.

◆ getChecked() [2/3]

FeltType llzk::felt::FeltType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::MLIRContext * context,
::llvm::StringRef fieldName )
static

Definition at line 89 of file Types.cpp.inc.

◆ getChecked() [3/3]

FeltType llzk::felt::FeltType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::MLIRContext * context,
::mlir::StringAttr fieldName )
static

Definition at line 73 of file Types.cpp.inc.

◆ getField()

const Field & llzk::felt::FeltType::getField ( ) const

Definition at line 255 of file Dialect.cpp.

◆ getFieldName()

mlir::StringAttr llzk::felt::FeltType::getFieldName ( ) const

Definition at line 133 of file Types.cpp.inc.

◆ getMnemonic()

constexpr ::llvm::StringLiteral llzk::felt::FeltType::getMnemonic ( )
inlinestatic

Definition at line 67 of file Types.h.inc.

◆ hasField()

bool llzk::felt::FeltType::hasField ( ) const
inline

Definition at line 50 of file Types.h.inc.

◆ parse()

mlir::Type llzk::felt::FeltType::parse ( ::mlir::AsmParser & odsParser)
static

Definition at line 99 of file Types.cpp.inc.

◆ print()

void llzk::felt::FeltType::print ( ::mlir::AsmPrinter & odsPrinter) const

Definition at line 121 of file Types.cpp.inc.

◆ verify()

llvm::LogicalResult llzk::felt::FeltType::verify ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::StringAttr fieldName )
static

Definition at line 258 of file Dialect.cpp.

◆ verifyInvariants()

llvm::LogicalResult llzk::felt::FeltType::verifyInvariants ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::StringAttr fieldName )
static

Definition at line 93 of file Types.cpp.inc.

Member Data Documentation

◆ dialectName

::llvm::StringLiteral llzk::felt::FeltType::dialectName = "felt"
static

Definition at line 57 of file Types.h.inc.

◆ name

::llvm::StringLiteral llzk::felt::FeltType::name = "felt.type"
static

Definition at line 56 of file Types.h.inc.


The documentation for this class was generated from the following files: