Attrs.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* AttrDef Declarations                                                       *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
#ifdef GET_ATTRDEF_CLASSES
#undef GET_ATTRDEF_CLASSES
 
 
namespace mlir {
class AsmParser;
class AsmPrinter;
} // namespace mlir
namespace llzk {
namespace felt {
class FeltConstAttr;
class FieldSpecAttr;
namespace detail {
struct FeltConstAttrStorage;
} // namespace detail
class FeltConstAttr : public ::mlir::Attribute::AttrBase<FeltConstAttr, ::mlir::Attribute, detail::FeltConstAttrStorage, ::mlir::TypedAttr::Trait> {
public:
  using Base::Base;
  operator ::llvm::APInt() const { return getValue(); }

  ::mlir::StringAttr getFieldName() const;
  static constexpr ::llvm::StringLiteral name = "felt.const";
  static constexpr ::llvm::StringLiteral dialectName = "felt";
  static FeltConstAttr get(::mlir::MLIRContext *context, ::llzk::APIntValue value, FeltType type);
  static FeltConstAttr get(::mlir::MLIRContext *context, ::llvm::APInt value, FeltType ty);
  static FeltConstAttr get(::mlir::MLIRContext *context, unsigned numBits, ::llvm::StringRef str, FeltType ty);
  static FeltConstAttr get(::mlir::MLIRContext *context, unsigned numBits, ::llvm::ArrayRef<uint64_t> parts, FeltType ty);
  static FeltConstAttr get(::mlir::MLIRContext *context, ::llvm::APInt value);
  static FeltConstAttr get(::mlir::MLIRContext *context, unsigned numBits, ::llvm::StringRef str);
  static FeltConstAttr get(::mlir::MLIRContext *context, unsigned numBits, ::llvm::ArrayRef<uint64_t> parts);
  static FeltConstAttr get(::mlir::MLIRContext *context, ::llvm::APInt value, ::llvm::StringRef fieldName);
  static FeltConstAttr get(::mlir::MLIRContext *context, unsigned numBits, ::llvm::StringRef str, ::llvm::StringRef fieldName);
  static FeltConstAttr get(::mlir::MLIRContext *context, unsigned numBits, ::llvm::ArrayRef<uint64_t> parts, ::llvm::StringRef fieldName);
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"const"};
  }
 
  static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
  void print(::mlir::AsmPrinter &odsPrinter) const;
  const ::llvm::APInt &getValue() const;
  FeltType getType() const;
};
namespace detail {
struct FieldSpecAttrStorage;
} // namespace detail
class FieldSpecAttr : public ::mlir::Attribute::AttrBase<FieldSpecAttr, ::mlir::Attribute, detail::FieldSpecAttrStorage> {
public:
  using Base::Base;
  static constexpr ::llvm::StringLiteral name = "felt.field";
  static constexpr ::llvm::StringLiteral dialectName = "felt";
  static FieldSpecAttr get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llzk::APIntValue prime);
  static FieldSpecAttr get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llvm::APInt prime);
  static FieldSpecAttr get(::mlir::MLIRContext *context, ::llvm::StringRef fieldName, unsigned numBits, ::llvm::StringRef primeStr);
  static FieldSpecAttr get(::mlir::MLIRContext *context, ::llvm::StringRef fieldName, unsigned numBits, ::llvm::ArrayRef<uint64_t> parts);
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"field"};
  }
 
  static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
  void print(::mlir::AsmPrinter &odsPrinter) const;
  ::mlir::StringAttr getFieldName() const;
  const ::llvm::APInt &getPrime() const;
};
} // namespace felt
} // namespace llzk
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::felt::FeltConstAttr)
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::felt::FieldSpecAttr)
 
#endif  // GET_ATTRDEF_CLASSES