	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_PreCommit_CheckForSerializationFailure ## -- Begin function PreCommit_CheckForSerializationFailure
	.p2align	4, 0x90
_PreCommit_CheckForSerializationFailure: ## @PreCommit_CheckForSerializationFailure
	.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
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_MySerializableXact@GOTPCREL(%rip), %r12
	movq	(%r12), %rax
	movq	_InvalidSerializableXact@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_19
## %bb.1:
	xorl	%eax, %eax
	callq	_IsolationIsSerializable
	movl	%eax, %edi
	callq	_Assert
	movq	_SerializableXactHashLock@GOTPCREL(%rip), %rbx
	movl	(%rbx), %edi
	movq	_LW_EXCLUSIVE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_LWLockAcquire
	movq	(%r12), %rdi
	callq	_SxactIsDoomed
	testq	%rax, %rax
	je	LBB0_3
## %bb.2:
	movq	(%r12), %rdi
	callq	_SxactIsPartiallyReleased
	xorl	%edi, %edi
	testl	%eax, %eax
	sete	%dil
	callq	_Assert
	movl	(%rbx), %edi
	callq	_LWLockRelease
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	_ERRCODE_T_R_SERIALIZATION_FAILURE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_errcode
	leaq	L_.str(%rip), %rdi
	callq	_errmsg
	leaq	L_.str.1(%rip), %rdi
	callq	_errdetail_internal
	leaq	L_.str.2(%rip), %rdi
	callq	_errhint
	movl	%ebx, %edi
	movl	%eax, %esi
	callq	_ereport
LBB0_3:
	movq	(%r12), %rbx
	addq	$16, %rbx
	movq	_RWConflictData@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_inLink@GOTPCREL(%rip), %r15
	movl	(%r15), %esi
	callq	_offsetof
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movl	%eax, %edx
	callq	_SHMQueueNext
	testq	%rax, %rax
	je	LBB0_18
## %bb.4:
	movq	%rax, %r13
	jmp	LBB0_5
LBB0_15:                                ##   in Loop: Header=BB0_5 Depth=1
	movq	_SXACT_FLAG_DOOMED@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movq	8(%r13), %rcx
	orl	%eax, (%rcx)
	.p2align	4, 0x90
LBB0_17:                                ##   in Loop: Header=BB0_5 Depth=1
	movq	(%r12), %rbx
	addq	$16, %rbx
	movq	_RWConflictData@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movl	(%r15), %esi
	callq	_offsetof
	movq	%rbx, %rdi
	movq	%r13, %rsi
	movl	%eax, %edx
	callq	_SHMQueueNext
	movq	%rax, %r13
	testq	%rax, %rax
	je	LBB0_18
LBB0_5:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_9 Depth 2
	movq	8(%r13), %rdi
	callq	_SxactIsCommitted
	testl	%eax, %eax
	jne	LBB0_17
## %bb.6:                               ##   in Loop: Header=BB0_5 Depth=1
	movq	8(%r13), %rdi
	callq	_SxactIsDoomed
	testq	%rax, %rax
	jne	LBB0_17
## %bb.7:                               ##   in Loop: Header=BB0_5 Depth=1
	movq	8(%r13), %rbx
	addq	$16, %rbx
	movq	_RWConflictData@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movl	(%r15), %esi
	callq	_offsetof
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	movl	%eax, %edx
	callq	_SHMQueueNext
	testq	%rax, %rax
	je	LBB0_17
## %bb.8:                               ##   in Loop: Header=BB0_5 Depth=1
	movq	%rax, %rbx
	jmp	LBB0_9
	.p2align	4, 0x90
LBB0_16:                                ##   in Loop: Header=BB0_9 Depth=2
	movq	8(%r13), %r14
	addq	$16, %r14
	movq	_RWConflictData@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movl	(%r15), %esi
	callq	_offsetof
	movq	%r14, %rdi
	movq	%rbx, %rsi
	movl	%eax, %edx
	callq	_SHMQueueNext
	movq	%rax, %rbx
	testq	%rax, %rax
	je	LBB0_17
LBB0_9:                                 ##   Parent Loop BB0_5 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	8(%rbx), %rdi
	cmpq	(%r12), %rdi
	je	LBB0_13
## %bb.10:                              ##   in Loop: Header=BB0_9 Depth=2
	callq	_SxactIsCommitted
	testl	%eax, %eax
	jne	LBB0_16
## %bb.11:                              ##   in Loop: Header=BB0_9 Depth=2
	movq	8(%rbx), %rdi
	callq	_SxactIsReadOnly
	testl	%eax, %eax
	jne	LBB0_16
## %bb.12:                              ##   in Loop: Header=BB0_9 Depth=2
	movq	8(%rbx), %rdi
	callq	_SxactIsDoomed
	testq	%rax, %rax
	jne	LBB0_16
LBB0_13:                                ##   in Loop: Header=BB0_5 Depth=1
	movq	8(%r13), %rdi
	callq	_SxactIsPrepared
	testq	%rax, %rax
	je	LBB0_15
## %bb.14:                              ##   in Loop: Header=BB0_5 Depth=1
	movq	_SerializableXactHashLock@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_LWLockRelease
	movq	_ERROR@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	_ERRCODE_T_R_SERIALIZATION_FAILURE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_errcode
	leaq	L_.str(%rip), %rdi
	callq	_errmsg
	leaq	L_.str.3(%rip), %rdi
	callq	_errdetail_internal
	leaq	L_.str.2(%rip), %rdi
	callq	_errhint
	movl	%ebx, %edi
	movl	%eax, %esi
	callq	_ereport
	jmp	LBB0_15
LBB0_18:
	movq	_PredXact@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	(%rax), %rcx
	incq	%rcx
	movq	%rcx, (%rax)
	movq	(%r12), %rax
	movq	%rcx, 8(%rax)
	movq	_SXACT_FLAG_PREPARED@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	orl	%ecx, (%rax)
	movq	_SerializableXactHashLock@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_LWLockRelease                  ## TAILCALL
LBB0_19:
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_MySerializableXact,8,3         ## @MySerializableXact
	.comm	_InvalidSerializableXact,8,3    ## @InvalidSerializableXact
	.comm	_SerializableXactHashLock,4,2   ## @SerializableXactHashLock
	.comm	_LW_EXCLUSIVE,4,2               ## @LW_EXCLUSIVE
	.comm	_ERROR,4,2                      ## @ERROR
	.comm	_ERRCODE_T_R_SERIALIZATION_FAILURE,4,2 ## @ERRCODE_T_R_SERIALIZATION_FAILURE
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"could not serialize access due to read/write dependencies among transactions"

L_.str.1:                               ## @.str.1
	.asciz	"Reason code: Canceled on identification as a pivot, during commit attempt."

L_.str.2:                               ## @.str.2
	.asciz	"The transaction might succeed if retried."

	.comm	_RWConflictData,4,2             ## @RWConflictData
	.comm	_inLink,4,2                     ## @inLink
L_.str.3:                               ## @.str.3
	.asciz	"Reason code: Canceled on commit attempt with conflict in from prepared pivot."

	.comm	_SXACT_FLAG_DOOMED,4,2          ## @SXACT_FLAG_DOOMED
	.comm	_PredXact,8,3                   ## @PredXact
	.comm	_SXACT_FLAG_PREPARED,4,2        ## @SXACT_FLAG_PREPARED
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_PreCommit_CheckForSerializationFailure ; -- Begin function PreCommit_CheckForSerializationFailure
	.p2align	2
_PreCommit_CheckForSerializationFailure: ; @PreCommit_CheckForSerializationFailure
	.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
Lloh0:
	adrp	x25, _MySerializableXact@GOTPAGE
Lloh1:
	ldr	x25, [x25, _MySerializableXact@GOTPAGEOFF]
	ldr	x8, [x25]
Lloh2:
	adrp	x9, _InvalidSerializableXact@GOTPAGE
Lloh3:
	ldr	x9, [x9, _InvalidSerializableXact@GOTPAGEOFF]
Lloh4:
	ldr	x9, [x9]
	cmp	x8, x9
	b.eq	LBB0_19
; %bb.1:
	bl	_IsolationIsSerializable
	bl	_Assert
Lloh5:
	adrp	x26, _SerializableXactHashLock@GOTPAGE
Lloh6:
	ldr	x26, [x26, _SerializableXactHashLock@GOTPAGEOFF]
	ldr	w0, [x26]
Lloh7:
	adrp	x8, _LW_EXCLUSIVE@GOTPAGE
Lloh8:
	ldr	x8, [x8, _LW_EXCLUSIVE@GOTPAGEOFF]
Lloh9:
	ldr	w1, [x8]
	bl	_LWLockAcquire
	ldr	x0, [x25]
	bl	_SxactIsDoomed
Lloh10:
	adrp	x27, _ERROR@GOTPAGE
Lloh11:
	ldr	x27, [x27, _ERROR@GOTPAGEOFF]
Lloh12:
	adrp	x28, _ERRCODE_T_R_SERIALIZATION_FAILURE@GOTPAGE
Lloh13:
	ldr	x28, [x28, _ERRCODE_T_R_SERIALIZATION_FAILURE@GOTPAGEOFF]
	cbz	x0, LBB0_3
; %bb.2:
	ldr	x0, [x25]
	bl	_SxactIsPartiallyReleased
	cmp	w0, #0
	cset	w0, eq
	bl	_Assert
	ldr	w0, [x26]
	bl	_LWLockRelease
	ldr	w19, [x27]
	ldr	w0, [x28]
	bl	_errcode
Lloh14:
	adrp	x0, l_.str@PAGE
Lloh15:
	add	x0, x0, l_.str@PAGEOFF
	bl	_errmsg
Lloh16:
	adrp	x0, l_.str.1@PAGE
Lloh17:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_errdetail_internal
Lloh18:
	adrp	x0, l_.str.2@PAGE
Lloh19:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_errhint
	mov	x1, x0
	mov	x0, x19
	bl	_ereport
LBB0_3:
	ldr	x8, [x25]
	add	x19, x8, #16
Lloh20:
	adrp	x20, _RWConflictData@GOTPAGE
Lloh21:
	ldr	x20, [x20, _RWConflictData@GOTPAGEOFF]
	ldr	w0, [x20]
Lloh22:
	adrp	x21, _inLink@GOTPAGE
Lloh23:
	ldr	x21, [x21, _inLink@GOTPAGEOFF]
	ldr	w1, [x21]
	bl	_offsetof
	mov	x2, x0
	mov	x0, x19
	mov	x1, x19
	bl	_SHMQueueNext
	cbz	x0, LBB0_18
; %bb.4:
	mov	x19, x0
Lloh24:
	adrp	x22, _SXACT_FLAG_DOOMED@GOTPAGE
Lloh25:
	ldr	x22, [x22, _SXACT_FLAG_DOOMED@GOTPAGEOFF]
	b	LBB0_7
LBB0_5:                                 ;   in Loop: Header=BB0_7 Depth=1
	ldr	w8, [x22]
	ldr	x9, [x19, #8]
	ldr	w10, [x9]
	orr	w8, w10, w8
	str	w8, [x9]
LBB0_6:                                 ;   in Loop: Header=BB0_7 Depth=1
	ldr	x8, [x25]
	add	x23, x8, #16
	ldr	w0, [x20]
	ldr	w1, [x21]
	bl	_offsetof
	mov	x2, x0
	mov	x0, x23
	mov	x1, x19
	bl	_SHMQueueNext
	mov	x19, x0
	cbz	x0, LBB0_18
LBB0_7:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_12 Depth 2
	ldr	x0, [x19, #8]
	bl	_SxactIsCommitted
	cbnz	w0, LBB0_6
; %bb.8:                                ;   in Loop: Header=BB0_7 Depth=1
	ldr	x0, [x19, #8]
	bl	_SxactIsDoomed
	cbnz	x0, LBB0_6
; %bb.9:                                ;   in Loop: Header=BB0_7 Depth=1
	ldr	x8, [x19, #8]
	add	x23, x8, #16
	ldr	w0, [x20]
	ldr	w1, [x21]
	bl	_offsetof
	mov	x2, x0
	mov	x0, x23
	mov	x1, x23
	bl	_SHMQueueNext
	cbz	x0, LBB0_6
; %bb.10:                               ;   in Loop: Header=BB0_7 Depth=1
	mov	x23, x0
	b	LBB0_12
LBB0_11:                                ;   in Loop: Header=BB0_12 Depth=2
	ldr	x8, [x19, #8]
	add	x24, x8, #16
	ldr	w0, [x20]
	ldr	w1, [x21]
	bl	_offsetof
	mov	x2, x0
	mov	x0, x24
	mov	x1, x23
	bl	_SHMQueueNext
	mov	x23, x0
	cbz	x0, LBB0_6
LBB0_12:                                ;   Parent Loop BB0_7 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldr	x0, [x23, #8]
	ldr	x8, [x25]
	cmp	x0, x8
	b.eq	LBB0_16
; %bb.13:                               ;   in Loop: Header=BB0_12 Depth=2
	bl	_SxactIsCommitted
	cbnz	w0, LBB0_11
; %bb.14:                               ;   in Loop: Header=BB0_12 Depth=2
	ldr	x0, [x23, #8]
	bl	_SxactIsReadOnly
	cbnz	w0, LBB0_11
; %bb.15:                               ;   in Loop: Header=BB0_12 Depth=2
	ldr	x0, [x23, #8]
	bl	_SxactIsDoomed
	cbnz	x0, LBB0_11
LBB0_16:                                ;   in Loop: Header=BB0_7 Depth=1
	ldr	x0, [x19, #8]
	bl	_SxactIsPrepared
	cbz	x0, LBB0_5
; %bb.17:                               ;   in Loop: Header=BB0_7 Depth=1
	ldr	w0, [x26]
	bl	_LWLockRelease
	ldr	w23, [x27]
	ldr	w0, [x28]
	bl	_errcode
Lloh26:
	adrp	x0, l_.str@PAGE
Lloh27:
	add	x0, x0, l_.str@PAGEOFF
	bl	_errmsg
Lloh28:
	adrp	x0, l_.str.3@PAGE
Lloh29:
	add	x0, x0, l_.str.3@PAGEOFF
	bl	_errdetail_internal
Lloh30:
	adrp	x0, l_.str.2@PAGE
Lloh31:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_errhint
	mov	x1, x0
	mov	x0, x23
	bl	_ereport
	b	LBB0_5
LBB0_18:
Lloh32:
	adrp	x8, _PredXact@GOTPAGE
Lloh33:
	ldr	x8, [x8, _PredXact@GOTPAGEOFF]
Lloh34:
	ldr	x8, [x8]
	ldr	x9, [x8]
	add	x9, x9, #1
	str	x9, [x8]
	ldr	x8, [x25]
	str	x9, [x8, #8]
Lloh35:
	adrp	x9, _SXACT_FLAG_PREPARED@GOTPAGE
Lloh36:
	ldr	x9, [x9, _SXACT_FLAG_PREPARED@GOTPAGEOFF]
Lloh37:
	ldr	w9, [x9]
	ldr	w10, [x8]
	orr	w9, w10, w9
	str	w9, [x8]
	ldr	w0, [x26]
	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
	b	_LWLockRelease
LBB0_19:
	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
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGot	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGot	Lloh22, Lloh23
	.loh AdrpLdrGot	Lloh20, Lloh21
	.loh AdrpLdrGot	Lloh24, Lloh25
	.loh AdrpAdd	Lloh30, Lloh31
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpAdd	Lloh26, Lloh27
	.loh AdrpLdrGotLdr	Lloh35, Lloh36, Lloh37
	.loh AdrpLdrGotLdr	Lloh32, Lloh33, Lloh34
	.cfi_endproc
                                        ; -- End function
	.comm	_MySerializableXact,8,3         ; @MySerializableXact
	.comm	_InvalidSerializableXact,8,3    ; @InvalidSerializableXact
	.comm	_SerializableXactHashLock,4,2   ; @SerializableXactHashLock
	.comm	_LW_EXCLUSIVE,4,2               ; @LW_EXCLUSIVE
	.comm	_ERROR,4,2                      ; @ERROR
	.comm	_ERRCODE_T_R_SERIALIZATION_FAILURE,4,2 ; @ERRCODE_T_R_SERIALIZATION_FAILURE
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"could not serialize access due to read/write dependencies among transactions"

l_.str.1:                               ; @.str.1
	.asciz	"Reason code: Canceled on identification as a pivot, during commit attempt."

l_.str.2:                               ; @.str.2
	.asciz	"The transaction might succeed if retried."

	.comm	_RWConflictData,4,2             ; @RWConflictData
	.comm	_inLink,4,2                     ; @inLink
l_.str.3:                               ; @.str.3
	.asciz	"Reason code: Canceled on commit attempt with conflict in from prepared pivot."

	.comm	_SXACT_FLAG_DOOMED,4,2          ; @SXACT_FLAG_DOOMED
	.comm	_PredXact,8,3                   ; @PredXact
	.comm	_SXACT_FLAG_PREPARED,4,2        ; @SXACT_FLAG_PREPARED
.subsections_via_symbols
