LLZK 2.1.1
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
63MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetMapOperands(MlirOperation op, intptr_t groupCount, MlirValueRange const *groups);
64
66MLIR_CAPI_EXPORTED MlirAttribute llzkArray_CreateArrayOpGetNumDimsPerMap(MlirOperation op);
67
69MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr);
70
72MLIR_CAPI_EXPORTED MlirAttribute llzkArray_CreateArrayOpGetMapOpGroupSizes(MlirOperation op);
73
75MLIR_CAPI_EXPORTED void llzkArray_CreateArrayOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr);
76
78MLIR_CAPI_EXPORTED MlirValue llzkArray_CreateArrayOpGetResult(MlirOperation op);
79
81MLIR_CAPI_EXPORTED MlirOperation llzkArray_ExtractArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices);
82
84MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_ExtractArrayOp(MlirOperation);
85
87MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetArrRef(MlirOperation op);
88
90MLIR_CAPI_EXPORTED void llzkArray_ExtractArrayOpSetArrRef(MlirOperation op, MlirValue value);
91
93MLIR_CAPI_EXPORTED intptr_t llzkArray_ExtractArrayOpGetIndicesCount(MlirOperation op);
94
96MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetIndicesAt(MlirOperation op, intptr_t index);
97
99MLIR_CAPI_EXPORTED void llzkArray_ExtractArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values);
100
102MLIR_CAPI_EXPORTED MlirValue llzkArray_ExtractArrayOpGetResult(MlirOperation op);
103
105MLIR_CAPI_EXPORTED MlirType llzkArray_ExtractArrayOpGetArrRefType(MlirOperation inp);
106
108MLIR_CAPI_EXPORTED MlirOperation llzkArray_InsertArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices, MlirValue rvalue);
109
111MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_InsertArrayOp(MlirOperation);
112
114MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetArrRef(MlirOperation op);
115
117MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetArrRef(MlirOperation op, MlirValue value);
118
120MLIR_CAPI_EXPORTED intptr_t llzkArray_InsertArrayOpGetIndicesCount(MlirOperation op);
121
123MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetIndicesAt(MlirOperation op, intptr_t index);
124
126MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values);
127
129MLIR_CAPI_EXPORTED MlirValue llzkArray_InsertArrayOpGetRvalue(MlirOperation op);
130
132MLIR_CAPI_EXPORTED void llzkArray_InsertArrayOpSetRvalue(MlirOperation op, MlirValue value);
133
135MLIR_CAPI_EXPORTED MlirType llzkArray_InsertArrayOpGetArrRefType(MlirOperation inp);
136
138MLIR_CAPI_EXPORTED MlirOperation llzkArray_ReadArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices);
139
141MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_ReadArrayOp(MlirOperation);
142
144MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetArrRef(MlirOperation op);
145
147MLIR_CAPI_EXPORTED void llzkArray_ReadArrayOpSetArrRef(MlirOperation op, MlirValue value);
148
150MLIR_CAPI_EXPORTED intptr_t llzkArray_ReadArrayOpGetIndicesCount(MlirOperation op);
151
153MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetIndicesAt(MlirOperation op, intptr_t index);
154
156MLIR_CAPI_EXPORTED void llzkArray_ReadArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values);
157
159MLIR_CAPI_EXPORTED MlirValue llzkArray_ReadArrayOpGetResult(MlirOperation op);
160
162MLIR_CAPI_EXPORTED MlirType llzkArray_ReadArrayOpGetArrRefType(MlirOperation inp);
163
165MLIR_CAPI_EXPORTED MlirOperation llzkArray_WriteArrayOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue arr_ref, intptr_t indicesSize, MlirValue const *indices, MlirValue rvalue);
166
168MLIR_CAPI_EXPORTED bool llzkOperationIsA_Array_WriteArrayOp(MlirOperation);
169
171MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetArrRef(MlirOperation op);
172
174MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetArrRef(MlirOperation op, MlirValue value);
175
177MLIR_CAPI_EXPORTED intptr_t llzkArray_WriteArrayOpGetIndicesCount(MlirOperation op);
178
180MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetIndicesAt(MlirOperation op, intptr_t index);
181
183MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetIndices(MlirOperation op, intptr_t count, MlirValue const *values);
184
186MLIR_CAPI_EXPORTED MlirValue llzkArray_WriteArrayOpGetRvalue(MlirOperation op);
187
189MLIR_CAPI_EXPORTED void llzkArray_WriteArrayOpSetRvalue(MlirOperation op, MlirValue value);
190
192MLIR_CAPI_EXPORTED MlirType llzkArray_WriteArrayOpGetArrRefType(MlirOperation inp);
193
194#ifdef __cplusplus
195}
196#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 void llzkArray_CreateArrayOpSetMapOperands(MlirOperation op, intptr_t groupCount, MlirValueRange const *groups)
Set MapOperands operand groups of llzk::array::CreateArrayOp 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 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.
Representation of an mlir::ValueRange
Definition Support.h:47