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

Go to the source code of this file.

Functions

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

Function Documentation

◆ llzkAttributeIsA_Llzk_LoopBoundsAttr()

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()

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()

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()

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()

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()

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()

MlirAttribute llzkLlzk_PublicAttrGet ( MlirContext ctx)

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

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