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
class
PublicAttr;
19
class
LoopBoundsAttr;
20
class
PublicAttr :
public
::mlir::Attribute::AttrBase<PublicAttr, ::mlir::Attribute, ::mlir::AttributeStorage> {
21
public
:
22
using
Base::Base;
23
static
constexpr ::llvm::StringLiteral name =
"llzk.pub"
;
24
static
constexpr ::llvm::StringLiteral dialectName =
"llzk"
;
25
static
constexpr ::llvm::StringLiteral getMnemonic() {
26
return
{
"pub"
};
27
}
28
29
};
30
namespace
detail
{
31
struct
LoopBoundsAttrStorage;
32
}
// namespace detail
33
class
LoopBoundsAttr :
public
::mlir::Attribute::AttrBase<LoopBoundsAttr, ::mlir::Attribute, detail::LoopBoundsAttrStorage> {
34
public
:
35
using
Base::Base;
36
static
constexpr ::llvm::StringLiteral name =
"llzk.loopbounds"
;
37
static
constexpr ::llvm::StringLiteral dialectName =
"llzk"
;
38
static
LoopBoundsAttr get(::mlir::MLIRContext *context, ::llzk::APIntValue lower, ::llzk::APIntValue upper, ::llzk::APIntValue step);
39
static
LoopBoundsAttr get(::mlir::MLIRContext *context, ::llvm::APInt lower, ::llvm::APInt upper, ::llvm::APInt step);
40
static
constexpr ::llvm::StringLiteral getMnemonic() {
41
return
{
"loopbounds"
};
42
}
43
44
static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
45
void
print(::mlir::AsmPrinter &odsPrinter)
const
;
46
const ::llvm::APInt &getLower()
const
;
47
const ::llvm::APInt &getUpper()
const
;
48
const ::llvm::APInt &getStep()
const
;
49
};
50
}
// namespace llzk
51
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::PublicAttr)
52
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::LoopBoundsAttr)
53
54
#endif
// GET_ATTRDEF_CLASSES
55
llzk::detail
Definition
Ops.cpp.inc:42
llzk
Definition
AnalysisPassEnums.cpp:19
mlir
Definition
ValueModel.h:30
build
include
llzk
Dialect
LLZK
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.