LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.test.cpp.inc File Reference

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)

Function Documentation

◆ TEST_F() [1/47]

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() [2/47]

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() [3/47]

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() [4/47]

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() [5/47]

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() [6/47]

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() [7/47]

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() [8/47]

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() [9/47]

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() [10/47]

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() [11/47]

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() [12/47]

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() [13/47]

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() [14/47]

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() [15/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ApplyMapOp_GetMapAttr  )

Definition at line 54 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [16/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ApplyMapOp_GetMapOperandsAt  )

Definition at line 32 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [17/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ApplyMapOp_GetMapOperandsCount  )

Definition at line 22 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [18/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ApplyMapOp_GetNumDimsAttr  )

Definition at line 74 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [19/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ApplyMapOp_GetResult0  )

Definition at line 94 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [20/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ApplyMapOp_SetMapAttr  )

Definition at line 64 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [21/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ApplyMapOp_SetMapOperands_Variadic  )

Definition at line 42 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [22/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ApplyMapOp_SetNumDimsAttr  )

Definition at line 84 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [23/47]

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() [24/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ConstReadOp_GetConstNameAttr  )

Definition at line 162 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [25/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ConstReadOp_GetVal  )

Definition at line 182 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [26/47]

TEST_F ( PolyOperationLinkTests ,
llzk_ConstReadOp_SetConstNameAttr  )

Definition at line 172 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [27/47]

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() [28/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateExprOp_GetInitializerRegionRegion  )

Definition at line 257 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [29/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateExprOp_GetSymNameAttr  )

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

◆ TEST_F() [30/47]

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() [31/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateExprOp_SetSymNameAttr  )

Definition at line 247 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [32/47]

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() [33/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateOp_GetBodyRegionRegion  )

Definition at line 344 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [34/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateOp_GetSymNameAttr  )

Definition at line 324 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [35/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateOp_SetSymNameAttr  )

Definition at line 334 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [36/47]

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() [37/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateParamOp_GetSymNameAttr  )

Definition at line 400 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [38/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateParamOp_GetTypeOptAttr  )

Definition at line 420 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [39/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateParamOp_SetSymNameAttr  )

Definition at line 410 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [40/47]

TEST_F ( PolyOperationLinkTests ,
llzk_TemplateParamOp_SetTypeOptAttr  )

Definition at line 430 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [41/47]

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() [42/47]

TEST_F ( PolyOperationLinkTests ,
llzk_UnifiableCastOp_GetInput  )

Definition at line 485 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [43/47]

TEST_F ( PolyOperationLinkTests ,
llzk_UnifiableCastOp_GetResult  )

Definition at line 506 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [44/47]

TEST_F ( PolyOperationLinkTests ,
llzk_UnifiableCastOp_SetInput  )

Definition at line 495 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [45/47]

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() [46/47]

TEST_F ( PolyOperationLinkTests ,
llzk_YieldOp_GetVal  )

Definition at line 560 of file Ops.capi.test.cpp.inc.

◆ TEST_F() [47/47]

TEST_F ( PolyOperationLinkTests ,
llzk_YieldOp_SetVal  )

Definition at line 570 of file Ops.capi.test.cpp.inc.