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