Attrs.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* AttrDef Definitions                                                        *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
#ifdef GET_ATTRDEF_LIST
#undef GET_ATTRDEF_LIST
 
::llzk::felt::FeltConstAttr,
::llzk::felt::FieldSpecAttr
 
#endif // GET_ATTRDEF_LIST
 
#ifdef GET_ATTRDEF_CLASSES
#undef GET_ATTRDEF_CLASSES
 
static ::mlir::OptionalParseResult generatedAttributeParser(::mlir::AsmParser &parser, ::llvm::StringRef *mnemonic, ::mlir::Type type, ::mlir::Attribute &value) {
  return ::mlir::AsmParser::KeywordSwitch<::mlir::OptionalParseResult>(parser)
    .Case(::llzk::felt::FeltConstAttr::getMnemonic(), [&](llvm::StringRef, llvm::SMLoc) {
      value = ::llzk::felt::FeltConstAttr::parse(parser, type);
      return ::mlir::success(!!value);
    })
    .Case(::llzk::felt::FieldSpecAttr::getMnemonic(), [&](llvm::StringRef, llvm::SMLoc) {
      value = ::llzk::felt::FieldSpecAttr::parse(parser, type);
      return ::mlir::success(!!value);
    })
    .Default([&](llvm::StringRef keyword, llvm::SMLoc) {
      *mnemonic = keyword;
      return std::nullopt;
    });
}
 
static ::llvm::LogicalResult generatedAttributePrinter(::mlir::Attribute def, ::mlir::AsmPrinter &printer) {
  return ::llvm::TypeSwitch<::mlir::Attribute, ::llvm::LogicalResult>(def)    .Case<::llzk::felt::FeltConstAttr>([&](auto t) {
      printer << ::llzk::felt::FeltConstAttr::getMnemonic();
t.print(printer);
      return ::mlir::success();
    })
    .Case<::llzk::felt::FieldSpecAttr>([&](auto t) {
      printer << ::llzk::felt::FieldSpecAttr::getMnemonic();
t.print(printer);
      return ::mlir::success();
    })
    .Default([](auto) { return ::mlir::failure(); });
}
 
namespace llzk::felt {
 
namespace detail {
 
struct FeltConstAttrStorage : public ::mlir::AttributeStorage {
  using KeyTy = std::tuple<::llzk::DynamicAPIntValue, FeltType>;
  FeltConstAttrStorage(::llzk::DynamicAPIntValue rawValue, FeltType type) : rawValue(std::move(rawValue)), type(std::move(type)) {}
 
  KeyTy getAsKey() const {
    return KeyTy(rawValue, type);
  }
 
  bool operator==(const KeyTy &tblgenKey) const {
    return (rawValue == std::get<0>(tblgenKey)) && (type == std::get<1>(tblgenKey));
  }
 
  static ::llvm::hash_code hashKey(const KeyTy &tblgenKey) {
    return ::llvm::hash_combine(std::get<0>(tblgenKey), std::get<1>(tblgenKey));
  }
 
  static FeltConstAttrStorage *construct(::mlir::AttributeStorageAllocator &allocator, KeyTy &&tblgenKey) {
    auto rawValue = std::move(std::get<0>(tblgenKey));
    auto type = std::move(std::get<1>(tblgenKey));
    return new (allocator.allocate<FeltConstAttrStorage>()) FeltConstAttrStorage(std::move(rawValue), std::move(type));
  }
 
  ::llzk::DynamicAPIntValue rawValue;
  FeltType type;
};
 
} // namespace detail
FeltConstAttr FeltConstAttr::get(::mlir::MLIRContext *context, ::llzk::DynamicAPIntValue rawValue, FeltType type) {
  return Base::get(context, std::move(rawValue), std::move(type));
}
 
FeltConstAttr FeltConstAttr::get(::mlir::MLIRContext *context, const ::llvm::DynamicAPInt &rawValue, FeltType ty) {
  return Base::get(context, ::llzk::DynamicAPIntValue(rawValue), ty); 
}
 
FeltConstAttr FeltConstAttr::get(::mlir::MLIRContext *context, const ::llvm::DynamicAPInt &rawValue) {
  return get(context, rawValue, FeltType::get(context)); 
}
 
FeltConstAttr FeltConstAttr::get(::mlir::MLIRContext *context, const ::llvm::DynamicAPInt &rawValue, ::llvm::StringRef fieldName) {
  return get(context, rawValue, FeltType::get(context, fieldName)); 
}
 
FeltConstAttr FeltConstAttr::get(::mlir::MLIRContext *context, ::llvm::ArrayRef<uint64_t> parts, FeltType ty) {
  return get(context, ::llzk::toSignedDynamicAPInt(parts), ty); 
}
 
FeltConstAttr FeltConstAttr::get(::mlir::MLIRContext *context, ::llvm::ArrayRef<uint64_t> parts) {
  return get(context, ::llzk::toSignedDynamicAPInt(parts)); 
}
 
FeltConstAttr FeltConstAttr::get(::mlir::MLIRContext *context, ::llvm::ArrayRef<uint64_t> parts, ::llvm::StringRef fieldName) {
  return get(context, ::llzk::toSignedDynamicAPInt(parts), fieldName); 
}
 
const ::llvm::DynamicAPInt &FeltConstAttr::getRawValue() const {
  return getImpl()->rawValue;
}
 
FeltType FeltConstAttr::getType() const {
  return getImpl()->type;
}
 
 
} // namespace llzk::felt
MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::felt::FeltConstAttr)
namespace llzk::felt {
 
namespace detail {
 
struct FieldSpecAttrStorage : public ::mlir::AttributeStorage {
  using KeyTy = std::tuple<::mlir::StringAttr, ::llzk::DynamicAPIntValue>;
  FieldSpecAttrStorage(::mlir::StringAttr fieldName, ::llzk::DynamicAPIntValue prime) : fieldName(std::move(fieldName)), prime(std::move(prime)) {}
 
  KeyTy getAsKey() const {
    return KeyTy(fieldName, prime);
  }
 
  bool operator==(const KeyTy &tblgenKey) const {
    return (fieldName == std::get<0>(tblgenKey)) && (prime == std::get<1>(tblgenKey));
  }
 
  static ::llvm::hash_code hashKey(const KeyTy &tblgenKey) {
    return ::llvm::hash_combine(std::get<0>(tblgenKey), std::get<1>(tblgenKey));
  }
 
  static FieldSpecAttrStorage *construct(::mlir::AttributeStorageAllocator &allocator, KeyTy &&tblgenKey) {
    auto fieldName = std::move(std::get<0>(tblgenKey));
    auto prime = std::move(std::get<1>(tblgenKey));
    return new (allocator.allocate<FieldSpecAttrStorage>()) FieldSpecAttrStorage(std::move(fieldName), std::move(prime));
  }
 
  ::mlir::StringAttr fieldName;
  ::llzk::DynamicAPIntValue prime;
};
 
} // namespace detail
FieldSpecAttr FieldSpecAttr::get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llzk::DynamicAPIntValue prime) {
  return Base::get(context, std::move(fieldName), std::move(prime));
}
 
FieldSpecAttr FieldSpecAttr::getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llzk::DynamicAPIntValue prime) {
  return Base::getChecked(emitError, context, std::move(fieldName), std::move(prime));
}
 
FieldSpecAttr FieldSpecAttr::get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, const ::llvm::DynamicAPInt &prime) {
  return Base::get(context, fieldName, ::llzk::DynamicAPIntValue(prime)); 
}
 
FieldSpecAttr FieldSpecAttr::getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, const ::llvm::DynamicAPInt &prime) {
  return Base::getChecked(emitError, context, fieldName, ::llzk::DynamicAPIntValue(prime)); 
}
 
FieldSpecAttr FieldSpecAttr::get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llvm::ArrayRef<uint64_t> parts) {
  return Base::get(context, fieldName,
                         ::llzk::DynamicAPIntValue(::llzk::toSignedDynamicAPInt(parts))); 
}
 
FieldSpecAttr FieldSpecAttr::getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName, ::llvm::ArrayRef<uint64_t> parts) {
  return Base::getChecked(emitError, context, fieldName,
                         ::llzk::DynamicAPIntValue(::llzk::toSignedDynamicAPInt(parts))); 
}
 
FieldSpecAttr FieldSpecAttr::get(::mlir::MLIRContext *context, ::llvm::StringRef fieldName, ::llvm::ArrayRef<uint64_t> parts) {
  return Base::get(context, ::mlir::StringAttr::get(context, fieldName),
                         ::llzk::DynamicAPIntValue(::llzk::toSignedDynamicAPInt(parts))); 
}
 
FieldSpecAttr FieldSpecAttr::getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::StringRef fieldName, ::llvm::ArrayRef<uint64_t> parts) {
  return Base::getChecked(emitError, context, ::mlir::StringAttr::get(context, fieldName),
                         ::llzk::DynamicAPIntValue(::llzk::toSignedDynamicAPInt(parts))); 
}
 
::llvm::LogicalResult FieldSpecAttr::verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName, ::llzk::DynamicAPIntValue prime) {
  if (::mlir::failed(verify(emitError, fieldName, prime)))
    return ::mlir::failure();
  return ::mlir::success();
}
 
::mlir::StringAttr FieldSpecAttr::getFieldName() const {
  return getImpl()->fieldName;
}
 
const ::llvm::DynamicAPInt &FieldSpecAttr::getPrime() const {
  return getImpl()->prime;
}
 
 
} // namespace llzk::felt
MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::felt::FieldSpecAttr)
namespace llzk::felt {
 

::mlir::Attribute FeltDialect::parseAttribute(::mlir::DialectAsmParser &parser,
                                      ::mlir::Type type) const {
  ::llvm::SMLoc typeLoc = parser.getCurrentLocation();
  ::llvm::StringRef attrTag;
  {
    ::mlir::Attribute attr;
    auto parseResult = generatedAttributeParser(parser, &attrTag, type, attr);
    if (parseResult.has_value())
      return attr;
  }
  
  parser.emitError(typeLoc) << "unknown attribute `"
      << attrTag << "` in dialect `" << getNamespace() << "`";
  return {};
}
void FeltDialect::printAttribute(::mlir::Attribute attr,
                         ::mlir::DialectAsmPrinter &printer) const {
  if (::mlir::succeeded(generatedAttributePrinter(attr, printer)))
    return;
  
}
 
} // namespace llzk::felt
 
#endif // GET_ATTRDEF_CLASSES