	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_mac_veriexec_fingerprint_check_image ## -- Begin function mac_veriexec_fingerprint_check_image
	.p2align	4, 0x90
_mac_veriexec_fingerprint_check_image:  ## @mac_veriexec_fingerprint_check_image
	.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	%rdx, %r15
	movl	%esi, %r12d
	movq	%rdi, %r13
	movq	8(%rdi), %rbx
	movq	_VERIEXEC_STATE_ACTIVE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_mac_veriexec_in_state
	testq	%rax, %rax
	je	LBB0_1
## %bb.2:
	movl	4(%r13), %esi
	movq	%rbx, %rdi
	movq	%r15, %rdx
	movl	%r12d, %ecx
	callq	_mac_veriexec_metadata_fetch_fingerprint_status
	movl	%eax, %r14d
	movq	_EAUTH@GOTPCREL(%rip), %rax
	testl	%r14d, %r14d
	je	LBB0_4
## %bb.3:
	cmpl	(%rax), %r14d
	jne	LBB0_23
LBB0_4:
	movq	%rbx, %rdi
	callq	_mac_veriexec_get_fingerprint_status
                                        ## kill: def $eax killed $eax def $rax
	addl	$-128, %eax
	cmpl	$6, %eax
	ja	LBB0_19
## %bb.5:
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_10:
	leaq	L_.str.1(%rip), %rsi
	movl	$4, %edi
	callq	_VERIEXEC_DEBUG
	jmp	LBB0_23
LBB0_1:
	xorl	%r14d, %r14d
	jmp	LBB0_23
LBB0_19:
	leaq	L_.str.6(%rip), %rdx
	jmp	LBB0_20
LBB0_13:
	leaq	L_.str.3(%rip), %rdx
	jmp	LBB0_14
LBB0_17:
	leaq	L_.str.4(%rip), %rdx
	jmp	LBB0_14
LBB0_18:
	leaq	L_.str.5(%rip), %rdx
LBB0_14:
	movq	%r13, %rdi
	movq	%r15, %rsi
	callq	_identify_error
	movq	_prison0@GOTPCREL(%rip), %rax
	cmpl	$1, (%rax)
	jg	LBB0_16
## %bb.15:
	movq	_VERIEXEC_STATE_ENFORCE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_mac_veriexec_in_state
	testq	%rax, %rax
	je	LBB0_23
LBB0_16:
	movq	_EAUTH@GOTPCREL(%rip), %rax
	jmp	LBB0_22
LBB0_6:
	leaq	L_.str(%rip), %rdx
LBB0_20:
	movq	%r13, %rdi
	movq	%r15, %rsi
	callq	_identify_error
LBB0_21:
	movq	_EPERM@GOTPCREL(%rip), %rax
LBB0_22:
	movl	(%rax), %r14d
LBB0_23:
	movl	%r14d, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_11:
	cmpl	$0, (%r13)
	jne	LBB0_23
## %bb.12:
	leaq	L_.str.2(%rip), %rdx
	movq	%r13, %rdi
	movq	%r15, %rsi
	callq	_identify_error
	jmp	LBB0_8
LBB0_7:
	testl	%r12d, %r12d
	jne	LBB0_23
LBB0_8:
	movq	_prison0@GOTPCREL(%rip), %rax
	cmpl	$1, (%rax)
	jg	LBB0_21
## %bb.9:
	movq	_VERIEXEC_STATE_ENFORCE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_mac_veriexec_in_state
	testq	%rax, %rax
	jne	LBB0_21
	jmp	LBB0_23
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_10, LBB0_10-LJTI0_0
.set L0_0_set_13, LBB0_13-LJTI0_0
.set L0_0_set_17, LBB0_17-LJTI0_0
.set L0_0_set_18, LBB0_18-LJTI0_0
.set L0_0_set_6, LBB0_6-LJTI0_0
.set L0_0_set_11, LBB0_11-LJTI0_0
.set L0_0_set_7, LBB0_7-LJTI0_0
LJTI0_0:
	.long	L0_0_set_10
	.long	L0_0_set_13
	.long	L0_0_set_17
	.long	L0_0_set_18
	.long	L0_0_set_6
	.long	L0_0_set_11
	.long	L0_0_set_7
	.end_data_region
                                        ## -- End function
	.comm	_VERIEXEC_STATE_ACTIVE,4,2      ## @VERIEXEC_STATE_ACTIVE
	.comm	_EAUTH,4,2                      ## @EAUTH
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"got unexpected FINGERPRINT_INVALID"

	.comm	_EPERM,4,2                      ## @EPERM
	.comm	_prison0,4,2                    ## @prison0
	.comm	_VERIEXEC_STATE_ENFORCE,4,2     ## @VERIEXEC_STATE_ENFORCE
L_.str.1:                               ## @.str.1
	.asciz	"Fingerprint matches\n"

L_.str.2:                               ## @.str.2
	.asciz	"attempted direct execution"

L_.str.3:                               ## @.str.3
	.asciz	"fingerprint does not match loaded value"

L_.str.4:                               ## @.str.4
	.asciz	"no fingerprint"

L_.str.5:                               ## @.str.5
	.asciz	"no signatures for device"

L_.str.6:                               ## @.str.6
	.asciz	"invalid status field for vnode"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_mac_veriexec_fingerprint_check_image ; -- Begin function mac_veriexec_fingerprint_check_image
	.p2align	2
_mac_veriexec_fingerprint_check_image:  ; @mac_veriexec_fingerprint_check_image
	.cfi_startproc
; %bb.0:
	stp	x24, x23, [sp, #-64]!           ; 16-byte Folded Spill
	.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
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	mov	x20, x2
	mov	x22, x1
	mov	x21, x0
	ldr	x23, [x0, #8]
Lloh0:
	adrp	x8, _VERIEXEC_STATE_ACTIVE@GOTPAGE
Lloh1:
	ldr	x8, [x8, _VERIEXEC_STATE_ACTIVE@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
	bl	_mac_veriexec_in_state
	cbz	x0, LBB0_5
; %bb.1:
	ldr	w1, [x21, #4]
	mov	x0, x23
	mov	x2, x20
	mov	x3, x22
	bl	_mac_veriexec_metadata_fetch_fingerprint_status
	mov	x19, x0
Lloh3:
	adrp	x24, _EAUTH@GOTPAGE
Lloh4:
	ldr	x24, [x24, _EAUTH@GOTPAGEOFF]
	ldr	w8, [x24]
	cmp	w0, #0
	ccmp	w0, w8, #4, ne
	b.ne	LBB0_16
; %bb.2:
	mov	x0, x23
	bl	_mac_veriexec_get_fingerprint_status
	sub	w8, w0, #128
	cmp	w8, #6
	b.hi	LBB0_6
; %bb.3:
Lloh5:
	adrp	x9, lJTI0_0@PAGE
Lloh6:
	add	x9, x9, lJTI0_0@PAGEOFF
	adr	x10, LBB0_4
	ldrb	w11, [x9, x8]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_4:
Lloh7:
	adrp	x1, l_.str.1@PAGE
Lloh8:
	add	x1, x1, l_.str.1@PAGEOFF
	mov	w0, #4
	bl	_VERIEXEC_DEBUG
	b	LBB0_16
LBB0_5:
	mov	w19, #0
	b	LBB0_16
LBB0_6:
Lloh9:
	adrp	x2, l_.str.6@PAGE
Lloh10:
	add	x2, x2, l_.str.6@PAGEOFF
	b	LBB0_14
LBB0_7:
Lloh11:
	adrp	x2, l_.str.3@PAGE
Lloh12:
	add	x2, x2, l_.str.3@PAGEOFF
	b	LBB0_10
LBB0_8:
Lloh13:
	adrp	x2, l_.str.4@PAGE
Lloh14:
	add	x2, x2, l_.str.4@PAGEOFF
	b	LBB0_10
LBB0_9:
Lloh15:
	adrp	x2, l_.str.5@PAGE
Lloh16:
	add	x2, x2, l_.str.5@PAGEOFF
LBB0_10:
	mov	x0, x21
	mov	x1, x20
	bl	_identify_error
Lloh17:
	adrp	x8, _prison0@GOTPAGE
Lloh18:
	ldr	x8, [x8, _prison0@GOTPAGEOFF]
Lloh19:
	ldr	w8, [x8]
	cmp	w8, #1
	b.gt	LBB0_12
; %bb.11:
Lloh20:
	adrp	x8, _VERIEXEC_STATE_ENFORCE@GOTPAGE
Lloh21:
	ldr	x8, [x8, _VERIEXEC_STATE_ENFORCE@GOTPAGEOFF]
Lloh22:
	ldr	w0, [x8]
	bl	_mac_veriexec_in_state
	cbz	x0, LBB0_16
LBB0_12:
	ldr	w19, [x24]
	b	LBB0_16
LBB0_13:
Lloh23:
	adrp	x2, l_.str@PAGE
Lloh24:
	add	x2, x2, l_.str@PAGEOFF
LBB0_14:
	mov	x0, x21
	mov	x1, x20
	bl	_identify_error
LBB0_15:
Lloh25:
	adrp	x8, _EPERM@GOTPAGE
Lloh26:
	ldr	x8, [x8, _EPERM@GOTPAGEOFF]
Lloh27:
	ldr	w19, [x8]
LBB0_16:
	mov	x0, x19
	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
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	ret
LBB0_17:
	ldr	w8, [x21]
	cbnz	w8, LBB0_16
; %bb.18:
Lloh28:
	adrp	x2, l_.str.2@PAGE
Lloh29:
	add	x2, x2, l_.str.2@PAGEOFF
	mov	x0, x21
	mov	x1, x20
	bl	_identify_error
	b	LBB0_20
LBB0_19:
	cbnz	w22, LBB0_16
LBB0_20:
Lloh30:
	adrp	x8, _prison0@GOTPAGE
Lloh31:
	ldr	x8, [x8, _prison0@GOTPAGEOFF]
Lloh32:
	ldr	w8, [x8]
	cmp	w8, #1
	b.gt	LBB0_15
; %bb.21:
Lloh33:
	adrp	x8, _VERIEXEC_STATE_ENFORCE@GOTPAGE
Lloh34:
	ldr	x8, [x8, _VERIEXEC_STATE_ENFORCE@GOTPAGEOFF]
Lloh35:
	ldr	w0, [x8]
	bl	_mac_veriexec_in_state
	cbnz	x0, LBB0_15
	b	LBB0_16
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpAdd	Lloh23, Lloh24
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh27
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh33, Lloh34, Lloh35
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_4-LBB0_4)>>2
	.byte	(LBB0_7-LBB0_4)>>2
	.byte	(LBB0_8-LBB0_4)>>2
	.byte	(LBB0_9-LBB0_4)>>2
	.byte	(LBB0_13-LBB0_4)>>2
	.byte	(LBB0_17-LBB0_4)>>2
	.byte	(LBB0_19-LBB0_4)>>2
                                        ; -- End function
	.comm	_VERIEXEC_STATE_ACTIVE,4,2      ; @VERIEXEC_STATE_ACTIVE
	.comm	_EAUTH,4,2                      ; @EAUTH
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"got unexpected FINGERPRINT_INVALID"

	.comm	_EPERM,4,2                      ; @EPERM
	.comm	_prison0,4,2                    ; @prison0
	.comm	_VERIEXEC_STATE_ENFORCE,4,2     ; @VERIEXEC_STATE_ENFORCE
l_.str.1:                               ; @.str.1
	.asciz	"Fingerprint matches\n"

l_.str.2:                               ; @.str.2
	.asciz	"attempted direct execution"

l_.str.3:                               ; @.str.3
	.asciz	"fingerprint does not match loaded value"

l_.str.4:                               ; @.str.4
	.asciz	"no fingerprint"

l_.str.5:                               ; @.str.5
	.asciz	"no signatures for device"

l_.str.6:                               ; @.str.6
	.asciz	"invalid status field for vnode"

.subsections_via_symbols
