	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function register_edge_assert_for
_register_edge_assert_for:              ## @register_edge_assert_for
	.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	$24, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%edx, %r15d
	movq	%rsi, %rbx
	movq	%rdi, %r13
	movl	%edx, %edi
	callq	_bsi_stmt
	movq	%rax, %r14
	movq	%r13, %rdi
	callq	_SSA_NAME_OCCURS_IN_ABNORMAL_PHI
	xorl	%r12d, %r12d
	testq	%rax, %rax
	jne	LBB0_26
## %bb.1:
	movq	%rbx, -56(%rbp)                 ## 8-byte Spill
	movq	_found_in_subgraph@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	%r13, %rdi
	callq	_SSA_NAME_VERSION
	movl	%ebx, %edi
	movl	%eax, %esi
	callq	_TEST_BIT
	testl	%eax, %eax
	je	LBB0_26
## %bb.2:
	movq	%r14, %rdi
	callq	_TREE_CODE
	movq	_COND_EXPR@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_27
## %bb.3:
	movq	%r14, %rdi
	callq	_COND_EXPR_COND
	movq	%rax, %r14
	movq	_EDGE_FALSE_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	-56(%rbp), %rax                 ## 8-byte Reload
	andl	(%rax), %ebx
	cmpq	%r13, %r14
	jne	LBB0_6
## %bb.4:
	movq	_EQ_EXPR@GOTPCREL(%rip), %rax
	testl	%ebx, %ebx
	jne	LBB0_8
## %bb.5:
	movq	_boolean_true_node@GOTPCREL(%rip), %rcx
	jmp	LBB0_9
LBB0_6:
	movq	%r14, %rdi
	movl	$1, %esi
	callq	_TREE_OPERAND
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%r14, %rdi
	callq	_TREE_CODE
	cmpq	%r13, -48(%rbp)                 ## 8-byte Folded Reload
	jne	LBB0_10
## %bb.7:
	movq	%rax, %rdi
	callq	_swap_tree_comparison
                                        ## kill: def $eax killed $eax def $rax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%esi, %esi
	jmp	LBB0_11
LBB0_8:
	movq	_boolean_false_node@GOTPCREL(%rip), %rcx
LBB0_9:
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	movl	(%rax), %esi
	movq	(%rcx), %rbx
	jmp	LBB0_25
LBB0_10:
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movl	$1, %esi
LBB0_11:
	movq	%r14, %rdi
	callq	_TREE_OPERAND
	testl	%ebx, %ebx
	je	LBB0_13
## %bb.12:
	movq	%rax, %rbx
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
                                        ## kill: def $edi killed $edi killed $rdi
	xorl	%esi, %esi
	callq	_invert_tree_comparison
	movl	%eax, %esi
	jmp	LBB0_14
LBB0_13:
	movq	%rax, %rbx
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
LBB0_14:
	movq	_GT_EXPR@GOTPCREL(%rip), %r14
	movq	_LT_EXPR@GOTPCREL(%rip), %rax
	cmpl	(%r14), %esi
	je	LBB0_17
## %bb.15:
	cmpl	(%rax), %esi
	jne	LBB0_16
LBB0_17:
	movq	%rsi, -48(%rbp)                 ## 8-byte Spill
	movq	%rbx, %rdi
	callq	_TREE_TYPE
	movl	%eax, %edi
	callq	_INTEGRAL_TYPE_P
	testq	%rax, %rax
	jne	LBB0_19
## %bb.18:
	movq	%rbx, %rdi
	callq	_TREE_TYPE
	movl	%eax, %edi
	callq	_SCALAR_FLOAT_TYPE_P
	testq	%rax, %rax
	je	LBB0_24
LBB0_19:
	movq	%rbx, %rdi
	callq	_TREE_TYPE
	movl	%eax, %edi
	callq	_TYPE_MIN_VALUE
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	movq	%rbx, %rdi
	callq	_TREE_TYPE
	movl	%eax, %edi
	callq	_TYPE_MAX_VALUE
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	cmpl	(%r14), %esi
	jne	LBB0_21
## %bb.20:
	movq	%rbx, %rdi
	movq	%rax, %rsi
	callq	_compare_values
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	testq	%rax, %rax
	je	LBB0_26
LBB0_21:
	movq	_LT_EXPR@GOTPCREL(%rip), %rax
	cmpl	(%rax), %esi
	jne	LBB0_16
## %bb.22:
	movq	%rbx, %rdi
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	callq	_compare_values
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	testq	%rax, %rax
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	jne	LBB0_25
	jmp	LBB0_26
LBB0_16:
	movq	-56(%rbp), %r8                  ## 8-byte Reload
LBB0_25:
	movq	%r13, %rdi
                                        ## kill: def $esi killed $esi killed $rsi
	movq	%rbx, %rdx
	xorl	%ecx, %ecx
	movl	%r15d, %r9d
	callq	_register_new_assert_for
	movl	$1, %r12d
LBB0_26:
	movl	%r12d, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_24:
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	jmp	LBB0_25
LBB0_27:
	xorl	%eax, %eax
	callq	_gcc_unreachable
	ud2
	.cfi_endproc
                                        ## -- End function
	.comm	_found_in_subgraph,4,2          ## @found_in_subgraph
	.comm	_COND_EXPR,8,3                  ## @COND_EXPR
	.comm	_EDGE_FALSE_VALUE,4,2           ## @EDGE_FALSE_VALUE
	.comm	_EQ_EXPR,4,2                    ## @EQ_EXPR
	.comm	_boolean_false_node,8,3         ## @boolean_false_node
	.comm	_boolean_true_node,8,3          ## @boolean_true_node
	.comm	_GT_EXPR,4,2                    ## @GT_EXPR
	.comm	_LT_EXPR,4,2                    ## @LT_EXPR
	.no_dead_strip	_register_edge_assert_for
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function register_edge_assert_for
_register_edge_assert_for:              ; @register_edge_assert_for
	.cfi_startproc
; %bb.0:
	stp	x26, x25, [sp, #-80]!           ; 16-byte Folded Spill
	.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
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	mov	x19, x2
	mov	x20, x1
	mov	x21, x0
	mov	x0, x2
	bl	_bsi_stmt
	mov	x22, x0
	mov	x0, x21
	bl	_SSA_NAME_OCCURS_IN_ABNORMAL_PHI
	cbz	x0, LBB0_2
; %bb.1:
	mov	w0, #0
	b	LBB0_20
LBB0_2:
Lloh0:
	adrp	x8, _found_in_subgraph@GOTPAGE
Lloh1:
	ldr	x8, [x8, _found_in_subgraph@GOTPAGEOFF]
Lloh2:
	ldr	w23, [x8]
	mov	x0, x21
	bl	_SSA_NAME_VERSION
	mov	x1, x0
	mov	x0, x23
	bl	_TEST_BIT
	cbz	w0, LBB0_20
; %bb.3:
	mov	x0, x22
	bl	_TREE_CODE
Lloh3:
	adrp	x8, _COND_EXPR@GOTPAGE
Lloh4:
	ldr	x8, [x8, _COND_EXPR@GOTPAGEOFF]
Lloh5:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_21
; %bb.4:
	mov	x0, x22
	bl	_COND_EXPR_COND
	ldr	w8, [x20]
Lloh6:
	adrp	x9, _EDGE_FALSE_VALUE@GOTPAGE
Lloh7:
	ldr	x9, [x9, _EDGE_FALSE_VALUE@GOTPAGEOFF]
Lloh8:
	ldr	w9, [x9]
	and	w25, w9, w8
	cmp	x0, x21
	b.ne	LBB0_6
; %bb.5:
Lloh9:
	adrp	x8, _EQ_EXPR@GOTPAGE
Lloh10:
	ldr	x8, [x8, _EQ_EXPR@GOTPAGEOFF]
Lloh11:
	adrp	x9, _boolean_false_node@GOTPAGE
Lloh12:
	ldr	x9, [x9, _boolean_false_node@GOTPAGEOFF]
Lloh13:
	ldr	w22, [x8]
Lloh14:
	adrp	x8, _boolean_true_node@GOTPAGE
Lloh15:
	ldr	x8, [x8, _boolean_true_node@GOTPAGEOFF]
	cmp	w25, #0
	csel	x8, x8, x9, eq
	ldr	x23, [x8]
	b	LBB0_19
LBB0_6:
	mov	x23, x0
	mov	w1, #1
	bl	_TREE_OPERAND
	mov	x24, x0
	mov	x0, x23
	bl	_TREE_CODE
	mov	x22, x0
	cmp	x24, x21
	b.ne	LBB0_8
; %bb.7:
	mov	x0, x22
	bl	_swap_tree_comparison
	mov	x22, x0
	mov	w1, #0
	b	LBB0_9
LBB0_8:
	mov	w1, #1
LBB0_9:
	mov	x0, x23
	bl	_TREE_OPERAND
	mov	x23, x0
	cbz	w25, LBB0_11
; %bb.10:
	mov	x0, x22
	mov	w1, #0
	bl	_invert_tree_comparison
	mov	x22, x0
LBB0_11:
Lloh16:
	adrp	x26, _GT_EXPR@GOTPAGE
Lloh17:
	ldr	x26, [x26, _GT_EXPR@GOTPAGEOFF]
	ldr	w8, [x26]
Lloh18:
	adrp	x25, _LT_EXPR@GOTPAGE
Lloh19:
	ldr	x25, [x25, _LT_EXPR@GOTPAGEOFF]
	cmp	w22, w8
	b.eq	LBB0_13
; %bb.12:
	ldr	w8, [x25]
	cmp	w22, w8
	b.ne	LBB0_19
LBB0_13:
	mov	x0, x23
	bl	_TREE_TYPE
	bl	_INTEGRAL_TYPE_P
	cbnz	x0, LBB0_15
; %bb.14:
	mov	x0, x23
	bl	_TREE_TYPE
	bl	_SCALAR_FLOAT_TYPE_P
	cbz	x0, LBB0_19
LBB0_15:
	mov	x0, x23
	bl	_TREE_TYPE
	bl	_TYPE_MIN_VALUE
	mov	x24, x0
	mov	x0, x23
	bl	_TREE_TYPE
	bl	_TYPE_MAX_VALUE
	ldr	w8, [x26]
	cmp	w22, w8
	b.ne	LBB0_17
; %bb.16:
	mov	x1, x0
	mov	x0, x23
	bl	_compare_values
	cbz	x0, LBB0_20
LBB0_17:
	ldr	w8, [x25]
	cmp	w22, w8
	b.ne	LBB0_19
; %bb.18:
	mov	x0, x23
	mov	x1, x24
	bl	_compare_values
	cbz	x0, LBB0_20
LBB0_19:
	mov	x0, x21
	mov	x1, x22
	mov	x2, x23
	mov	x3, #0
	mov	x4, x20
	mov	x5, x19
	bl	_register_new_assert_for
	mov	w0, #1
LBB0_20:
	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
	ldp	x26, x25, [sp], #80             ; 16-byte Folded Reload
	ret
LBB0_21:
	bl	_gcc_unreachable
	brk	#0x1
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh13
	.loh AdrpLdrGot	Lloh18, Lloh19
	.loh AdrpLdrGot	Lloh16, Lloh17
	.cfi_endproc
                                        ; -- End function
	.comm	_found_in_subgraph,4,2          ; @found_in_subgraph
	.comm	_COND_EXPR,8,3                  ; @COND_EXPR
	.comm	_EDGE_FALSE_VALUE,4,2           ; @EDGE_FALSE_VALUE
	.comm	_EQ_EXPR,4,2                    ; @EQ_EXPR
	.comm	_boolean_false_node,8,3         ; @boolean_false_node
	.comm	_boolean_true_node,8,3          ; @boolean_true_node
	.comm	_GT_EXPR,4,2                    ; @GT_EXPR
	.comm	_LT_EXPR,4,2                    ; @LT_EXPR
	.no_dead_strip	_register_edge_assert_for
.subsections_via_symbols
