	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function check_named_curve_test
_check_named_curve_test:                ## @check_named_curve_test
	.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	$120, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_curves@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movslq	%edi, %rcx
	movl	(%rax,%rcx,4), %r13d
	xorl	%eax, %eax
	callq	_BN_CTX_new
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%rbx, -160(%rbp)                ## 8-byte Spill
	je	LBB0_1
## %bb.2:
	movl	%r13d, %edi
	callq	_EC_GROUP_new_by_curve_name
	movq	%rax, %r12
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_3
## %bb.4:
	movq	%r12, %rdi
	callq	_EC_GROUP_dup
	movq	%rax, -112(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_5
## %bb.8:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_9
## %bb.10:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_11
## %bb.12:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_13
## %bb.15:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_16
## %bb.17:
	movq	%r12, %rdi
	callq	_EC_GROUP_get0_generator
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_18
## %bb.19:
	movq	%r12, %rdi
	callq	_EC_GROUP_get0_order
	movq	%rax, -152(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_18
## %bb.20:
	movq	%r12, %rdi
	movq	-72(%rbp), %rsi                 ## 8-byte Reload
	xorl	%edx, %edx
	callq	_EC_GROUP_get_cofactor
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.21:
	movq	%r12, %rdi
	movq	-56(%rbp), %rsi                 ## 8-byte Reload
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	movq	%r14, %rcx
	xorl	%r8d, %r8d
	callq	_EC_GROUP_get_curve
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.22:
	movq	%r15, %rdi
	movq	%r12, %rsi
	callq	_EC_POINT_dup
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_23
## %bb.24:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%r12, %rdi
	movq	-144(%rbp), %rsi                ## 8-byte Reload
	movq	%r15, %rdx
	movq	%r15, %rcx
	xorl	%r8d, %r8d
	callq	_EC_POINT_add
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_25
## %bb.28:
	movq	%r15, -48(%rbp)                 ## 8-byte Spill
	movq	-152(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_dup
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_29
## %bb.30:
	movq	%r15, -88(%rbp)                 ## 8-byte Spill
	movq	%r15, %rdi
	movl	$1, %esi
	callq	_BN_add_word
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_31
## %bb.32:
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_dup
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%r15, -136(%rbp)                ## 8-byte Spill
	je	LBB0_33
## %bb.36:
	movq	%r15, %rdi
	movl	$1, %esi
	callq	_BN_add_word
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_33
## %bb.37:
	movq	%r14, %rdi
	callq	_BN_dup
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_38
## %bb.39:
	movq	-128(%rbp), %rdi                ## 8-byte Reload
	movl	$1, %esi
	callq	_BN_add_word
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_38
## %bb.40:
	movq	%r12, -80(%rbp)                 ## 8-byte Spill
	movq	%r14, -96(%rbp)                 ## 8-byte Spill
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_dup
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%rbx, -120(%rbp)                ## 8-byte Spill
	je	LBB0_41
## %bb.42:
	movq	%rbx, %rdi
	movl	$1, %esi
	callq	_BN_add_word
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_43
## %bb.44:
	movq	-80(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	callq	_EC_GROUP_get_seed_len
	movq	%rax, %r14
	movq	%rbx, %rdi
	callq	_EC_GROUP_method_of
	movl	%eax, %edi
	callq	_EC_METHOD_get_field_type
	movl	%eax, %r15d
	movq	_NID_X9_62_characteristic_two_field@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_dup
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	cmpl	%ebx, %r15d
	jne	LBB0_74
## %bb.45:
	testl	%eax, %eax
	je	LBB0_46
## %bb.47:
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	movq	%rdi, %rsi
	callq	_BN_lshift1
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	jne	LBB0_48
	jmp	LBB0_46
LBB0_1:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%r13d, %r13d
	xorl	%eax, %eax
	movq	%rax, -112(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	xorl	%edi, %edi
	xorl	%ebx, %ebx
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	jmp	LBB0_7
LBB0_3:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -112(%rbp)                ## 8-byte Spill
	jmp	LBB0_6
LBB0_5:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
LBB0_6:
	xorl	%eax, %eax
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	xorl	%edi, %edi
	xorl	%ebx, %ebx
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	movq	%r12, %r13
LBB0_7:
	xorl	%r12d, %r12d
	xorl	%eax, %eax
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
LBB0_92:
	callq	_BN_free
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_free
	movq	%rbx, %rdi
	callq	_BN_free
	movq	-136(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_free
	movq	%r14, %rdi
	callq	_BN_free
	movq	-128(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_free
	movq	%r12, %rdi
	callq	_BN_free
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_free
	movq	%r15, %rdi
	callq	_BN_free
	movq	-144(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_POINT_free
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_free
	movq	%r13, %rdi
	callq	_EC_GROUP_free
	movq	-160(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_CTX_free
	movq	-48(%rbp), %rax                 ## 8-byte Reload
                                        ## kill: def $eax killed $eax killed $rax
	addq	$120, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_9:
	xorl	%eax, %eax
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	xorl	%ebx, %ebx
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%r12, %r13
	xorl	%r12d, %r12d
	xorl	%eax, %eax
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	jmp	LBB0_92
LBB0_11:
	xorl	%eax, %eax
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	xorl	%r14d, %r14d
	jmp	LBB0_14
LBB0_13:
	xorl	%eax, %eax
	movq	%rax, -144(%rbp)                ## 8-byte Spill
LBB0_14:
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%r12, %r13
	xorl	%r12d, %r12d
	xorl	%eax, %eax
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	jmp	LBB0_92
LBB0_16:
	xorl	%eax, %eax
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	jmp	LBB0_27
LBB0_18:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -144(%rbp)                ## 8-byte Spill
LBB0_25:
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
LBB0_26:
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
LBB0_27:
	movq	%r12, %r13
	movq	-72(%rbp), %r12                 ## 8-byte Reload
	jmp	LBB0_92
LBB0_23:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	jmp	LBB0_25
LBB0_29:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	jmp	LBB0_26
LBB0_33:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	jmp	LBB0_34
LBB0_31:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -136(%rbp)                ## 8-byte Spill
LBB0_34:
	xorl	%eax, %eax
	movq	%rax, -128(%rbp)                ## 8-byte Spill
LBB0_35:
	xorl	%eax, %eax
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	movq	%r12, %r13
	movq	-72(%rbp), %r12                 ## 8-byte Reload
LBB0_91:
	movq	-88(%rbp), %r15                 ## 8-byte Reload
	jmp	LBB0_92
LBB0_38:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	jmp	LBB0_35
LBB0_41:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
LBB0_90:
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	movq	-72(%rbp), %r12                 ## 8-byte Reload
	movq	-80(%rbp), %r13                 ## 8-byte Reload
	jmp	LBB0_91
LBB0_43:
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	jmp	LBB0_46
LBB0_74:
	testl	%eax, %eax
	je	LBB0_46
## %bb.75:
	xorl	%eax, %eax
	callq	_BN_get0_nist_prime_192
	movl	%eax, %edi
	movq	-104(%rbp), %rsi                ## 8-byte Reload
	callq	_BN_ucmp
	testq	%rax, %rax
	je	LBB0_76
## %bb.77:
	xorl	%eax, %eax
	callq	_BN_get0_nist_prime_192
	jmp	LBB0_78
LBB0_76:
	xorl	%eax, %eax
	callq	_BN_get0_nist_prime_256
LBB0_78:
	movl	%eax, %esi
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_copy
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_79
LBB0_48:
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	movl	%r13d, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.49:
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	movl	$1, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %ebx
	movl	%r13d, %edi
	callq	_EC_curve_nid2nist
	movl	%r13d, %esi
	testq	%rax, %rax
	jne	LBB0_51
## %bb.50:
	movq	_NID_undef@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
LBB0_51:
	movl	%ebx, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.52:
	leal	1(%r13), %esi
	movq	-80(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	callq	_EC_GROUP_set_curve_name
	xorl	%eax, %eax
	callq	_ERR_set_mark
	movq	%rbx, %rdi
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_le
	testl	%eax, %eax
	je	LBB0_46
## %bb.53:
	xorl	%eax, %eax
	callq	_ERR_pop_to_mark
	movq	-80(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	movl	%r13d, %esi
	callq	_EC_GROUP_set_curve_name
	movq	%rbx, %rdi
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	movl	%r13d, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.54:
	leaq	_check_named_curve_test.invalid_seed(%rip), %rsi
	movl	$25, %edx
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	callq	_EC_GROUP_set_seed
	movl	%eax, %edi
	movl	$25, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.55:
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	testq	%r14, %r14
	jle	LBB0_80
## %bb.56:
	xorl	%esi, %esi
	jmp	LBB0_57
LBB0_79:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	jmp	LBB0_90
LBB0_80:
	movl	%r13d, %esi
LBB0_57:
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.58:
	movq	-80(%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_46
## %bb.59:
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	movl	%r13d, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.60:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	movl	%r13d, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.61:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-144(%rbp), %rsi                ## 8-byte Reload
	movq	-152(%rbp), %rdx                ## 8-byte Reload
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_EC_GROUP_set_generator
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_46
## %bb.62:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.63:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movq	-88(%rbp), %rdx                 ## 8-byte Reload
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_EC_GROUP_set_generator
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_46
## %bb.64:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.65:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	xorl	%edx, %edx
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_EC_GROUP_set_generator
	movq	%rax, %rdi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_46
## %bb.66:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movq	-152(%rbp), %rdx                ## 8-byte Reload
	movq	-120(%rbp), %rcx                ## 8-byte Reload
	callq	_EC_GROUP_set_generator
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_46
## %bb.67:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.68:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movq	-152(%rbp), %rdx                ## 8-byte Reload
	xorl	%ecx, %ecx
	callq	_EC_GROUP_set_generator
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_46
## %bb.69:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	movl	%r13d, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.70:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	movq	-152(%rbp), %rdx                ## 8-byte Reload
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_EC_GROUP_set_generator
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_46
## %bb.71:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	movl	%r13d, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_46
## %bb.72:
	xorl	%eax, %eax
	callq	_ERR_set_mark
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-104(%rbp), %rsi                ## 8-byte Reload
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	movq	-96(%rbp), %rcx                 ## 8-byte Reload
	xorl	%r8d, %r8d
	callq	_EC_GROUP_set_curve
	testq	%rax, %rax
	je	LBB0_81
## %bb.73:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_le
	testl	%eax, %eax
	jne	LBB0_82
	jmp	LBB0_46
LBB0_81:
	xorl	%eax, %eax
	callq	_ERR_pop_to_mark
	xorl	%eax, %eax
	callq	_ERR_set_mark
LBB0_82:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-56(%rbp), %rsi                 ## 8-byte Reload
	movq	-136(%rbp), %rdx                ## 8-byte Reload
	movq	-96(%rbp), %rcx                 ## 8-byte Reload
	xorl	%r8d, %r8d
	callq	_EC_GROUP_set_curve
	testq	%rax, %rax
	je	LBB0_84
## %bb.83:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_le
	testl	%eax, %eax
	jne	LBB0_85
	jmp	LBB0_46
LBB0_84:
	xorl	%eax, %eax
	callq	_ERR_pop_to_mark
	xorl	%eax, %eax
	callq	_ERR_set_mark
LBB0_85:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-56(%rbp), %rsi                 ## 8-byte Reload
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	movq	-128(%rbp), %rcx                ## 8-byte Reload
	xorl	%r8d, %r8d
	callq	_EC_GROUP_set_curve
	testq	%rax, %rax
	je	LBB0_87
## %bb.86:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_le
	testl	%eax, %eax
	jne	LBB0_88
	jmp	LBB0_46
LBB0_87:
	xorl	%eax, %eax
	callq	_ERR_pop_to_mark
	xorl	%eax, %eax
	callq	_ERR_set_mark
LBB0_88:
	xorl	%eax, %eax
	callq	_ERR_pop_to_mark
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	-56(%rbp), %rsi                 ## 8-byte Reload
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	movq	-96(%rbp), %rcx                 ## 8-byte Reload
	xorl	%r8d, %r8d
	callq	_EC_GROUP_set_curve
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_46
## %bb.89:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	xorl	%edx, %edx
	callq	_EC_GROUP_check_named_curve
	movl	%eax, %edi
	movl	%r13d, %esi
	callq	_TEST_int_eq
	xorl	%ecx, %ecx
	testl	%eax, %eax
	setne	%cl
	movq	%rcx, -48(%rbp)                 ## 8-byte Spill
	jmp	LBB0_90
LBB0_46:
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	movq	-72(%rbp), %r12                 ## 8-byte Reload
	movq	-80(%rbp), %r13                 ## 8-byte Reload
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	jmp	LBB0_91
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__const
	.p2align	4                               ## @check_named_curve_test.invalid_seed
_check_named_curve_test.invalid_seed:
	.asciz	"THIS IS NOT A VALID SEED"

	.comm	_curves,8,3                     ## @curves
	.comm	_NID_X9_62_characteristic_two_field,4,2 ## @NID_X9_62_characteristic_two_field
	.comm	_NID_undef,4,2                  ## @NID_undef
	.no_dead_strip	_check_named_curve_test
.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_test
_check_named_curve_test:                ; @check_named_curve_test
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #224
	.cfi_def_cfa_offset 224
	stp	x28, x27, [sp, #128]            ; 16-byte Folded Spill
	stp	x26, x25, [sp, #144]            ; 16-byte Folded Spill
	stp	x24, x23, [sp, #160]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #176]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #192]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #208]            ; 16-byte Folded Spill
	add	x29, sp, #208
	.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, _curves@GOTPAGE
Lloh1:
	ldr	x8, [x8, _curves@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	ldr	w23, [x8, w0, sxtw #2]
	bl	_BN_CTX_new
	mov	x19, x0
	bl	_TEST_ptr
	stur	x19, [x29, #-96]                ; 8-byte Folded Spill
	cbz	w0, LBB0_24
; %bb.1:
	mov	x0, x23
	bl	_EC_GROUP_new_by_curve_name
	mov	x20, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_25
; %bb.2:
	mov	x0, x20
	bl	_EC_GROUP_dup
	mov	x21, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_26
; %bb.3:
	bl	_BN_new
	str	x0, [sp, #96]                   ; 8-byte Folded Spill
	bl	_TEST_ptr
	cbz	w0, LBB0_29
; %bb.4:
	bl	_BN_new
	mov	x25, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_30
; %bb.5:
	bl	_BN_new
	mov	x22, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_38
; %bb.6:
	bl	_BN_new
	mov	x26, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_33
; %bb.7:
	mov	x0, x20
	bl	_EC_GROUP_get0_generator
	mov	x28, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_33
; %bb.8:
	mov	x0, x20
	bl	_EC_GROUP_get0_order
	mov	x27, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_33
; %bb.9:
	mov	x0, x20
	mov	x1, x26
	mov	x2, #0
	bl	_EC_GROUP_get_cofactor
	bl	_TEST_true
	cbz	w0, LBB0_33
; %bb.10:
	mov	x0, x20
	ldr	x1, [sp, #96]                   ; 8-byte Folded Reload
	mov	x2, x25
	mov	x3, x22
	mov	x4, #0
	bl	_EC_GROUP_get_curve
	bl	_TEST_true
	cbz	w0, LBB0_33
; %bb.11:
	mov	x0, x28
	mov	x1, x20
	bl	_EC_POINT_dup
	mov	x24, x0
	bl	_TEST_ptr
	stur	x24, [x29, #-88]                ; 8-byte Folded Spill
	cbz	w0, LBB0_39
; %bb.12:
	mov	x0, x20
	mov	x1, x24
	mov	x2, x28
	mov	x3, x28
	mov	x4, #0
	bl	_EC_POINT_add
	bl	_TEST_true
	cbz	w0, LBB0_39
; %bb.13:
	str	x27, [sp, #104]                 ; 8-byte Folded Spill
	mov	x0, x27
	bl	_BN_dup
	mov	x27, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_40
; %bb.14:
	mov	x0, x27
	mov	w1, #1
	bl	_BN_add_word
	bl	_TEST_true
	cbz	w0, LBB0_40
; %bb.15:
	str	x28, [sp, #88]                  ; 8-byte Folded Spill
	mov	x0, x25
	bl	_BN_dup
	mov	x28, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_41
; %bb.16:
	mov	x0, x28
	mov	w1, #1
	bl	_BN_add_word
	bl	_TEST_true
	cbz	w0, LBB0_41
; %bb.17:
	mov	x0, x22
	bl	_BN_dup
	mov	x19, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_44
; %bb.18:
	stp	x19, x20, [sp, #72]             ; 16-byte Folded Spill
	mov	x0, x19
	mov	w1, #1
	bl	_BN_add_word
	bl	_TEST_true
	cbz	w0, LBB0_45
; %bb.19:
	stp	x28, x25, [sp, #24]             ; 16-byte Folded Spill
	stp	x22, x27, [sp, #40]             ; 16-byte Folded Spill
	stp	x26, x21, [sp, #56]             ; 16-byte Folded Spill
	mov	x0, x26
	bl	_BN_dup
	mov	x20, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_46
; %bb.20:
	str	x20, [sp, #16]                  ; 8-byte Folded Spill
	mov	x0, x20
	mov	w1, #1
	bl	_BN_add_word
	bl	_TEST_true
	cbz	w0, LBB0_48
; %bb.21:
	ldr	x19, [sp, #80]                  ; 8-byte Folded Reload
	mov	x0, x19
	bl	_EC_GROUP_get_seed_len
	mov	x20, x0
	mov	x0, x19
	bl	_EC_GROUP_method_of
	bl	_EC_METHOD_get_field_type
	mov	x19, x0
Lloh3:
	adrp	x8, _NID_X9_62_characteristic_two_field@GOTPAGE
Lloh4:
	ldr	x8, [x8, _NID_X9_62_characteristic_two_field@GOTPAGEOFF]
Lloh5:
	ldr	w21, [x8]
	ldr	x0, [sp, #96]                   ; 8-byte Folded Reload
	bl	_BN_dup
	str	x0, [sp, #8]                    ; 8-byte Folded Spill
	bl	_TEST_ptr
	cmp	w19, w21
	b.ne	LBB0_49
; %bb.22:
	cbz	w0, LBB0_88
; %bb.23:
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	mov	x1, x0
	bl	_BN_lshift1
	bl	_TEST_true
	cbnz	w0, LBB0_54
	b	LBB0_88
LBB0_24:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	mov	x23, #0
	mov	x21, #0
	stur	xzr, [x29, #-88]                ; 8-byte Folded Spill
	mov	x0, #0
	mov	x25, #0
	mov	x22, #0
	mov	x24, #0
	mov	x28, #0
	mov	x19, #0
	mov	x26, #0
	b	LBB0_28
LBB0_25:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	mov	x21, #0
	b	LBB0_27
LBB0_26:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
LBB0_27:
	stur	xzr, [x29, #-88]                ; 8-byte Folded Spill
	mov	x0, #0
	mov	x25, #0
	mov	x22, #0
	mov	x24, #0
	mov	x28, #0
	mov	x19, #0
	mov	x26, #0
	mov	x23, x20
LBB0_28:
	mov	x20, #0
	mov	x27, #0
	b	LBB0_37
LBB0_29:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	stur	xzr, [x29, #-88]                ; 8-byte Folded Spill
	mov	x25, #0
	b	LBB0_31
LBB0_30:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	stur	xzr, [x29, #-88]                ; 8-byte Folded Spill
LBB0_31:
	mov	x22, #0
LBB0_32:
	mov	x24, #0
	mov	x28, #0
	mov	x19, #0
	mov	x26, #0
	b	LBB0_35
LBB0_33:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	stur	xzr, [x29, #-88]                ; 8-byte Folded Spill
LBB0_34:
	mov	x24, #0
	mov	x28, #0
	mov	x19, #0
LBB0_35:
	mov	x23, x20
	mov	x20, #0
	mov	x27, #0
LBB0_36:
	ldr	x0, [sp, #96]                   ; 8-byte Folded Reload
LBB0_37:
	bl	_BN_free
	mov	x0, x24
	bl	_BN_free
	mov	x0, x25
	bl	_BN_free
	mov	x0, x28
	bl	_BN_free
	mov	x0, x22
	bl	_BN_free
	mov	x0, x19
	bl	_BN_free
	mov	x0, x26
	bl	_BN_free
	mov	x0, x20
	bl	_BN_free
	mov	x0, x27
	bl	_BN_free
	ldur	x0, [x29, #-88]                 ; 8-byte Folded Reload
	bl	_EC_POINT_free
	mov	x0, x21
	bl	_EC_GROUP_free
	mov	x0, x23
	bl	_EC_GROUP_free
	ldur	x0, [x29, #-96]                 ; 8-byte Folded Reload
	bl	_BN_CTX_free
	ldr	w0, [sp, #104]                  ; 4-byte Folded Reload
	ldp	x29, x30, [sp, #208]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #192]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #176]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #160]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #144]            ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #128]            ; 16-byte Folded Reload
	add	sp, sp, #224
	ret
LBB0_38:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	stur	xzr, [x29, #-88]                ; 8-byte Folded Spill
	b	LBB0_32
LBB0_39:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	b	LBB0_34
LBB0_40:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	mov	x24, #0
	mov	x28, #0
	b	LBB0_42
LBB0_41:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	mov	x24, #0
LBB0_42:
	mov	x19, #0
LBB0_43:
	mov	x23, x20
	mov	x20, #0
	b	LBB0_36
LBB0_44:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	mov	x24, #0
	b	LBB0_43
LBB0_45:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	mov	x24, #0
	mov	x20, #0
	ldr	x0, [sp, #96]                   ; 8-byte Folded Reload
	b	LBB0_47
LBB0_46:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	mov	x24, #0
	ldp	x25, x22, [sp, #32]             ; 16-byte Folded Reload
	ldr	x0, [sp, #96]                   ; 8-byte Folded Reload
	ldp	x26, x21, [sp, #56]             ; 16-byte Folded Reload
	ldr	x27, [sp, #48]                  ; 8-byte Folded Reload
	ldr	x28, [sp, #24]                  ; 8-byte Folded Reload
LBB0_47:
	ldp	x19, x23, [sp, #72]             ; 16-byte Folded Reload
	b	LBB0_37
LBB0_48:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	mov	x24, #0
	ldp	x25, x22, [sp, #32]             ; 16-byte Folded Reload
	ldr	x0, [sp, #96]                   ; 8-byte Folded Reload
	ldp	x26, x21, [sp, #56]             ; 16-byte Folded Reload
	ldr	x27, [sp, #48]                  ; 8-byte Folded Reload
	ldp	x20, x28, [sp, #16]             ; 16-byte Folded Reload
	ldp	x19, x23, [sp, #72]             ; 16-byte Folded Reload
	b	LBB0_37
LBB0_49:
	cbz	w0, LBB0_88
; %bb.50:
	bl	_BN_get0_nist_prime_192
	ldr	x1, [sp, #8]                    ; 8-byte Folded Reload
	bl	_BN_ucmp
	cbz	x0, LBB0_52
; %bb.51:
	bl	_BN_get0_nist_prime_192
	b	LBB0_53
LBB0_52:
	bl	_BN_get0_nist_prime_256
LBB0_53:
	mov	x1, x0
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	bl	_BN_copy
	bl	_TEST_ptr
	cbz	w0, LBB0_88
LBB0_54:
	ldr	x0, [sp, #80]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	x1, x23
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.55:
	ldr	x0, [sp, #80]                   ; 8-byte Folded Reload
	mov	w1, #1
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	x19, x0
	mov	x0, x23
	bl	_EC_curve_nid2nist
Lloh6:
	adrp	x8, _NID_undef@GOTPAGE
Lloh7:
	ldr	x8, [x8, _NID_undef@GOTPAGEOFF]
Lloh8:
	ldr	w8, [x8]
	cmp	x0, #0
	csel	w1, w8, w23, eq
	mov	x0, x19
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.56:
	add	w1, w23, #1
	ldr	x19, [sp, #80]                  ; 8-byte Folded Reload
	mov	x0, x19
	bl	_EC_GROUP_set_curve_name
	bl	_ERR_set_mark
	mov	x0, x19
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	w1, #0
	bl	_TEST_int_le
	cbz	w0, LBB0_88
; %bb.57:
	bl	_ERR_pop_to_mark
	ldr	x19, [sp, #80]                  ; 8-byte Folded Reload
	mov	x0, x19
	mov	x1, x23
	bl	_EC_GROUP_set_curve_name
	mov	x0, x19
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	x1, x23
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.58:
Lloh9:
	adrp	x1, _check_named_curve_test.invalid_seed@PAGE
Lloh10:
	add	x1, x1, _check_named_curve_test.invalid_seed@PAGEOFF
	ldr	x0, [sp, #80]                   ; 8-byte Folded Reload
	mov	w2, #25
	bl	_EC_GROUP_set_seed
	mov	w1, #25
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.59:
	ldr	x0, [sp, #80]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	cmp	x20, #1
	b.lt	LBB0_61
; %bb.60:
	mov	w1, #0
	b	LBB0_62
LBB0_61:
	mov	x1, x23
LBB0_62:
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.63:
	ldr	x0, [sp, #80]                   ; 8-byte Folded Reload
	mov	x1, #0
	mov	x2, #0
	bl	_EC_GROUP_set_seed
	mov	w1, #1
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.64:
	ldr	x0, [sp, #80]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	x1, x23
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.65:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	x1, x23
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.66:
	ldp	x3, x0, [sp, #56]               ; 16-byte Folded Reload
	ldur	x1, [x29, #-88]                 ; 8-byte Folded Reload
	ldr	x2, [sp, #104]                  ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_88
; %bb.67:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	w1, #0
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.68:
	ldp	x3, x0, [sp, #56]               ; 16-byte Folded Reload
	ldr	x1, [sp, #88]                   ; 8-byte Folded Reload
	ldr	x2, [sp, #48]                   ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_88
; %bb.69:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	w1, #0
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.70:
	ldp	x3, x0, [sp, #56]               ; 16-byte Folded Reload
	ldr	x1, [sp, #88]                   ; 8-byte Folded Reload
	mov	x2, #0
	bl	_EC_GROUP_set_generator
	bl	_TEST_false
	cbz	w0, LBB0_88
; %bb.71:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	ldr	x1, [sp, #88]                   ; 8-byte Folded Reload
	ldr	x2, [sp, #104]                  ; 8-byte Folded Reload
	ldr	x3, [sp, #16]                   ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_88
; %bb.72:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	w1, #0
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.73:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	ldr	x1, [sp, #88]                   ; 8-byte Folded Reload
	ldr	x2, [sp, #104]                  ; 8-byte Folded Reload
	mov	x3, #0
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_88
; %bb.74:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	x1, x23
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.75:
	ldp	x3, x0, [sp, #56]               ; 16-byte Folded Reload
	ldr	x1, [sp, #88]                   ; 8-byte Folded Reload
	ldr	x2, [sp, #104]                  ; 8-byte Folded Reload
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_88
; %bb.76:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	x1, x23
	bl	_TEST_int_eq
	cbz	w0, LBB0_88
; %bb.77:
	bl	_ERR_set_mark
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	ldr	x1, [sp, #8]                    ; 8-byte Folded Reload
	ldp	x2, x3, [sp, #32]               ; 16-byte Folded Reload
	mov	x4, #0
	bl	_EC_GROUP_set_curve
	cbz	x0, LBB0_79
; %bb.78:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	w1, #0
	bl	_TEST_int_le
	cbnz	w0, LBB0_80
	b	LBB0_88
LBB0_79:
	bl	_ERR_pop_to_mark
	bl	_ERR_set_mark
LBB0_80:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	ldr	x1, [sp, #96]                   ; 8-byte Folded Reload
	ldr	x2, [sp, #24]                   ; 8-byte Folded Reload
	ldr	x3, [sp, #40]                   ; 8-byte Folded Reload
	mov	x4, #0
	bl	_EC_GROUP_set_curve
	cbz	x0, LBB0_82
; %bb.81:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	w1, #0
	bl	_TEST_int_le
	cbnz	w0, LBB0_83
	b	LBB0_88
LBB0_82:
	bl	_ERR_pop_to_mark
	bl	_ERR_set_mark
LBB0_83:
	ldp	x0, x3, [sp, #64]               ; 16-byte Folded Reload
	ldr	x1, [sp, #96]                   ; 8-byte Folded Reload
	ldr	x2, [sp, #32]                   ; 8-byte Folded Reload
	mov	x4, #0
	bl	_EC_GROUP_set_curve
	cbz	x0, LBB0_85
; %bb.84:
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	w1, #0
	bl	_TEST_int_le
	cbnz	w0, LBB0_86
	b	LBB0_88
LBB0_85:
	bl	_ERR_pop_to_mark
	bl	_ERR_set_mark
LBB0_86:
	bl	_ERR_pop_to_mark
	ldr	x0, [sp, #64]                   ; 8-byte Folded Reload
	ldr	x1, [sp, #96]                   ; 8-byte Folded Reload
	ldp	x2, x3, [sp, #32]               ; 16-byte Folded Reload
	mov	x4, #0
	bl	_EC_GROUP_set_curve
	bl	_TEST_true
	cbz	w0, LBB0_88
; %bb.87:
	ldr	x21, [sp, #64]                  ; 8-byte Folded Reload
	mov	x0, x21
	mov	w1, #0
	mov	x2, #0
	bl	_EC_GROUP_check_named_curve
	mov	x1, x23
	bl	_TEST_int_eq
	cmp	w0, #0
	cset	w8, ne
	str	w8, [sp, #104]                  ; 4-byte Folded Spill
	ldp	x25, x22, [sp, #32]             ; 16-byte Folded Reload
	ldr	x0, [sp, #96]                   ; 8-byte Folded Reload
	b	LBB0_89
LBB0_88:
	str	wzr, [sp, #104]                 ; 4-byte Folded Spill
	ldp	x25, x22, [sp, #32]             ; 16-byte Folded Reload
	ldr	x0, [sp, #96]                   ; 8-byte Folded Reload
	ldr	x21, [sp, #64]                  ; 8-byte Folded Reload
LBB0_89:
	ldp	x27, x26, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x28, [sp, #16]             ; 16-byte Folded Reload
	ldp	x19, x23, [sp, #72]             ; 16-byte Folded Reload
	ldr	x24, [sp, #8]                   ; 8-byte Folded Reload
	b	LBB0_37
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpAdd	Lloh9, Lloh10
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__const
_check_named_curve_test.invalid_seed:   ; @check_named_curve_test.invalid_seed
	.asciz	"THIS IS NOT A VALID SEED"

	.comm	_curves,8,3                     ; @curves
	.comm	_NID_X9_62_characteristic_two_field,4,2 ; @NID_X9_62_characteristic_two_field
	.comm	_NID_undef,4,2                  ; @NID_undef
	.no_dead_strip	_check_named_curve_test
.subsections_via_symbols
