|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#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>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. | |
| 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.
| 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.
| 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.
| 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.
| 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.
| 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.
| MlirAttribute llzkLlzk_PublicAttrGet | ( | MlirContext | ctx | ) |
Create a ::llzk::PublicAttr Attribute with the given parameters.
Definition at line 58 of file Attrs.capi.cpp.inc.