	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal16,16byte_literals
	.p2align	4                               ## -- Begin function is_frozen
LCPI0_0:
	.long	1127219200                      ## 0x43300000
	.long	1160773632                      ## 0x45300000
	.long	0                               ## 0x0
	.long	0                               ## 0x0
LCPI0_1:
	.quad	0x4330000000000000              ## double 4503599627370496
	.quad	0x4530000000000000              ## double 1.9342813113834067E+25
	.section	__TEXT,__text,regular,pure_instructions
	.p2align	4, 0x90
_is_frozen:                             ## @is_frozen
	.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	%rbx
	subq	$24, %rsp
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdx, %r15
	movq	%rsi, %r14
	movq	%rdi, %rbx
	movq	(%rdi), %rax
	movl	(%rax), %r8d
	testl	%r8d, %r8d
	je	LBB0_1
## %bb.2:
	movq	(%r15), %rax
	movq	8(%r15), %rcx
	movl	(%rcx), %edi
	movl	(%rax), %esi
	movq	(%r14), %rax
	movq	8(%r14), %rcx
	movl	(%rcx), %edx
	movl	(%rax), %ecx
	movq	8(%rbx), %rax
	movsd	(%rax), %xmm0                   ## xmm0 = mem[0],zero
	leaq	-40(%rbp), %r9
	callq	*32(%rbx)
	xorpd	%xmm0, %xmm0
	movsd	-40(%rbp), %xmm1                ## xmm1 = mem[0],zero
	addsd	%xmm0, %xmm1
	movq	(%rbx), %rax
	cvtsi2sdl	(%rax), %xmm2
	movq	8(%rbx), %rcx
	mulsd	(%rcx), %xmm2
	addsd	%xmm0, %xmm2
	jmp	LBB0_3
LBB0_1:
	xorpd	%xmm2, %xmm2
	xorpd	%xmm1, %xmm1
LBB0_3:
	movl	4(%rax), %r8d
	testl	%r8d, %r8d
	je	LBB0_5
## %bb.4:
	movq	(%r15), %rax
	movq	8(%r15), %rcx
	movl	4(%rcx), %edi
	movl	4(%rax), %esi
	movq	(%r14), %rax
	movq	8(%r14), %rcx
	movl	4(%rcx), %edx
	movl	4(%rax), %ecx
	movq	8(%rbx), %rax
	movsd	8(%rax), %xmm0                  ## xmm0 = mem[0],zero
	leaq	-40(%rbp), %r9
	movsd	%xmm1, -32(%rbp)                ## 8-byte Spill
	movsd	%xmm2, -48(%rbp)                ## 8-byte Spill
	callq	*32(%rbx)
	movsd	-48(%rbp), %xmm2                ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
	movsd	-32(%rbp), %xmm1                ## 8-byte Reload
                                        ## xmm1 = mem[0],zero
	addsd	-40(%rbp), %xmm1
	movq	(%rbx), %rax
	xorps	%xmm0, %xmm0
	cvtsi2sdl	4(%rax), %xmm0
	movq	8(%rbx), %rcx
	mulsd	8(%rcx), %xmm0
	addsd	%xmm0, %xmm2
LBB0_5:
	movl	8(%rax), %r8d
	testl	%r8d, %r8d
	je	LBB0_7
## %bb.6:
	movq	(%r15), %rax
	movq	8(%r15), %rcx
	movl	8(%rcx), %edi
	movl	8(%rax), %esi
	movq	(%r14), %rax
	movq	8(%r14), %rcx
	movl	8(%rcx), %edx
	movl	8(%rax), %ecx
	movq	8(%rbx), %rax
	movsd	16(%rax), %xmm0                 ## xmm0 = mem[0],zero
	leaq	-40(%rbp), %r9
	movsd	%xmm1, -32(%rbp)                ## 8-byte Spill
	movsd	%xmm2, -48(%rbp)                ## 8-byte Spill
	callq	*32(%rbx)
	movsd	-48(%rbp), %xmm2                ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
	movsd	-32(%rbp), %xmm1                ## 8-byte Reload
                                        ## xmm1 = mem[0],zero
	addsd	-40(%rbp), %xmm1
	movq	(%rbx), %rax
	xorps	%xmm0, %xmm0
	cvtsi2sdl	8(%rax), %xmm0
	movq	8(%rbx), %rcx
	mulsd	16(%rcx), %xmm0
	addsd	%xmm0, %xmm2
LBB0_7:
	movl	12(%rax), %r8d
	testl	%r8d, %r8d
	je	LBB0_9
## %bb.8:
	movq	(%r15), %rax
	movq	8(%r15), %rcx
	movl	12(%rcx), %edi
	movl	12(%rax), %esi
	movq	(%r14), %rax
	movq	8(%r14), %rcx
	movl	12(%rcx), %edx
	movl	12(%rax), %ecx
	movq	8(%rbx), %rax
	movsd	24(%rax), %xmm0                 ## xmm0 = mem[0],zero
	leaq	-40(%rbp), %r9
	movsd	%xmm1, -32(%rbp)                ## 8-byte Spill
	movsd	%xmm2, -48(%rbp)                ## 8-byte Spill
	callq	*32(%rbx)
	movsd	-48(%rbp), %xmm2                ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
	movsd	-32(%rbp), %xmm1                ## 8-byte Reload
                                        ## xmm1 = mem[0],zero
	addsd	-40(%rbp), %xmm1
	movq	(%rbx), %rax
	xorps	%xmm0, %xmm0
	cvtsi2sdl	12(%rax), %xmm0
	movq	8(%rbx), %rax
	mulsd	24(%rax), %xmm0
	addsd	%xmm0, %xmm2
LBB0_9:
	divsd	%xmm2, %xmm1
	movsd	%xmm1, -32(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	callq	_emms_c
	movb	16(%rbx), %cl
	movl	$1, %eax
	shlq	%cl, %rax
	movq	%rax, %xmm0
	punpckldq	LCPI0_0(%rip), %xmm0    ## xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
	subpd	LCPI0_1(%rip), %xmm0
	movapd	%xmm0, %xmm1
	unpckhpd	%xmm0, %xmm1                    ## xmm1 = xmm1[1],xmm0[1]
	addsd	%xmm0, %xmm1
	movsd	-32(%rbp), %xmm2                ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
	divsd	%xmm1, %xmm2
	movsd	24(%rbx), %xmm0                 ## xmm0 = mem[0],zero
	xorl	%eax, %eax
	ucomisd	%xmm2, %xmm0
	setae	%al
	addq	$24, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_is_frozen
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function is_frozen
_is_frozen:                             ; @is_frozen
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	d9, d8, [sp, #16]               ; 16-byte Folded Spill
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.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 b8, -56
	.cfi_offset b9, -64
	mov	x21, x2
	mov	x20, x1
	mov	x19, x0
	ldr	x8, [x0]
	ldr	w4, [x8]
	cbz	w4, LBB0_8
; %bb.1:
	ldr	x8, [x19, #32]
	ldp	x10, x9, [x21]
	ldr	w0, [x9]
	ldr	w1, [x10]
	ldp	x10, x9, [x20]
	ldr	w2, [x9]
	ldr	w3, [x10]
	ldr	x9, [x19, #8]
	ldr	d0, [x9]
	add	x5, sp, #8
	blr	x8
	ldr	d0, [sp, #8]
	movi	d1, #0000000000000000
	fadd	d8, d0, d1
	ldp	x8, x9, [x19]
	ldr	s0, [x8]
	sshll.2d	v0, v0, #0
	scvtf	d0, d0
	ldr	d2, [x9]
	fmadd	d9, d0, d2, d1
	ldr	w4, [x8, #4]
	cbz	w4, LBB0_3
LBB0_2:
	ldr	x8, [x19, #32]
	ldp	x10, x9, [x21]
	ldr	w0, [x9, #4]
	ldr	w1, [x10, #4]
	ldp	x10, x9, [x20]
	ldr	w2, [x9, #4]
	ldr	w3, [x10, #4]
	ldr	x9, [x19, #8]
	ldr	d0, [x9, #8]
	add	x5, sp, #8
	blr	x8
	ldr	d0, [sp, #8]
	fadd	d8, d8, d0
	ldp	x8, x9, [x19]
	ldr	s0, [x8, #4]
	sshll.2d	v0, v0, #0
	scvtf	d0, d0
	ldr	d1, [x9, #8]
	fmadd	d9, d0, d1, d9
LBB0_3:
	ldr	w4, [x8, #8]
	cbz	w4, LBB0_5
; %bb.4:
	ldr	x8, [x19, #32]
	ldp	x10, x9, [x21]
	ldr	w0, [x9, #8]
	ldr	w1, [x10, #8]
	ldp	x10, x9, [x20]
	ldr	w2, [x9, #8]
	ldr	w3, [x10, #8]
	ldr	x9, [x19, #8]
	ldr	d0, [x9, #16]
	add	x5, sp, #8
	blr	x8
	ldr	d0, [sp, #8]
	fadd	d8, d8, d0
	ldp	x8, x9, [x19]
	ldr	s0, [x8, #8]
	sshll.2d	v0, v0, #0
	scvtf	d0, d0
	ldr	d1, [x9, #16]
	fmadd	d9, d0, d1, d9
LBB0_5:
	ldr	w4, [x8, #12]
	cbz	w4, LBB0_7
; %bb.6:
	ldr	x8, [x19, #32]
	ldp	x10, x9, [x21]
	ldr	w0, [x9, #12]
	ldr	w1, [x10, #12]
	ldp	x10, x9, [x20]
	ldr	w2, [x9, #12]
	ldr	w3, [x10, #12]
	ldr	x9, [x19, #8]
	ldr	d0, [x9, #24]
	add	x5, sp, #8
	blr	x8
	ldr	d0, [sp, #8]
	fadd	d8, d8, d0
	ldp	x8, x9, [x19]
	ldr	s0, [x8, #12]
	sshll.2d	v0, v0, #0
	scvtf	d0, d0
	ldr	d1, [x9, #24]
	fmadd	d9, d0, d1, d9
LBB0_7:
	bl	_emms_c
	ldr	x8, [x19, #16]
	mov	w9, #1
	lsl	x8, x9, x8
	ucvtf	d0, x8
	fdiv	d1, d8, d9
	fdiv	d0, d1, d0
	ldr	d1, [x19, #24]
	fcmp	d0, d1
	cset	w0, ls
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	d9, d8, [sp, #16]               ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
LBB0_8:
	movi	d9, #0000000000000000
	movi	d8, #0000000000000000
	ldr	w4, [x8, #4]
	cbnz	w4, LBB0_2
	b	LBB0_3
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_is_frozen
.subsections_via_symbols
