	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function char2_curve_test
_char2_curve_test:                      ## @char2_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	$200, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%edi, %r13d
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	$0, -224(%rbp)
	movq	$0, -216(%rbp)
	movq	$0, -208(%rbp)
	movq	$0, -200(%rbp)
	movq	$0, -176(%rbp)
	movq	$0, -192(%rbp)
	movq	$0, -232(%rbp)
	movq	_char2_curve_tests@GOTPCREL(%rip), %r14
	movq	(%r14), %r12
	xorl	%eax, %eax
	callq	_BN_CTX_new
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%rbx, -184(%rbp)                ## 8-byte Spill
	je	LBB0_1
## %bb.2:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -224(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_1
## %bb.3:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -216(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_1
## %bb.4:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -208(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_1
## %bb.5:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -200(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_1
## %bb.6:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -176(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_1
## %bb.7:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -192(%rbp)
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_1
## %bb.8:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_9
## %bb.10:
	movslq	%r13d, %rax
	leaq	(%rax,%rax,4), %r15
	movl	36(%r12,%r15,8), %esi
	leaq	-224(%rbp), %rdi
	callq	_BN_hex2bn
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_11
## %bb.12:
	movl	32(%r12,%r15,8), %esi
	leaq	-216(%rbp), %rdi
	callq	_BN_hex2bn
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_11
## %bb.13:
	movl	28(%r12,%r15,8), %esi
	leaq	-208(%rbp), %rdi
	callq	_BN_hex2bn
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_11
## %bb.14:
	xorl	%eax, %eax
	callq	_EC_GF2m_simple_method
	movl	%eax, %edi
	callq	_EC_GROUP_new
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_15
## %bb.16:
	movq	-224(%rbp), %rsi
	movq	-216(%rbp), %rdx
	movq	-208(%rbp), %rcx
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	%rbx, %r8
	callq	_EC_GROUP_set_curve
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_17
## %bb.20:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_POINT_new
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_21
## %bb.22:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_POINT_new
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_23
## %bb.24:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_POINT_new
	movq	%rax, -152(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_25
## %bb.26:
	movl	24(%r12,%r15,8), %esi
	leaq	-200(%rbp), %rdi
	callq	_BN_hex2bn
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_25
## %bb.27:
	movl	16(%r12,%r15,8), %esi
	leaq	-176(%rbp), %rdi
	callq	_BN_hex2bn
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_28
## %bb.29:
	movq	%r15, -168(%rbp)                ## 8-byte Spill
	movq	-176(%rbp), %rax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	-144(%rbp), %r15                ## 8-byte Reload
	movq	%r15, %rdi
	movq	-160(%rbp), %rsi                ## 8-byte Reload
	movq	%rax, %rdx
	callq	_BN_add
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_30
## %bb.31:
	movq	-200(%rbp), %rdx
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	%r15, %rcx
	movq	-128(%rbp), %r15                ## 8-byte Reload
	movq	%r15, %rsi
	movq	%rbx, %r8
	callq	_EC_POINT_set_affine_coordinates
	movq	%rax, %rdi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_32
## %bb.34:
	movq	-200(%rbp), %rdx
	movq	-176(%rbp), %rcx
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	%r15, %rsi
	movq	%rbx, %r8
	callq	_EC_POINT_set_affine_coordinates
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_28
## %bb.35:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	movq	-184(%rbp), %rdx                ## 8-byte Reload
	callq	_EC_POINT_is_on_curve
	xorl	%ecx, %ecx
	movq	%rcx, -160(%rbp)                ## 8-byte Spill
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_gt
	testl	%eax, %eax
	je	LBB0_36
## %bb.37:
	movq	-168(%rbp), %rax                ## 8-byte Reload
	movl	12(%r12,%rax,8), %esi
	leaq	-192(%rbp), %rdi
	callq	_BN_hex2bn
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_28
## %bb.38:
	movq	-168(%rbp), %rax                ## 8-byte Reload
	movl	8(%r12,%rax,8), %esi
	leaq	-232(%rbp), %rdi
	callq	_BN_hex2bn
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_28
## %bb.39:
	movq	-192(%rbp), %rdx
	movq	-232(%rbp), %rcx
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_GROUP_set_generator
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_28
## %bb.40:
	movq	-168(%rbp), %rbx                ## 8-byte Reload
	movl	4(%r12,%rbx,8), %esi
	leaq	L_.str(%rip), %rdi
	callq	_TEST_info
	movq	-200(%rbp), %rsi
	leaq	L_.str.1(%rip), %rdi
	callq	_test_output_bignum
	movq	-176(%rbp), %rsi
	leaq	L_.str.2(%rip), %rdi
	callq	_test_output_bignum
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_get_degree
	movl	(%r12,%rbx,8), %esi
	movl	%eax, %edi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_28
## %bb.41:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	callq	_group_order_tests
	xorl	%ecx, %ecx
	movq	%rcx, -160(%rbp)                ## 8-byte Spill
	testl	%eax, %eax
	je	LBB0_36
## %bb.42:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_method_of
	movl	%eax, %edi
	callq	_EC_GROUP_new
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_72
## %bb.43:
	movq	-168(%rbp), %rdi                ## 8-byte Reload
	movq	-120(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_GROUP_copy
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.44:
	movq	(%r14), %rdi
	callq	_OSSL_NELEM
	decl	%eax
	cmpl	%r13d, %eax
	jne	LBB0_70
## %bb.45:
	movq	-200(%rbp), %rdx
	movq	-176(%rbp), %rcx
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	movq	-184(%rbp), %r8                 ## 8-byte Reload
	callq	_EC_POINT_set_affine_coordinates
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.46:
	movq	-136(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_POINT_copy
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.47:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-136(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_POINT_is_at_infinity
	movq	%rax, %rdi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_72
## %bb.48:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rdx                ## 8-byte Reload
	movq	%rdx, %rsi
	movq	-184(%rbp), %rcx                ## 8-byte Reload
	callq	_EC_POINT_dbl
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.49:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	movq	-184(%rbp), %rdx                ## 8-byte Reload
	callq	_EC_POINT_is_on_curve
	xorl	%ecx, %ecx
	movq	%rcx, -160(%rbp)                ## 8-byte Spill
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_TEST_int_gt
	testl	%eax, %eax
	je	LBB0_72
## %bb.50:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-136(%rbp), %rsi                ## 8-byte Reload
	movq	-184(%rbp), %rdx                ## 8-byte Reload
	callq	_EC_POINT_invert
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.51:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-152(%rbp), %rsi                ## 8-byte Reload
	movq	-128(%rbp), %rdx                ## 8-byte Reload
	movq	-136(%rbp), %rcx                ## 8-byte Reload
	movq	-184(%rbp), %r8                 ## 8-byte Reload
	callq	_EC_POINT_add
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.52:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-152(%rbp), %rdx                ## 8-byte Reload
	movq	%rdx, %rsi
	movq	-136(%rbp), %rcx                ## 8-byte Reload
	movq	-184(%rbp), %r8                 ## 8-byte Reload
	callq	_EC_POINT_add
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.53:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-152(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_POINT_is_at_infinity
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.54:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-136(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_POINT_is_at_infinity
	movq	%rax, %rdi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_72
## %bb.55:
	movq	-136(%rbp), %rax                ## 8-byte Reload
	movq	%rax, -80(%rbp)
	movq	%rax, -72(%rbp)
	movq	%rax, -64(%rbp)
	movq	-176(%rbp), %rbx
	movq	-192(%rbp), %r14
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	%rbx, %rdi
	movq	%r14, %rsi
	movq	%rax, %rdx
	callq	_BN_add
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.56:
	movq	-176(%rbp), %rdi
	callq	_TEST_BN_even
	testl	%eax, %eax
	je	LBB0_72
## %bb.57:
	movq	-176(%rbp), %rdi
	movq	%rdi, %rsi
	callq	_BN_rshift1
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.58:
	movq	-176(%rbp), %rax
	movq	%rax, -112(%rbp)
	movq	%rax, -104(%rbp)
	leaq	L_.str.3(%rip), %rdi
	callq	_TEST_note
	movq	-184(%rbp), %rax                ## 8-byte Reload
	movq	%rax, (%rsp)
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	leaq	-80(%rbp), %r8
	leaq	-112(%rbp), %r9
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	xorl	%edx, %edx
	movl	$2, %ecx
	callq	_EC_POINTs_mul
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.59:
	movq	-192(%rbp), %rdx
	movq	-184(%rbp), %rax                ## 8-byte Reload
	movq	%rax, (%rsp)
	leaq	-80(%rbp), %r8
	leaq	-112(%rbp), %r9
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-152(%rbp), %rsi                ## 8-byte Reload
	movl	$2, %ecx
	callq	_EC_POINTs_mul
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.60:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	movq	-152(%rbp), %rdx                ## 8-byte Reload
	movq	-184(%rbp), %rcx                ## 8-byte Reload
	callq	_EC_POINT_cmp
	xorl	%ecx, %ecx
	movq	%rcx, -160(%rbp)                ## 8-byte Spill
	xorl	%edi, %edi
	movl	%eax, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_72
## %bb.61:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-152(%rbp), %rsi                ## 8-byte Reload
	movq	-136(%rbp), %rdx                ## 8-byte Reload
	movq	-184(%rbp), %rcx                ## 8-byte Reload
	callq	_EC_POINT_cmp
	xorl	%ecx, %ecx
	movq	%rcx, -160(%rbp)                ## 8-byte Spill
	xorl	%edi, %edi
	movl	%eax, %esi
	callq	_TEST_int_eq
	testl	%eax, %eax
	je	LBB0_72
## %bb.62:
	movq	-176(%rbp), %rbx
	movq	%rbx, %rdi
	callq	_BN_num_bits
	xorl	%ecx, %ecx
	movq	%rcx, -160(%rbp)                ## 8-byte Spill
	movq	%rbx, %rdi
	movq	%rax, %rsi
	xorl	%edx, %edx
	xorl	%ecx, %ecx
	callq	_BN_rand
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.63:
	movq	-192(%rbp), %rdi
	movq	-176(%rbp), %rdx
	movq	%rdi, %rsi
	callq	_BN_add
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.64:
	movq	-192(%rbp), %rdi
	movl	$1, %esi
	callq	_BN_set_negative
	movq	-176(%rbp), %rax
	movq	%rax, -112(%rbp)
	movq	-192(%rbp), %rax
	movq	%rax, -104(%rbp)
	movq	-184(%rbp), %rax                ## 8-byte Reload
	movq	%rax, (%rsp)
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	leaq	-80(%rbp), %r8
	leaq	-112(%rbp), %r9
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	xorl	%edx, %edx
	movl	$2, %ecx
	callq	_EC_POINTs_mul
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.65:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_POINT_is_at_infinity
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.66:
	movq	-200(%rbp), %rbx
	movq	-176(%rbp), %rdi
	callq	_BN_num_bits
	leaq	-1(%rax), %rsi
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	movq	%rbx, %rdi
	xorl	%edx, %edx
	xorl	%ecx, %ecx
	callq	_BN_rand
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.67:
	movq	-192(%rbp), %rdi
	movq	-200(%rbp), %rsi
	movq	-176(%rbp), %rdx
	callq	_BN_add
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.68:
	movq	-192(%rbp), %rdi
	movl	$1, %esi
	callq	_BN_set_negative
	movq	-200(%rbp), %rax
	movq	%rax, -112(%rbp)
	movq	-176(%rbp), %rax
	movq	%rax, -104(%rbp)
	movq	-192(%rbp), %rax
	movq	%rax, -96(%rbp)
	movq	-184(%rbp), %rax                ## 8-byte Reload
	movq	%rax, (%rsp)
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	leaq	-80(%rbp), %r8
	leaq	-112(%rbp), %r9
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	xorl	%edx, %edx
	movl	$3, %ecx
	callq	_EC_POINTs_mul
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.69:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	callq	_EC_POINT_is_at_infinity
	movq	%rax, %rdi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
LBB0_70:
	movl	$1, %eax
	jmp	LBB0_71
LBB0_1:
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	xorl	%ebx, %ebx
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	xorl	%r15d, %r15d
LBB0_75:
	movq	-184(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_CTX_free
	movq	-224(%rbp), %rdi
	callq	_BN_free
	movq	-216(%rbp), %rdi
	callq	_BN_free
	movq	-208(%rbp), %rdi
	callq	_BN_free
	movq	-200(%rbp), %rdi
	callq	_BN_free
	movq	-176(%rbp), %rdi
	callq	_BN_free
	movq	-192(%rbp), %rdi
	callq	_BN_free
	movq	%rbx, %rdi
	callq	_BN_free
	movq	-232(%rbp), %rdi
	callq	_BN_free
	movq	%r12, %rdi
	callq	_EC_POINT_free
	movq	%r13, %rdi
	callq	_EC_POINT_free
	movq	%r15, %rdi
	callq	_EC_POINT_free
	movq	%r14, %rdi
	callq	_EC_GROUP_free
	movq	-168(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_GROUP_free
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_77
## %bb.76:
	movq	-160(%rbp), %rax                ## 8-byte Reload
                                        ## kill: def $eax killed $eax killed $rax
	addq	$200, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_11:
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	xorl	%r15d, %r15d
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	movq	-144(%rbp), %rbx                ## 8-byte Reload
	jmp	LBB0_75
LBB0_9:
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	xorl	%r15d, %r15d
	movq	-144(%rbp), %rbx                ## 8-byte Reload
	jmp	LBB0_75
LBB0_15:
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	xorl	%r15d, %r15d
	jmp	LBB0_19
LBB0_17:
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	xorl	%r15d, %r15d
	jmp	LBB0_18
LBB0_21:
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	xorl	%r13d, %r13d
	xorl	%r15d, %r15d
	movq	-128(%rbp), %r12                ## 8-byte Reload
LBB0_18:
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
LBB0_19:
	movq	-144(%rbp), %rbx                ## 8-byte Reload
	movq	-120(%rbp), %r14                ## 8-byte Reload
	jmp	LBB0_75
LBB0_25:
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	movq	-128(%rbp), %r12                ## 8-byte Reload
LBB0_33:
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	movq	-144(%rbp), %rbx                ## 8-byte Reload
	movq	-120(%rbp), %r14                ## 8-byte Reload
	jmp	LBB0_74
LBB0_23:
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	xorl	%r15d, %r15d
	movq	-128(%rbp), %r12                ## 8-byte Reload
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	movq	-144(%rbp), %rbx                ## 8-byte Reload
	movq	-120(%rbp), %r14                ## 8-byte Reload
	movq	-136(%rbp), %r13                ## 8-byte Reload
	jmp	LBB0_75
LBB0_28:
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
LBB0_71:
	movq	%rax, -160(%rbp)                ## 8-byte Spill
LBB0_72:
	movq	-144(%rbp), %rbx                ## 8-byte Reload
	jmp	LBB0_73
LBB0_30:
	xorl	%eax, %eax
	movq	%rax, -160(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	movq	%r15, %rbx
LBB0_73:
	movq	-120(%rbp), %r14                ## 8-byte Reload
	movq	-128(%rbp), %r12                ## 8-byte Reload
LBB0_74:
	movq	-136(%rbp), %r13                ## 8-byte Reload
	movq	-152(%rbp), %r15                ## 8-byte Reload
	jmp	LBB0_75
LBB0_32:
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	movq	%r15, %r12
	jmp	LBB0_33
LBB0_36:
	xorl	%eax, %eax
	movq	%rax, -168(%rbp)                ## 8-byte Spill
	jmp	LBB0_72
LBB0_77:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_char2_curve_tests,8,3          ## @char2_curve_tests
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"%s -- Generator:"

L_.str.1:                               ## @.str.1
	.asciz	"x"

L_.str.2:                               ## @.str.2
	.asciz	"y"

L_.str.3:                               ## @.str.3
	.asciz	"combined multiplication ..."

	.no_dead_strip	_char2_curve_test
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function char2_curve_test
_char2_curve_test:                      ; @char2_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
	mov	x25, x0
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
	stp	xzr, xzr, [sp, #56]
	stp	xzr, xzr, [sp, #40]
	stp	xzr, xzr, [sp, #24]
	str	xzr, [sp, #16]
Lloh3:
	adrp	x27, _char2_curve_tests@GOTPAGE
Lloh4:
	ldr	x27, [x27, _char2_curve_tests@GOTPAGEOFF]
	ldr	x28, [x27]
	bl	_BN_CTX_new
	mov	x19, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_56
; %bb.1:
	bl	_BN_new
	str	x0, [sp, #64]
	bl	_TEST_ptr
	cbz	w0, LBB0_56
; %bb.2:
	bl	_BN_new
	str	x0, [sp, #56]
	bl	_TEST_ptr
	cbz	w0, LBB0_56
; %bb.3:
	bl	_BN_new
	str	x0, [sp, #48]
	bl	_TEST_ptr
	cbz	w0, LBB0_56
; %bb.4:
	bl	_BN_new
	str	x0, [sp, #40]
	bl	_TEST_ptr
	cbz	w0, LBB0_56
; %bb.5:
	bl	_BN_new
	str	x0, [sp, #32]
	bl	_TEST_ptr
	cbz	w0, LBB0_56
; %bb.6:
	bl	_BN_new
	str	x0, [sp, #24]
	bl	_TEST_ptr
	cbz	w0, LBB0_56
; %bb.7:
	bl	_BN_new
	mov	x20, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_57
; %bb.8:
	sxtw	x26, w25
	mov	w8, #40
	madd	x8, x26, x8, x28
	ldr	w1, [x8, #36]
	add	x0, sp, #64
	bl	_BN_hex2bn
	bl	_TEST_true
	cbz	w0, LBB0_57
; %bb.9:
	mov	w8, #40
	madd	x8, x26, x8, x28
	ldr	w1, [x8, #32]
	add	x0, sp, #56
	bl	_BN_hex2bn
	bl	_TEST_true
	cbz	w0, LBB0_57
; %bb.10:
	mov	w8, #40
	madd	x8, x26, x8, x28
	ldr	w1, [x8, #28]
	add	x0, sp, #48
	bl	_BN_hex2bn
	bl	_TEST_true
	cbz	w0, LBB0_57
; %bb.11:
	bl	_EC_GF2m_simple_method
	bl	_EC_GROUP_new
	mov	x21, x0
	bl	_TEST_true
	cbz	w0, LBB0_58
; %bb.12:
	ldp	x2, x1, [sp, #56]
	ldr	x3, [sp, #48]
	mov	x0, x21
	mov	x4, x19
	bl	_EC_GROUP_set_curve
	bl	_TEST_true
	cbz	w0, LBB0_58
; %bb.13:
	mov	x0, x21
	bl	_EC_POINT_new
	mov	x22, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_65
; %bb.14:
	mov	x0, x21
	bl	_EC_POINT_new
	mov	x23, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_66
; %bb.15:
	mov	x0, x21
	bl	_EC_POINT_new
	mov	x24, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_64
; %bb.16:
	mov	w8, #40
	madd	x8, x26, x8, x28
	ldr	w1, [x8, #24]
	add	x0, sp, #40
	bl	_BN_hex2bn
	bl	_TEST_true
	cbz	w0, LBB0_64
; %bb.17:
	mov	w8, #40
	madd	x8, x26, x8, x28
	ldr	w1, [x8, #16]
	add	x0, sp, #32
	bl	_BN_hex2bn
	bl	_TEST_true
	cbz	w0, LBB0_64
; %bb.18:
	ldr	x8, [sp, #32]
	str	x8, [sp, #8]                    ; 8-byte Folded Spill
	bl	_BN_value_one
	mov	x2, x0
	mov	x0, x20
	ldr	x1, [sp, #8]                    ; 8-byte Folded Reload
	bl	_BN_add
	bl	_TEST_true
	cbz	w0, LBB0_64
; %bb.19:
	ldr	x2, [sp, #40]
	mov	x0, x21
	mov	x1, x22
	mov	x3, x20
	mov	x4, x19
	bl	_EC_POINT_set_affine_coordinates
	bl	_TEST_false
	cbz	w0, LBB0_64
; %bb.20:
	str	x25, [sp, #8]                   ; 8-byte Folded Spill
	ldp	x3, x2, [sp, #32]
	mov	x0, x21
	mov	x1, x22
	mov	x4, x19
	bl	_EC_POINT_set_affine_coordinates
	bl	_TEST_true
	cbz	w0, LBB0_64
; %bb.21:
	mov	x0, x21
	mov	x1, x22
	mov	x2, x19
	bl	_EC_POINT_is_on_curve
	mov	w1, #0
	bl	_TEST_int_gt
	cbz	w0, LBB0_64
; %bb.22:
	mov	w8, #40
	madd	x8, x26, x8, x28
	ldr	w1, [x8, #12]
	add	x0, sp, #24
	bl	_BN_hex2bn
	bl	_TEST_true
	cbz	w0, LBB0_64
; %bb.23:
	mov	w8, #40
	madd	x8, x26, x8, x28
	ldr	w1, [x8, #8]
	add	x0, sp, #16
	bl	_BN_hex2bn
	bl	_TEST_true
	cbz	w0, LBB0_64
; %bb.24:
	ldp	x3, x2, [sp, #16]
	mov	x0, x21
	mov	x1, x22
	bl	_EC_GROUP_set_generator
	bl	_TEST_true
	cbz	w0, LBB0_64
; %bb.25:
	mov	w8, #40
	madd	x25, x26, x8, x28
	ldr	w1, [x25, #4]
Lloh5:
	adrp	x0, l_.str@PAGE
Lloh6:
	add	x0, x0, l_.str@PAGEOFF
	bl	_TEST_info
	ldr	x1, [sp, #40]
Lloh7:
	adrp	x0, l_.str.1@PAGE
Lloh8:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_test_output_bignum
	ldr	x1, [sp, #32]
Lloh9:
	adrp	x0, l_.str.2@PAGE
Lloh10:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_test_output_bignum
	mov	x0, x21
	bl	_EC_GROUP_get_degree
	ldr	w1, [x25]
	bl	_TEST_int_eq
	cbz	w0, LBB0_64
; %bb.26:
	mov	x0, x21
	bl	_group_order_tests
	cbz	w0, LBB0_64
; %bb.27:
	mov	x0, x21
	bl	_EC_GROUP_method_of
	bl	_EC_GROUP_new
	mov	x25, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_61
; %bb.28:
	mov	x0, x25
	mov	x1, x21
	bl	_EC_GROUP_copy
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.29:
	ldr	x0, [x27]
	bl	_OSSL_NELEM
	sub	w9, w0, #1
	ldr	x8, [sp, #8]                    ; 8-byte Folded Reload
	cmp	w9, w8
	b.ne	LBB0_55
; %bb.30:
	ldp	x3, x2, [sp, #32]
	mov	x0, x21
	mov	x1, x22
	mov	x4, x19
	bl	_EC_POINT_set_affine_coordinates
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.31:
	mov	x0, x23
	mov	x1, x22
	bl	_EC_POINT_copy
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.32:
	mov	x0, x21
	mov	x1, x23
	bl	_EC_POINT_is_at_infinity
	bl	_TEST_false
	cbz	w0, LBB0_61
; %bb.33:
	mov	x0, x21
	mov	x1, x22
	mov	x2, x22
	mov	x3, x19
	bl	_EC_POINT_dbl
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.34:
	mov	x0, x21
	mov	x1, x22
	mov	x2, x19
	bl	_EC_POINT_is_on_curve
	mov	w1, #0
	bl	_TEST_int_gt
	cbz	w0, LBB0_61
; %bb.35:
	mov	x0, x21
	mov	x1, x23
	mov	x2, x19
	bl	_EC_POINT_invert
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.36:
	mov	x0, x21
	mov	x1, x24
	mov	x2, x22
	mov	x3, x23
	mov	x4, x19
	bl	_EC_POINT_add
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.37:
	mov	x0, x21
	mov	x1, x24
	mov	x2, x24
	mov	x3, x23
	mov	x4, x19
	bl	_EC_POINT_add
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.38:
	mov	x0, x21
	mov	x1, x24
	bl	_EC_POINT_is_at_infinity
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.39:
	mov	x0, x21
	mov	x1, x23
	bl	_EC_POINT_is_at_infinity
	bl	_TEST_false
	cbz	w0, LBB0_61
; %bb.40:
	stp	x23, x23, [sp, #96]
	str	x23, [sp, #112]
	ldp	x27, x26, [sp, #24]
	bl	_BN_value_one
	mov	x2, x0
	mov	x0, x26
	mov	x1, x27
	bl	_BN_add
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.41:
	ldr	x0, [sp, #32]
	bl	_TEST_BN_even
	cbz	w0, LBB0_61
; %bb.42:
	ldr	x0, [sp, #32]
	mov	x1, x0
	bl	_BN_rshift1
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.43:
	ldr	x8, [sp, #32]
	stp	x8, x8, [sp, #72]
Lloh11:
	adrp	x0, l_.str.3@PAGE
Lloh12:
	add	x0, x0, l_.str.3@PAGEOFF
	bl	_TEST_note
	add	x4, sp, #96
	add	x5, sp, #72
	mov	x0, x21
	mov	x1, x22
	mov	x2, #0
	mov	w3, #2
	mov	x6, x19
	bl	_EC_POINTs_mul
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.44:
	ldr	x2, [sp, #24]
	add	x4, sp, #96
	add	x5, sp, #72
	mov	x0, x21
	mov	x1, x24
	mov	w3, #2
	mov	x6, x19
	bl	_EC_POINTs_mul
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.45:
	mov	x0, x21
	mov	x1, x22
	mov	x2, x24
	mov	x3, x19
	bl	_EC_POINT_cmp
	mov	x1, x0
	mov	w0, #0
	bl	_TEST_int_eq
	cbz	w0, LBB0_61
; %bb.46:
	mov	x0, x21
	mov	x1, x24
	mov	x2, x23
	mov	x3, x19
	bl	_EC_POINT_cmp
	mov	x1, x0
	mov	w0, #0
	bl	_TEST_int_eq
	cbz	w0, LBB0_61
; %bb.47:
	ldr	x26, [sp, #32]
	mov	x0, x26
	bl	_BN_num_bits
	mov	x1, x0
	mov	x0, x26
	mov	w2, #0
	mov	w3, #0
	bl	_BN_rand
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.48:
	ldp	x0, x2, [sp, #24]
	mov	x1, x0
	bl	_BN_add
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.49:
	ldr	x0, [sp, #24]
	mov	w1, #1
	bl	_BN_set_negative
	ldp	x9, x8, [sp, #24]
	stp	x8, x9, [sp, #72]
	add	x4, sp, #96
	add	x5, sp, #72
	mov	x0, x21
	mov	x1, x22
	mov	x2, #0
	mov	w3, #2
	mov	x6, x19
	bl	_EC_POINTs_mul
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.50:
	mov	x0, x21
	mov	x1, x22
	bl	_EC_POINT_is_at_infinity
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.51:
	ldp	x0, x26, [sp, #32]
	bl	_BN_num_bits
	sub	x1, x0, #1
	mov	x0, x26
	mov	w2, #0
	mov	w3, #0
	bl	_BN_rand
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.52:
	ldp	x0, x2, [sp, #24]
	ldr	x1, [sp, #40]
	bl	_BN_add
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.53:
	ldr	x0, [sp, #24]
	mov	w1, #1
	bl	_BN_set_negative
	ldp	x9, x8, [sp, #32]
	stp	x8, x9, [sp, #72]
	ldr	x8, [sp, #24]
	str	x8, [sp, #88]
	add	x4, sp, #96
	add	x5, sp, #72
	mov	x0, x21
	mov	x1, x22
	mov	x2, #0
	mov	w3, #3
	mov	x6, x19
	bl	_EC_POINTs_mul
	bl	_TEST_true
	cbz	w0, LBB0_61
; %bb.54:
	mov	x0, x21
	mov	x1, x22
	bl	_EC_POINT_is_at_infinity
	bl	_TEST_true
	cbz	w0, LBB0_61
LBB0_55:
	mov	w26, #1
	b	LBB0_62
LBB0_56:
	mov	x20, #0
LBB0_57:
	mov	x21, #0
LBB0_58:
	mov	x25, #0
	mov	x22, #0
LBB0_59:
	mov	x23, #0
LBB0_60:
	mov	x24, #0
LBB0_61:
	mov	w26, #0
LBB0_62:
	mov	x0, x19
	bl	_BN_CTX_free
	ldr	x0, [sp, #64]
	bl	_BN_free
	ldr	x0, [sp, #56]
	bl	_BN_free
	ldr	x0, [sp, #48]
	bl	_BN_free
	ldr	x0, [sp, #40]
	bl	_BN_free
	ldr	x0, [sp, #32]
	bl	_BN_free
	ldr	x0, [sp, #24]
	bl	_BN_free
	mov	x0, x20
	bl	_BN_free
	ldr	x0, [sp, #16]
	bl	_BN_free
	mov	x0, x22
	bl	_EC_POINT_free
	mov	x0, x23
	bl	_EC_POINT_free
	mov	x0, x24
	bl	_EC_POINT_free
	mov	x0, x21
	bl	_EC_GROUP_free
	mov	x0, x25
	bl	_EC_GROUP_free
	ldur	x8, [x29, #-88]
Lloh13:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh14:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh15:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_67
; %bb.63:
	mov	x0, x26
	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_64:
	mov	x25, #0
	b	LBB0_61
LBB0_65:
	mov	x25, #0
	b	LBB0_59
LBB0_66:
	mov	x25, #0
	b	LBB0_60
LBB0_67:
	bl	___stack_chk_fail
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.cfi_endproc
                                        ; -- End function
	.comm	_char2_curve_tests,8,3          ; @char2_curve_tests
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"%s -- Generator:"

l_.str.1:                               ; @.str.1
	.asciz	"x"

l_.str.2:                               ; @.str.2
	.asciz	"y"

l_.str.3:                               ; @.str.3
	.asciz	"combined multiplication ..."

	.no_dead_strip	_char2_curve_test
.subsections_via_symbols
