	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function p256_add_mixed
_p256_add_mixed:                        ## @p256_add_mixed
	.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	$664, %rsp                      ## imm = 0x298
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r15
	movq	%rdi, %r14
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	(%rdi), %rsi
	leaq	-128(%rbp), %r12
	movq	%r12, %rdi
	movl	$80, %edx
	callq	_memcpy
	movq	8(%r14), %rsi
	leaq	-288(%rbp), %rdi
	movl	$80, %edx
	callq	_memcpy
	movq	16(%r14), %rsi
	leaq	-368(%rbp), %rbx
	movq	%rbx, %rdi
	callq	_square_f256
	movq	(%r15), %rsi
	leaq	-208(%rbp), %r13
	movq	%r13, %rdi
	movq	%rbx, %rdx
	callq	_mul_f256
	movq	%r14, -696(%rbp)                ## 8-byte Spill
	movq	16(%r14), %rsi
	leaq	-448(%rbp), %r14
	movq	%r14, %rdi
	movq	%rbx, %rdx
	callq	_mul_f256
	movq	8(%r15), %rsi
	movq	%rbx, %rdi
	movq	%r14, %rdx
	callq	_mul_f256
	movq	_F256@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	leaq	-128(%rbp), %rdi
	leaq	-288(%rbp), %rsi
	leaq	80(%rax), %rcx
	leaq	-48(%rbp), %r10
	cmpq	%rsi, %r13
	setb	-624(%rbp)                      ## 1-byte Folded Spill
	cmpq	%rdi, %rbx
	setb	%r15b
	cmpq	%rcx, %r13
	setb	%dl
	cmpq	%rdi, %rax
	setb	-620(%rbp)                      ## 1-byte Folded Spill
	cmpq	%r10, %r13
	setb	%r8b
	cmpq	%rdi, %r12
	setb	-616(%rbp)                      ## 1-byte Folded Spill
	leaq	-208(%rbp), %r14
	cmpq	%r14, %r13
	setb	%r11b
	leaq	-288(%rbp), %r13
	cmpq	%rdi, %r13
	setb	-612(%rbp)                      ## 1-byte Folded Spill
	cmpq	%rcx, %rbx
	setb	%r9b
	cmpq	%rsi, %rax
	setb	%cl
	cmpq	%r10, %rbx
	setb	%dil
	cmpq	%rsi, %r12
	setb	%r10b
	cmpq	%r14, %rbx
	setb	%bl
	cmpq	%rsi, %r13
	setb	%sil
	testb	%r15b, -624(%rbp)               ## 1-byte Folded Reload
	jne	LBB0_7
## %bb.1:
	andb	-620(%rbp), %dl                 ## 1-byte Folded Reload
	jne	LBB0_7
## %bb.2:
	andb	-616(%rbp), %r8b                ## 1-byte Folded Reload
	jne	LBB0_7
## %bb.3:
	andb	-612(%rbp), %r11b               ## 1-byte Folded Reload
	jne	LBB0_7
## %bb.4:
	andb	%cl, %r9b
	jne	LBB0_7
## %bb.5:
	andb	%r10b, %dil
	jne	LBB0_7
## %bb.6:
	andb	%sil, %bl
	jne	LBB0_7
## %bb.24:
	movdqu	(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-128(%rbp), %xmm0
	paddd	-208(%rbp), %xmm0
	movdqa	%xmm0, -208(%rbp)
	movdqu	(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-288(%rbp), %xmm0
	paddd	-368(%rbp), %xmm0
	movdqa	%xmm0, -368(%rbp)
	movdqu	16(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-112(%rbp), %xmm0
	paddd	-192(%rbp), %xmm0
	movdqa	%xmm0, -192(%rbp)
	movdqu	16(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-272(%rbp), %xmm0
	paddd	-352(%rbp), %xmm0
	movdqa	%xmm0, -352(%rbp)
	movdqu	32(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-96(%rbp), %xmm0
	paddd	-176(%rbp), %xmm0
	movdqa	%xmm0, -176(%rbp)
	movdqu	32(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-256(%rbp), %xmm0
	paddd	-336(%rbp), %xmm0
	movdqa	%xmm0, -336(%rbp)
	movdqu	48(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-80(%rbp), %xmm0
	paddd	-160(%rbp), %xmm0
	movdqa	%xmm0, -160(%rbp)
	movdqu	48(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-240(%rbp), %xmm0
	paddd	-320(%rbp), %xmm0
	movdqa	%xmm0, -320(%rbp)
	movdqu	64(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-64(%rbp), %xmm0
	paddd	-144(%rbp), %xmm0
	movdqa	%xmm0, -144(%rbp)
	movdqu	64(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-224(%rbp), %xmm0
	paddd	-304(%rbp), %xmm0
	movdqa	%xmm0, -304(%rbp)
	jmp	LBB0_9
LBB0_7:
	xorl	%ecx, %ecx
	.p2align	4, 0x90
LBB0_8:                                 ## =>This Inner Loop Header: Depth=1
	movl	(%rax,%rcx,4), %edx
	addl	%edx, %edx
	subl	-128(%rbp,%rcx,4), %edx
	addl	%edx, -208(%rbp,%rcx,4)
	movl	(%rax,%rcx,4), %edx
	addl	%edx, %edx
	subl	-288(%rbp,%rcx,4), %edx
	addl	%edx, -368(%rbp,%rcx,4)
	incq	%rcx
	cmpq	$20, %rcx
	jne	LBB0_8
LBB0_9:
	leaq	-208(%rbp), %r15
	movq	%r15, %rdi
	movq	%r15, %rsi
	movl	$20, %edx
	callq	_norm13
	leaq	-368(%rbp), %r14
	movq	%r14, %rdi
	movq	%r14, %rsi
	movl	$20, %edx
	callq	_norm13
	movq	%r14, %rdi
	callq	_reduce_f256
	movq	%r14, %rdi
	callq	_reduce_final_f256
	movl	-368(%rbp), %eax
	movl	%eax, -664(%rbp)                ## 4-byte Spill
	movl	-364(%rbp), %eax
	movl	%eax, -628(%rbp)                ## 4-byte Spill
	movl	-360(%rbp), %eax
	movl	%eax, -668(%rbp)                ## 4-byte Spill
	movl	-356(%rbp), %eax
	movl	%eax, -672(%rbp)                ## 4-byte Spill
	movl	-352(%rbp), %eax
	movl	%eax, -676(%rbp)                ## 4-byte Spill
	movl	-348(%rbp), %eax
	movl	%eax, -680(%rbp)                ## 4-byte Spill
	movl	-344(%rbp), %eax
	movl	%eax, -684(%rbp)                ## 4-byte Spill
	movl	-340(%rbp), %eax
	movl	%eax, -688(%rbp)                ## 4-byte Spill
	movl	-336(%rbp), %eax
	movl	%eax, -612(%rbp)                ## 4-byte Spill
	movl	-332(%rbp), %eax
	movl	%eax, -616(%rbp)                ## 4-byte Spill
	movl	-328(%rbp), %eax
	movl	%eax, -620(%rbp)                ## 4-byte Spill
	movl	-324(%rbp), %eax
	movl	%eax, -624(%rbp)                ## 4-byte Spill
	movl	-320(%rbp), %eax
	movl	%eax, -632(%rbp)                ## 4-byte Spill
	movl	-316(%rbp), %eax
	movl	%eax, -636(%rbp)                ## 4-byte Spill
	movl	-312(%rbp), %eax
	movl	%eax, -640(%rbp)                ## 4-byte Spill
	movl	-308(%rbp), %eax
	movl	%eax, -644(%rbp)                ## 4-byte Spill
	movl	-304(%rbp), %eax
	movl	%eax, -648(%rbp)                ## 4-byte Spill
	movl	-300(%rbp), %eax
	movl	%eax, -652(%rbp)                ## 4-byte Spill
	movl	-296(%rbp), %eax
	movl	%eax, -660(%rbp)                ## 4-byte Spill
	movl	-292(%rbp), %eax
	movl	%eax, -656(%rbp)                ## 4-byte Spill
	leaq	-608(%rbp), %rbx
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_square_f256
	leaq	-528(%rbp), %r12
	leaq	-128(%rbp), %rsi
	movq	%r12, %rdi
	movq	%rbx, %rdx
	callq	_mul_f256
	leaq	-448(%rbp), %r13
	movq	%r13, %rdi
	movq	%rbx, %rsi
	movq	%r15, %rdx
	callq	_mul_f256
	movq	-696(%rbp), %r15                ## 8-byte Reload
	movq	(%r15), %rdi
	movq	%r14, %rsi
	callq	_square_f256
	movq	_F256@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	(%r15), %rdi
	leaq	80(%rdi), %rsi
	leaq	80(%rax), %rcx
	leaq	-368(%rbp), %rdx
	leaq	-448(%rbp), %r14
	cmpq	%rcx, %rdi
	setb	%r9b
	cmpq	%rsi, %rax
	setb	%bl
	cmpq	%rdx, %rdi
	setb	%dl
	cmpq	%rsi, %r13
	setb	%r8b
	cmpq	%r14, %rdi
	setb	%cl
	cmpq	%rsi, %r12
	setb	%sil
	testb	%bl, %r9b
	jne	LBB0_12
## %bb.10:
	andb	%r8b, %dl
	jne	LBB0_12
## %bb.11:
	andb	%sil, %cl
	jne	LBB0_12
## %bb.25:
	movdqu	(%rax), %xmm0
	pslld	$3, %xmm0
	psubd	-448(%rbp), %xmm0
	movdqa	-528(%rbp), %xmm1
	paddd	%xmm1, %xmm1
	psubd	%xmm1, %xmm0
	movdqu	(%rdi), %xmm1
	paddd	%xmm0, %xmm1
	movdqu	16(%rdi), %xmm2
	movdqu	32(%rdi), %xmm3
	movdqu	48(%rdi), %xmm0
	movdqu	%xmm1, (%rdi)
	movdqu	16(%rax), %xmm1
	pslld	$3, %xmm1
	psubd	-432(%rbp), %xmm1
	movdqa	-512(%rbp), %xmm4
	paddd	%xmm4, %xmm4
	psubd	%xmm4, %xmm1
	paddd	%xmm2, %xmm1
	movdqu	%xmm1, 16(%rdi)
	movdqu	32(%rax), %xmm1
	pslld	$3, %xmm1
	psubd	-416(%rbp), %xmm1
	movdqa	-496(%rbp), %xmm2
	paddd	%xmm2, %xmm2
	psubd	%xmm2, %xmm1
	paddd	%xmm3, %xmm1
	movdqu	%xmm1, 32(%rdi)
	movdqu	48(%rax), %xmm1
	pslld	$3, %xmm1
	psubd	-400(%rbp), %xmm1
	movdqa	-480(%rbp), %xmm2
	paddd	%xmm2, %xmm2
	psubd	%xmm2, %xmm1
	paddd	%xmm0, %xmm1
	movdqu	%xmm1, 48(%rdi)
	movdqu	64(%rax), %xmm0
	pslld	$3, %xmm0
	psubd	-384(%rbp), %xmm0
	movdqa	-464(%rbp), %xmm1
	paddd	%xmm1, %xmm1
	psubd	%xmm1, %xmm0
	movdqu	64(%rdi), %xmm1
	paddd	%xmm0, %xmm1
	movdqu	%xmm1, 64(%rdi)
	jmp	LBB0_14
LBB0_12:
	movl	$1, %ecx
	.p2align	4, 0x90
LBB0_13:                                ## =>This Inner Loop Header: Depth=1
	movl	-4(%rax,%rcx,4), %edx
	shll	$3, %edx
	subl	-452(%rbp,%rcx,4), %edx
	movl	-532(%rbp,%rcx,4), %esi
	addl	%esi, %esi
	subl	%esi, %edx
	addl	%edx, -4(%rdi,%rcx,4)
	movl	(%rax,%rcx,4), %edx
	shll	$3, %edx
	subl	-448(%rbp,%rcx,4), %edx
	movl	-528(%rbp,%rcx,4), %esi
	addl	%esi, %esi
	subl	%esi, %edx
	addl	%edx, (%rdi,%rcx,4)
	addq	$2, %rcx
	cmpq	$21, %rcx
	jne	LBB0_13
LBB0_14:
	movq	%rdi, %rsi
	movl	$20, %edx
	callq	_norm13
	movq	(%r15), %rdi
	callq	_reduce_f256
	movq	_F256@GOTPCREL(%rip), %rax
	movq	(%rax), %rcx
	movq	(%r15), %rax
	leaq	80(%rcx), %rdx
	leaq	80(%rax), %rsi
	cmpq	%rdx, %r12
	setb	%dil
	cmpq	%r14, %rcx
	setb	%bl
	cmpq	%rsi, %r12
	setb	%dl
	cmpq	%r14, %rax
	setb	%sil
	testb	%bl, %dil
	jne	LBB0_16
## %bb.15:
	andb	%sil, %dl
	jne	LBB0_16
## %bb.26:
	movdqu	(%rcx), %xmm0
	paddd	%xmm0, %xmm0
	movdqu	(%rax), %xmm1
	psubd	%xmm1, %xmm0
	paddd	-528(%rbp), %xmm0
	movdqa	%xmm0, -528(%rbp)
	movdqu	16(%rcx), %xmm0
	paddd	%xmm0, %xmm0
	movdqu	16(%rax), %xmm1
	psubd	%xmm1, %xmm0
	paddd	-512(%rbp), %xmm0
	movdqa	%xmm0, -512(%rbp)
	movdqu	32(%rcx), %xmm0
	paddd	%xmm0, %xmm0
	movdqu	32(%rax), %xmm1
	psubd	%xmm1, %xmm0
	paddd	-496(%rbp), %xmm0
	movdqa	%xmm0, -496(%rbp)
	movdqu	48(%rcx), %xmm0
	paddd	%xmm0, %xmm0
	movdqu	48(%rax), %xmm1
	psubd	%xmm1, %xmm0
	paddd	-480(%rbp), %xmm0
	movdqa	%xmm0, -480(%rbp)
	movdqu	64(%rcx), %xmm0
	paddd	%xmm0, %xmm0
	movdqu	64(%rax), %xmm1
	psubd	%xmm1, %xmm0
	paddd	-464(%rbp), %xmm0
	movdqa	%xmm0, -464(%rbp)
	leaq	-48(%rbp), %r14
	movl	-632(%rbp), %r12d               ## 4-byte Reload
	jmp	LBB0_18
LBB0_16:
	movl	$1, %edx
	leaq	-48(%rbp), %r14
	movl	-632(%rbp), %r12d               ## 4-byte Reload
	.p2align	4, 0x90
LBB0_17:                                ## =>This Inner Loop Header: Depth=1
	movl	-4(%rcx,%rdx,4), %esi
	addl	%esi, %esi
	subl	-4(%rax,%rdx,4), %esi
	addl	%esi, -532(%rbp,%rdx,4)
	movl	(%rcx,%rdx,4), %esi
	addl	%esi, %esi
	subl	(%rax,%rdx,4), %esi
	addl	%esi, -528(%rbp,%rdx,4)
	addq	$2, %rdx
	cmpq	$21, %rdx
	jne	LBB0_17
LBB0_18:
	leaq	-528(%rbp), %rbx
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movl	$20, %edx
	callq	_norm13
	movq	8(%r15), %rdi
	leaq	-368(%rbp), %rsi
	movq	%rbx, %rdx
	callq	_mul_f256
	leaq	-448(%rbp), %rsi
	leaq	-288(%rbp), %rdx
	leaq	-128(%rbp), %r13
	movq	%r13, %rdi
	callq	_mul_f256
	movq	_F256@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	8(%r15), %rdi
	leaq	80(%rdi), %rdx
	leaq	80(%rax), %rcx
	cmpq	%rcx, %rdi
	setb	%sil
	cmpq	%rdx, %rax
	setb	%bl
	cmpq	%r14, %rdi
	setb	%cl
	cmpq	%rdx, %r13
	setb	%dl
	testb	%bl, %sil
	jne	LBB0_20
## %bb.19:
	andb	%dl, %cl
	jne	LBB0_20
## %bb.27:
	movdqu	(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-128(%rbp), %xmm0
	movdqu	(%rdi), %xmm1
	paddd	%xmm0, %xmm1
	movdqu	16(%rdi), %xmm0
	movdqu	32(%rdi), %xmm2
	movdqu	48(%rdi), %xmm3
	movdqu	%xmm1, (%rdi)
	movdqu	16(%rax), %xmm1
	paddd	%xmm1, %xmm1
	psubd	-112(%rbp), %xmm1
	paddd	%xmm0, %xmm1
	movdqu	%xmm1, 16(%rdi)
	movdqu	32(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-96(%rbp), %xmm0
	paddd	%xmm2, %xmm0
	movdqu	%xmm0, 32(%rdi)
	movdqu	48(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-80(%rbp), %xmm0
	paddd	%xmm3, %xmm0
	movdqu	%xmm0, 48(%rdi)
	movdqu	64(%rax), %xmm0
	paddd	%xmm0, %xmm0
	psubd	-64(%rbp), %xmm0
	movdqu	64(%rdi), %xmm1
	paddd	%xmm0, %xmm1
	movdqu	%xmm1, 64(%rdi)
	movl	-660(%rbp), %r9d                ## 4-byte Reload
	movl	-656(%rbp), %r8d                ## 4-byte Reload
	movl	-652(%rbp), %r10d               ## 4-byte Reload
	movl	-648(%rbp), %r11d               ## 4-byte Reload
	movl	-644(%rbp), %r14d               ## 4-byte Reload
	movl	-640(%rbp), %r13d               ## 4-byte Reload
	movl	-636(%rbp), %ebx                ## 4-byte Reload
	movl	-628(%rbp), %esi                ## 4-byte Reload
	jmp	LBB0_22
LBB0_20:
	movl	$1, %ecx
	movl	-660(%rbp), %r9d                ## 4-byte Reload
	movl	-656(%rbp), %r8d                ## 4-byte Reload
	movl	-652(%rbp), %r10d               ## 4-byte Reload
	movl	-648(%rbp), %r11d               ## 4-byte Reload
	movl	-644(%rbp), %r14d               ## 4-byte Reload
	movl	-640(%rbp), %r13d               ## 4-byte Reload
	movl	-636(%rbp), %ebx                ## 4-byte Reload
	movl	-628(%rbp), %esi                ## 4-byte Reload
	.p2align	4, 0x90
LBB0_21:                                ## =>This Inner Loop Header: Depth=1
	movl	-4(%rax,%rcx,4), %edx
	addl	%edx, %edx
	subl	-132(%rbp,%rcx,4), %edx
	addl	%edx, -4(%rdi,%rcx,4)
	movl	(%rax,%rcx,4), %edx
	addl	%edx, %edx
	subl	-128(%rbp,%rcx,4), %edx
	addl	%edx, (%rdi,%rcx,4)
	addq	$2, %rcx
	cmpq	$21, %rcx
	jne	LBB0_21
LBB0_22:
	orl	-664(%rbp), %esi                ## 4-byte Folded Reload
	movl	-668(%rbp), %ecx                ## 4-byte Reload
	orl	%esi, %ecx
	movl	-672(%rbp), %eax                ## 4-byte Reload
	orl	%ecx, %eax
	movl	-676(%rbp), %ecx                ## 4-byte Reload
	orl	%eax, %ecx
	movl	-680(%rbp), %eax                ## 4-byte Reload
	orl	%ecx, %eax
	movl	-684(%rbp), %ecx                ## 4-byte Reload
	orl	%eax, %ecx
	movl	-688(%rbp), %eax                ## 4-byte Reload
	orl	%ecx, %eax
	movl	-612(%rbp), %ecx                ## 4-byte Reload
	orl	%eax, %ecx
	movl	-616(%rbp), %eax                ## 4-byte Reload
	orl	%ecx, %eax
	movl	-620(%rbp), %ecx                ## 4-byte Reload
	orl	%eax, %ecx
	movl	-624(%rbp), %eax                ## 4-byte Reload
	orl	%ecx, %eax
	orl	%eax, %r12d
	orl	%r12d, %ebx
	orl	%ebx, %r13d
	orl	%r13d, %r14d
	orl	%r14d, %r11d
	orl	%r11d, %r10d
	orl	%r10d, %r9d
	xorl	%ebx, %ebx
	orl	%r9d, %r8d
	setne	%r14b
	movq	%rdi, %rsi
	movl	$20, %edx
	callq	_norm13
	movq	8(%r15), %rdi
	callq	_reduce_f256
	movq	16(%r15), %rdi
	leaq	-208(%rbp), %rdx
	movq	%rdi, %rsi
	callq	_mul_f256
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_28
## %bb.23:
	movb	%r14b, %bl
	negl	%ebx
	movl	%ebx, %eax
	addq	$664, %rsp                      ## imm = 0x298
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_28:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_F256,8,3                       ## @F256
	.no_dead_strip	_p256_add_mixed
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function p256_add_mixed
_p256_add_mixed:                        ; @p256_add_mixed
	.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, #640
	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, #-96]
	ldr	x1, [x0]
	sub	x21, x29, #176
	sub	x0, x29, #176
	mov	w2, #80
	bl	_memcpy
	ldr	x1, [x19, #8]
	add	x22, sp, #384
	add	x0, sp, #384
	mov	w2, #80
	bl	_memcpy
	ldr	x1, [x19, #16]
	add	x23, sp, #304
	add	x0, sp, #304
	bl	_square_f256
	ldr	x1, [x20]
	sub	x24, x29, #256
	sub	x0, x29, #256
	add	x2, sp, #304
	bl	_mul_f256
	ldr	x1, [x19, #16]
	add	x0, sp, #224
	add	x2, sp, #304
	bl	_mul_f256
	ldr	x1, [x20, #8]
	add	x0, sp, #304
	add	x2, sp, #224
	bl	_mul_f256
Lloh3:
	adrp	x8, _F256@GOTPAGE
Lloh4:
	ldr	x8, [x8, _F256@GOTPAGEOFF]
Lloh5:
	ldr	x8, [x8]
	add	x15, x24, #80
	add	x16, x23, #80
	add	x12, x8, #80
	add	x13, x21, #80
	add	x14, x22, #80
	cmp	x24, x12
	ccmp	x8, x15, #2, lo
	cset	w9, lo
	cmp	x24, x13
	ccmp	x21, x15, #2, lo
	cset	w10, lo
	cmp	x24, x14
	ccmp	x22, x15, #2, lo
	cset	w11, lo
	cmp	x23, x12
	ccmp	x8, x16, #2, lo
	cset	w12, lo
	cmp	x23, x13
	ccmp	x21, x16, #2, lo
	cset	w13, lo
	cmp	x23, x14
	ccmp	x22, x16, #2, lo
	cset	w14, lo
	cmp	x23, x15
	ccmp	x24, x16, #2, lo
	b.lo	LBB0_8
; %bb.1:
	tbnz	w9, #0, LBB0_8
; %bb.2:
	tbnz	w10, #0, LBB0_8
; %bb.3:
	tbnz	w11, #0, LBB0_8
; %bb.4:
	tbnz	w12, #0, LBB0_8
; %bb.5:
	tbnz	w13, #0, LBB0_8
; %bb.6:
	cbnz	w14, LBB0_8
; %bb.7:
	ldp	q0, q1, [x8]
	shl.4s	v0, v0, #1
	ldp	q2, q3, [x29, #-176]
	sub.4s	v2, v0, v2
	ldp	q4, q5, [x29, #-256]
	add.4s	v2, v2, v4
	ldp	q4, q6, [sp, #384]
	sub.4s	v0, v0, v4
	ldp	q4, q7, [sp, #304]
	add.4s	v0, v0, v4
	shl.4s	v1, v1, #1
	sub.4s	v3, v1, v3
	add.4s	v3, v3, v5
	stp	q2, q3, [x29, #-256]
	sub.4s	v1, v1, v6
	add.4s	v1, v1, v7
	stp	q0, q1, [sp, #304]
	ldp	q0, q1, [x8, #32]
	shl.4s	v0, v0, #1
	ldp	q2, q3, [x29, #-144]
	sub.4s	v0, v0, v2
	ldp	q2, q4, [x29, #-224]
	add.4s	v0, v0, v2
	stur	q0, [x29, #-224]
	ldr	q0, [x8, #32]
	shl.4s	v0, v0, #1
	ldp	q2, q5, [sp, #416]
	sub.4s	v0, v0, v2
	ldp	q2, q6, [sp, #336]
	add.4s	v0, v0, v2
	shl.4s	v1, v1, #1
	sub.4s	v1, v1, v3
	add.4s	v1, v1, v4
	stur	q1, [x29, #-208]
	ldp	q1, q2, [x8, #48]
	shl.4s	v1, v1, #1
	sub.4s	v1, v1, v5
	add.4s	v1, v1, v6
	stp	q0, q1, [sp, #336]
	shl.4s	v0, v2, #1
	ldur	q1, [x29, #-112]
	sub.4s	v0, v0, v1
	ldur	q1, [x29, #-192]
	add.4s	v0, v0, v1
	stur	q0, [x29, #-192]
	ldr	q0, [x8, #64]
	shl.4s	v0, v0, #1
	ldr	q1, [sp, #448]
	sub.4s	v0, v0, v1
	ldr	q1, [sp, #368]
	add.4s	v0, v0, v1
	str	q0, [sp, #368]
	b	LBB0_10
LBB0_8:
	mov	x9, #0
LBB0_9:                                 ; =>This Inner Loop Header: Depth=1
	ldr	w10, [x8, x9]
	lsl	w10, w10, #1
	ldr	w11, [x21, x9]
	ldr	w12, [x24, x9]
	sub	w10, w10, w11
	add	w10, w10, w12
	str	w10, [x24, x9]
	ldr	w10, [x8, x9]
	lsl	w10, w10, #1
	ldr	w11, [x22, x9]
	ldr	w12, [x23, x9]
	sub	w10, w10, w11
	add	w10, w10, w12
	str	w10, [x23, x9]
	add	x9, x9, #4
	cmp	x9, #80
	b.ne	LBB0_9
LBB0_10:
	sub	x0, x29, #256
	sub	x1, x29, #256
	mov	w2, #20
	bl	_norm13
	add	x0, sp, #304
	add	x1, sp, #304
	mov	w2, #20
	bl	_norm13
	add	x0, sp, #304
	bl	_reduce_f256
	add	x0, sp, #304
	bl	_reduce_final_f256
	ldr	w9, [sp, #304]
	ldr	w22, [sp, #308]
	ldr	w23, [sp, #312]
	ldr	w24, [sp, #316]
	ldr	w25, [sp, #320]
	ldr	w26, [sp, #324]
	ldr	w27, [sp, #328]
	ldr	w28, [sp, #332]
	ldr	w8, [sp, #336]
	stp	w8, w9, [sp, #56]               ; 8-byte Folded Spill
	ldr	w9, [sp, #340]
	ldr	w8, [sp, #344]
	stp	w8, w9, [sp, #48]               ; 8-byte Folded Spill
	ldr	w9, [sp, #348]
	ldr	w8, [sp, #352]
	stp	w8, w9, [sp, #40]               ; 8-byte Folded Spill
	ldr	w9, [sp, #356]
	ldr	w8, [sp, #360]
	stp	w8, w9, [sp, #32]               ; 8-byte Folded Spill
	ldr	w9, [sp, #364]
	ldr	w8, [sp, #368]
	stp	w8, w9, [sp, #24]               ; 8-byte Folded Spill
	ldr	w9, [sp, #372]
	ldr	w8, [sp, #376]
	stp	w8, w9, [sp, #16]               ; 8-byte Folded Spill
	ldr	w8, [sp, #380]
	str	w8, [sp, #12]                   ; 4-byte Folded Spill
	add	x0, sp, #64
	sub	x1, x29, #256
	bl	_square_f256
	add	x20, sp, #144
	add	x0, sp, #144
	sub	x1, x29, #176
	add	x2, sp, #64
	bl	_mul_f256
	add	x21, sp, #224
	add	x0, sp, #224
	add	x1, sp, #64
	sub	x2, x29, #256
	bl	_mul_f256
	ldr	x0, [x19]
	add	x1, sp, #304
	bl	_square_f256
Lloh6:
	adrp	x8, _F256@GOTPAGE
Lloh7:
	ldr	x8, [x8, _F256@GOTPAGEOFF]
Lloh8:
	ldr	x8, [x8]
	ldr	x0, [x19]
	add	x11, x0, #80
	add	x12, x8, #80
	add	x9, x21, #80
	add	x10, x20, #80
	cmp	x0, x9
	ccmp	x21, x11, #2, lo
	cset	w9, lo
	cmp	x0, x10
	ccmp	x20, x11, #2, lo
	cset	w10, lo
	cmp	x8, x11
	ccmp	x0, x12, #2, lo
	b.lo	LBB0_14
; %bb.11:
	tbnz	w9, #0, LBB0_14
; %bb.12:
	cbnz	w10, LBB0_14
; %bb.13:
	ldr	q0, [x8]
	shl.4s	v0, v0, #3
	ldr	q1, [sp, #224]
	sub.4s	v0, v0, v1
	ldr	q1, [sp, #144]
	shl.4s	v1, v1, #1
	sub.4s	v0, v0, v1
	ldp	q1, q2, [x0]
	add.4s	v0, v0, v1
	str	q0, [x0]
	ldr	q0, [x8, #16]
	shl.4s	v0, v0, #3
	ldr	q1, [sp, #240]
	sub.4s	v0, v0, v1
	ldr	q1, [sp, #160]
	shl.4s	v1, v1, #1
	sub.4s	v0, v0, v1
	add.4s	v0, v0, v2
	str	q0, [x0, #16]
	ldr	q0, [x8, #32]
	shl.4s	v0, v0, #3
	ldr	q1, [sp, #256]
	sub.4s	v0, v0, v1
	ldr	q1, [sp, #176]
	shl.4s	v1, v1, #1
	sub.4s	v0, v0, v1
	ldp	q1, q2, [x0, #32]
	add.4s	v0, v0, v1
	str	q0, [x0, #32]
	ldr	q0, [x8, #48]
	shl.4s	v0, v0, #3
	ldr	q1, [sp, #272]
	sub.4s	v0, v0, v1
	ldr	q1, [sp, #192]
	shl.4s	v1, v1, #1
	sub.4s	v0, v0, v1
	add.4s	v0, v0, v2
	str	q0, [x0, #48]
	ldr	q0, [x8, #64]
	shl.4s	v0, v0, #3
	ldr	q1, [sp, #288]
	sub.4s	v0, v0, v1
	ldr	q1, [sp, #208]
	shl.4s	v1, v1, #1
	sub.4s	v0, v0, v1
	ldr	q1, [x0, #64]
	add.4s	v0, v0, v1
	str	q0, [x0, #64]
	b	LBB0_16
LBB0_14:
	mov	x9, #0
LBB0_15:                                ; =>This Inner Loop Header: Depth=1
	ldr	w10, [x8, x9]
	ldr	w11, [x21, x9]
	lsl	w10, w10, #3
	sub	w10, w10, w11
	ldr	w11, [x20, x9]
	ldr	w12, [x0, x9]
	sub	w10, w10, w11, lsl #1
	add	w10, w10, w12
	str	w10, [x0, x9]
	add	x9, x9, #4
	cmp	x9, #80
	b.ne	LBB0_15
LBB0_16:
	mov	x1, x0
	mov	w2, #20
	bl	_norm13
	ldr	x0, [x19]
	bl	_reduce_f256
Lloh9:
	adrp	x8, _F256@GOTPAGE
Lloh10:
	ldr	x8, [x8, _F256@GOTPAGEOFF]
Lloh11:
	ldr	x8, [x8]
	ldr	x9, [x19]
	add	x10, sp, #144
	add	x11, x10, #80
	add	x12, x8, #80
	add	x13, x9, #80
	cmp	x10, x13
	ccmp	x9, x11, #2, lo
	cset	w13, lo
	cmp	x8, x11
	ccmp	x10, x12, #2, lo
	ccmp	w13, #0, #0, hs
	b.eq	LBB0_19
; %bb.17:
	mov	x11, #0
LBB0_18:                                ; =>This Inner Loop Header: Depth=1
	ldr	w12, [x8, x11]
	lsl	w12, w12, #1
	ldr	w13, [x9, x11]
	ldr	w14, [x10, x11]
	sub	w12, w12, w13
	add	w12, w12, w14
	str	w12, [x10, x11]
	add	x11, x11, #4
	cmp	x11, #80
	b.ne	LBB0_18
	b	LBB0_20
LBB0_19:
	ldp	q0, q1, [x8]
	shl.4s	v0, v0, #1
	ldp	q2, q3, [x9]
	sub.4s	v0, v0, v2
	ldp	q2, q4, [sp, #144]
	add.4s	v0, v0, v2
	shl.4s	v1, v1, #1
	sub.4s	v1, v1, v3
	add.4s	v1, v1, v4
	stp	q0, q1, [sp, #144]
	ldp	q0, q1, [x8, #32]
	shl.4s	v0, v0, #1
	ldp	q2, q3, [x9, #32]
	sub.4s	v0, v0, v2
	ldp	q2, q4, [sp, #176]
	add.4s	v0, v0, v2
	shl.4s	v1, v1, #1
	sub.4s	v1, v1, v3
	add.4s	v1, v1, v4
	stp	q0, q1, [sp, #176]
	ldr	q0, [x8, #64]
	shl.4s	v0, v0, #1
	ldr	q1, [x9, #64]
	sub.4s	v0, v0, v1
	ldr	q1, [sp, #208]
	add.4s	v0, v0, v1
	str	q0, [sp, #208]
LBB0_20:
	add	x0, sp, #144
	add	x1, sp, #144
	mov	w2, #20
	bl	_norm13
	ldr	x0, [x19, #8]
	add	x1, sp, #304
	add	x2, sp, #144
	bl	_mul_f256
	sub	x20, x29, #176
	sub	x0, x29, #176
	add	x1, sp, #224
	add	x2, sp, #384
	bl	_mul_f256
Lloh12:
	adrp	x8, _F256@GOTPAGE
Lloh13:
	ldr	x8, [x8, _F256@GOTPAGEOFF]
Lloh14:
	ldr	x8, [x8]
	ldr	x0, [x19, #8]
	add	x9, x0, #80
	add	x10, x8, #80
	add	x11, x20, #80
	cmp	x0, x11
	ccmp	x20, x9, #2, lo
	cset	w11, lo
	cmp	x8, x9
	ccmp	x0, x10, #2, lo
	ccmp	w11, #0, #0, hs
	b.eq	LBB0_23
; %bb.21:
	mov	x9, #0
LBB0_22:                                ; =>This Inner Loop Header: Depth=1
	ldr	w10, [x8, x9]
	lsl	w10, w10, #1
	ldr	w11, [x20, x9]
	ldr	w12, [x0, x9]
	sub	w10, w10, w11
	add	w10, w10, w12
	str	w10, [x0, x9]
	add	x9, x9, #4
	cmp	x9, #80
	b.ne	LBB0_22
	b	LBB0_24
LBB0_23:
	ldr	q0, [x8]
	shl.4s	v0, v0, #1
	ldur	q1, [x29, #-176]
	sub.4s	v0, v0, v1
	ldp	q1, q2, [x0]
	add.4s	v0, v0, v1
	str	q0, [x0]
	ldr	q0, [x8, #16]
	shl.4s	v0, v0, #1
	ldur	q1, [x29, #-160]
	sub.4s	v0, v0, v1
	add.4s	v0, v0, v2
	str	q0, [x0, #16]
	ldr	q0, [x8, #32]
	shl.4s	v0, v0, #1
	ldur	q1, [x29, #-144]
	sub.4s	v0, v0, v1
	ldp	q1, q2, [x0, #32]
	add.4s	v0, v0, v1
	str	q0, [x0, #32]
	ldr	q0, [x8, #48]
	shl.4s	v0, v0, #1
	ldur	q1, [x29, #-128]
	sub.4s	v0, v0, v1
	add.4s	v0, v0, v2
	str	q0, [x0, #48]
	ldr	q0, [x8, #64]
	shl.4s	v0, v0, #1
	ldur	q1, [x29, #-112]
	sub.4s	v0, v0, v1
	ldr	q1, [x0, #64]
	add.4s	v0, v0, v1
	str	q0, [x0, #64]
LBB0_24:
	ldp	w9, w8, [sp, #56]               ; 8-byte Folded Reload
	orr	w8, w22, w8
	orr	w8, w23, w8
	orr	w8, w24, w8
	orr	w8, w25, w8
	orr	w8, w26, w8
	orr	w8, w27, w8
	orr	w8, w28, w8
	orr	w8, w9, w8
	ldr	w9, [sp, #52]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #48]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #44]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #40]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #36]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #32]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #28]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #24]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #20]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #16]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	ldr	w9, [sp, #12]                   ; 4-byte Folded Reload
	orr	w8, w9, w8
	cmp	w8, #0
	csetm	w20, ne
	mov	x1, x0
	mov	w2, #20
	bl	_norm13
	ldr	x0, [x19, #8]
	bl	_reduce_f256
	ldr	x0, [x19, #16]
	sub	x2, x29, #256
	mov	x1, x0
	bl	_mul_f256
	ldur	x8, [x29, #-96]
Lloh15:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh16:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh17:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_26
; %bb.25:
	mov	x0, x20
	add	sp, sp, #640
	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_26:
	bl	___stack_chk_fail
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.cfi_endproc
                                        ; -- End function
	.comm	_F256,8,3                       ; @F256
	.no_dead_strip	_p256_add_mixed
.subsections_via_symbols
