LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
16
using namespace
mlir
;
17
using namespace
llvm
;
18
19
bool
llzkAttributeIsA_Llzk_LoopBoundsAttr
(MlirAttribute inp) {
20
return
llvm::isa<LoopBoundsAttr>(unwrap(inp));
21
}
22
23
MlirAttribute
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
28
int64_t
llzkLlzk_LoopBoundsAttrGetLower
(MlirAttribute inp) {
29
return
wrap(llvm::cast<LoopBoundsAttr>(unwrap(inp)).getLower());
30
}
31
32
int64_t
llzkLlzk_LoopBoundsAttrGetUpper
(MlirAttribute inp) {
33
return
wrap(llvm::cast<LoopBoundsAttr>(unwrap(inp)).getUpper());
34
}
35
36
int64_t
llzkLlzk_LoopBoundsAttrGetStep
(MlirAttribute inp) {
37
return
wrap(llvm::cast<LoopBoundsAttr>(unwrap(inp)).getStep());
38
}
39
40
bool
llzkAttributeIsA_Llzk_PublicAttr
(MlirAttribute inp) {
41
return
llvm::isa<PublicAttr>(unwrap(inp));
42
}
43
44
MlirAttribute
llzkLlzk_PublicAttrGet
(MlirContext ctx) {
45
46
return
wrap(PublicAttr::get(unwrap(ctx)));
47
}
48
llzkAttributeIsA_Llzk_LoopBoundsAttr
bool llzkAttributeIsA_Llzk_LoopBoundsAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::LoopBoundsAttr.
Definition
Attrs.capi.cpp.inc:19
llzkLlzk_PublicAttrGet
MlirAttribute llzkLlzk_PublicAttrGet(MlirContext ctx)
Create a llzk::PublicAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:44
llzkLlzk_LoopBoundsAttrGetStep
int64_t llzkLlzk_LoopBoundsAttrGetStep(MlirAttribute inp)
Get 'step' parameter from a llzk::LoopBoundsAttr Attribute.
Definition
Attrs.capi.cpp.inc:36
llzkLlzk_LoopBoundsAttrGetUpper
int64_t llzkLlzk_LoopBoundsAttrGetUpper(MlirAttribute inp)
Get 'upper' parameter from a llzk::LoopBoundsAttr Attribute.
Definition
Attrs.capi.cpp.inc:32
llzkAttributeIsA_Llzk_PublicAttr
bool llzkAttributeIsA_Llzk_PublicAttr(MlirAttribute inp)
Returns true if the Attribute is a llzk::PublicAttr.
Definition
Attrs.capi.cpp.inc:40
llzkLlzk_LoopBoundsAttrGet
MlirAttribute llzkLlzk_LoopBoundsAttrGet(MlirContext ctx, int64_t lower, int64_t upper, int64_t step)
Create a llzk::LoopBoundsAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:23
llzkLlzk_LoopBoundsAttrGetLower
int64_t llzkLlzk_LoopBoundsAttrGetLower(MlirAttribute inp)
Get 'lower' parameter from a llzk::LoopBoundsAttr Attribute.
Definition
Attrs.capi.cpp.inc:28
llvm
Definition
SourceRefLattice.cpp:411
mlir
Definition
ValueModel.h:30
build
include
llzk
Dialect
LLZK
IR
Attrs.capi.cpp.inc
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.