LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.capi.h.inc File Reference
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
Include dependency graph for Attrs.capi.h.inc:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_LoopBoundsAttr (MlirAttribute)
 Returns true if the Attribute is a ::llzk::LoopBoundsAttr.
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.
MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetLower (MlirAttribute)
 Get 'lower' 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 int64_t llzkLlzk_LoopBoundsAttrGetStep (MlirAttribute)
 Get 'step' parameter from a ::llzk::LoopBoundsAttr Attribute.
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_PublicAttr (MlirAttribute)
 Returns true if the Attribute is a ::llzk::PublicAttr.
MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_PublicAttrGet (MlirContext ctx)
 Create a ::llzk::PublicAttr Attribute with the given parameters.

Function Documentation

◆ llzkAttributeIsA_Llzk_LoopBoundsAttr()

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_LoopBoundsAttr ( MlirAttribute inp)

Returns true if the Attribute is a ::llzk::LoopBoundsAttr.

Definition at line 19 of file Attrs.capi.cpp.inc.

◆ llzkAttributeIsA_Llzk_PublicAttr()

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_PublicAttr ( MlirAttribute inp)

Returns true if the Attribute is a ::llzk::PublicAttr.

Definition at line 40 of file Attrs.capi.cpp.inc.

◆ llzkLlzk_LoopBoundsAttrGet()

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.

Definition at line 23 of file Attrs.capi.cpp.inc.

◆ llzkLlzk_LoopBoundsAttrGetLower()

MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetLower ( MlirAttribute inp)

Get 'lower' parameter from a ::llzk::LoopBoundsAttr Attribute.

Definition at line 28 of file Attrs.capi.cpp.inc.

◆ llzkLlzk_LoopBoundsAttrGetStep()

MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetStep ( MlirAttribute inp)

Get 'step' parameter from a ::llzk::LoopBoundsAttr Attribute.

Definition at line 36 of file Attrs.capi.cpp.inc.

◆ llzkLlzk_LoopBoundsAttrGetUpper()

MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetUpper ( MlirAttribute inp)

Get 'upper' parameter from a ::llzk::LoopBoundsAttr Attribute.

Definition at line 32 of file Attrs.capi.cpp.inc.

◆ llzkLlzk_PublicAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_PublicAttrGet ( MlirContext ctx)

Create a ::llzk::PublicAttr Attribute with the given parameters.

Definition at line 44 of file Attrs.capi.cpp.inc.