LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* AttrDef Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* *|
7\*===----------------------------------------------------------------------===*/
8
9#ifdef GET_ATTRDEF_CLASSES
10#undef GET_ATTRDEF_CLASSES
11
12
13namespace mlir {
14class AsmParser;
15class AsmPrinter;
16} // namespace mlir
17namespace llzk::pod {
18
20class RecordAttr;
21namespace detail {
22
23struct RecordAttrStorage;
24
25} // namespace detail
26class RecordAttr : public ::mlir::Attribute::AttrBase<RecordAttr, ::mlir::Attribute, detail::RecordAttrStorage> {
27public:
28 using Base::Base;
30 ::mlir::FlatSymbolRefAttr getNameSym() const;
31 static constexpr ::llvm::StringLiteral name = "pod.record";
32 static constexpr ::llvm::StringLiteral dialectName = "pod";
33 static RecordAttr get(::mlir::MLIRContext *context, ::mlir::StringAttr name, ::mlir::Type type);
34 static constexpr ::llvm::StringLiteral getMnemonic() {
35 return {"record"};
36 }
37
38 static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
39 void print(::mlir::AsmPrinter &odsPrinter) const;
40 ::mlir::StringAttr getName() const;
41 ::mlir::Type getType() const;
42};
43
44} // namespace llzk::pod
45MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::pod::RecordAttr)
46
47#endif // GET_ATTRDEF_CLASSES
48
Common interface for operations that reference a plain-old-data struct value.