LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Functions
Ops.capi.cpp.inc File Reference
#include <limits>
Include dependency graph for Ops.capi.cpp.inc:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool llzkOperationIsA_Pod_NewPodOp (MlirOperation inp)
 Returns true if the Operation is a llzk::pod::NewPodOp.
intptr_t llzkPod_NewPodOpGetInitialValuesCount (MlirOperation op)
 Get number of InitialValues operands in llzk::pod::NewPodOp Operation.
MlirValue llzkPod_NewPodOpGetInitialValuesAt (MlirOperation op, intptr_t index)
 Get InitialValues operand at index from llzk::pod::NewPodOp Operation.
void llzkPod_NewPodOpSetInitialValues (MlirOperation op, intptr_t count, MlirValue const *values)
 Set InitialValues operands of llzk::pod::NewPodOp Operation.
intptr_t llzkPod_NewPodOpGetMapOperandsCount (MlirOperation op)
 Get number of MapOperands operands in llzk::pod::NewPodOp Operation.
MlirValue llzkPod_NewPodOpGetMapOperandsAt (MlirOperation op, intptr_t index)
 Get MapOperands operand at index from llzk::pod::NewPodOp Operation.
void llzkPod_NewPodOpSetMapOperands (MlirOperation op, intptr_t groupCount, MlirValueRange const *groups)
 Set MapOperands operand groups of llzk::pod::NewPodOp Operation.
MlirAttribute llzkPod_NewPodOpGetInitializedRecords (MlirOperation op)
 Get InitializedRecords attribute from llzk::pod::NewPodOp Operation.
void llzkPod_NewPodOpSetInitializedRecords (MlirOperation op, MlirAttribute attr)
 Set InitializedRecords attribute of llzk::pod::NewPodOp Operation.
MlirAttribute llzkPod_NewPodOpGetNumDimsPerMap (MlirOperation op)
 Get NumDimsPerMap attribute from llzk::pod::NewPodOp Operation.
void llzkPod_NewPodOpSetNumDimsPerMap (MlirOperation op, MlirAttribute attr)
 Set NumDimsPerMap attribute of llzk::pod::NewPodOp Operation.
MlirAttribute llzkPod_NewPodOpGetMapOpGroupSizes (MlirOperation op)
 Get MapOpGroupSizes attribute from llzk::pod::NewPodOp Operation.
void llzkPod_NewPodOpSetMapOpGroupSizes (MlirOperation op, MlirAttribute attr)
 Set MapOpGroupSizes attribute of llzk::pod::NewPodOp Operation.
MlirValue llzkPod_NewPodOpGetResult (MlirOperation op)
 Get Result result from llzk::pod::NewPodOp Operation.
MlirOperation llzkPod_ReadPodOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue pod_ref, MlirAttribute record_name)
 Build a llzk::pod::ReadPodOp Operation.
bool llzkOperationIsA_Pod_ReadPodOp (MlirOperation inp)
 Returns true if the Operation is a llzk::pod::ReadPodOp.
MlirValue llzkPod_ReadPodOpGetPodRef (MlirOperation op)
 Get PodRef operand from llzk::pod::ReadPodOp Operation.
void llzkPod_ReadPodOpSetPodRef (MlirOperation op, MlirValue value)
 Set PodRef operand of llzk::pod::ReadPodOp Operation.
MlirAttribute llzkPod_ReadPodOpGetRecordName (MlirOperation op)
 Get RecordName attribute from llzk::pod::ReadPodOp Operation.
void llzkPod_ReadPodOpSetRecordName (MlirOperation op, MlirAttribute attr)
 Set RecordName attribute of llzk::pod::ReadPodOp Operation.
MlirValue llzkPod_ReadPodOpGetResult (MlirOperation op)
 Get Result result from llzk::pod::ReadPodOp Operation.
MlirType llzkPod_ReadPodOpGetPodRefType (MlirOperation inp)
 Gets the type of the referenced pod.
MlirOperation llzkPod_WritePodOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue pod_ref, MlirValue value, MlirAttribute record_name)
 Build a llzk::pod::WritePodOp Operation.
bool llzkOperationIsA_Pod_WritePodOp (MlirOperation inp)
 Returns true if the Operation is a llzk::pod::WritePodOp.
MlirValue llzkPod_WritePodOpGetPodRef (MlirOperation op)
 Get PodRef operand from llzk::pod::WritePodOp Operation.
void llzkPod_WritePodOpSetPodRef (MlirOperation op, MlirValue value)
 Set PodRef operand of llzk::pod::WritePodOp Operation.
MlirValue llzkPod_WritePodOpGetValue (MlirOperation op)
 Get Value operand from llzk::pod::WritePodOp Operation.
void llzkPod_WritePodOpSetValue (MlirOperation op, MlirValue value)
 Set Value operand of llzk::pod::WritePodOp Operation.
MlirAttribute llzkPod_WritePodOpGetRecordName (MlirOperation op)
 Get RecordName attribute from llzk::pod::WritePodOp Operation.
void llzkPod_WritePodOpSetRecordName (MlirOperation op, MlirAttribute attr)
 Set RecordName attribute of llzk::pod::WritePodOp Operation.
MlirType llzkPod_WritePodOpGetPodRefType (MlirOperation inp)
 Gets the type of the referenced pod.

Function Documentation

◆ llzkOperationIsA_Pod_NewPodOp()

bool llzkOperationIsA_Pod_NewPodOp ( MlirOperation inp)

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

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

◆ llzkOperationIsA_Pod_ReadPodOp()

bool llzkOperationIsA_Pod_ReadPodOp ( MlirOperation inp)

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

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

◆ llzkOperationIsA_Pod_WritePodOp()

bool llzkOperationIsA_Pod_WritePodOp ( MlirOperation inp)

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

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

◆ llzkPod_NewPodOpGetInitializedRecords()

MlirAttribute llzkPod_NewPodOpGetInitializedRecords ( MlirOperation op)

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

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

◆ llzkPod_NewPodOpGetInitialValuesAt()

MlirValue llzkPod_NewPodOpGetInitialValuesAt ( MlirOperation op,
intptr_t index )

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

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

◆ llzkPod_NewPodOpGetInitialValuesCount()

intptr_t llzkPod_NewPodOpGetInitialValuesCount ( MlirOperation op)

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

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

◆ llzkPod_NewPodOpGetMapOperandsAt()

MlirValue llzkPod_NewPodOpGetMapOperandsAt ( MlirOperation op,
intptr_t index )

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

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

◆ llzkPod_NewPodOpGetMapOperandsCount()

intptr_t llzkPod_NewPodOpGetMapOperandsCount ( MlirOperation op)

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

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

◆ llzkPod_NewPodOpGetMapOpGroupSizes()

MlirAttribute llzkPod_NewPodOpGetMapOpGroupSizes ( MlirOperation op)

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

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

◆ llzkPod_NewPodOpGetNumDimsPerMap()

MlirAttribute llzkPod_NewPodOpGetNumDimsPerMap ( MlirOperation op)

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

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

◆ llzkPod_NewPodOpGetResult()

MlirValue llzkPod_NewPodOpGetResult ( MlirOperation op)

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

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

◆ llzkPod_NewPodOpSetInitializedRecords()

void llzkPod_NewPodOpSetInitializedRecords ( MlirOperation op,
MlirAttribute attr )

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

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

◆ llzkPod_NewPodOpSetInitialValues()

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

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

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

◆ llzkPod_NewPodOpSetMapOperands()

void llzkPod_NewPodOpSetMapOperands ( MlirOperation op,
intptr_t groupCount,
MlirValueRange const * groups )

Set MapOperands operand groups of llzk::pod::NewPodOp Operation.

Each element of groups represents one group; its size field drives the per-group segment-size attribute and values supplies the operands for that group.

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

◆ llzkPod_NewPodOpSetMapOpGroupSizes()

void llzkPod_NewPodOpSetMapOpGroupSizes ( MlirOperation op,
MlirAttribute attr )

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

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

◆ llzkPod_NewPodOpSetNumDimsPerMap()

void llzkPod_NewPodOpSetNumDimsPerMap ( MlirOperation op,
MlirAttribute attr )

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

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

◆ llzkPod_ReadPodOpBuild()

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

Build a llzk::pod::ReadPodOp Operation.

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

◆ llzkPod_ReadPodOpGetPodRef()

MlirValue llzkPod_ReadPodOpGetPodRef ( MlirOperation op)

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

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

◆ llzkPod_ReadPodOpGetPodRefType()

MlirType llzkPod_ReadPodOpGetPodRefType ( MlirOperation inp)

Gets the type of the referenced pod.

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

◆ llzkPod_ReadPodOpGetRecordName()

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()

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()

void llzkPod_ReadPodOpSetPodRef ( MlirOperation op,
MlirValue value )

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

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

◆ llzkPod_ReadPodOpSetRecordName()

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()

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

Build a llzk::pod::WritePodOp Operation.

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

◆ llzkPod_WritePodOpGetPodRef()

MlirValue llzkPod_WritePodOpGetPodRef ( MlirOperation op)

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

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

◆ llzkPod_WritePodOpGetPodRefType()

MlirType llzkPod_WritePodOpGetPodRefType ( MlirOperation inp)

Gets the type of the referenced pod.

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

◆ llzkPod_WritePodOpGetRecordName()

MlirAttribute llzkPod_WritePodOpGetRecordName ( MlirOperation op)

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

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

◆ llzkPod_WritePodOpGetValue()

MlirValue llzkPod_WritePodOpGetValue ( MlirOperation op)

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

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

◆ llzkPod_WritePodOpSetPodRef()

void llzkPod_WritePodOpSetPodRef ( MlirOperation op,
MlirValue value )

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

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

◆ llzkPod_WritePodOpSetRecordName()

void llzkPod_WritePodOpSetRecordName ( MlirOperation op,
MlirAttribute attr )

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

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

◆ llzkPod_WritePodOpSetValue()

void llzkPod_WritePodOpSetValue ( MlirOperation op,
MlirValue value )

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

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