LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.capi.cpp.inc File Reference
#include <mlir/IR/Diagnostics.h>
#include <mlir/IR/BuiltinAttributes.h>
#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, MlirStringRef lower, MlirStringRef upper, MlirStringRef step)
 Create a ::llzk::LoopBoundsAttr Attribute with the given parameters.
void llzkLlzk_LoopBoundsAttrGetLower (MlirAttribute inp, MlirStringCallback callback, void *userData)
 Print the exact signed decimal 'lower' value. The callback must copy the text to retain it.
void llzkLlzk_LoopBoundsAttrGetUpper (MlirAttribute inp, MlirStringCallback callback, void *userData)
 Print the exact signed decimal 'upper' value. The callback must copy the text to retain it.
void llzkLlzk_LoopBoundsAttrGetStep (MlirAttribute inp, MlirStringCallback callback, void *userData)
 Print the exact signed decimal 'step' value. The callback must copy the text to retain it.
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 21 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 54 of file Attrs.capi.cpp.inc.

◆ llzkLlzk_LoopBoundsAttrGet()

MlirAttribute llzkLlzk_LoopBoundsAttrGet ( MlirContext ctx,
MlirStringRef lower,
MlirStringRef upper,
MlirStringRef step )

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

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

◆ llzkLlzk_LoopBoundsAttrGetLower()

void llzkLlzk_LoopBoundsAttrGetLower ( MlirAttribute inp,
MlirStringCallback callback,
void * userData )

Print the exact signed decimal 'lower' value. The callback must copy the text to retain it.

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

◆ llzkLlzk_LoopBoundsAttrGetStep()

void llzkLlzk_LoopBoundsAttrGetStep ( MlirAttribute inp,
MlirStringCallback callback,
void * userData )

Print the exact signed decimal 'step' value. The callback must copy the text to retain it.

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

◆ llzkLlzk_LoopBoundsAttrGetUpper()

void llzkLlzk_LoopBoundsAttrGetUpper ( MlirAttribute inp,
MlirStringCallback callback,
void * userData )

Print the exact signed decimal 'upper' value. The callback must copy the text to retain it.

Definition at line 42 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 58 of file Attrs.capi.cpp.inc.