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_Function_AllowConstraintAttr (MlirAttribute)
	Returns true if the Attribute is a ::llzk::function::AllowConstraintAttr.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_AllowConstraintAttrGet (MlirContext ctx)
	Create a ::llzk::function::AllowConstraintAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED bool	llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr (MlirAttribute)
	Returns true if the Attribute is a ::llzk::function::AllowNonNativeFieldOpsAttr.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_AllowNonNativeFieldOpsAttrGet (MlirContext ctx)
	Create a ::llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED bool	llzkAttributeIsA_Function_AllowWitnessAttr (MlirAttribute)
	Returns true if the Attribute is a ::llzk::function::AllowWitnessAttr.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_AllowWitnessAttrGet (MlirContext ctx)
	Create a ::llzk::function::AllowWitnessAttr Attribute with the given parameters.

Function Documentation

llzkAttributeIsA_Function_AllowConstraintAttr()

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowConstraintAttr

(

MlirAttribute

inp

)

Returns true if the Attribute is a ::llzk::function::AllowConstraintAttr.

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

llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr()

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowNonNativeFieldOpsAttr

(

MlirAttribute

inp

)

Returns true if the Attribute is a ::llzk::function::AllowNonNativeFieldOpsAttr.

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

llzkAttributeIsA_Function_AllowWitnessAttr()

MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Function_AllowWitnessAttr

(

MlirAttribute

inp

)

Returns true if the Attribute is a ::llzk::function::AllowWitnessAttr.

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

llzkFunction_AllowConstraintAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowConstraintAttrGet

(

MlirContext

ctx

)

Create a ::llzk::function::AllowConstraintAttr Attribute with the given parameters.

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

llzkFunction_AllowNonNativeFieldOpsAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowNonNativeFieldOpsAttrGet

(

MlirContext

ctx

)

Create a ::llzk::function::AllowNonNativeFieldOpsAttr Attribute with the given parameters.

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

llzkFunction_AllowWitnessAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_AllowWitnessAttrGet

(

MlirContext

ctx

)

Create a ::llzk::function::AllowWitnessAttr Attribute with the given parameters.

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