	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function dh_test
_dh_test:                               ## @dh_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	$168, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	$0, -160(%rbp)
	movq	$0, -152(%rbp)
	movq	$0, -128(%rbp)
	movq	$0, -144(%rbp)
	movq	$0, -136(%rbp)
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	callq	_DH_new
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%rbx, -112(%rbp)                ## 8-byte Spill
	je	LBB0_65
## %bb.1:
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r13
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_66
## %bb.2:
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_67
## %bb.3:
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r12
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_68
## %bb.4:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_68
## %bb.5:
	movl	$4079, %esi                     ## imm = 0xFEF
	movq	%r13, %rdi
	callq	_BN_set_word
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_68
## %bb.6:
	movl	$2039, %esi                     ## imm = 0x7F7
	movq	%r15, %rdi
	callq	_BN_set_word
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_68
## %bb.7:
	movl	$3, %esi
	movq	%r12, %rdi
	callq	_BN_set_word
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_68
## %bb.8:
	movq	%rbx, %rdi
	movq	%r13, %rsi
	movq	%r15, %rdx
	movq	%r12, %rcx
	callq	_DH_set0_pqg
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_68
## %bb.9:
	leaq	-52(%rbp), %rsi
	movq	%rbx, %rdi
	callq	_DH_check
	testl	%eax, %eax
	je	LBB0_69
## %bb.10:
	movq	_DH_MODULUS_TOO_SMALL@GOTPCREL(%rip), %rax
	movl	-52(%rbp), %edi
	xorl	(%rax), %edi
	movl	%edi, -52(%rbp)
	movq	_DH_CHECK_P_NOT_PRIME@GOTPCREL(%rip), %rax
	andl	(%rax), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.11:
	movq	_DH_CHECK_P_NOT_SAFE_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.12:
	movq	_DH_UNABLE_TO_CHECK_GENERATOR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.13:
	movq	_DH_NOT_SUITABLE_GENERATOR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.14:
	movq	_DH_CHECK_Q_NOT_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.15:
	movq	_DH_CHECK_INVALID_Q_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.16:
	movq	_DH_CHECK_INVALID_J_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.17:
	movq	_DH_MODULUS_TOO_SMALL@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.18:
	movq	_DH_MODULUS_TOO_LARGE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.19:
	movl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_69
## %bb.20:
	movq	%r14, -48(%rbp)                 ## 8-byte Spill
	leaq	-200(%rbp), %rsi
	leaq	-192(%rbp), %rdx
	leaq	-184(%rbp), %rcx
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_get0_pqg
	movq	-200(%rbp), %rdi
	movq	%r13, %rsi
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_72
## %bb.21:
	movq	-192(%rbp), %rdi
	movq	%r15, %rsi
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_72
## %bb.22:
	movq	-184(%rbp), %rdi
	movq	%r12, %rsi
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_72
## %bb.23:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_get0_p
	movq	-200(%rbp), %rsi
	movq	%rax, %rdi
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_72
## %bb.24:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_get0_q
	movq	-192(%rbp), %rsi
	movq	%rax, %rdi
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_72
## %bb.25:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_get0_g
	movq	-184(%rbp), %rsi
	movq	%rax, %rdi
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_72
## %bb.26:
	movl	$1234, %esi                     ## imm = 0x4D2
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_set_word
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.27:
	xorl	%r13d, %r13d
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	xorl	%esi, %esi
	movq	-48(%rbp), %rdx                 ## 8-byte Reload
	callq	_DH_set0_key
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_72
## %bb.28:
	leaq	-176(%rbp), %rsi
	leaq	-168(%rbp), %rdx
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_get0_key
	movq	-176(%rbp), %rdi
	xorl	%esi, %esi
	callq	_TEST_ptr_eq
	movl	$0, %r14d
	movl	$0, %ecx
	movq	%rcx, -96(%rbp)                 ## 8-byte Spill
	movl	$0, %ecx
	movq	%rcx, -88(%rbp)                 ## 8-byte Spill
	movl	$0, %ecx
	movq	%rcx, -80(%rbp)                 ## 8-byte Spill
	movl	$0, %ecx
	movq	%rcx, -72(%rbp)                 ## 8-byte Spill
	movl	$0, %ecx
	movq	%rcx, -64(%rbp)                 ## 8-byte Spill
	movl	$0, %edi
	movl	$0, %r15d
	movl	$0, %r12d
	movl	$0, %ebx
	testl	%eax, %eax
	je	LBB0_71
## %bb.29:
	movq	-168(%rbp), %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_70
## %bb.30:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_get0_pub_key
	movq	-176(%rbp), %rsi
	movq	%rax, %rdi
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_70
## %bb.31:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_get0_priv_key
	movq	-168(%rbp), %rsi
	movq	%rax, %rdi
	callq	_TEST_ptr_eq
	testl	%eax, %eax
	je	LBB0_70
## %bb.32:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_generate_key
	movl	%eax, %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_70
## %bb.33:
	xorl	%r13d, %r13d
	xorl	%eax, %eax
	callq	_ERR_clear_error
	xorl	%eax, %eax
	callq	_BN_GENCB_new
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_86
## %bb.34:
	movq	_cb@GOTPCREL(%rip), %rsi
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	xorl	%edx, %edx
	callq	_BN_GENCB_set
	xorl	%eax, %eax
	callq	_DH_new
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_87
## %bb.35:
	movq	_DH_GENERATOR_5@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%r14, %rdi
	movl	$512, %esi                      ## imm = 0x200
	movq	-48(%rbp), %rcx                 ## 8-byte Reload
	callq	_DH_generate_parameters_ex
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_80
## %bb.36:
	leaq	-52(%rbp), %rsi
	movq	%r14, %rdi
	callq	_DH_check
	testl	%eax, %eax
	je	LBB0_80
## %bb.37:
	movq	_DH_CHECK_P_NOT_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.38:
	movq	_DH_CHECK_P_NOT_SAFE_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.39:
	movq	_DH_UNABLE_TO_CHECK_GENERATOR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.40:
	movq	_DH_NOT_SUITABLE_GENERATOR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.41:
	movq	_DH_CHECK_Q_NOT_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.42:
	movq	_DH_CHECK_INVALID_Q_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.43:
	movq	_DH_CHECK_INVALID_J_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.44:
	movq	_DH_MODULUS_TOO_SMALL@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.45:
	movq	_DH_MODULUS_TOO_LARGE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	andl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.46:
	movl	-52(%rbp), %edi
	callq	_TEST_false
	testl	%eax, %eax
	je	LBB0_80
## %bb.47:
	leaq	-160(%rbp), %rsi
	leaq	-152(%rbp), %rcx
	movq	%r14, %rdi
	xorl	%edx, %edx
	callq	_DH_get0_pqg
	xorl	%eax, %eax
	callq	_DH_new
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_88
## %bb.48:
	movq	-160(%rbp), %rdi
	callq	_BN_dup
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_90
## %bb.49:
	movq	-152(%rbp), %rdi
	callq	_BN_dup
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_91
## %bb.50:
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	movq	-80(%rbp), %rsi                 ## 8-byte Reload
	xorl	%edx, %edx
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	callq	_DH_set0_pqg
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_89
## %bb.51:
	movq	%r14, %rdi
	callq	_DH_generate_key
	testl	%eax, %eax
	je	LBB0_81
## %bb.52:
	leaq	-128(%rbp), %rsi
	movq	%r14, %rdi
	xorl	%edx, %edx
	callq	_DH_get0_key
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	callq	_DH_generate_key
	testl	%eax, %eax
	je	LBB0_88
## %bb.53:
	leaq	-144(%rbp), %rsi
	leaq	-136(%rbp), %rdx
	movq	-96(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	callq	_DH_get0_key
	movq	%rbx, %rdi
	callq	_DHparams_dup
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_82
## %bb.54:
	movq	-136(%rbp), %rdi
	callq	_BN_dup
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_92
## %bb.55:
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	xorl	%esi, %esi
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	callq	_DH_set0_key
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_94
## %bb.56:
	movq	%r14, %rdi
	callq	_DH_size
	movl	%eax, %edi
	callq	_OPENSSL_malloc
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_93
## %bb.57:
	movq	-144(%rbp), %rsi
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	movq	%r14, %rdx
	callq	_DH_compute_key
	movl	%eax, %ebx
	xorl	%edi, %edi
	cmpl	$-1, %eax
	setne	%dil
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_93
## %bb.58:
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	callq	_DH_size
	movl	%eax, %edi
	callq	_OPENSSL_malloc
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_95
## %bb.59:
	movq	-128(%rbp), %rsi
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	-96(%rbp), %rdx                 ## 8-byte Reload
	callq	_DH_compute_key
	movl	%eax, %r13d
	xorl	%edi, %edi
	cmpl	$-1, %eax
	setne	%dil
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_95
## %bb.60:
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	callq	_DH_size
	movl	%eax, %edi
	callq	_OPENSSL_malloc
	movq	%rax, %r12
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_96
## %bb.61:
	movq	-128(%rbp), %rsi
	movq	%r12, %rdi
	movq	-88(%rbp), %rdx                 ## 8-byte Reload
	callq	_DH_compute_key
	movl	%eax, %r15d
	xorl	%edi, %edi
	cmpl	$-1, %eax
	setne	%dil
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_96
## %bb.62:
	xorl	%edi, %edi
	cmpl	$20, %ebx
	setge	%dil
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_96
## %bb.63:
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	movl	%ebx, %esi
	movq	-120(%rbp), %rdx                ## 8-byte Reload
	movl	%r13d, %ecx
	callq	_TEST_mem_eq
	testl	%eax, %eax
	je	LBB0_96
## %bb.64:
	movq	-104(%rbp), %r13                ## 8-byte Reload
	movq	%r13, %rdi
	movl	%ebx, %esi
	movq	%r12, %rdx
	movl	%r15d, %ecx
	callq	_TEST_mem_eq
	movq	%r13, %rdi
	xorl	%r13d, %r13d
	testl	%eax, %eax
	setne	%r13b
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	jmp	LBB0_98
LBB0_65:
	xorl	%r12d, %r12d
	xorl	%r15d, %r15d
	xorl	%r13d, %r13d
	jmp	LBB0_68
LBB0_66:
	xorl	%r12d, %r12d
	xorl	%r15d, %r15d
	jmp	LBB0_68
LBB0_67:
	xorl	%r12d, %r12d
LBB0_68:
	movq	%r13, %rdi
	callq	_BN_free
	movq	%r15, %rdi
	callq	_BN_free
	movq	%r12, %rdi
	callq	_BN_free
LBB0_69:
	movq	%r14, %rdi
	callq	_BN_free
LBB0_70:
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	xorl	%edi, %edi
	xorl	%r15d, %r15d
	xorl	%r12d, %r12d
	xorl	%ebx, %ebx
	xorl	%r13d, %r13d
LBB0_71:
	callq	_OPENSSL_free
	movq	%r15, %rdi
	callq	_OPENSSL_free
	movq	%r12, %rdi
	callq	_OPENSSL_free
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	callq	_DH_free
	movq	%r14, %rdi
	callq	_DH_free
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	callq	_DH_free
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_free
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_free
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_free
	movq	%rbx, %rdi
	callq	_BN_GENCB_free
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_DH_free
	movl	%r13d, %eax
	addq	$168, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_72:
	movq	-48(%rbp), %r14                 ## 8-byte Reload
	jmp	LBB0_69
LBB0_80:
	xorl	%eax, %eax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
LBB0_81:
	xorl	%eax, %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
LBB0_82:
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
LBB0_83:
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
LBB0_84:
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
LBB0_85:
	xorl	%edi, %edi
	xorl	%r15d, %r15d
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	jmp	LBB0_71
LBB0_86:
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	xorl	%edi, %edi
	xorl	%r15d, %r15d
	xorl	%r12d, %r12d
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	jmp	LBB0_71
LBB0_87:
	xorl	%eax, %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	xorl	%edi, %edi
	xorl	%r15d, %r15d
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	xorl	%eax, %eax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	jmp	LBB0_71
LBB0_88:
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
LBB0_89:
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	xorl	%edi, %edi
	xorl	%r15d, %r15d
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	xorl	%eax, %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	jmp	LBB0_71
LBB0_90:
	xorl	%eax, %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	jmp	LBB0_83
LBB0_91:
	xorl	%eax, %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	jmp	LBB0_84
LBB0_92:
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	jmp	LBB0_85
LBB0_93:
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	xorl	%r15d, %r15d
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	jmp	LBB0_71
LBB0_94:
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	xorl	%edi, %edi
	xorl	%r15d, %r15d
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	jmp	LBB0_71
LBB0_95:
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	xorl	%r12d, %r12d
	jmp	LBB0_97
LBB0_96:
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
LBB0_97:
	xorl	%r13d, %r13d
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	movq	-104(%rbp), %rdi                ## 8-byte Reload
LBB0_98:
	movq	-120(%rbp), %r15                ## 8-byte Reload
	jmp	LBB0_71
	.cfi_endproc
                                        ## -- End function
	.comm	_DH_MODULUS_TOO_SMALL,4,2       ## @DH_MODULUS_TOO_SMALL
	.comm	_DH_CHECK_P_NOT_PRIME,4,2       ## @DH_CHECK_P_NOT_PRIME
	.comm	_DH_CHECK_P_NOT_SAFE_PRIME,4,2  ## @DH_CHECK_P_NOT_SAFE_PRIME
	.comm	_DH_UNABLE_TO_CHECK_GENERATOR,4,2 ## @DH_UNABLE_TO_CHECK_GENERATOR
	.comm	_DH_NOT_SUITABLE_GENERATOR,4,2  ## @DH_NOT_SUITABLE_GENERATOR
	.comm	_DH_CHECK_Q_NOT_PRIME,4,2       ## @DH_CHECK_Q_NOT_PRIME
	.comm	_DH_CHECK_INVALID_Q_VALUE,4,2   ## @DH_CHECK_INVALID_Q_VALUE
	.comm	_DH_CHECK_INVALID_J_VALUE,4,2   ## @DH_CHECK_INVALID_J_VALUE
	.comm	_DH_MODULUS_TOO_LARGE,4,2       ## @DH_MODULUS_TOO_LARGE
	.comm	_cb,4,2                         ## @cb
	.comm	_DH_GENERATOR_5,4,2             ## @DH_GENERATOR_5
	.no_dead_strip	_dh_test
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function dh_test
_dh_test:                               ; @dh_test
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #208
	.cfi_def_cfa_offset 208
	stp	x28, x27, [sp, #112]            ; 16-byte Folded Spill
	stp	x26, x25, [sp, #128]            ; 16-byte Folded Spill
	stp	x24, x23, [sp, #144]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #160]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #176]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #192]            ; 16-byte Folded Spill
	add	x29, sp, #192
	.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
	stp	xzr, xzr, [sp, #56]
	stp	xzr, xzr, [sp, #40]
	str	xzr, [sp, #32]
	bl	_DH_new
	mov	x19, x0
	bl	_TEST_ptr
	str	x19, [sp, #16]                  ; 8-byte Folded Spill
	cbz	w0, LBB0_65
; %bb.1:
	bl	_BN_new
	mov	x21, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_66
; %bb.2:
	bl	_BN_new
	mov	x22, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_67
; %bb.3:
	bl	_BN_new
	mov	x23, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_68
; %bb.4:
	bl	_BN_new
	mov	x20, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_69
; %bb.5:
	mov	x0, x21
	mov	w1, #4079
	bl	_BN_set_word
	bl	_TEST_true
	cbz	w0, LBB0_69
; %bb.6:
	mov	x0, x22
	mov	w1, #2039
	bl	_BN_set_word
	bl	_TEST_true
	cbz	w0, LBB0_69
; %bb.7:
	mov	x0, x23
	mov	w1, #3
	bl	_BN_set_word
	bl	_TEST_true
	cbz	w0, LBB0_69
; %bb.8:
	mov	x0, x19
	mov	x1, x21
	mov	x2, x22
	mov	x3, x23
	bl	_DH_set0_pqg
	bl	_TEST_true
	cbz	w0, LBB0_69
; %bb.9:
	add	x1, sp, #28
	mov	x0, x19
	bl	_DH_check
	cbz	w0, LBB0_70
; %bb.10:
Lloh0:
	adrp	x19, _DH_MODULUS_TOO_SMALL@GOTPAGE
Lloh1:
	ldr	x19, [x19, _DH_MODULUS_TOO_SMALL@GOTPAGEOFF]
	ldr	w8, [x19]
	ldr	w9, [sp, #28]
	eor	w8, w9, w8
	str	w8, [sp, #28]
Lloh2:
	adrp	x24, _DH_CHECK_P_NOT_PRIME@GOTPAGE
Lloh3:
	ldr	x24, [x24, _DH_CHECK_P_NOT_PRIME@GOTPAGEOFF]
	ldr	w9, [x24]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.11:
	ldr	w8, [sp, #28]
Lloh4:
	adrp	x25, _DH_CHECK_P_NOT_SAFE_PRIME@GOTPAGE
Lloh5:
	ldr	x25, [x25, _DH_CHECK_P_NOT_SAFE_PRIME@GOTPAGEOFF]
	ldr	w9, [x25]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.12:
	ldr	w8, [sp, #28]
Lloh6:
	adrp	x26, _DH_UNABLE_TO_CHECK_GENERATOR@GOTPAGE
Lloh7:
	ldr	x26, [x26, _DH_UNABLE_TO_CHECK_GENERATOR@GOTPAGEOFF]
	ldr	w9, [x26]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.13:
	ldr	w8, [sp, #28]
Lloh8:
	adrp	x27, _DH_NOT_SUITABLE_GENERATOR@GOTPAGE
Lloh9:
	ldr	x27, [x27, _DH_NOT_SUITABLE_GENERATOR@GOTPAGEOFF]
	ldr	w9, [x27]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.14:
	ldr	w8, [sp, #28]
Lloh10:
	adrp	x28, _DH_CHECK_Q_NOT_PRIME@GOTPAGE
Lloh11:
	ldr	x28, [x28, _DH_CHECK_Q_NOT_PRIME@GOTPAGEOFF]
	ldr	w9, [x28]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.15:
	ldr	w8, [sp, #28]
Lloh12:
	adrp	x9, _DH_CHECK_INVALID_Q_VALUE@GOTPAGE
Lloh13:
	ldr	x9, [x9, _DH_CHECK_INVALID_Q_VALUE@GOTPAGEOFF]
Lloh14:
	ldr	w9, [x9]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.16:
	ldr	w8, [sp, #28]
Lloh15:
	adrp	x9, _DH_CHECK_INVALID_J_VALUE@GOTPAGE
Lloh16:
	ldr	x9, [x9, _DH_CHECK_INVALID_J_VALUE@GOTPAGEOFF]
Lloh17:
	ldr	w9, [x9]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.17:
	ldr	w8, [sp, #28]
	ldr	w9, [x19]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.18:
	ldr	w8, [sp, #28]
Lloh18:
	adrp	x9, _DH_MODULUS_TOO_LARGE@GOTPAGE
Lloh19:
	ldr	x9, [x9, _DH_MODULUS_TOO_LARGE@GOTPAGEOFF]
Lloh20:
	ldr	w9, [x9]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.19:
	ldr	w0, [sp, #28]
	bl	_TEST_false
	cbz	w0, LBB0_70
; %bb.20:
	sub	x1, x29, #88
	add	x2, sp, #96
	add	x3, sp, #88
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_get0_pqg
	ldur	x0, [x29, #-88]
	mov	x1, x21
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_70
; %bb.21:
	ldr	x0, [sp, #96]
	mov	x1, x22
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_70
; %bb.22:
	ldr	x0, [sp, #88]
	mov	x1, x23
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_70
; %bb.23:
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_get0_p
	ldur	x1, [x29, #-88]
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_70
; %bb.24:
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_get0_q
	ldr	x1, [sp, #96]
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_70
; %bb.25:
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_get0_g
	ldr	x1, [sp, #88]
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_70
; %bb.26:
	mov	x0, x20
	mov	w1, #1234
	bl	_BN_set_word
	bl	_TEST_true
	cbz	w0, LBB0_70
; %bb.27:
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	mov	x1, #0
	mov	x2, x20
	bl	_DH_set0_key
	bl	_TEST_true
	cbz	w0, LBB0_70
; %bb.28:
	add	x1, sp, #80
	add	x2, sp, #72
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_get0_key
	ldr	x0, [sp, #80]
	mov	x1, #0
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_71
; %bb.29:
	ldr	x0, [sp, #72]
	mov	x1, x20
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_71
; %bb.30:
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_get0_pub_key
	ldr	x1, [sp, #80]
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_71
; %bb.31:
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_get0_priv_key
	ldr	x1, [sp, #72]
	bl	_TEST_ptr_eq
	cbz	w0, LBB0_71
; %bb.32:
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_generate_key
	bl	_TEST_false
	cbz	w0, LBB0_71
; %bb.33:
	bl	_ERR_clear_error
	bl	_BN_GENCB_new
	mov	x21, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_74
; %bb.34:
Lloh21:
	adrp	x1, _cb@GOTPAGE
Lloh22:
	ldr	x1, [x1, _cb@GOTPAGEOFF]
	mov	x0, x21
	mov	x2, #0
	bl	_BN_GENCB_set
	bl	_DH_new
	mov	x20, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_75
; %bb.35:
Lloh23:
	adrp	x8, _DH_GENERATOR_5@GOTPAGE
Lloh24:
	ldr	x8, [x8, _DH_GENERATOR_5@GOTPAGEOFF]
Lloh25:
	ldr	w2, [x8]
	mov	x0, x20
	mov	w1, #512
	mov	x3, x21
	bl	_DH_generate_parameters_ex
	bl	_TEST_true
	cbz	w0, LBB0_75
; %bb.36:
	add	x1, sp, #28
	mov	x0, x20
	bl	_DH_check
	cbz	w0, LBB0_75
; %bb.37:
	ldr	w8, [sp, #28]
	ldr	w9, [x24]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.38:
	ldr	w8, [sp, #28]
	ldr	w9, [x25]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.39:
	ldr	w8, [sp, #28]
	ldr	w9, [x26]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.40:
	ldr	w8, [sp, #28]
	ldr	w9, [x27]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.41:
	ldr	w8, [sp, #28]
	ldr	w9, [x28]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.42:
	ldr	w8, [sp, #28]
Lloh26:
	adrp	x9, _DH_CHECK_INVALID_Q_VALUE@GOTPAGE
Lloh27:
	ldr	x9, [x9, _DH_CHECK_INVALID_Q_VALUE@GOTPAGEOFF]
Lloh28:
	ldr	w9, [x9]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.43:
	ldr	w8, [sp, #28]
Lloh29:
	adrp	x9, _DH_CHECK_INVALID_J_VALUE@GOTPAGE
Lloh30:
	ldr	x9, [x9, _DH_CHECK_INVALID_J_VALUE@GOTPAGEOFF]
Lloh31:
	ldr	w9, [x9]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.44:
	ldr	w8, [sp, #28]
	ldr	w9, [x19]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.45:
	ldr	w8, [sp, #28]
Lloh32:
	adrp	x9, _DH_MODULUS_TOO_LARGE@GOTPAGE
Lloh33:
	ldr	x9, [x9, _DH_MODULUS_TOO_LARGE@GOTPAGEOFF]
Lloh34:
	ldr	w9, [x9]
	and	w0, w9, w8
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.46:
	ldr	w0, [sp, #28]
	bl	_TEST_false
	cbz	w0, LBB0_75
; %bb.47:
	add	x1, sp, #64
	add	x3, sp, #56
	mov	x0, x20
	mov	x2, #0
	bl	_DH_get0_pqg
	bl	_DH_new
	mov	x22, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_76
; %bb.48:
	ldr	x0, [sp, #64]
	bl	_BN_dup
	mov	x24, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_82
; %bb.49:
	ldr	x0, [sp, #56]
	bl	_BN_dup
	mov	x25, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_81
; %bb.50:
	mov	x0, x22
	mov	x1, x24
	mov	x2, #0
	mov	x3, x25
	bl	_DH_set0_pqg
	bl	_TEST_true
	cbz	w0, LBB0_81
; %bb.51:
	mov	x0, x20
	bl	_DH_generate_key
	cbz	w0, LBB0_76
; %bb.52:
	add	x1, sp, #48
	mov	x0, x20
	mov	x2, #0
	bl	_DH_get0_key
	mov	x0, x22
	bl	_DH_generate_key
	cbz	w0, LBB0_76
; %bb.53:
	add	x1, sp, #40
	add	x2, sp, #32
	mov	x0, x22
	bl	_DH_get0_key
	mov	x0, x22
	bl	_DHparams_dup
	mov	x23, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_77
; %bb.54:
	ldr	x0, [sp, #32]
	bl	_BN_dup
	mov	x27, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_83
; %bb.55:
	mov	x0, x23
	mov	x1, #0
	mov	x2, x27
	bl	_DH_set0_key
	bl	_TEST_true
	cbz	w0, LBB0_83
; %bb.56:
	mov	x0, x20
	bl	_DH_size
	bl	_OPENSSL_malloc
	str	x0, [sp, #8]                    ; 8-byte Folded Spill
	bl	_TEST_ptr
	cbz	w0, LBB0_84
; %bb.57:
	ldr	x1, [sp, #40]
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	mov	x2, x20
	bl	_DH_compute_key
	mov	x19, x0
	cmn	w0, #1
	cset	w0, ne
	bl	_TEST_true
	cbz	w0, LBB0_84
; %bb.58:
	mov	x0, x22
	bl	_DH_size
	bl	_OPENSSL_malloc
	mov	x26, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_85
; %bb.59:
	ldr	x1, [sp, #48]
	mov	x0, x26
	mov	x2, x22
	bl	_DH_compute_key
	mov	x24, x0
	cmn	w0, #1
	cset	w0, ne
	bl	_TEST_true
	cbz	w0, LBB0_85
; %bb.60:
	mov	x0, x23
	bl	_DH_size
	bl	_OPENSSL_malloc
	mov	x28, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_88
; %bb.61:
	ldr	x1, [sp, #48]
	mov	x0, x28
	mov	x2, x23
	bl	_DH_compute_key
	mov	x25, x0
	cmn	w0, #1
	cset	w0, ne
	bl	_TEST_true
	cbz	w0, LBB0_88
; %bb.62:
	cmp	w19, #19
	cset	w0, gt
	bl	_TEST_true
	cbz	w0, LBB0_88
; %bb.63:
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	mov	x1, x19
	mov	x2, x26
	mov	x3, x24
	bl	_TEST_mem_eq
	cbz	w0, LBB0_88
; %bb.64:
	ldr	x24, [sp, #8]                   ; 8-byte Folded Reload
	mov	x0, x24
	mov	x1, x19
	mov	x2, x28
	mov	x3, x25
	bl	_TEST_mem_eq
	mov	x8, x0
	mov	x0, x24
	mov	x24, #0
	mov	x25, #0
	mov	x27, #0
	cmp	w8, #0
	cset	w19, ne
	b	LBB0_73
LBB0_65:
	mov	x20, #0
	mov	x23, #0
	mov	x22, #0
	mov	x21, #0
	b	LBB0_69
LBB0_66:
	mov	x20, #0
	mov	x23, #0
	mov	x22, #0
	b	LBB0_69
LBB0_67:
	mov	x20, #0
	mov	x23, #0
	b	LBB0_69
LBB0_68:
	mov	x20, #0
LBB0_69:
	mov	x0, x21
	bl	_BN_free
	mov	x0, x22
	bl	_BN_free
	mov	x0, x23
	bl	_BN_free
LBB0_70:
	mov	x0, x20
	bl	_BN_free
LBB0_71:
	mov	x20, #0
	mov	x22, #0
	mov	x23, #0
	mov	x24, #0
	mov	x25, #0
	mov	x27, #0
	mov	x0, #0
	mov	x26, #0
	mov	x28, #0
	mov	x21, #0
LBB0_72:
	mov	w19, #0
LBB0_73:
	bl	_OPENSSL_free
	mov	x0, x26
	bl	_OPENSSL_free
	mov	x0, x28
	bl	_OPENSSL_free
	mov	x0, x22
	bl	_DH_free
	mov	x0, x20
	bl	_DH_free
	mov	x0, x23
	bl	_DH_free
	mov	x0, x24
	bl	_BN_free
	mov	x0, x25
	bl	_BN_free
	mov	x0, x27
	bl	_BN_free
	mov	x0, x21
	bl	_BN_GENCB_free
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	bl	_DH_free
	mov	x0, x19
	ldp	x29, x30, [sp, #192]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #176]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #160]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #144]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #128]            ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #112]            ; 16-byte Folded Reload
	add	sp, sp, #208
	ret
LBB0_74:
	mov	x20, #0
LBB0_75:
	mov	x22, #0
LBB0_76:
	mov	x23, #0
LBB0_77:
	mov	x24, #0
LBB0_78:
	mov	x25, #0
LBB0_79:
	mov	x27, #0
LBB0_80:
	mov	x0, #0
	mov	x26, #0
	mov	x28, #0
	b	LBB0_72
LBB0_81:
	mov	x23, #0
	b	LBB0_79
LBB0_82:
	mov	x23, #0
	b	LBB0_78
LBB0_83:
	mov	x24, #0
	mov	x25, #0
	b	LBB0_80
LBB0_84:
	mov	x24, #0
	mov	x25, #0
	mov	x27, #0
	mov	x26, #0
	b	LBB0_86
LBB0_85:
	mov	x24, #0
	mov	x25, #0
	mov	x27, #0
LBB0_86:
	mov	x28, #0
LBB0_87:
	mov	w19, #0
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	b	LBB0_73
LBB0_88:
	mov	x24, #0
	mov	x25, #0
	mov	x27, #0
	b	LBB0_87
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGot	Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpLdrGot	Lloh21, Lloh22
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpLdrGotLdr	Lloh29, Lloh30, Lloh31
	.loh AdrpLdrGotLdr	Lloh32, Lloh33, Lloh34
	.cfi_endproc
                                        ; -- End function
	.comm	_DH_MODULUS_TOO_SMALL,4,2       ; @DH_MODULUS_TOO_SMALL
	.comm	_DH_CHECK_P_NOT_PRIME,4,2       ; @DH_CHECK_P_NOT_PRIME
	.comm	_DH_CHECK_P_NOT_SAFE_PRIME,4,2  ; @DH_CHECK_P_NOT_SAFE_PRIME
	.comm	_DH_UNABLE_TO_CHECK_GENERATOR,4,2 ; @DH_UNABLE_TO_CHECK_GENERATOR
	.comm	_DH_NOT_SUITABLE_GENERATOR,4,2  ; @DH_NOT_SUITABLE_GENERATOR
	.comm	_DH_CHECK_Q_NOT_PRIME,4,2       ; @DH_CHECK_Q_NOT_PRIME
	.comm	_DH_CHECK_INVALID_Q_VALUE,4,2   ; @DH_CHECK_INVALID_Q_VALUE
	.comm	_DH_CHECK_INVALID_J_VALUE,4,2   ; @DH_CHECK_INVALID_J_VALUE
	.comm	_DH_MODULUS_TOO_LARGE,4,2       ; @DH_MODULUS_TOO_LARGE
	.comm	_cb,4,2                         ; @cb
	.comm	_DH_GENERATOR_5,4,2             ; @DH_GENERATOR_5
	.no_dead_strip	_dh_test
.subsections_via_symbols
