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 bool llzkOperationIsA_Pod_NewPodOp(MlirOperation);
20
22MLIR_CAPI_EXPORTED intptr_t llzkPod_NewPodOpGetInitialValuesCount(MlirOperation op);
23
25MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetInitialValuesAt(MlirOperation op, intptr_t index);
26
28MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetInitialValues(MlirOperation op, intptr_t count, MlirValue const *values);
29
31MLIR_CAPI_EXPORTED intptr_t llzkPod_NewPodOpGetMapOperandsCount(MlirOperation op);
32
34MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetMapOperandsAt(MlirOperation op, intptr_t index);
35
39MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOperands(MlirOperation op, intptr_t groupCount, MlirValueRange const *groups);
40
42MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetInitializedRecords(MlirOperation op);
43
45MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetInitializedRecords(MlirOperation op, MlirAttribute attr);
46
48MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetNumDimsPerMap(MlirOperation op);
49
51MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr);
52
54MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetMapOpGroupSizes(MlirOperation op);
55
57MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr);
58
60MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetResult(MlirOperation op);
61
63MLIR_CAPI_EXPORTED MlirOperation llzkPod_ReadPodOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue pod_ref, MlirAttribute record_name);
64
66MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_ReadPodOp(MlirOperation);
67
69MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetPodRef(MlirOperation op);
70
72MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetPodRef(MlirOperation op, MlirValue value);
73
75MLIR_CAPI_EXPORTED MlirAttribute llzkPod_ReadPodOpGetRecordName(MlirOperation op);
76
78MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetRecordName(MlirOperation op, MlirAttribute attr);
79
81MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetResult(MlirOperation op);
82
84MLIR_CAPI_EXPORTED MlirType llzkPod_ReadPodOpGetPodRefType(MlirOperation inp);
85
87MLIR_CAPI_EXPORTED MlirOperation llzkPod_WritePodOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue pod_ref, MlirValue value, MlirAttribute record_name);
88
90MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_WritePodOp(MlirOperation);
91
93MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetPodRef(MlirOperation op);
94
96MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetPodRef(MlirOperation op, MlirValue value);
97
99MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetValue(MlirOperation op);
100
102MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetValue(MlirOperation op, MlirValue value);
103
105MLIR_CAPI_EXPORTED MlirAttribute llzkPod_WritePodOpGetRecordName(MlirOperation op);
106
108MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetRecordName(MlirOperation op, MlirAttribute attr);
109
111MLIR_CAPI_EXPORTED MlirType llzkPod_WritePodOpGetPodRefType(MlirOperation inp);
112
113#ifdef __cplusplus
114}
115#endif
MLIR_CAPI_EXPORTED MlirType llzkPod_WritePodOpGetPodRefType(MlirOperation inp)
Gets the type of the referenced pod.
MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetPodRef(MlirOperation op)
Get PodRef operand from llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPod_ReadPodOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue pod_ref, MlirAttribute record_name)
Build a llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetValue(MlirOperation op)
Get Value operand from llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetInitializedRecords(MlirOperation op)
Get InitializedRecords attribute from llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED MlirType llzkPod_ReadPodOpGetPodRefType(MlirOperation inp)
Gets the type of the referenced pod.
MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetValue(MlirOperation op, MlirValue value)
Set Value operand of llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetInitialValuesAt(MlirOperation op, intptr_t index)
Get InitialValues operand at index from llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetRecordName(MlirOperation op, MlirAttribute attr)
Set RecordName attribute of llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkPod_NewPodOpGetMapOperandsCount(MlirOperation op)
Get number of MapOperands operands in llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetPodRef(MlirOperation op, MlirValue value)
Set PodRef operand of llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetResult(MlirOperation op)
Get Result result from llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetMapOpGroupSizes(MlirOperation op)
Get MapOpGroupSizes attribute from llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetInitializedRecords(MlirOperation op, MlirAttribute attr)
Set InitializedRecords attribute of llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetResult(MlirOperation op)
Get Result result from llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkPod_NewPodOpGetInitialValuesCount(MlirOperation op)
Get number of InitialValues operands in llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOperands(MlirOperation op, intptr_t groupCount, MlirValueRange const *groups)
Set MapOperands operand groups of llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetPodRef(MlirOperation op, MlirValue value)
Set PodRef operand of llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_ReadPodOp(MlirOperation)
Returns true if the Operation is a llzk::pod::ReadPodOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_WritePodOpGetRecordName(MlirOperation op)
Get RecordName attribute from llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetInitialValues(MlirOperation op, intptr_t count, MlirValue const *values)
Set InitialValues operands of llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_ReadPodOpGetRecordName(MlirOperation op)
Get RecordName attribute from llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkPod_WritePodOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue pod_ref, MlirValue value, MlirAttribute record_name)
Build a llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetRecordName(MlirOperation op, MlirAttribute attr)
Set RecordName attribute of llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_NewPodOp(MlirOperation)
Returns true if the Operation is a llzk::pod::NewPodOp.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_WritePodOp(MlirOperation)
Returns true if the Operation is a llzk::pod::WritePodOp.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetNumDimsPerMap(MlirOperation op)
Get NumDimsPerMap attribute from llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetPodRef(MlirOperation op)
Get PodRef operand from llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr)
Set NumDimsPerMap attribute of llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetMapOperandsAt(MlirOperation op, intptr_t index)
Get MapOperands operand at index from llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr)
Set MapOpGroupSizes attribute of llzk::pod::NewPodOp Operation.
Representation of an mlir::ValueRange
Definition Support.h:47