LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Types.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* TypeDef Definitions *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* *|
7\*===----------------------------------------------------------------------===*/
8
9#ifdef GET_TYPEDEF_LIST
10#undef GET_TYPEDEF_LIST
11
13
14#endif // GET_TYPEDEF_LIST
15
16#ifdef GET_TYPEDEF_CLASSES
17#undef GET_TYPEDEF_CLASSES
18
19static ::mlir::OptionalParseResult generatedTypeParser(::mlir::AsmParser &parser, ::llvm::StringRef *mnemonic, ::mlir::Type &value) {
20 return ::mlir::AsmParser::KeywordSwitch<::mlir::OptionalParseResult>(parser)
21 .Case(::llzk::pod::PodType::getMnemonic(), [&](llvm::StringRef, llvm::SMLoc) {
22 value = ::llzk::pod::PodType::parse(parser);
23 return ::mlir::success(!!value);
24 })
25 .Default([&](llvm::StringRef keyword, llvm::SMLoc) {
26 *mnemonic = keyword;
27 return std::nullopt;
28 });
29}
30
31static ::llvm::LogicalResult generatedTypePrinter(::mlir::Type def, ::mlir::AsmPrinter &printer) {
32 return ::llvm::TypeSwitch<::mlir::Type, ::llvm::LogicalResult>(def) .Case<::llzk::pod::PodType>([&](auto t) {
34t.print(printer);
35 return ::mlir::success();
36 })
37 .Default([](auto) { return ::mlir::failure(); });
38}
39
40namespace llzk {
41namespace pod {
42namespace detail {
43struct PodTypeStorage : public ::mlir::TypeStorage {
44 using KeyTy = std::tuple<::llvm::ArrayRef<::llzk::pod::RecordAttr>>;
45 PodTypeStorage(::llvm::ArrayRef<::llzk::pod::RecordAttr> records) : records(std::move(records)) {}
46
47 KeyTy getAsKey() const {
48 return KeyTy(records);
49 }
50
51 bool operator==(const KeyTy &tblgenKey) const {
52 return (records == std::get<0>(tblgenKey));
53 }
54
55 static ::llvm::hash_code hashKey(const KeyTy &tblgenKey) {
56 return ::llvm::hash_combine(std::get<0>(tblgenKey));
57 }
58
59 static PodTypeStorage *construct(::mlir::TypeStorageAllocator &allocator, KeyTy &&tblgenKey) {
60 auto records = std::move(std::get<0>(tblgenKey));
61 records = allocator.copyInto(records);
62 return new (allocator.allocate<PodTypeStorage>()) PodTypeStorage(std::move(records));
63 }
64
65 ::llvm::ArrayRef<::llzk::pod::RecordAttr> records;
66};
67} // namespace detail
68PodType PodType::get(::mlir::MLIRContext *context, ::llvm::ArrayRef<::llzk::pod::RecordAttr> records) {
69 return Base::get(context, std::move(records));
70}
71
72PodType PodType::getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::ArrayRef<::llzk::pod::RecordAttr> records) {
73 return Base::getChecked(emitError, context, records);
74}
75
76::llvm::LogicalResult PodType::verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::ArrayRef<::llzk::pod::RecordAttr> records) {
77 if (::mlir::failed(verify(emitError, records)))
78 return ::mlir::failure();
79 return ::mlir::success();
80}
81
82::mlir::Type PodType::parse(::mlir::AsmParser &odsParser) {
83 ::mlir::Builder odsBuilder(odsParser.getContext());
84 ::llvm::SMLoc odsLoc = odsParser.getCurrentLocation();
85 (void) odsLoc;
86 ::mlir::FailureOr<::llvm::SmallVector<::llzk::pod::RecordAttr>> _result_records;
87 // Parse literal '<'
88 if (odsParser.parseLess()) return {};
89 {
90 auto odsCustomLoc = odsParser.getCurrentLocation();
91 (void)odsCustomLoc;
92 auto odsCustomResult = parsePodType(odsParser,
93 ::mlir::detail::unwrapForCustomParse(_result_records));
94 if (::mlir::failed(odsCustomResult)) return {};
95 if (::mlir::failed(_result_records)) {
96 odsParser.emitError(odsCustomLoc, "custom parser failed to parse parameter 'records'");
97 return {};
98 }
99 }
100 // Parse literal '>'
101 if (odsParser.parseGreater()) return {};
102 assert(::mlir::succeeded(_result_records));
103 return odsParser.getChecked<PodType>(odsLoc, odsParser.getContext(),
104 ::llvm::ArrayRef<::llzk::pod::RecordAttr>((*_result_records)));
105}
106
107void PodType::print(::mlir::AsmPrinter &odsPrinter) const {
108 ::mlir::Builder odsBuilder(getContext());
109 odsPrinter << "<";
110 printPodType(odsPrinter,
111 getRecords());
112 odsPrinter << ">";
113}
114
115::llvm::ArrayRef<::llzk::pod::RecordAttr> PodType::getRecords() const {
116 return getImpl()->records;
117}
118
119} // namespace pod
120} // namespace llzk
121MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::pod::PodType)
122namespace llzk {
123namespace pod {
124
126::mlir::Type PODDialect::parseType(::mlir::DialectAsmParser &parser) const {
127 ::llvm::SMLoc typeLoc = parser.getCurrentLocation();
128 ::llvm::StringRef mnemonic;
129 ::mlir::Type genType;
130 auto parseResult = generatedTypeParser(parser, &mnemonic, genType);
131 if (parseResult.has_value())
132 return genType;
133
134 parser.emitError(typeLoc) << "unknown type `"
135 << mnemonic << "` in dialect `" << getNamespace() << "`";
136 return {};
137}
138
139void PODDialect::printType(::mlir::Type type,
140 ::mlir::DialectAsmPrinter &printer) const {
141 if (::mlir::succeeded(generatedTypePrinter(type, printer)))
142 return;
143
144}
145} // namespace pod
146} // namespace llzk
147
148#endif // GET_TYPEDEF_CLASSES
149
void printType(::mlir::Type type, ::mlir::DialectAsmPrinter &os) const override
Print a type registered to this dialect.
::mlir::Type parseType(::mlir::DialectAsmParser &parser) const override
Parse a type registered to this dialect.
void print(::mlir::AsmPrinter &odsPrinter) const
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 get(::mlir::MLIRContext *context, ::llvm::ArrayRef<::llzk::pod::RecordAttr > records)
Definition Types.cpp.inc:68
::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
::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
ParseResult parsePodType(AsmParser &parser, SmallVector< RecordAttr > &records)
Definition Types.cpp:67
void printPodType(AsmPrinter &printer, ArrayRef< RecordAttr > records)
Definition Types.cpp:79
std::tuple<::llvm::ArrayRef<::llzk::pod::RecordAttr > > KeyTy
Definition Types.cpp.inc:44
PodTypeStorage(::llvm::ArrayRef<::llzk::pod::RecordAttr > records)
Definition Types.cpp.inc:45
bool operator==(const KeyTy &tblgenKey) const
Definition Types.cpp.inc:51
::llvm::ArrayRef<::llzk::pod::RecordAttr > records
Definition Types.cpp.inc:65
::llvm::hash_code hashKey(const KeyTy &tblgenKey)
Definition Types.cpp.inc:55
static PodTypeStorage * construct(::mlir::TypeStorageAllocator &allocator, KeyTy &&tblgenKey)
Definition Types.cpp.inc:59