	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function check_named_curve_from_ecparameters
_check_named_curve_from_ecparameters:   ## @check_named_curve_from_ecparameters
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$216, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	xorps	%xmm0, %xmm0
	movaps	%xmm0, -64(%rbp)
	movaps	%xmm0, -80(%rbp)
	movaps	%xmm0, -96(%rbp)
	movaps	%xmm0, -112(%rbp)
	movaps	%xmm0, -128(%rbp)
	movaps	%xmm0, -144(%rbp)
	movaps	%xmm0, -160(%rbp)
	movaps	%xmm0, -176(%rbp)
	movq	_curves@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movslq	%edi, %rcx
	movl	(%rax,%rcx,4), %r12d
	movl	%r12d, %edi
	callq	_OBJ_nid2sn
	leaq	L_.str(%rip), %rdi
	movl	%eax, %esi
	callq	_TEST_note
	xorl	%ebx, %ebx
	xorl	%eax, %eax
	callq	_BN_CTX_new
	movq	%rax, %r13
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_83
## %bb.1:
	movq	%r13, %rdi
	callq	_BN_CTX_start
	movq	%r13, %rdi
	callq	_BN_CTX_get
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_2
## %bb.3:
	movq	%r13, %rdi
	callq	_BN_CTX_get
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_2
## %bb.4:
	movq	%r13, %rdi
	callq	_BN_CTX_get
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_2
## %bb.5:
	movq	%r13, %rdi
	callq	_BN_CTX_get
	movq	%rax, -256(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_2
## %bb.6:
	movq	%r13, %rdi
	callq	_BN_CTX_get
	movq	%rax, -248(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_2
## %bb.7:
	movl	%r12d, %edi
	callq	_EC_GROUP_new_by_curve_name
	movq	%rax, -184(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_8
## %bb.9:
	movq	-184(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	callq	_EC_GROUP_get_ecparameters
	movq	%rax, -224(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_10
## %bb.11:
	movq	-184(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_get0_generator
	movq	%rax, -232(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_10
## %bb.12:
	movq	-184(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_get0_order
	movq	%rax, -240(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_10
## %bb.13:
	movq	-184(%rbp), %rdi                ## 8-byte Reload
	movq	%rbx, %rsi
	xorl	%edx, %edx
	callq	_EC_GROUP_get_cofactor
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_10
## %bb.14:
	movq	-184(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_dup
	movq	%rax, -208(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_15
## %bb.17:
	movq	-232(%rbp), %rdi                ## 8-byte Reload
	movq	-184(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_POINT_dup
	movq	%rax, -192(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_18
## %bb.19:
	movq	-184(%rbp), %rdi                ## 8-byte Reload
	movq	-192(%rbp), %rsi                ## 8-byte Reload
	movq	-232(%rbp), %rcx                ## 8-byte Reload
	movq	%rcx, %rdx
	xorl	%r8d, %r8d
	callq	_EC_POINT_add
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_18
## %bb.20:
	movq	-184(%rbp), %rdi                ## 8-byte Reload
	movq	-192(%rbp), %rsi                ## 8-byte Reload
	movq	%r15, %rdx
	movq	%r14, %rcx
	movq	%r13, %r8
	callq	_EC_POINT_get_affine_coordinates
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_18
## %bb.21:
	movq	-256(%rbp), %rdi                ## 8-byte Reload
	movq	-240(%rbp), %rsi                ## 8-byte Reload
	callq	_BN_copy
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_18
## %bb.22:
	movq	-256(%rbp), %rdi                ## 8-byte Reload
	movl	$1, %esi
	callq	_BN_add_word
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_18
## %bb.23:
	movq	-248(%rbp), %rdi                ## 8-byte Reload
	movq	%rbx, %rsi
	callq	_BN_copy
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_18
## %bb.24:
	movq	-248(%rbp), %rdi                ## 8-byte Reload
	movl	$1, %esi
	callq	_BN_add_word
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_18
## %bb.25:
	movq	-192(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_POINT_free
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_POINT_new
	movq	%rax, -192(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_18
## %bb.26:
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	movq	-192(%rbp), %rsi                ## 8-byte Reload
	movq	%r15, %rdx
	movq	%r14, %rcx
	movq	%r13, %r8
	callq	_EC_POINT_set_affine_coordinates
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_18
## %bb.27:
	movq	-224(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_new_from_ecparameters
	movq	%rax, %r14
	movq	%rax, -112(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_18
## %bb.28:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_curve_name
	movq	_NID_undef@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %r15d
	movl	%eax, %edi
	callq	_TEST_int_ne
	testl	%eax, %eax
	je	LBB0_18
## %bb.29:
	movl	%r12d, %edi
	movl	%r15d, %esi
	callq	_are_ec_nids_compatible
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_30
## %bb.31:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_asn1_flag
	movq	_OPENSSL_EC_EXPLICIT_CURVE@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_18
## %bb.32:
	leaq	_check_named_curve_from_ecparameters.invalid_seed(%rip), %rsi
	movl	$25, %edx
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_set_seed
	movl	%eax, %edi
	movl	$25, %esi
	callq	_TEST_int_eq
	xorl	%ecx, %ecx
	movq	%rcx, -200(%rbp)                ## 8-byte Spill
	testl	%eax, %eax
	je	LBB0_33
## %bb.34:
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	callq	_EC_GROUP_get_ecparameters
	movq	%rax, -176(%rbp)
	movq	%rax, -216(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_39
## %bb.35:
	movq	-216(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_new_from_ecparameters
	movq	%rax, %r14
	movq	%rax, -104(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_39
## %bb.36:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_curve_name
	movq	_NID_undef@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %r15d
	movl	%eax, %edi
	callq	_TEST_int_ne
	testl	%eax, %eax
	je	LBB0_39
## %bb.37:
	movl	%r12d, %edi
	movl	%r15d, %esi
	callq	_are_ec_nids_compatible
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_39
## %bb.38:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_asn1_flag
	movq	_OPENSSL_EC_EXPLICIT_CURVE@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_39
## %bb.40:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_set_seed
	movl	%eax, %edi
	movl	$1, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_39
## %bb.41:
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	callq	_EC_GROUP_get_ecparameters
	movq	%rax, %r14
	movq	%rax, -168(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_39
## %bb.42:
	movq	%r14, %rdi
	callq	_EC_GROUP_new_from_ecparameters
	movq	%rax, %r14
	movq	%rax, -96(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_39
## %bb.43:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_curve_name
	movq	_NID_undef@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %r15d
	movl	%eax, %edi
	callq	_TEST_int_ne
	testl	%eax, %eax
	je	LBB0_39
## %bb.44:
	movl	%r12d, %edi
	movl	%r15d, %esi
	callq	_are_ec_nids_compatible
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_39
## %bb.45:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_asn1_flag
	movq	_OPENSSL_EC_EXPLICIT_CURVE@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_39
## %bb.46:
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	movq	-192(%rbp), %rsi                ## 8-byte Reload
	movq	-240(%rbp), %rdx                ## 8-byte Reload
	movq	%rbx, %rcx
	callq	_EC_GROUP_set_generator
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_47
## %bb.48:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	callq	_EC_GROUP_get_ecparameters
	movq	%rax, %r14
	movq	%rax, -160(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.49:
	movq	%r14, %rdi
	callq	_EC_GROUP_new_from_ecparameters
	movq	%rax, %r14
	movq	%rax, -88(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.50:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_curve_name
	movq	_NID_undef@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_74
## %bb.51:
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	movq	-232(%rbp), %rsi                ## 8-byte Reload
	movq	-256(%rbp), %rdx                ## 8-byte Reload
	movq	%rbx, %rcx
	callq	_EC_GROUP_set_generator
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_74
## %bb.52:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	callq	_EC_GROUP_get_ecparameters
	movq	%rax, %r14
	movq	%rax, -152(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.53:
	movq	%r14, %rdi
	callq	_EC_GROUP_new_from_ecparameters
	movq	%rax, %r14
	movq	%rax, -80(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.54:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_curve_name
	movq	_NID_undef@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_74
## %bb.55:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	movq	-232(%rbp), %rsi                ## 8-byte Reload
	xorl	%edx, %edx
	movq	%rbx, %rcx
	callq	_EC_GROUP_set_generator
	movl	%eax, %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_74
## %bb.56:
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	movq	-232(%rbp), %rsi                ## 8-byte Reload
	movq	-240(%rbp), %rdx                ## 8-byte Reload
	movq	-248(%rbp), %rcx                ## 8-byte Reload
	callq	_EC_GROUP_set_generator
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_74
## %bb.57:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	callq	_EC_GROUP_get_ecparameters
	movq	%rax, %r14
	movq	%rax, -144(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.58:
	movq	%r14, %rdi
	callq	_EC_GROUP_new_from_ecparameters
	movq	%rax, %r14
	movq	%rax, -72(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.59:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_curve_name
	movl	%eax, %r15d
	movq	_NID_undef@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%r15d, %edi
	callq	_TEST_int_ne
	testl	%eax, %eax
	je	LBB0_74
## %bb.60:
	movl	%r12d, %edi
	movl	%r15d, %esi
	callq	_are_ec_nids_compatible
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_74
## %bb.61:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_asn1_flag
	movq	_OPENSSL_EC_EXPLICIT_CURVE@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_74
## %bb.62:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	movq	-232(%rbp), %rsi                ## 8-byte Reload
	movq	-240(%rbp), %rdx                ## 8-byte Reload
	xorl	%ecx, %ecx
	callq	_EC_GROUP_set_generator
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_74
## %bb.63:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	callq	_EC_GROUP_get_ecparameters
	movq	%rax, %r14
	movq	%rax, -136(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.64:
	movq	%r14, %rdi
	callq	_EC_GROUP_new_from_ecparameters
	movq	%rax, %r14
	movq	%rax, -64(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.65:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_curve_name
	movl	%eax, %r15d
	movq	_NID_undef@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%r15d, %edi
	callq	_TEST_int_ne
	testl	%eax, %eax
	je	LBB0_74
## %bb.66:
	movl	%r12d, %edi
	movl	%r15d, %esi
	callq	_are_ec_nids_compatible
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_74
## %bb.67:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_asn1_flag
	movq	_OPENSSL_EC_EXPLICIT_CURVE@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_74
## %bb.68:
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	movq	-232(%rbp), %rsi                ## 8-byte Reload
	movq	-240(%rbp), %rdx                ## 8-byte Reload
	movq	%rbx, %rcx
	callq	_EC_GROUP_set_generator
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_74
## %bb.69:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	callq	_EC_GROUP_get_ecparameters
	movq	%rax, %rbx
	movq	%rax, -128(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.70:
	movq	%rbx, %rdi
	callq	_EC_GROUP_new_from_ecparameters
	movq	%rax, %r14
	movq	%rax, -56(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_74
## %bb.71:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_curve_name
	movl	%eax, %ebx
	movq	_NID_undef@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movl	%ebx, %edi
	callq	_TEST_int_ne
	testl	%eax, %eax
	je	LBB0_74
## %bb.72:
	movl	%r12d, %edi
	movl	%ebx, %esi
	callq	_are_ec_nids_compatible
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_74
## %bb.73:
	movq	%r14, %rdi
	callq	_EC_GROUP_get_asn1_flag
	movq	_OPENSSL_EC_EXPLICIT_CURVE@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	xorl	%ecx, %ecx
	testl	%eax, %eax
	setne	%cl
	movq	%rcx, -200(%rbp)                ## 8-byte Spill
	jmp	LBB0_74
LBB0_2:
	xorl	%eax, %eax
	movq	%rax, -216(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	xorl	%r12d, %r12d
	xorl	%eax, %eax
	movq	%rax, -208(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
	xorl	%eax, %eax
	movq	%rax, -224(%rbp)                ## 8-byte Spill
LBB0_75:
	leaq	-112(%rbp), %r14
	movq	%r14, %rdi
	callq	_OSSL_NELEM
	testl	%eax, %eax
	jle	LBB0_78
## %bb.76:
	movq	%r14, %rbx
	.p2align	4, 0x90
LBB0_77:                                ## =>This Inner Loop Header: Depth=1
	movq	(%rbx), %rdi
	callq	_EC_GROUP_free
	addq	$8, %rbx
	movq	%r14, %rdi
	callq	_OSSL_NELEM
	cltq
	leaq	-112(,%rax,8), %rax
	addq	%rbp, %rax
	cmpq	%rax, %rbx
	jb	LBB0_77
LBB0_78:
	leaq	-112(%rbp), %rdi
	callq	_OSSL_NELEM
	testl	%eax, %eax
	jle	LBB0_82
## %bb.79:
	movq	-216(%rbp), %rdi                ## 8-byte Reload
	callq	_ECPARAMETERS_free
	leaq	-112(%rbp), %rdi
	callq	_OSSL_NELEM
	cmpl	$2, %eax
	jl	LBB0_82
## %bb.80:
	leaq	-168(%rbp), %rbx
	leaq	-112(%rbp), %r14
	.p2align	4, 0x90
LBB0_81:                                ## =>This Inner Loop Header: Depth=1
	movq	(%rbx), %rdi
	callq	_ECPARAMETERS_free
	addq	$8, %rbx
	movq	%r14, %rdi
	callq	_OSSL_NELEM
	cltq
	leaq	-176(,%rax,8), %rax
	addq	%rbp, %rax
	cmpq	%rax, %rbx
	jb	LBB0_81
LBB0_82:
	movq	-224(%rbp), %rdi                ## 8-byte Reload
	callq	_ECPARAMETERS_free
	movq	%r15, %rdi
	callq	_EC_POINT_free
	movq	-208(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_free
	movq	%r12, %rdi
	callq	_EC_GROUP_free
	movq	%r13, %rdi
	callq	_BN_CTX_end
	movq	%r13, %rdi
	callq	_BN_CTX_free
	movq	-200(%rbp), %rbx                ## 8-byte Reload
LBB0_83:
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_85
## %bb.84:
	movl	%ebx, %eax
	addq	$216, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_10:
	xorl	%eax, %eax
	movq	%rax, -216(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -208(%rbp)                ## 8-byte Spill
LBB0_16:
	xorl	%r15d, %r15d
	movq	-184(%rbp), %r12                ## 8-byte Reload
	jmp	LBB0_75
LBB0_8:
	xorl	%eax, %eax
	movq	%rax, -216(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -208(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
	xorl	%eax, %eax
	movq	%rax, -224(%rbp)                ## 8-byte Spill
	movq	-184(%rbp), %r12                ## 8-byte Reload
	jmp	LBB0_75
LBB0_15:
	xorl	%eax, %eax
	movq	%rax, -216(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
	jmp	LBB0_16
LBB0_30:
	movl	%r12d, %edi
	callq	_OBJ_nid2sn
	movl	%eax, %ebx
	movl	%r15d, %edi
	callq	_OBJ_nid2sn
	leaq	L_.str.1(%rip), %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_TEST_info
LBB0_18:
	xorl	%eax, %eax
	movq	%rax, -216(%rbp)                ## 8-byte Spill
LBB0_47:
	xorl	%eax, %eax
	movq	%rax, -200(%rbp)                ## 8-byte Spill
LBB0_74:
	movq	-184(%rbp), %r12                ## 8-byte Reload
	movq	-192(%rbp), %r15                ## 8-byte Reload
	jmp	LBB0_75
LBB0_33:
	xorl	%eax, %eax
	movq	%rax, -216(%rbp)                ## 8-byte Spill
LBB0_39:
	movl	%r12d, %edi
	callq	_OBJ_nid2sn
	movl	%eax, %ebx
	movl	%r15d, %edi
	callq	_OBJ_nid2sn
	leaq	L_.str.1(%rip), %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_TEST_info
	jmp	LBB0_74
LBB0_85:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__const
	.p2align	4                               ## @check_named_curve_from_ecparameters.invalid_seed
_check_named_curve_from_ecparameters.invalid_seed:
	.asciz	"THIS IS NOT A VALID SEED"

	.comm	_curves,8,3                     ## @curves
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Curve %s"

	.comm	_NID_undef,4,2                  ## @NID_undef
L_.str.1:                               ## @.str.1
	.asciz	"nid = %s, tnid = %s"

	.comm	_OPENSSL_EC_EXPLICIT_CURVE,4,2  ## @OPENSSL_EC_EXPLICIT_CURVE
	.no_dead_strip	_check_named_curve_from_ecparameters
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function check_named_curve_from_ecparameters
_check_named_curve_from_ecparameters:   ; @check_named_curve_from_ecparameters
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #288
	.cfi_def_cfa_offset 288
	stp	x28, x27, [sp, #192]            ; 16-byte Folded Spill
	stp	x26, x25, [sp, #208]            ; 16-byte Folded Spill
	stp	x24, x23, [sp, #224]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #240]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #256]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #272]            ; 16-byte Folded Spill
	add	x29, sp, #272
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-96]
	movi.2d	v0, #0000000000000000
	stp	q0, q0, [sp, #144]
	stp	q0, q0, [sp, #112]
	stp	q0, q0, [sp, #80]
	stp	q0, q0, [sp, #48]
Lloh3:
	adrp	x8, _curves@GOTPAGE
Lloh4:
	ldr	x8, [x8, _curves@GOTPAGEOFF]
Lloh5:
	ldr	x8, [x8]
	ldr	w24, [x8, w0, sxtw #2]
	mov	x0, x24
	bl	_OBJ_nid2sn
	mov	x1, x0
Lloh6:
	adrp	x0, l_.str@PAGE
Lloh7:
	add	x0, x0, l_.str@PAGEOFF
	bl	_TEST_note
	bl	_BN_CTX_new
	mov	x19, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_74
; %bb.1:
	mov	x0, x19
	bl	_BN_CTX_start
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x26, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_64
; %bb.2:
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x25, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_64
; %bb.3:
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x28, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_64
; %bb.4:
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x27, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_64
; %bb.5:
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x21, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_64
; %bb.6:
	mov	x0, x24
	bl	_EC_GROUP_new_by_curve_name
	mov	x20, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_80
; %bb.7:
	mov	x0, x20
	mov	x1, #0
	bl	_EC_GROUP_get_ecparameters
	str	x0, [sp, #40]                   ; 8-byte Folded Spill
	bl	_TEST_ptr
	cbz	w0, LBB0_77
; %bb.8:
	mov	x0, x20
	bl	_EC_GROUP_get0_generator
	mov	x23, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_77
; %bb.9:
	mov	x0, x20
	bl	_EC_GROUP_get0_order
	mov	x22, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_77
; %bb.10:
	mov	x0, x20
	mov	x1, x26
	mov	x2, #0
	bl	_EC_GROUP_get_cofactor
	bl	_TEST_true
	cbz	w0, LBB0_77
; %bb.11:
	str	x22, [sp, #32]                  ; 8-byte Folded Spill
	mov	x0, x20
	bl	_EC_GROUP_dup
	mov	x22, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_81
; %bb.12:
	mov	x0, x23
	mov	x1, x20
	bl	_EC_POINT_dup
	str	x23, [sp, #24]                  ; 8-byte Folded Spill
	mov	x23, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_83
; %bb.13:
	mov	x0, x20
	mov	x1, x23
	ldr	x2, [sp, #24]                   ; 8-byte Folded Reload
	mov	x3, x2
	mov	x4, #0
	bl	_EC_POINT_add
	bl	_TEST_true
	cbz	w0, LBB0_83
; %bb.14:
	mov	x0, x20
	mov	x1, x23
	mov	x2, x25
	mov	x3, x28
	mov	x4, x19
	bl	_EC_POINT_get_affine_coordinates
	bl	_TEST_true
	cbz	w0, LBB0_83
; %bb.15:
	mov	x0, x27
	ldr	x1, [sp, #32]                   ; 8-byte Folded Reload
	bl	_BN_copy
	bl	_TEST_true
	cbz	w0, LBB0_83
; %bb.16:
	mov	x0, x27
	mov	w1, #1
	bl	_BN_add_word
	bl	_TEST_true
	cbz	w0, LBB0_83
; %bb.17:
	mov	x0, x21
	mov	x1, x26
	bl	_BN_copy
	bl	_TEST_true
	cbz	w0, LBB0_83
; %bb.18:
	mov	x0, x21
	mov	w1, #1
	bl	_BN_add_word
	bl	_TEST_true
	cbz	w0, LBB0_83
; %bb.19:
	mov	x0, x23
	bl	_EC_POINT_free
	mov	x0, x22
	bl	_EC_POINT_new
	mov	x23, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_83
; %bb.20:
	stp	x21, x26, [sp]                  ; 16-byte Folded Spill
	str	w24, [sp, #20]                  ; 4-byte Folded Spill
	mov	x0, x22
	mov	x1, x23
	mov	x2, x25
	mov	x3, x28
	mov	x4, x19
	bl	_EC_POINT_set_affine_coordinates
	bl	_TEST_true
	cbz	w0, LBB0_83
; %bb.21:
	ldr	x0, [sp, #40]                   ; 8-byte Folded Reload
	bl	_EC_GROUP_new_from_ecparameters
	mov	x21, x0
	str	x0, [sp, #112]
	bl	_TEST_ptr
	cbz	w0, LBB0_83
; %bb.22:
	mov	x0, x21
	bl	_EC_GROUP_get_curve_name
	mov	x26, x0
Lloh8:
	adrp	x28, _NID_undef@GOTPAGE
Lloh9:
	ldr	x28, [x28, _NID_undef@GOTPAGEOFF]
	ldr	w1, [x28]
	bl	_TEST_int_ne
	cbz	w0, LBB0_83
; %bb.23:
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	mov	x1, x26
	bl	_are_ec_nids_compatible
	bl	_TEST_true
	cbz	w0, LBB0_82
; %bb.24:
	mov	x0, x21
	bl	_EC_GROUP_get_asn1_flag
Lloh10:
	adrp	x25, _OPENSSL_EC_EXPLICIT_CURVE@GOTPAGE
Lloh11:
	ldr	x25, [x25, _OPENSSL_EC_EXPLICIT_CURVE@GOTPAGEOFF]
	ldr	w1, [x25]
	bl	_TEST_int_eq
	cbz	w0, LBB0_83
; %bb.25:
Lloh12:
	adrp	x1, _check_named_curve_from_ecparameters.invalid_seed@PAGE
Lloh13:
	add	x1, x1, _check_named_curve_from_ecparameters.invalid_seed@PAGEOFF
	mov	x0, x22
	mov	w2, #25
	bl	_EC_GROUP_set_seed
	mov	w1, #25
	bl	_TEST_int_eq
	cbz	w0, LBB0_84
; %bb.26:
	mov	x0, x22
	mov	x1, #0
	bl	_EC_GROUP_get_ecparameters
	mov	x24, x0
	str	x0, [sp, #48]
	bl	_TEST_ptr
	cbz	w0, LBB0_85
; %bb.27:
	mov	x0, x24
	bl	_EC_GROUP_new_from_ecparameters
	mov	x21, x0
	str	x0, [sp, #120]
	bl	_TEST_ptr
	cbz	w0, LBB0_85
; %bb.28:
	mov	x0, x21
	bl	_EC_GROUP_get_curve_name
	mov	x26, x0
	ldr	w1, [x28]
	bl	_TEST_int_ne
	cbz	w0, LBB0_85
; %bb.29:
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	mov	x1, x26
	bl	_are_ec_nids_compatible
	bl	_TEST_true
	cbz	w0, LBB0_85
; %bb.30:
	mov	x0, x21
	bl	_EC_GROUP_get_asn1_flag
	ldr	w1, [x25]
	bl	_TEST_int_eq
	cbz	w0, LBB0_85
; %bb.31:
	mov	x0, x22
	mov	x1, #0
	mov	x2, #0
	bl	_EC_GROUP_set_seed
	mov	w1, #1
	bl	_TEST_int_eq
	cbz	w0, LBB0_85
; %bb.32:
	mov	x0, x22
	mov	x1, #0
	bl	_EC_GROUP_get_ecparameters
	mov	x21, x0
	str	x0, [sp, #56]
	bl	_TEST_ptr
	cbz	w0, LBB0_85
; %bb.33:
	mov	x0, x21
	bl	_EC_GROUP_new_from_ecparameters
	mov	x21, x0
	str	x0, [sp, #128]
	bl	_TEST_ptr
	cbz	w0, LBB0_85
; %bb.34:
	mov	x0, x21
	bl	_EC_GROUP_get_curve_name
	mov	x26, x0
	ldr	w1, [x28]
	bl	_TEST_int_ne
	cbz	w0, LBB0_85
; %bb.35:
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	mov	x1, x26
	bl	_are_ec_nids_compatible
	bl	_TEST_true
	cbz	w0, LBB0_85
; %bb.36:
	mov	x0, x21
	bl	_EC_GROUP_get_asn1_flag
	ldr	w1, [x25]
	bl	_TEST_int_eq
	cbz	w0, LBB0_85
; %bb.37:
	mov	x0, x22
	mov	x1, x23
	ldr	x2, [sp, #32]                   ; 8-byte Folded Reload
	ldr	x3, [sp, #8]                    ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_87
; %bb.38:
	mov	x0, x22
	mov	x1, #0
	bl	_EC_GROUP_get_ecparameters
	mov	x21, x0
	str	x0, [sp, #64]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.39:
	mov	x0, x21
	bl	_EC_GROUP_new_from_ecparameters
	mov	x21, x0
	str	x0, [sp, #136]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.40:
	mov	x0, x21
	bl	_EC_GROUP_get_curve_name
	ldr	w1, [x28]
	bl	_TEST_int_eq
	cbz	w0, LBB0_87
; %bb.41:
	mov	x0, x22
	ldr	x1, [sp, #24]                   ; 8-byte Folded Reload
	mov	x2, x27
	ldr	x3, [sp, #8]                    ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_87
; %bb.42:
	mov	x0, x22
	mov	x1, #0
	bl	_EC_GROUP_get_ecparameters
	mov	x21, x0
	str	x0, [sp, #72]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.43:
	mov	x0, x21
	bl	_EC_GROUP_new_from_ecparameters
	mov	x21, x0
	str	x0, [sp, #144]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.44:
	mov	x0, x21
	bl	_EC_GROUP_get_curve_name
	ldr	w1, [x28]
	bl	_TEST_int_eq
	cbz	w0, LBB0_87
; %bb.45:
	mov	x0, x22
	ldr	x1, [sp, #24]                   ; 8-byte Folded Reload
	mov	x2, #0
	ldr	x3, [sp, #8]                    ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_false
	cbz	w0, LBB0_87
; %bb.46:
	mov	x0, x22
	ldp	x1, x2, [sp, #24]               ; 16-byte Folded Reload
	ldr	x3, [sp]                        ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_87
; %bb.47:
	mov	x0, x22
	mov	x1, #0
	bl	_EC_GROUP_get_ecparameters
	mov	x21, x0
	str	x0, [sp, #80]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.48:
	mov	x0, x21
	bl	_EC_GROUP_new_from_ecparameters
	mov	x21, x0
	str	x0, [sp, #152]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.49:
	mov	x0, x21
	bl	_EC_GROUP_get_curve_name
	mov	x26, x0
	ldr	w1, [x28]
	bl	_TEST_int_ne
	cbz	w0, LBB0_87
; %bb.50:
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	mov	x1, x26
	bl	_are_ec_nids_compatible
	bl	_TEST_true
	cbz	w0, LBB0_87
; %bb.51:
	mov	x0, x21
	bl	_EC_GROUP_get_asn1_flag
	ldr	w1, [x25]
	bl	_TEST_int_eq
	cbz	w0, LBB0_87
; %bb.52:
	mov	x0, x22
	ldp	x1, x2, [sp, #24]               ; 16-byte Folded Reload
	mov	x3, #0
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_87
; %bb.53:
	mov	x0, x22
	mov	x1, #0
	bl	_EC_GROUP_get_ecparameters
	mov	x21, x0
	str	x0, [sp, #88]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.54:
	mov	x0, x21
	bl	_EC_GROUP_new_from_ecparameters
	mov	x21, x0
	str	x0, [sp, #160]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.55:
	mov	x0, x21
	bl	_EC_GROUP_get_curve_name
	mov	x26, x0
	ldr	w1, [x28]
	bl	_TEST_int_ne
	cbz	w0, LBB0_87
; %bb.56:
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	mov	x1, x26
	bl	_are_ec_nids_compatible
	bl	_TEST_true
	cbz	w0, LBB0_87
; %bb.57:
	mov	x0, x21
	bl	_EC_GROUP_get_asn1_flag
	ldr	w1, [x25]
	bl	_TEST_int_eq
	cbz	w0, LBB0_87
; %bb.58:
	mov	x0, x22
	ldp	x1, x2, [sp, #24]               ; 16-byte Folded Reload
	ldr	x3, [sp, #8]                    ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_87
; %bb.59:
	mov	x0, x22
	mov	x1, #0
	bl	_EC_GROUP_get_ecparameters
	mov	x21, x0
	str	x0, [sp, #96]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.60:
	mov	x0, x21
	bl	_EC_GROUP_new_from_ecparameters
	mov	x21, x0
	str	x0, [sp, #168]
	bl	_TEST_ptr
	cbz	w0, LBB0_87
; %bb.61:
	mov	x0, x21
	bl	_EC_GROUP_get_curve_name
	mov	x26, x0
	ldr	w1, [x28]
	bl	_TEST_int_ne
	cbz	w0, LBB0_87
; %bb.62:
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	mov	x1, x26
	bl	_are_ec_nids_compatible
	bl	_TEST_true
	cbz	w0, LBB0_87
; %bb.63:
	mov	x0, x21
	bl	_EC_GROUP_get_asn1_flag
	ldr	w1, [x25]
	bl	_TEST_int_eq
	cmp	w0, #0
	cset	w25, ne
	b	LBB0_79
LBB0_64:
	mov	x24, #0
	mov	w25, #0
	mov	x20, #0
LBB0_65:
	mov	x22, #0
	mov	x23, #0
	mov	x27, #0
LBB0_66:
	add	x21, sp, #112
	add	x0, sp, #112
	bl	_OSSL_NELEM
	cmp	w0, #1
	b.lt	LBB0_69
; %bb.67:
	add	x26, sp, #112
LBB0_68:                                ; =>This Inner Loop Header: Depth=1
	ldr	x0, [x26], #8
	bl	_EC_GROUP_free
	add	x0, sp, #112
	bl	_OSSL_NELEM
	add	x8, x21, w0, sxtw #3
	cmp	x26, x8
	b.lo	LBB0_68
LBB0_69:
	add	x0, sp, #112
	bl	_OSSL_NELEM
	cmp	w0, #1
	b.lt	LBB0_73
; %bb.70:
	mov	x0, x24
	bl	_ECPARAMETERS_free
	add	x0, sp, #112
	bl	_OSSL_NELEM
	cmp	w0, #2
	b.lt	LBB0_73
; %bb.71:
	add	x21, sp, #48
	orr	x24, x21, #0x8
LBB0_72:                                ; =>This Inner Loop Header: Depth=1
	ldr	x0, [x24], #8
	bl	_ECPARAMETERS_free
	add	x0, sp, #112
	bl	_OSSL_NELEM
	add	x8, x21, w0, sxtw #3
	cmp	x24, x8
	b.lo	LBB0_72
LBB0_73:
	mov	x0, x27
	bl	_ECPARAMETERS_free
	mov	x0, x23
	bl	_EC_POINT_free
	mov	x0, x22
	bl	_EC_GROUP_free
	mov	x0, x20
	bl	_EC_GROUP_free
	mov	x0, x19
	bl	_BN_CTX_end
	mov	x0, x19
	bl	_BN_CTX_free
	b	LBB0_75
LBB0_74:
	mov	w25, #0
LBB0_75:
	ldur	x8, [x29, #-96]
Lloh14:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh15:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh16:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_86
; %bb.76:
	mov	x0, x25
	ldp	x29, x30, [sp, #272]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #256]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #240]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #224]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #208]            ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #192]            ; 16-byte Folded Reload
	add	sp, sp, #288
	ret
LBB0_77:
	mov	x24, #0
	mov	w25, #0
	mov	x22, #0
LBB0_78:
	mov	x23, #0
LBB0_79:
	ldr	x27, [sp, #40]                  ; 8-byte Folded Reload
	b	LBB0_66
LBB0_80:
	mov	x24, #0
	mov	w25, #0
	b	LBB0_65
LBB0_81:
	mov	x24, #0
	mov	w25, #0
	b	LBB0_78
LBB0_82:
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	bl	_OBJ_nid2sn
	mov	x21, x0
	mov	x0, x26
	bl	_OBJ_nid2sn
	mov	x2, x0
Lloh17:
	adrp	x0, l_.str.1@PAGE
Lloh18:
	add	x0, x0, l_.str.1@PAGEOFF
	mov	x1, x21
	bl	_TEST_info
LBB0_83:
	mov	x24, #0
	mov	w25, #0
	b	LBB0_79
LBB0_84:
	mov	x24, #0
LBB0_85:
	ldr	w0, [sp, #20]                   ; 4-byte Folded Reload
	bl	_OBJ_nid2sn
	mov	x21, x0
	mov	x0, x26
	bl	_OBJ_nid2sn
	mov	x2, x0
Lloh19:
	adrp	x0, l_.str.1@PAGE
Lloh20:
	add	x0, x0, l_.str.1@PAGEOFF
	mov	x1, x21
	bl	_TEST_info
	mov	w25, #0
	b	LBB0_79
LBB0_86:
	bl	___stack_chk_fail
LBB0_87:
	mov	w25, #0
	b	LBB0_79
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpAdd	Lloh19, Lloh20
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__const
_check_named_curve_from_ecparameters.invalid_seed: ; @check_named_curve_from_ecparameters.invalid_seed
	.asciz	"THIS IS NOT A VALID SEED"

	.comm	_curves,8,3                     ; @curves
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Curve %s"

	.comm	_NID_undef,4,2                  ; @NID_undef
l_.str.1:                               ; @.str.1
	.asciz	"nid = %s, tnid = %s"

	.comm	_OPENSSL_EC_EXPLICIT_CURVE,4,2  ; @OPENSSL_EC_EXPLICIT_CURVE
	.no_dead_strip	_check_named_curve_from_ecparameters
.subsections_via_symbols
