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
19bool llzkAttributeIsA_Llzk_LoopBoundsAttr(MlirAttribute inp) {
20 return llvm::isa<LoopBoundsAttr>(unwrap(inp));
21}
22
23MlirAttribute llzkLlzk_LoopBoundsAttrGet(MlirContext ctx, int64_t lower, int64_t upper, int64_t step) {
24
25 return wrap(LoopBoundsAttr::get(unwrap(ctx), unwrap(lower), unwrap(upper), unwrap(step)));
26}
27
28int64_t llzkLlzk_LoopBoundsAttrGetLower(MlirAttribute inp) {
29 return wrap(llvm::cast<LoopBoundsAttr>(unwrap(inp)).getLower());
30}
31
32int64_t llzkLlzk_LoopBoundsAttrGetUpper(MlirAttribute inp) {
33 return wrap(llvm::cast<LoopBoundsAttr>(unwrap(inp)).getUpper());
34}
35
36int64_t llzkLlzk_LoopBoundsAttrGetStep(MlirAttribute inp) {
37 return wrap(llvm::cast<LoopBoundsAttr>(unwrap(inp)).getStep());
38}
39
40bool llzkAttributeIsA_Llzk_PublicAttr(MlirAttribute inp) {
41 return llvm::isa<PublicAttr>(unwrap(inp));
42}
43
44MlirAttribute llzkLlzk_PublicAttrGet(MlirContext ctx) {
45
46 return wrap(PublicAttr::get(unwrap(ctx)));
47}
48
bool llzkAttributeIsA_Llzk_LoopBoundsAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::LoopBoundsAttr.
MlirAttribute llzkLlzk_PublicAttrGet(MlirContext ctx)
Create a llzk::PublicAttr Attribute with the given parameters.
int64_t llzkLlzk_LoopBoundsAttrGetStep(MlirAttribute inp)
Get 'step' parameter from a llzk::LoopBoundsAttr Attribute.
int64_t llzkLlzk_LoopBoundsAttrGetUpper(MlirAttribute inp)
Get 'upper' parameter from a llzk::LoopBoundsAttr Attribute.
bool llzkAttributeIsA_Llzk_PublicAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::PublicAttr.
MlirAttribute llzkLlzk_LoopBoundsAttrGet(MlirContext ctx, int64_t lower, int64_t upper, int64_t step)
Create a llzk::LoopBoundsAttr Attribute with the given parameters.
int64_t llzkLlzk_LoopBoundsAttrGetLower(MlirAttribute inp)
Get 'lower' parameter from a llzk::LoopBoundsAttr Attribute.