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::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;
  ::mlir::StringAttr getFieldName() const;

  std::optional<::llvm::DynamicAPInt> getReducedValue() const;

  ::llvm::DynamicAPInt getReducedValueOrRaw() const;
  static constexpr ::llvm::StringLiteral name = "felt.const";
  static constexpr ::llvm::StringLiteral dialectName = "felt";
  static FeltConstAttr get(::mlir::MLIRContext *context, ::llzk::DynamicAPIntValue rawValue, FeltType type);
  static FeltConstAttr get(::mlir::MLIRContext *context, const ::llvm::DynamicAPInt &rawValue, FeltType ty);
  static FeltConstAttr get(::mlir::MLIRContext *context, const ::llvm::DynamicAPInt &rawValue);
  static FeltConstAttr get(::mlir::MLIRContext *context, const ::llvm::DynamicAPInt &rawValue, ::llvm::StringRef fieldName);
  static FeltConstAttr get(::mlir::MLIRContext *context, ::llvm::ArrayRef<uint64_t> parts, FeltType ty);
  static FeltConstAttr get(::mlir::MLIRContext *context, ::llvm::ArrayRef<uint64_t> parts);
  static FeltConstAttr get(::mlir::MLIRContext *context, ::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::DynamicAPInt &getRawValue() 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";
  using Base::getChecked;
  static FieldSpecAttr get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llzk::DynamicAPIntValue prime);
  static FieldSpecAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llzk::DynamicAPIntValue prime);
  static FieldSpecAttr get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, const ::llvm::DynamicAPInt &prime);
  static FieldSpecAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, const ::llvm::DynamicAPInt &prime);
  static FieldSpecAttr get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llvm::ArrayRef<uint64_t> parts);
  static FieldSpecAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llvm::ArrayRef<uint64_t> parts);
  static FieldSpecAttr get(::mlir::MLIRContext *context, ::llvm::StringRef fieldName, ::llvm::ArrayRef<uint64_t> parts);
  static FieldSpecAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::StringRef fieldName, ::llvm::ArrayRef<uint64_t> parts);
  static ::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName, ::llzk::DynamicAPIntValue prime);
  static ::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName, ::llzk::DynamicAPIntValue prime);
  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::DynamicAPInt &getPrime() const;
};
 
} // namespace llzk::felt
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::felt::FeltConstAttr)
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::felt::FieldSpecAttr)
 
#endif // GET_ATTRDEF_CLASSES