LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Attrs.capi.h.inc File Reference
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
Include dependency graph for Attrs.capi.h.inc:
This graph shows which files directly or indirectly include this file:

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.

Function Documentation

◆ llzkAttributeIsA_Cast_OverflowSemanticsAttr()

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.

◆ llzkCast_OverflowSemanticsAttrGet()

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.

◆ llzkCast_OverflowSemanticsAttrGetValue()

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.