|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | ArrayOperationLinkTests |
| struct | ArrayLengthOpBuildFuncHelper |
| struct | ExtractArrayOpBuildFuncHelper |
| struct | InsertArrayOpBuildFuncHelper |
| struct | ReadArrayOpBuildFuncHelper |
| struct | WriteArrayOpBuildFuncHelper |
Functions | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_ArrayLengthOp) | |
| This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_Build) | |
| This test ensures llzkArray_ArrayLengthOpBuild links properly. | |
| TEST_F (CAPITest, ArrayLengthOp_build_pass) | |
| This test ensures llzkArrayArrayLengthOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetDim) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_SetDim) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetLength) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetArrRefType) | |
| This test ensures llzkArray_ArrayLengthOpGetArrRefType links properly. | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_CreateArrayOp) | |
| This test ensures llzkOperationIsA_Array_CreateArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetElementsCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetElementsAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetElements_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOperandsCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOperandsAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetMapOperands_VariadicOfVariadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetNumDimsPerMapAttr) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetNumDimsPerMapAttr) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOpGroupSizesAttr) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetMapOpGroupSizesAttr) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetResult) | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_ExtractArrayOp) | |
| This test ensures llzkOperationIsA_Array_ExtractArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_Build) | |
| This test ensures llzkArray_ExtractArrayOpBuild links properly. | |
| TEST_F (CAPITest, ExtractArrayOp_build_pass) | |
| This test ensures llzkArrayExtractArrayOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetIndicesCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetIndicesAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_SetIndices_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetResult) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetArrRefType) | |
| This test ensures llzkArray_ExtractArrayOpGetArrRefType links properly. | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_InsertArrayOp) | |
| This test ensures llzkOperationIsA_Array_InsertArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_Build) | |
| This test ensures llzkArray_InsertArrayOpBuild links properly. | |
| TEST_F (CAPITest, InsertArrayOp_build_pass) | |
| This test ensures llzkArrayInsertArrayOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetIndicesCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetIndicesAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetIndices_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetRvalue) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetRvalue) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetArrRefType) | |
| This test ensures llzkArray_InsertArrayOpGetArrRefType links properly. | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_ReadArrayOp) | |
| This test ensures llzkOperationIsA_Array_ReadArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_Build) | |
| This test ensures llzkArray_ReadArrayOpBuild links properly. | |
| TEST_F (CAPITest, ReadArrayOp_build_pass) | |
| This test ensures llzkArrayReadArrayOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetIndicesCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetIndicesAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_SetIndices_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetResult) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetArrRefType) | |
| This test ensures llzkArray_ReadArrayOpGetArrRefType links properly. | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_WriteArrayOp) | |
| This test ensures llzkOperationIsA_Array_WriteArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_Build) | |
| This test ensures llzkArray_WriteArrayOpBuild links properly. | |
| TEST_F (CAPITest, WriteArrayOp_build_pass) | |
| This test ensures llzkArrayWriteArrayOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetIndicesCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetIndicesAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetIndices_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetRvalue) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetRvalue) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetArrRefType) | |
| This test ensures llzkArray_WriteArrayOpGetArrRefType links properly. | |
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_ArrayLengthOp | ) |
This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_CreateArrayOp | ) |
This test ensures llzkOperationIsA_Array_CreateArrayOp links properly.
Definition at line 121 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_ExtractArrayOp | ) |
This test ensures llzkOperationIsA_Array_ExtractArrayOp links properly.
Definition at line 247 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_InsertArrayOp | ) |
This test ensures llzkOperationIsA_Array_InsertArrayOp links properly.
Definition at line 369 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_ReadArrayOp | ) |
This test ensures llzkOperationIsA_Array_ReadArrayOp links properly.
Definition at line 501 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_WriteArrayOp | ) |
This test ensures llzkOperationIsA_Array_WriteArrayOp links properly.
Definition at line 623 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_Build | ) |
This test ensures llzkArray_ArrayLengthOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_GetArrRef | ) |
Definition at line 56 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_GetArrRefType | ) |
This test ensures llzkArray_ArrayLengthOpGetArrRefType links properly.
Definition at line 109 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_GetDim | ) |
Definition at line 77 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_GetLength | ) |
Definition at line 98 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_SetArrRef | ) |
Definition at line 66 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_SetDim | ) |
Definition at line 87 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetElementsAt | ) |
Definition at line 140 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetElementsCount | ) |
Definition at line 130 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetMapOperandsAt | ) |
Definition at line 172 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetMapOperandsCount | ) |
Definition at line 162 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetMapOpGroupSizesAttr | ) |
Definition at line 216 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetNumDimsPerMapAttr | ) |
Definition at line 196 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetResult | ) |
Definition at line 236 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_SetElements_Variadic | ) |
Definition at line 150 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_SetMapOperands_VariadicOfVariadic | ) |
Definition at line 182 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_SetMapOpGroupSizesAttr | ) |
Definition at line 226 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_SetNumDimsPerMapAttr | ) |
Definition at line 206 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_Build | ) |
This test ensures llzkArray_ExtractArrayOpBuild links properly.
Definition at line 257 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetArrRef | ) |
Definition at line 293 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetArrRefType | ) |
This test ensures llzkArray_ExtractArrayOpGetArrRefType links properly.
Definition at line 357 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetIndicesAt | ) |
Definition at line 324 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetIndicesCount | ) |
Definition at line 314 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetResult | ) |
Definition at line 346 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_SetArrRef | ) |
Definition at line 303 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_SetIndices_Variadic | ) |
Definition at line 334 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_Build | ) |
This test ensures llzkArray_InsertArrayOpBuild links properly.
Definition at line 379 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetArrRef | ) |
Definition at line 414 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetArrRefType | ) |
This test ensures llzkArray_InsertArrayOpGetArrRefType links properly.
Definition at line 489 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetIndicesAt | ) |
Definition at line 445 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetIndicesCount | ) |
Definition at line 435 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetRvalue | ) |
Definition at line 467 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_SetArrRef | ) |
Definition at line 424 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_SetIndices_Variadic | ) |
Definition at line 455 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_SetRvalue | ) |
Definition at line 477 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_Build | ) |
This test ensures llzkArray_ReadArrayOpBuild links properly.
Definition at line 511 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetArrRef | ) |
Definition at line 547 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetArrRefType | ) |
This test ensures llzkArray_ReadArrayOpGetArrRefType links properly.
Definition at line 611 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetIndicesAt | ) |
Definition at line 578 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetIndicesCount | ) |
Definition at line 568 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetResult | ) |
Definition at line 600 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_SetArrRef | ) |
Definition at line 557 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_SetIndices_Variadic | ) |
Definition at line 588 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_Build | ) |
This test ensures llzkArray_WriteArrayOpBuild links properly.
Definition at line 633 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetArrRef | ) |
Definition at line 668 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetArrRefType | ) |
This test ensures llzkArray_WriteArrayOpGetArrRefType links properly.
Definition at line 743 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetIndicesAt | ) |
Definition at line 699 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetIndicesCount | ) |
Definition at line 689 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetRvalue | ) |
Definition at line 721 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_SetArrRef | ) |
Definition at line 678 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_SetIndices_Variadic | ) |
Definition at line 709 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_SetRvalue | ) |
Definition at line 731 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| ArrayLengthOp_build_pass | ) |
This test ensures llzkArrayArrayLengthOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of ArrayLengthOpBuildFuncHelper::callBuild() that calls llzkArrayArrayLengthOpBuild().
Definition at line 54 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| ExtractArrayOp_build_pass | ) |
This test ensures llzkArrayExtractArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of ExtractArrayOpBuildFuncHelper::callBuild() that calls llzkArrayExtractArrayOpBuild().
Definition at line 291 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| InsertArrayOp_build_pass | ) |
This test ensures llzkArrayInsertArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of InsertArrayOpBuildFuncHelper::callBuild() that calls llzkArrayInsertArrayOpBuild().
Definition at line 412 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| ReadArrayOp_build_pass | ) |
This test ensures llzkArrayReadArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of ReadArrayOpBuildFuncHelper::callBuild() that calls llzkArrayReadArrayOpBuild().
Definition at line 545 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| WriteArrayOp_build_pass | ) |
This test ensures llzkArrayWriteArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of WriteArrayOpBuildFuncHelper::callBuild() that calls llzkArrayWriteArrayOpBuild().
Definition at line 666 of file Ops.capi.test.cpp.inc.