	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_extract_length_at_end
_verify_extract_length_at_end:          ## @verify_extract_length_at_end
	.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
	movl	%esi, %r15d
	movq	%rdi, %r12
	movq	_ARCHIVE_OK@GOTPCREL(%rip), %r13
	movl	(%r13), %ebx
	leaq	-48(%rbp), %rsi
	callq	_archive_read_next_header
	movq	%r12, %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	movq	-48(%rbp), %rdi
	callq	_archive_entry_is_encrypted
	xorl	%r14d, %r14d
	movl	%eax, %edi
	xorl	%esi, %esi
	callq	_assertEqualInt
	movq	%r12, %rdi
	callq	_archive_read_has_encrypted_entries
	movq	%r12, %rdi
	movl	%eax, %esi
	xorl	%edx, %edx
	callq	_assertEqualIntA
	movq	-48(%rbp), %rdi
	callq	_archive_entry_pathname
	leaq	L_.str(%rip), %rdi
	movq	%rax, %rsi
	callq	_assertEqualString
	testl	%r15d, %r15d
	je	LBB0_2
## %bb.1:
	movq	_AE_IFREG@GOTPCREL(%rip), %rax
	movl	$420, %ebx                      ## imm = 0x1A4
	orl	(%rax), %ebx
	movq	-48(%rbp), %rdi
	callq	_archive_entry_mode
	movl	%ebx, %edi
	movl	%eax, %esi
	callq	_assertEqualInt
	movq	-48(%rbp), %rdi
	callq	_archive_entry_size_is_set
	movl	%eax, %edi
	movl	$6, %r14d
	jmp	LBB0_3
LBB0_2:
	movq	-48(%rbp), %rdi
	callq	_archive_entry_size_is_set
	xorl	%edi, %edi
	testl	%eax, %eax
	sete	%dil
LBB0_3:
	callq	_assert
	movq	-48(%rbp), %rdi
	callq	_archive_entry_size
	movl	%r14d, %edi
	movl	%eax, %esi
	callq	_assertEqualInt
	xorl	%eax, %eax
	callq	_archive_zlib_version
	testq	%rax, %rax
	je	LBB0_5
## %bb.4:
	movl	(%r13), %ebx
	movq	-48(%rbp), %rsi
	movq	%r12, %rdi
	xorl	%edx, %edx
	callq	_archive_read_extract
	movq	%r12, %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	leaq	L_.str.1(%rip), %rdi
	leaq	L_.str(%rip), %rdx
	movl	$6, %esi
	callq	_assertFileContents
	jmp	LBB0_6
LBB0_5:
	movq	_ARCHIVE_FAILED@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movq	-48(%rbp), %rsi
	movq	%r12, %rdi
	xorl	%edx, %edx
	callq	_archive_read_extract
	movq	%r12, %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	movq	%r12, %rdi
	callq	_archive_error_string
	leaq	L_.str.2(%rip), %rsi
	movq	%rax, %rdi
	callq	_assertEqualString
	movq	%r12, %rdi
	callq	_archive_errno
	xorl	%edi, %edi
	testq	%rax, %rax
	setne	%dil
	callq	_assert
LBB0_6:
	movl	(%r13), %ebx
	movq	%r12, %rdi
	callq	_archive_read_close
	movq	%r12, %rdi
	movl	%ebx, %esi
	movl	%eax, %edx
	callq	_assertEqualIntA
	movl	(%r13), %ebx
	movq	%r12, %rdi
	callq	_archive_read_free
	movq	%r12, %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
	.comm	_ARCHIVE_OK,4,2                 ## @ARCHIVE_OK
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"hello.txt"

	.comm	_AE_IFREG,4,2                   ## @AE_IFREG
L_.str.1:                               ## @.str.1
	.asciz	"hello\n"

	.comm	_ARCHIVE_FAILED,4,2             ## @ARCHIVE_FAILED
L_.str.2:                               ## @.str.2
	.asciz	"Unsupported ZIP compression method (8: deflation)"

	.no_dead_strip	_verify_extract_length_at_end
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_extract_length_at_end
_verify_extract_length_at_end:          ; @verify_extract_length_at_end
	.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	x20, x1
	mov	x19, x0
Lloh0:
	adrp	x22, _ARCHIVE_OK@GOTPAGE
Lloh1:
	ldr	x22, [x22, _ARCHIVE_OK@GOTPAGEOFF]
	ldr	w21, [x22]
	add	x1, sp, #8
	bl	_archive_read_next_header
	mov	x2, x0
	mov	x0, x19
	mov	x1, x21
	bl	_assertEqualIntA
	ldr	x0, [sp, #8]
	bl	_archive_entry_is_encrypted
	mov	w1, #0
	bl	_assertEqualInt
	mov	x0, x19
	bl	_archive_read_has_encrypted_entries
	mov	x1, x0
	mov	x0, x19
	mov	w2, #0
	bl	_assertEqualIntA
	ldr	x0, [sp, #8]
	bl	_archive_entry_pathname
	mov	x1, x0
Lloh2:
	adrp	x0, l_.str@PAGE
Lloh3:
	add	x0, x0, l_.str@PAGEOFF
	bl	_assertEqualString
	cbz	w20, LBB0_2
; %bb.1:
Lloh4:
	adrp	x8, _AE_IFREG@GOTPAGE
Lloh5:
	ldr	x8, [x8, _AE_IFREG@GOTPAGEOFF]
Lloh6:
	ldr	w8, [x8]
	mov	w9, #420
	orr	w20, w8, w9
	ldr	x0, [sp, #8]
	bl	_archive_entry_mode
	mov	x1, x0
	mov	x0, x20
	bl	_assertEqualInt
	ldr	x0, [sp, #8]
	bl	_archive_entry_size_is_set
	mov	w20, #6
	b	LBB0_3
LBB0_2:
	ldr	x0, [sp, #8]
	bl	_archive_entry_size_is_set
	cmp	w0, #0
	cset	w0, eq
LBB0_3:
	bl	_assert
	ldr	x0, [sp, #8]
	bl	_archive_entry_size
	mov	x1, x0
	mov	x0, x20
	bl	_assertEqualInt
	bl	_archive_zlib_version
	cbz	x0, LBB0_5
; %bb.4:
	ldr	w20, [x22]
	ldr	x1, [sp, #8]
	mov	x0, x19
	mov	w2, #0
	bl	_archive_read_extract
	mov	x2, x0
	mov	x0, x19
	mov	x1, x20
	bl	_assertEqualIntA
Lloh7:
	adrp	x0, l_.str.1@PAGE
Lloh8:
	add	x0, x0, l_.str.1@PAGEOFF
Lloh9:
	adrp	x2, l_.str@PAGE
Lloh10:
	add	x2, x2, l_.str@PAGEOFF
	mov	w1, #6
	bl	_assertFileContents
	b	LBB0_6
LBB0_5:
Lloh11:
	adrp	x8, _ARCHIVE_FAILED@GOTPAGE
Lloh12:
	ldr	x8, [x8, _ARCHIVE_FAILED@GOTPAGEOFF]
Lloh13:
	ldr	w20, [x8]
	ldr	x1, [sp, #8]
	mov	x0, x19
	mov	w2, #0
	bl	_archive_read_extract
	mov	x2, x0
	mov	x0, x19
	mov	x1, x20
	bl	_assertEqualIntA
	mov	x0, x19
	bl	_archive_error_string
Lloh14:
	adrp	x1, l_.str.2@PAGE
Lloh15:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_assertEqualString
	mov	x0, x19
	bl	_archive_errno
	cmp	x0, #0
	cset	w0, ne
	bl	_assert
LBB0_6:
	ldr	w20, [x22]
	mov	x0, x19
	bl	_archive_read_close
	mov	x2, x0
	mov	x0, x19
	mov	x1, x20
	bl	_assertEqualIntA
	ldr	w20, [x22]
	mov	x0, x19
	bl	_archive_read_free
	mov	x2, x0
	mov	x0, x19
	mov	x1, x20
	bl	_assertEqualIntA
	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 AdrpAdd	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh4, Lloh5, Lloh6
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.cfi_endproc
                                        ; -- End function
	.comm	_ARCHIVE_OK,4,2                 ; @ARCHIVE_OK
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"hello.txt"

	.comm	_AE_IFREG,4,2                   ; @AE_IFREG
l_.str.1:                               ; @.str.1
	.asciz	"hello\n"

	.comm	_ARCHIVE_FAILED,4,2             ; @ARCHIVE_FAILED
l_.str.2:                               ; @.str.2
	.asciz	"Unsupported ZIP compression method (8: deflation)"

	.no_dead_strip	_verify_extract_length_at_end
.subsections_via_symbols
