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 MlirOperation llzkArray_ArrayLengthOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue arr_ref, MlirValue dim);
20
22MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_ArrayLengthOp(MlirOperation);
23
25MLIR_CAPI_EXPORTED MlirValue llzkArray_ArrayLengthOpGetArrRef(MlirOperation op);
26
28MLIR_CAPI_EXPORTED void llzkArray_ArrayLengthOpSetArrRef(MlirOperation op, MlirValue value);
29
31MLIR_CAPI_EXPORTED MlirValue llzkArray_ArrayLengthOpGetDim(MlirOperation op);
32
34MLIR_CAPI_EXPORTED void llzkArray_ArrayLengthOpSetDim(MlirOperation op, MlirValue value);
35
37MLIR_CAPI_EXPORTED MlirValue llzkArray_ArrayLengthOpGetLength(MlirOperation op);
38
40MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayLengthOpGetArrRefType(MlirOperation inp);
41
43MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_CreateArrayOp(MlirOperation);
44
46MLIR_CAPI_EXPORTED intptr_t llzkArray_CreateArrayOpGetElementsCount(MlirOperation op);
47
49MLIR_CAPI_EXPORTED MlirValue llzkArray_CreateArrayOpGetElementsAt(MlirOperation op, intptr_t index);
50
52MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetElements(MlirOperation op, intptr_t count, MlirValue const *values);
53
55MLIR_CAPI_EXPORTED intptr_t llzkArray_CreateArrayOpGetMapOperandsCount(MlirOperation op);
56
58MLIR_CAPI_EXPORTED MlirValue llzkArray_CreateArrayOpGetMapOperandsAt(MlirOperation op, intptr_t index);
59
61MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetMapOperands(MlirOperation op, intptr_t count, MlirValue const *values);
62
64MLIR_CAPI_EXPORTED MlirAttribute llzkArray_CreateArrayOpGetNumDimsPerMap(MlirOperation op);
65
67MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr);
68
70MLIR_CAPI_EXPORTED MlirAttribute llzkArray_CreateArrayOpGetMapOpGroupSizes(MlirOperation op);
71
73MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr);
74
76MLIR_CAPI_EXPORTED MlirValue llzkArray_CreateArrayOpGetResult(MlirOperation op);
77
79MLIR_CAPI_EXPORTED MlirOperation llzkArray_ExtractArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices);
80
82MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_ExtractArrayOp(MlirOperation);
83
85MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetArrRef(MlirOperation op);
86
88MLIR_CAPI_EXPORTED void llzkArray_ExtractArrayOpSetArrRef(MlirOperation op, MlirValue value);
89
91MLIR_CAPI_EXPORTED intptr_t llzkArray_ExtractArrayOpGetIndicesCount(MlirOperation op);
92
94MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetIndicesAt(MlirOperation op, intptr_t index);
95
97MLIR_CAPI_EXPORTED void llzkArray_ExtractArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values);
98
100MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetResult(MlirOperation op);
101
103MLIR_CAPI_EXPORTED MlirType llzkArray_ExtractArrayOpGetArrRefType(MlirOperation inp);
104
106MLIR_CAPI_EXPORTED MlirOperation llzkArray_InsertArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices, MlirValue rvalue);
107
109MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_InsertArrayOp(MlirOperation);
110
112MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetArrRef(MlirOperation op);
113
115MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetArrRef(MlirOperation op, MlirValue value);
116
118MLIR_CAPI_EXPORTED intptr_t llzkArray_InsertArrayOpGetIndicesCount(MlirOperation op);
119
121MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetIndicesAt(MlirOperation op, intptr_t index);
122
124MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values);
125
127MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetRvalue(MlirOperation op);
128
130MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetRvalue(MlirOperation op, MlirValue value);
131
133MLIR_CAPI_EXPORTED MlirType llzkArray_InsertArrayOpGetArrRefType(MlirOperation inp);
134
136MLIR_CAPI_EXPORTED MlirOperation llzkArray_ReadArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices);
137
139MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_ReadArrayOp(MlirOperation);
140
142MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetArrRef(MlirOperation op);
143
145MLIR_CAPI_EXPORTED void llzkArray_ReadArrayOpSetArrRef(MlirOperation op, MlirValue value);
146
148MLIR_CAPI_EXPORTED intptr_t llzkArray_ReadArrayOpGetIndicesCount(MlirOperation op);
149
151MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetIndicesAt(MlirOperation op, intptr_t index);
152
154MLIR_CAPI_EXPORTED void llzkArray_ReadArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values);
155
157MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetResult(MlirOperation op);
158
160MLIR_CAPI_EXPORTED MlirType llzkArray_ReadArrayOpGetArrRefType(MlirOperation inp);
161
163MLIR_CAPI_EXPORTED MlirOperation llzkArray_WriteArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices, MlirValue rvalue);
164
166MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_WriteArrayOp(MlirOperation);
167
169MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetArrRef(MlirOperation op);
170
172MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetArrRef(MlirOperation op, MlirValue value);
173
175MLIR_CAPI_EXPORTED intptr_t llzkArray_WriteArrayOpGetIndicesCount(MlirOperation op);
176
178MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetIndicesAt(MlirOperation op, intptr_t index);
179
181MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values);
182
184MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetRvalue(MlirOperation op);
185
187MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetRvalue(MlirOperation op, MlirValue value);
188
190MLIR_CAPI_EXPORTED MlirType llzkArray_WriteArrayOpGetArrRefType(MlirOperation inp);
191
192#ifdef __cplusplus
193}
194#endif
MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetIndicesAt(MlirOperation op, intptr_t index)
Get Indices operand at index from llzk::array::WriteArrayOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkArray_InsertArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices, MlirValue rvalue)
Build a llzk::array::InsertArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetRvalue(MlirOperation op, MlirValue value)
Set Rvalue operand of llzk::array::WriteArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetArrRef(MlirOperation op)
Get ArrRef operand from llzk::array::ExtractArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values)
Set Indices operands of llzk::array::InsertArrayOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkArray_WriteArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices, MlirValue rvalue)
Build a llzk::array::WriteArrayOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkArray_CreateArrayOpGetElementsCount(MlirOperation op)
Get number of Elements operands in llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr)
Set MapOpGroupSizes attribute of llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetArrRef(MlirOperation op)
Get ArrRef operand from llzk::array::WriteArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ArrayLengthOpGetLength(MlirOperation op)
Get Length result from llzk::array::ArrayLengthOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetElements(MlirOperation op, intptr_t count, MlirValue const *values)
Set Elements operands of llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetIndicesAt(MlirOperation op, intptr_t index)
Get Indices operand at index from llzk::array::ReadArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ArrayLengthOpGetDim(MlirOperation op)
Get Dim operand from llzk::array::ArrayLengthOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr)
Set NumDimsPerMap attribute of llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetRvalue(MlirOperation op)
Get Rvalue operand from llzk::array::WriteArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_CreateArrayOpGetMapOperandsAt(MlirOperation op, intptr_t index)
Get MapOperands operand at index from llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_ExtractArrayOpSetArrRef(MlirOperation op, MlirValue value)
Set ArrRef operand of llzk::array::ExtractArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetArrRef(MlirOperation op, MlirValue value)
Set ArrRef operand of llzk::array::WriteArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetMapOperands(MlirOperation op, intptr_t count, MlirValue const *values)
Set MapOperands operands of llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetIndicesAt(MlirOperation op, intptr_t index)
Get Indices operand at index from llzk::array::InsertArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetRvalue(MlirOperation op)
Get Rvalue operand from llzk::array::InsertArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ArrayLengthOpGetArrRef(MlirOperation op)
Get ArrRef operand from llzk::array::ArrayLengthOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_WriteArrayOp(MlirOperation)
Returns true if the Operation is a llzk::array::WriteArrayOp.
MLIR_CAPI_EXPORTED void llzkArray_ReadArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values)
Set Indices operands of llzk::array::ReadArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetArrRef(MlirOperation op)
Get ArrRef operand from llzk::array::ReadArrayOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkArray_ExtractArrayOpGetIndicesCount(MlirOperation op)
Get number of Indices operands in llzk::array::ExtractArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_CreateArrayOpGetResult(MlirOperation op)
Get Result result from llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetArrRef(MlirOperation op)
Get ArrRef operand from llzk::array::InsertArrayOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkArray_ExtractArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices)
Build a llzk::array::ExtractArrayOp Operation.
MLIR_CAPI_EXPORTED MlirType llzkArray_ExtractArrayOpGetArrRefType(MlirOperation inp)
Gets the type of the referenced base array.
MLIR_CAPI_EXPORTED MlirType llzkArray_InsertArrayOpGetArrRefType(MlirOperation inp)
Gets the type of the referenced base array.
MLIR_CAPI_EXPORTED MlirAttribute llzkArray_CreateArrayOpGetMapOpGroupSizes(MlirOperation op)
Get MapOpGroupSizes attribute from llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkArray_CreateArrayOpGetNumDimsPerMap(MlirOperation op)
Get NumDimsPerMap attribute from llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_ExtractArrayOp(MlirOperation)
Returns true if the Operation is a llzk::array::ExtractArrayOp.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetIndicesAt(MlirOperation op, intptr_t index)
Get Indices operand at index from llzk::array::ExtractArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetResult(MlirOperation op)
Get Result result from llzk::array::ExtractArrayOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_InsertArrayOp(MlirOperation)
Returns true if the Operation is a llzk::array::InsertArrayOp.
MLIR_CAPI_EXPORTED MlirOperation llzkArray_ReadArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices)
Build a llzk::array::ReadArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_ReadArrayOpSetArrRef(MlirOperation op, MlirValue value)
Set ArrRef operand of llzk::array::ReadArrayOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkArray_ReadArrayOpGetIndicesCount(MlirOperation op)
Get number of Indices operands in llzk::array::ReadArrayOp Operation.
MLIR_CAPI_EXPORTED MlirType llzkArray_WriteArrayOpGetArrRefType(MlirOperation inp)
Gets the type of the referenced base array.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_ReadArrayOp(MlirOperation)
Returns true if the Operation is a llzk::array::ReadArrayOp.
MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetArrRef(MlirOperation op, MlirValue value)
Set ArrRef operand of llzk::array::InsertArrayOp Operation.
MLIR_CAPI_EXPORTED MlirType llzkArray_ReadArrayOpGetArrRefType(MlirOperation inp)
Gets the type of the referenced base array.
MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values)
Set Indices operands of llzk::array::WriteArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_ArrayLengthOpSetArrRef(MlirOperation op, MlirValue value)
Set ArrRef operand of llzk::array::ArrayLengthOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetRvalue(MlirOperation op, MlirValue value)
Set Rvalue operand of llzk::array::InsertArrayOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkArray_WriteArrayOpGetIndicesCount(MlirOperation op)
Get number of Indices operands in llzk::array::WriteArrayOp Operation.
MLIR_CAPI_EXPORTED void llzkArray_ArrayLengthOpSetDim(MlirOperation op, MlirValue value)
Set Dim operand of llzk::array::ArrayLengthOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_ArrayLengthOp(MlirOperation)
Returns true if the Operation is a llzk::array::ArrayLengthOp.
MLIR_CAPI_EXPORTED void llzkArray_ExtractArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values)
Set Indices operands of llzk::array::ExtractArrayOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkArray_CreateArrayOpGetMapOperandsCount(MlirOperation op)
Get number of MapOperands operands in llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayLengthOpGetArrRefType(MlirOperation inp)
Gets the type of the referenced base array.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_CreateArrayOp(MlirOperation)
Returns true if the Operation is a llzk::array::CreateArrayOp.
MLIR_CAPI_EXPORTED MlirOperation llzkArray_ArrayLengthOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue arr_ref, MlirValue dim)
Build a llzk::array::ArrayLengthOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_CreateArrayOpGetElementsAt(MlirOperation op, intptr_t index)
Get Elements operand at index from llzk::array::CreateArrayOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetResult(MlirOperation op)
Get Result result from llzk::array::ReadArrayOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkArray_InsertArrayOpGetIndicesCount(MlirOperation op)
Get number of Indices operands in llzk::array::InsertArrayOp Operation.