	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function HeapTupleSatisfiesHistoricMVCC
_HeapTupleSatisfiesHistoricMVCC:        ## @HeapTupleSatisfiesHistoricMVCC
	.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	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%edx, -44(%rbp)                 ## 4-byte Spill
	movq	%rsi, %r15
	movq	%rdi, %rbx
	movq	16(%rdi), %r14
	movq	%r14, %rdi
	callq	_HeapTupleHeaderGetXmin
	movl	%eax, %r13d
	movq	%r14, %rdi
	callq	_HeapTupleHeaderGetRawXmax
	movl	%eax, %r12d
	leaq	8(%rbx), %rdi
	callq	_ItemPointerIsValid
	movl	%eax, %edi
	callq	_Assert
	movq	(%rbx), %rax
	movq	_InvalidOid@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpq	(%rcx), %rax
	setne	%dil
	callq	_Assert
	movq	%r14, %rdi
	callq	_HeapTupleHeaderXminInvalid
	testq	%rax, %rax
	je	LBB0_4
## %bb.1:
	movl	%r13d, %edi
	callq	_TransactionIdDidCommit
	xorl	%edi, %edi
	testl	%eax, %eax
	sete	%dil
	callq	_Assert
LBB0_2:
	xorl	%r14d, %r14d
LBB0_3:
	movzbl	%r14b, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_4:
	movq	%rbx, -72(%rbp)                 ## 8-byte Spill
	movl	24(%r15), %edx
	movl	28(%r15), %esi
	movl	%r13d, %edi
	callq	_TransactionIdInArray
	testq	%rax, %rax
	je	LBB0_9
## %bb.5:
	movq	%r14, %r13
	movq	%r14, %rdi
	callq	_HeapTupleHeaderGetRawCommandId
	movq	%rax, -64(%rbp)
	movq	_InvalidCommandId@GOTPCREL(%rip), %r14
	movq	(%r14), %rax
	movq	%rax, -56(%rbp)
	xorl	%eax, %eax
	callq	_HistoricSnapshotGetTupleCids
	leaq	-64(%rbp), %r8
	leaq	-56(%rbp), %r9
	movl	%eax, %edi
	movq	%r15, %rsi
	movq	-72(%rbp), %rdx                 ## 8-byte Reload
	movl	-44(%rbp), %ecx                 ## 4-byte Reload
	callq	_ResolveCminCmaxDuringDecoding
	testl	%eax, %eax
	jne	LBB0_7
## %bb.6:
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str(%rip), %rsi
	callq	_elog
LBB0_7:
	movq	-64(%rbp), %rax
	xorl	%edi, %edi
	cmpq	(%r14), %rax
	setne	%dil
	callq	_Assert
	movq	-64(%rbp), %rax
	cmpq	(%r15), %rax
	jge	LBB0_2
	jmp	LBB0_19
LBB0_9:
	movl	%r13d, %ebx
	movl	20(%r15), %esi
	movl	%r13d, %edi
	callq	_TransactionIdPrecedes
	testq	%rax, %rax
	je	LBB0_12
## %bb.10:
	movq	%r14, %r13
	movq	%r14, %rdi
	callq	_HeapTupleHeaderXminCommitted
	testq	%rax, %rax
	je	LBB0_14
## %bb.11:
	movl	%ebx, %edi
	callq	_TransactionIdDidCommit
	xorl	%edi, %edi
	testl	%eax, %eax
	setne	%dil
	jmp	LBB0_15
LBB0_12:
	movl	16(%r15), %esi
	movl	%ebx, %edi
	callq	_TransactionIdFollowsOrEquals
	testq	%rax, %rax
	jne	LBB0_2
## %bb.18:
	movq	%r14, %r13
	movl	8(%r15), %edx
	movl	12(%r15), %esi
	movl	%ebx, %edi
	callq	_TransactionIdInArray
	testq	%rax, %rax
	jne	LBB0_19
	jmp	LBB0_2
LBB0_14:
	movl	$1, %edi
LBB0_15:
	callq	_Assert
	movq	%r13, %rdi
	callq	_HeapTupleHeaderXminCommitted
	testq	%rax, %rax
	jne	LBB0_19
## %bb.16:
	movl	%ebx, %edi
	callq	_TransactionIdDidCommit
	testl	%eax, %eax
	je	LBB0_2
LBB0_19:
	movl	(%r13), %edi
	movq	_HEAP_XMAX_INVALID@GOTPCREL(%rip), %rax
	movb	$1, %r14b
	testl	%edi, (%rax)
	jne	LBB0_3
## %bb.20:
	callq	_HEAP_XMAX_IS_LOCKED_ONLY
	testq	%rax, %rax
	jne	LBB0_3
## %bb.21:
	movq	_HEAP_XMAX_IS_MULTI@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	testl	%eax, (%r13)
	je	LBB0_23
## %bb.22:
	movq	%r15, %rbx
	movq	%r13, %rdi
	callq	_HeapTupleGetUpdateXid
	movl	%eax, %edi
	jmp	LBB0_24
LBB0_23:
	movq	%r15, %rbx
	movl	%r12d, %edi
LBB0_24:
	movl	-44(%rbp), %r15d                ## 4-byte Reload
	movq	%rbx, %r12
	movl	24(%rbx), %edx
	movl	28(%rbx), %esi
	movl	%edi, %ebx
	callq	_TransactionIdInArray
	testq	%rax, %rax
	je	LBB0_28
## %bb.25:
	movq	%r13, %rdi
	callq	_HeapTupleHeaderGetRawCommandId
	movq	%rax, -56(%rbp)
	xorl	%eax, %eax
	callq	_HistoricSnapshotGetTupleCids
	leaq	-64(%rbp), %r8
	leaq	-56(%rbp), %r9
	movl	%eax, %edi
	movq	%r12, %rsi
	movq	-72(%rbp), %rdx                 ## 8-byte Reload
	movl	%r15d, %ecx
	callq	_ResolveCminCmaxDuringDecoding
	testl	%eax, %eax
	jne	LBB0_27
## %bb.26:
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.1(%rip), %rsi
	callq	_elog
LBB0_27:
	movq	-56(%rbp), %rax
	movq	_InvalidCommandId@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpq	(%rcx), %rax
	setne	%dil
	callq	_Assert
	movq	-56(%rbp), %rax
	cmpq	(%r12), %rax
	setge	%r14b
	jmp	LBB0_3
LBB0_28:
	movl	20(%r12), %esi
	movl	%ebx, %edi
	callq	_TransactionIdPrecedes
	testq	%rax, %rax
	je	LBB0_32
## %bb.29:
	movq	_HEAP_XMAX_COMMITTED@GOTPCREL(%rip), %r14
	movl	(%r14), %eax
	testl	%eax, (%r13)
	je	LBB0_34
## %bb.30:
	movl	%ebx, %edi
	callq	_TransactionIdDidCommit
	xorl	%edi, %edi
	testl	%eax, %eax
	setne	%dil
	jmp	LBB0_35
LBB0_32:
	movl	16(%r12), %esi
	movl	%ebx, %edi
	callq	_TransactionIdFollowsOrEquals
	testq	%rax, %rax
	jne	LBB0_3
## %bb.33:
	movl	8(%r12), %edx
	movl	12(%r12), %esi
	movl	%ebx, %edi
	callq	_TransactionIdInArray
	testq	%rax, %rax
	jmp	LBB0_38
LBB0_34:
	movl	$1, %edi
LBB0_35:
	callq	_Assert
	movl	(%r14), %eax
	testl	%eax, (%r13)
	jne	LBB0_2
## %bb.37:
	movl	%ebx, %edi
	callq	_TransactionIdDidCommit
	testl	%eax, %eax
LBB0_38:
	sete	%r14b
	jmp	LBB0_3
	.cfi_endproc
                                        ## -- End function
	.comm	_InvalidOid,8,3                 ## @InvalidOid
	.comm	_InvalidCommandId,8,3           ## @InvalidCommandId
	.comm	_ERROR,4,2                      ## @ERROR
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"could not resolve cmin/cmax of catalog tuple"

	.comm	_HEAP_XMAX_INVALID,4,2          ## @HEAP_XMAX_INVALID
	.comm	_HEAP_XMAX_IS_MULTI,4,2         ## @HEAP_XMAX_IS_MULTI
L_.str.1:                               ## @.str.1
	.asciz	"could not resolve combocid to cmax"

	.comm	_HEAP_XMAX_COMMITTED,4,2        ## @HEAP_XMAX_COMMITTED
	.no_dead_strip	_HeapTupleSatisfiesHistoricMVCC
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function HeapTupleSatisfiesHistoricMVCC
_HeapTupleSatisfiesHistoricMVCC:        ; @HeapTupleSatisfiesHistoricMVCC
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x24, x23, [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 w23, -56
	.cfi_offset w24, -64
	mov	x22, x2
	mov	x19, x1
	mov	x23, x0
	ldr	x21, [x0, #16]
	mov	x0, x21
	bl	_HeapTupleHeaderGetXmin
	mov	x24, x0
	mov	x0, x21
	bl	_HeapTupleHeaderGetRawXmax
	mov	x20, x0
	add	x0, x23, #8
	bl	_ItemPointerIsValid
	bl	_Assert
	ldr	x8, [x23]
Lloh0:
	adrp	x9, _InvalidOid@GOTPAGE
Lloh1:
	ldr	x9, [x9, _InvalidOid@GOTPAGEOFF]
Lloh2:
	ldr	x9, [x9]
	cmp	x8, x9
	cset	w0, ne
	bl	_Assert
	mov	x0, x21
	bl	_HeapTupleHeaderXminInvalid
	cbz	x0, LBB0_4
; %bb.1:
	mov	x0, x24
	bl	_TransactionIdDidCommit
	cmp	w0, #0
	cset	w0, eq
	bl	_Assert
LBB0_2:
	mov	w0, #0
LBB0_3:
	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	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
LBB0_4:
	ldp	w2, w1, [x19, #24]
	mov	x0, x24
	bl	_TransactionIdInArray
	cbz	x0, LBB0_8
; %bb.5:
	mov	x0, x21
	bl	_HeapTupleHeaderGetRawCommandId
	str	x0, [sp, #8]
Lloh3:
	adrp	x24, _InvalidCommandId@GOTPAGE
Lloh4:
	ldr	x24, [x24, _InvalidCommandId@GOTPAGEOFF]
	ldr	x8, [x24]
	str	x8, [sp]
	bl	_HistoricSnapshotGetTupleCids
	add	x4, sp, #8
	mov	x5, sp
	mov	x1, x19
	mov	x2, x23
	mov	x3, x22
	bl	_ResolveCminCmaxDuringDecoding
	cbnz	w0, LBB0_7
; %bb.6:
Lloh5:
	adrp	x8, _ERROR@GOTPAGE
Lloh6:
	ldr	x8, [x8, _ERROR@GOTPAGEOFF]
Lloh7:
	ldr	w0, [x8]
Lloh8:
	adrp	x1, l_.str@PAGE
Lloh9:
	add	x1, x1, l_.str@PAGEOFF
	bl	_elog
LBB0_7:
	ldr	x8, [sp, #8]
	ldr	x9, [x24]
	cmp	x8, x9
	cset	w0, ne
	bl	_Assert
	ldr	x8, [sp, #8]
	ldr	x9, [x19]
	cmp	x8, x9
	b.ge	LBB0_2
	b	LBB0_16
LBB0_8:
	ldr	w1, [x19, #20]
	mov	x0, x24
	bl	_TransactionIdPrecedes
	cbz	x0, LBB0_11
; %bb.9:
	mov	x0, x21
	bl	_HeapTupleHeaderXminCommitted
	cbz	x0, LBB0_13
; %bb.10:
	mov	x0, x24
	bl	_TransactionIdDidCommit
	cmp	w0, #0
	cset	w0, ne
	b	LBB0_14
LBB0_11:
	ldr	w1, [x19, #16]
	mov	x0, x24
	bl	_TransactionIdFollowsOrEquals
	cbnz	x0, LBB0_2
; %bb.12:
	ldp	w2, w1, [x19, #8]
	mov	x0, x24
	bl	_TransactionIdInArray
	cbnz	x0, LBB0_16
	b	LBB0_3
LBB0_13:
	mov	w0, #1
LBB0_14:
	bl	_Assert
	mov	x0, x21
	bl	_HeapTupleHeaderXminCommitted
	cbnz	x0, LBB0_16
; %bb.15:
	mov	x0, x24
	bl	_TransactionIdDidCommit
	cbz	w0, LBB0_3
LBB0_16:
	ldr	w0, [x21]
Lloh10:
	adrp	x8, _HEAP_XMAX_INVALID@GOTPAGE
Lloh11:
	ldr	x8, [x8, _HEAP_XMAX_INVALID@GOTPAGEOFF]
Lloh12:
	ldr	w8, [x8]
	tst	w8, w0
	b.ne	LBB0_18
; %bb.17:
	bl	_HEAP_XMAX_IS_LOCKED_ONLY
	cbz	x0, LBB0_19
LBB0_18:
	mov	w0, #1
	b	LBB0_3
LBB0_19:
	ldr	w8, [x21]
Lloh13:
	adrp	x9, _HEAP_XMAX_IS_MULTI@GOTPAGE
Lloh14:
	ldr	x9, [x9, _HEAP_XMAX_IS_MULTI@GOTPAGEOFF]
Lloh15:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_21
; %bb.20:
	mov	x0, x21
	bl	_HeapTupleGetUpdateXid
	mov	x20, x0
LBB0_21:
	ldp	w2, w1, [x19, #24]
	mov	x0, x20
	bl	_TransactionIdInArray
	cbz	x0, LBB0_25
; %bb.22:
	mov	x0, x21
	bl	_HeapTupleHeaderGetRawCommandId
	str	x0, [sp]
	bl	_HistoricSnapshotGetTupleCids
	add	x4, sp, #8
	mov	x5, sp
	mov	x1, x19
	mov	x2, x23
	mov	x3, x22
	bl	_ResolveCminCmaxDuringDecoding
	cbnz	w0, LBB0_24
; %bb.23:
Lloh16:
	adrp	x8, _ERROR@GOTPAGE
Lloh17:
	ldr	x8, [x8, _ERROR@GOTPAGEOFF]
Lloh18:
	ldr	w0, [x8]
Lloh19:
	adrp	x1, l_.str.1@PAGE
Lloh20:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_elog
LBB0_24:
	ldr	x8, [sp]
Lloh21:
	adrp	x9, _InvalidCommandId@GOTPAGE
Lloh22:
	ldr	x9, [x9, _InvalidCommandId@GOTPAGEOFF]
Lloh23:
	ldr	x9, [x9]
	cmp	x8, x9
	cset	w0, ne
	bl	_Assert
	ldr	x8, [sp]
	ldr	x9, [x19]
	cmp	x8, x9
	cset	w0, ge
	b	LBB0_3
LBB0_25:
	ldr	w1, [x19, #20]
	mov	x0, x20
	bl	_TransactionIdPrecedes
	cbz	x0, LBB0_28
; %bb.26:
	ldr	w8, [x21]
Lloh24:
	adrp	x19, _HEAP_XMAX_COMMITTED@GOTPAGE
Lloh25:
	ldr	x19, [x19, _HEAP_XMAX_COMMITTED@GOTPAGEOFF]
	ldr	w9, [x19]
	tst	w9, w8
	b.eq	LBB0_30
; %bb.27:
	mov	x0, x20
	bl	_TransactionIdDidCommit
	cmp	w0, #0
	cset	w0, ne
	b	LBB0_31
LBB0_28:
	ldr	w1, [x19, #16]
	mov	x0, x20
	bl	_TransactionIdFollowsOrEquals
	cbnz	x0, LBB0_18
; %bb.29:
	ldp	w2, w1, [x19, #8]
	mov	x0, x20
	bl	_TransactionIdInArray
	cmp	x0, #0
	b	LBB0_33
LBB0_30:
	mov	w0, #1
LBB0_31:
	bl	_Assert
	ldr	w8, [x21]
	ldr	w9, [x19]
	tst	w9, w8
	b.ne	LBB0_2
; %bb.32:
	mov	x0, x20
	bl	_TransactionIdDidCommit
	cmp	w0, #0
LBB0_33:
	cset	w0, eq
	b	LBB0_3
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpLdrGot	Lloh24, Lloh25
	.cfi_endproc
                                        ; -- End function
	.comm	_InvalidOid,8,3                 ; @InvalidOid
	.comm	_InvalidCommandId,8,3           ; @InvalidCommandId
	.comm	_ERROR,4,2                      ; @ERROR
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"could not resolve cmin/cmax of catalog tuple"

	.comm	_HEAP_XMAX_INVALID,4,2          ; @HEAP_XMAX_INVALID
	.comm	_HEAP_XMAX_IS_MULTI,4,2         ; @HEAP_XMAX_IS_MULTI
l_.str.1:                               ; @.str.1
	.asciz	"could not resolve combocid to cmax"

	.comm	_HEAP_XMAX_COMMITTED,4,2        ; @HEAP_XMAX_COMMITTED
	.no_dead_strip	_HeapTupleSatisfiesHistoricMVCC
.subsections_via_symbols
