	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function check_exclusion_or_unique_constraint
_check_exclusion_or_unique_constraint:  ## @check_exclusion_or_unique_constraint
	.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	$152, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%r9, %rbx
	movq	%r8, %r14
	movq	%rcx, -72(%rbp)                 ## 8-byte Spill
	movq	%rdx, %r15
	movq	%rdi, -96(%rbp)                 ## 8-byte Spill
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	(%rsi), %r13
	movq	%rsi, -88(%rbp)                 ## 8-byte Spill
	movq	%rsi, %rdi
	callq	_IndexRelationGetNumberOfKeyAttributes
	movl	%eax, %r12d
	movq	_INDEX_MAX_KEYS@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	shlq	$2, %rax
	callq	____chkstk_darwin
	movl	%r12d, %ecx
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -160(%rbp)                ## 8-byte Spill
	xorl	%eax, %eax
	cmpq	$0, (%r15)
	setne	%al
	shlq	$4, %rax
	movq	16(%rax,%r15), %r12
	testl	%ecx, %ecx
	movq	%r14, -144(%rbp)                ## 8-byte Spill
	jle	LBB0_6
## %bb.1:
	movq	%r13, %r14
	movq	8(%rax,%r15), %rdx
	movl	%ecx, %r13d
	xorl	%eax, %eax
	.p2align	4, 0x90
LBB0_2:                                 ## =>This Inner Loop Header: Depth=1
	cmpl	$0, (%rbx,%rax,4)
	jne	LBB0_41
## %bb.3:                               ##   in Loop: Header=BB0_2 Depth=1
	incq	%rax
	cmpq	%rax, %r13
	jne	LBB0_2
## %bb.4:
	movl	%ecx, -100(%rbp)                ## 4-byte Spill
	movq	%r15, -136(%rbp)                ## 8-byte Spill
	movq	%rbx, -168(%rbp)                ## 8-byte Spill
	movq	%r12, -152(%rbp)                ## 8-byte Spill
	movq	%rdx, -56(%rbp)                 ## 8-byte Spill
	callq	_InitDirtySnapshot
	xorl	%eax, %eax
	movq	-160(%rbp), %rbx                ## 8-byte Reload
	movq	-144(%rbp), %r15                ## 8-byte Reload
	movq	%r14, %r12
	.p2align	4, 0x90
LBB0_5:                                 ## =>This Inner Loop Header: Depth=1
	leaq	1(%rax), %r14
	movq	-56(%rbp), %rcx                 ## 8-byte Reload
	movl	(%rcx,%rax,4), %ecx
	movq	_InvalidOid@GOTPCREL(%rip), %rdx
	movl	(%rdx), %r8d
	movl	(%r12,%rax,4), %r9d
	movq	-152(%rbp), %rdx                ## 8-byte Reload
	movl	(%rdx,%rax,4), %r10d
	movl	(%r15,%rax,4), %eax
	movq	%rbx, %rdi
	xorl	%esi, %esi
	movl	%r14d, %edx
	pushq	%rax
	pushq	%r10
	callq	_ScanKeyEntryInitialize
	addq	$16, %rsp
	addq	$4, %rbx
	movq	%r14, %rax
	cmpq	%r14, %r13
	jne	LBB0_5
	jmp	LBB0_7
LBB0_6:
	movl	%ecx, -100(%rbp)                ## 4-byte Spill
	movq	%r15, -136(%rbp)                ## 8-byte Spill
	movq	%rbx, -168(%rbp)                ## 8-byte Spill
	movq	%r12, -152(%rbp)                ## 8-byte Spill
	callq	_InitDirtySnapshot
LBB0_7:
	movq	16(%rbp), %rbx
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdi
	xorl	%esi, %esi
	callq	_table_slot_create
	movq	%rax, %r15
	movq	%rbx, %rdi
	callq	_GetPerTupleExprContext
	movq	(%rax), %rcx
	movq	%rcx, -176(%rbp)                ## 8-byte Spill
	movq	%rax, -184(%rbp)                ## 8-byte Spill
	movq	%r15, (%rax)
	leaq	-128(%rbp), %rdx
	movq	_ForwardScanDirection@GOTPCREL(%rip), %rbx
	movq	-72(%rbp), %r12                 ## 8-byte Reload
	movq	%r15, -64(%rbp)                 ## 8-byte Spill
LBB0_8:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_14 Depth 2
	movq	%r14, %rdi
	movq	-88(%rbp), %rsi                 ## 8-byte Reload
	movl	-100(%rbp), %r14d               ## 4-byte Reload
	movl	%r14d, %ecx
	xorl	%r8d, %r8d
	callq	_index_beginscan
	movq	%rax, %r13
	movq	%rax, %rdi
	movq	-160(%rbp), %rsi                ## 8-byte Reload
	movl	%r14d, %edx
	xorl	%ecx, %ecx
	xorl	%r8d, %r8d
	callq	_index_rescan
	movl	(%rbx), %esi
	movq	%r13, -112(%rbp)                ## 8-byte Spill
	movq	%r13, %rdi
	movq	%r15, %rdx
	callq	_index_getnext_slot
	testq	%rax, %rax
	sete	%r14b
	je	LBB0_48
## %bb.9:                               ##   in Loop: Header=BB0_8 Depth=1
	movl	$0, -76(%rbp)                   ## 4-byte Folded Spill
	jmp	LBB0_14
LBB0_10:                                ##   in Loop: Header=BB0_14 Depth=2
	leaq	L_.str.3(%rip), %rdi
LBB0_11:                                ##   in Loop: Header=BB0_14 Depth=2
	xorl	%eax, %eax
	callq	_errdetail
LBB0_12:                                ##   in Loop: Header=BB0_14 Depth=2
	movq	-72(%rbp), %r12                 ## 8-byte Reload
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	callq	_RelationGetRelationName
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	movl	%eax, %esi
	callq	_errtableconstraint
	movl	%r15d, %edi
	movl	%eax, %esi
	callq	_ereport
LBB0_13:                                ##   in Loop: Header=BB0_14 Depth=2
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	movq	%rax, %rsp
	movl	(%r14), %esi
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	movq	%rbx, %rdx
	callq	_index_getnext_slot
	testq	%rax, %rax
	sete	%r14b
	je	LBB0_45
LBB0_14:                                ##   Parent Loop BB0_8 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	%rsp, -56(%rbp)                 ## 8-byte Spill
	movq	_INDEX_MAX_KEYS@GOTPCREL(%rip), %rbx
	movl	(%rbx), %eax
	shlq	$2, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r15
	movl	(%rbx), %eax
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	shlq	$2, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r13
	movq	%r12, %rdi
	callq	_ItemPointerIsValid
	testq	%rax, %rax
	je	LBB0_18
## %bb.15:                              ##   in Loop: Header=BB0_14 Depth=2
	movq	%r12, %rdi
	movq	%rbx, %rsi
	callq	_ItemPointerEquals
	testq	%rax, %rax
	je	LBB0_18
## %bb.16:                              ##   in Loop: Header=BB0_14 Depth=2
	cmpl	$0, -76(%rbp)                   ## 4-byte Folded Reload
	je	LBB0_34
## %bb.17:                              ##   in Loop: Header=BB0_14 Depth=2
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	callq	_RelationGetRelationName
	movl	%ebx, %edi
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	leaq	L_.str(%rip), %rsi
	movl	%eax, %edx
	callq	_elog
LBB0_34:                                ##   in Loop: Header=BB0_14 Depth=2
	movl	$1, -76(%rbp)                   ## 4-byte Folded Spill
	jmp	LBB0_35
	.p2align	4, 0x90
LBB0_18:                                ##   in Loop: Header=BB0_14 Depth=2
	movq	-136(%rbp), %rdi                ## 8-byte Reload
	movq	%rbx, %rsi
	movq	16(%rbp), %rdx
	movq	%r15, %rcx
	movq	%r13, %r8
	callq	_FormIndexDatum
	movq	-112(%rbp), %rax                ## 8-byte Reload
	cmpq	$0, (%rax)
	je	LBB0_20
## %bb.19:                              ##   in Loop: Header=BB0_14 Depth=2
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	movq	-152(%rbp), %rsi                ## 8-byte Reload
	movq	%r15, %rdx
	movq	%r13, %rcx
	movq	-144(%rbp), %r8                 ## 8-byte Reload
	callq	_index_recheck_constraint
	testl	%eax, %eax
	je	LBB0_35
LBB0_20:                                ##   in Loop: Header=BB0_14 Depth=2
	movl	-120(%rbp), %edi
	callq	_TransactionIdIsValid
	testq	%rax, %rax
	leaq	-120(%rbp), %rax
	leaq	-116(%rbp), %rcx
	cmoveq	%rcx, %rax
	movl	(%rax), %r12d
	movl	%r12d, %edi
	callq	_TransactionIdIsValid
	testq	%rax, %rax
	je	LBB0_25
## %bb.21:                              ##   in Loop: Header=BB0_14 Depth=2
	movq	32(%rbp), %rax
	movq	_CEOUC_WAIT@GOTPCREL(%rip), %rcx
	cmpq	%rax, (%rcx)
	je	LBB0_37
## %bb.22:                              ##   in Loop: Header=BB0_14 Depth=2
	movq	32(%rbp), %rax
	movq	_CEOUC_LIVELOCK_PREVENTING_WAIT@GOTPCREL(%rip), %rcx
	cmpq	%rax, (%rcx)
	jne	LBB0_25
## %bb.23:                              ##   in Loop: Header=BB0_14 Depth=2
	cmpq	$0, -128(%rbp)
	je	LBB0_25
## %bb.24:                              ##   in Loop: Header=BB0_14 Depth=2
	xorl	%eax, %eax
	callq	_GetCurrentTransactionId
	movl	%eax, %edi
	movl	%r12d, %esi
	callq	_TransactionIdPrecedes
	testq	%rax, %rax
	jne	LBB0_37
LBB0_25:                                ##   in Loop: Header=BB0_14 Depth=2
	cmpl	$0, 40(%rbp)
	jne	LBB0_42
## %bb.26:                              ##   in Loop: Header=BB0_14 Depth=2
	movq	-88(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdi
	movq	-144(%rbp), %rsi                ## 8-byte Reload
	movq	-168(%rbp), %rdx                ## 8-byte Reload
	callq	_BuildIndexValueDescription
	movq	%rax, %r12
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r13, %rdx
	callq	_BuildIndexValueDescription
	movq	%rax, %rbx
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %r15d
	movq	_ERRCODE_EXCLUSION_VIOLATION@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_errcode
	movq	%r14, %rdi
	callq	_RelationGetRelationName
	cmpl	$0, 24(%rbp)
	je	LBB0_30
## %bb.27:                              ##   in Loop: Header=BB0_14 Depth=2
	leaq	L_.str.1(%rip), %rdi
	movl	%eax, %esi
	callq	_errmsg
	testq	%r12, %r12
	movq	_ForwardScanDirection@GOTPCREL(%rip), %r14
	je	LBB0_10
## %bb.28:                              ##   in Loop: Header=BB0_14 Depth=2
	testq	%rbx, %rbx
	je	LBB0_10
## %bb.29:                              ##   in Loop: Header=BB0_14 Depth=2
	leaq	L_.str.2(%rip), %rdi
	jmp	LBB0_33
	.p2align	4, 0x90
LBB0_35:                                ##   in Loop: Header=BB0_14 Depth=2
	movq	_ForwardScanDirection@GOTPCREL(%rip), %r14
	jmp	LBB0_13
LBB0_30:                                ##   in Loop: Header=BB0_14 Depth=2
	leaq	L_.str.4(%rip), %rdi
	movl	%eax, %esi
	callq	_errmsg
	testq	%r12, %r12
	movq	_ForwardScanDirection@GOTPCREL(%rip), %r14
	je	LBB0_36
## %bb.31:                              ##   in Loop: Header=BB0_14 Depth=2
	testq	%rbx, %rbx
	je	LBB0_36
## %bb.32:                              ##   in Loop: Header=BB0_14 Depth=2
	leaq	L_.str.5(%rip), %rdi
LBB0_33:                                ##   in Loop: Header=BB0_14 Depth=2
	movq	%r12, %rsi
	movq	%rbx, %rdx
	xorl	%eax, %eax
	callq	_errdetail
	jmp	LBB0_12
LBB0_36:                                ##   in Loop: Header=BB0_14 Depth=2
	leaq	L_.str.6(%rip), %rdi
	jmp	LBB0_11
LBB0_37:                                ##   in Loop: Header=BB0_8 Depth=1
	movq	-136(%rbp), %rax                ## 8-byte Reload
	movq	(%rax), %rbx
	movq	_XLTW_RecheckExclusionConstr@GOTPCREL(%rip), %rax
	movl	(%rax), %r15d
	movq	_XLTW_InsertIndex@GOTPCREL(%rip), %rax
	movl	(%rax), %r13d
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_index_endscan
	movq	-128(%rbp), %rsi
	testq	%rsi, %rsi
	je	LBB0_39
## %bb.38:                              ##   in Loop: Header=BB0_8 Depth=1
	movl	-120(%rbp), %edi
	callq	_SpeculativeInsertionWait
	movq	-72(%rbp), %r12                 ## 8-byte Reload
	leaq	-128(%rbp), %rdx
	movq	_ForwardScanDirection@GOTPCREL(%rip), %rbx
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	jmp	LBB0_40
LBB0_39:                                ##   in Loop: Header=BB0_8 Depth=1
	testq	%rbx, %rbx
	cmovel	%r13d, %r15d
	movl	%r12d, %edi
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rsi
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	movl	%r15d, %ecx
	callq	_XactLockTableWait
	movq	-72(%rbp), %r12                 ## 8-byte Reload
	leaq	-128(%rbp), %rdx
	movq	_ForwardScanDirection@GOTPCREL(%rip), %rbx
LBB0_40:                                ##   in Loop: Header=BB0_8 Depth=1
	movq	-56(%rbp), %rsp                 ## 8-byte Reload
	movq	-64(%rbp), %r15                 ## 8-byte Reload
	jmp	LBB0_8
LBB0_41:
	movl	$1, %eax
	jmp	LBB0_46
LBB0_42:
	movq	48(%rbp), %rcx
	testq	%rcx, %rcx
	je	LBB0_44
## %bb.43:
	movl	(%rbx), %eax
	movl	%eax, (%rcx)
LBB0_44:
	movq	-56(%rbp), %rsp                 ## 8-byte Reload
LBB0_45:
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_index_endscan
	movq	-184(%rbp), %rax                ## 8-byte Reload
	movq	-176(%rbp), %rcx                ## 8-byte Reload
	movq	%rcx, (%rax)
	movq	%rbx, %rdi
	callq	_ExecDropSingleTupleTableSlot
	movzbl	%r14b, %eax
	andl	$1, %eax
LBB0_46:
	movq	___stack_chk_guard@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	cmpq	-48(%rbp), %rcx
	jne	LBB0_49
## %bb.47:
	leaq	-40(%rbp), %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_48:
	movq	%r15, %rbx
	jmp	LBB0_45
LBB0_49:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_INDEX_MAX_KEYS,4,2             ## @INDEX_MAX_KEYS
	.comm	_InvalidOid,4,2                 ## @InvalidOid
	.comm	_ForwardScanDirection,4,2       ## @ForwardScanDirection
	.comm	_ERROR,4,2                      ## @ERROR
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"found self tuple multiple times in index \"%s\""

	.comm	_CEOUC_WAIT,8,3                 ## @CEOUC_WAIT
	.comm	_CEOUC_LIVELOCK_PREVENTING_WAIT,8,3 ## @CEOUC_LIVELOCK_PREVENTING_WAIT
	.comm	_XLTW_RecheckExclusionConstr,4,2 ## @XLTW_RecheckExclusionConstr
	.comm	_XLTW_InsertIndex,4,2           ## @XLTW_InsertIndex
	.comm	_ERRCODE_EXCLUSION_VIOLATION,4,2 ## @ERRCODE_EXCLUSION_VIOLATION
L_.str.1:                               ## @.str.1
	.asciz	"could not create exclusion constraint \"%s\""

L_.str.2:                               ## @.str.2
	.asciz	"Key %s conflicts with key %s."

L_.str.3:                               ## @.str.3
	.asciz	"Key conflicts exist."

L_.str.4:                               ## @.str.4
	.asciz	"conflicting key value violates exclusion constraint \"%s\""

L_.str.5:                               ## @.str.5
	.asciz	"Key %s conflicts with existing key %s."

L_.str.6:                               ## @.str.6
	.asciz	"Key conflicts with existing key."

	.no_dead_strip	_check_exclusion_or_unique_constraint
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function check_exclusion_or_unique_constraint
_check_exclusion_or_unique_constraint:  ; @check_exclusion_or_unique_constraint
	.cfi_startproc
; %bb.0:
	stp	x28, x27, [sp, #-96]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.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
	sub	sp, sp, #144
	stur	w7, [x29, #-156]                ; 4-byte Folded Spill
	stur	x6, [x29, #-128]                ; 8-byte Folded Spill
	mov	x25, x5
	mov	x22, x4
	mov	x23, x3
	mov	x19, x2
	stur	x0, [x29, #-152]                ; 8-byte Folded Spill
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
	ldr	x21, [x1]
	stur	x1, [x29, #-112]                ; 8-byte Folded Spill
	mov	x0, x1
	bl	_IndexRelationGetNumberOfKeyAttributes
Lloh3:
	adrp	x8, _INDEX_MAX_KEYS@GOTPAGE
Lloh4:
	ldr	x8, [x8, _INDEX_MAX_KEYS@GOTPAGEOFF]
Lloh5:
	ldr	w8, [x8]
	lsl	x8, x8, #2
	mov	x9, x8
Lloh6:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh7:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	add	x8, x8, #15
	and	x8, x8, #0x7fffffff0
	sub	x8, x9, x8
	stur	x8, [x29, #-184]                ; 8-byte Folded Spill
	mov	sp, x8
	ldr	x8, [x19]
	mov	w9, #24
	mov	w10, #8
	cmp	x8, #0
	csel	x8, x10, x9, eq
	mov	w9, #32
	mov	w10, #16
	csel	x9, x10, x9, eq
	ldr	x28, [x19, x9]
	cmp	w0, #0
	b.le	LBB0_6
; %bb.1:
	ldr	x24, [x19, x8]
	mov	w26, w0
	mov	x8, x26
	mov	x9, x25
LBB0_2:                                 ; =>This Inner Loop Header: Depth=1
	ldr	w10, [x9]
	cbnz	w10, LBB0_39
; %bb.3:                                ;   in Loop: Header=BB0_2 Depth=1
	add	x9, x9, #4
	subs	x8, x8, #1
	b.ne	LBB0_2
; %bb.4:
	stur	w0, [x29, #-188]                ; 4-byte Folded Spill
	stur	x19, [x29, #-136]               ; 8-byte Folded Spill
	bl	_InitDirtySnapshot
	mov	x8, #0
Lloh8:
	adrp	x27, _InvalidOid@GOTPAGE
Lloh9:
	ldr	x27, [x27, _InvalidOid@GOTPAGEOFF]
	ldur	x19, [x29, #-184]               ; 8-byte Folded Reload
LBB0_5:                                 ; =>This Inner Loop Header: Depth=1
	add	x20, x8, #1
	lsl	x8, x8, #2
	ldr	w3, [x24, x8]
	ldr	w4, [x27]
	ldr	w5, [x21, x8]
	ldr	w6, [x28, x8]
	ldr	w7, [x22, x8]
	mov	x0, x19
	mov	w1, #0
	mov	x2, x20
	bl	_ScanKeyEntryInitialize
	add	x19, x19, #4
	mov	x8, x20
	cmp	x26, x20
	b.ne	LBB0_5
	b	LBB0_7
LBB0_6:
	stur	w0, [x29, #-188]                ; 4-byte Folded Spill
	stur	x19, [x29, #-136]               ; 8-byte Folded Spill
	bl	_InitDirtySnapshot
LBB0_7:
	stp	x28, x25, [x29, #-176]          ; 16-byte Folded Spill
	ldr	x8, [x29, #32]
	stur	x8, [x29, #-216]                ; 8-byte Folded Spill
	ldr	w8, [x29, #24]
	stur	w8, [x29, #-160]                ; 4-byte Folded Spill
	ldr	x8, [x29, #16]
	stur	x8, [x29, #-144]                ; 8-byte Folded Spill
	ldur	x19, [x29, #-152]               ; 8-byte Folded Reload
	mov	x0, x19
	mov	x1, #0
	bl	_table_slot_create
	mov	x27, x0
	ldur	x0, [x29, #-128]                ; 8-byte Folded Reload
	bl	_GetPerTupleExprContext
Lloh10:
	adrp	x25, _ForwardScanDirection@GOTPAGE
Lloh11:
	ldr	x25, [x25, _ForwardScanDirection@GOTPAGEOFF]
	ldr	x8, [x0]
	stp	x8, x0, [x29, #-208]            ; 16-byte Folded Spill
	str	x27, [x0]
LBB0_8:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_14 Depth 2
	sub	x2, x29, #104
	mov	x0, x19
	ldur	x1, [x29, #-112]                ; 8-byte Folded Reload
	ldur	w20, [x29, #-188]               ; 4-byte Folded Reload
	mov	x3, x20
	mov	w4, #0
	bl	_index_beginscan
	mov	x19, x0
	ldur	x1, [x29, #-184]                ; 8-byte Folded Reload
	mov	x2, x20
	mov	x3, #0
	mov	w4, #0
	bl	_index_rescan
	ldr	w1, [x25]
	mov	x0, x19
	mov	x2, x27
	bl	_index_getnext_slot
	cmp	x0, #0
	cset	w28, eq
	cbz	x0, LBB0_43
; %bb.9:                                ;   in Loop: Header=BB0_8 Depth=1
	stur	wzr, [x29, #-116]               ; 4-byte Folded Spill
	b	LBB0_14
LBB0_10:                                ;   in Loop: Header=BB0_14 Depth=2
Lloh12:
	adrp	x0, l_.str.3@PAGE
Lloh13:
	add	x0, x0, l_.str.3@PAGEOFF
LBB0_11:                                ;   in Loop: Header=BB0_14 Depth=2
	bl	_errdetail
LBB0_12:                                ;   in Loop: Header=BB0_14 Depth=2
Lloh14:
	adrp	x25, _ForwardScanDirection@GOTPAGE
Lloh15:
	ldr	x25, [x25, _ForwardScanDirection@GOTPAGEOFF]
	ldur	x0, [x29, #-112]                ; 8-byte Folded Reload
	bl	_RelationGetRelationName
	mov	x1, x0
	ldur	x0, [x29, #-152]                ; 8-byte Folded Reload
	bl	_errtableconstraint
	mov	x1, x0
	mov	x0, x21
	bl	_ereport
LBB0_13:                                ;   in Loop: Header=BB0_14 Depth=2
	mov	sp, x24
	ldr	w1, [x25]
	mov	x0, x19
	mov	x2, x27
	bl	_index_getnext_slot
	cmp	x0, #0
	cset	w28, eq
	cbz	x0, LBB0_43
LBB0_14:                                ;   Parent Loop BB0_8 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	mov	x24, sp
Lloh16:
	adrp	x12, _INDEX_MAX_KEYS@GOTPAGE
Lloh17:
	ldr	x12, [x12, _INDEX_MAX_KEYS@GOTPAGEOFF]
	ldr	w8, [x12]
	lsl	x8, x8, #2
	mov	x9, x8
Lloh18:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh19:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	add	x8, x8, #15
	and	x8, x8, #0x7fffffff0
	sub	x21, x9, x8
	mov	sp, x21
	ldr	w8, [x12]
	lsl	x8, x8, #2
	mov	x9, x8
Lloh20:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh21:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	add	x8, x8, #15
	and	x8, x8, #0x7fffffff0
	sub	x26, x9, x8
	mov	sp, x26
	mov	x0, x23
	bl	_ItemPointerIsValid
	cbz	x0, LBB0_19
; %bb.15:                               ;   in Loop: Header=BB0_14 Depth=2
	mov	x0, x23
	mov	x1, x27
	bl	_ItemPointerEquals
	cbz	x0, LBB0_19
; %bb.16:                               ;   in Loop: Header=BB0_14 Depth=2
	ldur	w8, [x29, #-116]                ; 4-byte Folded Reload
	cbz	w8, LBB0_18
; %bb.17:                               ;   in Loop: Header=BB0_14 Depth=2
Lloh22:
	adrp	x8, _ERROR@GOTPAGE
Lloh23:
	ldr	x8, [x8, _ERROR@GOTPAGEOFF]
Lloh24:
	ldr	w20, [x8]
	ldur	x0, [x29, #-112]                ; 8-byte Folded Reload
	bl	_RelationGetRelationName
	mov	x2, x0
	mov	x0, x20
Lloh25:
	adrp	x1, l_.str@PAGE
Lloh26:
	add	x1, x1, l_.str@PAGEOFF
	bl	_elog
LBB0_18:                                ;   in Loop: Header=BB0_14 Depth=2
	mov	w8, #1
	stur	w8, [x29, #-116]                ; 4-byte Folded Spill
	b	LBB0_13
LBB0_19:                                ;   in Loop: Header=BB0_14 Depth=2
	ldp	x0, x2, [x29, #-136]            ; 16-byte Folded Reload
	mov	x1, x27
	mov	x3, x21
	mov	x4, x26
	bl	_FormIndexDatum
	ldr	x8, [x19]
	cbz	x8, LBB0_21
; %bb.20:                               ;   in Loop: Header=BB0_14 Depth=2
	ldur	x0, [x29, #-112]                ; 8-byte Folded Reload
	ldur	x1, [x29, #-176]                ; 8-byte Folded Reload
	mov	x2, x21
	mov	x3, x26
	mov	x4, x22
	bl	_index_recheck_constraint
	cbz	w0, LBB0_13
LBB0_21:                                ;   in Loop: Header=BB0_14 Depth=2
	mov	x25, x23
	mov	x23, x22
	sub	x22, x29, #104
	add	x20, x22, #8
	ldur	w0, [x29, #-96]
	bl	_TransactionIdIsValid
	add	x8, x22, #12
	cmp	x0, #0
	csel	x8, x8, x20, eq
	ldr	w20, [x8]
	mov	x0, x20
	bl	_TransactionIdIsValid
	cbz	x0, LBB0_25
; %bb.22:                               ;   in Loop: Header=BB0_14 Depth=2
Lloh27:
	adrp	x8, _CEOUC_WAIT@GOTPAGE
Lloh28:
	ldr	x8, [x8, _CEOUC_WAIT@GOTPAGEOFF]
Lloh29:
	ldr	x8, [x8]
	ldur	x9, [x29, #-144]                ; 8-byte Folded Reload
	cmp	x8, x9
	b.eq	LBB0_35
; %bb.23:                               ;   in Loop: Header=BB0_14 Depth=2
Lloh30:
	adrp	x8, _CEOUC_LIVELOCK_PREVENTING_WAIT@GOTPAGE
Lloh31:
	ldr	x8, [x8, _CEOUC_LIVELOCK_PREVENTING_WAIT@GOTPAGEOFF]
Lloh32:
	ldr	x8, [x8]
	ldur	x9, [x29, #-104]
	ldur	x10, [x29, #-144]               ; 8-byte Folded Reload
	cmp	x8, x10
	ccmp	x9, #0, #4, eq
	b.eq	LBB0_25
; %bb.24:                               ;   in Loop: Header=BB0_14 Depth=2
	bl	_GetCurrentTransactionId
	mov	x1, x20
	bl	_TransactionIdPrecedes
	cbnz	x0, LBB0_35
LBB0_25:                                ;   in Loop: Header=BB0_14 Depth=2
	ldur	w8, [x29, #-160]                ; 4-byte Folded Reload
	cbnz	w8, LBB0_40
; %bb.26:                               ;   in Loop: Header=BB0_14 Depth=2
	ldur	x28, [x29, #-112]               ; 8-byte Folded Reload
	mov	x0, x28
	mov	x22, x23
	mov	x1, x23
	ldur	x2, [x29, #-168]                ; 8-byte Folded Reload
	bl	_BuildIndexValueDescription
	mov	x20, x0
	mov	x0, x28
	mov	x1, x21
	mov	x2, x26
	bl	_BuildIndexValueDescription
	mov	x26, x0
Lloh33:
	adrp	x8, _ERROR@GOTPAGE
Lloh34:
	ldr	x8, [x8, _ERROR@GOTPAGEOFF]
Lloh35:
	ldr	w21, [x8]
Lloh36:
	adrp	x8, _ERRCODE_EXCLUSION_VIOLATION@GOTPAGE
Lloh37:
	ldr	x8, [x8, _ERRCODE_EXCLUSION_VIOLATION@GOTPAGEOFF]
Lloh38:
	ldr	w0, [x8]
	bl	_errcode
	mov	x0, x28
	bl	_RelationGetRelationName
	mov	x1, x0
	ldur	w8, [x29, #-156]                ; 4-byte Folded Reload
	cbz	w8, LBB0_30
; %bb.27:                               ;   in Loop: Header=BB0_14 Depth=2
Lloh39:
	adrp	x0, l_.str.1@PAGE
Lloh40:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_errmsg
	mov	x23, x25
	cbz	x20, LBB0_10
; %bb.28:                               ;   in Loop: Header=BB0_14 Depth=2
	cbz	x26, LBB0_10
; %bb.29:                               ;   in Loop: Header=BB0_14 Depth=2
	stp	x20, x26, [sp, #-16]!
Lloh41:
	adrp	x0, l_.str.2@PAGE
Lloh42:
	add	x0, x0, l_.str.2@PAGEOFF
	b	LBB0_33
LBB0_30:                                ;   in Loop: Header=BB0_14 Depth=2
Lloh43:
	adrp	x0, l_.str.4@PAGE
Lloh44:
	add	x0, x0, l_.str.4@PAGEOFF
	bl	_errmsg
	mov	x23, x25
	cbz	x20, LBB0_34
; %bb.31:                               ;   in Loop: Header=BB0_14 Depth=2
	cbz	x26, LBB0_34
; %bb.32:                               ;   in Loop: Header=BB0_14 Depth=2
	stp	x20, x26, [sp, #-16]!
Lloh45:
	adrp	x0, l_.str.5@PAGE
Lloh46:
	add	x0, x0, l_.str.5@PAGEOFF
LBB0_33:                                ;   in Loop: Header=BB0_14 Depth=2
	bl	_errdetail
	add	sp, sp, #16
	b	LBB0_12
LBB0_34:                                ;   in Loop: Header=BB0_14 Depth=2
Lloh47:
	adrp	x0, l_.str.6@PAGE
Lloh48:
	add	x0, x0, l_.str.6@PAGEOFF
	b	LBB0_11
LBB0_35:                                ;   in Loop: Header=BB0_8 Depth=1
	ldur	x8, [x29, #-136]                ; 8-byte Folded Reload
	ldr	x21, [x8]
Lloh49:
	adrp	x8, _XLTW_RecheckExclusionConstr@GOTPAGE
Lloh50:
	ldr	x8, [x8, _XLTW_RecheckExclusionConstr@GOTPAGEOFF]
Lloh51:
	ldr	w26, [x8]
Lloh52:
	adrp	x8, _XLTW_InsertIndex@GOTPAGE
Lloh53:
	ldr	x8, [x8, _XLTW_InsertIndex@GOTPAGEOFF]
Lloh54:
	ldr	w28, [x8]
	mov	x0, x19
	bl	_index_endscan
	ldur	x1, [x29, #-104]
	cbz	x1, LBB0_37
; %bb.36:                               ;   in Loop: Header=BB0_8 Depth=1
	ldur	w0, [x29, #-96]
	bl	_SpeculativeInsertionWait
	ldur	x19, [x29, #-152]               ; 8-byte Folded Reload
	b	LBB0_38
LBB0_37:                                ;   in Loop: Header=BB0_8 Depth=1
	cmp	x21, #0
	csel	w3, w28, w26, eq
	mov	x0, x20
	ldur	x19, [x29, #-152]               ; 8-byte Folded Reload
	mov	x1, x19
	mov	x2, x27
	bl	_XactLockTableWait
LBB0_38:                                ;   in Loop: Header=BB0_8 Depth=1
	mov	x22, x23
	mov	sp, x24
	mov	x23, x25
Lloh55:
	adrp	x25, _ForwardScanDirection@GOTPAGE
Lloh56:
	ldr	x25, [x25, _ForwardScanDirection@GOTPAGEOFF]
	b	LBB0_8
LBB0_39:
	mov	w0, #1
	b	LBB0_44
LBB0_40:
	ldur	x9, [x29, #-216]                ; 8-byte Folded Reload
	cbz	x9, LBB0_42
; %bb.41:
	ldr	w8, [x27]
	str	w8, [x9]
LBB0_42:
	mov	sp, x24
LBB0_43:
	mov	x0, x19
	bl	_index_endscan
	ldp	x9, x8, [x29, #-208]            ; 16-byte Folded Reload
	str	x9, [x8]
	mov	x0, x27
	bl	_ExecDropSingleTupleTableSlot
	and	w0, w28, #0x1
LBB0_44:
	ldur	x8, [x29, #-88]
Lloh57:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh58:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh59:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_46
; %bb.45:
	sub	sp, x29, #80
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp], #96             ; 16-byte Folded Reload
	ret
LBB0_46:
	bl	___stack_chk_fail
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpLdrGot	Lloh20, Lloh21
	.loh AdrpLdrGot	Lloh18, Lloh19
	.loh AdrpLdrGot	Lloh16, Lloh17
	.loh AdrpAdd	Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh36, Lloh37, Lloh38
	.loh AdrpLdrGotLdr	Lloh33, Lloh34, Lloh35
	.loh AdrpAdd	Lloh39, Lloh40
	.loh AdrpAdd	Lloh41, Lloh42
	.loh AdrpAdd	Lloh43, Lloh44
	.loh AdrpAdd	Lloh45, Lloh46
	.loh AdrpAdd	Lloh47, Lloh48
	.loh AdrpLdrGotLdr	Lloh52, Lloh53, Lloh54
	.loh AdrpLdrGotLdr	Lloh49, Lloh50, Lloh51
	.loh AdrpLdrGot	Lloh55, Lloh56
	.loh AdrpLdrGotLdr	Lloh57, Lloh58, Lloh59
	.cfi_endproc
                                        ; -- End function
	.comm	_INDEX_MAX_KEYS,4,2             ; @INDEX_MAX_KEYS
	.comm	_InvalidOid,4,2                 ; @InvalidOid
	.comm	_ForwardScanDirection,4,2       ; @ForwardScanDirection
	.comm	_ERROR,4,2                      ; @ERROR
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"found self tuple multiple times in index \"%s\""

	.comm	_CEOUC_WAIT,8,3                 ; @CEOUC_WAIT
	.comm	_CEOUC_LIVELOCK_PREVENTING_WAIT,8,3 ; @CEOUC_LIVELOCK_PREVENTING_WAIT
	.comm	_XLTW_RecheckExclusionConstr,4,2 ; @XLTW_RecheckExclusionConstr
	.comm	_XLTW_InsertIndex,4,2           ; @XLTW_InsertIndex
	.comm	_ERRCODE_EXCLUSION_VIOLATION,4,2 ; @ERRCODE_EXCLUSION_VIOLATION
l_.str.1:                               ; @.str.1
	.asciz	"could not create exclusion constraint \"%s\""

l_.str.2:                               ; @.str.2
	.asciz	"Key %s conflicts with key %s."

l_.str.3:                               ; @.str.3
	.asciz	"Key conflicts exist."

l_.str.4:                               ; @.str.4
	.asciz	"conflicting key value violates exclusion constraint \"%s\""

l_.str.5:                               ; @.str.5
	.asciz	"Key %s conflicts with existing key %s."

l_.str.6:                               ; @.str.6
	.asciz	"Key conflicts with existing key."

	.no_dead_strip	_check_exclusion_or_unique_constraint
.subsections_via_symbols
