LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
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
15
extern
"C"
{
16
#endif
17
19
MLIR_CAPI_EXPORTED
bool
llzkAttributeIsA_Llzk_LoopBoundsAttr
(MlirAttribute);
20
22
MLIR_CAPI_EXPORTED MlirAttribute
llzkLlzk_LoopBoundsAttrGet
(MlirContext ctx, MlirStringRef lower, MlirStringRef upper, MlirStringRef step);
23
25
MLIR_CAPI_EXPORTED
void
llzkLlzk_LoopBoundsAttrGetLower
(MlirAttribute, MlirStringCallback callback,
void
*userData);
26
28
MLIR_CAPI_EXPORTED
void
llzkLlzk_LoopBoundsAttrGetUpper
(MlirAttribute, MlirStringCallback callback,
void
*userData);
29
31
MLIR_CAPI_EXPORTED
void
llzkLlzk_LoopBoundsAttrGetStep
(MlirAttribute, MlirStringCallback callback,
void
*userData);
32
34
MLIR_CAPI_EXPORTED
bool
llzkAttributeIsA_Llzk_PublicAttr
(MlirAttribute);
35
37
MLIR_CAPI_EXPORTED MlirAttribute
llzkLlzk_PublicAttrGet
(MlirContext ctx);
38
39
#ifdef __cplusplus
40
}
41
#endif
llzkAttributeIsA_Llzk_PublicAttr
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_PublicAttr(MlirAttribute)
Returns true if the Attribute is a llzk::PublicAttr.
Definition
Attrs.capi.cpp.inc:54
llzkLlzk_LoopBoundsAttrGetLower
MLIR_CAPI_EXPORTED void llzkLlzk_LoopBoundsAttrGetLower(MlirAttribute, MlirStringCallback callback, void *userData)
Print the exact signed decimal 'lower' value. The callback must copy the text to retain it.
Definition
Attrs.capi.cpp.inc:36
llzkLlzk_PublicAttrGet
MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_PublicAttrGet(MlirContext ctx)
Create a llzk::PublicAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:58
llzkAttributeIsA_Llzk_LoopBoundsAttr
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_LoopBoundsAttr(MlirAttribute)
Returns true if the Attribute is a llzk::LoopBoundsAttr.
Definition
Attrs.capi.cpp.inc:21
llzkLlzk_LoopBoundsAttrGetStep
MLIR_CAPI_EXPORTED void llzkLlzk_LoopBoundsAttrGetStep(MlirAttribute, MlirStringCallback callback, void *userData)
Print the exact signed decimal 'step' value. The callback must copy the text to retain it.
Definition
Attrs.capi.cpp.inc:48
llzkLlzk_LoopBoundsAttrGetUpper
MLIR_CAPI_EXPORTED void llzkLlzk_LoopBoundsAttrGetUpper(MlirAttribute, MlirStringCallback callback, void *userData)
Print the exact signed decimal 'upper' value. The callback must copy the text to retain it.
Definition
Attrs.capi.cpp.inc:42
llzkLlzk_LoopBoundsAttrGet
MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_LoopBoundsAttrGet(MlirContext ctx, MlirStringRef lower, MlirStringRef upper, MlirStringRef step)
Create a llzk::LoopBoundsAttr Attribute with the given parameters.
Definition
Attrs.capi.cpp.inc:25
Builder.h
build
include
llzk
Dialect
LLZK
IR
Attrs.capi.h.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.