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
boolean
{
19
class
FeltCmpPredicateAttr;
20
namespace
detail
{
21
struct
FeltCmpPredicateAttrStorage;
22
}
// namespace detail
23
class
FeltCmpPredicateAttr :
public
::mlir::Attribute::AttrBase<FeltCmpPredicateAttr, ::mlir::Attribute, detail::FeltCmpPredicateAttrStorage> {
24
public
:
25
using
Base::Base;
26
static
constexpr ::llvm::StringLiteral name =
"bool.cmp"
;
27
static
constexpr ::llvm::StringLiteral dialectName =
"bool"
;
28
static
FeltCmpPredicateAttr get(::mlir::MLIRContext *context,
::llzk::boolean::FeltCmpPredicate
value);
29
static
constexpr ::llvm::StringLiteral getMnemonic() {
30
return
{
"cmp"
};
31
}
32
33
static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
34
void
print(::mlir::AsmPrinter &odsPrinter)
const
;
35
::llzk::boolean::FeltCmpPredicate
getValue()
const
;
36
};
37
}
// namespace boolean
38
}
// namespace llzk
39
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::boolean::FeltCmpPredicateAttr)
40
41
#endif
// GET_ATTRDEF_CLASSES
42
llzk::boolean::detail
Definition
Ops.cpp.inc:122
llzk::boolean
Definition
Ops.cpp:29
llzk::boolean::FeltCmpPredicate
FeltCmpPredicate
Definition
Enums.h.inc:13
llzk
Definition
AnalysisPassEnums.cpp:19
mlir
Definition
ValueModel.h:30
build
include
llzk
Dialect
Bool
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.