	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ec_key_simple_check_key        ## -- Begin function ec_key_simple_check_key
	.p2align	4, 0x90
_ec_key_simple_check_key:               ## @ec_key_simple_check_key
	.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
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	testq	%rdi, %rdi
	je	LBB0_7
## %bb.1:
	movq	%rdi, %rbx
	movq	8(%rdi), %rdi
	testq	%rdi, %rdi
	je	LBB0_7
## %bb.2:
	movq	(%rbx), %rsi
	testq	%rsi, %rsi
	je	LBB0_7
## %bb.3:
	callq	_EC_POINT_is_at_infinity
	xorl	%r12d, %r12d
	testq	%rax, %rax
	je	LBB0_9
## %bb.4:
	movq	_EC_R_POINT_AT_INFINITY@GOTPCREL(%rip), %r13
	xorl	%r14d, %r14d
	xorl	%r15d, %r15d
LBB0_5:
	movq	_EC_F_EC_KEY_SIMPLE_CHECK_KEY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movl	(%r13), %esi
	callq	_ECerr
LBB0_6:
	movq	%r14, %rdi
	callq	_BN_CTX_free
	movq	%r15, %rdi
	callq	_EC_POINT_free
	jmp	LBB0_8
LBB0_7:
	movq	_EC_F_EC_KEY_SIMPLE_CHECK_KEY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_PASSED_NULL_PARAMETER@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_ECerr
	xorl	%r12d, %r12d
LBB0_8:
	movl	%r12d, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_9:
	xorl	%r15d, %r15d
	xorl	%eax, %eax
	callq	_BN_CTX_new
	testq	%rax, %rax
	je	LBB0_14
## %bb.10:
	movq	%rax, %r14
	movq	8(%rbx), %rdi
	callq	_EC_POINT_new
	testq	%rax, %rax
	je	LBB0_15
## %bb.11:
	movq	%rax, %r15
	movq	(%rbx), %rsi
	movq	8(%rbx), %rdi
	movq	%r14, %rdx
	callq	_EC_POINT_is_on_curve
	testq	%rax, %rax
	jle	LBB0_16
## %bb.12:
	movq	8(%rbx), %rax
	movq	(%rax), %r13
	movq	%r13, %rdi
	callq	_BN_is_zero
	testq	%rax, %rax
	je	LBB0_17
## %bb.13:
	movq	_EC_R_INVALID_GROUP_ORDER@GOTPCREL(%rip), %r13
	jmp	LBB0_5
LBB0_14:
	xorl	%r12d, %r12d
	xorl	%r14d, %r14d
	jmp	LBB0_6
LBB0_15:
	xorl	%r12d, %r12d
	xorl	%r15d, %r15d
	jmp	LBB0_6
LBB0_16:
	movq	_EC_R_POINT_IS_NOT_ON_CURVE@GOTPCREL(%rip), %r13
	jmp	LBB0_5
LBB0_17:
	movq	(%rbx), %rcx
	movq	8(%rbx), %rdi
	movq	%r15, %rsi
	xorl	%edx, %edx
	movq	%r13, -48(%rbp)                 ## 8-byte Spill
	movq	%r13, %r8
	movq	%r14, %r9
	callq	_EC_POINT_mul
	movq	_ERR_R_EC_LIB@GOTPCREL(%rip), %r13
	testl	%eax, %eax
	je	LBB0_5
## %bb.18:
	movq	8(%rbx), %rdi
	movq	%r15, %rsi
	callq	_EC_POINT_is_at_infinity
	movq	_EC_R_WRONG_ORDER@GOTPCREL(%rip), %rcx
	testq	%rax, %rax
	je	LBB0_22
## %bb.19:
	movq	16(%rbx), %rdi
	testq	%rdi, %rdi
	je	LBB0_23
## %bb.20:
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	callq	_BN_cmp
	testq	%rax, %rax
	js	LBB0_24
## %bb.21:
	movq	_EC_R_WRONG_ORDER@GOTPCREL(%rip), %r13
	jmp	LBB0_5
LBB0_22:
	movq	%rcx, %r13
	jmp	LBB0_5
LBB0_24:
	movq	8(%rbx), %rdi
	movq	16(%rbx), %rdx
	movq	%r15, %rsi
	xorl	%ecx, %ecx
	xorl	%r8d, %r8d
	movq	%r14, %r9
	callq	_EC_POINT_mul
	testl	%eax, %eax
	je	LBB0_5
## %bb.25:
	movq	(%rbx), %rdx
	movq	8(%rbx), %rdi
	movq	%r15, %rsi
	movq	%r14, %rcx
	callq	_EC_POINT_cmp
	testq	%rax, %rax
	je	LBB0_23
## %bb.26:
	movq	_EC_R_INVALID_PRIVATE_KEY@GOTPCREL(%rip), %r13
	jmp	LBB0_5
LBB0_23:
	movl	$1, %r12d
	jmp	LBB0_6
	.cfi_endproc
                                        ## -- End function
	.comm	_EC_F_EC_KEY_SIMPLE_CHECK_KEY,4,2 ## @EC_F_EC_KEY_SIMPLE_CHECK_KEY
	.comm	_ERR_R_PASSED_NULL_PARAMETER,4,2 ## @ERR_R_PASSED_NULL_PARAMETER
	.comm	_EC_R_POINT_AT_INFINITY,4,2     ## @EC_R_POINT_AT_INFINITY
	.comm	_EC_R_POINT_IS_NOT_ON_CURVE,4,2 ## @EC_R_POINT_IS_NOT_ON_CURVE
	.comm	_EC_R_INVALID_GROUP_ORDER,4,2   ## @EC_R_INVALID_GROUP_ORDER
	.comm	_ERR_R_EC_LIB,4,2               ## @ERR_R_EC_LIB
	.comm	_EC_R_WRONG_ORDER,4,2           ## @EC_R_WRONG_ORDER
	.comm	_EC_R_INVALID_PRIVATE_KEY,4,2   ## @EC_R_INVALID_PRIVATE_KEY
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ec_key_simple_check_key        ; -- Begin function ec_key_simple_check_key
	.p2align	2
_ec_key_simple_check_key:               ; @ec_key_simple_check_key
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.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
	cbz	x0, LBB0_8
; %bb.1:
	mov	x21, x0
	ldr	x0, [x0, #8]
	cbz	x0, LBB0_8
; %bb.2:
	ldr	x1, [x21]
	cbz	x1, LBB0_8
; %bb.3:
	bl	_EC_POINT_is_at_infinity
	cbz	x0, LBB0_10
; %bb.4:
	mov	x19, #0
	mov	x20, #0
Lloh0:
	adrp	x8, _EC_R_POINT_AT_INFINITY@GOTPAGE
Lloh1:
	ldr	x8, [x8, _EC_R_POINT_AT_INFINITY@GOTPAGEOFF]
LBB0_5:
Lloh2:
	adrp	x9, _EC_F_EC_KEY_SIMPLE_CHECK_KEY@GOTPAGE
Lloh3:
	ldr	x9, [x9, _EC_F_EC_KEY_SIMPLE_CHECK_KEY@GOTPAGEOFF]
Lloh4:
	ldr	w0, [x9]
	ldr	w1, [x8]
	bl	_ECerr
LBB0_6:
	mov	w21, #0
LBB0_7:
	mov	x0, x19
	bl	_BN_CTX_free
	mov	x0, x20
	bl	_EC_POINT_free
	b	LBB0_9
LBB0_8:
Lloh5:
	adrp	x8, _EC_F_EC_KEY_SIMPLE_CHECK_KEY@GOTPAGE
Lloh6:
	ldr	x8, [x8, _EC_F_EC_KEY_SIMPLE_CHECK_KEY@GOTPAGEOFF]
Lloh7:
	ldr	w0, [x8]
Lloh8:
	adrp	x8, _ERR_R_PASSED_NULL_PARAMETER@GOTPAGE
Lloh9:
	ldr	x8, [x8, _ERR_R_PASSED_NULL_PARAMETER@GOTPAGEOFF]
Lloh10:
	ldr	w1, [x8]
	bl	_ECerr
	mov	w21, #0
LBB0_9:
	mov	x0, x21
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	ret
LBB0_10:
	bl	_BN_CTX_new
	mov	x19, x0
	cbz	x0, LBB0_15
; %bb.11:
	ldr	x0, [x21, #8]
	bl	_EC_POINT_new
	mov	x20, x0
	cbz	x0, LBB0_6
; %bb.12:
	ldp	x1, x0, [x21]
	mov	x2, x19
	bl	_EC_POINT_is_on_curve
	cmp	x0, #1
	b.lt	LBB0_16
; %bb.13:
	ldr	x8, [x21, #8]
	ldr	x22, [x8]
	mov	x0, x22
	bl	_BN_is_zero
	cbz	x0, LBB0_17
; %bb.14:
Lloh11:
	adrp	x8, _EC_R_INVALID_GROUP_ORDER@GOTPAGE
Lloh12:
	ldr	x8, [x8, _EC_R_INVALID_GROUP_ORDER@GOTPAGEOFF]
	b	LBB0_5
LBB0_15:
	mov	w21, #0
	mov	x20, #0
	b	LBB0_7
LBB0_16:
Lloh13:
	adrp	x8, _EC_R_POINT_IS_NOT_ON_CURVE@GOTPAGE
Lloh14:
	ldr	x8, [x8, _EC_R_POINT_IS_NOT_ON_CURVE@GOTPAGEOFF]
	b	LBB0_5
LBB0_17:
	ldp	x3, x0, [x21]
	mov	x1, x20
	mov	x2, #0
	mov	x4, x22
	mov	x5, x19
	bl	_EC_POINT_mul
	cbz	w0, LBB0_25
; %bb.18:
	ldr	x0, [x21, #8]
	mov	x1, x20
	bl	_EC_POINT_is_at_infinity
	cbz	x0, LBB0_21
; %bb.19:
	ldr	x0, [x21, #16]
	cbz	x0, LBB0_26
; %bb.20:
	mov	x1, x22
	bl	_BN_cmp
	tbnz	x0, #63, LBB0_22
LBB0_21:
Lloh15:
	adrp	x8, _EC_R_WRONG_ORDER@GOTPAGE
Lloh16:
	ldr	x8, [x8, _EC_R_WRONG_ORDER@GOTPAGEOFF]
	b	LBB0_5
LBB0_22:
	ldp	x0, x2, [x21, #8]
	mov	x1, x20
	mov	x3, #0
	mov	x4, #0
	mov	x5, x19
	bl	_EC_POINT_mul
	cbz	w0, LBB0_25
; %bb.23:
	ldp	x2, x0, [x21]
	mov	x1, x20
	mov	x3, x19
	bl	_EC_POINT_cmp
	cbz	x0, LBB0_26
; %bb.24:
Lloh17:
	adrp	x8, _EC_R_INVALID_PRIVATE_KEY@GOTPAGE
Lloh18:
	ldr	x8, [x8, _EC_R_INVALID_PRIVATE_KEY@GOTPAGEOFF]
	b	LBB0_5
LBB0_25:
Lloh19:
	adrp	x8, _ERR_R_EC_LIB@GOTPAGE
Lloh20:
	ldr	x8, [x8, _ERR_R_EC_LIB@GOTPAGEOFF]
	b	LBB0_5
LBB0_26:
	mov	w21, #1
	b	LBB0_7
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpLdrGot	Lloh17, Lloh18
	.loh AdrpLdrGot	Lloh19, Lloh20
	.cfi_endproc
                                        ; -- End function
	.comm	_EC_F_EC_KEY_SIMPLE_CHECK_KEY,4,2 ; @EC_F_EC_KEY_SIMPLE_CHECK_KEY
	.comm	_ERR_R_PASSED_NULL_PARAMETER,4,2 ; @ERR_R_PASSED_NULL_PARAMETER
	.comm	_EC_R_POINT_AT_INFINITY,4,2     ; @EC_R_POINT_AT_INFINITY
	.comm	_EC_R_POINT_IS_NOT_ON_CURVE,4,2 ; @EC_R_POINT_IS_NOT_ON_CURVE
	.comm	_EC_R_INVALID_GROUP_ORDER,4,2   ; @EC_R_INVALID_GROUP_ORDER
	.comm	_ERR_R_EC_LIB,4,2               ; @ERR_R_EC_LIB
	.comm	_EC_R_WRONG_ORDER,4,2           ; @EC_R_WRONG_ORDER
	.comm	_EC_R_INVALID_PRIVATE_KEY,4,2   ; @EC_R_INVALID_PRIVATE_KEY
.subsections_via_symbols
