MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_PublicAttr(MlirAttribute)
Returns true if the Attribute is a llzk::PublicAttr.
MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetLower(MlirAttribute)
Get 'lower' parameter from a llzk::LoopBoundsAttr Attribute.
MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_PublicAttrGet(MlirContext ctx)
Create a llzk::PublicAttr Attribute with the given parameters.
MLIR_CAPI_EXPORTED bool llzkAttributeIsA_Llzk_LoopBoundsAttr(MlirAttribute)
Returns true if the Attribute is a llzk::LoopBoundsAttr.
MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetStep(MlirAttribute)
Get 'step' parameter from a llzk::LoopBoundsAttr Attribute.
MLIR_CAPI_EXPORTED int64_t llzkLlzk_LoopBoundsAttrGetUpper(MlirAttribute)
Get 'upper' parameter from a llzk::LoopBoundsAttr Attribute.
MLIR_CAPI_EXPORTED MlirAttribute llzkLlzk_LoopBoundsAttrGet(MlirContext ctx, int64_t lower, int64_t upper, int64_t step)
Create a llzk::LoopBoundsAttr Attribute with the given parameters.