LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Types.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* TypeDef Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* *|
7\*===----------------------------------------------------------------------===*/
8
9#ifdef GET_TYPEDEF_CLASSES
10#undef GET_TYPEDEF_CLASSES
11
12
13namespace mlir {
14class AsmParser;
15class AsmPrinter;
16} // namespace mlir
17namespace llzk {
18namespace pod {
19class PodType;
20namespace detail {
21struct PodTypeStorage;
22} // namespace detail
23class PodType : public ::mlir::Type::TypeBase<PodType, ::mlir::Type, detail::PodTypeStorage> {
24public:
25 using Base::Base;
29 static PodType fromInitialValues(::mlir::MLIRContext *ctx, InitializedRecords init);
30
35 ::llvm::FailureOr<::mlir::Type> getRecord(::llvm::StringRef name, ::llvm::function_ref<::mlir::InFlightDiagnostic()>) const;
36
41 ::llvm::StringMap<::mlir::Type> getRecordMap() const;
42 static constexpr ::llvm::StringLiteral name = "pod.type";
43 static constexpr ::llvm::StringLiteral dialectName = "pod";
44 using Base::getChecked;
45 static PodType get(::mlir::MLIRContext *context, ::llvm::ArrayRef<::llzk::pod::RecordAttr> records);
46 static PodType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::ArrayRef<::llzk::pod::RecordAttr> records);
47 static ::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::ArrayRef<::llzk::pod::RecordAttr> records);
48 static ::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::ArrayRef<::llzk::pod::RecordAttr> records);
49 static constexpr ::llvm::StringLiteral getMnemonic() {
50 return {"type"};
51 }
52
53 static ::mlir::Type parse(::mlir::AsmParser &odsParser);
54 void print(::mlir::AsmPrinter &odsPrinter) const;
55 ::llvm::ArrayRef<::llzk::pod::RecordAttr> getRecords() const;
56};
57} // namespace pod
58} // namespace llzk
59MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::pod::PodType)
60
61#endif // GET_TYPEDEF_CLASSES
62
static constexpr ::llvm::StringLiteral dialectName
Definition Types.h.inc:43
void print(::mlir::AsmPrinter &odsPrinter) const
::llvm::FailureOr<::mlir::Type > getRecord(::llvm::StringRef name, ::llvm::function_ref<::mlir::InFlightDiagnostic()>) const
Searches a record by name.
Definition Types.cpp:50
static constexpr ::llvm::StringLiteral getMnemonic()
Definition Types.h.inc:49
static PodType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::ArrayRef<::llzk::pod::RecordAttr > records)
Definition Types.cpp.inc:72
static PodType fromInitialValues(::mlir::MLIRContext *ctx, InitializedRecords init)
Creates a new type from a set of initialized records.
Definition Types.cpp:42
static PodType get(::mlir::MLIRContext *context, ::llvm::ArrayRef<::llzk::pod::RecordAttr > records)
Definition Types.cpp.inc:68
::llvm::StringMap<::mlir::Type > getRecordMap() const
Returns the records in map form.
Definition Types.cpp:59
::mlir::Type parse(::mlir::AsmParser &odsParser)
Definition Types.cpp.inc:82
::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::ArrayRef<::llzk::pod::RecordAttr > records)
Definition Types.cpp.inc:76
static constexpr ::llvm::StringLiteral name
Definition Types.h.inc:42
::llvm::ArrayRef<::llzk::pod::RecordAttr > getRecords() const
::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::ArrayRef<::llzk::pod::RecordAttr > records)
Definition Types.cpp:28
mlir::ArrayRef< RecordValue > InitializedRecords
Definition Types.h:23