	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function ecp_nistz256_mod_inverse
_ecp_nistz256_mod_inverse:              ## @ecp_nistz256_mod_inverse
	.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	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r13
	movq	%rdi, -104(%rbp)                ## 8-byte Spill
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	_P256_LIMBS@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	%rbx, -88(%rbp)                 ## 8-byte Spill
	shlq	$2, %rbx
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r14
	movq	%rbx, %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, -56(%rbp)                 ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r12
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -64(%rbp)                 ## 8-byte Spill
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %rbx
	movq	%rbx, %rdi
	movq	%r13, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%r14, %rdi
	movq	%rbx, %rsi
	movq	%r13, %rdx
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%r14, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%r15, %rdi
	movq	%rbx, %rsi
	movq	%r14, -80(%rbp)                 ## 8-byte Spill
	movq	%r14, %rdx
	movq	%r15, %r14
	movq	-56(%rbp), %r15                 ## 8-byte Reload
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%r14, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%r15, %rdi
	movq	%rbx, %rsi
	movq	%r14, -72(%rbp)                 ## 8-byte Spill
	movq	%r14, %rdx
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%r12, %rdi
	movq	%rbx, %rsi
	movq	%r15, %rdx
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%r12, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	-64(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%r14, %r15
	movq	%r14, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	%r13, -96(%rbp)                 ## 8-byte Spill
	movq	%r13, %rdx
	callq	_ecp_nistz256_mul_mont
	movl	$128, %r13d
	.p2align	4, 0x90
LBB0_1:                                 ## =>This Inner Loop Header: Depth=1
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	decl	%r13d
	jne	LBB0_1
## %bb.2:
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	%r15, %rdx
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	%r15, %rdx
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	-56(%rbp), %rdx                 ## 8-byte Reload
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	-72(%rbp), %rdx                 ## 8-byte Reload
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	-80(%rbp), %rdx                 ## 8-byte Reload
	callq	_ecp_nistz256_mul_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_ecp_nistz256_sqr_mont
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movq	-96(%rbp), %rdx                 ## 8-byte Reload
	callq	_ecp_nistz256_mul_mont
	movq	-88(%rbp), %rax                 ## 8-byte Reload
	leal	(,%rax,4), %edx
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	movq	%rbx, %rsi
	callq	_memcpy
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_4
## %bb.3:
	leaq	-40(%rbp), %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_4:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_P256_LIMBS,4,2                 ## @P256_LIMBS
	.no_dead_strip	_ecp_nistz256_mod_inverse
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function ecp_nistz256_mod_inverse
_ecp_nistz256_mod_inverse:              ; @ecp_nistz256_mod_inverse
	.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, #16
	mov	x20, x1
	mov	x19, 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, _P256_LIMBS@GOTPAGE
Lloh4:
	ldr	x8, [x8, _P256_LIMBS@GOTPAGEOFF]
Lloh5:
	ldr	w27, [x8]
	lsl	x8, x27, #2
	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	x12, x10, #0x7fffffff0
	sub	x21, x9, x12
	mov	sp, x21
	mov	x9, x8
Lloh8:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh9:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x23, x9, x12
	mov	sp, x23
	mov	x9, x8
Lloh10:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh11:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x24, x9, x12
	mov	sp, x24
	mov	x9, x8
Lloh12:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh13:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x25, x9, x12
	mov	sp, x25
	mov	x9, x8
Lloh14:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh15:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x26, x9, x12
	mov	sp, x26
	mov	x9, x8
Lloh16:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh17:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x8, sp
	sub	x22, x8, x12
	mov	sp, x22
	mov	x0, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x21
	mov	x1, x22
	mov	x2, x20
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x21
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x23
	mov	x1, x22
	mov	x2, x21
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x23
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x24
	mov	x1, x22
	mov	x2, x23
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x24
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x25
	mov	x1, x22
	mov	x2, x24
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x25
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x26
	mov	x1, x22
	mov	x2, x25
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x26
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	mov	x2, x20
	bl	_ecp_nistz256_mul_mont
	mov	w28, #128
LBB0_1:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	subs	w28, w28, #1
	b.ne	LBB0_1
; %bb.2:
	mov	x0, x22
	mov	x1, x22
	mov	x2, x26
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	mov	x2, x26
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	mov	x2, x25
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	mov	x2, x24
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	mov	x2, x23
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	mov	x2, x21
	bl	_ecp_nistz256_mul_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	bl	_ecp_nistz256_sqr_mont
	mov	x0, x22
	mov	x1, x22
	mov	x2, x20
	bl	_ecp_nistz256_mul_mont
	lsl	w2, w27, #2
	mov	x0, x19
	mov	x1, x22
	bl	_memcpy
	ldur	x8, [x29, #-88]
Lloh18:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh19:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh20:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_4
; %bb.3:
	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_4:
	bl	___stack_chk_fail
	.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	Lloh18, Lloh19, Lloh20
	.cfi_endproc
                                        ; -- End function
	.comm	_P256_LIMBS,4,2                 ; @P256_LIMBS
	.no_dead_strip	_ecp_nistz256_mod_inverse
.subsections_via_symbols
