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::function::AllowConstraintAttr,
::llzk::function::AllowWitnessAttr,
::llzk::function::AllowNonNativeFieldOpsAttr,
::llzk::function::AllowVerifOpsAttr
 
#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::function::AllowConstraintAttr::getMnemonic(), [&](llvm::StringRef, llvm::SMLoc) {
      value = ::llzk::function::AllowConstraintAttr::get(parser.getContext());
      return ::mlir::success(!!value);
    })
    .Case(::llzk::function::AllowWitnessAttr::getMnemonic(), [&](llvm::StringRef, llvm::SMLoc) {
      value = ::llzk::function::AllowWitnessAttr::get(parser.getContext());
      return ::mlir::success(!!value);
    })
    .Case(::llzk::function::AllowNonNativeFieldOpsAttr::getMnemonic(), [&](llvm::StringRef, llvm::SMLoc) {
      value = ::llzk::function::AllowNonNativeFieldOpsAttr::get(parser.getContext());
      return ::mlir::success(!!value);
    })
    .Case(::llzk::function::AllowVerifOpsAttr::getMnemonic(), [&](llvm::StringRef, llvm::SMLoc) {
      value = ::llzk::function::AllowVerifOpsAttr::get(parser.getContext());
      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::function::AllowConstraintAttr>([&](auto t) {
      printer << ::llzk::function::AllowConstraintAttr::getMnemonic();
      return ::mlir::success();
    })
    .Case<::llzk::function::AllowWitnessAttr>([&](auto t) {
      printer << ::llzk::function::AllowWitnessAttr::getMnemonic();
      return ::mlir::success();
    })
    .Case<::llzk::function::AllowNonNativeFieldOpsAttr>([&](auto t) {
      printer << ::llzk::function::AllowNonNativeFieldOpsAttr::getMnemonic();
      return ::mlir::success();
    })
    .Case<::llzk::function::AllowVerifOpsAttr>([&](auto t) {
      printer << ::llzk::function::AllowVerifOpsAttr::getMnemonic();
      return ::mlir::success();
    })
    .Default([](auto) { return ::mlir::failure(); });
}
 
namespace llzk {
namespace function {
} // namespace function
} // namespace llzk
MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::function::AllowConstraintAttr)
namespace llzk {
namespace function {
} // namespace function
} // namespace llzk
MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::function::AllowWitnessAttr)
namespace llzk {
namespace function {
} // namespace function
} // namespace llzk
MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::function::AllowNonNativeFieldOpsAttr)
namespace llzk {
namespace function {
} // namespace function
} // namespace llzk
MLIR_DEFINE_EXPLICIT_TYPE_ID(::llzk::function::AllowVerifOpsAttr)
namespace llzk {
namespace function {

::mlir::Attribute FunctionDialect::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 FunctionDialect::printAttribute(::mlir::Attribute attr,
                         ::mlir::DialectAsmPrinter &printer) const {
  if (::mlir::succeeded(generatedAttributePrinter(attr, printer)))
    return;
  
}
} // namespace function
} // namespace llzk
 
#endif  // GET_ATTRDEF_CLASSES