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 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
76MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMapOperands(MlirOperation op, intptr_t count, MlirValue const *values);
77
79MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetMemberName(MlirOperation op);
80
82MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMemberName(MlirOperation op, MlirAttribute attr);
83
85MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetTableOffset(MlirOperation op);
86
88MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetTableOffset(MlirOperation op, MlirAttribute attr);
89
91MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetNumDimsPerMap(MlirOperation op);
92
94MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr);
95
97MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberReadOpGetMapOpGroupSizes(MlirOperation op);
98
100MLIR_CAPI_EXPORTED void llzkStruct_MemberReadOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr);
101
103MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberReadOpGetVal(MlirOperation op);
104
106MLIR_CAPI_EXPORTED MlirOperation llzkStruct_MemberWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue component, MlirValue val, MlirAttribute member_name);
107
109MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_MemberWriteOp(MlirOperation);
110
112MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberWriteOpGetComponent(MlirOperation op);
113
115MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetComponent(MlirOperation op, MlirValue value);
116
118MLIR_CAPI_EXPORTED MlirValue llzkStruct_MemberWriteOpGetVal(MlirOperation op);
119
121MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetVal(MlirOperation op, MlirValue value);
122
124MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_MemberWriteOpGetMemberName(MlirOperation op);
125
127MLIR_CAPI_EXPORTED void llzkStruct_MemberWriteOpSetMemberName(MlirOperation op, MlirAttribute attr);
128
130MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name);
131
133MLIR_CAPI_EXPORTED bool llzkOperationIsA_Struct_StructDefOp(MlirOperation);
134
136MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_StructDefOpGetSymName(MlirOperation op);
137
139MLIR_CAPI_EXPORTED void llzkStruct_StructDefOpSetSymName(MlirOperation op, MlirAttribute attr);
140
142MLIR_CAPI_EXPORTED MlirRegion llzkStruct_StructDefOpGetBodyRegion(MlirOperation op);
143
145MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetComputeFuncOp(MlirOperation inp);
146
148MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetProductFuncOp(MlirOperation inp);
149
152MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetMemberDef(MlirOperation inp, MlirIdentifier memberName);
153
155MLIR_CAPI_EXPORTED MlirLogicalResult llzkStruct_StructDefOpHasColumns(MlirOperation inp);
156
158MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpHasComputeConstrain(MlirOperation inp);
159
161MLIR_CAPI_EXPORTED MlirOperation llzkStruct_StructDefOpGetConstrainFuncOp(MlirOperation inp);
162
165MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpHasTemplateSymbolBindings(MlirOperation inp);
166
168MLIR_CAPI_EXPORTED MlirLogicalResult llzkStruct_StructDefOpHasSignals(MlirOperation inp);
169
171MLIR_CAPI_EXPORTED bool llzkStruct_StructDefOpIsMainComponent(MlirOperation inp);
172
175MLIR_CAPI_EXPORTED MlirAttribute llzkStruct_StructDefOpGetFullyQualifiedName(MlirOperation inp);
176
177#ifdef __cplusplus
178}
179#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 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 void llzkStruct_MemberReadOpSetMapOperands(MlirOperation op, intptr_t count, MlirValue const *values)
Set MapOperands operands of llzk::component::MemberReadOp Operation.
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...