LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.capi.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Attr C API Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Attrs.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11#include "llzk-c/Builder.h"
12#include <mlir-c/IR.h>
13
14#ifdef __cplusplus
15extern "C" {
16#endif
17
19MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_LoopBoundsAttr(MlirAttribute);
20
22MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_LoopBoundsAttrGet(MlirContext ctx, int64_t lower, int64_t upper, int64_t step);
23
25MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetLower(MlirAttribute);
26
28MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetUpper(MlirAttribute);
29
31MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetStep(MlirAttribute);
32
34MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_PublicAttr(MlirAttribute);
35
37MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_PublicAttrGet(MlirContext ctx);
38
39#ifdef __cplusplus
40}
41#endif
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_PublicAttr(MlirAttribute)
Returns true if the Attribute is a llzk::PublicAttr.
MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetLower(MlirAttribute)
Get 'lower' parameter from a llzk::LoopBoundsAttr Attribute.
MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_PublicAttrGet(MlirContext ctx)
Create a llzk::PublicAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_LoopBoundsAttr(MlirAttribute)
Returns true if the Attribute is a llzk::LoopBoundsAttr.
MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetStep(MlirAttribute)
Get 'step' parameter from a llzk::LoopBoundsAttr Attribute.
MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetUpper(MlirAttribute)
Get 'upper' parameter from a llzk::LoopBoundsAttr Attribute.
MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_LoopBoundsAttrGet(MlirContext ctx, int64_t lower, int64_t upper, int64_t step)
Create a llzk::LoopBoundsAttr Attribute with the given parameters.