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 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
37MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOperands(MlirOperation op, intptr_t count, MlirValue const *values);
38
40MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetInitializedRecords(MlirOperation op);
41
43MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetInitializedRecords(MlirOperation op, MlirAttribute attr);
44
46MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetNumDimsPerMap(MlirOperation op);
47
49MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetNumDimsPerMap(MlirOperation op, MlirAttribute attr);
50
52MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetMapOpGroupSizes(MlirOperation op);
53
55MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOpGroupSizes(MlirOperation op, MlirAttribute attr);
56
58MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetResult(MlirOperation op);
59
61MLIR_CAPI_EXPORTED MlirOperation llzkPod_ReadPodOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue pod_ref, MlirAttribute record_name);
62
64MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_ReadPodOp(MlirOperation);
65
67MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetPodRef(MlirOperation op);
68
70MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetPodRef(MlirOperation op, MlirValue value);
71
73MLIR_CAPI_EXPORTED MlirAttribute llzkPod_ReadPodOpGetRecordName(MlirOperation op);
74
76MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetRecordName(MlirOperation op, MlirAttribute attr);
77
79MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetResult(MlirOperation op);
80
82MLIR_CAPI_EXPORTED MlirOperation llzkPod_WritePodOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue pod_ref, MlirValue value, MlirAttribute record_name);
83
85MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_WritePodOp(MlirOperation);
86
88MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetPodRef(MlirOperation op);
89
91MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetPodRef(MlirOperation op, MlirValue value);
92
94MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetValue(MlirOperation op);
95
97MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetValue(MlirOperation op, MlirValue value);
98
100MLIR_CAPI_EXPORTED MlirAttribute llzkPod_WritePodOpGetRecordName(MlirOperation op);
101
103MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetRecordName(MlirOperation op, MlirAttribute attr);
104
105#ifdef __cplusplus
106}
107#endif
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 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_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 void llzkPod_NewPodOpSetMapOperands(MlirOperation op, intptr_t count, MlirValue const *values)
Set MapOperands operands of llzk::pod::NewPodOp 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.