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 MlirOperation llzkBool_ExistsOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue sort);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_ExistsOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_ExistsOpGetSort(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_ExistsOpSetSort(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_ExistsOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirRegion llzkBool_ExistsOpGetRegion(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkBool_ForAllOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue sort);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_ForAllOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_ForAllOpGetSort(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_ForAllOpSetSort(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_ForAllOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirRegion llzkBool_ForAllOpGetRegion(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkBool_AndBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AndBoolOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_AndBoolOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_AndBoolOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_AssertOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_AssertOpGetCondition(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetCondition(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirAttribute llzkBool_AssertOpGetMsg(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_AssertOpSetMsg(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirOperation llzkBool_CmpOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_CmpOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirAttribute llzkBool_CmpOpGetPredicate(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_CmpOpSetPredicate(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirValue llzkBool_CmpOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkBool_NotBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue operand);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_NotBoolOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetOperand(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_NotBoolOpSetOperand(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_NotBoolOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkBool_OrBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_OrBoolOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_OrBoolOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_OrBoolOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_XorBoolOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_XorBoolOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkBool_XorBoolOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkBool_YieldOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Bool_YieldOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkBool_YieldOpGetValue(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkBool_YieldOpSetValue(MlirOperation op, MlirValue value);
 
#ifdef __cplusplus
}
#endif