	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function DeadLockCheckRecurse
_DeadLockCheckRecurse:                  ## @DeadLockCheckRecurse
	.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
	movq	%rdi, %rbx
	callq	_TestConfiguration
	movl	%eax, %ecx
	movl	$1, %eax
	movq	%rcx, %rdx
	movq	%rcx, -48(%rbp)                 ## 8-byte Spill
	testl	%ecx, %ecx
	js	LBB0_15
## %bb.1:
	je	LBB0_14
## %bb.2:
	movq	_nCurConstraints@GOTPCREL(%rip), %r13
	movq	(%r13), %rdx
	movq	_maxCurConstraints@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rdx
	jae	LBB0_15
## %bb.3:
	movq	_nPossibleConstraints@GOTPCREL(%rip), %rdx
	movl	(%rdx), %esi
	movq	-48(%rbp), %rax                 ## 8-byte Reload
	addl	%esi, %eax
	movslq	%eax, %r12
	movq	_MaxBackends@GOTPCREL(%rip), %rcx
	addq	(%rcx), %r12
	movq	%rsi, -56(%rbp)                 ## 8-byte Spill
	movslq	%esi, %r14
	movq	_maxPossibleConstraints@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	movq	%rcx, -72(%rbp)                 ## 8-byte Spill
	cmpq	%rcx, %r12
	jg	LBB0_5
## %bb.4:
	movl	%eax, (%rdx)
LBB0_5:
	movl	-48(%rbp), %eax                 ## 4-byte Reload
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	shlq	$2, %r14
	xorl	%r15d, %r15d
	.p2align	4, 0x90
LBB0_6:                                 ## =>This Inner Loop Header: Depth=1
	cmpq	-72(%rbp), %r12                 ## 8-byte Folded Reload
	jle	LBB0_10
## %bb.7:                               ##   in Loop: Header=BB0_6 Depth=1
	testq	%r15, %r15
	je	LBB0_10
## %bb.8:                               ##   in Loop: Header=BB0_6 Depth=1
	movq	%rbx, %rdi
	callq	_TestConfiguration
	cmpl	%eax, -48(%rbp)                 ## 4-byte Folded Reload
	je	LBB0_10
## %bb.9:                               ##   in Loop: Header=BB0_6 Depth=1
	movq	_FATAL@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str(%rip), %rsi
	callq	_elog
LBB0_10:                                ##   in Loop: Header=BB0_6 Depth=1
	movq	_possibleConstraints@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	addq	%r14, %rax
	movl	(%rax,%r15,4), %eax
	movq	_curConstraints@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
	movq	(%r13), %rdx
	movl	%eax, (%rcx,%rdx,4)
	incq	%rdx
	movq	%rdx, (%r13)
	movq	%rbx, %rdi
	callq	_DeadLockCheckRecurse
	testl	%eax, %eax
	je	LBB0_14
## %bb.11:                              ##   in Loop: Header=BB0_6 Depth=1
	decq	(%r13)
	incq	%r15
	cmpq	%r15, -64(%rbp)                 ## 8-byte Folded Reload
	jne	LBB0_6
## %bb.12:
	movq	_nPossibleConstraints@GOTPCREL(%rip), %rax
	movq	-56(%rbp), %rcx                 ## 8-byte Reload
	movl	%ecx, (%rax)
	movl	$1, %eax
	jmp	LBB0_15
LBB0_14:
	xorl	%eax, %eax
LBB0_15:
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_nCurConstraints,8,3            ## @nCurConstraints
	.comm	_maxCurConstraints,8,3          ## @maxCurConstraints
	.comm	_nPossibleConstraints,4,2       ## @nPossibleConstraints
	.comm	_MaxBackends,8,3                ## @MaxBackends
	.comm	_maxPossibleConstraints,8,3     ## @maxPossibleConstraints
	.comm	_FATAL,4,2                      ## @FATAL
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"inconsistent results during deadlock check"

	.comm	_possibleConstraints,8,3        ## @possibleConstraints
	.comm	_curConstraints,8,3             ## @curConstraints
	.no_dead_strip	_DeadLockCheckRecurse
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function DeadLockCheckRecurse
_DeadLockCheckRecurse:                  ; @DeadLockCheckRecurse
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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
	mov	x19, x0
	bl	_TestConfiguration
	tbnz	w0, #31, LBB0_13
; %bb.1:
	mov	x20, x0
	cbz	w0, LBB0_14
; %bb.2:
Lloh0:
	adrp	x22, _nCurConstraints@GOTPAGE
Lloh1:
	ldr	x22, [x22, _nCurConstraints@GOTPAGEOFF]
	ldr	x8, [x22]
Lloh2:
	adrp	x9, _maxCurConstraints@GOTPAGE
Lloh3:
	ldr	x9, [x9, _maxCurConstraints@GOTPAGEOFF]
Lloh4:
	ldr	x9, [x9]
	cmp	x8, x9
	b.hs	LBB0_13
; %bb.3:
Lloh5:
	adrp	x11, _nPossibleConstraints@GOTPAGE
Lloh6:
	ldr	x11, [x11, _nPossibleConstraints@GOTPAGEOFF]
	ldr	w9, [x11]
	sxtw	x8, w9
	str	x9, [sp, #8]                    ; 8-byte Folded Spill
	add	w9, w9, w20
Lloh7:
	adrp	x10, _MaxBackends@GOTPAGE
Lloh8:
	ldr	x10, [x10, _MaxBackends@GOTPAGEOFF]
Lloh9:
	ldr	x10, [x10]
	add	x25, x10, w9, sxtw
Lloh10:
	adrp	x10, _maxPossibleConstraints@GOTPAGE
Lloh11:
	ldr	x10, [x10, _maxPossibleConstraints@GOTPAGEOFF]
Lloh12:
	ldr	x26, [x10]
	cmp	x25, x26
	b.gt	LBB0_5
; %bb.4:
	str	w9, [x11]
LBB0_5:
	mov	x27, #0
	lsl	x28, x8, #2
	mov	w23, w20
Lloh13:
	adrp	x24, _possibleConstraints@GOTPAGE
Lloh14:
	ldr	x24, [x24, _possibleConstraints@GOTPAGEOFF]
Lloh15:
	adrp	x21, _curConstraints@GOTPAGE
Lloh16:
	ldr	x21, [x21, _curConstraints@GOTPAGEOFF]
LBB0_6:                                 ; =>This Inner Loop Header: Depth=1
	cmp	x25, x26
	b.le	LBB0_10
; %bb.7:                                ;   in Loop: Header=BB0_6 Depth=1
	cbz	x27, LBB0_10
; %bb.8:                                ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, x19
	bl	_TestConfiguration
	cmp	w20, w0
	b.eq	LBB0_10
; %bb.9:                                ;   in Loop: Header=BB0_6 Depth=1
Lloh17:
	adrp	x8, _FATAL@GOTPAGE
Lloh18:
	ldr	x8, [x8, _FATAL@GOTPAGEOFF]
Lloh19:
	ldr	w0, [x8]
Lloh20:
	adrp	x1, l_.str@PAGE
Lloh21:
	add	x1, x1, l_.str@PAGEOFF
	bl	_elog
LBB0_10:                                ;   in Loop: Header=BB0_6 Depth=1
	ldr	x8, [x24]
	add	x8, x8, x28
	ldr	w8, [x8, x27, lsl #2]
	ldr	x9, [x21]
	ldr	x10, [x22]
	str	w8, [x9, x10, lsl #2]
	add	x8, x10, #1
	str	x8, [x22]
	mov	x0, x19
	bl	_DeadLockCheckRecurse
	cbz	w0, LBB0_15
; %bb.11:                               ;   in Loop: Header=BB0_6 Depth=1
	ldr	x8, [x22]
	sub	x8, x8, #1
	str	x8, [x22]
	add	x27, x27, #1
	cmp	x23, x27
	b.ne	LBB0_6
; %bb.12:
Lloh22:
	adrp	x8, _nPossibleConstraints@GOTPAGE
Lloh23:
	ldr	x8, [x8, _nPossibleConstraints@GOTPAGEOFF]
	ldr	x9, [sp, #8]                    ; 8-byte Folded Reload
Lloh24:
	str	w9, [x8]
LBB0_13:
	mov	w0, #1
	b	LBB0_15
LBB0_14:
	mov	w0, #0
LBB0_15:
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotStr	Lloh22, Lloh23, Lloh24
	.cfi_endproc
                                        ; -- End function
	.comm	_nCurConstraints,8,3            ; @nCurConstraints
	.comm	_maxCurConstraints,8,3          ; @maxCurConstraints
	.comm	_nPossibleConstraints,4,2       ; @nPossibleConstraints
	.comm	_MaxBackends,8,3                ; @MaxBackends
	.comm	_maxPossibleConstraints,8,3     ; @maxPossibleConstraints
	.comm	_FATAL,4,2                      ; @FATAL
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"inconsistent results during deadlock check"

	.comm	_possibleConstraints,8,3        ; @possibleConstraints
	.comm	_curConstraints,8,3             ; @curConstraints
	.no_dead_strip	_DeadLockCheckRecurse
.subsections_via_symbols
