	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function simplify_using_initial_conditions
_simplify_using_initial_conditions:     ## @simplify_using_initial_conditions
	.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
	movq	%rdx, -56(%rbp)                 ## 8-byte Spill
	movq	%rsi, %r14
	movq	%rdi, %rbx
	movq	%rsi, %rdi
	callq	_TREE_CODE
	movq	_INTEGER_CST@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	movq	%r14, -48(%rbp)                 ## 8-byte Spill
	je	LBB0_13
## %bb.1:
	movq	(%rbx), %rbx
	movq	_ENTRY_BLOCK_PTR@GOTPCREL(%rip), %r12
	cmpq	(%r12), %rbx
	je	LBB0_13
## %bb.2:
	movq	_MAX_DOMINATORS_TO_WALK@GOTPCREL(%rip), %rax
	cmpl	$0, (%rax)
	jle	LBB0_13
## %bb.3:
	xorl	%r14d, %r14d
	movq	_EDGE_FALSE_VALUE@GOTPCREL(%rip), %r13
	.p2align	4, 0x90
LBB0_4:                                 ## =>This Inner Loop Header: Depth=1
	movq	%rbx, %rdi
	callq	_single_pred_p
	testl	%eax, %eax
	je	LBB0_11
## %bb.5:                               ##   in Loop: Header=BB0_4 Depth=1
	movq	%rbx, %rdi
	callq	_single_pred_edge
	movq	%rax, %r15
	movl	(%r13), %eax
	movq	_EDGE_TRUE_VALUE@GOTPCREL(%rip), %rcx
	orl	(%rcx), %eax
	testl	%eax, (%r15)
	je	LBB0_11
## %bb.6:                               ##   in Loop: Header=BB0_4 Depth=1
	movl	4(%r15), %edi
	callq	_last_stmt
	movl	%eax, %edi
	callq	_COND_EXPR_COND
	movq	%rax, %r12
	movl	(%r13), %eax
	testl	%eax, (%r15)
	je	LBB0_8
## %bb.7:                               ##   in Loop: Header=BB0_4 Depth=1
	movq	%r12, %rdi
	callq	_invert_truthvalue
	movq	%rax, %r12
LBB0_8:                                 ##   in Loop: Header=BB0_4 Depth=1
	movq	%r12, %rdi
	movq	-48(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rsi
	callq	_tree_simplify_using_condition
	movq	%rax, %r13
	cmpq	%r15, %rax
	je	LBB0_10
## %bb.9:                               ##   in Loop: Header=BB0_4 Depth=1
	movq	_TRUTH_AND_EXPR@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_boolean_type_node@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	-56(%rbp), %r15                 ## 8-byte Reload
	movq	(%r15), %rdx
	movq	%r12, %rcx
	callq	_fold_build2
	movq	%rax, (%r15)
LBB0_10:                                ##   in Loop: Header=BB0_4 Depth=1
	incl	%r14d
	movq	%r13, -48(%rbp)                 ## 8-byte Spill
	movq	_ENTRY_BLOCK_PTR@GOTPCREL(%rip), %r12
	movq	_EDGE_FALSE_VALUE@GOTPCREL(%rip), %r13
LBB0_11:                                ##   in Loop: Header=BB0_4 Depth=1
	movq	_CDI_DOMINATORS@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	%rbx, %rsi
	callq	_get_immediate_dominator
	cmpq	(%r12), %rax
	je	LBB0_13
## %bb.12:                              ##   in Loop: Header=BB0_4 Depth=1
	movq	%rax, %rbx
	movq	_MAX_DOMINATORS_TO_WALK@GOTPCREL(%rip), %rax
	cmpl	(%rax), %r14d
	jl	LBB0_4
LBB0_13:
	movq	-48(%rbp), %rax                 ## 8-byte Reload
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_INTEGER_CST,8,3                ## @INTEGER_CST
	.comm	_ENTRY_BLOCK_PTR,8,3            ## @ENTRY_BLOCK_PTR
	.comm	_MAX_DOMINATORS_TO_WALK,4,2     ## @MAX_DOMINATORS_TO_WALK
	.comm	_EDGE_TRUE_VALUE,4,2            ## @EDGE_TRUE_VALUE
	.comm	_EDGE_FALSE_VALUE,4,2           ## @EDGE_FALSE_VALUE
	.comm	_TRUTH_AND_EXPR,4,2             ## @TRUTH_AND_EXPR
	.comm	_boolean_type_node,4,2          ## @boolean_type_node
	.comm	_CDI_DOMINATORS,4,2             ## @CDI_DOMINATORS
	.no_dead_strip	_simplify_using_initial_conditions
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function simplify_using_initial_conditions
_simplify_using_initial_conditions:     ; @simplify_using_initial_conditions
	.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
	mov	x19, x2
	mov	x20, x1
	mov	x21, x0
	mov	x0, x1
	bl	_TREE_CODE
Lloh0:
	adrp	x8, _INTEGER_CST@GOTPAGE
Lloh1:
	ldr	x8, [x8, _INTEGER_CST@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_2
; %bb.1:
	ldr	x21, [x21]
Lloh3:
	adrp	x24, _ENTRY_BLOCK_PTR@GOTPAGE
Lloh4:
	ldr	x24, [x24, _ENTRY_BLOCK_PTR@GOTPAGEOFF]
	ldr	x8, [x24]
Lloh5:
	adrp	x25, _MAX_DOMINATORS_TO_WALK@GOTPAGE
Lloh6:
	ldr	x25, [x25, _MAX_DOMINATORS_TO_WALK@GOTPAGEOFF]
	ldr	w9, [x25]
	cmp	x21, x8
	ccmp	w9, #1, #8, ne
	b.ge	LBB0_3
LBB0_2:
	mov	x0, x20
	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_3:
	mov	w26, #0
Lloh7:
	adrp	x27, _CDI_DOMINATORS@GOTPAGE
Lloh8:
	ldr	x27, [x27, _CDI_DOMINATORS@GOTPAGEOFF]
Lloh9:
	adrp	x28, _EDGE_FALSE_VALUE@GOTPAGE
Lloh10:
	ldr	x28, [x28, _EDGE_FALSE_VALUE@GOTPAGEOFF]
	b	LBB0_6
LBB0_4:                                 ;   in Loop: Header=BB0_6 Depth=1
	add	w26, w26, #1
	mov	x20, x23
LBB0_5:                                 ;   in Loop: Header=BB0_6 Depth=1
	ldr	w0, [x27]
	mov	x1, x21
	bl	_get_immediate_dominator
	mov	x21, x0
	ldr	x8, [x24]
	ldr	w9, [x25]
	cmp	x0, x8
	ccmp	w26, w9, #0, ne
	b.ge	LBB0_2
LBB0_6:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x21
	bl	_single_pred_p
	cbz	w0, LBB0_5
; %bb.7:                                ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, x21
	bl	_single_pred_edge
	ldr	w8, [x0]
Lloh11:
	adrp	x9, _EDGE_TRUE_VALUE@GOTPAGE
Lloh12:
	ldr	x9, [x9, _EDGE_TRUE_VALUE@GOTPAGEOFF]
Lloh13:
	ldr	w9, [x9]
	ldr	w10, [x28]
	orr	w9, w10, w9
	tst	w9, w8
	b.eq	LBB0_5
; %bb.8:                                ;   in Loop: Header=BB0_6 Depth=1
	mov	x23, x0
	ldr	w0, [x0, #4]
	bl	_last_stmt
	bl	_COND_EXPR_COND
	mov	x22, x0
	ldr	w8, [x23]
	ldr	w9, [x28]
	tst	w9, w8
	b.eq	LBB0_10
; %bb.9:                                ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, x22
	bl	_invert_truthvalue
	mov	x22, x0
LBB0_10:                                ;   in Loop: Header=BB0_6 Depth=1
	mov	x0, x22
	mov	x1, x20
	bl	_tree_simplify_using_condition
	mov	x23, x0
	cmp	x0, x20
	b.eq	LBB0_4
; %bb.11:                               ;   in Loop: Header=BB0_6 Depth=1
Lloh14:
	adrp	x8, _TRUTH_AND_EXPR@GOTPAGE
Lloh15:
	ldr	x8, [x8, _TRUTH_AND_EXPR@GOTPAGEOFF]
Lloh16:
	ldr	w0, [x8]
Lloh17:
	adrp	x8, _boolean_type_node@GOTPAGE
Lloh18:
	ldr	x8, [x8, _boolean_type_node@GOTPAGEOFF]
Lloh19:
	ldr	w1, [x8]
	ldr	x2, [x19]
	mov	x3, x22
	bl	_fold_build2
	str	x0, [x19]
	b	LBB0_4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.cfi_endproc
                                        ; -- End function
	.comm	_INTEGER_CST,8,3                ; @INTEGER_CST
	.comm	_ENTRY_BLOCK_PTR,8,3            ; @ENTRY_BLOCK_PTR
	.comm	_MAX_DOMINATORS_TO_WALK,4,2     ; @MAX_DOMINATORS_TO_WALK
	.comm	_EDGE_TRUE_VALUE,4,2            ; @EDGE_TRUE_VALUE
	.comm	_EDGE_FALSE_VALUE,4,2           ; @EDGE_FALSE_VALUE
	.comm	_TRUTH_AND_EXPR,4,2             ; @TRUTH_AND_EXPR
	.comm	_boolean_type_node,4,2          ; @boolean_type_node
	.comm	_CDI_DOMINATORS,4,2             ; @CDI_DOMINATORS
	.no_dead_strip	_simplify_using_initial_conditions
.subsections_via_symbols
