Ops.capi.test.cpp.inc File Reference

Go to the source code of this file.

Classes
class	VerifOperationLinkTests
struct	ContractEndOpBuildFuncHelper
struct	EnsureComputeOpBuildFuncHelper
struct	EnsureConstrainOpBuildFuncHelper
struct	RequireComputeOpBuildFuncHelper
struct	RequireConstrainOpBuildFuncHelper

Functions
	TEST_F (VerifOperationLinkTests, IsA_Verif_ContractEndOp)
	This test ensures llzkOperationIsA_Verif_ContractEndOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractEndOp_Build)
	This test ensures llzkVerif_ContractEndOpBuild links properly.
	TEST_F (CAPITest, ContractEndOp_build_pass)
	This test ensures llzkVerifContractEndOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, IsA_Verif_ContractOp)
	This test ensures llzkOperationIsA_Verif_ContractOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetSymNameAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetSymNameAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetTargetAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetTargetAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetFunctionTypeAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetFunctionTypeAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetArgAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_SetArgAttrsAttr)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetBodyRegion)
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_IsDeclaration)
	This test ensures llzkVerif_ContractOpIsDeclaration links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_HasArgPublicAttr)
	This test ensures llzkVerif_ContractOpHasArgPublicAttr links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_HasFuncTarget)
	This test ensures llzkVerif_ContractOpHasFuncTarget links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_HasStructTarget)
	This test ensures llzkVerif_ContractOpHasStructTarget links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetCallableRegion)
	This test ensures llzkVerif_ContractOpGetCallableRegion links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_HasArgName)
	This test ensures llzkVerif_ContractOpHasArgName links properly.
	TEST_F (VerifOperationLinkTests, llzk_ContractOp_GetFullyQualifiedName)
	This test ensures llzkVerif_ContractOpGetFullyQualifiedName links properly.
	TEST_F (VerifOperationLinkTests, IsA_Verif_EnsureComputeOp)
	This test ensures llzkOperationIsA_Verif_EnsureComputeOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_EnsureComputeOp_Build)
	This test ensures llzkVerif_EnsureComputeOpBuild links properly.
	TEST_F (CAPITest, EnsureComputeOp_build_pass)
	This test ensures llzkVerifEnsureComputeOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_EnsureComputeOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_EnsureComputeOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_EnsureConstrainOp)
	This test ensures llzkOperationIsA_Verif_EnsureConstrainOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_EnsureConstrainOp_Build)
	This test ensures llzkVerif_EnsureConstrainOpBuild links properly.
	TEST_F (CAPITest, EnsureConstrainOp_build_pass)
	This test ensures llzkVerifEnsureConstrainOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_EnsureConstrainOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_EnsureConstrainOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_IncludeOp)
	This test ensures llzkOperationIsA_Verif_IncludeOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetArgOperandsCount)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetArgOperandsAt)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetArgOperands_Variadic)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetMapOperandsCount)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetMapOperandsAt)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetMapOperands_VariadicOfVariadic)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetCalleeAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetCalleeAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetTemplateParamsAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetTemplateParamsAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetNumDimsPerMapAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetNumDimsPerMapAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetMapOpGroupSizesAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_SetMapOpGroupSizesAttr)
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_ContractTargetsStruct)
	This test ensures llzkVerif_IncludeOpContractTargetsStruct links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetSelfValue)
	This test ensures llzkVerif_IncludeOpGetSelfValue links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_GetTypeSignature)
	This test ensures llzkVerif_IncludeOpGetTypeSignature links properly.
	TEST_F (VerifOperationLinkTests, llzk_IncludeOp_ResolveCallable)
	This test ensures llzkVerif_IncludeOpResolveCallable links properly.
	TEST_F (VerifOperationLinkTests, IsA_Verif_RequireComputeOp)
	This test ensures llzkOperationIsA_Verif_RequireComputeOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_RequireComputeOp_Build)
	This test ensures llzkVerif_RequireComputeOpBuild links properly.
	TEST_F (CAPITest, RequireComputeOp_build_pass)
	This test ensures llzkVerifRequireComputeOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_RequireComputeOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_RequireComputeOp_SetCondition)
	TEST_F (VerifOperationLinkTests, IsA_Verif_RequireConstrainOp)
	This test ensures llzkOperationIsA_Verif_RequireConstrainOp links properly.
	TEST_F (VerifOperationLinkTests, llzk_RequireConstrainOp_Build)
	This test ensures llzkVerif_RequireConstrainOpBuild links properly.
	TEST_F (CAPITest, RequireConstrainOp_build_pass)
	This test ensures llzkVerifRequireConstrainOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (VerifOperationLinkTests, llzk_RequireConstrainOp_GetCondition)
	TEST_F (VerifOperationLinkTests, llzk_RequireConstrainOp_SetCondition)

Function Documentation

TEST_F() [1/59]

TEST_F	(	CAPITest	,
		ContractEndOp_build_pass	)

This test ensures llzkVerifContractEndOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of ContractEndOpBuildFuncHelper::callBuild() that calls llzkVerifContractEndOpBuild().

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

TEST_F() [2/59]

TEST_F	(	CAPITest	,
		EnsureComputeOp_build_pass	)

This test ensures llzkVerifEnsureComputeOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of EnsureComputeOpBuildFuncHelper::callBuild() that calls llzkVerifEnsureComputeOpBuild().

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

TEST_F() [3/59]

TEST_F	(	CAPITest	,
		EnsureConstrainOp_build_pass	)

This test ensures llzkVerifEnsureConstrainOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of EnsureConstrainOpBuildFuncHelper::callBuild() that calls llzkVerifEnsureConstrainOpBuild().

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

TEST_F() [4/59]

TEST_F	(	CAPITest	,
		RequireComputeOp_build_pass	)

This test ensures llzkVerifRequireComputeOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of RequireComputeOpBuildFuncHelper::callBuild() that calls llzkVerifRequireComputeOpBuild().

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

TEST_F() [5/59]

TEST_F	(	CAPITest	,
		RequireConstrainOp_build_pass	)

This test ensures llzkVerifRequireConstrainOpBuild() successfully builds an Operation of the correct type that passes verification.

It relies on a manual implemenation of RequireConstrainOpBuildFuncHelper::callBuild() that calls llzkVerifRequireConstrainOpBuild().

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

TEST_F() [6/59]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_ContractEndOp	)

This test ensures llzkOperationIsA_Verif_ContractEndOp links properly.

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

TEST_F() [7/59]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_ContractOp	)

This test ensures llzkOperationIsA_Verif_ContractOp links properly.

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

TEST_F() [8/59]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_EnsureComputeOp	)

This test ensures llzkOperationIsA_Verif_EnsureComputeOp links properly.

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

TEST_F() [9/59]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_EnsureConstrainOp	)

This test ensures llzkOperationIsA_Verif_EnsureConstrainOp links properly.

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

TEST_F() [10/59]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_IncludeOp	)

This test ensures llzkOperationIsA_Verif_IncludeOp links properly.

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

TEST_F() [11/59]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_RequireComputeOp	)

This test ensures llzkOperationIsA_Verif_RequireComputeOp links properly.

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

TEST_F() [12/59]

TEST_F	(	VerifOperationLinkTests	,
		IsA_Verif_RequireConstrainOp	)

This test ensures llzkOperationIsA_Verif_RequireConstrainOp links properly.

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

TEST_F() [13/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractEndOp_Build	)

This test ensures llzkVerif_ContractEndOpBuild links properly.

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

TEST_F() [14/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetArgAttrsAttr	)

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

TEST_F() [15/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetBodyRegion	)

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

TEST_F() [16/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetCallableRegion	)

This test ensures llzkVerif_ContractOpGetCallableRegion links properly.

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

TEST_F() [17/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetFullyQualifiedName	)

This test ensures llzkVerif_ContractOpGetFullyQualifiedName links properly.

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

TEST_F() [18/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetFunctionTypeAttr	)

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

TEST_F() [19/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetSymNameAttr	)

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

TEST_F() [20/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_GetTargetAttr	)

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

TEST_F() [21/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasArgName	)

This test ensures llzkVerif_ContractOpHasArgName links properly.

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

TEST_F() [22/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasArgPublicAttr	)

This test ensures llzkVerif_ContractOpHasArgPublicAttr links properly.

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

TEST_F() [23/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasFuncTarget	)

This test ensures llzkVerif_ContractOpHasFuncTarget links properly.

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

TEST_F() [24/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_HasStructTarget	)

This test ensures llzkVerif_ContractOpHasStructTarget links properly.

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

TEST_F() [25/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_IsDeclaration	)

This test ensures llzkVerif_ContractOpIsDeclaration links properly.

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

TEST_F() [26/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetArgAttrsAttr	)

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

TEST_F() [27/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetFunctionTypeAttr	)

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

TEST_F() [28/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetSymNameAttr	)

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

TEST_F() [29/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_ContractOp_SetTargetAttr	)

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

TEST_F() [30/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_Build	)

This test ensures llzkVerif_EnsureComputeOpBuild links properly.

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

TEST_F() [31/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_GetCondition	)

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

TEST_F() [32/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureComputeOp_SetCondition	)

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

TEST_F() [33/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_Build	)

This test ensures llzkVerif_EnsureConstrainOpBuild links properly.

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

TEST_F() [34/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_GetCondition	)

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

TEST_F() [35/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_EnsureConstrainOp_SetCondition	)

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

TEST_F() [36/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_ContractTargetsStruct	)

This test ensures llzkVerif_IncludeOpContractTargetsStruct links properly.

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

TEST_F() [37/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgOperandsAt	)

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

TEST_F() [38/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetArgOperandsCount	)

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

TEST_F() [39/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetCalleeAttr	)

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

TEST_F() [40/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOperandsAt	)

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

TEST_F() [41/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOperandsCount	)

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

TEST_F() [42/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetMapOpGroupSizesAttr	)

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

TEST_F() [43/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetNumDimsPerMapAttr	)

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

TEST_F() [44/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetSelfValue	)

This test ensures llzkVerif_IncludeOpGetSelfValue links properly.

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

TEST_F() [45/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetTemplateParamsAttr	)

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

TEST_F() [46/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_GetTypeSignature	)

This test ensures llzkVerif_IncludeOpGetTypeSignature links properly.

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

TEST_F() [47/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_ResolveCallable	)

This test ensures llzkVerif_IncludeOpResolveCallable links properly.

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

TEST_F() [48/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetArgOperands_Variadic	)

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

TEST_F() [49/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetCalleeAttr	)

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

TEST_F() [50/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetMapOperands_VariadicOfVariadic	)

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

TEST_F() [51/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetMapOpGroupSizesAttr	)

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

TEST_F() [52/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetNumDimsPerMapAttr	)

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

TEST_F() [53/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_IncludeOp_SetTemplateParamsAttr	)

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

TEST_F() [54/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_Build	)

This test ensures llzkVerif_RequireComputeOpBuild links properly.

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

TEST_F() [55/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_GetCondition	)

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

TEST_F() [56/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireComputeOp_SetCondition	)

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

TEST_F() [57/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_Build	)

This test ensures llzkVerif_RequireConstrainOpBuild links properly.

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

TEST_F() [58/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_GetCondition	)

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

TEST_F() [59/59]

TEST_F	(	VerifOperationLinkTests	,
		llzk_RequireConstrainOp_SetCondition	)

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