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