	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function dump_chrecs_stats
_dump_chrecs_stats:                     ## @dump_chrecs_stats
	.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	%rsi, %r15
	movq	%rdi, %rbx
	leaq	L_.str(%rip), %rdi
	movl	$3, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	callq	_fwrite
	leaq	L_.str.1(%rip), %r14
	movl	$42, %esi
	movl	$1, %edx
	movq	%r14, %rdi
	movq	%rbx, %rcx
	callq	_fwrite
	movl	(%r15), %edx
	leaq	L_.str.2(%rip), %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	4(%r15), %edx
	leaq	L_.str.3(%rip), %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	8(%r15), %edx
	leaq	L_.str.4(%rip), %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	12(%r15), %edx
	leaq	L_.str.5(%rip), %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	$42, %esi
	movl	$1, %edx
	movq	%r14, %rdi
	movq	%rbx, %rcx
	callq	_fwrite
	movl	16(%r15), %edx
	leaq	L_.str.6(%rip), %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	20(%r15), %edx
	leaq	L_.str.7(%rip), %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	$42, %esi
	movl	$1, %edx
	movq	%r14, %rdi
	movq	%rbx, %rcx
	callq	_fwrite
	movq	_scalar_evolution_info@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_htab_elements
	leaq	L_.str.8(%rip), %rsi
	movq	%rbx, %rdi
	movl	%eax, %edx
	xorl	%eax, %eax
	callq	_fprintf
	movq	_nb_set_scev@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	leaq	L_.str.9(%rip), %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movq	_nb_get_scev@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	leaq	L_.str.10(%rip), %rsi
	movq	%rbx, %rdi
	xorl	%eax, %eax
	callq	_fprintf
	movl	$42, %esi
	movl	$1, %edx
	movq	%r14, %rdi
	movq	%rbx, %rcx
	callq	_fwrite
	leaq	L_.str.11(%rip), %rdi
	movl	$3, %esi
	movl	$1, %edx
	movq	%rbx, %rcx
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fwrite                         ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"\n(\n"

L_.str.1:                               ## @.str.1
	.asciz	"-----------------------------------------\n"

L_.str.2:                               ## @.str.2
	.asciz	"%d\taffine univariate chrecs\n"

L_.str.3:                               ## @.str.3
	.asciz	"%d\taffine multivariate chrecs\n"

L_.str.4:                               ## @.str.4
	.asciz	"%d\tdegree greater than 2 polynomials\n"

L_.str.5:                               ## @.str.5
	.asciz	"%d\tchrec_dont_know chrecs\n"

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

L_.str.7:                               ## @.str.7
	.asciz	"%d\twith undetermined coefficients\n"

L_.str.8:                               ## @.str.8
	.asciz	"%d\tchrecs in the scev database\n"

	.comm	_scalar_evolution_info,4,2      ## @scalar_evolution_info
L_.str.9:                               ## @.str.9
	.asciz	"%d\tsets in the scev database\n"

	.comm	_nb_set_scev,4,2                ## @nb_set_scev
L_.str.10:                              ## @.str.10
	.asciz	"%d\tgets in the scev database\n"

	.comm	_nb_get_scev,4,2                ## @nb_get_scev
L_.str.11:                              ## @.str.11
	.asciz	")\n\n"

	.no_dead_strip	_dump_chrecs_stats
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function dump_chrecs_stats
_dump_chrecs_stats:                     ; @dump_chrecs_stats
	.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	x21, x1
	mov	x19, x0
Lloh0:
	adrp	x0, l_.str@PAGE
Lloh1:
	add	x0, x0, l_.str@PAGEOFF
	mov	w1, #3
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh2:
	adrp	x20, l_.str.1@PAGE
Lloh3:
	add	x20, x20, l_.str.1@PAGEOFF
	mov	x0, x20
	mov	w1, #42
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
	ldr	w8, [x21]
	str	x8, [sp]
Lloh4:
	adrp	x1, l_.str.2@PAGE
Lloh5:
	add	x1, x1, l_.str.2@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x21, #4]
	str	x8, [sp]
Lloh6:
	adrp	x1, l_.str.3@PAGE
Lloh7:
	add	x1, x1, l_.str.3@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x21, #8]
	str	x8, [sp]
Lloh8:
	adrp	x1, l_.str.4@PAGE
Lloh9:
	add	x1, x1, l_.str.4@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x21, #12]
	str	x8, [sp]
Lloh10:
	adrp	x1, l_.str.5@PAGE
Lloh11:
	add	x1, x1, l_.str.5@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	mov	x0, x20
	mov	w1, #42
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
	ldr	w8, [x21, #16]
	str	x8, [sp]
Lloh12:
	adrp	x1, l_.str.6@PAGE
Lloh13:
	add	x1, x1, l_.str.6@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	ldr	w8, [x21, #20]
	str	x8, [sp]
Lloh14:
	adrp	x1, l_.str.7@PAGE
Lloh15:
	add	x1, x1, l_.str.7@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	mov	x0, x20
	mov	w1, #42
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh16:
	adrp	x8, _scalar_evolution_info@GOTPAGE
Lloh17:
	ldr	x8, [x8, _scalar_evolution_info@GOTPAGEOFF]
Lloh18:
	ldr	w0, [x8]
	bl	_htab_elements
	str	x0, [sp]
Lloh19:
	adrp	x1, l_.str.8@PAGE
Lloh20:
	add	x1, x1, l_.str.8@PAGEOFF
	mov	x0, x19
	bl	_fprintf
Lloh21:
	adrp	x8, _nb_set_scev@GOTPAGE
Lloh22:
	ldr	x8, [x8, _nb_set_scev@GOTPAGEOFF]
Lloh23:
	ldr	w8, [x8]
	str	x8, [sp]
Lloh24:
	adrp	x1, l_.str.9@PAGE
Lloh25:
	add	x1, x1, l_.str.9@PAGEOFF
	mov	x0, x19
	bl	_fprintf
Lloh26:
	adrp	x8, _nb_get_scev@GOTPAGE
Lloh27:
	ldr	x8, [x8, _nb_get_scev@GOTPAGEOFF]
Lloh28:
	ldr	w8, [x8]
	str	x8, [sp]
Lloh29:
	adrp	x1, l_.str.10@PAGE
Lloh30:
	add	x1, x1, l_.str.10@PAGEOFF
	mov	x0, x19
	bl	_fprintf
	mov	x0, x20
	mov	w1, #42
	mov	w2, #1
	mov	x3, x19
	bl	_fwrite
Lloh31:
	adrp	x0, l_.str.11@PAGE
Lloh32:
	add	x0, x0, l_.str.11@PAGEOFF
	mov	w1, #3
	mov	w2, #1
	mov	x3, x19
	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
	b	_fwrite
	.loh AdrpAdd	Lloh31, Lloh32
	.loh AdrpAdd	Lloh29, Lloh30
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpAdd	Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh0, Lloh1
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"\n(\n"

l_.str.1:                               ; @.str.1
	.asciz	"-----------------------------------------\n"

l_.str.2:                               ; @.str.2
	.asciz	"%d\taffine univariate chrecs\n"

l_.str.3:                               ; @.str.3
	.asciz	"%d\taffine multivariate chrecs\n"

l_.str.4:                               ; @.str.4
	.asciz	"%d\tdegree greater than 2 polynomials\n"

l_.str.5:                               ; @.str.5
	.asciz	"%d\tchrec_dont_know chrecs\n"

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

l_.str.7:                               ; @.str.7
	.asciz	"%d\twith undetermined coefficients\n"

l_.str.8:                               ; @.str.8
	.asciz	"%d\tchrecs in the scev database\n"

	.comm	_scalar_evolution_info,4,2      ; @scalar_evolution_info
l_.str.9:                               ; @.str.9
	.asciz	"%d\tsets in the scev database\n"

	.comm	_nb_set_scev,4,2                ; @nb_set_scev
l_.str.10:                              ; @.str.10
	.asciz	"%d\tgets in the scev database\n"

	.comm	_nb_get_scev,4,2                ; @nb_get_scev
l_.str.11:                              ; @.str.11
	.asciz	")\n\n"

	.no_dead_strip	_dump_chrecs_stats
.subsections_via_symbols
