	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal8,8byte_literals
	.p2align	3                               ## -- Begin function index_pages_fetched
LCPI0_0:
	.quad	0x3ff0000000000000              ## double 1
	.section	__TEXT,__text,regular,pure_instructions
	.globl	_index_pages_fetched
	.p2align	4, 0x90
_index_pages_fetched:                   ## @index_pages_fetched
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	subq	$32, %rsp
	movapd	%xmm1, %xmm2
	movsd	%xmm0, -8(%rbp)                 ## 8-byte Spill
	cmpl	$2, %edi
	movl	$1, %eax
	cmovgel	%edi, %eax
	xorps	%xmm0, %xmm0
	cvtsi2sd	%eax, %xmm0
	movsd	%xmm0, -16(%rbp)                ## 8-byte Spill
	addsd	(%rsi), %xmm2
	movsd	LCPI0_0(%rip), %xmm1            ## xmm1 = mem[0],zero
	movapd	%xmm2, %xmm0
	callq	_Max
	movsd	%xmm0, -24(%rbp)                ## 8-byte Spill
	xorl	%edi, %edi
	ucomisd	-16(%rbp), %xmm0                ## 8-byte Folded Reload
	setae	%dil
	callq	_Assert
	movsd	-16(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	movq	_effective_cache_size@GOTPCREL(%rip), %rax
	cvtsi2sdq	(%rax), %xmm4
	mulsd	%xmm0, %xmm4
	divsd	-24(%rbp), %xmm4                ## 8-byte Folded Reload
	xorps	%xmm1, %xmm1
	roundsd	$10, %xmm4, %xmm1
	movsd	LCPI0_0(%rip), %xmm2            ## xmm2 = mem[0],zero
	cmpnlesd	%xmm2, %xmm4
	andpd	%xmm4, %xmm1
	andnpd	%xmm2, %xmm4
	orpd	%xmm1, %xmm4
	ucomisd	%xmm0, %xmm4
	movapd	%xmm0, %xmm1
	addsd	%xmm0, %xmm1
	jae	LBB0_1
## %bb.3:
	movapd	%xmm1, %xmm2
	mulsd	%xmm4, %xmm2
	movapd	%xmm1, %xmm3
	subsd	%xmm4, %xmm3
	divsd	%xmm3, %xmm2
	movsd	-8(%rbp), %xmm3                 ## 8-byte Reload
                                        ## xmm3 = mem[0],zero
	ucomisd	%xmm3, %xmm2
	jae	LBB0_4
## %bb.5:
	subsd	%xmm2, %xmm3
	movapd	%xmm0, %xmm2
	subsd	%xmm4, %xmm2
	mulsd	%xmm3, %xmm2
	divsd	%xmm0, %xmm2
	addsd	%xmm4, %xmm2
	jmp	LBB0_6
LBB0_1:
	movapd	%xmm1, %xmm3
	movsd	-8(%rbp), %xmm2                 ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
	mulsd	%xmm2, %xmm3
	addsd	%xmm2, %xmm1
	divsd	%xmm1, %xmm3
	ucomisd	%xmm0, %xmm3
	jae	LBB0_7
## %bb.2:
	xorps	%xmm0, %xmm0
	roundsd	$10, %xmm3, %xmm0
	jmp	LBB0_7
LBB0_4:
	movapd	%xmm1, %xmm2
	mulsd	%xmm3, %xmm2
	addsd	%xmm3, %xmm1
	divsd	%xmm1, %xmm2
LBB0_6:
	xorps	%xmm0, %xmm0
	roundsd	$10, %xmm2, %xmm0
LBB0_7:
	addq	$32, %rsp
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_effective_cache_size,8,3       ## @effective_cache_size
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_index_pages_fetched            ; -- Begin function index_pages_fetched
	.p2align	2
_index_pages_fetched:                   ; @index_pages_fetched
	.cfi_startproc
; %bb.0:
	stp	d11, d10, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	d9, d8, [sp, #16]               ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset b8, -24
	.cfi_offset b9, -32
	.cfi_offset b10, -40
	.cfi_offset b11, -48
	fmov	d9, d0
	cmp	w0, #1
	csinc	w8, w0, wzr, gt
	scvtf	d8, w8
	ldr	d0, [x1]
	fadd	d0, d0, d1
	fmov	d11, #1.00000000
	fmov	d1, #1.00000000
	bl	_Max
	fmov	d10, d0
	fcmp	d0, d8
	cset	w0, ge
	bl	_Assert
Lloh0:
	adrp	x8, _effective_cache_size@GOTPAGE
Lloh1:
	ldr	x8, [x8, _effective_cache_size@GOTPAGEOFF]
Lloh2:
	ldr	d0, [x8]
	scvtf	d0, d0
	fmul	d0, d8, d0
	fdiv	d0, d0, d10
	frintp	d1, d0
	fcmp	d0, d11
	fcsel	d0, d1, d11, hi
	fadd	d1, d8, d8
	fcmp	d0, d8
	b.ge	LBB0_3
; %bb.1:
	fmul	d3, d1, d0
	fmov	d2, #2.00000000
	fnmsub	d4, d8, d2, d0
	fdiv	d3, d3, d4
	fcmp	d3, d9
	b.ge	LBB0_5
; %bb.2:
	fsub	d1, d9, d3
	fsub	d2, d8, d0
	fmul	d1, d2, d1
	fdiv	d1, d1, d8
	fadd	d0, d0, d1
	b	LBB0_6
LBB0_3:
	fmul	d0, d1, d9
	fmov	d1, #2.00000000
	fmadd	d1, d8, d1, d9
	fdiv	d0, d0, d1
	fcmp	d0, d8
	b.lt	LBB0_6
; %bb.4:
	fmov	d0, d8
	b	LBB0_7
LBB0_5:
	fmul	d0, d1, d9
	fmadd	d1, d8, d2, d9
	fdiv	d0, d0, d1
LBB0_6:
	frintp	d0, d0
LBB0_7:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	d9, d8, [sp, #16]               ; 16-byte Folded Reload
	ldp	d11, d10, [sp], #48             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_effective_cache_size,8,3       ; @effective_cache_size
.subsections_via_symbols
