	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_dump_sa_points_to_info         ## -- Begin function dump_sa_points_to_info
	.p2align	4, 0x90
_dump_sa_points_to_info:                ## @dump_sa_points_to_info
	.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	%r12
	pushq	%rbx
	.cfi_offset %rbx, -48
	.cfi_offset %r12, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdi, %r14
	leaq	L_.str(%rip), %rdi
	movl	$17, %esi
	movl	$1, %edx
	movq	%r14, %rcx
	callq	_fwrite
	movq	_dump_flags@GOTPCREL(%rip), %rax
	movq	_TDF_STATS@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	testl	%ecx, (%rax)
	je	LBB0_2
## %bb.1:
	leaq	L_.str.1(%rip), %rdi
	movl	$7, %esi
	movl	$1, %edx
	movq	%r14, %rcx
	callq	_fwrite
	movq	_stats@GOTPCREL(%rip), %rbx
	movl	(%rbx), %edx
	leaq	L_.str.2(%rip), %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	4(%rbx), %edx
	leaq	L_.str.3(%rip), %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	8(%rbx), %edx
	leaq	L_.str.4(%rip), %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	12(%rbx), %edx
	leaq	L_.str.5(%rip), %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	16(%rbx), %edx
	leaq	L_.str.6(%rip), %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	20(%rbx), %edx
	leaq	L_.str.7(%rip), %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	24(%rbx), %edx
	leaq	L_.str.8(%rip), %rsi
	movq	%r14, %rdi
	xorl	%eax, %eax
	callq	_fprintf
LBB0_2:
	movq	_varinfo_t@GOTPCREL(%rip), %r15
	movl	(%r15), %edi
	movq	_varmap@GOTPCREL(%rip), %r12
	movl	(%r12), %esi
	callq	_VEC_length
	testl	%eax, %eax
	je	LBB0_5
## %bb.3:
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_4:                                 ## =>This Inner Loop Header: Depth=1
	movq	%r14, %rdi
	movl	%ebx, %esi
	callq	_dump_solution_for_var
	incl	%ebx
	movl	(%r15), %edi
	movl	(%r12), %esi
	callq	_VEC_length
	cmpl	%eax, %ebx
	jb	LBB0_4
LBB0_5:
	popq	%rbx
	popq	%r12
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"\nPoints-to sets\n\n"

	.comm	_dump_flags,4,2                 ## @dump_flags
	.comm	_TDF_STATS,4,2                  ## @TDF_STATS
L_.str.1:                               ## @.str.1
	.asciz	"Stats:\n"

L_.str.2:                               ## @.str.2
	.asciz	"Total vars:               %d\n"

	.comm	_stats,28,2                     ## @stats
L_.str.3:                               ## @.str.3
	.asciz	"Non-pointer vars:          %d\n"

L_.str.4:                               ## @.str.4
	.asciz	"Statically unified vars:  %d\n"

L_.str.5:                               ## @.str.5
	.asciz	"Dynamically unified vars: %d\n"

L_.str.6:                               ## @.str.6
	.asciz	"Iterations:               %d\n"

L_.str.7:                               ## @.str.7
	.asciz	"Number of edges:          %d\n"

L_.str.8:                               ## @.str.8
	.asciz	"Number of implicit edges: %d\n"

	.comm	_varinfo_t,4,2                  ## @varinfo_t
	.comm	_varmap,4,2                     ## @varmap
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_dump_sa_points_to_info         ; -- Begin function dump_sa_points_to_info
	.p2align	2
_dump_sa_points_to_info:                ; @dump_sa_points_to_info
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #64
	.cfi_def_cfa_offset 64
	stp	x22, x21, [sp, #16]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #48]             ; 16-byte Folded Spill
	add	x29, sp, #48
	.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
	mov	x19, x0
Lloh0:
	adrp	x0, l_.str@PAGE
Lloh1:
	add	x0, x0, l_.str@PAGEOFF
	mov	w1, #17
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh2:
	adrp	x8, _dump_flags@GOTPAGE
Lloh3:
	ldr	x8, [x8, _dump_flags@GOTPAGEOFF]
Lloh4:
	ldr	w8, [x8]
Lloh5:
	adrp	x9, _TDF_STATS@GOTPAGE
Lloh6:
	ldr	x9, [x9, _TDF_STATS@GOTPAGEOFF]
Lloh7:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_2
; %bb.1:
Lloh8:
	adrp	x0, l_.str.1@PAGE
Lloh9:
	add	x0, x0, l_.str.1@PAGEOFF
	mov	w1, #7
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh10:
	adrp	x20, _stats@GOTPAGE
Lloh11:
	ldr	x20, [x20, _stats@GOTPAGEOFF]
	ldr	w8, [x20]
	str	x8, [sp]
Lloh12:
	adrp	x1, l_.str.2@PAGE
Lloh13:
	add	x1, x1, l_.str.2@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x20, #4]
	str	x8, [sp]
Lloh14:
	adrp	x1, l_.str.3@PAGE
Lloh15:
	add	x1, x1, l_.str.3@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x20, #8]
	str	x8, [sp]
Lloh16:
	adrp	x1, l_.str.4@PAGE
Lloh17:
	add	x1, x1, l_.str.4@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x20, #12]
	str	x8, [sp]
Lloh18:
	adrp	x1, l_.str.5@PAGE
Lloh19:
	add	x1, x1, l_.str.5@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x20, #16]
	str	x8, [sp]
Lloh20:
	adrp	x1, l_.str.6@PAGE
Lloh21:
	add	x1, x1, l_.str.6@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x20, #20]
	str	x8, [sp]
Lloh22:
	adrp	x1, l_.str.7@PAGE
Lloh23:
	add	x1, x1, l_.str.7@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x20, #24]
	str	x8, [sp]
Lloh24:
	adrp	x1, l_.str.8@PAGE
Lloh25:
	add	x1, x1, l_.str.8@PAGEOFF
	mov	x0, x19
	bl	_fprintf
LBB0_2:
Lloh26:
	adrp	x21, _varinfo_t@GOTPAGE
Lloh27:
	ldr	x21, [x21, _varinfo_t@GOTPAGEOFF]
	ldr	w0, [x21]
Lloh28:
	adrp	x22, _varmap@GOTPAGE
Lloh29:
	ldr	x22, [x22, _varmap@GOTPAGEOFF]
	ldr	w1, [x22]
	bl	_VEC_length
	cbz	w0, LBB0_5
; %bb.3:
	mov	w20, #0
LBB0_4:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x19
	mov	x1, x20
	bl	_dump_solution_for_var
	add	w20, w20, #1
	ldr	w0, [x21]
	ldr	w1, [x22]
	bl	_VEC_length
	cmp	w20, w0
	b.lo	LBB0_4
LBB0_5:
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #64
	ret
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh24, Lloh25
	.loh AdrpAdd	Lloh22, Lloh23
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh28, Lloh29
	.loh AdrpLdrGot	Lloh26, Lloh27
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"\nPoints-to sets\n\n"

	.comm	_dump_flags,4,2                 ; @dump_flags
	.comm	_TDF_STATS,4,2                  ; @TDF_STATS
l_.str.1:                               ; @.str.1
	.asciz	"Stats:\n"

l_.str.2:                               ; @.str.2
	.asciz	"Total vars:               %d\n"

	.comm	_stats,28,2                     ; @stats
l_.str.3:                               ; @.str.3
	.asciz	"Non-pointer vars:          %d\n"

l_.str.4:                               ; @.str.4
	.asciz	"Statically unified vars:  %d\n"

l_.str.5:                               ; @.str.5
	.asciz	"Dynamically unified vars: %d\n"

l_.str.6:                               ; @.str.6
	.asciz	"Iterations:               %d\n"

l_.str.7:                               ; @.str.7
	.asciz	"Number of edges:          %d\n"

l_.str.8:                               ; @.str.8
	.asciz	"Number of implicit edges: %d\n"

	.comm	_varinfo_t,4,2                  ; @varinfo_t
	.comm	_varmap,4,2                     ; @varmap
.subsections_via_symbols
