Attrs.capi.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Attr C API Implementations                                                 *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Attrs.td                                                             *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
 
#include <mlir/IR/Diagnostics.h>
#include <mlir/IR/BuiltinAttributes.h>
#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Support.h>
#include <llvm/ADT/TypeSwitch.h>
#include <utility>
 
using namespace mlir;
using namespace llvm;
 
bool llzkAttributeIsA_Felt_FeltConstAttr(MlirAttribute inp) {
  return llvm::isa<FeltConstAttr>(unwrap(inp));
}
 
MlirAttribute llzkFelt_FeltConstAttrGet(MlirContext ctx, MlirStringRef rawValue, MlirType type) {
  auto rawValueInteger = llzk::parseDynamicAPInt(unwrap(rawValue));
if (!rawValueInteger) { mlir::emitError(mlir::UnknownLoc::get(unwrap(ctx)), llvm::toString(rawValueInteger.takeError())); return {nullptr}; }
 
  return wrap(FeltConstAttr::get(unwrap(ctx), *rawValueInteger, ::llvm::cast<FeltType>(unwrap(type))));
}
 
void llzkFelt_FeltConstAttrGetRawValue(MlirAttribute inp, MlirStringCallback callback, void *userData) {
  std::string text;
  llvm::raw_string_ostream(text) << llvm::cast<FeltConstAttr>(unwrap(inp)).getRawValue();
  callback(wrap(llvm::StringRef(text)), userData);
}
 
MlirType llzkFelt_FeltConstAttrGetType(MlirAttribute inp) {
  return wrap(llvm::cast<FeltConstAttr>(unwrap(inp)).getType());
}
 
MlirIdentifier llzkFelt_FeltConstAttrGetFieldName(MlirAttribute inp) {
  return wrap(llvm::cast<FeltConstAttr>(unwrap(inp)).getFieldName());
}
 
void llzkFelt_FeltConstAttrGetReducedValueOrRaw(MlirAttribute inp, MlirStringCallback callback, void *userData) {
  std::string text;
  llvm::raw_string_ostream(text) << llvm::cast<FeltConstAttr>(unwrap(inp)).getReducedValueOrRaw();
  callback(wrap(llvm::StringRef(text)), userData);
}
 
bool llzkAttributeIsA_Felt_FieldSpecAttr(MlirAttribute inp) {
  return llvm::isa<FieldSpecAttr>(unwrap(inp));
}
 
MlirAttribute llzkFelt_FieldSpecAttrGet(MlirContext ctx, MlirIdentifier fieldName, MlirStringRef prime) {
  auto primeInteger = llzk::parseDynamicAPInt(unwrap(prime));
if (!primeInteger) { mlir::emitError(mlir::UnknownLoc::get(unwrap(ctx)), llvm::toString(primeInteger.takeError())); return {nullptr}; }
 
  return wrap(FieldSpecAttr::getChecked(mlir::UnknownLoc::get(unwrap(ctx)), unwrap(ctx), unwrap(fieldName), *primeInteger));
}
 
MlirIdentifier llzkFelt_FieldSpecAttrGetFieldName(MlirAttribute inp) {
  return wrap(llvm::cast<FieldSpecAttr>(unwrap(inp)).getFieldName());
}
 
void llzkFelt_FieldSpecAttrGetPrime(MlirAttribute inp, MlirStringCallback callback, void *userData) {
  std::string text;
  llvm::raw_string_ostream(text) << llvm::cast<FieldSpecAttr>(unwrap(inp)).getPrime();
  callback(wrap(llvm::StringRef(text)), userData);
}