LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Op C API Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Ops.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11#include "llzk-c/Builder.h"
12#include <mlir-c/IR.h>
13
14#ifdef __cplusplus
15extern "C" {
16#endif
17
19MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_ApplyMapOp(MlirOperation);
20
22MLIR_CAPI_EXPORTED intptr_t llzkPoly_ApplyMapOpGetMapOperandsCount(MlirOperation op);
23
25MLIR_CAPI_EXPORTED MlirValue llzkPoly_ApplyMapOpGetMapOperandsAt(MlirOperation op, intptr_t index);
26
28MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetMapOperands(MlirOperation op, intptr_t count, MlirValue const *values);
29
31MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ApplyMapOpGetMap(MlirOperation op);
32
34MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetMap(MlirOperation op, MlirAttribute attr);
35
37MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ApplyMapOpGetNumDims(MlirOperation op);
38
40MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetNumDims(MlirOperation op, MlirAttribute attr);
41
43MLIR_CAPI_EXPORTED MlirValue llzkPoly_ApplyMapOpGetResult0(MlirOperation op);
44
46MLIR_CAPI_EXPORTED MlirAffineMap llzkPoly_ApplyMapOpGetAffineMap(MlirOperation inp);
47
49MLIR_CAPI_EXPORTED MlirOperation llzkPoly_ConstReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute const_name);
50
52MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_ConstReadOp(MlirOperation);
53
55MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ConstReadOpGetConstName(MlirOperation op);
56
58MLIR_CAPI_EXPORTED void llzkPoly_ConstReadOpSetConstName(MlirOperation op, MlirAttribute attr);
59
61MLIR_CAPI_EXPORTED MlirValue llzkPoly_ConstReadOpGetVal(MlirOperation op);
62
64MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateExprOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name);
65
67MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateExprOp(MlirOperation);
68
70MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateExprOpGetSymName(MlirOperation op);
71
73MLIR_CAPI_EXPORTED void llzkPoly_TemplateExprOpSetSymName(MlirOperation op, MlirAttribute attr);
74
76MLIR_CAPI_EXPORTED MlirRegion llzkPoly_TemplateExprOpGetInitializerRegion(MlirOperation op);
77
79MLIR_CAPI_EXPORTED MlirType llzkPoly_TemplateExprOpGetType(MlirOperation inp);
80
82MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name);
83
85MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateOp(MlirOperation);
86
88MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateOpGetSymName(MlirOperation op);
89
91MLIR_CAPI_EXPORTED void llzkPoly_TemplateOpSetSymName(MlirOperation op, MlirAttribute attr);
92
94MLIR_CAPI_EXPORTED MlirRegion llzkPoly_TemplateOpGetBodyRegion(MlirOperation op);
95
97MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateParamOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute type_opt);
98
100MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateParamOp(MlirOperation);
101
103MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateParamOpGetSymName(MlirOperation op);
104
106MLIR_CAPI_EXPORTED void llzkPoly_TemplateParamOpSetSymName(MlirOperation op, MlirAttribute attr);
107
109MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateParamOpGetTypeOpt(MlirOperation op);
110
112MLIR_CAPI_EXPORTED void llzkPoly_TemplateParamOpSetTypeOpt(MlirOperation op, MlirAttribute attr);
113
115MLIR_CAPI_EXPORTED MlirOperation llzkPoly_UnifiableCastOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue input);
116
118MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_UnifiableCastOp(MlirOperation);
119
121MLIR_CAPI_EXPORTED MlirValue llzkPoly_UnifiableCastOpGetInput(MlirOperation op);
122
124MLIR_CAPI_EXPORTED void llzkPoly_UnifiableCastOpSetInput(MlirOperation op, MlirValue value);
125
127MLIR_CAPI_EXPORTED MlirValue llzkPoly_UnifiableCastOpGetResult(MlirOperation op);
128
130MLIR_CAPI_EXPORTED MlirOperation llzkPoly_YieldOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val);
131
133MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_YieldOp(MlirOperation);
134
136MLIR_CAPI_EXPORTED MlirValue llzkPoly_YieldOpGetVal(MlirOperation op);
137
139MLIR_CAPI_EXPORTED void llzkPoly_YieldOpSetVal(MlirOperation op, MlirValue value);
140
141#ifdef __cplusplus
142}
143#endif
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateExprOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::polymorphic::TemplateExprOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_YieldOpGetVal(MlirOperation op)
Get Val operand from llzk::polymorphic::YieldOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_TemplateExprOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::polymorphic::TemplateExprOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_ApplyMapOpGetMapOperandsAt(MlirOperation op, intptr_t index)
Get MapOperands operand at index from llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_ApplyMapOpGetResult0(MlirOperation op)
Get Result0 result from llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ApplyMapOpGetMap(MlirOperation op)
Get Map attribute from llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetNumDims(MlirOperation op, MlirAttribute attr)
Set NumDims attribute of llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ApplyMapOpGetNumDims(MlirOperation op)
Get NumDims attribute from llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetMap(MlirOperation op, MlirAttribute attr)
Set Map attribute of llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_TemplateOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::polymorphic::TemplateOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_ApplyMapOpSetMapOperands(MlirOperation op, intptr_t count, MlirValue const *values)
Set MapOperands operands of llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_ConstReadOpGetConstName(MlirOperation op)
Get ConstName attribute from llzk::polymorphic::ConstReadOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateParamOpGetTypeOpt(MlirOperation op)
Get TypeOpt attribute from llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name)
Build a llzk::polymorphic::TemplateOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_ApplyMapOp(MlirOperation)
Returns true if the Operation is a llzk::polymorphic::ApplyMapOp.
MLIR_CAPI_EXPORTED MlirType llzkPoly_TemplateExprOpGetType(MlirOperation inp)
Returns the type of the poly.yield op in the initializer region.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_ConstReadOpGetVal(MlirOperation op)
Get Val result from llzk::polymorphic::ConstReadOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_ConstReadOpSetConstName(MlirOperation op, MlirAttribute attr)
Set ConstName attribute of llzk::polymorphic::ConstReadOp Operation.
MLIR_CAPI_EXPORTED MlirRegion llzkPoly_TemplateExprOpGetInitializerRegion(MlirOperation op)
Get InitializerRegion region from llzk::polymorphic::TemplateExprOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_YieldOp(MlirOperation)
Returns true if the Operation is a llzk::polymorphic::YieldOp.
MLIR_CAPI_EXPORTED void llzkPoly_UnifiableCastOpSetInput(MlirOperation op, MlirValue value)
Set Input operand of llzk::polymorphic::UnifiableCastOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_UnifiableCastOpGetInput(MlirOperation op)
Get Input operand from llzk::polymorphic::UnifiableCastOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateParamOp(MlirOperation)
Returns true if the Operation is a llzk::polymorphic::TemplateParamOp.
MLIR_CAPI_EXPORTED MlirRegion llzkPoly_TemplateOpGetBodyRegion(MlirOperation op)
Get BodyRegion region from llzk::polymorphic::TemplateOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateOp(MlirOperation)
Returns true if the Operation is a llzk::polymorphic::TemplateOp.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateParamOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute type_opt)
Build a llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_UnifiableCastOp(MlirOperation)
Returns true if the Operation is a llzk::polymorphic::UnifiableCastOp.
MLIR_CAPI_EXPORTED void llzkPoly_YieldOpSetVal(MlirOperation op, MlirValue value)
Set Val operand of llzk::polymorphic::YieldOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_ConstReadOp(MlirOperation)
Returns true if the Operation is a llzk::polymorphic::ConstReadOp.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_UnifiableCastOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue input)
Build a llzk::polymorphic::UnifiableCastOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_TemplateParamOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkPoly_ApplyMapOpGetMapOperandsCount(MlirOperation op)
Get number of MapOperands operands in llzk::polymorphic::ApplyMapOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Poly_TemplateExprOp(MlirOperation)
Returns true if the Operation is a llzk::polymorphic::TemplateExprOp.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_ConstReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute const_name)
Build a llzk::polymorphic::ConstReadOp Operation.
MLIR_CAPI_EXPORTED void llzkPoly_TemplateParamOpSetTypeOpt(MlirOperation op, MlirAttribute attr)
Set TypeOpt attribute of llzk::polymorphic::TemplateParamOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPoly_UnifiableCastOpGetResult(MlirOperation op)
Get Result result from llzk::polymorphic::UnifiableCastOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_TemplateExprOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name)
Build a llzk::polymorphic::TemplateExprOp Operation.
MLIR_CAPI_EXPORTED MlirAffineMap llzkPoly_ApplyMapOpGetAffineMap(MlirOperation inp)
Returns the affine map to be applied by this operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::polymorphic::TemplateOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPoly_YieldOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val)
Build a llzk::polymorphic::YieldOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPoly_TemplateParamOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::polymorphic::TemplateParamOp Operation.