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 {
18class PublicAttr;
19class LoopBoundsAttr;
20class PublicAttr : public ::mlir::Attribute::AttrBase<PublicAttr, ::mlir::Attribute, ::mlir::AttributeStorage> {
21public:
22 using Base::Base;
23 static constexpr ::llvm::StringLiteral name = "llzk.pub";
24 static constexpr ::llvm::StringLiteral dialectName = "llzk";
25 static constexpr ::llvm::StringLiteral getMnemonic() {
26 return {"pub"};
27 }
28
29};
30namespace detail {
31struct LoopBoundsAttrStorage;
32} // namespace detail
33class LoopBoundsAttr : public ::mlir::Attribute::AttrBase<LoopBoundsAttr, ::mlir::Attribute, detail::LoopBoundsAttrStorage> {
34public:
35 using Base::Base;
36 static constexpr ::llvm::StringLiteral name = "llzk.loopbounds";
37 static constexpr ::llvm::StringLiteral dialectName = "llzk";
38 static LoopBoundsAttr get(::mlir::MLIRContext *context, ::llzk::APIntValue lower, ::llzk::APIntValue upper, ::llzk::APIntValue step);
39 static LoopBoundsAttr get(::mlir::MLIRContext *context, ::llvm::APInt lower, ::llvm::APInt upper, ::llvm::APInt step);
40 static constexpr ::llvm::StringLiteral getMnemonic() {
41 return {"loopbounds"};
42 }
43
44 static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
45 void print(::mlir::AsmPrinter &odsPrinter) const;
46 const ::llvm::APInt &getLower() const;
47 const ::llvm::APInt &getUpper() const;
48 const ::llvm::APInt &getStep() const;
49};
50} // namespace llzk
51MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::PublicAttr)
52MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::LoopBoundsAttr)
53
54#endif // GET_ATTRDEF_CLASSES
55