	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function nsec3_do_prove_nameerror
_nsec3_do_prove_nameerror:              ## @nsec3_do_prove_nameerror
	.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	%rdx, %r14
	movq	%rsi, %r15
	movq	%rdi, %r12
	leaq	-64(%rbp), %r9
	movl	$1, %r8d
	callq	_nsec3_prove_closest_encloser
	movq	_sec_status_secure@GOTPCREL(%rip), %r13
	cmpl	(%r13), %eax
	jne	LBB0_1
## %bb.4:
	movq	_VERB_ALGO@GOTPCREL(%rip), %rbx
	movl	(%rbx), %edi
	movl	-44(%rbp), %edx
	leaq	L_.str.2(%rip), %rsi
	xorl	%ecx, %ecx
	xorl	%r8d, %r8d
	callq	_log_nametypeclass
	movl	-44(%rbp), %edi
	callq	_log_assert
	movl	(%r12), %edi
	movl	-48(%rbp), %edx
	movl	-44(%rbp), %esi
	leaq	-72(%rbp), %rcx
	callq	_nsec3_ce_wildcard
	testq	%rax, %rax
	je	LBB0_6
## %bb.5:
	movq	-72(%rbp), %r8
	leaq	-76(%rbp), %rcx
	movq	%rcx, (%rsp)
	leaq	-88(%rbp), %r9
	movq	%r12, %rdi
	movq	%r15, %rsi
	movq	%r14, %rdx
	movq	%rax, %rcx
	callq	_find_covering_nsec3
	testl	%eax, %eax
	je	LBB0_6
## %bb.7:
	movq	-56(%rbp), %rdi
	testq	%rdi, %rdi
	je	LBB0_10
## %bb.8:
	movl	-64(%rbp), %esi
	callq	_nsec3_has_optout
	testq	%rax, %rax
	je	LBB0_10
## %bb.9:
	movl	(%rbx), %edi
	leaq	L_.str.4(%rip), %rsi
	callq	_verbose
	movq	_sec_status_insecure@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	jmp	LBB0_11
LBB0_1:
	movl	%eax, %ebx
	movq	_sec_status_bogus@GOTPCREL(%rip), %rax
	movq	_VERB_ALGO@GOTPCREL(%rip), %rcx
	movl	(%rcx), %edi
	cmpl	(%rax), %ebx
	jne	LBB0_3
## %bb.2:
	leaq	L_.str(%rip), %rsi
	callq	_verbose
	jmp	LBB0_11
LBB0_6:
	movl	(%rbx), %edi
	leaq	L_.str.3(%rip), %rsi
	callq	_verbose
	movq	_sec_status_bogus@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
	jmp	LBB0_11
LBB0_3:
	leaq	L_.str.1(%rip), %rsi
	callq	_verbose
	jmp	LBB0_11
LBB0_10:
	movl	(%r13), %ebx
LBB0_11:
	movl	%ebx, %eax
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_sec_status_secure,4,2          ## @sec_status_secure
	.comm	_sec_status_bogus,4,2           ## @sec_status_bogus
	.comm	_VERB_ALGO,4,2                  ## @VERB_ALGO
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"nsec3 nameerror proof: failed to prove a closest encloser"

L_.str.1:                               ## @.str.1
	.asciz	"nsec3 nameerror proof: closest nsec3 is an insecure delegation"

L_.str.2:                               ## @.str.2
	.asciz	"nsec3 nameerror: proven ce="

L_.str.3:                               ## @.str.3
	.asciz	"nsec3 nameerror proof: could not prove that the applicable wildcard did not exist."

L_.str.4:                               ## @.str.4
	.asciz	"nsec3 nameerror proof: nc has optout"

	.comm	_sec_status_insecure,4,2        ## @sec_status_insecure
	.no_dead_strip	_nsec3_do_prove_nameerror
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function nsec3_do_prove_nameerror
_nsec3_do_prove_nameerror:              ; @nsec3_do_prove_nameerror
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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	x19, x2
	mov	x20, x1
	mov	x21, x0
	add	x5, sp, #24
	mov	w4, #1
	bl	_nsec3_prove_closest_encloser
Lloh0:
	adrp	x23, _sec_status_secure@GOTPAGE
Lloh1:
	ldr	x23, [x23, _sec_status_secure@GOTPAGEOFF]
	ldr	w8, [x23]
	cmp	w0, w8
	b.ne	LBB0_6
; %bb.1:
Lloh2:
	adrp	x22, _VERB_ALGO@GOTPAGE
Lloh3:
	ldr	x22, [x22, _VERB_ALGO@GOTPAGEOFF]
	ldr	w0, [x22]
	ldr	w2, [sp, #44]
Lloh4:
	adrp	x1, l_.str.2@PAGE
Lloh5:
	add	x1, x1, l_.str.2@PAGEOFF
	mov	w3, #0
	mov	w4, #0
	bl	_log_nametypeclass
	ldr	w0, [sp, #44]
	bl	_log_assert
	ldr	w0, [x21]
	ldp	w2, w1, [sp, #40]
	add	x3, sp, #16
	bl	_nsec3_ce_wildcard
	cbz	x0, LBB0_8
; %bb.2:
	mov	x3, x0
	ldr	x4, [sp, #16]
	add	x5, sp, #8
	add	x6, sp, #4
	mov	x0, x21
	mov	x1, x20
	mov	x2, x19
	bl	_find_covering_nsec3
	cbz	w0, LBB0_8
; %bb.3:
	ldr	x0, [sp, #32]
	cbz	x0, LBB0_10
; %bb.4:
	ldr	w1, [sp, #24]
	bl	_nsec3_has_optout
	cbz	x0, LBB0_10
; %bb.5:
	ldr	w0, [x22]
Lloh6:
	adrp	x1, l_.str.4@PAGE
Lloh7:
	add	x1, x1, l_.str.4@PAGEOFF
	bl	_verbose
Lloh8:
	adrp	x8, _sec_status_insecure@GOTPAGE
Lloh9:
	ldr	x8, [x8, _sec_status_insecure@GOTPAGEOFF]
Lloh10:
	ldr	w22, [x8]
	b	LBB0_11
LBB0_6:
	mov	x22, x0
Lloh11:
	adrp	x8, _sec_status_bogus@GOTPAGE
Lloh12:
	ldr	x8, [x8, _sec_status_bogus@GOTPAGEOFF]
Lloh13:
	ldr	w8, [x8]
Lloh14:
	adrp	x9, _VERB_ALGO@GOTPAGE
Lloh15:
	ldr	x9, [x9, _VERB_ALGO@GOTPAGEOFF]
Lloh16:
	ldr	w0, [x9]
	cmp	w22, w8
	b.ne	LBB0_9
; %bb.7:
Lloh17:
	adrp	x1, l_.str@PAGE
Lloh18:
	add	x1, x1, l_.str@PAGEOFF
	bl	_verbose
	b	LBB0_11
LBB0_8:
	ldr	w0, [x22]
Lloh19:
	adrp	x1, l_.str.3@PAGE
Lloh20:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_verbose
Lloh21:
	adrp	x8, _sec_status_bogus@GOTPAGE
Lloh22:
	ldr	x8, [x8, _sec_status_bogus@GOTPAGEOFF]
Lloh23:
	ldr	w22, [x8]
	b	LBB0_11
LBB0_9:
Lloh24:
	adrp	x1, l_.str.1@PAGE
Lloh25:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_verbose
	b	LBB0_11
LBB0_10:
	ldr	w22, [x23]
LBB0_11:
	mov	x0, x22
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpAdd	Lloh24, Lloh25
	.cfi_endproc
                                        ; -- End function
	.comm	_sec_status_secure,4,2          ; @sec_status_secure
	.comm	_sec_status_bogus,4,2           ; @sec_status_bogus
	.comm	_VERB_ALGO,4,2                  ; @VERB_ALGO
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"nsec3 nameerror proof: failed to prove a closest encloser"

l_.str.1:                               ; @.str.1
	.asciz	"nsec3 nameerror proof: closest nsec3 is an insecure delegation"

l_.str.2:                               ; @.str.2
	.asciz	"nsec3 nameerror: proven ce="

l_.str.3:                               ; @.str.3
	.asciz	"nsec3 nameerror proof: could not prove that the applicable wildcard did not exist."

l_.str.4:                               ; @.str.4
	.asciz	"nsec3 nameerror proof: nc has optout"

	.comm	_sec_status_insecure,4,2        ; @sec_status_insecure
	.no_dead_strip	_nsec3_do_prove_nameerror
.subsections_via_symbols
