Types.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* TypeDef Definitions                                                        *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
#ifdef GET_TYPEDEF_LIST
#undef GET_TYPEDEF_LIST
 
::llzk::felt::FeltType
 
#endif  // GET_TYPEDEF_LIST
 
#ifdef GET_TYPEDEF_CLASSES
#undef GET_TYPEDEF_CLASSES
 
static ::mlir::OptionalParseResult generatedTypeParser(::mlir::AsmParser &parser, ::llvm::StringRef *mnemonic, ::mlir::Type &value) {
  return ::mlir::AsmParser::KeywordSwitch<::mlir::OptionalParseResult>(parser)
    .Case(::llzk::felt::FeltType::getMnemonic(), [&](llvm::StringRef, llvm::SMLoc) {
      value = ::llzk::felt::FeltType::parse(parser);
      return ::mlir::success(!!value);
    })
    .Default([&](llvm::StringRef keyword, llvm::SMLoc) {
      *mnemonic = keyword;
      return std::nullopt;
    });
}
 
static ::llvm::LogicalResult generatedTypePrinter(::mlir::Type def, ::mlir::AsmPrinter &printer) {
  return ::llvm::TypeSwitch<::mlir::Type, ::llvm::LogicalResult>(def)    .Case<::llzk::felt::FeltType>([&](auto t) {
      printer << ::llzk::felt::FeltType::getMnemonic();
t.print(printer);
      return ::mlir::success();
    })
    .Default([](auto) { return ::mlir::failure(); });
}
 
namespace llzk {
namespace felt {
namespace detail {
struct FeltTypeStorage : public ::mlir::TypeStorage {
  using KeyTy = std::tuple<::mlir::StringAttr>;
  FeltTypeStorage(::mlir::StringAttr fieldName) : fieldName(std::move(fieldName)) {}
 
  KeyTy getAsKey() const {
    return KeyTy(fieldName);
  }
 
  bool operator==(const KeyTy &tblgenKey) const {
    return (fieldName == std::get<0>(tblgenKey));
  }
 
  static ::llvm::hash_code hashKey(const KeyTy &tblgenKey) {
    return ::llvm::hash_combine(std::get<0>(tblgenKey));
  }
 
  static FeltTypeStorage *construct(::mlir::TypeStorageAllocator &allocator, KeyTy &&tblgenKey) {
    auto fieldName = std::move(std::get<0>(tblgenKey));
    return new (allocator.allocate<FeltTypeStorage>()) FeltTypeStorage(std::move(fieldName));
  }
 
  ::mlir::StringAttr fieldName;
};
} // namespace detail
FeltType FeltType::get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName) {
  return Base::get(context, std::move(fieldName));
}
 
FeltType FeltType::getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName) {
  return Base::getChecked(emitError, context, fieldName);
}
 
FeltType FeltType::get(::mlir::MLIRContext *context) {
  return Base::get(context, ::mlir::StringAttr()); 
}
 
FeltType FeltType::getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context) {
  return Base::getChecked(emitError, context, ::mlir::StringAttr()); 
}
 
FeltType FeltType::get(::mlir::MLIRContext *context, ::llvm::StringRef fieldName) {
  return Base::get(context, ::mlir::StringAttr::get(context, fieldName)); 
}
 
FeltType FeltType::getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::StringRef fieldName) {
  return Base::getChecked(emitError, context, ::mlir::StringAttr::get(context, fieldName)); 
}
 
::llvm::LogicalResult FeltType::verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName) {
  if (::mlir::failed(verify(emitError, fieldName)))
    return ::mlir::failure();
  return ::mlir::success();
}
 
::mlir::Type FeltType::parse(::mlir::AsmParser &odsParser) {
  ::mlir::Builder odsBuilder(odsParser.getContext());
  ::llvm::SMLoc odsLoc = odsParser.getCurrentLocation();
  (void) odsLoc;
  ::mlir::FailureOr<::mlir::StringAttr> _result_fieldName;
  // Parse literal '<'
  if (odsParser.parseOptionalLess()) {
  } else {
 
    // Parse variable 'fieldName'
    _result_fieldName = ::mlir::FieldParser<::mlir::StringAttr>::parse(odsParser);
    if (::mlir::failed(_result_fieldName)) {
      odsParser.emitError(odsParser.getCurrentLocation(), "failed to parse LLZK_FeltType parameter 'fieldName' which is to be a `::mlir::StringAttr`");
      return {};
    }
    // Parse literal '>'
    if (odsParser.parseGreater()) return {};
  }
  return odsParser.getChecked<FeltType>(odsLoc, odsParser.getContext(),
      ::mlir::StringAttr((_result_fieldName.value_or(::mlir::StringAttr()))));
}
 
void FeltType::print(::mlir::AsmPrinter &odsPrinter) const {
  ::mlir::Builder odsBuilder(getContext());
  if (!(getFieldName() == ::mlir::StringAttr())) {
    odsPrinter << "<";
    if (!(getFieldName() == ::mlir::StringAttr())) {
      odsPrinter.printStrippedAttrOrType(getFieldName());
    }
    odsPrinter << ">";
  } else {
  }
}
 
::mlir::StringAttr FeltType::getFieldName() const {
  return getImpl()->fieldName;
}
 
} // namespace felt
} // namespace llzk
MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::felt::FeltType)
namespace llzk {
namespace felt {

::mlir::Type FeltDialect::parseType(::mlir::DialectAsmParser &parser) const {
  ::llvm::SMLoc typeLoc = parser.getCurrentLocation();
  ::llvm::StringRef mnemonic;
  ::mlir::Type genType;
  auto parseResult = generatedTypeParser(parser, &mnemonic, genType);
  if (parseResult.has_value())
    return genType;
  
  parser.emitError(typeLoc) << "unknown  type `"
      << mnemonic << "` in dialect `" << getNamespace() << "`";
  return {};
}

void FeltDialect::printType(::mlir::Type type,
                    ::mlir::DialectAsmPrinter &printer) const {
  if (::mlir::succeeded(generatedTypePrinter(type, printer)))
    return;
  
}
} // namespace felt
} // namespace llzk
 
#endif  // GET_TYPEDEF_CLASSES