Ops.capi.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Op C API Declarations                                                      *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Ops.td                                                               *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
 
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
 
#ifdef __cplusplus
extern "C" {
#endif

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Function_CallOp(MlirOperation);

MLIR_CAPI_EXPORTED intptr_t llzkFunction_CallOpGetArgOperandsCount(MlirOperation op);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetArgOperandsAt(MlirOperation op, intptr_t index);

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetArgOperands(MlirOperation op, intptr_t count, MlirValue const *values);

MLIR_CAPI_EXPORTED intptr_t llzkFunction_CallOpGetMapOperandsCount(MlirOperation op);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetMapOperandsAt(MlirOperation op, intptr_t index);

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetMapOperands(MlirOperation op, intptr_t groupCount, MlirValueRange const *groups);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetCallee(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetCallee(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetTemplateParams(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetTemplateParams(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetNumDimsPerMap(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetMapOpGroupSizes(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetArgAttrs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetArgAttrs(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetResAttrs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetResAttrs(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED intptr_t llzkFunction_CallOpGetResult0Count(MlirOperation op);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetResult0At(MlirOperation op, intptr_t index);

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeContainsWitnessGen(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsStructCompute(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirType llzkFunction_CallOpGetSingleResultTypeOfCompute(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsStructConstrain(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetSelfValueFromConstrain(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsCompute(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsConstrain(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsProduct(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsStructProduct(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsInStruct(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetSelfValueFromProduct(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetSelfValueFromCompute(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirType llzkFunction_CallOpGetSingleResultTypeOfWitnessGen(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirOperation llzkFunction_CallOpResolveCallable(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetSelfValue(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirOperation llzkFunction_FuncDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute function_type, MlirAttribute arg_attrs, MlirAttribute res_attrs);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Function_FuncDefOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetSymName(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetSymName(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetFunctionType(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetFunctionType(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetArgAttrs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetArgAttrs(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetResAttrs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetResAttrs(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirRegion llzkFunction_FuncDefOpGetBody(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetAllowNonNativeFieldOpsAttr(MlirOperation inp, bool newValue);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsStructProduct(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasAllowNonNativeFieldOpsAttr(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasArgPublicAttr(MlirOperation inp, unsigned index);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpNameIsProduct(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasAllowWitnessAttr(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasAllowVerifOpsAttr(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasResName(MlirOperation inp, unsigned index);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsStructConstrain(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpNameIsCompute(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsDeclaration(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirType llzkFunction_FuncDefOpGetSingleResultTypeOfCompute(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_FuncDefOpGetSelfValueFromConstrain(MlirOperation inp);

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetAllowVerifOpsAttr(MlirOperation inp, bool newValue);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpNameIsConstrain(MlirOperation inp);

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetAllowConstraintAttr(MlirOperation inp, bool newValue);

MLIR_CAPI_EXPORTED MlirRegion llzkFunction_FuncDefOpGetCallableRegion(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasAllowConstraintAttr(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsInStruct(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsStructCompute(MlirOperation inp);

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetAllowWitnessAttr(MlirOperation inp, bool newValue);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_FuncDefOpGetSelfValueFromCompute(MlirOperation inp);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_FuncDefOpGetSelfValueFromProduct(MlirOperation inp);

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasArgName(MlirOperation inp, unsigned index);

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetFullyQualifiedName(MlirOperation inp, bool requireParent);

MLIR_CAPI_EXPORTED MlirOperation llzkFunction_ReturnOpBuild(MlirOpBuilder builder, MlirLocation location, intptr_t operandsSize, MlirValue const *operands);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Function_ReturnOp(MlirOperation);

MLIR_CAPI_EXPORTED intptr_t llzkFunction_ReturnOpGetOperandsCount(MlirOperation op);

MLIR_CAPI_EXPORTED MlirValue llzkFunction_ReturnOpGetOperandsAt(MlirOperation op, intptr_t index);

MLIR_CAPI_EXPORTED void llzkFunction_ReturnOpSetOperands(MlirOperation op, intptr_t count, MlirValue const *values);
 
#ifdef __cplusplus
}
#endif