	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function fe_frombytes
_fe_frombytes:                          ## @fe_frombytes
	.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	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r12
	movq	%rdi, -104(%rbp)                ## 8-byte Spill
	movq	%rsi, %rdi
	callq	_load_4
	movl	%eax, %r15d
	leaq	16(%r12), %rdi
	callq	_load_3
	movl	%eax, %ebx
	shll	$6, %ebx
	leaq	28(%r12), %rdi
	callq	_load_3
	movl	%eax, %r14d
	shll	$5, %r14d
	leaq	40(%r12), %rdi
	callq	_load_3
                                        ## kill: def $eax killed $eax def $rax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	leaq	52(%r12), %rdi
	callq	_load_3
                                        ## kill: def $eax killed $eax def $rax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	leaq	64(%r12), %rdi
	callq	_load_4
                                        ## kill: def $eax killed $eax def $rax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	leaq	80(%r12), %rdi
	callq	_load_3
                                        ## kill: def $eax killed $eax def $rax
	shll	$7, %eax
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	leaq	92(%r12), %rdi
	callq	_load_3
                                        ## kill: def $eax killed $eax def $rax
	shll	$5, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	leaq	104(%r12), %rdi
	callq	_load_3
                                        ## kill: def $eax killed $eax def $rax
	shll	$4, %eax
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	addq	$116, %r12
	movq	%r12, %rdi
	callq	_load_3
	movl	%eax, %r10d
	shll	$2, %r10d
	andl	$33554428, %r10d                ## imm = 0x1FFFFFC
	leal	16777216(%r10), %ecx
	movl	%ecx, %edx
	shrl	$25, %edx
	leal	(%rdx,%rdx,8), %esi
	leal	(%rdx,%rsi,2), %esi
	movq	_kTop39Bits@GOTPCREL(%rip), %rdx
	movl	(%rdx), %r12d
	andl	%r12d, %ecx
	subl	%ecx, %r10d
	leal	16777216(%rbx), %edx
	movl	%r12d, %ecx
	andl	%edx, %ecx
	subl	%ecx, %ebx
	leal	(%rsi,%r15), %eax
	leal	(%r15,%rsi), %ecx
	addl	$33554432, %ecx                 ## imm = 0x2000000
	movl	%ecx, %r13d
	sarl	$26, %r13d
	addl	%ebx, %r13d
	movq	_kTop38Bits@GOTPCREL(%rip), %rdi
	movl	(%rdi), %ebx
	andl	%ebx, %ecx
	subl	%ecx, %eax
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	sarl	$25, %edx
	leal	(%rdx,%r14), %r15d
	leal	(%rdx,%r14), %ecx
	addl	$33554432, %ecx                 ## imm = 0x2000000
	movl	%ebx, %edx
	andl	%ecx, %edx
	sarl	$26, %ecx
	movq	-96(%rbp), %rax                 ## 8-byte Reload
	leal	(%rcx,%rax,8), %r14d
	leal	16777216(,%rax,8), %ecx
	movl	%r12d, %edi
	andl	%ecx, %edi
	subl	%edi, %r14d
	subl	%edx, %r15d
	sarl	$25, %ecx
	movq	-88(%rbp), %rax                 ## 8-byte Reload
	leal	(%rcx,%rax,4), %r11d
	leal	(%rcx,%rax,4), %edi
	addl	$33554432, %edi                 ## imm = 0x2000000
	movl	%ebx, %edx
	andl	%edi, %edx
	sarl	$26, %edi
	movq	-80(%rbp), %rax                 ## 8-byte Reload
	addl	%eax, %edi
	leal	16777216(%rax), %ecx
	movl	%r12d, %esi
	andl	%ecx, %esi
	subl	%esi, %edi
	subl	%edx, %r11d
	sarl	$25, %ecx
	movq	-72(%rbp), %rax                 ## 8-byte Reload
	leal	(%rax,%rcx), %r8d
	addl	%eax, %ecx
	addl	$33554432, %ecx                 ## imm = 0x2000000
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	leal	16777216(%rsi), %eax
	andl	%eax, %r12d
	sarl	$25, %eax
	movq	-56(%rbp), %rdx                 ## 8-byte Reload
	leal	(%rax,%rdx), %r9d
	addl	%edx, %eax
	addl	$33554432, %eax                 ## imm = 0x2000000
	movl	%eax, %edx
	andl	%ebx, %eax
	andl	%ecx, %ebx
	sarl	$26, %ecx
	addl	%esi, %ecx
	subl	%r12d, %ecx
	subl	%ebx, %r8d
	sarl	$26, %edx
	addl	%r10d, %edx
	subl	%eax, %r9d
	movslq	-44(%rbp), %rax                 ## 4-byte Folded Reload
	movq	-104(%rbp), %rsi                ## 8-byte Reload
	movq	%rax, (%rsi)
	movslq	%r13d, %rax
	movq	%rax, 8(%rsi)
	movslq	%r15d, %rax
	movq	%rax, 16(%rsi)
	movslq	%r14d, %rax
	movq	%rax, 24(%rsi)
	movslq	%r11d, %rax
	movq	%rax, 32(%rsi)
	movslq	%edi, %rax
	movq	%rax, 40(%rsi)
	movslq	%r8d, %rax
	movq	%rax, 48(%rsi)
	movslq	%ecx, %rax
	movq	%rax, 56(%rsi)
	movslq	%r9d, %rax
	movq	%rax, 64(%rsi)
	movslq	%edx, %rax
	movq	%rax, 72(%rsi)
	addq	$72, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_kTop39Bits,4,2                 ## @kTop39Bits
	.comm	_kTop38Bits,4,2                 ## @kTop38Bits
	.no_dead_strip	_fe_frombytes
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function fe_frombytes
_fe_frombytes:                          ; @fe_frombytes
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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
	mov	x23, x1
	mov	x19, x0
	mov	x0, x1
	bl	_load_4
	str	w0, [sp, #12]                   ; 4-byte Folded Spill
	add	x0, x23, #16
	bl	_load_3
	lsl	w27, w0, #6
	add	x0, x23, #28
	bl	_load_3
	mov	x22, x0
	add	x0, x23, #40
	bl	_load_3
	lsl	w26, w0, #3
	add	x0, x23, #52
	bl	_load_3
	mov	x24, x0
	add	x0, x23, #64
	bl	_load_4
	mov	x21, x0
	add	x0, x23, #80
	bl	_load_3
	lsl	w20, w0, #7
	add	x0, x23, #92
	bl	_load_3
	lsl	w28, w0, #5
	add	x0, x23, #104
	bl	_load_3
	mov	x25, x0
	add	x0, x23, #116
	bl	_load_3
	ubfiz	w8, w0, #2, #23
	mov	w9, #16777216
Lloh0:
	adrp	x10, _kTop39Bits@GOTPAGE
Lloh1:
	ldr	x10, [x10, _kTop39Bits@GOTPAGEOFF]
Lloh2:
	ldr	w10, [x10]
	add	w11, w8, w9
	and	w12, w11, w10
	lsr	w11, w11, #25
	add	w13, w27, w9
	and	w14, w10, w13
	asr	w13, w13, #25
	mov	w15, #19
	add	w13, w13, w22, lsl #5
	ldr	w16, [sp, #12]                  ; 4-byte Folded Reload
	madd	w11, w11, w15, w16
	sub	w14, w27, w14
	add	w15, w26, w9
	and	w16, w10, w15
	asr	w15, w15, #25
	add	w15, w15, w24, lsl #2
	add	w17, w21, w9
	and	w0, w10, w17
	add	w17, w20, w17, asr #25
	add	w9, w28, w9
	and	w10, w10, w9
	asr	w9, w9, #25
	add	w9, w9, w25, lsl #4
	mov	w1, #33554432
Lloh3:
	adrp	x2, _kTop38Bits@GOTPAGE
Lloh4:
	ldr	x2, [x2, _kTop38Bits@GOTPAGEOFF]
Lloh5:
	ldr	w2, [x2]
	add	w3, w11, w1
	and	w4, w3, w2
	add	w14, w14, w3, asr #26
	add	w3, w13, w1
	and	w5, w2, w3
	add	w3, w26, w3, asr #26
	add	w6, w15, w1
	and	w7, w2, w6
	add	w6, w21, w6, asr #26
	add	w20, w17, w1
	and	w21, w2, w20
	add	w20, w28, w20, asr #26
	sub	w8, w8, w12
	sub	w11, w11, w4
	sub	w12, w3, w16
	sub	w13, w13, w5
	sxtw	x11, w11
	sub	w16, w6, w0
	sub	w15, w15, w7
	sub	w10, w20, w10
	sub	w17, w17, w21
	add	w0, w9, w1
	and	w1, w0, w2
	sxtw	x14, w14
	sxtw	x13, w13
	sxtw	x12, w12
	stp	x11, x14, [x19]
	stp	x13, x12, [x19, #16]
	add	w8, w8, w0, asr #26
	sxtw	x11, w15
	sxtw	x12, w16
	stp	x11, x12, [x19, #32]
	sub	w9, w9, w1
	sxtw	x11, w17
	sxtw	x10, w10
	stp	x11, x10, [x19, #48]
	sxtw	x9, w9
	sxtw	x8, w8
	stp	x9, x8, [x19, #64]
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_kTop39Bits,4,2                 ; @kTop39Bits
	.comm	_kTop38Bits,4,2                 ; @kTop38Bits
	.no_dead_strip	_fe_frombytes
.subsections_via_symbols
