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_Function_AllowConstraintAttr(MlirAttribute inp) {
  return llvm::isa<AllowConstraintAttr>(unwrap(inp));
}
 
MlirAttribute llzkFunction_AllowConstraintAttrGet(MlirContext ctx) {
  
  return wrap(AllowConstraintAttr::get(unwrap(ctx)));
}
 
bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr(MlirAttribute inp) {
  return llvm::isa<AllowNonNativeFieldOpsAttr>(unwrap(inp));
}
 
MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet(MlirContext ctx) {
  
  return wrap(AllowNonNativeFieldOpsAttr::get(unwrap(ctx)));
}
 
bool llzkAttributeIsA_Function_AllowVerifOpsAttr(MlirAttribute inp) {
  return llvm::isa<AllowVerifOpsAttr>(unwrap(inp));
}
 
MlirAttribute llzkFunction_AllowVerifOpsAttrGet(MlirContext ctx) {
  
  return wrap(AllowVerifOpsAttr::get(unwrap(ctx)));
}
 
bool llzkAttributeIsA_Function_AllowWitnessAttr(MlirAttribute inp) {
  return llvm::isa<AllowWitnessAttr>(unwrap(inp));
}
 
MlirAttribute llzkFunction_AllowWitnessAttrGet(MlirContext ctx) {
  
  return wrap(AllowWitnessAttr::get(unwrap(ctx)));
}