LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
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
13namespace mlir {
14class AsmParser;
15class AsmPrinter;
16} // namespace mlir
17namespace llzk {
18namespace cast {
19class OverflowSemanticsAttr;
20namespace detail {
21struct OverflowSemanticsAttrStorage;
22} // namespace detail
23class OverflowSemanticsAttr : public ::mlir::Attribute::AttrBase<OverflowSemanticsAttr, ::mlir::Attribute, detail::OverflowSemanticsAttrStorage> {
24public:
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
39MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::cast::OverflowSemanticsAttr)
40
41#endif // GET_ATTRDEF_CLASSES
42