	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify
_verify:                                ## @verify
	.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	%rcx, %r13
	movl	%edx, %r15d
	movq	%rsi, %r12
	movq	%rdi, %rbx
	xorl	%eax, %eax
	callq	_archive_read_new
	movq	%rax, %r14
	xorl	%edi, %edi
	testq	%rax, %rax
	setne	%dil
	callq	_assert
	movq	%r14, %rdi
	callq	_archive_read_support_format_all
	movq	%r14, %rdi
	xorl	%esi, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	movq	%r14, %rdi
	callq	_archive_read_support_filter_all
	movq	%r14, %rdi
	xorl	%esi, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	testl	%r15d, %r15d
	je	LBB0_3
## %bb.1:
	leaq	L_.str(%rip), %rdx
	movq	%r14, %rdi
	xorl	%esi, %esi
	xorl	%ecx, %ecx
	callq	_archive_read_set_option
	xorl	%edi, %edi
	testq	%rax, %rax
	sete	%dil
	callq	_assertA
	cmpl	$1, %r15d
	je	LBB0_3
## %bb.2:
	leaq	L_.str.1(%rip), %rdx
	movq	%r14, %rdi
	xorl	%esi, %esi
	xorl	%ecx, %ecx
	callq	_archive_read_set_option
	xorl	%edi, %edi
	testq	%rax, %rax
	sete	%dil
	callq	_assertA
LBB0_3:
	movq	%r14, %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_archive_read_open_memory
	movq	%r14, %rdi
	xorl	%esi, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	leaq	-48(%rbp), %rsi
	movq	%r14, %rdi
	callq	_archive_read_next_header
	movq	%r14, %rdi
	xorl	%esi, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	movq	-48(%rbp), %rdi
	callq	_archive_entry_atime
	movl	%eax, %r12d
	movq	-48(%rbp), %rdi
	callq	_archive_entry_ctime
	movl	%r12d, %edi
	movl	%eax, %esi
	callq	_assertEqualInt
	movq	-48(%rbp), %rdi
	callq	_archive_entry_atime
	movl	%eax, %r12d
	movq	-48(%rbp), %rdi
	callq	_archive_entry_mtime
	movl	%r12d, %edi
	movl	%eax, %esi
	callq	_assertEqualInt
	movq	-48(%rbp), %rdi
	callq	_archive_entry_pathname
	leaq	L_.str.2(%rip), %rdi
	movl	%eax, %esi
	callq	_assertEqualString
	leal	-128(%r15), %eax
	cmpl	$2, %eax
	ja	LBB0_5
## %bb.4:
	cltq
	leaq	l_switch.table.verify(%rip), %rcx
	movq	_S_IFDIR@GOTPCREL(%rip), %rdx
	movl	(%rdx), %ebx
	orl	(%rcx,%rax,4), %ebx
	movq	-48(%rbp), %rdi
	callq	_archive_entry_mode
	xorl	%edi, %edi
	cmpl	%eax, %ebx
	sete	%dil
	callq	_assert
LBB0_5:
	movq	24(%r13), %rdi
	movl	(%r13), %edx
	shll	$3, %edx
	xorl	%esi, %esi
	callq	_memset
	movq	$0, 32(%r13)
	cmpl	$0, (%r13)
	je	LBB0_11
## %bb.6:
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_7:                                 ## =>This Inner Loop Header: Depth=1
	movq	%r14, %rdi
	movl	%r15d, %esi
	movq	%r13, %rdx
	callq	_verify_file
	incq	%rbx
	movslq	(%r13), %rax
	cmpq	%rax, %rbx
	jb	LBB0_7
## %bb.8:
	testl	%eax, %eax
	je	LBB0_11
## %bb.9:
	xorl	%ebx, %ebx
	.p2align	4, 0x90
LBB0_10:                                ## =>This Inner Loop Header: Depth=1
	movq	24(%r13), %rax
	movl	(%rax,%rbx,4), %edi
	callq	_free
	incq	%rbx
	movslq	(%r13), %rax
	cmpq	%rax, %rbx
	jb	LBB0_10
LBB0_11:
	movl	8(%r13), %esi
	movl	16(%r13), %edi
	callq	_assertEqualInt
	movq	_ARCHIVE_EOF@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	leaq	-48(%rbp), %rsi
	movq	%r14, %rdi
	callq	_archive_read_next_header
	movq	%r14, %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	movq	_ARCHIVE_OK@GOTPCREL(%rip), %r15
	movl	(%r15), %ebx
	movq	%r14, %rdi
	callq	_archive_read_close
	movq	%r14, %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	movl	(%r15), %ebx
	movq	%r14, %rdi
	callq	_archive_read_free
	movq	%r14, %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"rockridge"

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

L_.str.2:                               ## @.str.2
	.asciz	"."

	.comm	_S_IFDIR,4,2                    ## @S_IFDIR
	.comm	_ARCHIVE_EOF,4,2                ## @ARCHIVE_EOF
	.comm	_ARCHIVE_OK,4,2                 ## @ARCHIVE_OK
	.no_dead_strip	_verify
	.section	__TEXT,__const
	.p2align	2                               ## @switch.table.verify
l_switch.table.verify:
	.long	365                             ## 0x16d
	.long	448                             ## 0x1c0
	.long	448                             ## 0x1c0

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify
_verify:                                ; @verify
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x24, x23, [sp, #16]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.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
	mov	x20, x3
	mov	x21, x2
	mov	x22, x1
	mov	x23, x0
	bl	_archive_read_new
	mov	x19, x0
	cmp	x0, #0
	cset	w0, ne
	bl	_assert
	mov	x0, x19
	bl	_archive_read_support_format_all
	mov	x2, x0
	mov	x0, x19
	mov	w1, #0
	bl	_assertEqualIntA
	mov	x0, x19
	bl	_archive_read_support_filter_all
	mov	x2, x0
	mov	x0, x19
	mov	w1, #0
	bl	_assertEqualIntA
	cbz	w21, LBB0_3
; %bb.1:
Lloh0:
	adrp	x2, l_.str@PAGE
Lloh1:
	add	x2, x2, l_.str@PAGEOFF
	mov	x0, x19
	mov	x1, #0
	mov	x3, #0
	bl	_archive_read_set_option
	cmp	x0, #0
	cset	w0, eq
	bl	_assertA
	cmp	w21, #1
	b.eq	LBB0_3
; %bb.2:
Lloh2:
	adrp	x2, l_.str.1@PAGE
Lloh3:
	add	x2, x2, l_.str.1@PAGEOFF
	mov	x0, x19
	mov	x1, #0
	mov	x3, #0
	bl	_archive_read_set_option
	cmp	x0, #0
	cset	w0, eq
	bl	_assertA
LBB0_3:
	mov	x0, x19
	mov	x1, x23
	mov	x2, x22
	bl	_archive_read_open_memory
	mov	x2, x0
	mov	x0, x19
	mov	w1, #0
	bl	_assertEqualIntA
	add	x1, sp, #8
	mov	x0, x19
	bl	_archive_read_next_header
	mov	x2, x0
	mov	x0, x19
	mov	w1, #0
	bl	_assertEqualIntA
	ldr	x0, [sp, #8]
	bl	_archive_entry_atime
	mov	x22, x0
	ldr	x0, [sp, #8]
	bl	_archive_entry_ctime
	mov	x1, x0
	mov	x0, x22
	bl	_assertEqualInt
	ldr	x0, [sp, #8]
	bl	_archive_entry_atime
	mov	x22, x0
	ldr	x0, [sp, #8]
	bl	_archive_entry_mtime
	mov	x1, x0
	mov	x0, x22
	bl	_assertEqualInt
	ldr	x0, [sp, #8]
	bl	_archive_entry_pathname
	mov	x1, x0
Lloh4:
	adrp	x0, l_.str.2@PAGE
Lloh5:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_assertEqualString
	sub	w8, w21, #128
	cmp	w8, #2
	b.hi	LBB0_5
; %bb.4:
Lloh6:
	adrp	x9, l_switch.table.verify@PAGE
Lloh7:
	add	x9, x9, l_switch.table.verify@PAGEOFF
	ldr	w8, [x9, w8, sxtw #2]
Lloh8:
	adrp	x9, _S_IFDIR@GOTPAGE
Lloh9:
	ldr	x9, [x9, _S_IFDIR@GOTPAGEOFF]
Lloh10:
	ldr	w9, [x9]
	orr	w22, w9, w8
	ldr	x0, [sp, #8]
	bl	_archive_entry_mode
	cmp	w22, w0
	cset	w0, eq
	bl	_assert
LBB0_5:
	ldr	x0, [x20, #24]
	ldr	w8, [x20]
	lsl	w2, w8, #3
	mov	w1, #0
	bl	_memset
	str	xzr, [x20, #32]
	ldr	w8, [x20]
	cbz	w8, LBB0_11
; %bb.6:
	mov	x22, #0
LBB0_7:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x19
	mov	x1, x21
	mov	x2, x20
	bl	_verify_file
	add	x22, x22, #1
	ldrsw	x8, [x20]
	cmp	x22, x8
	b.lo	LBB0_7
; %bb.8:
	cbz	w8, LBB0_11
; %bb.9:
	mov	x21, #0
LBB0_10:                                ; =>This Inner Loop Header: Depth=1
	ldr	x8, [x20, #24]
	ldr	w0, [x8, x21, lsl #2]
	bl	_free
	add	x21, x21, #1
	ldrsw	x8, [x20]
	cmp	x21, x8
	b.lo	LBB0_10
LBB0_11:
	ldr	w0, [x20, #16]
	ldr	w1, [x20, #8]
	bl	_assertEqualInt
Lloh11:
	adrp	x8, _ARCHIVE_EOF@GOTPAGE
Lloh12:
	ldr	x8, [x8, _ARCHIVE_EOF@GOTPAGEOFF]
Lloh13:
	ldr	w20, [x8]
	add	x1, sp, #8
	mov	x0, x19
	bl	_archive_read_next_header
	mov	x2, x0
	mov	x0, x19
	mov	x1, x20
	bl	_assertEqualIntA
Lloh14:
	adrp	x21, _ARCHIVE_OK@GOTPAGE
Lloh15:
	ldr	x21, [x21, _ARCHIVE_OK@GOTPAGEOFF]
	ldr	w20, [x21]
	mov	x0, x19
	bl	_archive_read_close
	mov	x2, x0
	mov	x0, x19
	mov	x1, x20
	bl	_assertEqualIntA
	ldr	w20, [x21]
	mov	x0, x19
	bl	_archive_read_free
	mov	x2, x0
	mov	x0, x19
	mov	x1, x20
	bl	_assertEqualIntA
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"rockridge"

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

l_.str.2:                               ; @.str.2
	.asciz	"."

	.comm	_S_IFDIR,4,2                    ; @S_IFDIR
	.comm	_ARCHIVE_EOF,4,2                ; @ARCHIVE_EOF
	.comm	_ARCHIVE_OK,4,2                 ; @ARCHIVE_OK
	.no_dead_strip	_verify
	.section	__TEXT,__const
	.p2align	2                               ; @switch.table.verify
l_switch.table.verify:
	.long	365                             ; 0x16d
	.long	448                             ; 0x1c0
	.long	448                             ; 0x1c0

.subsections_via_symbols
