	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function add_f256
_add_f256:                              ## @add_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
	pushq	%rax
	.cfi_offset %rbx, -24
	movl	(%rsi), %eax
	addl	(%rdx), %eax
	movq	%rdi, %rbx
	movl	%eax, %edi
	andl	$1073741823, %edi               ## imm = 0x3FFFFFFF
	movl	%edi, (%rbx)
	sarl	$30, %eax
	addl	4(%rsi), %eax
	addl	4(%rdx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 4(%rbx)
	sarl	$30, %eax
	addl	8(%rsi), %eax
	addl	8(%rdx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 8(%rbx)
	sarl	$30, %eax
	addl	12(%rsi), %eax
	addl	12(%rdx), %eax
	movl	%eax, %r8d
	andl	$1073741823, %r8d               ## imm = 0x3FFFFFFF
	movl	%r8d, 12(%rbx)
	sarl	$30, %eax
	addl	16(%rsi), %eax
	addl	16(%rdx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 16(%rbx)
	sarl	$30, %eax
	addl	20(%rsi), %eax
	addl	20(%rdx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 20(%rbx)
	sarl	$30, %eax
	addl	24(%rsi), %eax
	addl	24(%rdx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 24(%rbx)
	sarl	$30, %eax
	addl	28(%rsi), %eax
	addl	28(%rdx), %eax
	movl	%eax, %r9d
	andl	$1073741823, %r9d               ## imm = 0x3FFFFFFF
	movl	%r9d, 28(%rbx)
	sarl	$30, %eax
	addl	32(%rsi), %eax
	addl	32(%rdx), %eax
	movzwl	%ax, %edx
	sarl	$16, %eax
	movl	%edx, 32(%rbx)
	movl	%eax, %edx
	shll	$6, %edx
	subl	%edx, %r8d
	movl	%r8d, 12(%rbx)
	movl	%eax, %edx
	shll	$12, %edx
	subl	%edx, %ecx
	movl	%ecx, 24(%rbx)
	addl	%eax, %edi
	shll	$14, %eax
	addl	%r9d, %eax
	movl	%eax, 28(%rbx)
	movl	%edi, %eax
	andl	$1073741823, %eax               ## imm = 0x3FFFFFFF
	movl	%eax, (%rbx)
	movl	$30, %esi
	callq	_ARSH
	addl	4(%rbx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 4(%rbx)
	movl	%eax, %edi
	movl	$30, %esi
	callq	_ARSH
	addl	8(%rbx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 8(%rbx)
	movl	%eax, %edi
	movl	$30, %esi
	callq	_ARSH
	addl	12(%rbx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 12(%rbx)
	movl	%eax, %edi
	movl	$30, %esi
	callq	_ARSH
	addl	16(%rbx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 16(%rbx)
	movl	%eax, %edi
	movl	$30, %esi
	callq	_ARSH
	addl	20(%rbx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 20(%rbx)
	movl	%eax, %edi
	movl	$30, %esi
	callq	_ARSH
	addl	24(%rbx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 24(%rbx)
	movl	%eax, %edi
	movl	$30, %esi
	callq	_ARSH
	addl	28(%rbx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 28(%rbx)
	movl	%eax, %edi
	movl	$30, %esi
	callq	_ARSH
	addl	32(%rbx), %eax
	movl	%eax, %ecx
	andl	$1073741823, %ecx               ## imm = 0x3FFFFFFF
	movl	%ecx, 32(%rbx)
	movl	%eax, %edi
	movl	$30, %esi
	addq	$8, %rsp
	popq	%rbx
	popq	%rbp
	jmp	_ARSH                           ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_add_f256
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function add_f256
_add_f256:                              ; @add_f256
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 32
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x19, x0
	ldr	w8, [x1]
	ldr	w9, [x2]
	add	w8, w8, w9
	and	w9, w8, #0x3fffffff
	str	w9, [x0]
	ldr	w10, [x1, #4]
	ldr	w11, [x2, #4]
	add	w8, w10, w8, asr #30
	add	w8, w8, w11
	and	w10, w8, #0x3fffffff
	str	w10, [x0, #4]
	ldr	w10, [x1, #8]
	ldr	w11, [x2, #8]
	add	w8, w10, w8, asr #30
	add	w8, w8, w11
	and	w10, w8, #0x3fffffff
	str	w10, [x0, #8]
	ldr	w10, [x1, #12]
	ldr	w11, [x2, #12]
	add	w8, w10, w8, asr #30
	add	w8, w8, w11
	and	w10, w8, #0x3fffffff
	str	w10, [x0, #12]
	ldr	w11, [x1, #16]
	ldr	w12, [x2, #16]
	add	w8, w11, w8, asr #30
	add	w8, w8, w12
	and	w11, w8, #0x3fffffff
	str	w11, [x0, #16]
	ldr	w11, [x1, #20]
	ldr	w12, [x2, #20]
	add	w8, w11, w8, asr #30
	add	w8, w8, w12
	and	w11, w8, #0x3fffffff
	str	w11, [x0, #20]
	ldr	w11, [x1, #24]
	ldr	w12, [x2, #24]
	add	w8, w11, w8, asr #30
	add	w8, w8, w12
	and	w11, w8, #0x3fffffff
	str	w11, [x0, #24]
	ldr	w12, [x1, #28]
	ldr	w13, [x2, #28]
	add	w8, w12, w8, asr #30
	add	w8, w8, w13
	and	w12, w8, #0x3fffffff
	str	w12, [x0, #28]
	ldr	w13, [x1, #32]
	ldr	w14, [x2, #32]
	add	w8, w13, w8, asr #30
	add	w8, w8, w14
	asr	w13, w8, #16
	and	w8, w8, #0xffff
	str	w8, [x0, #32]
	sub	w8, w10, w13, lsl #6
	str	w8, [x0, #12]
	sub	w8, w11, w13, lsl #12
	add	w10, w12, w13, lsl #14
	stp	w8, w10, [x0, #24]
	add	w0, w9, w13
	and	w8, w0, #0x3fffffff
	str	w8, [x19]
	mov	w1, #30
	bl	_ARSH
	ldr	w8, [x19, #4]
	add	w0, w8, w0
	and	w8, w0, #0x3fffffff
	str	w8, [x19, #4]
	mov	w1, #30
	bl	_ARSH
	ldr	w8, [x19, #8]
	add	w0, w8, w0
	and	w8, w0, #0x3fffffff
	str	w8, [x19, #8]
	mov	w1, #30
	bl	_ARSH
	ldr	w8, [x19, #12]
	add	w0, w8, w0
	and	w8, w0, #0x3fffffff
	str	w8, [x19, #12]
	mov	w1, #30
	bl	_ARSH
	ldr	w8, [x19, #16]
	add	w0, w8, w0
	and	w8, w0, #0x3fffffff
	str	w8, [x19, #16]
	mov	w1, #30
	bl	_ARSH
	ldr	w8, [x19, #20]
	add	w0, w8, w0
	and	w8, w0, #0x3fffffff
	str	w8, [x19, #20]
	mov	w1, #30
	bl	_ARSH
	ldr	w8, [x19, #24]
	add	w0, w8, w0
	and	w8, w0, #0x3fffffff
	str	w8, [x19, #24]
	mov	w1, #30
	bl	_ARSH
	ldr	w8, [x19, #28]
	add	w0, w8, w0
	and	w8, w0, #0x3fffffff
	str	w8, [x19, #28]
	mov	w1, #30
	bl	_ARSH
	ldr	w8, [x19, #32]
	add	w0, w8, w0
	and	w8, w0, #0x3fffffff
	str	w8, [x19, #32]
	mov	w1, #30
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_ARSH
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_add_f256
.subsections_via_symbols
