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 llzkStruct_CreateStructOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType);
20
22MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_CreateStructOp(MlirOperation);
23
25MLIR_CAPI_EXPORTED MlirValue llzkStruct_CreateStructOpGetResult(MlirOperation op);
26
28MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_MemberDefOp(MlirOperation);
29
31MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberDefOpGetSymName(MlirOperation op);
32
34MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetSymName(MlirOperation op, MlirAttribute attr);
35
37MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberDefOpGetType(MlirOperation op);
38
40MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetType(MlirOperation op, MlirAttribute attr);
41
43MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberDefOpGetColumn(MlirOperation op);
44
46MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetColumn(MlirOperation op, MlirAttribute attr);
47
49MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberDefOpGetSignal(MlirOperation op);
50
52MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetSignal(MlirOperation op, MlirAttribute attr);
53
55MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetPublicAttr(MlirOperation inp, bool newValue);
56
58MLIR_CAPI_EXPORTED bool llzkStruct_MemberDefOpHasPublicAttr(MlirOperation inp);
59
61MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_MemberReadOp(MlirOperation);
62
64MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberReadOpGetComponent(MlirOperation op);
65
67MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetComponent(MlirOperation op, MlirValue value);
68
70MLIR_CAPI_EXPORTED intptr_t llzkStruct_MemberReadOpGetMapOperandsCount(MlirOperation op);
71
73MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberReadOpGetMapOperandsAt(MlirOperation op, intptr_t index);
74
78MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMapOperands(MlirOperation op, intptr_t groupCount, MlirValueRange const *groups);
79
81MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetMemberName(MlirOperation op);
82
84MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMemberName(MlirOperation op, MlirAttribute attr);
85
87MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetTableOffset(MlirOperation op);
88
90MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetTableOffset(MlirOperation op, MlirAttribute attr);
91
93MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetNumDimsPerMap(MlirOperation op);
94
96MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr);
97
99MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetMapOpGroupSizes(MlirOperation op);
100
102MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr);
103
105MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberReadOpGetVal(MlirOperation op);
106
108MLIR_CAPI_EXPORTED MlirOperation llzkStruct_MemberWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue component, MlirValue val, MlirAttribute member_name);
109
111MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_MemberWriteOp(MlirOperation);
112
114MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberWriteOpGetComponent(MlirOperation op);
115
117MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetComponent(MlirOperation op, MlirValue value);
118
120MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberWriteOpGetVal(MlirOperation op);
121
123MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetVal(MlirOperation op, MlirValue value);
124
126MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberWriteOpGetMemberName(MlirOperation op);
127
129MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetMemberName(MlirOperation op, MlirAttribute attr);
130
132MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name);
133
135MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_StructDefOp(MlirOperation);
136
138MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_StructDefOpGetSymName(MlirOperation op);
139
141MLIR_CAPI_EXPORTED void llzkStruct_StructDefOpSetSymName(MlirOperation op, MlirAttribute attr);
142
144MLIR_CAPI_EXPORTED MlirRegion llzkStruct_StructDefOpGetBodyRegion(MlirOperation op);
145
147MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetComputeFuncOp(MlirOperation inp);
148
150MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetProductFuncOp(MlirOperation inp);
151
154MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetMemberDef(MlirOperation inp, MlirIdentifier memberName);
155
157MLIR_CAPI_EXPORTED MlirLogicalResult llzkStruct_StructDefOpHasColumns(MlirOperation inp);
158
160MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpHasComputeConstrain(MlirOperation inp);
161
163MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetConstrainFuncOp(MlirOperation inp);
164
167MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpHasTemplateSymbolBindings(MlirOperation inp);
168
170MLIR_CAPI_EXPORTED MlirLogicalResult llzkStruct_StructDefOpHasSignals(MlirOperation inp);
171
173MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpIsMainComponent(MlirOperation inp);
174
177MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_StructDefOpGetFullyQualifiedName(MlirOperation inp);
178
179#ifdef __cplusplus
180}
181#endif
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_CreateStructOp(MlirOperation)
Returns true if the Operation is a llzk::component::CreateStructOp.
MLIR_CAPI_EXPORTED MlirOperation llzkStruct_CreateStructOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType)
Build a llzk::component::CreateStructOp Operation.
MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpHasComputeConstrain(MlirOperation inp)
Returns true iff this structure defines compute and constrain functions.
MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMapOperands(MlirOperation op, intptr_t groupCount, MlirValueRange const *groups)
Set MapOperands operand groups of llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetMemberDef(MlirOperation inp, MlirIdentifier memberName)
Gets the MemberDefOp that defines the member in this structure with the given name,...
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberDefOpGetColumn(MlirOperation op)
Get Column attribute from llzk::component::MemberDefOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_MemberWriteOp(MlirOperation)
Returns true if the Operation is a llzk::component::MemberWriteOp.
MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetTableOffset(MlirOperation op, MlirAttribute attr)
Set TableOffset attribute of llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberDefOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::component::MemberDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetNumDimsPerMap(MlirOperation op)
Get NumDimsPerMap attribute from llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetType(MlirOperation op, MlirAttribute attr)
Set Type attribute of llzk::component::MemberDefOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetSignal(MlirOperation op, MlirAttribute attr)
Set Signal attribute of llzk::component::MemberDefOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_MemberReadOp(MlirOperation)
Returns true if the Operation is a llzk::component::MemberReadOp.
MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetColumn(MlirOperation op, MlirAttribute attr)
Set Column attribute of llzk::component::MemberDefOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberWriteOpGetComponent(MlirOperation op)
Get Component operand from llzk::component::MemberWriteOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_StructDefOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::component::StructDefOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkStruct_MemberWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue component, MlirValue val, MlirAttribute member_name)
Build a llzk::component::MemberWriteOp Operation.
MLIR_CAPI_EXPORTED bool llzkStruct_MemberDefOpHasPublicAttr(MlirOperation inp)
hasPublicAttr
MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetProductFuncOp(MlirOperation inp)
Gets the FuncDefOp that defines the product function in this structure, if present,...
MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetPublicAttr(MlirOperation inp, bool newValue)
setPublicAttr
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetTableOffset(MlirOperation op)
Get TableOffset attribute from llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirLogicalResult llzkStruct_StructDefOpHasColumns(MlirOperation inp)
Returns whether the struct defines members marked as columns.
MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetComputeFuncOp(MlirOperation inp)
Gets the FuncDefOp that defines the compute function in this structure, if present,...
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetMemberName(MlirOperation op)
Get MemberName attribute from llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberReadOpGetMapOperandsAt(MlirOperation op, intptr_t index)
Get MapOperands operand at index from llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirRegion llzkStruct_StructDefOpGetBodyRegion(MlirOperation op)
Get BodyRegion region from llzk::component::StructDefOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberWriteOpGetVal(MlirOperation op)
Get Val operand from llzk::component::MemberWriteOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMemberName(MlirOperation op, MlirAttribute attr)
Set MemberName attribute of llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_StructDefOpGetFullyQualifiedName(MlirOperation inp)
Return the full name for this struct from the root module, including any surrounding module scopes.
MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name)
Build a llzk::component::StructDefOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberReadOpGetComponent(MlirOperation op)
Get Component operand from llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetMapOpGroupSizes(MlirOperation op)
Get MapOpGroupSizes attribute from llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkStruct_CreateStructOpGetResult(MlirOperation op)
Get Result result from llzk::component::CreateStructOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetComponent(MlirOperation op, MlirValue value)
Set Component operand of llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberDefOpGetSignal(MlirOperation op)
Get Signal attribute from llzk::component::MemberDefOp Operation.
MLIR_CAPI_EXPORTED MlirLogicalResult llzkStruct_StructDefOpHasSignals(MlirOperation inp)
Returns whether the struct defines members marked as signals.
MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpIsMainComponent(MlirOperation inp)
Return true iff this struct.def is the main struct. See llzk::MAIN_ATTR_NAME.
MLIR_CAPI_EXPORTED void llzkStruct_MemberDefOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::component::MemberDefOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_StructDefOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::component::StructDefOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr)
Set NumDimsPerMap attribute of llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkStruct_MemberReadOpGetMapOperandsCount(MlirOperation op)
Get number of MapOperands operands in llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberWriteOpGetMemberName(MlirOperation op)
Get MemberName attribute from llzk::component::MemberWriteOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberDefOpGetType(MlirOperation op)
Get Type attribute from llzk::component::MemberDefOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr)
Set MapOpGroupSizes attribute of llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_MemberDefOp(MlirOperation)
Returns true if the Operation is a llzk::component::MemberDefOp.
MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetMemberName(MlirOperation op, MlirAttribute attr)
Set MemberName attribute of llzk::component::MemberWriteOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetVal(MlirOperation op, MlirValue value)
Set Val operand of llzk::component::MemberWriteOp Operation.
MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetComponent(MlirOperation op, MlirValue value)
Set Component operand of llzk::component::MemberWriteOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_StructDefOp(MlirOperation)
Returns true if the Operation is a llzk::component::StructDefOp.
MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberReadOpGetVal(MlirOperation op)
Get Val result from llzk::component::MemberReadOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetConstrainFuncOp(MlirOperation inp)
Gets the FuncDefOp that defines the constrain function in this structure, if present,...
MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpHasTemplateSymbolBindings(MlirOperation inp)
Return true iff the struct.def appears within a poly.template that defines constant parameters and/or...
Representation of an mlir::ValueRange
Definition Support.h:47