	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal16,16byte_literals
	.p2align	4                               ## -- Begin function reduce_final_f256
LCPI0_0:
	.long	1073741823                      ## 0x3fffffff
	.long	1073741823                      ## 0x3fffffff
	.long	1073741823                      ## 0x3fffffff
	.long	1073741823                      ## 0x3fffffff
	.section	__TEXT,__text,regular,pure_instructions
	.p2align	4, 0x90
_reduce_final_f256:                     ## @reduce_final_f256
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%rbx
	subq	$56, %rsp
	.cfi_offset %rbx, -24
	movq	%rdi, %rsi
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -16(%rbp)
	movq	_F256@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movl	(%rdi), %ebx
	subl	(%rax), %ebx
	movd	%ebx, %xmm1
	shrl	$31, %ebx
	addl	4(%rdi), %ebx
	subl	4(%rax), %ebx
	pinsrd	$1, %ebx, %xmm1
	shrl	$31, %ebx
	addl	8(%rdi), %ebx
	subl	8(%rax), %ebx
	pinsrd	$2, %ebx, %xmm1
	shrl	$31, %ebx
	addl	12(%rdi), %ebx
	subl	12(%rax), %ebx
	pinsrd	$3, %ebx, %xmm1
	shrl	$31, %ebx
	movdqa	LCPI0_0(%rip), %xmm0            ## xmm0 = [1073741823,1073741823,1073741823,1073741823]
	pand	%xmm0, %xmm1
	movdqa	%xmm1, -64(%rbp)
	addl	16(%rdi), %ebx
	subl	16(%rax), %ebx
	movd	%ebx, %xmm1
	shrl	$31, %ebx
	addl	20(%rdi), %ebx
	subl	20(%rax), %ebx
	pinsrd	$1, %ebx, %xmm1
	shrl	$31, %ebx
	addl	24(%rdi), %ebx
	subl	24(%rax), %ebx
	pinsrd	$2, %ebx, %xmm1
	shrl	$31, %ebx
	addl	28(%rdi), %ebx
	subl	28(%rax), %ebx
	pinsrd	$3, %ebx, %xmm1
	shrl	$31, %ebx
	pand	%xmm0, %xmm1
	movdqa	%xmm1, -48(%rbp)
	addl	32(%rdi), %ebx
	subl	32(%rax), %ebx
	movl	%ebx, %eax
	andl	$1073741823, %eax               ## imm = 0x3FFFFFFF
	movl	%eax, -32(%rbp)
	sarl	$31, %ebx
	xorl	$1, %ebx
	leaq	-64(%rbp), %rdx
	movl	%ebx, %edi
	movl	$36, %ecx
	callq	_CCOPY
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-16(%rbp), %rax
	jne	LBB0_2
## %bb.1:
	movl	%ebx, %eax
	addq	$56, %rsp
	popq	%rbx
	popq	%rbp
	retq
LBB0_2:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_F256,8,3                       ## @F256
	.no_dead_strip	_reduce_final_f256
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function reduce_final_f256
_reduce_final_f256:                     ; @reduce_final_f256
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x1, x0
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-24]
Lloh3:
	adrp	x8, _F256@GOTPAGE
Lloh4:
	ldr	x8, [x8, _F256@GOTPAGEOFF]
Lloh5:
	ldr	x8, [x8]
	ldp	w9, w10, [x0]
	ldp	w11, w12, [x8]
	sub	w9, w9, w11
	and	w11, w9, #0x3fffffff
	add	w9, w10, w9, lsr #31
	sub	w9, w9, w12
	and	w10, w9, #0x3fffffff
	stp	w11, w10, [sp, #4]
	ldp	w10, w11, [x0, #8]
	add	w9, w10, w9, lsr #31
	ldp	w10, w12, [x8, #8]
	sub	w9, w9, w10
	and	w10, w9, #0x3fffffff
	add	w9, w11, w9, lsr #31
	sub	w9, w9, w12
	and	w11, w9, #0x3fffffff
	stp	w10, w11, [sp, #12]
	ldp	w10, w11, [x0, #16]
	add	w9, w10, w9, lsr #31
	ldp	w10, w12, [x8, #16]
	sub	w9, w9, w10
	and	w10, w9, #0x3fffffff
	add	w9, w11, w9, lsr #31
	sub	w9, w9, w12
	and	w11, w9, #0x3fffffff
	stp	w10, w11, [sp, #20]
	ldp	w10, w11, [x0, #24]
	add	w9, w10, w9, lsr #31
	ldp	w10, w12, [x8, #24]
	sub	w9, w9, w10
	add	w10, w11, w9, lsr #31
	and	w9, w9, #0x3fffffff
	sub	w10, w10, w12
	and	w11, w10, #0x3fffffff
	stp	w9, w11, [sp, #28]
	ldr	w9, [x0, #32]
	ldr	w8, [x8, #32]
	add	w9, w9, w10, lsr #31
	sub	w8, w9, w8
	and	w9, w8, #0x3fffffff
	str	w9, [sp, #36]
	asr	w8, w8, #31
	eor	w19, w8, #0x1
	add	x2, sp, #4
	mov	x0, x19
	mov	w3, #36
	bl	_CCOPY
	ldur	x8, [x29, #-24]
Lloh6:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh7:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh8:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_2
; %bb.1:
	mov	x0, x19
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
LBB0_2:
	bl	___stack_chk_fail
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_F256,8,3                       ; @F256
	.no_dead_strip	_reduce_final_f256
.subsections_via_symbols
