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
{
18
namespace
pod
{
19
class
RecordAttr;
20
namespace
detail
{
21
struct
RecordAttrStorage;
22
}
// namespace detail
23
class
RecordAttr :
public
::mlir::Attribute::AttrBase<RecordAttr, ::mlir::Attribute, detail::RecordAttrStorage> {
24
public
:
25
using
Base::Base;
27
::mlir::FlatSymbolRefAttr getNameSym()
const
;
28
static
constexpr ::llvm::StringLiteral name =
"pod.record"
;
29
static
constexpr ::llvm::StringLiteral dialectName =
"pod"
;
30
static
RecordAttr get(::mlir::MLIRContext *context, ::mlir::StringAttr name, ::mlir::Type type);
31
static
constexpr ::llvm::StringLiteral getMnemonic() {
32
return
{
"record"
};
33
}
34
35
static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
36
void
print(::mlir::AsmPrinter &odsPrinter)
const
;
37
::mlir::StringAttr getName()
const
;
38
::mlir::Type getType()
const
;
39
};
40
}
// namespace pod
41
}
// namespace llzk
42
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::pod::RecordAttr)
43
44
#endif
// GET_ATTRDEF_CLASSES
45
llzk::pod::detail
Definition
OpInterfaces.h.inc:12
llzk::pod
Definition
Attrs.cpp:19
llzk
Definition
AnalysisPassEnums.cpp:19
mlir
Definition
ValueModel.h:30
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.