	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_file
_verify_file:                           ## @verify_file
	.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	$56, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, -88(%rbp)                 ## 8-byte Spill
	movl	%edi, -76(%rbp)                 ## 4-byte Spill
	movq	_NUM_CHUNKS@GOTPCREL(%rip), %rax
	cmpl	$0, (%rax)
	jle	LBB0_1
## %bb.2:
	movl	$1, %r12d
	xorl	%r15d, %r15d
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
	jmp	LBB0_3
	.p2align	4, 0x90
LBB0_5:                                 ##   in Loop: Header=BB0_3 Depth=1
	movl	-44(%rbp), %r15d                ## 4-byte Reload
LBB0_14:                                ##   in Loop: Header=BB0_3 Depth=1
	movl	%r15d, -44(%rbp)                ## 4-byte Spill
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	callq	_free
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	callq	_free
	movl	-48(%rbp), %r15d                ## 4-byte Reload
	incl	%r15d
	movq	_NUM_CHUNKS@GOTPCREL(%rip), %rax
	cmpl	(%rax), %r15d
	jge	LBB0_15
LBB0_3:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_8 Depth 2
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	movl	%r15d, %esi
	leaq	-52(%rbp), %rdx
	leaq	-80(%rbp), %rcx
	callq	_get_chunk_range
	movslq	-80(%rbp), %rbx
	movslq	-52(%rbp), %rax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	subq	%rax, %rbx
	movq	%rbx, %rdi
	callq	_malloc
	movq	%rax, %r13
	movq	%rbx, %rdi
	callq	_malloc
	movq	%rax, %r14
	movq	_NUM_THREADS@GOTPCREL(%rip), %rax
	movq	(%rax), %rcx
	decq	%rcx
	movq	%r13, -72(%rbp)                 ## 8-byte Spill
	movq	%r13, %rdi
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
                                        ## kill: def $esi killed $esi killed $rsi
	movq	%rbx, %rdx
	callq	_marker_fill
	movl	-76(%rbp), %edi                 ## 4-byte Reload
	movq	%r14, -64(%rbp)                 ## 8-byte Spill
	movq	%r14, %rsi
	movq	%rbx, %rdx
	callq	_read
	testq	%rax, %rax
	jle	LBB0_6
## %bb.4:                               ##   in Loop: Header=BB0_3 Depth=1
	movl	%r15d, -48(%rbp)                ## 4-byte Spill
	cmpl	$4, %ebx
	jb	LBB0_5
## %bb.7:                               ##   in Loop: Header=BB0_3 Depth=1
	shrq	$2, %rbx
	cmpq	$2, %rbx
	movl	$1, %eax
	cmovbq	%rax, %rbx
	xorl	%r13d, %r13d
	movl	-44(%rbp), %r15d                ## 4-byte Reload
	jmp	LBB0_8
	.p2align	4, 0x90
LBB0_13:                                ##   in Loop: Header=BB0_8 Depth=2
	addq	$4, %r13
	decq	%rbx
	je	LBB0_14
LBB0_8:                                 ##   Parent Loop BB0_3 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movl	-52(%rbp), %r8d
	addq	%r13, %r8
	movq	-64(%rbp), %rax                 ## 8-byte Reload
	movl	(%rax,%r13), %r14d
	movq	-72(%rbp), %rax                 ## 8-byte Reload
	movl	(%rax,%r13), %eax
	testl	%r12d, %r12d
	je	LBB0_11
## %bb.9:                               ##   in Loop: Header=BB0_8 Depth=2
	movl	$1, %r12d
	cmpl	%eax, %r14d
	je	LBB0_13
## %bb.10:                              ##   in Loop: Header=BB0_8 Depth=2
	movq	_stderr@GOTPCREL(%rip), %r15
	movl	(%r15), %edi
	xorl	%r12d, %r12d
	leaq	L_.str.1(%rip), %rsi
	movl	-48(%rbp), %edx                 ## 4-byte Reload
	movl	%r13d, %ecx
                                        ## kill: def $r8d killed $r8d killed $r8
	xorl	%eax, %eax
	callq	_fprintf
	movl	(%r15), %edi
	movq	-72(%rbp), %rax                 ## 8-byte Reload
	movl	(%rax,%r13), %edx
	leaq	L_.str.2(%rip), %rsi
	movl	%r14d, %ecx
	xorl	%eax, %eax
	callq	_fprintf
	movl	$1, %r15d
	jmp	LBB0_13
	.p2align	4, 0x90
LBB0_11:                                ##   in Loop: Header=BB0_8 Depth=2
	xorl	%r12d, %r12d
	cmpl	%eax, %r14d
	jne	LBB0_13
## %bb.12:                              ##   in Loop: Header=BB0_8 Depth=2
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.3(%rip), %rsi
	movl	-48(%rbp), %edx                 ## 4-byte Reload
	movl	%r13d, %ecx
                                        ## kill: def $r8d killed $r8d killed $r8
	xorl	%eax, %eax
	callq	_fprintf
	movl	$1, %r12d
	jmp	LBB0_13
LBB0_1:
	movl	$0, -44(%rbp)                   ## 4-byte Folded Spill
LBB0_15:
	movl	-44(%rbp), %eax                 ## 4-byte Reload
LBB0_16:
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_6:
	callq	_verify_file.cold.1
	xorl	%eax, %eax
	jmp	LBB0_16
	.cfi_endproc
                                        ## -- End function
	.p2align	4, 0x90                         ## -- Begin function verify_file.cold.1
_verify_file.cold.1:                    ## @verify_file.cold.1
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	leaq	L_.str(%rip), %rdi
	callq	_perror
	pushq	$1
	popq	%rdi
	callq	_exit
	.cfi_endproc
                                        ## -- End function
	.comm	_NUM_CHUNKS,4,2                 ## @NUM_CHUNKS
	.comm	_NUM_THREADS,8,3                ## @NUM_THREADS
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"read"

	.comm	_stderr,4,2                     ## @stderr
L_.str.1:                               ## @.str.1
	.asciz	"fsync_integrity: miscompare at chunk %i, chunk offset %lx, file offset %lx\n"

L_.str.2:                               ## @.str.2
	.asciz	"Expected %016lx, got %016lx\n"

L_.str.3:                               ## @.str.3
	.asciz	"fsync_integrity: miscompare ends at chunk %i, chunk offset %lx, file offset %lx\n"

	.no_dead_strip	_verify_file
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_file
_verify_file:                           ; @verify_file
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #128
	.cfi_def_cfa_offset 128
	stp	x28, x27, [sp, #32]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #48]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #64]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #80]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #96]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #112]            ; 16-byte Folded Spill
	add	x29, sp, #112
	.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
	str	x1, [sp, #16]                   ; 8-byte Folded Spill
	str	w0, [sp, #12]                   ; 4-byte Folded Spill
Lloh0:
	adrp	x8, _NUM_CHUNKS@GOTPAGE
Lloh1:
	ldr	x8, [x8, _NUM_CHUNKS@GOTPAGEOFF]
Lloh2:
	ldr	w8, [x8]
	cmp	w8, #1
	b.lt	LBB0_14
; %bb.1:
	mov	w21, #0
	mov	w25, #0
	mov	w22, #1
Lloh3:
	adrp	x20, _stderr@GOTPAGE
Lloh4:
	ldr	x20, [x20, _stderr@GOTPAGEOFF]
Lloh5:
	adrp	x24, l_.str.2@PAGE
Lloh6:
	add	x24, x24, l_.str.2@PAGEOFF
	b	LBB0_3
LBB0_2:                                 ;   in Loop: Header=BB0_3 Depth=1
	mov	x0, x26
	bl	_free
	mov	x0, x27
	bl	_free
	add	w21, w21, #1
Lloh7:
	adrp	x8, _NUM_CHUNKS@GOTPAGE
Lloh8:
	ldr	x8, [x8, _NUM_CHUNKS@GOTPAGEOFF]
Lloh9:
	ldr	w8, [x8]
	cmp	w21, w8
	b.ge	LBB0_15
LBB0_3:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_9 Depth 2
	add	x2, sp, #28
	add	x3, sp, #24
	ldr	x0, [sp, #16]                   ; 8-byte Folded Reload
	mov	x1, x21
	bl	_get_chunk_range
	ldpsw	x8, x28, [sp, #24]
	sub	x19, x8, x28
	mov	x0, x19
	bl	_malloc
	mov	x26, x0
	mov	x0, x19
	bl	_malloc
	mov	x27, x0
Lloh10:
	adrp	x8, _NUM_THREADS@GOTPAGE
Lloh11:
	ldr	x8, [x8, _NUM_THREADS@GOTPAGEOFF]
Lloh12:
	ldr	x8, [x8]
	sub	x3, x8, #1
	mov	x0, x26
	mov	x1, x28
	mov	x2, x19
	bl	_marker_fill
	ldr	w0, [sp, #12]                   ; 4-byte Folded Reload
	mov	x1, x27
	mov	x2, x19
	bl	_read
	cmp	x0, #1
	b.lt	LBB0_16
; %bb.4:                                ;   in Loop: Header=BB0_3 Depth=1
	cmp	w19, #4
	b.lo	LBB0_2
; %bb.5:                                ;   in Loop: Header=BB0_3 Depth=1
	mov	x28, #0
	lsr	x8, x19, #2
	cmp	x8, #1
	csinc	x23, x8, xzr, hi
	b	LBB0_9
LBB0_6:                                 ;   in Loop: Header=BB0_9 Depth=2
	ldr	w0, [x20]
	str	x8, [sp]
Lloh13:
	adrp	x1, l_.str.3@PAGE
Lloh14:
	add	x1, x1, l_.str.3@PAGEOFF
	mov	x2, x21
	mov	x3, x28
	bl	_fprintf
LBB0_7:                                 ;   in Loop: Header=BB0_9 Depth=2
	mov	w22, #1
LBB0_8:                                 ;   in Loop: Header=BB0_9 Depth=2
	add	x28, x28, #4
	subs	x23, x23, #1
	b.eq	LBB0_2
LBB0_9:                                 ;   Parent Loop BB0_3 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldr	w8, [sp, #28]
	add	x8, x28, x8
	ldr	w19, [x27, x28]
	ldr	w9, [x26, x28]
	cbz	w22, LBB0_12
; %bb.10:                               ;   in Loop: Header=BB0_9 Depth=2
	cmp	w19, w9
	b.eq	LBB0_7
; %bb.11:                               ;   in Loop: Header=BB0_9 Depth=2
	ldr	w0, [x20]
	str	x8, [sp]
Lloh15:
	adrp	x1, l_.str.1@PAGE
Lloh16:
	add	x1, x1, l_.str.1@PAGEOFF
	mov	x2, x21
	mov	x3, x28
	bl	_fprintf
	ldr	w0, [x20]
	ldr	w2, [x26, x28]
	mov	x1, x24
	mov	x3, x19
	bl	_fprintf
	mov	w22, #0
	mov	w25, #1
	b	LBB0_8
LBB0_12:                                ;   in Loop: Header=BB0_9 Depth=2
	cmp	w19, w9
	b.eq	LBB0_6
; %bb.13:                               ;   in Loop: Header=BB0_9 Depth=2
	mov	w22, #0
	b	LBB0_8
LBB0_14:
	mov	w25, #0
LBB0_15:
	mov	x0, x25
	ldp	x29, x30, [sp, #112]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #96]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #80]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #64]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #48]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #128
	ret
LBB0_16:
	bl	_verify_file.cold.1
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh15, Lloh16
	.cfi_endproc
                                        ; -- End function
	.p2align	2                               ; -- Begin function verify_file.cold.1
_verify_file.cold.1:                    ; @verify_file.cold.1
	.cfi_startproc
; %bb.0:
	stp	x29, x30, [sp, #-16]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 16
	mov	x29, sp
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
Lloh17:
	adrp	x0, l_.str@PAGE
Lloh18:
	add	x0, x0, l_.str@PAGEOFF
	bl	_perror
	mov	w0, #1
	bl	_exit
	.loh AdrpAdd	Lloh17, Lloh18
	.cfi_endproc
                                        ; -- End function
	.comm	_NUM_CHUNKS,4,2                 ; @NUM_CHUNKS
	.comm	_NUM_THREADS,8,3                ; @NUM_THREADS
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"read"

	.comm	_stderr,4,2                     ; @stderr
l_.str.1:                               ; @.str.1
	.asciz	"fsync_integrity: miscompare at chunk %i, chunk offset %lx, file offset %lx\n"

l_.str.2:                               ; @.str.2
	.asciz	"Expected %016lx, got %016lx\n"

l_.str.3:                               ; @.str.3
	.asciz	"fsync_integrity: miscompare ends at chunk %i, chunk offset %lx, file offset %lx\n"

	.no_dead_strip	_verify_file
.subsections_via_symbols
