|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | StructOperationLinkTests |
| struct | CreateStructOpBuildFuncHelper |
| struct | MemberWriteOpBuildFuncHelper |
| struct | StructDefOpBuildFuncHelper |
Functions | |
| TEST_F (StructOperationLinkTests, IsA_Struct_CreateStructOp) | |
| This test ensures llzkOperationIsA_Struct_CreateStructOp links properly. | |
| TEST_F (StructOperationLinkTests, llzk_CreateStructOp_Build) | |
| This test ensures llzkStruct_CreateStructOpBuild links properly. | |
| TEST_F (CAPITest, CreateStructOp_build_pass) | |
| This test ensures llzkStructCreateStructOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (StructOperationLinkTests, llzk_CreateStructOp_GetResult) | |
| TEST_F (StructOperationLinkTests, IsA_Struct_MemberDefOp) | |
| This test ensures llzkOperationIsA_Struct_MemberDefOp links properly. | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_GetSymNameAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetSymNameAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_GetTypeAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetTypeAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_GetColumnAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetColumnAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_GetSignalAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetSignalAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_SetPublicAttr) | |
| This test ensures llzkStruct_MemberDefOpSetPublicAttr links properly. | |
| TEST_F (StructOperationLinkTests, llzk_MemberDefOp_HasPublicAttr) | |
| This test ensures llzkStruct_MemberDefOpHasPublicAttr links properly. | |
| TEST_F (StructOperationLinkTests, IsA_Struct_MemberReadOp) | |
| This test ensures llzkOperationIsA_Struct_MemberReadOp links properly. | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetComponent) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetComponent) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetMapOperandsCount) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetMapOperandsAt) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetMapOperands_Variadic) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetMemberNameAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetMemberNameAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetTableOffsetAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetTableOffsetAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetNumDimsPerMapAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetNumDimsPerMapAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetMapOpGroupSizesAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_SetMapOpGroupSizesAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberReadOp_GetVal) | |
| TEST_F (StructOperationLinkTests, IsA_Struct_MemberWriteOp) | |
| This test ensures llzkOperationIsA_Struct_MemberWriteOp links properly. | |
| TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_Build) | |
| This test ensures llzkStruct_MemberWriteOpBuild links properly. | |
| TEST_F (CAPITest, MemberWriteOp_build_pass) | |
| This test ensures llzkStructMemberWriteOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_GetComponent) | |
| TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_SetComponent) | |
| TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_GetVal) | |
| TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_SetVal) | |
| TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_GetMemberNameAttr) | |
| TEST_F (StructOperationLinkTests, llzk_MemberWriteOp_SetMemberNameAttr) | |
| TEST_F (StructOperationLinkTests, IsA_Struct_StructDefOp) | |
| This test ensures llzkOperationIsA_Struct_StructDefOp links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_Build) | |
| This test ensures llzkStruct_StructDefOpBuild links properly. | |
| TEST_F (CAPITest, StructDefOp_build_pass) | |
| This test ensures llzkStructStructDefOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetSymNameAttr) | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_SetSymNameAttr) | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetBodyRegionRegion) | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetComputeFuncOp) | |
| This test ensures llzkStruct_StructDefOpGetComputeFuncOp links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetProductFuncOp) | |
| This test ensures llzkStruct_StructDefOpGetProductFuncOp links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetMemberDef) | |
| This test ensures llzkStruct_StructDefOpGetMemberDef links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_HasColumns) | |
| This test ensures llzkStruct_StructDefOpHasColumns links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_HasComputeConstrain) | |
| This test ensures llzkStruct_StructDefOpHasComputeConstrain links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetConstrainFuncOp) | |
| This test ensures llzkStruct_StructDefOpGetConstrainFuncOp links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_HasTemplateSymbolBindings) | |
| This test ensures llzkStruct_StructDefOpHasTemplateSymbolBindings links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_HasSignals) | |
| This test ensures llzkStruct_StructDefOpHasSignals links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_IsMainComponent) | |
| This test ensures llzkStruct_StructDefOpIsMainComponent links properly. | |
| TEST_F (StructOperationLinkTests, llzk_StructDefOp_GetFullyQualifiedName) | |
| This test ensures llzkStruct_StructDefOpGetFullyQualifiedName links properly. | |
| TEST_F | ( | CAPITest | , |
| CreateStructOp_build_pass | ) |
This test ensures llzkStructCreateStructOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of CreateStructOpBuildFuncHelper::callBuild() that calls llzkStructCreateStructOpBuild().
Definition at line 55 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| MemberWriteOp_build_pass | ) |
This test ensures llzkStructMemberWriteOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of MemberWriteOpBuildFuncHelper::callBuild() that calls llzkStructMemberWriteOpBuild().
Definition at line 378 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| StructDefOp_build_pass | ) |
This test ensures llzkStructStructDefOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of StructDefOpBuildFuncHelper::callBuild() that calls llzkStructStructDefOpBuild().
Definition at line 485 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| IsA_Struct_CreateStructOp | ) |
This test ensures llzkOperationIsA_Struct_CreateStructOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| IsA_Struct_MemberDefOp | ) |
This test ensures llzkOperationIsA_Struct_MemberDefOp links properly.
Definition at line 68 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| IsA_Struct_MemberReadOp | ) |
This test ensures llzkOperationIsA_Struct_MemberReadOp links properly.
Definition at line 183 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| IsA_Struct_MemberWriteOp | ) |
This test ensures llzkOperationIsA_Struct_MemberWriteOp links properly.
Definition at line 336 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| IsA_Struct_StructDefOp | ) |
This test ensures llzkOperationIsA_Struct_StructDefOp links properly.
Definition at line 443 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_CreateStructOp_Build | ) |
This test ensures llzkStruct_CreateStructOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_CreateStructOp_GetResult | ) |
Definition at line 57 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_GetColumnAttr | ) |
Definition at line 117 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_GetSignalAttr | ) |
Definition at line 137 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_GetSymNameAttr | ) |
Definition at line 77 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_GetTypeAttr | ) |
Definition at line 97 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_HasPublicAttr | ) |
This test ensures llzkStruct_MemberDefOpHasPublicAttr links properly.
Definition at line 171 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_SetColumnAttr | ) |
Definition at line 127 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_SetPublicAttr | ) |
This test ensures llzkStruct_MemberDefOpSetPublicAttr links properly.
Definition at line 158 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_SetSignalAttr | ) |
Definition at line 147 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_SetSymNameAttr | ) |
Definition at line 87 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberDefOp_SetTypeAttr | ) |
Definition at line 107 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_GetComponent | ) |
Definition at line 192 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_GetMapOperandsAt | ) |
Definition at line 223 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_GetMapOperandsCount | ) |
Definition at line 213 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_GetMapOpGroupSizesAttr | ) |
Definition at line 305 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_GetMemberNameAttr | ) |
Definition at line 245 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_GetNumDimsPerMapAttr | ) |
Definition at line 285 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_GetTableOffsetAttr | ) |
Definition at line 265 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_GetVal | ) |
Definition at line 325 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_SetComponent | ) |
Definition at line 202 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_SetMapOperands_Variadic | ) |
Definition at line 233 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_SetMapOpGroupSizesAttr | ) |
Definition at line 315 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_SetMemberNameAttr | ) |
Definition at line 255 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_SetNumDimsPerMapAttr | ) |
Definition at line 295 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberReadOp_SetTableOffsetAttr | ) |
Definition at line 275 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberWriteOp_Build | ) |
This test ensures llzkStruct_MemberWriteOpBuild links properly.
Definition at line 346 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberWriteOp_GetComponent | ) |
Definition at line 380 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberWriteOp_GetMemberNameAttr | ) |
Definition at line 422 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberWriteOp_GetVal | ) |
Definition at line 401 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberWriteOp_SetComponent | ) |
Definition at line 390 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberWriteOp_SetMemberNameAttr | ) |
Definition at line 432 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_MemberWriteOp_SetVal | ) |
Definition at line 411 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_Build | ) |
This test ensures llzkStruct_StructDefOpBuild links properly.
Definition at line 453 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_GetBodyRegionRegion | ) |
Definition at line 507 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_GetComputeFuncOp | ) |
This test ensures llzkStruct_StructDefOpGetComputeFuncOp links properly.
Definition at line 518 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_GetConstrainFuncOp | ) |
This test ensures llzkStruct_StructDefOpGetConstrainFuncOp links properly.
Definition at line 579 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_GetFullyQualifiedName | ) |
This test ensures llzkStruct_StructDefOpGetFullyQualifiedName links properly.
Definition at line 627 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_GetMemberDef | ) |
This test ensures llzkStruct_StructDefOpGetMemberDef links properly.
Definition at line 542 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_GetProductFuncOp | ) |
This test ensures llzkStruct_StructDefOpGetProductFuncOp links properly.
Definition at line 530 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_GetSymNameAttr | ) |
Definition at line 487 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_HasColumns | ) |
This test ensures llzkStruct_StructDefOpHasColumns links properly.
Definition at line 555 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_HasComputeConstrain | ) |
This test ensures llzkStruct_StructDefOpHasComputeConstrain links properly.
Definition at line 567 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_HasSignals | ) |
This test ensures llzkStruct_StructDefOpHasSignals links properly.
Definition at line 603 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_HasTemplateSymbolBindings | ) |
This test ensures llzkStruct_StructDefOpHasTemplateSymbolBindings links properly.
Definition at line 591 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_IsMainComponent | ) |
This test ensures llzkStruct_StructDefOpIsMainComponent links properly.
Definition at line 615 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | StructOperationLinkTests | , |
| llzk_StructDefOp_SetSymNameAttr | ) |
Definition at line 497 of file Ops.capi.test.cpp.inc.