	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_uECC_verify                    ## -- Begin function uECC_verify
	.p2align	4, 0x90
_uECC_verify:                           ## @uECC_verify
	.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
	movq	%r8, %r13
	movq	%rcx, -96(%rbp)                 ## 8-byte Spill
	movl	%edx, -172(%rbp)                ## 4-byte Spill
	movq	%rsi, -216(%rbp)                ## 8-byte Spill
	movq	%rdi, -168(%rbp)                ## 8-byte Spill
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	_uECC_MAX_WORDS@GOTPCREL(%rip), %rax
	movl	(%rax), %r14d
	movq	%r14, %rbx
	shlq	$3, %rbx
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -160(%rbp)                ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -152(%rbp)                ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -112(%rbp)                ## 8-byte Spill
	addl	%r14d, %r14d
	shlq	$3, %r14
	movq	%r14, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -224(%rbp)                ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -128(%rbp)                ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -208(%rbp)                ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -200(%rbp)                ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -192(%rbp)                ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -232(%rbp)                ## 8-byte Spill
	movq	%r14, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r15
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r12
	movq	%r12, -136(%rbp)                ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %rbx
	movq	%rbx, -240(%rbp)                ## 8-byte Spill
	movl	(%r13), %r14d
	movl	32(%r13), %edi
	callq	_BITS_TO_WORDS
	movl	%eax, -100(%rbp)                ## 4-byte Spill
	movslq	%eax, %rcx
	movq	-128(%rbp), %rax                ## 8-byte Reload
	movq	$0, -8(%rax,%rcx,8)
	movq	$0, -8(%r12,%rcx,8)
	movq	%rcx, %r12
	movq	$0, -8(%rbx,%rcx,8)
	movl	4(%r13), %edx
	movq	%r15, %rdi
	movq	-168(%rbp), %rbx                ## 8-byte Reload
	movq	%rbx, %rsi
	callq	_uECC_vli_bytesToNative
	movl	%r14d, -84(%rbp)                ## 4-byte Spill
	movslq	%r14d, %r14
	movq	%r15, -184(%rbp)                ## 8-byte Spill
	leaq	(%r15,%r14,8), %rdi
	movslq	4(%r13), %rdx
	leaq	(%rbx,%rdx,4), %rsi
	movq	-136(%rbp), %r15                ## 8-byte Reload
	movq	%rdi, -168(%rbp)                ## 8-byte Spill
                                        ## kill: def $edx killed $edx killed $rdx
	callq	_uECC_vli_bytesToNative
	movl	4(%r13), %edx
	movq	%r15, %rdi
	movq	-96(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rsi
	callq	_uECC_vli_bytesToNative
	movq	%r13, -120(%rbp)                ## 8-byte Spill
	movslq	4(%r13), %rdx
	movq	-240(%rbp), %r13                ## 8-byte Reload
	leaq	(%rbx,%rdx,4), %rsi
	movq	%r14, %rbx
	movq	%r13, %rdi
                                        ## kill: def $edx killed $edx killed $rdx
	callq	_uECC_vli_bytesToNative
	movq	%r15, %rdi
	movl	%ebx, %esi
	callq	_uECC_vli_isZero
	xorl	%r14d, %r14d
	testq	%rax, %rax
	jne	LBB0_11
## %bb.1:
	movq	%r12, -96(%rbp)                 ## 8-byte Spill
	movq	%rbx, -144(%rbp)                ## 8-byte Spill
	movq	-112(%rbp), %r12                ## 8-byte Reload
	movq	%r13, %rdi
	movl	-84(%rbp), %esi                 ## 4-byte Reload
	callq	_uECC_vli_isZero
	testq	%rax, %rax
	jne	LBB0_11
## %bb.2:
	movq	-120(%rbp), %rbx                ## 8-byte Reload
	movl	16(%rbx), %edi
	movq	-136(%rbp), %rsi                ## 8-byte Reload
	movl	-100(%rbp), %r15d               ## 4-byte Reload
	movl	%r15d, %edx
	callq	_uECC_vli_cmp_unsafe
	cmpl	$1, %eax
	jne	LBB0_11
## %bb.3:
	movl	16(%rbx), %edi
	movq	%r13, %rsi
	movl	%r15d, %edx
	callq	_uECC_vli_cmp_unsafe
	cmpl	$1, %eax
	jne	LBB0_11
## %bb.4:
	decq	-96(%rbp)                       ## 8-byte Folded Spill
	movl	16(%rbx), %edx
	movq	%r12, %rdi
	movq	%r13, %rsi
	movl	%r15d, %ecx
	callq	_uECC_vli_modInv
	movq	%rbx, %r14
	movq	-160(%rbp), %rbx                ## 8-byte Reload
	movq	-96(%rbp), %rax                 ## 8-byte Reload
	movq	$0, (%rbx,%rax,8)
	movq	%rbx, %rdi
	movq	-216(%rbp), %rsi                ## 8-byte Reload
	movl	-172(%rbp), %edx                ## 4-byte Reload
	movq	%r14, %rcx
	callq	_bits2int
	movl	16(%r14), %ecx
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	movl	%r15d, %r8d
	callq	_uECC_vli_modMult
	movl	16(%r14), %ecx
	movq	%r14, %r13
	movq	-152(%rbp), %rdi                ## 8-byte Reload
	movq	-136(%rbp), %rsi                ## 8-byte Reload
	movq	%r12, %rdx
	movl	%r15d, %r8d
	callq	_uECC_vli_modMult
	movq	-224(%rbp), %r12                ## 8-byte Reload
	movq	%r12, %rdi
	movq	-184(%rbp), %rsi                ## 8-byte Reload
	movl	-84(%rbp), %ebx                 ## 4-byte Reload
	movl	%ebx, %edx
	callq	_uECC_vli_set
	movq	-144(%rbp), %rax                ## 8-byte Reload
	leaq	(%r12,%rax,8), %rdi
	movq	%rdi, -96(%rbp)                 ## 8-byte Spill
	leaq	(,%rax,8), %r14
	movq	-168(%rbp), %rsi                ## 8-byte Reload
	movl	%ebx, %edx
	movl	%ebx, %r15d
	callq	_uECC_vli_set
	movq	%r13, %rbx
	movq	8(%r13), %rsi
	movq	-200(%rbp), %r13                ## 8-byte Reload
	movq	%r13, %rdi
	movl	%r15d, %edx
	callq	_uECC_vli_set
	addq	8(%rbx), %r14
	movq	-192(%rbp), %r15                ## 8-byte Reload
	movq	%r15, %rdi
	movq	%r14, %rsi
	movl	-84(%rbp), %r14d                ## 4-byte Reload
	movl	%r14d, %edx
	callq	_uECC_vli_set
	movl	20(%rbx), %ecx
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	%r12, %rsi
	movq	%r13, %rdx
	movl	%r14d, %r8d
	callq	_uECC_vli_modSub
	movq	%r13, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	-96(%rbp), %r13                 ## 8-byte Reload
	movq	%r13, %rcx
	movq	%rbx, %r8
	callq	_XYcZ_add
	movl	20(%rbx), %edx
	movq	%rbx, %r15
	movq	-112(%rbp), %rbx                ## 8-byte Reload
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movl	%r14d, %ecx
	callq	_uECC_vli_modInv
	movq	%r12, %rdi
	movq	%r13, %rsi
	movq	%rbx, %rdx
	movq	%r15, %r13
	movq	%r15, %rcx
	callq	_apply_z
	movq	$0, -80(%rbp)
	movq	8(%r15), %rax
	movq	%rax, -72(%rbp)
	movq	-184(%rbp), %rax                ## 8-byte Reload
	movq	%rax, -64(%rbp)
	movq	%r12, -56(%rbp)
	movq	-160(%rbp), %rbx                ## 8-byte Reload
	movq	%rbx, %rdi
	movl	-100(%rbp), %r14d               ## 4-byte Reload
	movl	%r14d, %esi
	callq	_uECC_vli_numBits
	movl	%eax, %r12d
	movq	-152(%rbp), %r13                ## 8-byte Reload
	movq	%r13, %rdi
	movl	%r14d, %esi
	callq	_uECC_vli_numBits
	movl	%r12d, %edi
	movl	%eax, %esi
	callq	_smax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	leaq	-1(%rax), %r15
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_uECC_vli_testBit
	xorl	%ebx, %ebx
	testl	%eax, %eax
	setne	%bl
	movq	%r13, %rdi
	movq	%r15, %rsi
	callq	_uECC_vli_testBit
	xorl	%ecx, %ecx
	testl	%eax, %eax
	setne	%cl
	leaq	(%rbx,%rcx,2), %rax
	movq	-80(%rbp,%rax,8), %r14
	movq	-128(%rbp), %rdi                ## 8-byte Reload
	movq	%r14, %rsi
	movl	-84(%rbp), %ebx                 ## 4-byte Reload
	movl	%ebx, %edx
	callq	_uECC_vli_set
	movq	-144(%rbp), %rax                ## 8-byte Reload
	leaq	(%r14,%rax,8), %rsi
	movq	-112(%rbp), %r12                ## 8-byte Reload
	movq	-208(%rbp), %r13                ## 8-byte Reload
	movq	%r13, %rdi
	movl	%ebx, %edx
	callq	_uECC_vli_set
	movq	%r12, %rdi
	movl	%ebx, %esi
	callq	_uECC_vli_clear
	movq	%r15, %r14
	movq	$1, (%r12)
	cmpq	$2, -96(%rbp)                   ## 8-byte Folded Reload
	movq	-120(%rbp), %r15                ## 8-byte Reload
	jge	LBB0_5
LBB0_8:
	movl	20(%r15), %edx
	movq	%r12, %rdi
	movq	%r12, %rsi
	movl	-84(%rbp), %r14d                ## 4-byte Reload
	movl	%r14d, %ecx
	callq	_uECC_vli_modInv
	movq	-128(%rbp), %rbx                ## 8-byte Reload
	movq	%rbx, %rdi
	movq	%r13, %rsi
	movq	%r12, %rdx
	movq	%r15, %rcx
	callq	_apply_z
	movl	16(%r15), %edi
	movq	%rbx, %rsi
	movl	-100(%rbp), %r12d               ## 4-byte Reload
	movl	%r12d, %edx
	callq	_uECC_vli_cmp_unsafe
	cmpl	$1, %eax
	je	LBB0_10
## %bb.9:
	movl	16(%r15), %edx
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movl	%r12d, %ecx
	callq	_uECC_vli_sub
LBB0_10:
	movq	%rbx, %rdi
	movq	-136(%rbp), %rsi                ## 8-byte Reload
	movl	%r14d, %edx
	callq	_uECC_vli_equal
	movq	%rax, %r14
LBB0_11:
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_13
## %bb.12:
	movl	%r14d, %eax
	leaq	-40(%rbp), %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.p2align	4, 0x90
LBB0_7:                                 ##   in Loop: Header=BB0_5 Depth=1
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	testq	%r14, %r14
	jle	LBB0_8
LBB0_5:                                 ## =>This Inner Loop Header: Depth=1
	decq	%r14
	movq	-128(%rbp), %rdi                ## 8-byte Reload
	movq	%r13, %rsi
	movq	%r12, %rdx
	movq	%r15, %rcx
	callq	*24(%r15)
	movq	-160(%rbp), %rdi                ## 8-byte Reload
	movq	%r14, %rsi
	callq	_uECC_vli_testBit
	xorl	%ebx, %ebx
	testl	%eax, %eax
	setne	%bl
	movq	-152(%rbp), %rdi                ## 8-byte Reload
	movq	%r14, -96(%rbp)                 ## 8-byte Spill
	movq	%r14, %rsi
	callq	_uECC_vli_testBit
	xorl	%ecx, %ecx
	testl	%eax, %eax
	setne	%cl
	leaq	(%rbx,%rcx,2), %rax
	movq	-80(%rbp,%rax,8), %rbx
	testq	%rbx, %rbx
	je	LBB0_7
## %bb.6:                               ##   in Loop: Header=BB0_5 Depth=1
	movq	-200(%rbp), %r13                ## 8-byte Reload
	movq	%r13, %rdi
	movq	%rbx, %rsi
	movl	-84(%rbp), %r15d                ## 4-byte Reload
	movl	%r15d, %edx
	callq	_uECC_vli_set
	movq	-144(%rbp), %rax                ## 8-byte Reload
	leaq	(%rbx,%rax,8), %rsi
	movq	-192(%rbp), %rbx                ## 8-byte Reload
	movq	%rbx, %rdi
	movl	%r15d, %edx
	callq	_uECC_vli_set
	movq	%r13, %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	movq	-120(%rbp), %rcx                ## 8-byte Reload
	callq	_apply_z
	movq	-120(%rbp), %rax                ## 8-byte Reload
	movl	20(%rax), %ecx
	movq	-232(%rbp), %r14                ## 8-byte Reload
	movq	%r14, %rdi
	movq	-128(%rbp), %r12                ## 8-byte Reload
	movq	%r12, %rsi
	movq	%r13, %rdx
	movl	%r15d, %r8d
	movq	-120(%rbp), %r15                ## 8-byte Reload
	callq	_uECC_vli_modSub
	movq	%r13, %rdi
	movq	-208(%rbp), %r13                ## 8-byte Reload
	movq	%rbx, %rsi
	movq	%r12, %rdx
	movq	-112(%rbp), %r12                ## 8-byte Reload
	movq	%r13, %rcx
	movq	%r15, %r8
	callq	_XYcZ_add
	movq	%r12, %rdi
	movq	%r12, %rsi
	movq	%r14, %rdx
	movq	%r15, %rcx
	callq	_uECC_vli_modMult_fast
	jmp	LBB0_7
LBB0_13:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_uECC_MAX_WORDS,4,2             ## @uECC_MAX_WORDS
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_uECC_verify                    ; -- Begin function uECC_verify
	.p2align	2
_uECC_verify:                           ; @uECC_verify
	.cfi_startproc
; %bb.0:
	stp	x28, x27, [sp, #-96]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.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
	sub	sp, sp, #144
	mov	x24, x4
	stur	x3, [x29, #-136]                ; 8-byte Folded Spill
	stur	w2, [x29, #-200]                ; 4-byte Folded Spill
	stur	x1, [x29, #-208]                ; 8-byte Folded Spill
	mov	x23, x0
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
Lloh3:
	adrp	x8, _uECC_MAX_WORDS@GOTPAGE
Lloh4:
	ldr	x8, [x8, _uECC_MAX_WORDS@GOTPAGEOFF]
Lloh5:
	ldr	w12, [x8]
	lsl	x8, x12, #3
	mov	x9, x8
Lloh6:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh7:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	add	x10, x8, #15
	and	x13, x10, #0xffffffff0
	sub	x9, x9, x13
	stur	x9, [x29, #-152]                ; 8-byte Folded Spill
	mov	sp, x9
	mov	x9, x8
Lloh8:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh9:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x9, x9, x13
	stur	x9, [x29, #-184]                ; 8-byte Folded Spill
	mov	sp, x9
	mov	x9, x8
Lloh10:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh11:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x9, x9, x13
	stur	x9, [x29, #-168]                ; 8-byte Folded Spill
	mov	sp, x9
	lsl	w9, w12, #1
	lsl	x12, x9, #3
	mov	x9, x12
Lloh12:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh13:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x9, x9, x12
	stur	x9, [x29, #-192]                ; 8-byte Folded Spill
	mov	sp, x9
	mov	x9, x8
Lloh14:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh15:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x27, x9, x13
	mov	sp, x27
	mov	x9, x8
Lloh16:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh17:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x9, x9, x13
	stur	x9, [x29, #-144]                ; 8-byte Folded Spill
	mov	sp, x9
	mov	x9, x8
Lloh18:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh19:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x9, x9, x13
	stur	x9, [x29, #-160]                ; 8-byte Folded Spill
	mov	sp, x9
	mov	x9, x8
Lloh20:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh21:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x9, x9, x13
	stur	x9, [x29, #-128]                ; 8-byte Folded Spill
	mov	sp, x9
	mov	x9, x8
Lloh22:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh23:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x9, x9, x13
	stur	x9, [x29, #-176]                ; 8-byte Folded Spill
	mov	sp, x9
	mov	x9, x12
Lloh24:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh25:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x19, x9, x12
	mov	sp, x19
	mov	x9, x8
Lloh26:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh27:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x25, x9, x13
	mov	sp, x25
	mov	x9, x8
Lloh28:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh29:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x8, sp
	sub	x21, x8, x13
	mov	sp, x21
	ldr	w26, [x4]
	ldr	w0, [x4, #32]
	bl	_BITS_TO_WORDS
	mov	x28, x0
	sub	w20, w0, #1
	sbfiz	x8, x20, #3, #32
	str	xzr, [x27, x8]
	str	xzr, [x25, x8]
	str	xzr, [x21, x8]
	ldr	w2, [x24, #4]
	mov	x0, x19
	mov	x1, x23
	bl	_uECC_vli_bytesToNative
	add	x22, x19, w26, sxtw #3
	ldrsw	x2, [x24, #4]
	add	x1, x23, x2, lsl #2
	mov	x0, x22
                                        ; kill: def $w2 killed $w2 killed $x2
	bl	_uECC_vli_bytesToNative
	ldr	w2, [x24, #4]
	mov	x0, x25
	ldur	x23, [x29, #-136]               ; 8-byte Folded Reload
	mov	x1, x23
	bl	_uECC_vli_bytesToNative
	ldrsw	x2, [x24, #4]
	add	x1, x23, x2, lsl #2
	mov	x0, x21
                                        ; kill: def $w2 killed $w2 killed $x2
	bl	_uECC_vli_bytesToNative
	mov	x0, x25
	mov	x1, x26
	bl	_uECC_vli_isZero
	cbnz	x0, LBB0_6
; %bb.1:
	mov	x23, x20
	stur	x22, [x29, #-216]               ; 8-byte Folded Spill
	stur	w28, [x29, #-136]               ; 4-byte Folded Spill
	ldur	x22, [x29, #-168]               ; 8-byte Folded Reload
	ldur	x20, [x29, #-152]               ; 8-byte Folded Reload
	sxtw	x28, w26
	mov	x0, x21
	mov	x1, x28
	bl	_uECC_vli_isZero
	cbnz	x0, LBB0_6
; %bb.2:
	mov	x26, x24
	ldr	w0, [x24, #16]
	mov	x1, x25
	ldur	w24, [x29, #-136]               ; 4-byte Folded Reload
	mov	x2, x24
	bl	_uECC_vli_cmp_unsafe
	cmp	w0, #1
	b.ne	LBB0_6
; %bb.3:
	ldr	w0, [x26, #16]
	mov	x1, x21
	mov	x2, x24
	bl	_uECC_vli_cmp_unsafe
	cmp	w0, #1
	b.ne	LBB0_6
; %bb.4:
	sxtw	x8, w23
	stur	x8, [x29, #-224]                ; 8-byte Folded Spill
	ldr	w2, [x26, #16]
	mov	x23, x25
	mov	x25, x22
	mov	x0, x22
	mov	x1, x21
	mov	x3, x24
	bl	_uECC_vli_modInv
	ldur	x8, [x29, #-224]                ; 8-byte Folded Reload
	str	xzr, [x20, x8, lsl #3]
	mov	x0, x20
	ldur	x1, [x29, #-208]                ; 8-byte Folded Reload
	ldur	w2, [x29, #-200]                ; 4-byte Folded Reload
	mov	x3, x26
	bl	_bits2int
	ldr	w3, [x26, #16]
	mov	x0, x20
	mov	x1, x20
	mov	x2, x22
	mov	x4, x24
	bl	_uECC_vli_modMult
	ldr	w3, [x26, #16]
	ldur	x0, [x29, #-184]                ; 8-byte Folded Reload
	stur	x23, [x29, #-200]               ; 8-byte Folded Spill
	mov	x1, x23
	mov	x2, x22
	mov	x4, x24
	bl	_uECC_vli_modMult
	ldur	x20, [x29, #-192]               ; 8-byte Folded Reload
	mov	x0, x20
	mov	x1, x19
	mov	x2, x28
	bl	_uECC_vli_set
	lsl	x8, x28, #3
	add	x21, x20, x8
	mov	x23, x8
	stur	x8, [x29, #-208]                ; 8-byte Folded Spill
	mov	x0, x21
	ldur	x1, [x29, #-216]                ; 8-byte Folded Reload
	mov	x2, x28
	bl	_uECC_vli_set
	ldr	x1, [x26, #8]
	ldur	x22, [x29, #-160]               ; 8-byte Folded Reload
	mov	x0, x22
	mov	x2, x28
	bl	_uECC_vli_set
	ldr	x8, [x26, #8]
	add	x1, x8, x23
	ldur	x23, [x29, #-128]               ; 8-byte Folded Reload
	mov	x0, x23
	mov	x2, x28
	bl	_uECC_vli_set
	ldr	w3, [x26, #20]
	mov	x0, x25
	mov	x1, x20
	mov	x2, x22
	mov	x4, x28
	bl	_uECC_vli_modSub
	mov	x0, x22
	mov	x1, x23
	mov	x2, x20
	mov	x3, x21
	mov	x4, x26
	bl	_XYcZ_add
	ldr	w2, [x26, #20]
	mov	x0, x25
	mov	x1, x25
	mov	x3, x28
	bl	_uECC_vli_modInv
	mov	x0, x20
	mov	x1, x21
	mov	x2, x25
	mov	x3, x26
	bl	_apply_z
	ldr	x8, [x26, #8]
	stp	xzr, x8, [x29, #-120]
	stp	x19, x20, [x29, #-104]
	ldur	x19, [x29, #-152]               ; 8-byte Folded Reload
	mov	x0, x19
	mov	x1, x24
	bl	_uECC_vli_numBits
	mov	x21, x0
	ldur	x20, [x29, #-184]               ; 8-byte Folded Reload
	mov	x0, x20
	mov	x1, x24
	bl	_uECC_vli_numBits
	mov	x1, x0
	mov	x0, x21
	bl	_smax
	mov	x23, x0
	sub	x21, x0, #1
	mov	x0, x19
	mov	x1, x21
	bl	_uECC_vli_testBit
	cmp	w0, #0
	cset	w22, ne
	mov	x0, x20
	mov	x1, x21
	bl	_uECC_vli_testBit
	cmp	w0, #0
	cset	w8, ne
	bfi	x22, x8, #1, #1
	sub	x8, x29, #120
	ldr	x24, [x8, x22, lsl #3]
	mov	x0, x27
	mov	x1, x24
	mov	x2, x28
	bl	_uECC_vli_set
	ldur	x8, [x29, #-208]                ; 8-byte Folded Reload
	add	x1, x24, x8
	mov	x24, x20
	mov	x20, x27
	mov	x27, x19
	ldur	x22, [x29, #-144]               ; 8-byte Folded Reload
	mov	x0, x22
	mov	x2, x28
	bl	_uECC_vli_set
	mov	x0, x25
	mov	x1, x28
	bl	_uECC_vli_clear
	mov	w8, #1
	str	x8, [x25]
	cmp	x23, #2
	mov	x19, x26
	b.lt	LBB0_12
; %bb.5:
	ldur	x26, [x29, #-160]               ; 8-byte Folded Reload
	b	LBB0_10
LBB0_6:
	mov	w0, #0
LBB0_7:
	ldur	x8, [x29, #-88]
Lloh30:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh31:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh32:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_15
; %bb.8:
                                        ; kill: def $w0 killed $w0 killed $x0
	sub	sp, x29, #80
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp], #96             ; 16-byte Folded Reload
	ret
LBB0_9:                                 ;   in Loop: Header=BB0_10 Depth=1
	cmp	x21, #0
	b.le	LBB0_12
LBB0_10:                                ; =>This Inner Loop Header: Depth=1
	sub	x21, x21, #1
	ldr	x8, [x19, #24]
	mov	x0, x20
	mov	x1, x22
	mov	x2, x25
	mov	x3, x19
	blr	x8
	mov	x0, x27
	mov	x1, x21
	bl	_uECC_vli_testBit
	cmp	w0, #0
	cset	w22, ne
	mov	x0, x24
	mov	x1, x21
	bl	_uECC_vli_testBit
	cmp	w0, #0
	cset	w8, ne
	bfi	x22, x8, #1, #1
	sub	x8, x29, #120
	ldr	x23, [x8, x22, lsl #3]
	ldur	x22, [x29, #-144]               ; 8-byte Folded Reload
	cbz	x23, LBB0_9
; %bb.11:                               ;   in Loop: Header=BB0_10 Depth=1
	mov	x0, x26
	mov	x1, x23
	mov	x2, x28
	bl	_uECC_vli_set
	add	x1, x23, x28, lsl #3
	ldur	x0, [x29, #-128]                ; 8-byte Folded Reload
	mov	x2, x28
	bl	_uECC_vli_set
	mov	x0, x26
	ldur	x1, [x29, #-128]                ; 8-byte Folded Reload
	mov	x2, x25
	mov	x3, x19
	bl	_apply_z
	ldr	w3, [x19, #20]
	ldur	x23, [x29, #-176]               ; 8-byte Folded Reload
	mov	x0, x23
	mov	x1, x20
	mov	x2, x26
	mov	x4, x28
	bl	_uECC_vli_modSub
	mov	x0, x26
	ldur	x1, [x29, #-128]                ; 8-byte Folded Reload
	mov	x2, x20
	mov	x3, x22
	mov	x4, x19
	bl	_XYcZ_add
	mov	x0, x25
	mov	x1, x25
	mov	x2, x23
	mov	x3, x19
	bl	_uECC_vli_modMult_fast
	b	LBB0_9
LBB0_12:
	ldr	w2, [x19, #20]
	mov	x0, x25
	mov	x1, x25
	mov	x3, x28
	bl	_uECC_vli_modInv
	mov	x0, x20
	mov	x1, x22
	mov	x2, x25
	mov	x3, x19
	bl	_apply_z
	ldr	w0, [x19, #16]
	mov	x1, x20
	ldur	w21, [x29, #-136]               ; 4-byte Folded Reload
	mov	x2, x21
	bl	_uECC_vli_cmp_unsafe
	cmp	w0, #1
	b.eq	LBB0_14
; %bb.13:
	ldr	w2, [x19, #16]
	mov	x0, x20
	mov	x1, x20
	mov	x3, x21
	bl	_uECC_vli_sub
LBB0_14:
	mov	x0, x20
	ldur	x1, [x29, #-200]                ; 8-byte Folded Reload
	mov	x2, x28
	bl	_uECC_vli_equal
	b	LBB0_7
LBB0_15:
	bl	___stack_chk_fail
	.loh AdrpLdrGot	Lloh28, Lloh29
	.loh AdrpLdrGot	Lloh26, Lloh27
	.loh AdrpLdrGot	Lloh24, Lloh25
	.loh AdrpLdrGot	Lloh22, Lloh23
	.loh AdrpLdrGot	Lloh20, Lloh21
	.loh AdrpLdrGot	Lloh18, Lloh19
	.loh AdrpLdrGot	Lloh16, Lloh17
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpLdrGot	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.cfi_endproc
                                        ; -- End function
	.comm	_uECC_MAX_WORDS,4,2             ; @uECC_MAX_WORDS
.subsections_via_symbols
