	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ssa_propagate                  ## -- Begin function ssa_propagate
	.p2align	4, 0x90
_ssa_propagate:                         ## @ssa_propagate
	.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	%rbx
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_ssa_prop_visit_stmt@GOTPCREL(%rip), %rax
	movl	%edi, (%rax)
	movq	_ssa_prop_visit_phi@GOTPCREL(%rip), %rax
	movl	%esi, (%rax)
	xorl	%eax, %eax
	callq	_ssa_prop_init
	movq	_varying_ssa_edges@GOTPCREL(%rip), %r14
	movq	_interesting_ssa_edges@GOTPCREL(%rip), %rbx
	movq	_tree@GOTPCREL(%rip), %r15
	jmp	LBB0_1
	.p2align	4, 0x90
LBB0_4:                                 ##   in Loop: Header=BB0_1 Depth=1
	xorl	%eax, %eax
	callq	_cfg_blocks_empty_p
	testl	%eax, %eax
	je	LBB0_5
LBB0_6:                                 ##   in Loop: Header=BB0_1 Depth=1
	movq	%r14, %rdi
	callq	_process_ssa_edge_worklist
	movq	%rbx, %rdi
	callq	_process_ssa_edge_worklist
LBB0_1:                                 ## =>This Inner Loop Header: Depth=1
	xorl	%eax, %eax
	callq	_cfg_blocks_empty_p
	testl	%eax, %eax
	je	LBB0_4
## %bb.2:                               ##   in Loop: Header=BB0_1 Depth=1
	movl	(%r15), %edi
	movl	(%rbx), %esi
	callq	_VEC_length
	testq	%rax, %rax
	jg	LBB0_4
## %bb.3:                               ##   in Loop: Header=BB0_1 Depth=1
	movl	(%r15), %edi
	movl	(%r14), %esi
	callq	_VEC_length
	testq	%rax, %rax
	jg	LBB0_4
	jmp	LBB0_7
	.p2align	4, 0x90
LBB0_5:                                 ##   in Loop: Header=BB0_1 Depth=1
	xorl	%eax, %eax
	callq	_cfg_blocks_get
	movl	%eax, %edi
	callq	_simulate_block
	jmp	LBB0_6
LBB0_7:
	xorl	%eax, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_ssa_prop_fini                  ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_ssa_prop_visit_stmt,4,2        ## @ssa_prop_visit_stmt
	.comm	_ssa_prop_visit_phi,4,2         ## @ssa_prop_visit_phi
	.comm	_tree,4,2                       ## @tree
	.comm	_interesting_ssa_edges,4,2      ## @interesting_ssa_edges
	.comm	_varying_ssa_edges,4,2          ## @varying_ssa_edges
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ssa_propagate                  ; -- Begin function ssa_propagate
	.p2align	2
_ssa_propagate:                         ; @ssa_propagate
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.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
Lloh0:
	adrp	x8, _ssa_prop_visit_stmt@GOTPAGE
Lloh1:
	ldr	x8, [x8, _ssa_prop_visit_stmt@GOTPAGEOFF]
Lloh2:
	str	w0, [x8]
Lloh3:
	adrp	x8, _ssa_prop_visit_phi@GOTPAGE
Lloh4:
	ldr	x8, [x8, _ssa_prop_visit_phi@GOTPAGEOFF]
Lloh5:
	str	w1, [x8]
	bl	_ssa_prop_init
Lloh6:
	adrp	x19, _varying_ssa_edges@GOTPAGE
Lloh7:
	ldr	x19, [x19, _varying_ssa_edges@GOTPAGEOFF]
Lloh8:
	adrp	x20, _interesting_ssa_edges@GOTPAGE
Lloh9:
	ldr	x20, [x20, _interesting_ssa_edges@GOTPAGEOFF]
Lloh10:
	adrp	x21, _tree@GOTPAGE
Lloh11:
	ldr	x21, [x21, _tree@GOTPAGEOFF]
	b	LBB0_3
LBB0_1:                                 ;   in Loop: Header=BB0_3 Depth=1
	bl	_cfg_blocks_empty_p
	cbz	w0, LBB0_6
LBB0_2:                                 ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x19
	bl	_process_ssa_edge_worklist
	mov	x0, x20
	bl	_process_ssa_edge_worklist
LBB0_3:                                 ; =>This Inner Loop Header: Depth=1
	bl	_cfg_blocks_empty_p
	cbz	w0, LBB0_1
; %bb.4:                                ;   in Loop: Header=BB0_3 Depth=1
	ldr	w0, [x21]
	ldr	w1, [x20]
	bl	_VEC_length
	cmp	x0, #0
	b.gt	LBB0_1
; %bb.5:                                ;   in Loop: Header=BB0_3 Depth=1
	ldr	w0, [x21]
	ldr	w1, [x19]
	bl	_VEC_length
	cmp	x0, #1
	b.ge	LBB0_1
	b	LBB0_7
LBB0_6:                                 ;   in Loop: Header=BB0_3 Depth=1
	bl	_cfg_blocks_get
	bl	_simulate_block
	b	LBB0_2
LBB0_7:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	b	_ssa_prop_fini
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGotStr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotStr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_ssa_prop_visit_stmt,4,2        ; @ssa_prop_visit_stmt
	.comm	_ssa_prop_visit_phi,4,2         ; @ssa_prop_visit_phi
	.comm	_tree,4,2                       ; @tree
	.comm	_interesting_ssa_edges,4,2      ; @interesting_ssa_edges
	.comm	_varying_ssa_edges,4,2          ; @varying_ssa_edges
.subsections_via_symbols
