LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
13
namespace
mlir
{
14
class
AsmParser;
15
class
AsmPrinter;
16
}
// namespace mlir
17
namespace
llzk::pod
{
18
20
class
RecordAttr;
21
namespace
detail
{
22
23
struct
RecordAttrStorage;
24
25
}
// namespace detail
26
class
RecordAttr :
public
::mlir::Attribute::AttrBase<RecordAttr, ::mlir::Attribute, detail::RecordAttrStorage> {
27
public
:
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
45
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::pod::RecordAttr)
46
47
#endif
// GET_ATTRDEF_CLASSES
48
llzk::pod::detail
Common interface for operations that reference a plain-old-data struct value.
Definition
OpInterfaces.h.inc:24
llzk::pod
Definition
Attrs.cpp:19
mlir
Definition
CommonCAPIGen.h:50
build
include
llzk
Dialect
POD
IR
Attrs.h.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.