	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_cost_seqscan                   ## -- Begin function cost_seqscan
	.p2align	4, 0x90
_cost_seqscan:                          ## @cost_seqscan
	.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	%rcx, %r15
	movq	%rdx, %rbx
	movq	%rsi, %r12
	movq	%rdi, %r14
	xorl	%edi, %edi
	cmpq	$0, (%rdx)
	setg	%dil
	callq	_Assert
	movq	8(%rbx), %rax
	movq	_RTE_RELATION@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpq	(%rcx), %rax
	sete	%dil
	callq	_Assert
	leaq	16(%rbx), %rax
	testq	%r15, %r15
	cmovneq	%r15, %rax
	movsd	(%rax), %xmm0                   ## xmm0 = mem[0],zero
	movsd	%xmm0, (%r14)
	movq	_enable_seqscan@GOTPCREL(%rip), %rax
	movl	(%rax), %r13d
	movq	_disable_cost@GOTPCREL(%rip), %rax
	movsd	(%rax), %xmm0                   ## xmm0 = mem[0],zero
	movsd	%xmm0, -72(%rbp)                ## 8-byte Spill
	movl	40(%rbx), %edi
	leaq	-96(%rbp), %rdx
	xorl	%esi, %esi
	callq	_get_tablespace_page_costs
	movsd	-96(%rbp), %xmm0                ## xmm0 = mem[0],zero
	movsd	%xmm0, -88(%rbp)                ## 8-byte Spill
	movsd	24(%rbx), %xmm0                 ## xmm0 = mem[0],zero
	movsd	%xmm0, -80(%rbp)                ## 8-byte Spill
	leaq	-112(%rbp), %rcx
	movq	%r12, %rdi
	movq	%rbx, %rsi
	movq	%r15, %rdx
	callq	_get_restriction_qual_cost
	movsd	-112(%rbp), %xmm0               ## xmm0 = mem[0],zero
	movsd	%xmm0, -64(%rbp)                ## 8-byte Spill
	movq	_cpu_tuple_cost@GOTPCREL(%rip), %rax
	movsd	(%rax), %xmm0                   ## xmm0 = mem[0],zero
	addsd	-104(%rbp), %xmm0
	mulsd	32(%rbx), %xmm0
	movq	32(%r14), %rax
	movsd	8(%rax), %xmm2                  ## xmm2 = mem[0],zero
	mulsd	(%r14), %xmm2
	movsd	(%rax), %xmm1                   ## xmm1 = mem[0],zero
	movsd	%xmm1, -56(%rbp)                ## 8-byte Spill
	addsd	%xmm0, %xmm2
	cmpq	$0, 8(%r14)
	movsd	%xmm2, -48(%rbp)                ## 8-byte Spill
	jle	LBB0_2
## %bb.1:
	movq	%r14, %rdi
	callq	_get_parallel_divisor
	movsd	-48(%rbp), %xmm1                ## 8-byte Reload
                                        ## xmm1 = mem[0],zero
	divsd	%xmm0, %xmm1
	movsd	%xmm1, -48(%rbp)                ## 8-byte Spill
	movsd	(%r14), %xmm1                   ## xmm1 = mem[0],zero
	divsd	%xmm0, %xmm1
	movapd	%xmm1, %xmm0
	callq	_clamp_row_est
	movsd	%xmm0, (%r14)
LBB0_2:
	xorpd	%xmm0, %xmm0
	testl	%r13d, %r13d
	jne	LBB0_4
## %bb.3:
	addsd	-72(%rbp), %xmm0                ## 8-byte Folded Reload
LBB0_4:
	movsd	-64(%rbp), %xmm1                ## 8-byte Reload
                                        ## xmm1 = mem[0],zero
	movsd	-48(%rbp), %xmm2                ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
	movsd	-56(%rbp), %xmm3                ## 8-byte Reload
                                        ## xmm3 = mem[0],zero
	addsd	%xmm1, %xmm0
	addsd	%xmm3, %xmm0
	movsd	-88(%rbp), %xmm1                ## 8-byte Reload
                                        ## xmm1 = mem[0],zero
	mulsd	-80(%rbp), %xmm1                ## 8-byte Folded Reload
	movsd	%xmm0, 16(%r14)
	addsd	%xmm2, %xmm0
	addsd	%xmm1, %xmm0
	movsd	%xmm0, 24(%r14)
	addq	$72, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_RTE_RELATION,8,3               ## @RTE_RELATION
	.comm	_enable_seqscan,4,2             ## @enable_seqscan
	.comm	_disable_cost,8,3               ## @disable_cost
	.comm	_cpu_tuple_cost,8,3             ## @cpu_tuple_cost
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_cost_seqscan                   ; -- Begin function cost_seqscan
	.p2align	2
_cost_seqscan:                          ; @cost_seqscan
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #144
	.cfi_def_cfa_offset 144
	stp	d13, d12, [sp, #32]             ; 16-byte Folded Spill
	stp	d11, d10, [sp, #48]             ; 16-byte Folded Spill
	stp	d9, d8, [sp, #64]               ; 16-byte Folded Spill
	stp	x24, x23, [sp, #80]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #96]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #112]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #128]            ; 16-byte Folded Spill
	add	x29, sp, #128
	.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 b8, -72
	.cfi_offset b9, -80
	.cfi_offset b10, -88
	.cfi_offset b11, -96
	.cfi_offset b12, -104
	.cfi_offset b13, -112
	mov	x20, x3
	mov	x21, x2
	mov	x22, x1
	mov	x19, x0
	ldr	x8, [x2]
	cmp	x8, #0
	cset	w0, gt
	bl	_Assert
	ldr	x8, [x21, #8]
Lloh0:
	adrp	x9, _RTE_RELATION@GOTPAGE
Lloh1:
	ldr	x9, [x9, _RTE_RELATION@GOTPAGEOFF]
Lloh2:
	ldr	x9, [x9]
	cmp	x8, x9
	cset	w0, eq
	bl	_Assert
	add	x8, x21, #16
	cmp	x20, #0
	csel	x8, x8, x20, eq
	ldr	d0, [x8]
Lloh3:
	adrp	x8, _enable_seqscan@GOTPAGE
Lloh4:
	ldr	x8, [x8, _enable_seqscan@GOTPAGEOFF]
	str	d0, [x19]
Lloh5:
	ldr	w23, [x8]
Lloh6:
	adrp	x8, _disable_cost@GOTPAGE
Lloh7:
	ldr	x8, [x8, _disable_cost@GOTPAGEOFF]
Lloh8:
	ldr	d8, [x8]
	ldr	w0, [x21, #40]
	add	x2, sp, #24
	mov	x1, #0
	bl	_get_tablespace_page_costs
	ldr	d9, [sp, #24]
	ldr	d10, [x21, #24]
	add	x3, sp, #8
	mov	x0, x22
	mov	x1, x21
	mov	x2, x20
	bl	_get_restriction_qual_cost
Lloh9:
	adrp	x8, _cpu_tuple_cost@GOTPAGE
Lloh10:
	ldr	x8, [x8, _cpu_tuple_cost@GOTPAGEOFF]
Lloh11:
	ldr	d0, [x8]
	ldp	d11, d1, [sp, #8]
	fadd	d0, d0, d1
	ldr	d1, [x21, #32]
	fmul	d0, d0, d1
	ldr	x8, [x19, #32]
	ldp	d12, d1, [x8]
	ldr	d2, [x19]
	fmadd	d13, d1, d2, d0
	ldr	x8, [x19, #8]
	cmp	x8, #1
	b.lt	LBB0_2
; %bb.1:
	mov	x0, x19
	bl	_get_parallel_divisor
	fdiv	d13, d13, d0
	ldr	d1, [x19]
	fdiv	d0, d1, d0
	bl	_clamp_row_est
	str	d0, [x19]
LBB0_2:
	movi	d0, #0000000000000000
	fadd	d1, d8, d0
	cmp	w23, #0
	fcsel	d0, d1, d0, eq
	fadd	d0, d0, d11
	fadd	d0, d0, d12
	fmul	d1, d9, d10
	fadd	d2, d0, d13
	fadd	d1, d1, d2
	stp	d0, d1, [x19, #16]
	ldp	x29, x30, [sp, #128]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #112]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #96]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #80]             ; 16-byte Folded Reload
	ldp	d9, d8, [sp, #64]               ; 16-byte Folded Reload
	ldp	d11, d10, [sp, #48]             ; 16-byte Folded Reload
	ldp	d13, d12, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #144
	ret
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_RTE_RELATION,8,3               ; @RTE_RELATION
	.comm	_enable_seqscan,4,2             ; @enable_seqscan
	.comm	_disable_cost,8,3               ; @disable_cost
	.comm	_cpu_tuple_cost,8,3             ; @cpu_tuple_cost
.subsections_via_symbols
