Ops.capi.test.cpp.inc File Reference

Go to the source code of this file.

Classes
class	FunctionOperationLinkTests
struct	FuncDefOpBuildFuncHelper
struct	ReturnOpBuildFuncHelper

Functions
	TEST_F (FunctionOperationLinkTests, IsA_Function_CallOp)
	This test ensures llzkOperationIsA_Function_CallOp links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetArgOperandsCount)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetArgOperandsAt)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_SetArgOperands_Variadic)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetMapOperandsCount)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetMapOperandsAt)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_SetMapOperands_VariadicOfVariadic)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetCalleeAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_SetCalleeAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetTemplateParamsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_SetTemplateParamsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetNumDimsPerMapAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_SetNumDimsPerMapAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetMapOpGroupSizesAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_SetMapOpGroupSizesAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetArgAttrsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_SetArgAttrsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetResAttrsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_SetResAttrsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetResult0Count)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetResult0At)
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_CalleeContainsWitnessGen)
	This test ensures llzkFunction_CallOpCalleeContainsWitnessGen links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_CalleeIsStructCompute)
	This test ensures llzkFunction_CallOpCalleeIsStructCompute links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetSingleResultTypeOfCompute)
	This test ensures llzkFunction_CallOpGetSingleResultTypeOfCompute links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_CalleeIsStructConstrain)
	This test ensures llzkFunction_CallOpCalleeIsStructConstrain links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetSelfValueFromConstrain)
	This test ensures llzkFunction_CallOpGetSelfValueFromConstrain links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_CalleeIsCompute)
	This test ensures llzkFunction_CallOpCalleeIsCompute links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_CalleeIsConstrain)
	This test ensures llzkFunction_CallOpCalleeIsConstrain links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_CalleeIsProduct)
	This test ensures llzkFunction_CallOpCalleeIsProduct links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_CalleeIsStructProduct)
	This test ensures llzkFunction_CallOpCalleeIsStructProduct links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_CalleeIsInStruct)
	This test ensures llzkFunction_CallOpCalleeIsInStruct links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetSelfValueFromProduct)
	This test ensures llzkFunction_CallOpGetSelfValueFromProduct links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetSelfValueFromCompute)
	This test ensures llzkFunction_CallOpGetSelfValueFromCompute links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetSingleResultTypeOfWitnessGen)
	This test ensures llzkFunction_CallOpGetSingleResultTypeOfWitnessGen links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_ResolveCallable)
	This test ensures llzkFunction_CallOpResolveCallable links properly.
	TEST_F (FunctionOperationLinkTests, llzk_CallOp_GetSelfValue)
	This test ensures llzkFunction_CallOpGetSelfValue links properly.
	TEST_F (FunctionOperationLinkTests, IsA_Function_FuncDefOp)
	This test ensures llzkOperationIsA_Function_FuncDefOp links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_Build)
	This test ensures llzkFunction_FuncDefOpBuild links properly.
	TEST_F (CAPITest, Function_FuncDefOp_build_pass)
	This test ensures llzkFunctionFuncDefOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetSymNameAttr)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_SetSymNameAttr)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetFunctionTypeAttr)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_SetFunctionTypeAttr)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetArgAttrsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_SetArgAttrsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetResAttrsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_SetResAttrsAttr)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetBodyRegion)
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_SetAllowNonNativeFieldOpsAttr)
	This test ensures llzkFunction_FuncDefOpSetAllowNonNativeFieldOpsAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_IsStructProduct)
	This test ensures llzkFunction_FuncDefOpIsStructProduct links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_HasAllowNonNativeFieldOpsAttr)
	This test ensures llzkFunction_FuncDefOpHasAllowNonNativeFieldOpsAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_HasArgPublicAttr)
	This test ensures llzkFunction_FuncDefOpHasArgPublicAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_NameIsProduct)
	This test ensures llzkFunction_FuncDefOpNameIsProduct links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_HasAllowWitnessAttr)
	This test ensures llzkFunction_FuncDefOpHasAllowWitnessAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_HasAllowVerifOpsAttr)
	This test ensures llzkFunction_FuncDefOpHasAllowVerifOpsAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_HasResName)
	This test ensures llzkFunction_FuncDefOpHasResName links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_IsStructConstrain)
	This test ensures llzkFunction_FuncDefOpIsStructConstrain links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_NameIsCompute)
	This test ensures llzkFunction_FuncDefOpNameIsCompute links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_IsDeclaration)
	This test ensures llzkFunction_FuncDefOpIsDeclaration links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetSingleResultTypeOfCompute)
	This test ensures llzkFunction_FuncDefOpGetSingleResultTypeOfCompute links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetSelfValueFromConstrain)
	This test ensures llzkFunction_FuncDefOpGetSelfValueFromConstrain links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_SetAllowVerifOpsAttr)
	This test ensures llzkFunction_FuncDefOpSetAllowVerifOpsAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_NameIsConstrain)
	This test ensures llzkFunction_FuncDefOpNameIsConstrain links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_SetAllowConstraintAttr)
	This test ensures llzkFunction_FuncDefOpSetAllowConstraintAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetCallableRegion)
	This test ensures llzkFunction_FuncDefOpGetCallableRegion links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_HasAllowConstraintAttr)
	This test ensures llzkFunction_FuncDefOpHasAllowConstraintAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_IsInStruct)
	This test ensures llzkFunction_FuncDefOpIsInStruct links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_IsStructCompute)
	This test ensures llzkFunction_FuncDefOpIsStructCompute links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_SetAllowWitnessAttr)
	This test ensures llzkFunction_FuncDefOpSetAllowWitnessAttr links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetSelfValueFromCompute)
	This test ensures llzkFunction_FuncDefOpGetSelfValueFromCompute links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetSelfValueFromProduct)
	This test ensures llzkFunction_FuncDefOpGetSelfValueFromProduct links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_HasArgName)
	This test ensures llzkFunction_FuncDefOpHasArgName links properly.
	TEST_F (FunctionOperationLinkTests, llzk_FuncDefOp_GetFullyQualifiedName)
	This test ensures llzkFunction_FuncDefOpGetFullyQualifiedName links properly.
	TEST_F (FunctionOperationLinkTests, IsA_Function_ReturnOp)
	This test ensures llzkOperationIsA_Function_ReturnOp links properly.
	TEST_F (FunctionOperationLinkTests, llzk_ReturnOp_Build)
	This test ensures llzkFunction_ReturnOpBuild links properly.
	TEST_F (CAPITest, Function_ReturnOp_build_pass)
	This test ensures llzkFunctionReturnOpBuild() successfully builds an Operation of the correct type that passes verification.
	TEST_F (FunctionOperationLinkTests, llzk_ReturnOp_GetOperandsCount)
	TEST_F (FunctionOperationLinkTests, llzk_ReturnOp_GetOperandsAt)
	TEST_F (FunctionOperationLinkTests, llzk_ReturnOp_SetOperands_Variadic)

Function Documentation

TEST_F() [1/79]

TEST_F	(	CAPITest	,
		Function_FuncDefOp_build_pass	)

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

It relies on a manual implemenation of FuncDefOpBuildFuncHelper::callBuild() that calls llzkFunctionFuncDefOpBuild().

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

TEST_F() [2/79]

TEST_F	(	CAPITest	,
		Function_ReturnOp_build_pass	)

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

It relies on a manual implemenation of ReturnOpBuildFuncHelper::callBuild() that calls llzkFunctionReturnOpBuild().

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

TEST_F() [3/79]

TEST_F	(	FunctionOperationLinkTests	,
		IsA_Function_CallOp	)

This test ensures llzkOperationIsA_Function_CallOp links properly.

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

TEST_F() [4/79]

TEST_F	(	FunctionOperationLinkTests	,
		IsA_Function_FuncDefOp	)

This test ensures llzkOperationIsA_Function_FuncDefOp links properly.

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

TEST_F() [5/79]

TEST_F	(	FunctionOperationLinkTests	,
		IsA_Function_ReturnOp	)

This test ensures llzkOperationIsA_Function_ReturnOp links properly.

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

TEST_F() [6/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_CalleeContainsWitnessGen	)

This test ensures llzkFunction_CallOpCalleeContainsWitnessGen links properly.

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

TEST_F() [7/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_CalleeIsCompute	)

This test ensures llzkFunction_CallOpCalleeIsCompute links properly.

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

TEST_F() [8/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_CalleeIsConstrain	)

This test ensures llzkFunction_CallOpCalleeIsConstrain links properly.

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

TEST_F() [9/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_CalleeIsInStruct	)

This test ensures llzkFunction_CallOpCalleeIsInStruct links properly.

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

TEST_F() [10/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_CalleeIsProduct	)

This test ensures llzkFunction_CallOpCalleeIsProduct links properly.

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

TEST_F() [11/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_CalleeIsStructCompute	)

This test ensures llzkFunction_CallOpCalleeIsStructCompute links properly.

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

TEST_F() [12/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_CalleeIsStructConstrain	)

This test ensures llzkFunction_CallOpCalleeIsStructConstrain links properly.

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

TEST_F() [13/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_CalleeIsStructProduct	)

This test ensures llzkFunction_CallOpCalleeIsStructProduct links properly.

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

TEST_F() [14/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetArgAttrsAttr	)

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

TEST_F() [15/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetArgOperandsAt	)

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

TEST_F() [16/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetArgOperandsCount	)

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

TEST_F() [17/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetCalleeAttr	)

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

TEST_F() [18/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetMapOperandsAt	)

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

TEST_F() [19/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetMapOperandsCount	)

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

TEST_F() [20/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetMapOpGroupSizesAttr	)

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

TEST_F() [21/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetNumDimsPerMapAttr	)

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

TEST_F() [22/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetResAttrsAttr	)

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

TEST_F() [23/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetResult0At	)

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

TEST_F() [24/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetResult0Count	)

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

TEST_F() [25/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetSelfValue	)

This test ensures llzkFunction_CallOpGetSelfValue links properly.

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

TEST_F() [26/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetSelfValueFromCompute	)

This test ensures llzkFunction_CallOpGetSelfValueFromCompute links properly.

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

TEST_F() [27/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetSelfValueFromConstrain	)

This test ensures llzkFunction_CallOpGetSelfValueFromConstrain links properly.

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

TEST_F() [28/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetSelfValueFromProduct	)

This test ensures llzkFunction_CallOpGetSelfValueFromProduct links properly.

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

TEST_F() [29/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetSingleResultTypeOfCompute	)

This test ensures llzkFunction_CallOpGetSingleResultTypeOfCompute links properly.

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

TEST_F() [30/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetSingleResultTypeOfWitnessGen	)

This test ensures llzkFunction_CallOpGetSingleResultTypeOfWitnessGen links properly.

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

TEST_F() [31/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_GetTemplateParamsAttr	)

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

TEST_F() [32/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_ResolveCallable	)

This test ensures llzkFunction_CallOpResolveCallable links properly.

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

TEST_F() [33/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_SetArgAttrsAttr	)

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

TEST_F() [34/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_SetArgOperands_Variadic	)

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

TEST_F() [35/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_SetCalleeAttr	)

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

TEST_F() [36/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_SetMapOperands_VariadicOfVariadic	)

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

TEST_F() [37/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_SetMapOpGroupSizesAttr	)

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

TEST_F() [38/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_SetNumDimsPerMapAttr	)

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

TEST_F() [39/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_SetResAttrsAttr	)

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

TEST_F() [40/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_CallOp_SetTemplateParamsAttr	)

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

TEST_F() [41/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_Build	)

This test ensures llzkFunction_FuncDefOpBuild links properly.

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

TEST_F() [42/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetArgAttrsAttr	)

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

TEST_F() [43/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetBodyRegion	)

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

TEST_F() [44/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetCallableRegion	)

This test ensures llzkFunction_FuncDefOpGetCallableRegion links properly.

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

TEST_F() [45/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetFullyQualifiedName	)

This test ensures llzkFunction_FuncDefOpGetFullyQualifiedName links properly.

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

TEST_F() [46/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetFunctionTypeAttr	)

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

TEST_F() [47/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetResAttrsAttr	)

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

TEST_F() [48/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetSelfValueFromCompute	)

This test ensures llzkFunction_FuncDefOpGetSelfValueFromCompute links properly.

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

TEST_F() [49/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetSelfValueFromConstrain	)

This test ensures llzkFunction_FuncDefOpGetSelfValueFromConstrain links properly.

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

TEST_F() [50/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetSelfValueFromProduct	)

This test ensures llzkFunction_FuncDefOpGetSelfValueFromProduct links properly.

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

TEST_F() [51/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetSingleResultTypeOfCompute	)

This test ensures llzkFunction_FuncDefOpGetSingleResultTypeOfCompute links properly.

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

TEST_F() [52/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_GetSymNameAttr	)

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

TEST_F() [53/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_HasAllowConstraintAttr	)

This test ensures llzkFunction_FuncDefOpHasAllowConstraintAttr links properly.

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

TEST_F() [54/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_HasAllowNonNativeFieldOpsAttr	)

This test ensures llzkFunction_FuncDefOpHasAllowNonNativeFieldOpsAttr links properly.

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

TEST_F() [55/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_HasAllowVerifOpsAttr	)

This test ensures llzkFunction_FuncDefOpHasAllowVerifOpsAttr links properly.

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

TEST_F() [56/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_HasAllowWitnessAttr	)

This test ensures llzkFunction_FuncDefOpHasAllowWitnessAttr links properly.

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

TEST_F() [57/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_HasArgName	)

This test ensures llzkFunction_FuncDefOpHasArgName links properly.

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

TEST_F() [58/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_HasArgPublicAttr	)

This test ensures llzkFunction_FuncDefOpHasArgPublicAttr links properly.

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

TEST_F() [59/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_HasResName	)

This test ensures llzkFunction_FuncDefOpHasResName links properly.

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

TEST_F() [60/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_IsDeclaration	)

This test ensures llzkFunction_FuncDefOpIsDeclaration links properly.

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

TEST_F() [61/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_IsInStruct	)

This test ensures llzkFunction_FuncDefOpIsInStruct links properly.

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

TEST_F() [62/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_IsStructCompute	)

This test ensures llzkFunction_FuncDefOpIsStructCompute links properly.

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

TEST_F() [63/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_IsStructConstrain	)

This test ensures llzkFunction_FuncDefOpIsStructConstrain links properly.

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

TEST_F() [64/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_IsStructProduct	)

This test ensures llzkFunction_FuncDefOpIsStructProduct links properly.

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

TEST_F() [65/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_NameIsCompute	)

This test ensures llzkFunction_FuncDefOpNameIsCompute links properly.

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

TEST_F() [66/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_NameIsConstrain	)

This test ensures llzkFunction_FuncDefOpNameIsConstrain links properly.

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

TEST_F() [67/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_NameIsProduct	)

This test ensures llzkFunction_FuncDefOpNameIsProduct links properly.

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

TEST_F() [68/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_SetAllowConstraintAttr	)

This test ensures llzkFunction_FuncDefOpSetAllowConstraintAttr links properly.

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

TEST_F() [69/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_SetAllowNonNativeFieldOpsAttr	)

This test ensures llzkFunction_FuncDefOpSetAllowNonNativeFieldOpsAttr links properly.

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

TEST_F() [70/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_SetAllowVerifOpsAttr	)

This test ensures llzkFunction_FuncDefOpSetAllowVerifOpsAttr links properly.

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

TEST_F() [71/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_SetAllowWitnessAttr	)

This test ensures llzkFunction_FuncDefOpSetAllowWitnessAttr links properly.

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

TEST_F() [72/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_SetArgAttrsAttr	)

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

TEST_F() [73/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_SetFunctionTypeAttr	)

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

TEST_F() [74/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_SetResAttrsAttr	)

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

TEST_F() [75/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_FuncDefOp_SetSymNameAttr	)

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

TEST_F() [76/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_ReturnOp_Build	)

This test ensures llzkFunction_ReturnOpBuild links properly.

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

TEST_F() [77/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_ReturnOp_GetOperandsAt	)

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

TEST_F() [78/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_ReturnOp_GetOperandsCount	)

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

TEST_F() [79/79]

TEST_F	(	FunctionOperationLinkTests	,
		llzk_ReturnOp_SetOperands_Variadic	)

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