	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function fe_mul
_fe_mul:                                ## @fe_mul
	.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	$80, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r9
	movq	%rdi, -248(%rbp)                ## 8-byte Spill
	movl	(%rdx), %r13d
	movl	4(%rdx), %r10d
	movl	%r10d, -80(%rbp)                ## 4-byte Spill
	movl	8(%rdx), %r11d
	movl	12(%rdx), %r15d
	movq	%r15, -184(%rbp)                ## 8-byte Spill
	movl	16(%rdx), %r14d
	movl	20(%rdx), %esi
	movq	%rsi, -200(%rbp)                ## 8-byte Spill
	movl	24(%rdx), %eax
	movq	%rax, -208(%rbp)                ## 8-byte Spill
	movl	28(%rdx), %ebx
	movq	%rbx, -224(%rbp)                ## 8-byte Spill
	movl	32(%rdx), %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	movl	36(%rdx), %ecx
	leal	(%rcx,%rcx,8), %eax
	leal	(%rcx,%rax,2), %eax
	movq	%rcx, %rdi
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	movl	(%r9), %ecx
	movl	%r13d, %eax
	imull	%ecx, %eax
	movl	%eax, -164(%rbp)                ## 4-byte Spill
	movl	%r10d, %r8d
	imull	%ecx, %r8d
	movq	%r11, %rdx
	movq	%r11, -176(%rbp)                ## 8-byte Spill
	movl	%edx, %r10d
	imull	%ecx, %r10d
                                        ## kill: def $r15d killed $r15d killed $r15
	imull	%ecx, %r15d
	movq	%r14, %r11
	movq	%r14, -232(%rbp)                ## 8-byte Spill
	movl	%r11d, %r12d
	imull	%ecx, %r12d
	movl	%esi, %eax
	imull	%ecx, %eax
	movl	%eax, -72(%rbp)                 ## 4-byte Spill
	movq	-208(%rbp), %r14                ## 8-byte Reload
	movl	%r14d, %eax
	imull	%ecx, %eax
	movl	%eax, -104(%rbp)                ## 4-byte Spill
	movl	%ebx, %eax
	imull	%ecx, %eax
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	movq	-88(%rbp), %rsi                 ## 8-byte Reload
	movl	%esi, %eax
	imull	%ecx, %eax
	movl	%eax, -96(%rbp)                 ## 4-byte Spill
	imull	%ecx, %edi
	movq	%rdi, -240(%rbp)                ## 8-byte Spill
	movl	4(%r9), %edi
	movl	%r13d, %ecx
	imull	%edi, %ecx
	addl	%r8d, %ecx
	movl	%ecx, -160(%rbp)                ## 4-byte Spill
	leal	(%rsi,%rsi,8), %ecx
	leal	(%rsi,%rcx,2), %ecx
	movq	%rcx, -120(%rbp)                ## 8-byte Spill
	movl	%edx, %ecx
	imull	%edi, %ecx
	movl	%r11d, %eax
	imull	%edi, %eax
	movl	%eax, -56(%rbp)                 ## 4-byte Spill
	movl	%r14d, %eax
	imull	%edi, %eax
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	imull	%edi, %esi
	movq	%rsi, -88(%rbp)                 ## 8-byte Spill
	leal	(%rdi,%rdi), %r8d
	movl	-80(%rbp), %r14d                ## 4-byte Reload
	movl	%r14d, %edi
	imull	%r8d, %edi
	movl	8(%r9), %esi
	movl	%r13d, %ebx
	imull	%esi, %ebx
	addl	%edi, %ebx
	addl	%r10d, %ebx
	movl	%ebx, -156(%rbp)                ## 4-byte Spill
	movl	%r14d, %edx
	imull	%esi, %edx
	movl	12(%r9), %ebx
	movl	%r13d, %eax
	imull	%ebx, %eax
	addl	%edx, %eax
	addl	%ecx, %eax
	addl	%r15d, %eax
	movl	%eax, -152(%rbp)                ## 4-byte Spill
	leal	(%rbx,%rbx), %ecx
	movl	%ecx, -60(%rbp)                 ## 4-byte Spill
	movq	%rbx, %r11
	movl	%r14d, %eax
	imull	%ecx, %eax
	movl	16(%r9), %ebx
	movl	%ebx, -44(%rbp)                 ## 4-byte Spill
	movl	%r13d, %ecx
	movq	%r13, %rdx
	imull	%ebx, %ecx
	addl	%eax, %ecx
	movq	-176(%rbp), %r13                ## 8-byte Reload
	movl	%r13d, %eax
	imull	%esi, %eax
	addl	%eax, %ecx
	movq	-184(%rbp), %r15                ## 8-byte Reload
	movl	%r15d, %eax
	movq	%r8, -216(%rbp)                 ## 8-byte Spill
	imull	%r8d, %eax
	addl	%eax, %ecx
	addl	%r12d, %ecx
	movl	%ecx, -148(%rbp)                ## 4-byte Spill
	movl	%r14d, %eax
	imull	%ebx, %eax
	movl	20(%r9), %edi
	movq	%rdi, -112(%rbp)                ## 8-byte Spill
	movl	%edx, %ecx
	imull	%edi, %ecx
	addl	%eax, %ecx
	movl	%r13d, %eax
	movq	%r11, %r12
	movq	%r11, -192(%rbp)                ## 8-byte Spill
	imull	%r12d, %eax
	addl	%eax, %ecx
	movl	%r15d, %eax
	imull	%esi, %eax
	movl	%esi, -76(%rbp)                 ## 4-byte Spill
	addl	%eax, %ecx
	addl	-56(%rbp), %ecx                 ## 4-byte Folded Reload
	addl	-72(%rbp), %ecx                 ## 4-byte Folded Reload
	movl	%ecx, -144(%rbp)                ## 4-byte Spill
	leal	(%rdi,%rdi), %ecx
	movq	%rcx, -72(%rbp)                 ## 8-byte Spill
	movl	%r14d, %ebx
	movl	%r14d, %eax
	imull	%ecx, %eax
	movl	24(%r9), %r14d
	movl	%edx, %edi
	movq	%rdx, %r11
	imull	%r14d, %edi
	addl	%eax, %edi
	movl	%r13d, %eax
	movl	-44(%rbp), %r10d                ## 4-byte Reload
	imull	%r10d, %eax
	addl	%eax, %edi
	movl	%r15d, %eax
	imull	-60(%rbp), %eax                 ## 4-byte Folded Reload
	addl	%eax, %edi
	movq	-232(%rbp), %rdx                ## 8-byte Reload
	movl	%edx, %eax
	imull	%esi, %eax
	addl	%eax, %edi
	movq	-200(%rbp), %rcx                ## 8-byte Reload
	movl	%ecx, %eax
	imull	%r8d, %eax
	addl	%eax, %edi
	addl	-104(%rbp), %edi                ## 4-byte Folded Reload
	movl	%edi, -140(%rbp)                ## 4-byte Spill
	movl	%ebx, %eax
	imull	%r14d, %eax
	movl	%r14d, %r15d
	movq	%r9, %rbx
	movl	28(%r9), %esi
	movq	%rsi, -104(%rbp)                ## 8-byte Spill
	movq	%r11, %r9
	movq	%r11, -136(%rbp)                ## 8-byte Spill
	imull	%esi, %r11d
	addl	%eax, %r11d
	movl	%r13d, %eax
	imull	-112(%rbp), %eax                ## 4-byte Folded Reload
	addl	%eax, %r11d
	movq	-184(%rbp), %r8                 ## 8-byte Reload
	movl	%r8d, %eax
	imull	%r10d, %eax
	addl	%eax, %r11d
	movl	%edx, %eax
	imull	%r12d, %eax
	addl	%eax, %r11d
	movl	%ecx, %eax
	movq	%rcx, %r14
	movl	-76(%rbp), %ecx                 ## 4-byte Reload
	imull	%ecx, %eax
	addl	%eax, %r11d
	addl	-48(%rbp), %r11d                ## 4-byte Folded Reload
	addl	-52(%rbp), %r11d                ## 4-byte Folded Reload
	leal	(%rsi,%rsi), %edi
	movl	%edi, -52(%rbp)                 ## 4-byte Spill
	movl	-80(%rbp), %r10d                ## 4-byte Reload
	movl	%r10d, %eax
	imull	%edi, %eax
	movl	32(%rbx), %edi
	movq	%rbx, %r12
	movl	%r9d, %esi
	imull	%edi, %esi
	movl	%edi, -48(%rbp)                 ## 4-byte Spill
	addl	%eax, %esi
	movq	-176(%rbp), %rbx                ## 8-byte Reload
	movl	%ebx, %eax
	imull	%r15d, %eax
	movl	%r15d, -56(%rbp)                ## 4-byte Spill
	addl	%eax, %esi
	movl	%r8d, %eax
	imull	-72(%rbp), %eax                 ## 4-byte Folded Reload
	addl	%eax, %esi
	movl	%edx, %eax
	movl	-44(%rbp), %r13d                ## 4-byte Reload
	imull	%r13d, %eax
	addl	%eax, %esi
	movl	%r14d, %eax
	imull	-60(%rbp), %eax                 ## 4-byte Folded Reload
	addl	%eax, %esi
	movq	-208(%rbp), %r14                ## 8-byte Reload
	movl	%r14d, %eax
	imull	%ecx, %eax
	addl	%eax, %esi
	movq	-224(%rbp), %rax                ## 8-byte Reload
                                        ## kill: def $eax killed $eax killed $rax
	imull	-216(%rbp), %eax                ## 4-byte Folded Reload
	addl	%eax, %esi
	addl	-96(%rbp), %esi                 ## 4-byte Folded Reload
	movl	36(%r12), %ecx
	movl	%r10d, %eax
	imull	%edi, %eax
	movq	-136(%rbp), %r12                ## 8-byte Reload
	imull	%ecx, %r12d
	movq	%rcx, %r10
	movq	%rcx, -96(%rbp)                 ## 8-byte Spill
	addl	%eax, %r12d
	leal	(%rbx,%rbx,8), %eax
	leal	(%rbx,%rax,2), %eax
	imull	-104(%rbp), %ebx                ## 4-byte Folded Reload
	addl	%ebx, %r12d
	leal	(%r8,%r8,8), %ecx
	leal	(%r8,%rcx,2), %r9d
	imull	%r15d, %r8d
	addl	%r8d, %r12d
	leal	(%rdx,%rdx,8), %ecx
	leal	(%rdx,%rcx,2), %r15d
	imull	-112(%rbp), %edx                ## 4-byte Folded Reload
	addl	%edx, %r12d
	movq	-200(%rbp), %rdx                ## 8-byte Reload
	leal	(%rdx,%rdx,8), %ecx
	leal	(%rdx,%rcx,2), %r8d
	imull	%r13d, %edx
	addl	%edx, %r12d
	movq	%r14, %rbx
	leal	(%r14,%r14,8), %edx
	leal	(%r14,%rdx,2), %r14d
	imull	-192(%rbp), %ebx                ## 4-byte Folded Reload
	addl	%ebx, %r12d
	movq	-224(%rbp), %rbx                ## 8-byte Reload
	leal	(%rbx,%rbx,8), %edx
	leal	(%rbx,%rdx,2), %ecx
	movl	-76(%rbp), %edi                 ## 4-byte Reload
	imull	%edi, %ebx
	addl	%ebx, %r12d
	addl	-88(%rbp), %r12d                ## 4-byte Folded Reload
	addl	-240(%rbp), %r12d               ## 4-byte Folded Reload
	movq	%r12, -136(%rbp)                ## 8-byte Spill
	movl	-80(%rbp), %r13d                ## 4-byte Reload
	imull	%r10d, %r13d
	imull	$38, %r13d, %edx
	addl	-164(%rbp), %edx                ## 4-byte Folded Reload
	movl	%eax, %ebx
	imull	-48(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %edx
	movl	%r9d, %ebx
	imull	-52(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %edx
	movl	%r15d, %ebx
	movl	-56(%rbp), %r10d                ## 4-byte Reload
	imull	%r10d, %ebx
	addl	%ebx, %edx
	movl	%r8d, %ebx
	imull	-72(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %edx
	movl	%r14d, %ebx
	movl	-44(%rbp), %r13d                ## 4-byte Reload
	imull	%r13d, %ebx
	addl	%ebx, %edx
	movl	%ecx, %ebx
	imull	-60(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %edx
	movq	-120(%rbp), %r12                ## 8-byte Reload
	movl	%r12d, %ebx
	imull	%edi, %ebx
	addl	%ebx, %edx
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	imull	%edi, %eax
	addl	-160(%rbp), %eax                ## 4-byte Folded Reload
	movl	%r9d, %ebx
	imull	-48(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %eax
	movl	%r15d, %ebx
	imull	-104(%rbp), %ebx                ## 4-byte Folded Reload
	addl	%ebx, %eax
	movl	%r8d, %ebx
	imull	%r10d, %ebx
	addl	%ebx, %eax
	movl	%r14d, %ebx
	imull	-112(%rbp), %ebx                ## 4-byte Folded Reload
	addl	%ebx, %eax
	movl	%ecx, %ebx
	imull	%r13d, %ebx
	addl	%ebx, %eax
	movq	-192(%rbp), %rbx                ## 8-byte Reload
	imull	%r12d, %ebx
	addl	%ebx, %eax
	movq	-128(%rbp), %r12                ## 8-byte Reload
	movl	-76(%rbp), %ebx                 ## 4-byte Reload
	imull	%r12d, %ebx
	addl	%ebx, %eax
	leal	(%rdi,%rdi), %ebx
	movl	%ebx, -88(%rbp)                 ## 4-byte Spill
	imull	%ebx, %r9d
	addl	-156(%rbp), %r9d                ## 4-byte Folded Reload
	movl	%r15d, %r13d
	movl	-48(%rbp), %r10d                ## 4-byte Reload
	imull	%r10d, %r13d
	addl	%r13d, %r9d
	movl	%r8d, %ebx
	imull	-52(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %r9d
	movl	%r14d, %ebx
	movl	-56(%rbp), %edi                 ## 4-byte Reload
	imull	%edi, %ebx
	addl	%ebx, %r9d
	movl	%ecx, %ebx
	imull	-72(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %r9d
	movq	-120(%rbp), %r13                ## 8-byte Reload
	movl	%r13d, %ebx
	imull	-44(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %r9d
	movl	-60(%rbp), %ebx                 ## 4-byte Reload
	imull	%r12d, %ebx
	addl	%ebx, %r9d
	imull	-96(%rbp), %r15d                ## 4-byte Folded Reload
	addl	-152(%rbp), %r15d               ## 4-byte Folded Reload
	movl	%r8d, %ebx
	imull	%r10d, %ebx
	addl	%ebx, %r15d
	movl	%r14d, %ebx
	imull	-104(%rbp), %ebx                ## 4-byte Folded Reload
	addl	%ebx, %r15d
	movl	%ecx, %ebx
	imull	%edi, %ebx
	addl	%ebx, %r15d
	movq	-112(%rbp), %rbx                ## 8-byte Reload
	imull	%r13d, %ebx
	addl	%ebx, %r15d
	movl	-44(%rbp), %ebx                 ## 4-byte Reload
	imull	%r12d, %ebx
	addl	%ebx, %r15d
	movl	-88(%rbp), %r10d                ## 4-byte Reload
	imull	%r10d, %r8d
	addl	-148(%rbp), %r8d                ## 4-byte Folded Reload
	movl	%r14d, %ebx
	movl	-48(%rbp), %r12d                ## 4-byte Reload
	imull	%r12d, %ebx
	addl	%ebx, %r8d
	movl	%ecx, %ebx
	imull	-52(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%ebx, %r8d
	movl	%r13d, %ebx
	imull	%edi, %ebx
	addl	%ebx, %r8d
	imull	-96(%rbp), %r14d                ## 4-byte Folded Reload
	addl	-144(%rbp), %r14d               ## 4-byte Folded Reload
	movl	%ecx, %ebx
	imull	%r12d, %ebx
	addl	%ebx, %r14d
	movq	-104(%rbp), %rbx                ## 8-byte Reload
	imull	%r13d, %ebx
	addl	%ebx, %r14d
	movl	%edi, %ebx
	movq	-128(%rbp), %rdi                ## 8-byte Reload
	imull	%edi, %ebx
	addl	%ebx, %r14d
	imull	%r10d, %ecx
	addl	-140(%rbp), %ecx                ## 4-byte Folded Reload
	movl	%r13d, %ebx
	imull	%r12d, %ebx
	addl	%ebx, %ecx
	movq	%rdi, %rbx
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	imull	%ebx, %edi
	addl	%edi, %ecx
	imull	-96(%rbp), %r13d                ## 4-byte Folded Reload
	addl	%r11d, %r13d
	imull	%ebx, %r12d
	addl	%r12d, %r13d
	movq	%r13, -120(%rbp)                ## 8-byte Spill
	movq	-216(%rbp), %r10                ## 8-byte Reload
	imull	%ebx, %r10d
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	imull	%ebx, %edi
	imull	-88(%rbp), %ebx                 ## 4-byte Folded Reload
	addl	%esi, %ebx
	movq	%rbx, -128(%rbp)                ## 8-byte Spill
	leal	(%r10,%rdx), %ebx
	addl	$33554432, %ebx                 ## imm = 0x2000000
                                        ## kill: def $edx killed $edx killed $rdx def $rdx
	addl	%r10d, %edx
	movq	_kTop38Bits@GOTPCREL(%rip), %rsi
	movl	(%rsi), %r12d
	movl	%ebx, %r11d
	andl	%r12d, %ebx
	subl	%ebx, %edx
	movq	%rdi, %rsi
	leal	(%rdi,%r8), %ebx
	addl	$33554432, %ebx                 ## imm = 0x2000000
                                        ## kill: def $r8d killed $r8d killed $r8 def $r8
	addl	%esi, %r8d
	movl	%ebx, %r10d
	andl	%r12d, %ebx
	subl	%ebx, %r8d
	sarl	$26, %r11d
	leal	(%rax,%r11), %edi
	addl	%r11d, %eax
	addl	$16777216, %eax                 ## imm = 0x1000000
	movq	_kTop39Bits@GOTPCREL(%rip), %rsi
	movl	(%rsi), %r13d
	movl	%eax, %esi
	andl	%r13d, %eax
	subl	%eax, %edi
	movl	%edi, -44(%rbp)                 ## 4-byte Spill
	sarl	$26, %r10d
	leal	(%r14,%r10), %r11d
	leal	(%r10,%r14), %eax
	addl	$16777216, %eax                 ## imm = 0x1000000
	movl	%eax, %ebx
	andl	%r13d, %eax
	subl	%eax, %r11d
	sarl	$25, %esi
	leal	(%r9,%rsi), %edi
	leal	(%rsi,%r9), %eax
	addl	$33554432, %eax                 ## imm = 0x2000000
	movl	%eax, %esi
	andl	%r12d, %eax
	subl	%eax, %edi
	movl	%edi, -72(%rbp)                 ## 4-byte Spill
	sarl	$25, %ebx
	leal	(%rcx,%rbx), %r10d
	leal	(%rbx,%rcx), %eax
	addl	$33554432, %eax                 ## imm = 0x2000000
	movl	%eax, %edi
	andl	%r12d, %eax
	subl	%eax, %r10d
	sarl	$26, %esi
	leal	(%r15,%rsi), %r14d
	leal	(%rsi,%r15), %eax
	addl	$16777216, %eax                 ## imm = 0x1000000
	movl	%eax, %esi
	andl	%r13d, %eax
	subl	%eax, %r14d
	sarl	$26, %edi
	movq	-120(%rbp), %rax                ## 8-byte Reload
	leal	(%rax,%rdi), %r15d
	addl	%edi, %eax
	addl	$16777216, %eax                 ## imm = 0x1000000
	movl	%eax, %edi
	andl	%r13d, %eax
	subl	%eax, %r15d
	sarl	$25, %esi
	leal	(%rsi,%r8), %r9d
	leal	(%rsi,%r8), %eax
	addl	$33554432, %eax                 ## imm = 0x2000000
	movl	%eax, %ecx
	sarl	$26, %ecx
	addl	%r11d, %ecx
	andl	%r12d, %eax
	subl	%eax, %r9d
	sarl	$25, %edi
	movq	-128(%rbp), %rax                ## 8-byte Reload
	leal	(%rax,%rdi), %r11d
	addl	%edi, %eax
	addl	$33554432, %eax                 ## imm = 0x2000000
	movl	%eax, %esi
	andl	%r12d, %eax
	subl	%eax, %r11d
	sarl	$26, %esi
	movq	-136(%rbp), %rdi                ## 8-byte Reload
	leal	(%rdi,%rsi), %eax
	addl	%edi, %esi
	addl	$16777216, %esi                 ## imm = 0x1000000
	movl	%esi, %edi
	sarl	$25, %edi
	leal	(%rdi,%rdi,8), %ebx
	leal	(%rdi,%rbx,2), %edi
	andl	%r13d, %esi
	subl	%esi, %eax
	leal	(%rdx,%rdi), %esi
	addl	$33554432, %esi                 ## imm = 0x2000000
                                        ## kill: def $edi killed $edi killed $rdi
	addl	%edx, %edi
	movl	%esi, %edx
	sarl	$26, %edx
	addl	-44(%rbp), %edx                 ## 4-byte Folded Reload
	andl	%r12d, %esi
	subl	%esi, %edi
	movq	-248(%rbp), %rsi                ## 8-byte Reload
	movl	%edi, (%rsi)
	movl	%edx, 4(%rsi)
	movl	-72(%rbp), %edx                 ## 4-byte Reload
	movl	%edx, 8(%rsi)
	movl	%r14d, 12(%rsi)
	movl	%r9d, 16(%rsi)
	movl	%ecx, 20(%rsi)
	movl	%r10d, 24(%rsi)
	movl	%r15d, 28(%rsi)
	movl	%r11d, 32(%rsi)
	movl	%eax, 36(%rsi)
	addq	$80, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_kTop38Bits,4,2                 ## @kTop38Bits
	.comm	_kTop39Bits,4,2                 ## @kTop39Bits
	.no_dead_strip	_fe_mul
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function fe_mul
_fe_mul:                                ; @fe_mul
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #192
	.cfi_def_cfa_offset 192
	stp	x28, x27, [sp, #96]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #112]            ; 16-byte Folded Spill
	stp	x24, x23, [sp, #128]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #144]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #160]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #176]            ; 16-byte Folded Spill
	.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
	str	x0, [sp, #56]                   ; 8-byte Folded Spill
	ldp	w8, w10, [x2, #8]
	stp	w10, w8, [sp, #24]              ; 8-byte Folded Spill
	mov	w9, #19
	mul	w8, w8, w9
	ldp	w28, w12, [x1]
	mul	w25, w10, w9
	ldp	w11, w10, [x2, #16]
	stp	w11, w10, [sp, #88]             ; 8-byte Folded Spill
	mul	w14, w11, w9
	ldp	w26, w27, [x1, #8]
	mul	w30, w10, w9
	ldp	w21, w3, [x2]
	mul	w9, w21, w28
	ldp	w23, w11, [x1, #16]
	mul	w10, w21, w12
	mov	x4, x12
	ldp	w7, w12, [x1, #32]
	mul	w13, w12, w3
	mov	x17, x12
	ldp	w22, w24, [x1, #24]
	mov	w1, #38
	madd	w9, w13, w1, w9
	ldp	w15, w16, [x2, #24]
	str	w15, [sp, #36]                  ; 4-byte Folded Spill
	str	w16, [sp, #64]                  ; 4-byte Folded Spill
	madd	w9, w8, w7, w9
	ldp	w20, w13, [x2, #32]
	str	w20, [sp, #72]                  ; 4-byte Folded Spill
	stp	w13, w12, [sp, #80]             ; 8-byte Folded Spill
	lsl	w12, w11, #1
	stp	w12, w14, [sp, #8]              ; 8-byte Folded Spill
	madd	w10, w3, w28, w10
	madd	w2, w8, w17, w10
	lsl	w6, w24, #1
	str	w25, [sp, #52]                  ; 4-byte Folded Spill
	madd	w8, w25, w6, w9
	madd	w8, w14, w22, w8
	madd	w8, w30, w12, w8
	mov	w10, #19
	mul	w0, w15, w10
	madd	w8, w0, w23, w8
	mul	w17, w16, w10
	mov	x16, x27
	lsl	w19, w27, #1
	madd	w1, w17, w19, w8
	mul	w5, w20, w10
	madd	w20, w5, w26, w1
	mul	w27, w13, w10
	mov	x15, x4
	str	w4, [sp, #16]                   ; 4-byte Folded Spill
	lsl	w8, w4, #1
	madd	w20, w27, w8, w20
	mov	x9, x8
	madd	w2, w25, w7, w2
	madd	w2, w14, w24, w2
	mov	x4, x24
	madd	w2, w30, w22, w2
	str	w11, [sp, #44]                  ; 4-byte Folded Spill
	madd	w2, w0, w11, w2
	madd	w2, w17, w23, w2
	madd	w2, w5, w16, w2
	mov	x24, x16
	madd	w10, w27, w26, w2
Lloh0:
	adrp	x2, _kTop38Bits@GOTPAGE
Lloh1:
	ldr	x2, [x2, _kTop38Bits@GOTPAGEOFF]
Lloh2:
	ldr	w2, [x2]
	mov	w8, #33554432
	add	w8, w20, w8
	and	w12, w8, w2
	add	w16, w10, w8, asr #26
	sub	w8, w20, w12
	str	w8, [sp, #76]                   ; 4-byte Folded Spill
	mul	w8, w21, w23
	madd	w8, w3, w19, w8
	ldp	w12, w1, [sp, #24]              ; 8-byte Folded Reload
	madd	w8, w1, w26, w8
	madd	w8, w12, w9, w8
	mov	x20, x9
	ldp	w13, w9, [sp, #84]              ; 8-byte Folded Reload
	madd	w8, w9, w28, w8
	lsl	w25, w13, #1
	madd	w8, w30, w25, w8
	madd	w8, w0, w7, w8
	madd	w8, w17, w6, w8
	madd	w8, w5, w22, w8
	ldr	w10, [sp, #8]                   ; 4-byte Folded Reload
	madd	w14, w27, w10, w8
	mul	w11, w21, w11
	madd	w11, w3, w23, w11
	str	w24, [sp, #32]                  ; 4-byte Folded Spill
	madd	w11, w1, w24, w11
	madd	w11, w12, w26, w11
	madd	w11, w9, w15, w11
	ldr	w8, [sp, #92]                   ; 4-byte Folded Reload
	madd	w11, w8, w28, w11
	madd	w11, w0, w13, w11
	madd	w11, w17, w7, w11
	madd	w11, w5, w4, w11
	madd	w13, w27, w22, w11
	mov	w8, #33554432
	add	w8, w14, w8
	and	w11, w8, w2
	add	w8, w13, w8, asr #26
	str	w8, [sp, #48]                   ; 4-byte Folded Spill
	sub	w8, w14, w11
	str	w8, [sp, #68]                   ; 4-byte Folded Spill
	mul	w8, w21, w26
	madd	w8, w3, w20, w8
	mov	x15, x1
	madd	w8, w1, w28, w8
	ldr	w9, [sp, #52]                   ; 4-byte Folded Reload
	madd	w8, w9, w25, w8
	ldr	w9, [sp, #12]                   ; 4-byte Folded Reload
	madd	w8, w9, w7, w8
	madd	w8, w30, w6, w8
	madd	w8, w0, w22, w8
	madd	w8, w17, w10, w8
	mov	x14, x10
	madd	w8, w5, w23, w8
	str	w19, [sp, #20]                  ; 4-byte Folded Spill
	madd	w10, w27, w19, w8
Lloh3:
	adrp	x8, _kTop39Bits@GOTPAGE
Lloh4:
	ldr	x8, [x8, _kTop39Bits@GOTPAGEOFF]
Lloh5:
	ldr	w8, [x8]
	mov	w11, #16777216
	add	w11, w16, w11
	and	w13, w11, w8
	add	w10, w10, w11, asr #25
	str	w10, [sp, #40]                  ; 4-byte Folded Spill
	sub	w10, w16, w13
	str	w10, [sp, #52]                  ; 4-byte Folded Spill
	mul	w10, w21, w24
	madd	w10, w3, w26, w10
	ldr	w24, [sp, #16]                  ; 4-byte Folded Reload
	madd	w10, w1, w24, w10
	madd	w10, w12, w28, w10
	ldr	w1, [sp, #84]                   ; 4-byte Folded Reload
	madd	w10, w9, w1, w10
	madd	w10, w30, w7, w10
	mov	x13, x4
	madd	w10, w0, w4, w10
	mul	w11, w21, w22
	madd	w11, w3, w14, w11
	mov	x4, x14
	madd	w11, w15, w23, w11
	mov	x0, x15
	madd	w11, w12, w19, w11
	mov	x15, x12
	ldp	w19, w16, [sp, #88]             ; 8-byte Folded Reload
	madd	w11, w19, w26, w11
	madd	w11, w16, w20, w11
	ldr	w14, [sp, #36]                  ; 4-byte Folded Reload
	madd	w11, w14, w28, w11
	madd	w11, w17, w25, w11
	madd	w9, w17, w22, w10
	madd	w10, w5, w7, w11
	madd	w10, w27, w6, w10
	mul	w11, w21, w7
	madd	w11, w3, w6, w11
	mul	w12, w21, w13
	mov	x6, x13
	mov	x30, x1
	mul	w13, w21, w1
	madd	w12, w3, w22, w12
	madd	w13, w3, w7, w13
	madd	w13, w0, w6, w13
	ldr	w1, [sp, #44]                   ; 4-byte Folded Reload
	madd	w12, w0, w1, w12
	madd	w11, w0, w22, w11
	madd	w11, w15, w4, w11
	madd	w13, w15, w22, w13
	madd	w12, w15, w23, w12
	ldr	w3, [sp, #32]                   ; 4-byte Folded Reload
	madd	w12, w19, w3, w12
	madd	w12, w16, w26, w12
	mov	x6, x14
	madd	w12, w14, w24, w12
	ldr	w4, [sp, #64]                   ; 4-byte Folded Reload
	madd	w12, w4, w28, w12
	madd	w12, w5, w30, w12
	madd	w9, w5, w1, w9
	madd	w12, w27, w7, w12
	madd	w13, w19, w1, w13
	madd	w11, w19, w23, w11
	ldr	w14, [sp, #20]                  ; 4-byte Folded Reload
	madd	w11, w16, w14, w11
	madd	w11, w6, w26, w11
	madd	w11, w4, w20, w11
	ldr	w1, [sp, #72]                   ; 4-byte Folded Reload
	madd	w11, w1, w28, w11
	madd	w11, w27, w25, w11
	madd	w9, w27, w23, w9
	madd	w13, w16, w23, w13
	mov	w19, #16777216
	ldr	w15, [sp, #48]                  ; 4-byte Folded Reload
	add	w14, w15, w19
	and	w16, w14, w8
	add	w10, w10, w14, asr #25
	sub	w14, w15, w16
	madd	w13, w6, w3, w13
	mov	w5, #33554432
	ldr	w15, [sp, #40]                  ; 4-byte Folded Reload
	add	w16, w15, w5
	and	w17, w16, w2
	add	w9, w9, w16, asr #26
	sub	w16, w15, w17
	madd	w13, w4, w26, w13
	add	w15, w10, w5
	and	w17, w15, w2
	add	w12, w12, w15, asr #26
	madd	w13, w1, w24, w13
	add	w15, w12, w19
	and	w1, w15, w8
	add	w11, w11, w15, asr #25
	ldp	w6, w15, [sp, #76]              ; 8-byte Folded Reload
	madd	w13, w15, w28, w13
	add	w15, w11, w5
	and	w0, w15, w2
	add	w13, w13, w15, asr #26
	add	w15, w13, w19
	mov	w7, #16777216
	and	w3, w15, w8
	asr	w15, w15, #25
	mov	w4, #19
	madd	w15, w15, w4, w6
	add	w4, w15, w5
	mov	w6, #33554432
	and	w5, w4, w2
	ldr	w19, [sp, #52]                  ; 4-byte Folded Reload
	add	w4, w19, w4, asr #26
	sub	w15, w15, w5
	ldr	x5, [sp, #56]                   ; 8-byte Folded Reload
	stp	w15, w4, [x5]
	add	w15, w9, w7
	and	w8, w15, w8
	ldr	w4, [sp, #68]                   ; 4-byte Folded Reload
	add	w15, w4, w15, asr #25
	sub	w8, w9, w8
	stp	w16, w8, [x5, #8]
	add	w8, w15, w6
	and	w9, w8, w2
	add	w8, w14, w8, asr #26
	sub	w9, w15, w9
	stp	w9, w8, [x5, #16]
	sub	w8, w10, w17
	sub	w9, w12, w1
	sub	w10, w11, w0
	stp	w8, w9, [x5, #24]
	sub	w8, w13, w3
	stp	w10, w8, [x5, #32]
	ldp	x29, x30, [sp, #176]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #160]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #144]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #128]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #112]            ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #96]             ; 16-byte Folded Reload
	add	sp, sp, #192
	ret
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_kTop38Bits,4,2                 ; @kTop38Bits
	.comm	_kTop39Bits,4,2                 ; @kTop39Bits
	.no_dead_strip	_fe_mul
.subsections_via_symbols
