|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| MLIR_CAPI_EXPORTED bool | llzkAttributeIsA_Cast_OverflowSemanticsAttr (MlirAttribute) |
| Returns true if the Attribute is a ::llzk::cast::OverflowSemanticsAttr. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkCast_OverflowSemanticsAttrGet (MlirContext ctx, LlzkCastOverflowSemantics value) |
| Create a ::llzk::cast::OverflowSemanticsAttr Attribute with the given parameters. | |
| MLIR_CAPI_EXPORTED LlzkCastOverflowSemantics | llzkCast_OverflowSemanticsAttrGetValue (MlirAttribute) |
| Get 'value' parameter from a ::llzk::cast::OverflowSemanticsAttr Attribute. | |
| MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Cast_OverflowSemanticsAttr | ( | MlirAttribute | inp | ) |
Returns true if the Attribute is a ::llzk::cast::OverflowSemanticsAttr.
Definition at line 19 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirAttribute llzkCast_OverflowSemanticsAttrGet | ( | MlirContext | ctx, |
| LlzkCastOverflowSemantics | value ) |
Create a ::llzk::cast::OverflowSemanticsAttr Attribute with the given parameters.
Definition at line 23 of file Attrs.capi.cpp.inc.
| MLIR_CAPI_EXPORTED LlzkCastOverflowSemantics llzkCast_OverflowSemanticsAttrGetValue | ( | MlirAttribute | inp | ) |
Get 'value' parameter from a ::llzk::cast::OverflowSemanticsAttr Attribute.
Definition at line 28 of file Attrs.capi.cpp.inc.