LLZK 3.0.0
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 {
18
31class PublicAttr;
50class LoopBoundsAttr;
51class PublicAttr : public ::mlir::Attribute::AttrBase<PublicAttr, ::mlir::Attribute, ::mlir::AttributeStorage> {
52public:
53 using Base::Base;
54 static constexpr ::llvm::StringLiteral name = "llzk.pub";
55 static constexpr ::llvm::StringLiteral dialectName = "llzk";
56 static constexpr ::llvm::StringLiteral getMnemonic() {
57 return {"pub"};
58 }
59
60};
61namespace detail {
62
63struct LoopBoundsAttrStorage;
64
65} // namespace detail
66class LoopBoundsAttr : public ::mlir::Attribute::AttrBase<LoopBoundsAttr, ::mlir::Attribute, detail::LoopBoundsAttrStorage> {
67public:
68 using Base::Base;
69 static constexpr ::llvm::StringLiteral name = "llzk.loopbounds";
70 static constexpr ::llvm::StringLiteral dialectName = "llzk";
71 static LoopBoundsAttr get(::mlir::MLIRContext *context, ::llzk::DynamicAPIntValue lower, ::llzk::DynamicAPIntValue upper, ::llzk::DynamicAPIntValue step);
72 static LoopBoundsAttr get(::mlir::MLIRContext *context, const ::llvm::DynamicAPInt &lower, const ::llvm::DynamicAPInt &upper, const ::llvm::DynamicAPInt &step);
73 static constexpr ::llvm::StringLiteral getMnemonic() {
74 return {"loopbounds"};
75 }
76
77 static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
78 void print(::mlir::AsmPrinter &odsPrinter) const;
79 const ::llvm::DynamicAPInt &getLower() const;
80 const ::llvm::DynamicAPInt &getUpper() const;
81 const ::llvm::DynamicAPInt &getStep() const;
82};
83
84} // namespace llzk
85MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::PublicAttr)
86MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::LoopBoundsAttr)
87
88#endif // GET_ATTRDEF_CLASSES
89
Provides the necessary information to the RemoveUnusedDiscardableAllocations pass about operations th...
Definition Ops.cpp.inc:41