|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | PolyOperationLinkTests |
| struct | ConstReadOpBuildFuncHelper |
| struct | TemplateExprOpBuildFuncHelper |
| struct | TemplateOpBuildFuncHelper |
| struct | TemplateParamOpBuildFuncHelper |
| struct | UnifiableCastOpBuildFuncHelper |
| struct | YieldOpBuildFuncHelper |
Functions | |
| TEST_F (PolyOperationLinkTests, IsA_Poly_ApplyMapOp) | |
| This test ensures llzkOperationIsA_Poly_ApplyMapOp links properly. | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_GetMapOperandsCount) | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_GetMapOperandsAt) | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_SetMapOperands_Variadic) | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_GetMapAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_SetMapAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_GetNumDimsAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_SetNumDimsAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_GetResult0) | |
| TEST_F (PolyOperationLinkTests, llzk_ApplyMapOp_GetAffineMap) | |
| This test ensures llzkPoly_ApplyMapOpGetAffineMap links properly. | |
| TEST_F (PolyOperationLinkTests, IsA_Poly_ConstReadOp) | |
| This test ensures llzkOperationIsA_Poly_ConstReadOp links properly. | |
| TEST_F (PolyOperationLinkTests, llzk_ConstReadOp_Build) | |
| This test ensures llzkPoly_ConstReadOpBuild links properly. | |
| TEST_F (CAPITest, ConstReadOp_build_pass) | |
| This test ensures llzkPolyConstReadOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (PolyOperationLinkTests, llzk_ConstReadOp_GetConstNameAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_ConstReadOp_SetConstNameAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_ConstReadOp_GetVal) | |
| TEST_F (PolyOperationLinkTests, IsA_Poly_TemplateExprOp) | |
| This test ensures llzkOperationIsA_Poly_TemplateExprOp links properly. | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateExprOp_Build) | |
| This test ensures llzkPoly_TemplateExprOpBuild links properly. | |
| TEST_F (CAPITest, TemplateExprOp_build_pass) | |
| This test ensures llzkPolyTemplateExprOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateExprOp_GetSymNameAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateExprOp_SetSymNameAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateExprOp_GetInitializerRegionRegion) | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateExprOp_GetType) | |
| This test ensures llzkPoly_TemplateExprOpGetType links properly. | |
| TEST_F (PolyOperationLinkTests, IsA_Poly_TemplateOp) | |
| This test ensures llzkOperationIsA_Poly_TemplateOp links properly. | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateOp_Build) | |
| This test ensures llzkPoly_TemplateOpBuild links properly. | |
| TEST_F (CAPITest, TemplateOp_build_pass) | |
| This test ensures llzkPolyTemplateOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateOp_GetSymNameAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateOp_SetSymNameAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateOp_GetBodyRegionRegion) | |
| TEST_F (PolyOperationLinkTests, IsA_Poly_TemplateParamOp) | |
| This test ensures llzkOperationIsA_Poly_TemplateParamOp links properly. | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateParamOp_Build) | |
| This test ensures llzkPoly_TemplateParamOpBuild links properly. | |
| TEST_F (CAPITest, TemplateParamOp_build_pass) | |
| This test ensures llzkPolyTemplateParamOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateParamOp_GetSymNameAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateParamOp_SetSymNameAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateParamOp_GetTypeOptAttr) | |
| TEST_F (PolyOperationLinkTests, llzk_TemplateParamOp_SetTypeOptAttr) | |
| TEST_F (PolyOperationLinkTests, IsA_Poly_UnifiableCastOp) | |
| This test ensures llzkOperationIsA_Poly_UnifiableCastOp links properly. | |
| TEST_F (PolyOperationLinkTests, llzk_UnifiableCastOp_Build) | |
| This test ensures llzkPoly_UnifiableCastOpBuild links properly. | |
| TEST_F (CAPITest, UnifiableCastOp_build_pass) | |
| This test ensures llzkPolyUnifiableCastOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (PolyOperationLinkTests, llzk_UnifiableCastOp_GetInput) | |
| TEST_F (PolyOperationLinkTests, llzk_UnifiableCastOp_SetInput) | |
| TEST_F (PolyOperationLinkTests, llzk_UnifiableCastOp_GetResult) | |
| TEST_F (PolyOperationLinkTests, IsA_Poly_YieldOp) | |
| This test ensures llzkOperationIsA_Poly_YieldOp links properly. | |
| TEST_F (PolyOperationLinkTests, llzk_YieldOp_Build) | |
| This test ensures llzkPoly_YieldOpBuild links properly. | |
| TEST_F (CAPITest, YieldOp_build_pass) | |
| This test ensures llzkPolyYieldOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (PolyOperationLinkTests, llzk_YieldOp_GetVal) | |
| TEST_F (PolyOperationLinkTests, llzk_YieldOp_SetVal) | |
| TEST_F | ( | CAPITest | , |
| ConstReadOp_build_pass | ) |
This test ensures llzkPolyConstReadOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of ConstReadOpBuildFuncHelper::callBuild() that calls llzkPolyConstReadOpBuild().
Definition at line 160 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| TemplateExprOp_build_pass | ) |
This test ensures llzkPolyTemplateExprOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of TemplateExprOpBuildFuncHelper::callBuild() that calls llzkPolyTemplateExprOpBuild().
Definition at line 235 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| TemplateOp_build_pass | ) |
This test ensures llzkPolyTemplateOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of TemplateOpBuildFuncHelper::callBuild() that calls llzkPolyTemplateOpBuild().
Definition at line 322 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| TemplateParamOp_build_pass | ) |
This test ensures llzkPolyTemplateParamOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of TemplateParamOpBuildFuncHelper::callBuild() that calls llzkPolyTemplateParamOpBuild().
Definition at line 398 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| UnifiableCastOp_build_pass | ) |
This test ensures llzkPolyUnifiableCastOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of UnifiableCastOpBuildFuncHelper::callBuild() that calls llzkPolyUnifiableCastOpBuild().
Definition at line 483 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| YieldOp_build_pass | ) |
This test ensures llzkPolyYieldOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of YieldOpBuildFuncHelper::callBuild() that calls llzkPolyYieldOpBuild().
Definition at line 558 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| IsA_Poly_ApplyMapOp | ) |
This test ensures llzkOperationIsA_Poly_ApplyMapOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| IsA_Poly_ConstReadOp | ) |
This test ensures llzkOperationIsA_Poly_ConstReadOp links properly.
Definition at line 117 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| IsA_Poly_TemplateExprOp | ) |
This test ensures llzkOperationIsA_Poly_TemplateExprOp links properly.
Definition at line 193 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| IsA_Poly_TemplateOp | ) |
This test ensures llzkOperationIsA_Poly_TemplateOp links properly.
Definition at line 280 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| IsA_Poly_TemplateParamOp | ) |
This test ensures llzkOperationIsA_Poly_TemplateParamOp links properly.
Definition at line 355 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| IsA_Poly_UnifiableCastOp | ) |
This test ensures llzkOperationIsA_Poly_UnifiableCastOp links properly.
Definition at line 441 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| IsA_Poly_YieldOp | ) |
This test ensures llzkOperationIsA_Poly_YieldOp links properly.
Definition at line 517 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_GetAffineMap | ) |
This test ensures llzkPoly_ApplyMapOpGetAffineMap links properly.
Definition at line 105 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_GetMapAttr | ) |
Definition at line 54 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_GetMapOperandsAt | ) |
Definition at line 32 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_GetMapOperandsCount | ) |
Definition at line 22 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_GetNumDimsAttr | ) |
Definition at line 74 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_GetResult0 | ) |
Definition at line 94 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_SetMapAttr | ) |
Definition at line 64 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_SetMapOperands_Variadic | ) |
Definition at line 42 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ApplyMapOp_SetNumDimsAttr | ) |
Definition at line 84 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ConstReadOp_Build | ) |
This test ensures llzkPoly_ConstReadOpBuild links properly.
Definition at line 127 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ConstReadOp_GetConstNameAttr | ) |
Definition at line 162 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ConstReadOp_GetVal | ) |
Definition at line 182 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_ConstReadOp_SetConstNameAttr | ) |
Definition at line 172 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateExprOp_Build | ) |
This test ensures llzkPoly_TemplateExprOpBuild links properly.
Definition at line 203 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateExprOp_GetInitializerRegionRegion | ) |
Definition at line 257 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateExprOp_GetSymNameAttr | ) |
Definition at line 237 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateExprOp_GetType | ) |
This test ensures llzkPoly_TemplateExprOpGetType links properly.
Definition at line 268 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateExprOp_SetSymNameAttr | ) |
Definition at line 247 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateOp_Build | ) |
This test ensures llzkPoly_TemplateOpBuild links properly.
Definition at line 290 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateOp_GetBodyRegionRegion | ) |
Definition at line 344 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateOp_GetSymNameAttr | ) |
Definition at line 324 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateOp_SetSymNameAttr | ) |
Definition at line 334 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateParamOp_Build | ) |
This test ensures llzkPoly_TemplateParamOpBuild links properly.
Definition at line 365 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateParamOp_GetSymNameAttr | ) |
Definition at line 400 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateParamOp_GetTypeOptAttr | ) |
Definition at line 420 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateParamOp_SetSymNameAttr | ) |
Definition at line 410 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_TemplateParamOp_SetTypeOptAttr | ) |
Definition at line 430 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_UnifiableCastOp_Build | ) |
This test ensures llzkPoly_UnifiableCastOpBuild links properly.
Definition at line 451 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_UnifiableCastOp_GetInput | ) |
Definition at line 485 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_UnifiableCastOp_GetResult | ) |
Definition at line 506 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_UnifiableCastOp_SetInput | ) |
Definition at line 495 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_YieldOp_Build | ) |
This test ensures llzkPoly_YieldOpBuild links properly.
Definition at line 527 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_YieldOp_GetVal | ) |
Definition at line 560 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | PolyOperationLinkTests | , |
| llzk_YieldOp_SetVal | ) |
Definition at line 570 of file Ops.capi.test.cpp.inc.