	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function reduce_f256
_reduce_f256:                           ## @reduce_f256
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movl	76(%rdi), %eax
	movl	%eax, %ecx
	sarl	$9, %ecx
	andl	$511, %eax                      ## imm = 0x1FF
	movl	%eax, 76(%rdi)
	leal	(,%rcx,8), %eax
	addl	%eax, 68(%rdi)
	movl	%ecx, %eax
	shll	$10, %eax
	subl	%eax, 56(%rdi)
	movl	%ecx, %eax
	shll	$5, %eax
	subl	%eax, 28(%rdi)
	addl	%ecx, (%rdi)
	movq	%rdi, %rsi
	movl	$20, %edx
	popq	%rbp
	jmp	_norm13                         ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_reduce_f256
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function reduce_f256
_reduce_f256:                           ; @reduce_f256
	.cfi_startproc
; %bb.0:
	ldr	w8, [x0, #76]
	asr	w9, w8, #9
	and	w8, w8, #0x1ff
	str	w8, [x0, #76]
	ldr	w8, [x0, #68]
	add	w8, w8, w9, lsl #3
	str	w8, [x0, #68]
	ldr	w8, [x0, #56]
	sub	w8, w8, w9, lsl #10
	str	w8, [x0, #56]
	ldr	w8, [x0, #28]
	sub	w8, w8, w9, lsl #5
	str	w8, [x0, #28]
	ldr	w8, [x0]
	add	w8, w8, w9
	str	w8, [x0]
	mov	x1, x0
	mov	w2, #20
	b	_norm13
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_reduce_f256
.subsections_via_symbols
