|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/CAPI/IR.h>#include <mlir/CAPI/Support.h>#include <llvm/ADT/TypeSwitch.h>#include <utility>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. | |
| 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.
| 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.
| 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.
| int64_t llzkLlzk_LoopBoundsAttrGetLower | ( | MlirAttribute | inp | ) |
Get 'lower' parameter from a ::llzk::LoopBoundsAttr Attribute.
Definition at line 28 of file Attrs.capi.cpp.inc.
| int64_t llzkLlzk_LoopBoundsAttrGetStep | ( | MlirAttribute | inp | ) |
Get 'step' parameter from a ::llzk::LoopBoundsAttr Attribute.
Definition at line 36 of file Attrs.capi.cpp.inc.
| int64_t llzkLlzk_LoopBoundsAttrGetUpper | ( | MlirAttribute | inp | ) |
Get 'upper' parameter from a ::llzk::LoopBoundsAttr Attribute.
Definition at line 32 of file Attrs.capi.cpp.inc.
| MlirAttribute llzkLlzk_PublicAttrGet | ( | MlirContext | ctx | ) |
Create a ::llzk::PublicAttr Attribute with the given parameters.
Definition at line 44 of file Attrs.capi.cpp.inc.