	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function fcontract
_fcontract:                             ## @fcontract
	.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	$56, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdi, -96(%rbp)                 ## 8-byte Spill
	movl	(%rsi), %r15d
	movl	%r15d, %ecx
	sarl	$31, %ecx
	andl	%r15d, %ecx
	movl	%ecx, %r13d
	sarl	$26, %r13d
	andl	$-67108864, %ecx                ## imm = 0xFC000000
	subl	%ecx, %r15d
	addl	4(%rsi), %r13d
	movl	%r13d, %edx
	sarl	$31, %edx
	andl	%r13d, %edx
	movl	%edx, %ecx
	sarl	$25, %ecx
	andl	$-33554432, %edx                ## imm = 0xFE000000
	subl	%edx, %r13d
	addl	8(%rsi), %ecx
	movl	%ecx, %edi
	sarl	$31, %edi
	andl	%ecx, %edi
	movl	%edi, %edx
	sarl	$26, %edx
	andl	$-67108864, %edi                ## imm = 0xFC000000
	subl	%edi, %ecx
	addl	12(%rsi), %edx
	movl	%edx, %ebx
	sarl	$31, %ebx
	andl	%edx, %ebx
	movl	%ebx, %edi
	sarl	$25, %edi
	andl	$-33554432, %ebx                ## imm = 0xFE000000
	addl	16(%rsi), %edi
	subl	%ebx, %edx
	movl	%edi, %eax
	sarl	$31, %eax
	andl	%edi, %eax
	movl	%eax, %ebx
	sarl	$26, %ebx
	andl	$-67108864, %eax                ## imm = 0xFC000000
	subl	%eax, %edi
	addl	20(%rsi), %ebx
	movl	%ebx, %eax
	sarl	$31, %eax
	andl	%ebx, %eax
	movl	%eax, %r8d
	sarl	$25, %r8d
	andl	$-33554432, %eax                ## imm = 0xFE000000
	subl	%eax, %ebx
	addl	24(%rsi), %r8d
	movl	%r8d, %eax
	sarl	$31, %eax
	andl	%r8d, %eax
	movl	%eax, %r9d
	sarl	$26, %r9d
	andl	$-67108864, %eax                ## imm = 0xFC000000
	subl	%eax, %r8d
	addl	28(%rsi), %r9d
	movl	%r9d, %eax
	sarl	$31, %eax
	andl	%r9d, %eax
	movl	%eax, %r10d
	sarl	$25, %r10d
	andl	$-33554432, %eax                ## imm = 0xFE000000
	addl	32(%rsi), %r10d
	subl	%eax, %r9d
	movl	%r10d, %eax
	sarl	$31, %eax
	andl	%r10d, %eax
	movl	%eax, %r11d
	sarl	$26, %r11d
	andl	$-67108864, %eax                ## imm = 0xFC000000
	subl	%eax, %r10d
	addl	36(%rsi), %r11d
	movl	%r11d, %eax
	sarl	$31, %eax
	andl	%r11d, %eax
	movl	%eax, %esi
	sarl	$25, %esi
	andl	$-33554432, %eax                ## imm = 0xFE000000
	subl	%eax, %r11d
	leal	(%rsi,%rsi,8), %eax
	leal	(%rsi,%rax,2), %esi
	addl	%r15d, %esi
	movl	%esi, %eax
	sarl	$31, %eax
	andl	%esi, %eax
	movl	%eax, %r12d
	sarl	$26, %r12d
	addl	%r13d, %r12d
	andl	$-67108864, %eax                ## imm = 0xFC000000
	subl	%eax, %esi
	movl	%r12d, %eax
	sarl	$31, %eax
	andl	%r12d, %eax
	movl	%eax, %r14d
	sarl	$25, %r14d
	addl	%ecx, %r14d
	andl	$-33554432, %eax                ## imm = 0xFE000000
	subl	%eax, %r12d
	movl	%r14d, %eax
	sarl	$31, %eax
	andl	%r14d, %eax
	movl	%eax, %r13d
	sarl	$26, %r13d
	addl	%edx, %r13d
	andl	$-67108864, %eax                ## imm = 0xFC000000
	subl	%eax, %r14d
	movl	%r13d, %eax
	sarl	$31, %eax
	andl	%r13d, %eax
	movl	%eax, %edx
	sarl	$25, %edx
	addl	%edi, %edx
	andl	$-33554432, %eax                ## imm = 0xFE000000
	subl	%eax, %r13d
	movl	%edx, %eax
	sarl	$31, %eax
	andl	%edx, %eax
	movl	%eax, %edi
	sarl	$26, %edi
	addl	%ebx, %edi
	andl	$-67108864, %eax                ## imm = 0xFC000000
	subl	%eax, %edx
	movl	%edi, %eax
	sarl	$31, %eax
	andl	%edi, %eax
	movl	%eax, %ebx
	sarl	$25, %ebx
	addl	%r8d, %ebx
	andl	$-33554432, %eax                ## imm = 0xFE000000
	subl	%eax, %edi
	movl	%ebx, %eax
	sarl	$31, %eax
	andl	%ebx, %eax
	movl	%eax, %r8d
	sarl	$26, %r8d
	addl	%r9d, %r8d
	andl	$-67108864, %eax                ## imm = 0xFC000000
	subl	%eax, %ebx
	movl	%r8d, %eax
	sarl	$31, %eax
	andl	%r8d, %eax
	movl	%eax, %r15d
	sarl	$25, %r15d
	addl	%r10d, %r15d
	andl	$-33554432, %eax                ## imm = 0xFE000000
	subl	%eax, %r8d
	movl	%r15d, %eax
	sarl	$31, %eax
	andl	%r15d, %eax
	movl	%eax, %r10d
	sarl	$26, %r10d
	addl	%r11d, %r10d
	andl	$-67108864, %eax                ## imm = 0xFC000000
	subl	%eax, %r15d
	movl	%r10d, %eax
	sarl	$31, %eax
	andl	%r10d, %eax
	movl	%eax, %ecx
	sarl	$25, %ecx
	andl	$-33554432, %eax                ## imm = 0xFE000000
	subl	%eax, %r10d
	leal	(%rcx,%rcx,8), %eax
	leal	(%rcx,%rax,2), %eax
	addl	%esi, %eax
	movl	%eax, %ecx
	sarl	$31, %ecx
	andl	%eax, %ecx
	movl	%ecx, %esi
	sarl	$26, %esi
	addl	%r12d, %esi
	andl	$-67108864, %ecx                ## imm = 0xFC000000
	subl	%ecx, %eax
	movl	%eax, %r12d
	sarl	$26, %r12d
	addl	%esi, %r12d
	andl	$67108863, %eax                 ## imm = 0x3FFFFFF
	movl	%r12d, %r9d
	sarl	$25, %r9d
	addl	%r14d, %r9d
	andl	$33554431, %r12d                ## imm = 0x1FFFFFF
	movl	%r9d, %r11d
	sarl	$26, %r11d
	addl	%r13d, %r11d
	andl	$67108863, %r9d                 ## imm = 0x3FFFFFF
	movl	%r11d, %r14d
	sarl	$25, %r14d
	addl	%edx, %r14d
	andl	$33554431, %r11d                ## imm = 0x1FFFFFF
	movl	%r14d, %edx
	sarl	$26, %edx
	addl	%edi, %edx
	andl	$67108863, %r14d                ## imm = 0x3FFFFFF
	movl	%edx, %edi
	sarl	$25, %edi
	addl	%ebx, %edi
	andl	$33554431, %edx                 ## imm = 0x1FFFFFF
	movl	%edi, %ebx
	sarl	$26, %ebx
	addl	%r8d, %ebx
	andl	$67108863, %edi                 ## imm = 0x3FFFFFF
	movl	%ebx, %r8d
	sarl	$25, %r8d
	addl	%r15d, %r8d
	andl	$33554431, %ebx                 ## imm = 0x1FFFFFF
	movl	%r8d, %esi
	sarl	$26, %esi
	addl	%r10d, %esi
	andl	$67108863, %r8d                 ## imm = 0x3FFFFFF
	movl	%esi, %ecx
	andl	$33554431, %ecx                 ## imm = 0x1FFFFFF
	movl	%ecx, -44(%rbp)                 ## 4-byte Spill
	sarl	$25, %esi
	leal	(%rsi,%rsi,8), %ecx
	leal	(%rsi,%rcx,2), %ecx
	addl	%eax, %ecx
	movl	%ecx, %r15d
	sarl	$26, %r15d
	addl	%r12d, %r15d
	movl	%r15d, %r12d
	sarl	$25, %r12d
	addl	%r9d, %r12d
	movl	%r12d, %esi
	sarl	$26, %esi
	addl	%r11d, %esi
	movl	%esi, %r10d
	movl	%esi, %r13d
	sarl	$25, %r10d
	addl	%r14d, %r10d
	movl	%r10d, %esi
	movl	%r10d, -72(%rbp)                ## 4-byte Spill
	sarl	$26, %esi
	addl	%edx, %esi
	movl	%esi, %eax
	movl	%esi, %r9d
	sarl	$25, %eax
	addl	%edi, %eax
	movl	%eax, %edx
	movq	%rax, %r11
	sarl	$26, %edx
	addl	%ebx, %edx
	movl	%edx, %eax
	movq	%rdx, %rbx
	sarl	$25, %eax
	addl	%r8d, %eax
	movl	%eax, %edx
	movl	%eax, %r8d
	sarl	$26, %edx
	addl	-44(%rbp), %edx                 ## 4-byte Folded Reload
	movl	%edx, %eax
	movl	%edx, %esi
	sarl	$25, %eax
	leal	(%rax,%rax,8), %edx
	leal	(%rax,%rdx,2), %edi
	andl	$67108863, %ecx                 ## imm = 0x3FFFFFF
	andl	$33554431, %r15d                ## imm = 0x1FFFFFF
	andl	$67108863, %r12d                ## imm = 0x3FFFFFF
	andl	$33554431, %r13d                ## imm = 0x1FFFFFF
	movl	%r13d, %r14d
	movl	%r13d, -64(%rbp)                ## 4-byte Spill
	addl	%ecx, %edi
	movl	%edi, -68(%rbp)                 ## 4-byte Spill
	movl	%r10d, %r13d
	andl	$67108863, %r13d                ## imm = 0x3FFFFFF
	andl	$33554431, %r9d                 ## imm = 0x1FFFFFF
	movl	%r9d, -44(%rbp)                 ## 4-byte Spill
	andl	$67108863, %r11d                ## imm = 0x3FFFFFF
	movq	%r11, -80(%rbp)                 ## 8-byte Spill
	andl	$33554431, %ebx                 ## imm = 0x1FFFFFF
	movq	%rbx, -88(%rbp)                 ## 8-byte Spill
	andl	$67108863, %r8d                 ## imm = 0x3FFFFFF
	movl	%r8d, -52(%rbp)                 ## 4-byte Spill
	andl	$33554431, %esi                 ## imm = 0x1FFFFFF
	movl	%esi, -56(%rbp)                 ## 4-byte Spill
	movl	$67108845, %esi                 ## imm = 0x3FFFFED
	callq	_s32_gte
	movl	%eax, -60(%rbp)                 ## 4-byte Spill
	movl	%r15d, %edi
	movl	$33554431, %esi                 ## imm = 0x1FFFFFF
	callq	_s32_eq
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%r12d, %edi
	movl	$67108863, %esi                 ## imm = 0x3FFFFFF
	callq	_s32_eq
	movl	%eax, %ebx
	andl	-48(%rbp), %ebx                 ## 4-byte Folded Reload
	movl	%r14d, %edi
	movl	$33554431, %esi                 ## imm = 0x1FFFFFF
	callq	_s32_eq
	movl	%eax, %r14d
	andl	%ebx, %r14d
	movl	%r13d, %edi
	movl	$67108863, %esi                 ## imm = 0x3FFFFFF
	callq	_s32_eq
	movl	%eax, %ebx
	andl	%r14d, %ebx
	movl	-44(%rbp), %edi                 ## 4-byte Reload
	movl	$33554431, %esi                 ## imm = 0x1FFFFFF
	callq	_s32_eq
	movl	%eax, %r14d
	andl	%ebx, %r14d
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
                                        ## kill: def $edi killed $edi killed $rdi
	movl	$67108863, %esi                 ## imm = 0x3FFFFFF
	callq	_s32_eq
	movl	%eax, %ebx
	andl	%r14d, %ebx
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
                                        ## kill: def $edi killed $edi killed $rdi
	movl	$33554431, %esi                 ## imm = 0x1FFFFFF
	callq	_s32_eq
	movl	%eax, %r14d
	andl	%ebx, %r14d
	movl	-52(%rbp), %r13d                ## 4-byte Reload
	movl	%r13d, %edi
	movl	$67108863, %esi                 ## imm = 0x3FFFFFF
	callq	_s32_eq
	movl	%eax, %ebx
	andl	%r14d, %ebx
	movl	-56(%rbp), %r14d                ## 4-byte Reload
	movl	%r14d, %edi
	movl	$33554431, %esi                 ## imm = 0x1FFFFFF
	callq	_s32_eq
	andl	%ebx, %eax
	andl	-60(%rbp), %eax                 ## 4-byte Folded Reload
	movl	%eax, %ecx
	andl	$67108863, %ecx                 ## imm = 0x3FFFFFF
	subl	%ecx, %r12d
	movq	-80(%rbp), %r10                 ## 8-byte Reload
	subl	%ecx, %r10d
	subl	%ecx, %r13d
	movl	%eax, %ecx
	andl	$33554431, %ecx                 ## imm = 0x1FFFFFF
	subl	%ecx, %r15d
	movl	-64(%rbp), %ebx                 ## 4-byte Reload
	subl	%ecx, %ebx
	movl	-44(%rbp), %r9d                 ## 4-byte Reload
	subl	%ecx, %r9d
	movq	-88(%rbp), %r8                  ## 8-byte Reload
	subl	%ecx, %r8d
	subl	%ecx, %r14d
	leal	(,%r15,4), %ecx
	movl	-72(%rbp), %edi                 ## 4-byte Reload
	subl	%eax, %edi
	andl	$67108845, %eax                 ## imm = 0x3FFFFED
	movl	-68(%rbp), %edx                 ## 4-byte Reload
	subl	%eax, %edx
	movzbl	%dl, %eax
	movq	-96(%rbp), %rsi                 ## 8-byte Reload
	movq	%rax, (%rsi)
	movzbl	%dh, %eax
	movq	%rax, 8(%rsi)
	movl	%edx, %eax
	shrl	$16, %eax
	movzbl	%al, %eax
	movq	%rax, 16(%rsi)
	shrl	$24, %edx
	movzbl	%cl, %eax
	orl	%edx, %eax
	movq	%rax, 24(%rsi)
	movl	%r15d, %eax
	shrl	$6, %eax
	movzbl	%al, %eax
	movq	%rax, 32(%rsi)
	leal	(,%r12,8), %edx
	shrl	$14, %r15d
	movzbl	%r15b, %eax
	movq	%rax, 40(%rsi)
	shrl	$24, %ecx
	movzbl	%dl, %eax
	orl	%ecx, %eax
	movq	%rax, 48(%rsi)
	movl	%r12d, %eax
	shrl	$5, %eax
	movzbl	%al, %eax
	movq	%rax, 56(%rsi)
	movl	%ebx, %eax
	shll	$5, %ebx
	shrl	$13, %r12d
	movzbl	%r12b, %ecx
	movq	%rcx, 64(%rsi)
	shrl	$24, %edx
	movzbl	%bl, %ecx
	orl	%edx, %ecx
	movq	%rcx, 72(%rsi)
	movl	%eax, %ecx
	shrl	$3, %ecx
	movzbl	%cl, %ecx
	movq	%rcx, 80(%rsi)
	movl	%edi, %ecx
	shll	$6, %ecx
	shrl	$11, %eax
	movzbl	%al, %edx
	movq	%rdx, 88(%rsi)
	shrl	$24, %ebx
	movzbl	%cl, %edx
	orl	%ebx, %edx
	movq	%rdx, 96(%rsi)
	movl	%edi, %edx
	movl	%edi, %eax
	shrl	$2, %eax
	movzbl	%al, %eax
	movq	%rax, 104(%rsi)
	shrl	$10, %edx
	movzbl	%dl, %eax
	movq	%rax, 112(%rsi)
	leal	(%r10,%r10), %eax
	shrl	$24, %ecx
	movq	%rcx, 120(%rsi)
	movl	%r9d, %edx
	movzbl	%dl, %ecx
	movq	%rcx, 128(%rsi)
	movzbl	%dh, %ecx
	movq	%rcx, 136(%rsi)
	movl	%r9d, %ecx
	shrl	$16, %ecx
	movzbl	%cl, %ecx
	movq	%rcx, 144(%rsi)
	shrl	$24, %edx
	movzbl	%al, %ecx
	orl	%edx, %ecx
	movq	%rcx, 152(%rsi)
	movq	%r10, %rdx
	movl	%edx, %ecx
	shrl	$7, %ecx
	movzbl	%cl, %ecx
	movq	%rcx, 160(%rsi)
	leal	(,%r8,8), %ecx
	shrl	$15, %edx
	movzbl	%dl, %edx
	movq	%rdx, 168(%rsi)
	shrl	$24, %eax
	movzbl	%cl, %edx
	orl	%eax, %edx
	movq	%rdx, 176(%rsi)
	movq	%r8, %rdx
	movl	%edx, %eax
	shrl	$5, %eax
	movzbl	%al, %eax
	movq	%rax, 184(%rsi)
	movl	%r13d, %eax
	shll	$4, %eax
	shrl	$13, %edx
	movzbl	%dl, %edx
	movq	%rdx, 192(%rsi)
	shrl	$24, %ecx
	movzbl	%al, %edx
	orl	%ecx, %edx
	movq	%rdx, 200(%rsi)
	movl	%r13d, %ecx
	shrl	$4, %ecx
	movzbl	%cl, %ecx
	movq	%rcx, 208(%rsi)
	movl	%r14d, %ecx
	shll	$6, %ecx
	shrl	$12, %r13d
	movzbl	%r13b, %edx
	movq	%rdx, 216(%rsi)
	shrl	$24, %eax
	movzbl	%cl, %edx
	orl	%eax, %edx
	movq	%rdx, 224(%rsi)
	movl	%r14d, %eax
	shrl	$2, %eax
	movzbl	%al, %eax
	movq	%rax, 232(%rsi)
	shrl	$10, %r14d
	movzbl	%r14b, %eax
	movq	%rax, 240(%rsi)
	shrl	$24, %ecx
	movq	%rcx, 248(%rsi)
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_fcontract
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal8,8byte_literals
	.p2align	3                               ; -- Begin function fcontract
lCPI0_0:
	.long	4294967288                      ; 0xfffffff8
	.long	4294967280                      ; 0xfffffff0
	.section	__TEXT,__text,regular,pure_instructions
	.p2align	2
_fcontract:                             ; @fcontract
	.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	x19, x0
	ldp	w9, w8, [x1, #32]
	ldp	w11, w10, [x1, #24]
	ldp	w13, w12, [x1, #16]
	ldp	w15, w14, [x1, #8]
	ldp	w17, w16, [x1]
	cmp	w17, #0
	csel	w0, w17, wzr, lt
	and	w1, w0, #0xfc000000
	sub	w17, w17, w1
	add	w16, w16, w0, asr #26
	cmp	w16, #0
	csel	w0, w16, wzr, lt
	and	w1, w0, #0xfe000000
	sub	w16, w16, w1
	add	w15, w15, w0, asr #25
	cmp	w15, #0
	csel	w0, w15, wzr, lt
	and	w1, w0, #0xfc000000
	sub	w15, w15, w1
	add	w14, w14, w0, asr #26
	cmp	w14, #0
	csel	w0, w14, wzr, lt
	and	w1, w0, #0xfe000000
	sub	w14, w14, w1
	add	w13, w13, w0, asr #25
	cmp	w13, #0
	csel	w0, w13, wzr, lt
	and	w1, w0, #0xfc000000
	sub	w13, w13, w1
	add	w12, w12, w0, asr #26
	cmp	w12, #0
	csel	w0, w12, wzr, lt
	and	w1, w0, #0xfe000000
	sub	w12, w12, w1
	add	w11, w11, w0, asr #25
	cmp	w11, #0
	csel	w0, w11, wzr, lt
	and	w1, w0, #0xfc000000
	sub	w11, w11, w1
	add	w10, w10, w0, asr #26
	cmp	w10, #0
	csel	w0, w10, wzr, lt
	and	w1, w0, #0xfe000000
	sub	w10, w10, w1
	add	w9, w9, w0, asr #25
	cmp	w9, #0
	csel	w0, w9, wzr, lt
	and	w1, w0, #0xfc000000
	sub	w9, w9, w1
	add	w8, w8, w0, asr #26
	cmp	w8, #0
	csel	w0, w8, wzr, lt
	asr	w1, w0, #25
	and	w0, w0, #0xfe000000
	sub	w0, w8, w0
	mov	w8, #19
	madd	w17, w1, w8, w17
	cmp	w17, #0
	csel	w1, w17, wzr, lt
	and	w2, w1, #0xfc000000
	sub	w17, w17, w2
	add	w16, w16, w1, asr #26
	cmp	w16, #0
	csel	w1, w16, wzr, lt
	and	w2, w1, #0xfe000000
	sub	w16, w16, w2
	add	w15, w15, w1, asr #25
	cmp	w15, #0
	csel	w1, w15, wzr, lt
	and	w2, w1, #0xfc000000
	sub	w15, w15, w2
	add	w14, w14, w1, asr #26
	cmp	w14, #0
	csel	w1, w14, wzr, lt
	and	w2, w1, #0xfe000000
	sub	w14, w14, w2
	add	w13, w13, w1, asr #25
	cmp	w13, #0
	csel	w1, w13, wzr, lt
	and	w2, w1, #0xfc000000
	sub	w13, w13, w2
	add	w12, w12, w1, asr #26
	cmp	w12, #0
	csel	w1, w12, wzr, lt
	and	w2, w1, #0xfe000000
	sub	w12, w12, w2
	add	w11, w11, w1, asr #25
	cmp	w11, #0
	csel	w1, w11, wzr, lt
	and	w2, w1, #0xfc000000
	sub	w11, w11, w2
	add	w10, w10, w1, asr #26
	cmp	w10, #0
	csel	w1, w10, wzr, lt
	and	w2, w1, #0xfe000000
	sub	w10, w10, w2
	add	w9, w9, w1, asr #25
	cmp	w9, #0
	csel	w1, w9, wzr, lt
	and	w2, w1, #0xfc000000
	sub	w9, w9, w2
	add	w0, w0, w1, asr #26
	cmp	w0, #0
	csel	w1, w0, wzr, lt
	asr	w2, w1, #25
	and	w1, w1, #0xfe000000
	sub	w0, w0, w1
	madd	w17, w2, w8, w17
	cmp	w17, #0
	csel	w1, w17, wzr, lt
	add	w16, w16, w1, asr #26
	and	w1, w1, #0xfc000000
	sub	w17, w17, w1
	and	w1, w17, #0x3ffffff
	add	w16, w16, w17, asr #26
	and	w17, w16, #0x1ffffff
	add	w15, w15, w16, asr #25
	and	w16, w15, #0x3ffffff
	add	w14, w14, w15, asr #26
	and	w15, w14, #0x1ffffff
	add	w13, w13, w14, asr #25
	and	w14, w13, #0x3ffffff
	add	w12, w12, w13, asr #26
	and	w13, w12, #0x1ffffff
	add	w11, w11, w12, asr #25
	and	w12, w11, #0x3ffffff
	add	w10, w10, w11, asr #26
	and	w11, w10, #0x1ffffff
	add	w9, w9, w10, asr #25
	and	w10, w9, #0x3ffffff
	add	w9, w0, w9, asr #26
	and	w0, w9, #0x1ffffff
	asr	w9, w9, #25
	madd	w9, w9, w8, w1
	and	w1, w9, #0x3ffffff
	add	w9, w17, w9, asr #26
	and	w23, w9, #0x1ffffff
	add	w9, w16, w9, asr #25
	and	w24, w9, #0x3ffffff
	add	w9, w15, w9, asr #26
	and	w25, w9, #0x1ffffff
	add	w9, w14, w9, asr #25
	str	w9, [sp, #12]                   ; 4-byte Folded Spill
	and	w20, w9, #0x3ffffff
	add	w9, w13, w9, asr #26
	and	w26, w9, #0x1ffffff
	add	w9, w12, w9, asr #25
	and	w27, w9, #0x3ffffff
	add	w9, w11, w9, asr #26
	and	w28, w9, #0x1ffffff
	add	w9, w10, w9, asr #25
	and	w22, w9, #0x3ffffff
	add	w9, w0, w9, asr #26
	asr	w10, w9, #25
	and	w9, w9, #0x1ffffff
	madd	w0, w10, w8, w1
	stp	w9, w0, [sp, #4]                ; 8-byte Folded Spill
	mov	w1, #65517
	movk	w1, #1023, lsl #16
	bl	_s32_gte
	mov	x21, x0
	mov	x0, x23
	mov	w1, #33554431
	bl	_s32_eq
	and	w21, w0, w21
	mov	x0, x24
	mov	w1, #67108863
	bl	_s32_eq
	and	w21, w0, w21
	mov	x0, x25
	mov	w1, #33554431
	bl	_s32_eq
	and	w21, w0, w21
	mov	x0, x20
	mov	w1, #67108863
	bl	_s32_eq
	and	w20, w0, w21
	mov	x0, x26
	mov	w1, #33554431
	bl	_s32_eq
	and	w20, w0, w20
	mov	x0, x27
	mov	w1, #67108863
	bl	_s32_eq
	and	w20, w0, w20
	mov	x0, x28
	mov	w1, #33554431
	bl	_s32_eq
	and	w20, w0, w20
	mov	x0, x22
	mov	w1, #67108863
	bl	_s32_eq
	and	w20, w0, w20
	ldr	w21, [sp, #4]                   ; 4-byte Folded Reload
	mov	x0, x21
	mov	w1, #33554431
	bl	_s32_eq
	and	w8, w0, w20
	and	w12, w8, #0x1ffffff
	and	w10, w8, #0x3ffffff
	sub	w9, w23, w12
	lsl	w15, w9, #2
	sub	w9, w24, w10
	lsl	w16, w9, #3
	sub	w9, w25, w12
	lsl	w17, w9, #5
	ldr	w9, [sp, #12]                   ; 4-byte Folded Reload
	sub	w14, w9, w8
	lsl	w0, w14, #6
	sub	w13, w26, w12
	sub	w9, w27, w10
	lsl	w11, w9, #1
	sub	w9, w28, w12
	lsl	w9, w9, #3
	sub	w10, w22, w10
	mov	w1, #65517
	movk	w1, #1023, lsl #16
	and	w8, w8, w1
	ldr	w1, [sp, #8]                    ; 4-byte Folded Reload
	sub	w1, w1, w8
	and	w8, w1, #0xff
	str	x8, [x19]
	lsl	w10, w10, #4
	sub	w8, w21, w12
	dup.2s	v1, w1
Lloh0:
	adrp	x12, lCPI0_0@PAGE
Lloh1:
	ldr	d0, [x12, lCPI0_0@PAGEOFF]
	ushl.2s	v2, v1, v0
	movi	d1, #0x0000ff000000ff
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	stur	q2, [x19, #8]
	and	w12, w15, #0xfc
	orr	w12, w12, w1, lsr #24
	str	x12, [x19, #24]
	lsl	w12, w8, #6
	dup.2s	v2, w15
	ushl.2s	v2, v2, v0
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	str	q2, [x19, #32]
	and	w1, w16, #0xf8
	orr	w15, w1, w15, lsr #24
	str	x15, [x19, #48]
	dup.2s	v2, w16
	ushl.2s	v2, v2, v0
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	stur	q2, [x19, #56]
	and	w15, w17, #0xe0
	orr	w15, w15, w16, lsr #24
	str	x15, [x19, #72]
	dup.2s	v2, w17
	ushl.2s	v2, v2, v0
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	str	q2, [x19, #80]
	and	w15, w0, #0xc0
	orr	w15, w15, w17, lsr #24
	str	x15, [x19, #96]
	dup.2s	v2, w0
	ushl.2s	v2, v2, v0
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	stur	q2, [x19, #104]
	ubfx	w14, w14, #18, #8
	and	w15, w13, #0xff
	stp	x14, x15, [x19, #120]
	dup.2s	v2, w13
	ushl.2s	v2, v2, v0
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	stur	q2, [x19, #136]
	and	w14, w11, #0xfe
	orr	w13, w14, w13, lsr #24
	str	x13, [x19, #152]
	dup.2s	v2, w11
	ushl.2s	v2, v2, v0
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	str	q2, [x19, #160]
	and	w13, w9, #0xf8
	orr	w11, w13, w11, lsr #24
	str	x11, [x19, #176]
	dup.2s	v2, w9
	ushl.2s	v2, v2, v0
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	stur	q2, [x19, #184]
	and	w11, w10, #0xf0
	orr	w9, w11, w9, lsr #24
	str	x9, [x19, #200]
	dup.2s	v2, w10
	ushl.2s	v2, v2, v0
	and.8b	v2, v2, v1
	ushll.2d	v2, v2, #0
	str	q2, [x19, #208]
	and	w9, w12, #0xc0
	orr	w9, w9, w10, lsr #24
	str	x9, [x19, #224]
	dup.2s	v2, w12
	ushl.2s	v0, v2, v0
	and.8b	v0, v0, v1
	ushll.2d	v0, v0, #0
	stur	q0, [x19, #232]
	ubfx	w8, w8, #18, #8
	str	x8, [x19, #248]
	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 AdrpLdr	Lloh0, Lloh1
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_fcontract
.subsections_via_symbols
