	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function copy_prop_visit_cond_stmt
_copy_prop_visit_cond_stmt:             ## @copy_prop_visit_cond_stmt
	.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	%rsi, %r14
	movq	%rdi, %r12
	callq	_COND_EXPR_COND
	movq	%rax, %rbx
	movq	_SSA_PROP_VARYING@GOTPCREL(%rip), %rax
	movl	(%rax), %r15d
	movq	%rbx, %rdi
	callq	_COMPARISON_CLASS_P
	testq	%rax, %rax
	je	LBB0_10
## %bb.1:
	movq	%rbx, %rdi
	xorl	%esi, %esi
	callq	_TREE_OPERAND
	movq	%rax, %rdi
	callq	_TREE_CODE
	movq	_SSA_NAME@GOTPCREL(%rip), %r13
	cmpq	(%r13), %rax
	jne	LBB0_10
## %bb.2:
	movq	%rbx, %rdi
	movl	$1, %esi
	callq	_TREE_OPERAND
	movq	%rax, %rdi
	callq	_TREE_CODE
	cmpq	(%r13), %rax
	jne	LBB0_10
## %bb.3:
	movq	%rbx, %rdi
	xorl	%esi, %esi
	callq	_TREE_OPERAND
	movq	%rax, %rdi
	callq	_get_last_copy_of
	movq	%rax, %r13
	movq	%rbx, %rdi
	movl	$1, %esi
	callq	_TREE_OPERAND
	movq	%rax, %rdi
	callq	_get_last_copy_of
	movq	%rax, %rdx
	movq	_dump_file@GOTPCREL(%rip), %rax
	movq	(%rax), %rdi
	testq	%rdi, %rdi
	je	LBB0_6
## %bb.4:
	movq	_dump_flags@GOTPCREL(%rip), %rax
	movq	_TDF_DETAILS@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	testl	%ecx, (%rax)
	je	LBB0_6
## %bb.5:
	leaq	L_.str(%rip), %rsi
	xorl	%eax, %eax
	movq	%rdx, -48(%rbp)                 ## 8-byte Spill
	callq	_fprintf
	movq	_dump_file@GOTPCREL(%rip), %rax
	movq	(%rax), %rdi
	leaq	L_.str.1(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
	movq	_dump_file@GOTPCREL(%rip), %rax
	movq	(%rax), %rdi
	movq	%rbx, %rsi
	xorl	%edx, %edx
	callq	_print_generic_stmt
	movq	-48(%rbp), %rdx                 ## 8-byte Reload
LBB0_6:
	cmpq	%rdx, %r13
	jne	LBB0_10
## %bb.7:
	movq	%rbx, %rdi
	callq	_TREE_CODE
	movq	_boolean_type_node@GOTPCREL(%rip), %rcx
	movl	(%rcx), %esi
	movq	%rax, %rdi
	movq	%r13, %rdx
	movq	%r13, %rcx
	callq	_fold_binary
	testq	%rax, %rax
	je	LBB0_10
## %bb.8:
	movq	%rax, %rbx
	movq	%r12, %rdi
	callq	_bb_for_stmt
	movl	%eax, %edi
	movq	%rbx, %rsi
	callq	_find_taken_edge
	movq	%rax, (%r14)
	testq	%rax, %rax
	je	LBB0_10
## %bb.9:
	movq	_SSA_PROP_INTERESTING@GOTPCREL(%rip), %rax
	movl	(%rax), %r15d
LBB0_10:
	movq	_dump_file@GOTPCREL(%rip), %rax
	movq	(%rax), %rdi
	testq	%rdi, %rdi
	je	LBB0_14
## %bb.11:
	movq	_dump_flags@GOTPCREL(%rip), %rax
	movq	_TDF_DETAILS@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	testl	%ecx, (%rax)
	je	LBB0_14
## %bb.12:
	movq	(%r14), %rax
	testq	%rax, %rax
	je	LBB0_14
## %bb.13:
	movq	(%rax), %rcx
	movq	8(%rax), %rax
	movl	(%rax), %edx
	movl	(%rcx), %ecx
	leaq	L_.str.2(%rip), %rsi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_14:
	movl	%r15d, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_SSA_PROP_VARYING,4,2           ## @SSA_PROP_VARYING
	.comm	_SSA_NAME,8,3                   ## @SSA_NAME
	.comm	_dump_file,8,3                  ## @dump_file
	.comm	_dump_flags,4,2                 ## @dump_flags
	.comm	_TDF_DETAILS,4,2                ## @TDF_DETAILS
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Trying to determine truth value of "

L_.str.1:                               ## @.str.1
	.asciz	"predicate "

	.comm	_boolean_type_node,4,2          ## @boolean_type_node
	.comm	_SSA_PROP_INTERESTING,4,2       ## @SSA_PROP_INTERESTING
L_.str.2:                               ## @.str.2
	.asciz	"\nConditional will always take edge %d->%d\n"

	.no_dead_strip	_copy_prop_visit_cond_stmt
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function copy_prop_visit_cond_stmt
_copy_prop_visit_cond_stmt:             ; @copy_prop_visit_cond_stmt
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #96
	.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
	mov	x20, x1
	mov	x21, x0
	bl	_COND_EXPR_COND
	mov	x22, x0
Lloh0:
	adrp	x8, _SSA_PROP_VARYING@GOTPAGE
Lloh1:
	ldr	x8, [x8, _SSA_PROP_VARYING@GOTPAGEOFF]
Lloh2:
	ldr	w19, [x8]
	bl	_COMPARISON_CLASS_P
Lloh3:
	adrp	x25, _dump_file@GOTPAGE
Lloh4:
	ldr	x25, [x25, _dump_file@GOTPAGEOFF]
	cbz	x0, LBB0_9
; %bb.1:
	mov	x0, x22
	mov	w1, #0
	bl	_TREE_OPERAND
	bl	_TREE_CODE
Lloh5:
	adrp	x23, _SSA_NAME@GOTPAGE
Lloh6:
	ldr	x23, [x23, _SSA_NAME@GOTPAGEOFF]
	ldr	x8, [x23]
	cmp	x0, x8
	b.ne	LBB0_9
; %bb.2:
	mov	x0, x22
	mov	w1, #1
	bl	_TREE_OPERAND
	bl	_TREE_CODE
	ldr	x8, [x23]
	cmp	x0, x8
	b.ne	LBB0_9
; %bb.3:
	mov	x0, x22
	mov	w1, #0
	bl	_TREE_OPERAND
	bl	_get_last_copy_of
	mov	x23, x0
	mov	x0, x22
	mov	w1, #1
	bl	_TREE_OPERAND
	bl	_get_last_copy_of
	mov	x24, x0
	ldr	x0, [x25]
	cbz	x0, LBB0_6
; %bb.4:
Lloh7:
	adrp	x8, _dump_flags@GOTPAGE
Lloh8:
	ldr	x8, [x8, _dump_flags@GOTPAGEOFF]
Lloh9:
	ldr	w8, [x8]
Lloh10:
	adrp	x9, _TDF_DETAILS@GOTPAGE
Lloh11:
	ldr	x9, [x9, _TDF_DETAILS@GOTPAGEOFF]
Lloh12:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_6
; %bb.5:
Lloh13:
	adrp	x1, l_.str@PAGE
Lloh14:
	add	x1, x1, l_.str@PAGEOFF
	bl	_fprintf
	ldr	x0, [x25]
Lloh15:
	adrp	x1, l_.str.1@PAGE
Lloh16:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_fprintf
	ldr	x0, [x25]
	mov	x1, x22
	mov	w2, #0
	bl	_print_generic_stmt
LBB0_6:
	cmp	x23, x24
	b.ne	LBB0_9
; %bb.7:
	mov	x0, x22
	bl	_TREE_CODE
Lloh17:
	adrp	x8, _boolean_type_node@GOTPAGE
Lloh18:
	ldr	x8, [x8, _boolean_type_node@GOTPAGEOFF]
Lloh19:
	ldr	w1, [x8]
	mov	x2, x23
	mov	x3, x23
	bl	_fold_binary
	cbz	x0, LBB0_9
; %bb.8:
	mov	x22, x0
	mov	x0, x21
	bl	_bb_for_stmt
	mov	x1, x22
	bl	_find_taken_edge
	str	x0, [x20]
Lloh20:
	adrp	x8, _SSA_PROP_INTERESTING@GOTPAGE
Lloh21:
	ldr	x8, [x8, _SSA_PROP_INTERESTING@GOTPAGEOFF]
Lloh22:
	ldr	w8, [x8]
	cmp	x0, #0
	csel	w19, w19, w8, eq
LBB0_9:
	ldr	x0, [x25]
	cbz	x0, LBB0_13
; %bb.10:
Lloh23:
	adrp	x8, _dump_flags@GOTPAGE
Lloh24:
	ldr	x8, [x8, _dump_flags@GOTPAGEOFF]
Lloh25:
	ldr	w8, [x8]
Lloh26:
	adrp	x9, _TDF_DETAILS@GOTPAGE
Lloh27:
	ldr	x9, [x9, _TDF_DETAILS@GOTPAGEOFF]
Lloh28:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_13
; %bb.11:
	ldr	x8, [x20]
	cbz	x8, LBB0_13
; %bb.12:
	ldp	x8, x9, [x8]
	ldr	w9, [x9]
	ldr	w8, [x8]
	stp	x9, x8, [sp]
Lloh29:
	adrp	x1, l_.str.2@PAGE
Lloh30:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_fprintf
LBB0_13:
	mov	x0, x19
	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
	add	sp, sp, #96
	ret
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpAdd	Lloh29, Lloh30
	.cfi_endproc
                                        ; -- End function
	.comm	_SSA_PROP_VARYING,4,2           ; @SSA_PROP_VARYING
	.comm	_SSA_NAME,8,3                   ; @SSA_NAME
	.comm	_dump_file,8,3                  ; @dump_file
	.comm	_dump_flags,4,2                 ; @dump_flags
	.comm	_TDF_DETAILS,4,2                ; @TDF_DETAILS
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Trying to determine truth value of "

l_.str.1:                               ; @.str.1
	.asciz	"predicate "

	.comm	_boolean_type_node,4,2          ; @boolean_type_node
	.comm	_SSA_PROP_INTERESTING,4,2       ; @SSA_PROP_INTERESTING
l_.str.2:                               ; @.str.2
	.asciz	"\nConditional will always take edge %d->%d\n"

	.no_dead_strip	_copy_prop_visit_cond_stmt
.subsections_via_symbols
