LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Functions
Ops.capi.h.inc File Reference
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
Include dependency graph for Ops.capi.h.inc:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_NewPodOp (MlirOperation)
 Returns true if the Operation is a llzk::pod::NewPodOp.
MLIR_CAPI_EXPORTED intptr_t llzkPod_NewPodOpGetInitialValuesCount (MlirOperation op)
 Get number of InitialValues operands in llzk::pod::NewPodOp 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_NewPodOpSetInitialValues (MlirOperation op, intptr_t count, MlirValue const *values)
 Set InitialValues operands of llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED intptr_t llzkPod_NewPodOpGetMapOperandsCount (MlirOperation op)
 Get number of MapOperands operands in 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_NewPodOpSetMapOperands (MlirOperation op, intptr_t count, MlirValue const *values)
 Set MapOperands operands of llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetInitializedRecords (MlirOperation op)
 Get InitializedRecords 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 MlirAttribute llzkPod_NewPodOpGetNumDimsPerMap (MlirOperation op)
 Get NumDimsPerMap attribute from llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetNumDimsPerMap (MlirOperation op, MlirAttribute attr)
 Set NumDimsPerMap attribute of llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetMapOpGroupSizes (MlirOperation op)
 Get MapOpGroupSizes attribute from llzk::pod::NewPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOpGroupSizes (MlirOperation op, MlirAttribute attr)
 Set MapOpGroupSizes 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 MlirOperation llzkPod_ReadPodOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue pod_ref, MlirAttribute record_name)
 Build a llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_ReadPodOp (MlirOperation)
 Returns true if the Operation is a llzk::pod::ReadPodOp.
MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetPodRef (MlirOperation op)
 Get PodRef operand from llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetPodRef (MlirOperation op, MlirValue value)
 Set PodRef operand of llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_ReadPodOpGetRecordName (MlirOperation op)
 Get RecordName attribute from llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetRecordName (MlirOperation op, MlirAttribute attr)
 Set RecordName attribute of llzk::pod::ReadPodOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetResult (MlirOperation op)
 Get Result result 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 bool llzkOperationIsA_Pod_WritePodOp (MlirOperation)
 Returns true if the Operation is a llzk::pod::WritePodOp.
MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetPodRef (MlirOperation op)
 Get PodRef operand from llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetPodRef (MlirOperation op, MlirValue value)
 Set PodRef operand of llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetValue (MlirOperation op)
 Get Value operand from llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetValue (MlirOperation op, MlirValue value)
 Set Value operand of llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_WritePodOpGetRecordName (MlirOperation op)
 Get RecordName attribute from llzk::pod::WritePodOp Operation.
MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetRecordName (MlirOperation op, MlirAttribute attr)
 Set RecordName attribute of llzk::pod::WritePodOp Operation.

Function Documentation

◆ llzkOperationIsA_Pod_NewPodOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_NewPodOp ( MlirOperation inp)

Returns true if the Operation is a llzk::pod::NewPodOp.

Definition at line 11 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Pod_ReadPodOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_ReadPodOp ( MlirOperation inp)

Returns true if the Operation is a llzk::pod::ReadPodOp.

Definition at line 147 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Pod_WritePodOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Pod_WritePodOp ( MlirOperation inp)

Returns true if the Operation is a llzk::pod::WritePodOp.

Definition at line 185 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpGetInitializedRecords()

MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetInitializedRecords ( MlirOperation op)

Get InitializedRecords attribute from llzk::pod::NewPodOp Operation.

Definition at line 105 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpGetInitialValuesAt()

MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetInitialValuesAt ( MlirOperation op,
intptr_t index )

Get InitialValues operand at index from llzk::pod::NewPodOp Operation.

Definition at line 21 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpGetInitialValuesCount()

MLIR_CAPI_EXPORTED intptr_t llzkPod_NewPodOpGetInitialValuesCount ( MlirOperation op)

Get number of InitialValues operands in llzk::pod::NewPodOp Operation.

Definition at line 15 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpGetMapOperandsAt()

MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetMapOperandsAt ( MlirOperation op,
intptr_t index )

Get MapOperands operand at index from llzk::pod::NewPodOp Operation.

Definition at line 66 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpGetMapOperandsCount()

MLIR_CAPI_EXPORTED intptr_t llzkPod_NewPodOpGetMapOperandsCount ( MlirOperation op)

Get number of MapOperands operands in llzk::pod::NewPodOp Operation.

Definition at line 60 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpGetMapOpGroupSizes()

MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetMapOpGroupSizes ( MlirOperation op)

Get MapOpGroupSizes attribute from llzk::pod::NewPodOp Operation.

Definition at line 121 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpGetNumDimsPerMap()

MLIR_CAPI_EXPORTED MlirAttribute llzkPod_NewPodOpGetNumDimsPerMap ( MlirOperation op)

Get NumDimsPerMap attribute from llzk::pod::NewPodOp Operation.

Definition at line 113 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkPod_NewPodOpGetResult ( MlirOperation op)

Get Result result from llzk::pod::NewPodOp Operation.

Definition at line 129 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpSetInitializedRecords()

MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetInitializedRecords ( MlirOperation op,
MlirAttribute attr )

Set InitializedRecords attribute of llzk::pod::NewPodOp Operation.

Definition at line 109 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpSetInitialValues()

MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetInitialValues ( MlirOperation op,
intptr_t count,
MlirValue const * values )

Set InitialValues operands of llzk::pod::NewPodOp Operation.

Definition at line 25 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpSetMapOperands()

MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOperands ( MlirOperation op,
intptr_t count,
MlirValue const * values )

Set MapOperands operands of llzk::pod::NewPodOp Operation.

Definition at line 70 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpSetMapOpGroupSizes()

MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetMapOpGroupSizes ( MlirOperation op,
MlirAttribute attr )

Set MapOpGroupSizes attribute of llzk::pod::NewPodOp Operation.

Definition at line 125 of file Ops.capi.cpp.inc.

◆ llzkPod_NewPodOpSetNumDimsPerMap()

MLIR_CAPI_EXPORTED void llzkPod_NewPodOpSetNumDimsPerMap ( MlirOperation op,
MlirAttribute attr )

Set NumDimsPerMap attribute of llzk::pod::NewPodOp Operation.

Definition at line 117 of file Ops.capi.cpp.inc.

◆ llzkPod_ReadPodOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkPod_ReadPodOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirType resultType,
MlirValue pod_ref,
MlirAttribute record_name )

Build a llzk::pod::ReadPodOp Operation.

Definition at line 133 of file Ops.capi.cpp.inc.

◆ llzkPod_ReadPodOpGetPodRef()

MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetPodRef ( MlirOperation op)

Get PodRef operand from llzk::pod::ReadPodOp Operation.

Definition at line 151 of file Ops.capi.cpp.inc.

◆ llzkPod_ReadPodOpGetRecordName()

MLIR_CAPI_EXPORTED MlirAttribute llzkPod_ReadPodOpGetRecordName ( MlirOperation op)

Get RecordName attribute from llzk::pod::ReadPodOp Operation.

Definition at line 159 of file Ops.capi.cpp.inc.

◆ llzkPod_ReadPodOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkPod_ReadPodOpGetResult ( MlirOperation op)

Get Result result from llzk::pod::ReadPodOp Operation.

Definition at line 167 of file Ops.capi.cpp.inc.

◆ llzkPod_ReadPodOpSetPodRef()

MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetPodRef ( MlirOperation op,
MlirValue value )

Set PodRef operand of llzk::pod::ReadPodOp Operation.

Definition at line 155 of file Ops.capi.cpp.inc.

◆ llzkPod_ReadPodOpSetRecordName()

MLIR_CAPI_EXPORTED void llzkPod_ReadPodOpSetRecordName ( MlirOperation op,
MlirAttribute attr )

Set RecordName attribute of llzk::pod::ReadPodOp Operation.

Definition at line 163 of file Ops.capi.cpp.inc.

◆ llzkPod_WritePodOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkPod_WritePodOpBuild ( MlirOpBuilder builder,
MlirLocation location,
MlirValue pod_ref,
MlirValue value,
MlirAttribute record_name )

Build a llzk::pod::WritePodOp Operation.

Definition at line 171 of file Ops.capi.cpp.inc.

◆ llzkPod_WritePodOpGetPodRef()

MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetPodRef ( MlirOperation op)

Get PodRef operand from llzk::pod::WritePodOp Operation.

Definition at line 189 of file Ops.capi.cpp.inc.

◆ llzkPod_WritePodOpGetRecordName()

MLIR_CAPI_EXPORTED MlirAttribute llzkPod_WritePodOpGetRecordName ( MlirOperation op)

Get RecordName attribute from llzk::pod::WritePodOp Operation.

Definition at line 205 of file Ops.capi.cpp.inc.

◆ llzkPod_WritePodOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkPod_WritePodOpGetValue ( MlirOperation op)

Get Value operand from llzk::pod::WritePodOp Operation.

Definition at line 197 of file Ops.capi.cpp.inc.

◆ llzkPod_WritePodOpSetPodRef()

MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetPodRef ( MlirOperation op,
MlirValue value )

Set PodRef operand of llzk::pod::WritePodOp Operation.

Definition at line 193 of file Ops.capi.cpp.inc.

◆ llzkPod_WritePodOpSetRecordName()

MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetRecordName ( MlirOperation op,
MlirAttribute attr )

Set RecordName attribute of llzk::pod::WritePodOp Operation.

Definition at line 209 of file Ops.capi.cpp.inc.

◆ llzkPod_WritePodOpSetValue()

MLIR_CAPI_EXPORTED void llzkPod_WritePodOpSetValue ( MlirOperation op,
MlirValue value )

Set Value operand of llzk::pod::WritePodOp Operation.

Definition at line 201 of file Ops.capi.cpp.inc.