	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function fe25519_reduceCompletely
_fe25519_reduceCompletely:              ## @fe25519_reduceCompletely
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movq	(%rdi), %rax
	movl	28(%rax), %eax
	sarl	$31, %eax
	leal	(%rax,%rax,8), %ecx
	leal	(%rax,%rcx,2), %eax
	movq	(%rdi), %rcx
	movq	(%rdi), %rcx
	movq	(%rdi), %rcx
	movq	(%rdi), %rcx
	movq	(%rdi), %rcx
	movq	(%rdi), %rcx
	movq	(%rdi), %rcx
	movq	(%rdi), %rcx
	movl	28(%rcx), %ecx
	addl	%ecx, %eax
	addl	$19, %eax
	sarl	$31, %eax
	leal	(%rax,%rax,8), %ecx
	leal	(%rax,%rcx,2), %eax
	movq	(%rdi), %rcx
	movl	(%rcx), %ecx
	addl	%eax, %ecx
	movq	(%rdi), %rdx
	movl	%ecx, (%rdx)
	movq	(%rdi), %rcx
	movl	4(%rcx), %ecx
	addl	%eax, %ecx
	movq	(%rdi), %rdx
	movl	%ecx, 4(%rdx)
	movq	(%rdi), %rcx
	movl	8(%rcx), %ecx
	addl	%eax, %ecx
	movq	(%rdi), %rdx
	movl	%ecx, 8(%rdx)
	movq	(%rdi), %rcx
	movl	12(%rcx), %ecx
	addl	%eax, %ecx
	movq	(%rdi), %rdx
	movl	%ecx, 12(%rdx)
	movq	(%rdi), %rcx
	movl	16(%rcx), %ecx
	addl	%eax, %ecx
	movq	(%rdi), %rdx
	movl	%ecx, 16(%rdx)
	movq	(%rdi), %rcx
	movl	20(%rcx), %ecx
	addl	%eax, %ecx
	movq	(%rdi), %rdx
	movl	%ecx, 20(%rdx)
	movq	(%rdi), %rcx
	movl	24(%rcx), %ecx
	addl	%eax, %ecx
	movq	(%rdi), %rdx
	movl	%ecx, 24(%rdx)
	movq	(%rdi), %rcx
	addl	28(%rcx), %eax
	andl	$2147483647, %eax               ## imm = 0x7FFFFFFF
	movq	(%rdi), %rcx
	movl	%eax, 28(%rcx)
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_fe25519_reduceCompletely
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function fe25519_reduceCompletely
_fe25519_reduceCompletely:              ; @fe25519_reduceCompletely
	.cfi_startproc
; %bb.0:
	ldr	x8, [x0]
	ldr	w8, [x8, #28]
	asr	w8, w8, #31
	mov	w9, #19
	ldr	xzr, [x0]
	ldr	xzr, [x0]
	ldr	xzr, [x0]
	ldr	xzr, [x0]
	ldr	xzr, [x0]
	ldr	xzr, [x0]
	ldr	xzr, [x0]
	ldr	x10, [x0]
	ldr	w10, [x10, #28]
	madd	w8, w8, w9, w10
	add	w8, w8, #19
	asr	w8, w8, #31
	mul	w8, w8, w9
	ldr	x9, [x0]
	ldr	w9, [x9]
	add	w9, w9, w8
	ldr	x10, [x0]
	str	w9, [x10]
	ldr	x9, [x0]
	ldr	w9, [x9, #4]
	add	w9, w9, w8
	ldr	x10, [x0]
	str	w9, [x10, #4]
	ldr	x9, [x0]
	ldr	w9, [x9, #8]
	add	w9, w9, w8
	ldr	x10, [x0]
	str	w9, [x10, #8]
	ldr	x9, [x0]
	ldr	w9, [x9, #12]
	add	w9, w9, w8
	ldr	x10, [x0]
	str	w9, [x10, #12]
	ldr	x9, [x0]
	ldr	w9, [x9, #16]
	add	w9, w9, w8
	ldr	x10, [x0]
	str	w9, [x10, #16]
	ldr	x9, [x0]
	ldr	w9, [x9, #20]
	add	w9, w9, w8
	ldr	x10, [x0]
	str	w9, [x10, #20]
	ldr	x9, [x0]
	ldr	w9, [x9, #24]
	add	w9, w9, w8
	ldr	x10, [x0]
	str	w9, [x10, #24]
	ldr	x9, [x0]
	ldr	w9, [x9, #28]
	add	w8, w9, w8
	and	w8, w8, #0x7fffffff
	ldr	x9, [x0]
	str	w8, [x9, #28]
	ret
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_fe25519_reduceCompletely
.subsections_via_symbols
