	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_main                           ## -- Begin function main
	.p2align	4, 0x90
_main:                                  ## @main
	.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, %r13
	movl	%edi, %r14d
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	_Skip@GOTPCREL(%rip), %rax
	movq	$0, (%rax)
	xorl	%eax, %eax
	callq	_ve_trust_init
	leaq	L_.str(%rip), %rdi
	movl	%eax, %esi
	xorl	%eax, %eax
	callq	_printf
	leaq	L_.str.1(%rip), %rbx
	leaq	LJTI0_0(%rip), %r12
	movq	_optarg@GOTPCREL(%rip), %r15
	xorl	%eax, %eax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	movl	$0, -68(%rbp)                   ## 4-byte Folded Spill
	jmp	LBB0_2
	.p2align	4, 0x90
LBB0_6:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	_DebugVe@GOTPCREL(%rip), %rax
	incl	(%rax)
LBB0_2:                                 ## =>This Inner Loop Header: Depth=1
	movl	%r14d, %edi
	movq	%r13, %rsi
	movq	%rbx, %rdx
	callq	_getopt
                                        ## kill: def $eax killed $eax def $rax
	leal	-84(%rax), %ecx
	cmpl	$31, %ecx
	ja	LBB0_3
## %bb.5:                               ##   in Loop: Header=BB0_2 Depth=1
	movslq	(%r12,%rcx,4), %rcx
	addq	%r12, %rcx
	jmpq	*%rcx
LBB0_9:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	(%r15), %rdi
	callq	_ve_trust_add
	movq	(%r15), %rsi
	leaq	L_.str.2(%rip), %rdi
	movl	%eax, %edx
	xorl	%eax, %eax
	callq	_printf
	jmp	LBB0_2
	.p2align	4, 0x90
LBB0_8:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	(%r15), %rax
	movq	_Skip@GOTPCREL(%rip), %rcx
	movq	%rax, (%rcx)
	jmp	LBB0_2
LBB0_3:                                 ##   in Loop: Header=BB0_2 Depth=1
	cmpl	$-1, %eax
	je	LBB0_10
LBB0_4:                                 ##   in Loop: Header=BB0_2 Depth=1
	movl	$1, %edi
	leaq	L_.str.3(%rip), %rsi
	movl	%eax, %edx
	callq	_errx
	jmp	LBB0_2
LBB0_1:                                 ##   in Loop: Header=BB0_2 Depth=1
	movl	$1, -68(%rbp)                   ## 4-byte Folded Spill
	jmp	LBB0_2
LBB0_7:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	(%r15), %rax
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	jmp	LBB0_2
LBB0_10:
	xorl	%eax, %eax
	callq	_ve_self_tests
	movq	_optind@GOTPCREL(%rip), %r12
	movl	(%r12), %eax
	jmp	LBB0_11
LBB0_18:                                ##   in Loop: Header=BB0_11 Depth=1
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	movslq	(%r12), %rax
	movq	(%r13,%rax,8), %r15
	xorl	%eax, %eax
	callq	_ve_error_get
	movl	%ebx, %edi
	leaq	L_.str.7(%rip), %rsi
	movq	%r15, %rdx
	movq	%rax, %rcx
	callq	_fprintf
	.p2align	4, 0x90
LBB0_35:                                ##   in Loop: Header=BB0_11 Depth=1
	movl	(%r12), %eax
	incl	%eax
	movl	%eax, (%r12)
LBB0_11:                                ## =>This Inner Loop Header: Depth=1
	cmpl	%r14d, %eax
	jge	LBB0_36
## %bb.12:                              ##   in Loop: Header=BB0_11 Depth=1
	cltq
	movq	(%r13,%rax,8), %rdi
	cmpl	$0, -68(%rbp)                   ## 4-byte Folded Reload
	je	LBB0_15
## %bb.13:                              ##   in Loop: Header=BB0_11 Depth=1
	movq	_O_RDONLY@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_open
	testl	%eax, %eax
	jle	LBB0_35
## %bb.14:                              ##   in Loop: Header=BB0_11 Depth=1
	movl	%eax, %ebx
	movslq	(%r12), %rax
	movq	(%r13,%rax,8), %rsi
	movq	_VE_GUESS@GOTPCREL(%rip), %rax
	movl	(%rax), %ecx
	movl	%ebx, %edi
	xorl	%edx, %edx
	callq	_verify_file
	movslq	(%r12), %rcx
	movq	(%r13,%rcx,8), %rsi
	leaq	L_.str.4(%rip), %rdi
	movl	%eax, %edx
	xorl	%eax, %eax
	callq	_printf
	movl	%ebx, %edi
	callq	_close
	jmp	LBB0_35
	.p2align	4, 0x90
LBB0_15:                                ##   in Loop: Header=BB0_11 Depth=1
	leaq	L_.str.5(%rip), %rsi
	callq	_strstr
	movslq	(%r12), %rcx
	movq	(%r13,%rcx,8), %rdi
	testq	%rax, %rax
	je	LBB0_19
## %bb.16:                              ##   in Loop: Header=BB0_11 Depth=1
	movl	$1, %esi
	callq	_verify_sig
	testq	%rax, %rax
	je	LBB0_18
## %bb.17:                              ##   in Loop: Header=BB0_11 Depth=1
	movq	%rax, %rbx
	movslq	(%r12), %rax
	movq	(%r13,%rax,8), %rsi
	leaq	L_.str.6(%rip), %rdi
	movq	%rbx, %rdx
	xorl	%eax, %eax
	callq	_printf
	movslq	(%r12), %rax
	movq	(%r13,%rax,8), %rdi
	movq	_Skip@GOTPCREL(%rip), %rax
	movq	(%rax), %rdx
	movq	-80(%rbp), %rsi                 ## 8-byte Reload
	movq	%rbx, %rcx
	jmp	LBB0_22
LBB0_19:                                ##   in Loop: Header=BB0_11 Depth=1
	leaq	L_.str.8(%rip), %rsi
	callq	_strstr
	movslq	(%r12), %rcx
	movq	(%r13,%rcx,8), %rdi
	testq	%rax, %rax
	je	LBB0_23
## %bb.20:                              ##   in Loop: Header=BB0_11 Depth=1
	xorl	%esi, %esi
	callq	_read_file
	testq	%rax, %rax
	je	LBB0_35
## %bb.21:                              ##   in Loop: Header=BB0_11 Depth=1
	movslq	(%r12), %rcx
	movq	(%r13,%rcx,8), %rdi
	movq	_Skip@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rdx
	movq	-80(%rbp), %rsi                 ## 8-byte Reload
	movq	%rax, %rcx
LBB0_22:                                ##   in Loop: Header=BB0_11 Depth=1
	xorl	%r8d, %r8d
	callq	_fingerprint_info_add
	jmp	LBB0_35
LBB0_23:                                ##   in Loop: Header=BB0_11 Depth=1
	movq	_O_RDONLY@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_verify_open
	movl	%eax, %r15d
	movslq	(%r12), %rax
	movq	(%r13,%rax,8), %rbx
	testl	%r15d, %r15d
	js	LBB0_24
## %bb.25:                              ##   in Loop: Header=BB0_11 Depth=1
	leaq	L_.str.9(%rip), %rdi
	movq	%rbx, %rsi
	movl	%r15d, %edx
	leaq	L_.str.10(%rip), %rcx
	xorl	%eax, %eax
	callq	_printf
	testl	%r15d, %r15d
	je	LBB0_35
## %bb.26:                              ##   in Loop: Header=BB0_11 Depth=1
	movq	%rsp, -96(%rbp)                 ## 8-byte Spill
	movq	_BUFSIZ@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -88(%rbp)                 ## 8-byte Spill
	movl	%r15d, %edi
	leaq	-56(%rbp), %rbx
	movq	%rbx, %rsi
	callq	_fstat
	movq	_SEEK_SET@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movl	%r15d, %edi
	xorl	%esi, %esi
	callq	_lseek
	movl	-56(%rbp), %eax
	leal	511(%rax), %ecx
	testl	%eax, %eax
	cmovnsl	%eax, %ecx
	andl	$-512, %ecx                     ## imm = 0xFE00
	subl	%ecx, %eax
	movslq	%eax, %rdx
	movslq	(%r12), %rax
	movq	(%r13,%rax,8), %rsi
	movl	%r15d, %edi
	movq	%rbx, %rcx
	leaq	-72(%rbp), %r8
	callq	_vectx_open
	testq	%rax, %rax
	je	LBB0_27
## %bb.28:                              ##   in Loop: Header=BB0_11 Depth=1
	movq	%rax, %rbx
	movl	-56(%rbp), %esi
	leal	1023(%rsi), %eax
	testl	%esi, %esi
	cmovnsl	%esi, %eax
	andl	$-1024, %eax                    ## imm = 0xFC00
	subl	%eax, %esi
	movq	_SEEK_SET@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%rbx, %rdi
                                        ## kill: def $esi killed $esi killed $rsi
	callq	_vectx_lseek
	movslq	-56(%rbp), %rcx
	cmpq	%rcx, %rax
	jae	LBB0_30
## %bb.29:                              ##   in Loop: Header=BB0_11 Depth=1
	movq	%rbx, %rdi
	movq	-88(%rbp), %rsi                 ## 8-byte Reload
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
                                        ## kill: def $edx killed $edx killed $rdx
	callq	_vectx_read
LBB0_30:                                ##   in Loop: Header=BB0_11 Depth=1
	movq	_SEEK_END@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%rbx, %rdi
	xorl	%esi, %esi
	callq	_vectx_lseek
	movq	_SEEK_END@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	%rbx, %rdi
	xorl	%esi, %esi
	callq	_vectx_lseek
	movq	%rbx, %rdi
	callq	_vectx_close
	movl	%eax, %ebx
	movl	%eax, -72(%rbp)
	movslq	(%r12), %rax
	movq	(%r13,%rax,8), %rsi
	testl	%ebx, %ebx
	je	LBB0_33
## %bb.31:                              ##   in Loop: Header=BB0_11 Depth=1
	xorl	%eax, %eax
	movq	%rsi, -64(%rbp)                 ## 8-byte Spill
	callq	_ve_error_get
	leaq	L_.str.12(%rip), %rdi
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	movl	%ebx, %edx
	jmp	LBB0_32
LBB0_24:                                ##   in Loop: Header=BB0_11 Depth=1
	xorl	%eax, %eax
	callq	_ve_error_get
	leaq	L_.str.9(%rip), %rdi
	movq	%rbx, %rsi
	movl	%r15d, %edx
	movq	%rax, %rcx
	xorl	%eax, %eax
	callq	_printf
	jmp	LBB0_35
LBB0_27:                                ##   in Loop: Header=BB0_11 Depth=1
	movslq	(%r12), %rax
	movq	(%r13,%rax,8), %rbx
	movl	-72(%rbp), %eax
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	xorl	%eax, %eax
	callq	_ve_error_get
	leaq	L_.str.11(%rip), %rdi
	movq	%rbx, %rsi
	movl	-64(%rbp), %edx                 ## 4-byte Reload
LBB0_32:                                ##   in Loop: Header=BB0_11 Depth=1
	movq	%rax, %rcx
	xorl	%eax, %eax
	callq	_printf
	jmp	LBB0_34
LBB0_33:                                ##   in Loop: Header=BB0_11 Depth=1
	leaq	L_.str.13(%rip), %rdi
	xorl	%eax, %eax
	callq	_printf
LBB0_34:                                ##   in Loop: Header=BB0_11 Depth=1
	movl	%r15d, %edi
	callq	_close
	movq	-96(%rbp), %rsp                 ## 8-byte Reload
	jmp	LBB0_35
LBB0_36:
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_38
## %bb.37:
	xorl	%eax, %eax
	leaq	-40(%rbp), %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_38:
	callq	___stack_chk_fail
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_9, LBB0_9-LJTI0_0
.set L0_0_set_4, LBB0_4-LJTI0_0
.set L0_0_set_1, LBB0_1-LJTI0_0
.set L0_0_set_6, LBB0_6-LJTI0_0
.set L0_0_set_7, LBB0_7-LJTI0_0
.set L0_0_set_8, LBB0_8-LJTI0_0
LJTI0_0:
	.long	L0_0_set_9
	.long	L0_0_set_4
	.long	L0_0_set_1
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_6
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_7
	.long	L0_0_set_4
	.long	L0_0_set_4
	.long	L0_0_set_8
	.end_data_region
                                        ## -- End function
	.comm	_Skip,8,3                       ## @Skip
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Trust %d\n"

L_.str.1:                               ## @.str.1
	.asciz	"dp:s:T:V"

	.comm	_DebugVe,4,2                    ## @DebugVe
	.comm	_optarg,8,3                     ## @optarg
L_.str.2:                               ## @.str.2
	.asciz	"Local trust %s: %d\n"

L_.str.3:                               ## @.str.3
	.asciz	"unknown option: -%c"

	.comm	_optind,4,2                     ## @optind
	.comm	_O_RDONLY,4,2                   ## @O_RDONLY
	.comm	_VE_GUESS,4,2                   ## @VE_GUESS
L_.str.4:                               ## @.str.4
	.asciz	"verify_file(%s) = %d\n"

L_.str.5:                               ## @.str.5
	.asciz	"sig"

L_.str.6:                               ## @.str.6
	.asciz	"Verified: %s: %.28s...\n"

	.comm	_stderr,4,2                     ## @stderr
L_.str.7:                               ## @.str.7
	.asciz	"%s: %s\n"

L_.str.8:                               ## @.str.8
	.asciz	"manifest"

L_.str.9:                               ## @.str.9
	.asciz	"verify_open(%s) = %d %s\n"

L_.str.10:                              ## @.str.10
	.space	1

	.comm	_BUFSIZ,4,2                     ## @BUFSIZ
	.comm	_SEEK_SET,4,2                   ## @SEEK_SET
L_.str.11:                              ## @.str.11
	.asciz	"vectx_open(%s) failed: %d %s\n"

	.comm	_SEEK_END,4,2                   ## @SEEK_END
L_.str.12:                              ## @.str.12
	.asciz	"vectx_close(%s) == %d %s\n"

L_.str.13:                              ## @.str.13
	.asciz	"vectx_close: Verified: %s\n"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_main                           ; -- Begin function main
	.p2align	2
_main:                                  ; @main
	.cfi_startproc
; %bb.0:
	stp	x28, x27, [sp, #-96]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.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
	sub	sp, sp, #48
	mov	x19, x1
	mov	x20, x0
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
Lloh3:
	adrp	x26, _Skip@GOTPAGE
Lloh4:
	ldr	x26, [x26, _Skip@GOTPAGEOFF]
	str	xzr, [x26]
	bl	_ve_trust_init
                                        ; kill: def $w0 killed $w0 def $x0
	str	x0, [sp, #-16]!
Lloh5:
	adrp	x0, l_.str@PAGE
Lloh6:
	add	x0, x0, l_.str@PAGEOFF
	bl	_printf
	add	sp, sp, #16
	stur	xzr, [x29, #-112]               ; 8-byte Folded Spill
	mov	w28, #0
Lloh7:
	adrp	x22, l_.str.1@PAGE
Lloh8:
	add	x22, x22, l_.str.1@PAGEOFF
Lloh9:
	adrp	x23, l_.str.3@PAGE
Lloh10:
	add	x23, x23, l_.str.3@PAGEOFF
Lloh11:
	adrp	x25, lJTI0_0@PAGE
Lloh12:
	add	x25, x25, lJTI0_0@PAGEOFF
Lloh13:
	adrp	x27, _optarg@GOTPAGE
Lloh14:
	ldr	x27, [x27, _optarg@GOTPAGEOFF]
Lloh15:
	adrp	x21, _DebugVe@GOTPAGE
Lloh16:
	ldr	x21, [x21, _DebugVe@GOTPAGEOFF]
Lloh17:
	adrp	x24, l_.str.2@PAGE
Lloh18:
	add	x24, x24, l_.str.2@PAGEOFF
	b	LBB0_2
LBB0_1:                                 ;   in Loop: Header=BB0_2 Depth=1
	ldr	w8, [x21]
	add	w8, w8, #1
	str	w8, [x21]
LBB0_2:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x20
	mov	x1, x19
	mov	x2, x22
	bl	_getopt
	mov	x2, x0
	sub	w8, w0, #84
	cmp	w8, #31
	b.hi	LBB0_6
; %bb.3:                                ;   in Loop: Header=BB0_2 Depth=1
	adr	x9, LBB0_1
	ldrb	w10, [x25, x8]
	add	x9, x9, x10, lsl #2
	br	x9
LBB0_4:                                 ;   in Loop: Header=BB0_2 Depth=1
	ldr	x0, [x27]
	bl	_ve_trust_add
                                        ; kill: def $w0 killed $w0 def $x0
	ldr	x8, [x27]
	stp	x8, x0, [sp, #-16]!
	mov	x0, x24
	bl	_printf
	add	sp, sp, #16
	b	LBB0_2
LBB0_5:                                 ;   in Loop: Header=BB0_2 Depth=1
	ldr	x8, [x27]
	str	x8, [x26]
	b	LBB0_2
LBB0_6:                                 ;   in Loop: Header=BB0_2 Depth=1
	cmn	w2, #1
	b.eq	LBB0_10
LBB0_7:                                 ;   in Loop: Header=BB0_2 Depth=1
	mov	w0, #1
	mov	x1, x23
	bl	_errx
	b	LBB0_2
LBB0_8:                                 ;   in Loop: Header=BB0_2 Depth=1
	mov	w28, #1
	b	LBB0_2
LBB0_9:                                 ;   in Loop: Header=BB0_2 Depth=1
	ldr	x8, [x27]
	stur	x8, [x29, #-112]                ; 8-byte Folded Spill
	b	LBB0_2
LBB0_10:
	bl	_ve_self_tests
Lloh19:
	adrp	x22, _optind@GOTPAGE
Lloh20:
	ldr	x22, [x22, _optind@GOTPAGEOFF]
	ldr	w8, [x22]
	cmp	w8, w20
	b.ge	LBB0_37
; %bb.11:
Lloh21:
	adrp	x21, l_.str.5@PAGE
Lloh22:
	add	x21, x21, l_.str.5@PAGEOFF
Lloh23:
	adrp	x25, _O_RDONLY@GOTPAGE
Lloh24:
	ldr	x25, [x25, _O_RDONLY@GOTPAGEOFF]
Lloh25:
	adrp	x24, _VE_GUESS@GOTPAGE
Lloh26:
	ldr	x24, [x24, _VE_GUESS@GOTPAGEOFF]
	b	LBB0_14
LBB0_12:                                ;   in Loop: Header=BB0_14 Depth=1
Lloh27:
	adrp	x8, _stderr@GOTPAGE
Lloh28:
	ldr	x8, [x8, _stderr@GOTPAGEOFF]
Lloh29:
	ldr	w23, [x8]
	ldrsw	x8, [x22]
	mov	x27, x24
	ldr	x24, [x19, x8, lsl #3]
	bl	_ve_error_get
	mov	x3, x0
	mov	x0, x23
Lloh30:
	adrp	x1, l_.str.7@PAGE
Lloh31:
	add	x1, x1, l_.str.7@PAGEOFF
	mov	x2, x24
	mov	x24, x27
	bl	_fprintf
LBB0_13:                                ;   in Loop: Header=BB0_14 Depth=1
	ldr	w8, [x22]
	add	w8, w8, #1
	str	w8, [x22]
	cmp	w8, w20
	b.ge	LBB0_37
LBB0_14:                                ; =>This Inner Loop Header: Depth=1
	ldr	x0, [x19, w8, sxtw #3]
	cbz	w28, LBB0_17
; %bb.15:                               ;   in Loop: Header=BB0_14 Depth=1
	ldr	w1, [x25]
	bl	_open
	cmp	w0, #1
	b.lt	LBB0_13
; %bb.16:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	x23, x0
	ldrsw	x8, [x22]
	ldr	x1, [x19, x8, lsl #3]
	ldr	w3, [x24]
	mov	w2, #0
	bl	_verify_file
                                        ; kill: def $w0 killed $w0 def $x0
	ldrsw	x8, [x22]
	ldr	x8, [x19, x8, lsl #3]
	stp	x8, x0, [sp, #-16]!
Lloh32:
	adrp	x0, l_.str.4@PAGE
Lloh33:
	add	x0, x0, l_.str.4@PAGEOFF
	bl	_printf
	add	sp, sp, #16
	mov	x0, x23
	bl	_close
	b	LBB0_13
LBB0_17:                                ;   in Loop: Header=BB0_14 Depth=1
	mov	x1, x21
	bl	_strstr
	mov	x8, x0
	ldrsw	x9, [x22]
	ldr	x0, [x19, x9, lsl #3]
	cbz	x8, LBB0_20
; %bb.18:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	w1, #1
	bl	_verify_sig
	cbz	x0, LBB0_12
; %bb.19:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	x23, x0
	ldrsw	x8, [x22]
	ldr	x8, [x19, x8, lsl #3]
	stp	x8, x0, [sp, #-16]!
Lloh34:
	adrp	x0, l_.str.6@PAGE
Lloh35:
	add	x0, x0, l_.str.6@PAGEOFF
	bl	_printf
	add	sp, sp, #16
	ldrsw	x8, [x22]
	ldr	x0, [x19, x8, lsl #3]
	ldr	x2, [x26]
	ldur	x1, [x29, #-112]                ; 8-byte Folded Reload
	mov	x3, x23
	b	LBB0_23
LBB0_20:                                ;   in Loop: Header=BB0_14 Depth=1
Lloh36:
	adrp	x1, l_.str.8@PAGE
Lloh37:
	add	x1, x1, l_.str.8@PAGEOFF
	bl	_strstr
	mov	x8, x0
	ldrsw	x9, [x22]
	ldr	x0, [x19, x9, lsl #3]
	cbz	x8, LBB0_24
; %bb.21:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	x1, #0
	bl	_read_file
	cbz	x0, LBB0_13
; %bb.22:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	x3, x0
	ldrsw	x8, [x22]
	ldr	x0, [x19, x8, lsl #3]
	ldr	x2, [x26]
	ldur	x1, [x29, #-112]                ; 8-byte Folded Reload
LBB0_23:                                ;   in Loop: Header=BB0_14 Depth=1
	mov	x4, #0
	bl	_fingerprint_info_add
	b	LBB0_13
LBB0_24:                                ;   in Loop: Header=BB0_14 Depth=1
	ldr	w1, [x25]
	bl	_verify_open
	mov	x27, x0
	ldrsw	x8, [x22]
	ldr	x21, [x19, x8, lsl #3]
	tbnz	w0, #31, LBB0_31
; %bb.25:                               ;   in Loop: Header=BB0_14 Depth=1
	sub	sp, sp, #32
Lloh38:
	adrp	x8, l_.str.10@PAGE
Lloh39:
	add	x8, x8, l_.str.10@PAGEOFF
	stp	x27, x8, [sp, #8]
	str	x21, [sp]
Lloh40:
	adrp	x0, l_.str.9@PAGE
Lloh41:
	add	x0, x0, l_.str.9@PAGEOFF
	bl	_printf
	add	sp, sp, #32
Lloh42:
	adrp	x21, l_.str.5@PAGE
Lloh43:
	add	x21, x21, l_.str.5@PAGEOFF
	cbz	w27, LBB0_13
; %bb.26:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	x8, sp
	stur	x8, [x29, #-120]                ; 8-byte Folded Spill
Lloh44:
	adrp	x8, _BUFSIZ@GOTPAGE
Lloh45:
	ldr	x8, [x8, _BUFSIZ@GOTPAGEOFF]
Lloh46:
	ldr	w24, [x8]
	mov	x9, x24
Lloh47:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh48:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x8, sp
	add	x9, x24, #15
	and	x9, x9, #0x1fffffff0
	sub	x8, x8, x9
	stur	x8, [x29, #-128]                ; 8-byte Folded Spill
	mov	sp, x8
	sub	x1, x29, #96
	mov	x0, x27
	bl	_fstat
Lloh49:
	adrp	x21, _SEEK_SET@GOTPAGE
Lloh50:
	ldr	x21, [x21, _SEEK_SET@GOTPAGEOFF]
	ldr	w2, [x21]
	mov	x0, x27
	mov	w1, #0
	bl	_lseek
	ldur	w8, [x29, #-96]
	negs	w9, w8
	and	w9, w9, #0x1ff
	and	w8, w8, #0x1ff
	csneg	w8, w8, w9, mi
	sxtw	x2, w8
	ldrsw	x8, [x22]
	ldr	x1, [x19, x8, lsl #3]
	sub	x3, x29, #96
	sub	x4, x29, #100
	mov	x0, x27
	bl	_vectx_open
	cbz	x0, LBB0_32
; %bb.27:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	x23, x0
	ldur	w8, [x29, #-96]
	negs	w9, w8
	and	w9, w9, #0x3ff
	and	w8, w8, #0x3ff
	csneg	w1, w8, w9, mi
	ldr	w2, [x21]
	bl	_vectx_lseek
	ldursw	x8, [x29, #-96]
	cmp	x0, x8
	b.hs	LBB0_29
; %bb.28:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	x0, x23
	ldur	x1, [x29, #-128]                ; 8-byte Folded Reload
	mov	x2, x24
	bl	_vectx_read
LBB0_29:                                ;   in Loop: Header=BB0_14 Depth=1
Lloh51:
	adrp	x21, _SEEK_END@GOTPAGE
Lloh52:
	ldr	x21, [x21, _SEEK_END@GOTPAGEOFF]
	ldr	w2, [x21]
	mov	x0, x23
	mov	w1, #0
	bl	_vectx_lseek
	ldr	w2, [x21]
	mov	x0, x23
	mov	w1, #0
	bl	_vectx_lseek
	mov	x0, x23
	bl	_vectx_close
	stur	w0, [x29, #-100]
	ldrsw	x8, [x22]
	ldr	x21, [x19, x8, lsl #3]
	cbz	w0, LBB0_34
; %bb.30:                               ;   in Loop: Header=BB0_14 Depth=1
	mov	x23, x0
	bl	_ve_error_get
	sub	sp, sp, #32
	stp	x23, x0, [sp, #8]
	str	x21, [sp]
Lloh53:
	adrp	x0, l_.str.12@PAGE
Lloh54:
	add	x0, x0, l_.str.12@PAGEOFF
	b	LBB0_33
LBB0_31:                                ;   in Loop: Header=BB0_14 Depth=1
	bl	_ve_error_get
	sub	sp, sp, #32
                                        ; kill: def $w27 killed $w27 killed $x27 def $x27
	stp	x27, x0, [sp, #8]
	str	x21, [sp]
Lloh55:
	adrp	x0, l_.str.9@PAGE
Lloh56:
	add	x0, x0, l_.str.9@PAGEOFF
	bl	_printf
	add	sp, sp, #32
	b	LBB0_36
LBB0_32:                                ;   in Loop: Header=BB0_14 Depth=1
	ldrsw	x8, [x22]
	ldr	x21, [x19, x8, lsl #3]
	ldur	w23, [x29, #-100]
	bl	_ve_error_get
	sub	sp, sp, #32
	stp	x23, x0, [sp, #8]
	str	x21, [sp]
Lloh57:
	adrp	x0, l_.str.11@PAGE
Lloh58:
	add	x0, x0, l_.str.11@PAGEOFF
LBB0_33:                                ;   in Loop: Header=BB0_14 Depth=1
	bl	_printf
	add	sp, sp, #32
	b	LBB0_35
LBB0_34:                                ;   in Loop: Header=BB0_14 Depth=1
	str	x21, [sp, #-16]!
Lloh59:
	adrp	x0, l_.str.13@PAGE
Lloh60:
	add	x0, x0, l_.str.13@PAGEOFF
	bl	_printf
	add	sp, sp, #16
LBB0_35:                                ;   in Loop: Header=BB0_14 Depth=1
Lloh61:
	adrp	x24, _VE_GUESS@GOTPAGE
Lloh62:
	ldr	x24, [x24, _VE_GUESS@GOTPAGEOFF]
	mov	x0, x27
	bl	_close
	ldur	x8, [x29, #-120]                ; 8-byte Folded Reload
	mov	sp, x8
LBB0_36:                                ;   in Loop: Header=BB0_14 Depth=1
Lloh63:
	adrp	x21, l_.str.5@PAGE
Lloh64:
	add	x21, x21, l_.str.5@PAGEOFF
	b	LBB0_13
LBB0_37:
	ldur	x8, [x29, #-88]
Lloh65:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh66:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh67:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_39
; %bb.38:
	mov	w0, #0
	sub	sp, x29, #80
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp], #96             ; 16-byte Folded Reload
	ret
LBB0_39:
	bl	___stack_chk_fail
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh19, Lloh20
	.loh AdrpLdrGot	Lloh25, Lloh26
	.loh AdrpLdrGot	Lloh23, Lloh24
	.loh AdrpAdd	Lloh21, Lloh22
	.loh AdrpAdd	Lloh30, Lloh31
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpAdd	Lloh32, Lloh33
	.loh AdrpAdd	Lloh34, Lloh35
	.loh AdrpAdd	Lloh36, Lloh37
	.loh AdrpAdd	Lloh42, Lloh43
	.loh AdrpAdd	Lloh40, Lloh41
	.loh AdrpAdd	Lloh38, Lloh39
	.loh AdrpLdrGot	Lloh49, Lloh50
	.loh AdrpLdrGot	Lloh47, Lloh48
	.loh AdrpLdrGotLdr	Lloh44, Lloh45, Lloh46
	.loh AdrpLdrGot	Lloh51, Lloh52
	.loh AdrpAdd	Lloh53, Lloh54
	.loh AdrpAdd	Lloh55, Lloh56
	.loh AdrpAdd	Lloh57, Lloh58
	.loh AdrpAdd	Lloh59, Lloh60
	.loh AdrpLdrGot	Lloh61, Lloh62
	.loh AdrpAdd	Lloh63, Lloh64
	.loh AdrpLdrGotLdr	Lloh65, Lloh66, Lloh67
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_4-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_8-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_1-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_9-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_7-LBB0_1)>>2
	.byte	(LBB0_5-LBB0_1)>>2
                                        ; -- End function
	.comm	_Skip,8,3                       ; @Skip
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Trust %d\n"

l_.str.1:                               ; @.str.1
	.asciz	"dp:s:T:V"

	.comm	_DebugVe,4,2                    ; @DebugVe
	.comm	_optarg,8,3                     ; @optarg
l_.str.2:                               ; @.str.2
	.asciz	"Local trust %s: %d\n"

l_.str.3:                               ; @.str.3
	.asciz	"unknown option: -%c"

	.comm	_optind,4,2                     ; @optind
	.comm	_O_RDONLY,4,2                   ; @O_RDONLY
	.comm	_VE_GUESS,4,2                   ; @VE_GUESS
l_.str.4:                               ; @.str.4
	.asciz	"verify_file(%s) = %d\n"

l_.str.5:                               ; @.str.5
	.asciz	"sig"

l_.str.6:                               ; @.str.6
	.asciz	"Verified: %s: %.28s...\n"

	.comm	_stderr,4,2                     ; @stderr
l_.str.7:                               ; @.str.7
	.asciz	"%s: %s\n"

l_.str.8:                               ; @.str.8
	.asciz	"manifest"

l_.str.9:                               ; @.str.9
	.asciz	"verify_open(%s) = %d %s\n"

l_.str.10:                              ; @.str.10
	.space	1

	.comm	_BUFSIZ,4,2                     ; @BUFSIZ
	.comm	_SEEK_SET,4,2                   ; @SEEK_SET
l_.str.11:                              ; @.str.11
	.asciz	"vectx_open(%s) failed: %d %s\n"

	.comm	_SEEK_END,4,2                   ; @SEEK_END
l_.str.12:                              ; @.str.12
	.asciz	"vectx_close(%s) == %d %s\n"

l_.str.13:                              ; @.str.13
	.asciz	"vectx_close: Verified: %s\n"

.subsections_via_symbols
