	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ossl_ecdsa_verify_sig          ## -- Begin function ossl_ecdsa_verify_sig
	.p2align	4, 0x90
_ossl_ecdsa_verify_sig:                 ## @ossl_ecdsa_verify_sig
	.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	$56, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	testq	%rcx, %rcx
	je	LBB0_15
## %bb.1:
	movq	%rcx, %r13
	movq	%rdx, %r15
	movl	%esi, %r12d
	movq	%rdi, %r14
	movq	%rcx, %rdi
	callq	_EC_KEY_get0_group
	testq	%rax, %rax
	je	LBB0_15
## %bb.2:
	movq	%rax, %rbx
	movq	%r13, %rdi
	callq	_EC_KEY_get0_public_key
	testq	%r15, %r15
	je	LBB0_15
## %bb.3:
	testq	%rax, %rax
	je	LBB0_15
## %bb.4:
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	movq	%r13, %rdi
	callq	_EC_KEY_can_sign
	testl	%eax, %eax
	je	LBB0_18
## %bb.5:
	xorl	%eax, %eax
	callq	_BN_CTX_new
	testq	%rax, %rax
	je	LBB0_19
## %bb.6:
	movq	%rax, %r13
	movq	%rax, %rdi
	callq	_BN_CTX_start
	movq	%r13, %rdi
	callq	_BN_CTX_get
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	movq	%r13, %rdi
	callq	_BN_CTX_get
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	movq	%r13, %rdi
	callq	_BN_CTX_get
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	movq	%r13, %rdi
	callq	_BN_CTX_get
	testq	%rax, %rax
	je	LBB0_34
## %bb.7:
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	movq	%rbx, %rdi
	callq	_EC_GROUP_get0_order
	testq	%rax, %rax
	je	LBB0_20
## %bb.8:
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	(%r15), %rdi
	callq	_BN_is_zero
	testq	%rax, %rax
	jne	LBB0_14
## %bb.9:
	movq	(%r15), %rdi
	callq	_BN_is_negative
	testq	%rax, %rax
	jne	LBB0_14
## %bb.10:
	movq	(%r15), %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	callq	_BN_ucmp
	testq	%rax, %rax
	jns	LBB0_14
## %bb.11:
	movq	8(%r15), %rdi
	callq	_BN_is_zero
	testq	%rax, %rax
	jne	LBB0_14
## %bb.12:
	movq	8(%r15), %rdi
	callq	_BN_is_negative
	testq	%rax, %rax
	jne	LBB0_14
## %bb.13:
	movq	8(%r15), %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	callq	_BN_ucmp
	testq	%rax, %rax
	js	LBB0_21
LBB0_14:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_EC_R_BAD_SIGNATURE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_ECerr
	xorl	%ebx, %ebx
	jmp	LBB0_36
LBB0_15:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_EC_R_MISSING_PARAMETERS@GOTPCREL(%rip), %rax
LBB0_16:
	movl	(%rax), %esi
	callq	_ECerr
	movl	$-1, %ebx
LBB0_17:
	movl	%ebx, %eax
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_18:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_EC_R_CURVE_DOES_NOT_SUPPORT_SIGNING@GOTPCREL(%rip), %rax
	jmp	LBB0_16
LBB0_19:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_MALLOC_FAILURE@GOTPCREL(%rip), %rax
	jmp	LBB0_16
LBB0_20:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_EC_LIB@GOTPCREL(%rip), %rax
	jmp	LBB0_35
LBB0_21:
	movq	8(%r15), %rdx
	movq	%rbx, %rdi
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	movq	%r13, %rcx
	callq	_ec_group_do_inverse_ord
	testl	%eax, %eax
	je	LBB0_34
## %bb.22:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_num_bits
                                        ## kill: def $eax killed $eax def $rax
	leal	(,%r12,8), %ecx
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	cmpl	%eax, %ecx
	jle	LBB0_24
## %bb.23:
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	leal	7(%rcx), %eax
	leal	14(%rcx), %r12d
	testl	%eax, %eax
	cmovnsl	%eax, %r12d
	sarl	$3, %r12d
LBB0_24:
	movq	%r14, %rdi
	movl	%r12d, %esi
	movq	-80(%rbp), %rdx                 ## 8-byte Reload
	callq	_BN_bin2bn
	testl	%eax, %eax
	je	LBB0_34
## %bb.25:
	shll	$3, %r12d
	cmpl	-72(%rbp), %r12d                ## 4-byte Folded Reload
	jle	LBB0_27
## %bb.26:
	movq	-72(%rbp), %rax                 ## 8-byte Reload
	andl	$7, %eax
	movl	$8, %edx
	subl	%eax, %edx
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	movq	%rdi, %rsi
	callq	_BN_rshift
	testl	%eax, %eax
	je	LBB0_34
LBB0_27:
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	-80(%rbp), %rsi                 ## 8-byte Reload
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	movq	-48(%rbp), %rcx                 ## 8-byte Reload
	movq	%r13, %r8
	callq	_BN_mod_mul
	testl	%eax, %eax
	je	LBB0_34
## %bb.28:
	movq	(%r15), %rsi
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	movq	%rdi, %rdx
	movq	-48(%rbp), %rcx                 ## 8-byte Reload
	movq	%r13, %r8
	callq	_BN_mod_mul
	testl	%eax, %eax
	je	LBB0_34
## %bb.29:
	movq	%rbx, %rdi
	callq	_EC_POINT_new
	testq	%rax, %rax
	je	LBB0_39
## %bb.30:
	movq	%rax, %r14
	movq	%rbx, %rdi
	movq	%rax, %rsi
	movq	-56(%rbp), %rdx                 ## 8-byte Reload
	movq	-96(%rbp), %rcx                 ## 8-byte Reload
	movq	-64(%rbp), %r8                  ## 8-byte Reload
	movq	%r13, %r9
	callq	_EC_POINT_mul
	testl	%eax, %eax
	je	LBB0_38
## %bb.31:
	movq	%rbx, %rdi
	movq	%r14, %rsi
	movq	-88(%rbp), %rdx                 ## 8-byte Reload
	xorl	%ecx, %ecx
	movq	%r13, %r8
	callq	_EC_POINT_get_affine_coordinates
	testl	%eax, %eax
	je	LBB0_38
## %bb.32:
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	-88(%rbp), %rsi                 ## 8-byte Reload
	movq	-48(%rbp), %rdx                 ## 8-byte Reload
	movq	%r13, %rcx
	callq	_BN_nnmod
	testl	%eax, %eax
	je	LBB0_40
## %bb.33:
	movq	(%r15), %rsi
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_ucmp
	xorl	%ebx, %ebx
	testq	%rax, %rax
	sete	%bl
	jmp	LBB0_37
LBB0_34:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_BN_LIB@GOTPCREL(%rip), %rax
LBB0_35:
	movl	(%rax), %esi
	callq	_ECerr
	movl	$-1, %ebx
LBB0_36:
	xorl	%r14d, %r14d
LBB0_37:
	movq	%r13, %rdi
	callq	_BN_CTX_end
	movq	%r13, %rdi
	callq	_BN_CTX_free
	movq	%r14, %rdi
	callq	_EC_POINT_free
	jmp	LBB0_17
LBB0_38:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_EC_LIB@GOTPCREL(%rip), %rax
	jmp	LBB0_41
LBB0_39:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_MALLOC_FAILURE@GOTPCREL(%rip), %rax
	jmp	LBB0_35
LBB0_40:
	movq	_EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_BN_LIB@GOTPCREL(%rip), %rax
LBB0_41:
	movl	(%rax), %esi
	callq	_ECerr
	movl	$-1, %ebx
	jmp	LBB0_37
	.cfi_endproc
                                        ## -- End function
	.comm	_EC_F_OSSL_ECDSA_VERIFY_SIG,4,2 ## @EC_F_OSSL_ECDSA_VERIFY_SIG
	.comm	_EC_R_MISSING_PARAMETERS,4,2    ## @EC_R_MISSING_PARAMETERS
	.comm	_EC_R_CURVE_DOES_NOT_SUPPORT_SIGNING,4,2 ## @EC_R_CURVE_DOES_NOT_SUPPORT_SIGNING
	.comm	_ERR_R_MALLOC_FAILURE,4,2       ## @ERR_R_MALLOC_FAILURE
	.comm	_ERR_R_BN_LIB,4,2               ## @ERR_R_BN_LIB
	.comm	_ERR_R_EC_LIB,4,2               ## @ERR_R_EC_LIB
	.comm	_EC_R_BAD_SIGNATURE,4,2         ## @EC_R_BAD_SIGNATURE
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ossl_ecdsa_verify_sig          ; -- Begin function ossl_ecdsa_verify_sig
	.p2align	2
_ossl_ecdsa_verify_sig:                 ; @ossl_ecdsa_verify_sig
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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
	cbz	x3, LBB0_15
; %bb.1:
	mov	x19, x3
	mov	x20, x2
	mov	x27, x1
	mov	x28, x0
	mov	x0, x3
	bl	_EC_KEY_get0_group
	cbz	x0, LBB0_15
; %bb.2:
	mov	x21, x0
	mov	x0, x19
	bl	_EC_KEY_get0_public_key
	cbz	x20, LBB0_15
; %bb.3:
	mov	x23, x0
	cbz	x0, LBB0_15
; %bb.4:
	mov	x0, x19
	bl	_EC_KEY_can_sign
	cbz	w0, LBB0_18
; %bb.5:
	bl	_BN_CTX_new
	cbz	x0, LBB0_19
; %bb.6:
	mov	x19, x0
	bl	_BN_CTX_start
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x25, x0
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x26, x0
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x22, x0
	mov	x0, x19
	bl	_BN_CTX_get
	cbz	x0, LBB0_34
; %bb.7:
	mov	x24, x0
	str	x25, [sp, #8]                   ; 8-byte Folded Spill
	mov	x0, x21
	bl	_EC_GROUP_get0_order
	cbz	x0, LBB0_20
; %bb.8:
	mov	x25, x0
	ldr	x0, [x20]
	bl	_BN_is_zero
	cbnz	x0, LBB0_14
; %bb.9:
	ldr	x0, [x20]
	bl	_BN_is_negative
	cbnz	x0, LBB0_14
; %bb.10:
	ldr	x0, [x20]
	mov	x1, x25
	bl	_BN_ucmp
	tbz	x0, #63, LBB0_14
; %bb.11:
	ldr	x0, [x20, #8]
	bl	_BN_is_zero
	cbnz	x0, LBB0_14
; %bb.12:
	ldr	x0, [x20, #8]
	bl	_BN_is_negative
	cbnz	x0, LBB0_14
; %bb.13:
	ldr	x0, [x20, #8]
	mov	x1, x25
	bl	_BN_ucmp
	tbnz	x0, #63, LBB0_21
LBB0_14:
Lloh0:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh1:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
Lloh3:
	adrp	x8, _EC_R_BAD_SIGNATURE@GOTPAGE
Lloh4:
	ldr	x8, [x8, _EC_R_BAD_SIGNATURE@GOTPAGEOFF]
Lloh5:
	ldr	w1, [x8]
	bl	_ECerr
	mov	w20, #0
	mov	x22, #0
	b	LBB0_37
LBB0_15:
Lloh6:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh7:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh8:
	ldr	w0, [x8]
Lloh9:
	adrp	x8, _EC_R_MISSING_PARAMETERS@GOTPAGE
Lloh10:
	ldr	x8, [x8, _EC_R_MISSING_PARAMETERS@GOTPAGEOFF]
LBB0_16:
	ldr	w1, [x8]
	bl	_ECerr
	mov	w20, #-1
LBB0_17:
	mov	x0, x20
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
LBB0_18:
Lloh11:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh12:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh13:
	ldr	w0, [x8]
Lloh14:
	adrp	x8, _EC_R_CURVE_DOES_NOT_SUPPORT_SIGNING@GOTPAGE
Lloh15:
	ldr	x8, [x8, _EC_R_CURVE_DOES_NOT_SUPPORT_SIGNING@GOTPAGEOFF]
	b	LBB0_16
LBB0_19:
Lloh16:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh17:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh18:
	ldr	w0, [x8]
Lloh19:
	adrp	x8, _ERR_R_MALLOC_FAILURE@GOTPAGE
Lloh20:
	ldr	x8, [x8, _ERR_R_MALLOC_FAILURE@GOTPAGEOFF]
	b	LBB0_16
LBB0_20:
Lloh21:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh22:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh23:
	ldr	w0, [x8]
Lloh24:
	adrp	x8, _ERR_R_EC_LIB@GOTPAGE
Lloh25:
	ldr	x8, [x8, _ERR_R_EC_LIB@GOTPAGEOFF]
	b	LBB0_35
LBB0_21:
	ldr	x2, [x20, #8]
	mov	x0, x21
	mov	x1, x26
	mov	x3, x19
	bl	_ec_group_do_inverse_ord
	cbz	w0, LBB0_34
; %bb.22:
	mov	x0, x25
	bl	_BN_num_bits
	str	w0, [sp, #4]                    ; 4-byte Folded Spill
	cmp	w0, w27, lsl #3
	b.ge	LBB0_24
; %bb.23:
	ldr	w9, [sp, #4]                    ; 4-byte Folded Reload
	add	w8, w9, #7
	add	w9, w9, #14
	cmp	w8, #0
	csel	w8, w9, w8, lt
	asr	w27, w8, #3
LBB0_24:
	mov	x0, x28
	mov	x1, x27
	mov	x2, x22
	bl	_BN_bin2bn
	cbz	w0, LBB0_34
; %bb.25:
	ldr	w8, [sp, #4]                    ; 4-byte Folded Reload
	cmp	w8, w27, lsl #3
	b.ge	LBB0_27
; %bb.26:
	ldr	w8, [sp, #4]                    ; 4-byte Folded Reload
	and	w8, w8, #0x7
	mov	w9, #8
	sub	w2, w9, w8
	mov	x0, x22
	mov	x1, x22
	bl	_BN_rshift
	cbz	w0, LBB0_34
LBB0_27:
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	mov	x1, x22
	mov	x2, x26
	mov	x3, x25
	mov	x4, x19
	bl	_BN_mod_mul
	cbz	w0, LBB0_34
; %bb.28:
	ldr	x1, [x20]
	mov	x0, x26
	mov	x2, x26
	mov	x3, x25
	mov	x4, x19
	bl	_BN_mod_mul
	cbz	w0, LBB0_34
; %bb.29:
	mov	x0, x21
	bl	_EC_POINT_new
	mov	x22, x0
	cbz	x0, LBB0_39
; %bb.30:
	mov	x0, x21
	mov	x1, x22
	ldr	x2, [sp, #8]                    ; 8-byte Folded Reload
	mov	x3, x23
	mov	x4, x26
	mov	x5, x19
	bl	_EC_POINT_mul
	cbz	w0, LBB0_38
; %bb.31:
	mov	x0, x21
	mov	x1, x22
	mov	x2, x24
	mov	x3, #0
	mov	x4, x19
	bl	_EC_POINT_get_affine_coordinates
	cbz	w0, LBB0_38
; %bb.32:
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	mov	x1, x24
	mov	x2, x25
	mov	x3, x19
	bl	_BN_nnmod
	cbz	w0, LBB0_40
; %bb.33:
	ldr	x1, [x20]
	ldr	x0, [sp, #8]                    ; 8-byte Folded Reload
	bl	_BN_ucmp
	cmp	x0, #0
	cset	w20, eq
	b	LBB0_37
LBB0_34:
Lloh26:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh27:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh28:
	ldr	w0, [x8]
Lloh29:
	adrp	x8, _ERR_R_BN_LIB@GOTPAGE
Lloh30:
	ldr	x8, [x8, _ERR_R_BN_LIB@GOTPAGEOFF]
LBB0_35:
	ldr	w1, [x8]
	bl	_ECerr
	mov	x22, #0
LBB0_36:
	mov	w20, #-1
LBB0_37:
	mov	x0, x19
	bl	_BN_CTX_end
	mov	x0, x19
	bl	_BN_CTX_free
	mov	x0, x22
	bl	_EC_POINT_free
	b	LBB0_17
LBB0_38:
Lloh31:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh32:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh33:
	ldr	w0, [x8]
Lloh34:
	adrp	x8, _ERR_R_EC_LIB@GOTPAGE
Lloh35:
	ldr	x8, [x8, _ERR_R_EC_LIB@GOTPAGEOFF]
	b	LBB0_41
LBB0_39:
Lloh36:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh37:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh38:
	ldr	w0, [x8]
Lloh39:
	adrp	x8, _ERR_R_MALLOC_FAILURE@GOTPAGE
Lloh40:
	ldr	x8, [x8, _ERR_R_MALLOC_FAILURE@GOTPAGEOFF]
	b	LBB0_41
LBB0_40:
Lloh41:
	adrp	x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGE
Lloh42:
	ldr	x8, [x8, _EC_F_OSSL_ECDSA_VERIFY_SIG@GOTPAGEOFF]
Lloh43:
	ldr	w0, [x8]
Lloh44:
	adrp	x8, _ERR_R_BN_LIB@GOTPAGE
Lloh45:
	ldr	x8, [x8, _ERR_R_BN_LIB@GOTPAGEOFF]
LBB0_41:
	ldr	w1, [x8]
	bl	_ECerr
	b	LBB0_36
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGot	Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpLdrGot	Lloh29, Lloh30
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpLdrGot	Lloh34, Lloh35
	.loh AdrpLdrGotLdr	Lloh31, Lloh32, Lloh33
	.loh AdrpLdrGot	Lloh39, Lloh40
	.loh AdrpLdrGotLdr	Lloh36, Lloh37, Lloh38
	.loh AdrpLdrGot	Lloh44, Lloh45
	.loh AdrpLdrGotLdr	Lloh41, Lloh42, Lloh43
	.cfi_endproc
                                        ; -- End function
	.comm	_EC_F_OSSL_ECDSA_VERIFY_SIG,4,2 ; @EC_F_OSSL_ECDSA_VERIFY_SIG
	.comm	_EC_R_MISSING_PARAMETERS,4,2    ; @EC_R_MISSING_PARAMETERS
	.comm	_EC_R_CURVE_DOES_NOT_SUPPORT_SIGNING,4,2 ; @EC_R_CURVE_DOES_NOT_SUPPORT_SIGNING
	.comm	_ERR_R_MALLOC_FAILURE,4,2       ; @ERR_R_MALLOC_FAILURE
	.comm	_ERR_R_BN_LIB,4,2               ; @ERR_R_BN_LIB
	.comm	_ERR_R_EC_LIB,4,2               ; @ERR_R_EC_LIB
	.comm	_EC_R_BAD_SIGNATURE,4,2         ; @EC_R_BAD_SIGNATURE
.subsections_via_symbols
