	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_files
_verify_files:                          ## @verify_files
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r14
	pushq	%rbx
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	movq	%rdi, %rbx
	callq	_failure
	leaq	L_.str(%rip), %r14
	movq	%r14, %rdi
	movl	$420, %esi                      ## imm = 0x1A4
	callq	_assertIsReg
	movq	%rbx, %rdi
	callq	_failure
	movq	%r14, %rdi
	movl	$10, %esi
	callq	_assertFileSize
	movq	%rbx, %rdi
	callq	_failure
	movq	%r14, %rdi
	movl	$2, %esi
	callq	_assertFileNLinks
	movq	%rbx, %rdi
	callq	_failure
	leaq	L_.str.1(%rip), %rdi
	movq	%r14, %rsi
	callq	_assertIsHardlink
	xorl	%eax, %eax
	callq	_canSymlink
	testq	%rax, %rax
	je	LBB0_2
## %bb.1:
	leaq	L_.str.2(%rip), %rdi
	leaq	L_.str(%rip), %rsi
	xorl	%edx, %edx
	callq	_assertIsSymlink
LBB0_2:
	movq	%rbx, %rdi
	callq	_failure
	leaq	L_.str.3(%rip), %r14
	movq	%r14, %rdi
	movl	$511, %esi                      ## imm = 0x1FF
	callq	_assertIsReg
	movq	%rbx, %rdi
	callq	_failure
	movq	%r14, %rdi
	movl	$10, %esi
	callq	_assertFileSize
	movq	%rbx, %rdi
	callq	_failure
	movq	%r14, %rdi
	movl	$1, %esi
	callq	_assertFileNLinks
	leaq	L_.str.4(%rip), %rdi
	movl	$509, %esi                      ## imm = 0x1FD
	popq	%rbx
	popq	%r14
	popq	%rbp
	jmp	_assertIsDir                    ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"file"

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

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

L_.str.3:                               ## @.str.3
	.asciz	"file2"

L_.str.4:                               ## @.str.4
	.asciz	"dir"

	.no_dead_strip	_verify_files
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_files
_verify_files:                          ; @verify_files
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 32
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x19, x0
	bl	_failure
Lloh0:
	adrp	x20, l_.str@PAGE
Lloh1:
	add	x20, x20, l_.str@PAGEOFF
	mov	x0, x20
	mov	w1, #420
	bl	_assertIsReg
	mov	x0, x19
	bl	_failure
	mov	x0, x20
	mov	w1, #10
	bl	_assertFileSize
	mov	x0, x19
	bl	_failure
	mov	x0, x20
	mov	w1, #2
	bl	_assertFileNLinks
	mov	x0, x19
	bl	_failure
Lloh2:
	adrp	x0, l_.str.1@PAGE
Lloh3:
	add	x0, x0, l_.str.1@PAGEOFF
	mov	x1, x20
	bl	_assertIsHardlink
	bl	_canSymlink
	cbz	x0, LBB0_2
; %bb.1:
Lloh4:
	adrp	x0, l_.str.2@PAGE
Lloh5:
	add	x0, x0, l_.str.2@PAGEOFF
Lloh6:
	adrp	x1, l_.str@PAGE
Lloh7:
	add	x1, x1, l_.str@PAGEOFF
	mov	w2, #0
	bl	_assertIsSymlink
LBB0_2:
	mov	x0, x19
	bl	_failure
Lloh8:
	adrp	x20, l_.str.3@PAGE
Lloh9:
	add	x20, x20, l_.str.3@PAGEOFF
	mov	x0, x20
	mov	w1, #511
	bl	_assertIsReg
	mov	x0, x19
	bl	_failure
	mov	x0, x20
	mov	w1, #10
	bl	_assertFileSize
	mov	x0, x19
	bl	_failure
	mov	x0, x20
	mov	w1, #1
	bl	_assertFileNLinks
Lloh10:
	adrp	x0, l_.str.4@PAGE
Lloh11:
	add	x0, x0, l_.str.4@PAGEOFF
	mov	w1, #509
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	b	_assertIsDir
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpAdd	Lloh8, Lloh9
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"file"

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

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

l_.str.3:                               ; @.str.3
	.asciz	"file2"

l_.str.4:                               ; @.str.4
	.asciz	"dir"

	.no_dead_strip	_verify_files
.subsections_via_symbols
