LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.capi.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Attr C API Implementations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Attrs.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11#include <mlir/CAPI/IR.h>
12#include <mlir/CAPI/Support.h>
13#include <llvm/ADT/TypeSwitch.h>
14#include <utility>
15
16using namespace mlir;
17using namespace llvm;
18
20 return llvm::isa<AllowConstraintAttr>(unwrap(inp));
21}
22
23MlirAttribute llzkFunction_AllowConstraintAttrGet(MlirContext ctx) {
24
25 return wrap(AllowConstraintAttr::get(unwrap(ctx)));
26}
27
29 return llvm::isa<AllowNonNativeFieldOpsAttr>(unwrap(inp));
30}
31
32MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet(MlirContext ctx) {
33
34 return wrap(AllowNonNativeFieldOpsAttr::get(unwrap(ctx)));
35}
36
38 return llvm::isa<AllowWitnessAttr>(unwrap(inp));
39}
40
41MlirAttribute llzkFunction_AllowWitnessAttrGet(MlirContext ctx) {
42
43 return wrap(AllowWitnessAttr::get(unwrap(ctx)));
44}
45
bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowNonNativeFieldOpsAttr.
bool llzkAttributeIsA_Function_AllowConstraintAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowConstraintAttr.
MlirAttribute llzkFunction_AllowWitnessAttrGet(MlirContext ctx)
Create a llzk::function::AllowWitnessAttr Attribute with the given parameters.
bool llzkAttributeIsA_Function_AllowWitnessAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::function::AllowWitnessAttr.
MlirAttribute llzkFunction_AllowConstraintAttrGet(MlirContext ctx)
Create a llzk::function::AllowConstraintAttr Attribute with the given parameters.
MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet(MlirContext ctx)
Create a llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.