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/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, int64_t value, MlirType type) {
  
  return wrap(FeltConstAttr::get(unwrap(ctx), unwrap(value), ::llvm::cast<FeltType>(unwrap(type))));
}
 
int64_t llzkFelt_FeltConstAttrGetValue(MlirAttribute inp) {
  return wrap(llvm::cast<FeltConstAttr>(unwrap(inp)).getValue());
}
 
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());
}
 
bool llzkAttributeIsA_Felt_FieldSpecAttr(MlirAttribute inp) {
  return llvm::isa<FieldSpecAttr>(unwrap(inp));
}
 
MlirAttribute llzkFelt_FieldSpecAttrGet(MlirContext ctx, MlirIdentifier fieldName, int64_t prime) {
  
  return wrap(FieldSpecAttr::get(unwrap(ctx), unwrap(fieldName), unwrap(prime)));
}
 
MlirIdentifier llzkFelt_FieldSpecAttrGetFieldName(MlirAttribute inp) {
  return wrap(llvm::cast<FieldSpecAttr>(unwrap(inp)).getFieldName());
}
 
int64_t llzkFelt_FieldSpecAttrGetPrime(MlirAttribute inp) {
  return wrap(llvm::cast<FieldSpecAttr>(unwrap(inp)).getPrime());
}