	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_nsec3_prove_nods               ## -- Begin function nsec3_prove_nods
	.p2align	4, 0x90
_nsec3_prove_nods:                      ## @nsec3_prove_nods
	.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	%r9, %rbx
	movq	%r8, %r12
	movq	%rcx, %r14
	movq	%rdx, %r15
	movq	%rsi, %r13
	movq	%rdi, -80(%rbp)                 ## 8-byte Spill
	movq	(%r8), %rax
	movq	_LDNS_RR_TYPE_DS@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpq	(%rcx), %rax
	sete	%dil
	callq	_log_assert
	testq	%r15, %r15
	je	LBB0_4
## %bb.1:
	testq	%r14, %r14
	je	LBB0_4
## %bb.2:
	testq	%rbx, %rbx
	je	LBB0_4
## %bb.3:
	movq	%rbx, %rdi
	callq	_key_entry_isgood
	testl	%eax, %eax
	je	LBB0_4
## %bb.5:
	movq	24(%rbp), %rax
	movq	%rax, (%rsp)
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	movq	%r13, %rsi
	movq	%r15, %rdx
	movq	%r14, %rcx
	movq	%rbx, %r8
	movq	16(%rbp), %r9
	callq	_list_is_secure
	movq	_sec_status_bogus@GOTPCREL(%rip), %rcx
	testl	%eax, %eax
	je	LBB0_6
## %bb.7:
	movq	_nsec3_hash_cmp@GOTPCREL(%rip), %rsi
	leaq	-56(%rbp), %rdi
	callq	_rbtree_init
	leaq	-48(%rbp), %rdi
	movq	%r15, %rsi
	movq	%r14, %rdx
	movq	%r12, %rcx
	callq	_filter_init
	cmpl	$0, -48(%rbp)
	je	LBB0_8
## %bb.9:
	leaq	-48(%rbp), %rsi
	movq	%r13, %rdi
	movq	%rbx, %rdx
	callq	_nsec3_iteration_count_high
	movq	_sec_status_insecure@GOTPCREL(%rip), %rbx
	testq	%rax, %rax
	jne	LBB0_26
## %bb.10:
	movl	8(%r12), %r8d
	movl	12(%r12), %ecx
	leaq	-52(%rbp), %rax
	movq	%rax, (%rsp)
	leaq	-48(%rbp), %rsi
	leaq	-56(%rbp), %rdx
	leaq	-64(%rbp), %r9
	movq	-80(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdi
	callq	_find_matching_nsec3
	testq	%rax, %rax
	je	LBB0_19
## %bb.11:
	movq	-64(%rbp), %rdi
	movl	-52(%rbp), %esi
	movq	_LDNS_RR_TYPE_SOA@GOTPCREL(%rip), %rax
	movq	(%rax), %rdx
	callq	_nsec3_has_type
	testq	%rax, %rax
	je	LBB0_14
## %bb.12:
	cmpl	$1, 8(%r12)
	jne	LBB0_13
LBB0_14:
	movq	-64(%rbp), %rdi
	movl	-52(%rbp), %esi
	movq	_LDNS_RR_TYPE_DS@GOTPCREL(%rip), %rax
	movq	(%rax), %rdx
	callq	_nsec3_has_type
	testq	%rax, %rax
	je	LBB0_16
## %bb.15:
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.4(%rip), %rsi
	callq	_verbose
	leaq	L_.str.5(%rip), %rax
	jmp	LBB0_25
LBB0_4:
	leaq	L_.str(%rip), %rax
LBB0_25:
	movq	16(%rbp), %rcx
	movq	%rax, (%rcx)
	movq	_sec_status_bogus@GOTPCREL(%rip), %rbx
LBB0_26:
	movl	(%rbx), %eax
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_6:
	movq	%rcx, %rbx
	jmp	LBB0_26
LBB0_8:
	leaq	L_.str.1(%rip), %rax
	jmp	LBB0_25
LBB0_19:
	leaq	-48(%rbp), %rsi
	leaq	-56(%rbp), %rdx
	leaq	-72(%rbp), %r9
	movq	%r14, %rdi
	movq	%r12, %rcx
	movl	$1, %r8d
	callq	_nsec3_prove_closest_encloser
	movq	_sec_status_secure@GOTPCREL(%rip), %rcx
	cmpl	(%rcx), %eax
	jne	LBB0_20
## %bb.21:
	movl	-72(%rbp), %edi
	testl	%edi, %edi
	je	LBB0_22
## %bb.23:
	callq	_log_assert
	movl	-72(%rbp), %edi
	movl	-68(%rbp), %esi
	callq	_nsec3_has_optout
	testl	%eax, %eax
	jne	LBB0_26
## %bb.24:
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.10(%rip), %rsi
	callq	_verbose
	leaq	L_.str.11(%rip), %rax
	jmp	LBB0_25
LBB0_13:
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.2(%rip), %rsi
	callq	_verbose
	leaq	L_.str.3(%rip), %rax
	jmp	LBB0_25
LBB0_20:
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.6(%rip), %rsi
	callq	_verbose
	leaq	L_.str.7(%rip), %rax
	jmp	LBB0_25
LBB0_16:
	movq	-64(%rbp), %rdi
	movl	-52(%rbp), %esi
	movq	_LDNS_RR_TYPE_NS@GOTPCREL(%rip), %rax
	movq	(%rax), %rdx
	callq	_nsec3_has_type
	testq	%rax, %rax
	jne	LBB0_17
## %bb.18:
	movq	_sec_status_indeterminate@GOTPCREL(%rip), %rbx
	jmp	LBB0_26
LBB0_17:
	movq	_sec_status_secure@GOTPCREL(%rip), %rbx
	jmp	LBB0_26
LBB0_22:
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.8(%rip), %rsi
	callq	_verbose
	leaq	L_.str.9(%rip), %rax
	jmp	LBB0_25
	.cfi_endproc
                                        ## -- End function
	.comm	_LDNS_RR_TYPE_DS,8,3            ## @LDNS_RR_TYPE_DS
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"no valid NSEC3s"

	.comm	_sec_status_bogus,4,2           ## @sec_status_bogus
	.comm	_nsec3_hash_cmp,4,2             ## @nsec3_hash_cmp
L_.str.1:                               ## @.str.1
	.asciz	"no NSEC3 records"

	.comm	_sec_status_insecure,4,2        ## @sec_status_insecure
	.comm	_LDNS_RR_TYPE_SOA,8,3           ## @LDNS_RR_TYPE_SOA
	.comm	_VERB_ALGO,4,2                  ## @VERB_ALGO
L_.str.2:                               ## @.str.2
	.asciz	"nsec3 provenods: NSEC3 is from child zone, bogus"

L_.str.3:                               ## @.str.3
	.asciz	"NSEC3 from child zone"

L_.str.4:                               ## @.str.4
	.asciz	"nsec3 provenods: NSEC3 has qtype DS, bogus"

L_.str.5:                               ## @.str.5
	.asciz	"NSEC3 has DS in bitmap"

	.comm	_LDNS_RR_TYPE_NS,8,3            ## @LDNS_RR_TYPE_NS
	.comm	_sec_status_indeterminate,4,2   ## @sec_status_indeterminate
	.comm	_sec_status_secure,4,2          ## @sec_status_secure
L_.str.6:                               ## @.str.6
	.asciz	"nsec3 provenods: did not match qname, nor found a proven closest encloser."

L_.str.7:                               ## @.str.7
	.asciz	"no NSEC3 closest encloser"

L_.str.8:                               ## @.str.8
	.asciz	"nsec3 nods proof: no next closer nsec3"

L_.str.9:                               ## @.str.9
	.asciz	"no NSEC3 next closer"

L_.str.10:                              ## @.str.10
	.asciz	"nsec3 provenods: covering NSEC3 was not opt-out in an opt-out DS NOERROR/NODATA case."

L_.str.11:                              ## @.str.11
	.asciz	"covering NSEC3 was not opt-out in an opt-out DS NOERROR/NODATA case"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_nsec3_prove_nods               ; -- Begin function nsec3_prove_nods
	.p2align	2
_nsec3_prove_nods:                      ; @nsec3_prove_nods
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #128
	.cfi_def_cfa_offset 128
	stp	x28, x27, [sp, #32]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #48]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #64]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #80]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #96]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #112]            ; 16-byte Folded Spill
	add	x29, sp, #112
	.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
	mov	x26, x7
	mov	x19, x6
	mov	x22, x5
	mov	x20, x4
	mov	x24, x3
	mov	x25, x2
	mov	x23, x1
	mov	x21, x0
	ldr	x8, [x4]
Lloh0:
	adrp	x27, _LDNS_RR_TYPE_DS@GOTPAGE
Lloh1:
	ldr	x27, [x27, _LDNS_RR_TYPE_DS@GOTPAGEOFF]
	ldr	x9, [x27]
	cmp	x8, x9
	cset	w0, eq
	bl	_log_assert
	cbz	x25, LBB0_8
; %bb.1:
	cbz	x24, LBB0_8
; %bb.2:
	cbz	x22, LBB0_8
; %bb.3:
	mov	x0, x22
	bl	_key_entry_isgood
	cbz	w0, LBB0_8
; %bb.4:
	mov	x0, x21
	mov	x1, x23
	mov	x2, x25
	mov	x3, x24
	mov	x4, x22
	mov	x5, x19
	mov	x6, x26
	bl	_list_is_secure
	cbz	w0, LBB0_10
; %bb.5:
Lloh2:
	adrp	x1, _nsec3_hash_cmp@GOTPAGE
Lloh3:
	ldr	x1, [x1, _nsec3_hash_cmp@GOTPAGEOFF]
	add	x0, sp, #28
	bl	_rbtree_init
	add	x0, sp, #24
	mov	x1, x25
	mov	x2, x24
	mov	x3, x20
	bl	_filter_init
	ldr	w8, [sp, #24]
	cbz	w8, LBB0_12
; %bb.6:
	add	x1, sp, #24
	mov	x0, x23
	mov	x2, x22
	bl	_nsec3_iteration_count_high
	cbz	x0, LBB0_13
LBB0_7:
Lloh4:
	adrp	x8, _sec_status_insecure@GOTPAGE
Lloh5:
	ldr	x8, [x8, _sec_status_insecure@GOTPAGEOFF]
	b	LBB0_11
LBB0_8:
Lloh6:
	adrp	x8, l_.str@PAGE
Lloh7:
	add	x8, x8, l_.str@PAGEOFF
LBB0_9:
	str	x8, [x19]
LBB0_10:
Lloh8:
	adrp	x8, _sec_status_bogus@GOTPAGE
Lloh9:
	ldr	x8, [x8, _sec_status_bogus@GOTPAGEOFF]
LBB0_11:
	ldr	w0, [x8]
	ldp	x29, x30, [sp, #112]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #96]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #80]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #64]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #48]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #128
	ret
LBB0_12:
Lloh10:
	adrp	x8, l_.str.1@PAGE
Lloh11:
	add	x8, x8, l_.str.1@PAGEOFF
	b	LBB0_9
LBB0_13:
	ldp	w4, w3, [x20, #8]
	add	x1, sp, #24
	add	x2, sp, #28
	add	x5, sp, #8
	add	x6, sp, #4
	mov	x0, x21
	bl	_find_matching_nsec3
	cbz	x0, LBB0_18
; %bb.14:
	ldr	x0, [sp, #8]
	ldr	w1, [sp, #4]
Lloh12:
	adrp	x8, _LDNS_RR_TYPE_SOA@GOTPAGE
Lloh13:
	ldr	x8, [x8, _LDNS_RR_TYPE_SOA@GOTPAGEOFF]
Lloh14:
	ldr	x2, [x8]
	bl	_nsec3_has_type
	cbz	x0, LBB0_16
; %bb.15:
	ldr	w8, [x20, #8]
	cmp	w8, #1
	b.ne	LBB0_22
LBB0_16:
	ldr	x0, [sp, #8]
	ldr	w1, [sp, #4]
	ldr	x2, [x27]
	bl	_nsec3_has_type
	cbz	x0, LBB0_24
; %bb.17:
Lloh15:
	adrp	x8, _VERB_ALGO@GOTPAGE
Lloh16:
	ldr	x8, [x8, _VERB_ALGO@GOTPAGEOFF]
Lloh17:
	ldr	w0, [x8]
Lloh18:
	adrp	x1, l_.str.4@PAGE
Lloh19:
	add	x1, x1, l_.str.4@PAGEOFF
	bl	_verbose
Lloh20:
	adrp	x8, l_.str.5@PAGE
Lloh21:
	add	x8, x8, l_.str.5@PAGEOFF
	b	LBB0_9
LBB0_18:
	add	x1, sp, #24
	add	x2, sp, #28
	add	x5, sp, #16
	mov	x0, x21
	mov	x3, x20
	mov	w4, #1
	bl	_nsec3_prove_closest_encloser
Lloh22:
	adrp	x8, _sec_status_secure@GOTPAGE
Lloh23:
	ldr	x8, [x8, _sec_status_secure@GOTPAGEOFF]
Lloh24:
	ldr	w8, [x8]
	cmp	w0, w8
	b.ne	LBB0_23
; %bb.19:
	ldr	w0, [sp, #16]
	cbz	w0, LBB0_25
; %bb.20:
	bl	_log_assert
	ldp	w0, w1, [sp, #16]
	bl	_nsec3_has_optout
	cbnz	w0, LBB0_7
; %bb.21:
Lloh25:
	adrp	x8, _VERB_ALGO@GOTPAGE
Lloh26:
	ldr	x8, [x8, _VERB_ALGO@GOTPAGEOFF]
Lloh27:
	ldr	w0, [x8]
Lloh28:
	adrp	x1, l_.str.10@PAGE
Lloh29:
	add	x1, x1, l_.str.10@PAGEOFF
	bl	_verbose
Lloh30:
	adrp	x8, l_.str.11@PAGE
Lloh31:
	add	x8, x8, l_.str.11@PAGEOFF
	b	LBB0_9
LBB0_22:
Lloh32:
	adrp	x8, _VERB_ALGO@GOTPAGE
Lloh33:
	ldr	x8, [x8, _VERB_ALGO@GOTPAGEOFF]
Lloh34:
	ldr	w0, [x8]
Lloh35:
	adrp	x1, l_.str.2@PAGE
Lloh36:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_verbose
Lloh37:
	adrp	x8, l_.str.3@PAGE
Lloh38:
	add	x8, x8, l_.str.3@PAGEOFF
	b	LBB0_9
LBB0_23:
Lloh39:
	adrp	x8, _VERB_ALGO@GOTPAGE
Lloh40:
	ldr	x8, [x8, _VERB_ALGO@GOTPAGEOFF]
Lloh41:
	ldr	w0, [x8]
Lloh42:
	adrp	x1, l_.str.6@PAGE
Lloh43:
	add	x1, x1, l_.str.6@PAGEOFF
	bl	_verbose
Lloh44:
	adrp	x8, l_.str.7@PAGE
Lloh45:
	add	x8, x8, l_.str.7@PAGEOFF
	b	LBB0_9
LBB0_24:
	ldr	x0, [sp, #8]
	ldr	w1, [sp, #4]
Lloh46:
	adrp	x8, _LDNS_RR_TYPE_NS@GOTPAGE
Lloh47:
	ldr	x8, [x8, _LDNS_RR_TYPE_NS@GOTPAGEOFF]
Lloh48:
	ldr	x2, [x8]
	bl	_nsec3_has_type
Lloh49:
	adrp	x8, _sec_status_secure@GOTPAGE
Lloh50:
	ldr	x8, [x8, _sec_status_secure@GOTPAGEOFF]
Lloh51:
	adrp	x9, _sec_status_indeterminate@GOTPAGE
Lloh52:
	ldr	x9, [x9, _sec_status_indeterminate@GOTPAGEOFF]
	cmp	x0, #0
	csel	x8, x9, x8, eq
	b	LBB0_11
LBB0_25:
Lloh53:
	adrp	x8, _VERB_ALGO@GOTPAGE
Lloh54:
	ldr	x8, [x8, _VERB_ALGO@GOTPAGEOFF]
Lloh55:
	ldr	w0, [x8]
Lloh56:
	adrp	x1, l_.str.8@PAGE
Lloh57:
	add	x1, x1, l_.str.8@PAGEOFF
	bl	_verbose
Lloh58:
	adrp	x8, l_.str.9@PAGE
Lloh59:
	add	x8, x8, l_.str.9@PAGEOFF
	b	LBB0_9
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh4, Lloh5
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.loh AdrpAdd	Lloh30, Lloh31
	.loh AdrpAdd	Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh27
	.loh AdrpAdd	Lloh37, Lloh38
	.loh AdrpAdd	Lloh35, Lloh36
	.loh AdrpLdrGotLdr	Lloh32, Lloh33, Lloh34
	.loh AdrpAdd	Lloh44, Lloh45
	.loh AdrpAdd	Lloh42, Lloh43
	.loh AdrpLdrGotLdr	Lloh39, Lloh40, Lloh41
	.loh AdrpLdrGot	Lloh51, Lloh52
	.loh AdrpLdrGot	Lloh49, Lloh50
	.loh AdrpLdrGotLdr	Lloh46, Lloh47, Lloh48
	.loh AdrpAdd	Lloh58, Lloh59
	.loh AdrpAdd	Lloh56, Lloh57
	.loh AdrpLdrGotLdr	Lloh53, Lloh54, Lloh55
	.cfi_endproc
                                        ; -- End function
	.comm	_LDNS_RR_TYPE_DS,8,3            ; @LDNS_RR_TYPE_DS
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"no valid NSEC3s"

	.comm	_sec_status_bogus,4,2           ; @sec_status_bogus
	.comm	_nsec3_hash_cmp,4,2             ; @nsec3_hash_cmp
l_.str.1:                               ; @.str.1
	.asciz	"no NSEC3 records"

	.comm	_sec_status_insecure,4,2        ; @sec_status_insecure
	.comm	_LDNS_RR_TYPE_SOA,8,3           ; @LDNS_RR_TYPE_SOA
	.comm	_VERB_ALGO,4,2                  ; @VERB_ALGO
l_.str.2:                               ; @.str.2
	.asciz	"nsec3 provenods: NSEC3 is from child zone, bogus"

l_.str.3:                               ; @.str.3
	.asciz	"NSEC3 from child zone"

l_.str.4:                               ; @.str.4
	.asciz	"nsec3 provenods: NSEC3 has qtype DS, bogus"

l_.str.5:                               ; @.str.5
	.asciz	"NSEC3 has DS in bitmap"

	.comm	_LDNS_RR_TYPE_NS,8,3            ; @LDNS_RR_TYPE_NS
	.comm	_sec_status_indeterminate,4,2   ; @sec_status_indeterminate
	.comm	_sec_status_secure,4,2          ; @sec_status_secure
l_.str.6:                               ; @.str.6
	.asciz	"nsec3 provenods: did not match qname, nor found a proven closest encloser."

l_.str.7:                               ; @.str.7
	.asciz	"no NSEC3 closest encloser"

l_.str.8:                               ; @.str.8
	.asciz	"nsec3 nods proof: no next closer nsec3"

l_.str.9:                               ; @.str.9
	.asciz	"no NSEC3 next closer"

l_.str.10:                              ; @.str.10
	.asciz	"nsec3 provenods: covering NSEC3 was not opt-out in an opt-out DS NOERROR/NODATA case."

l_.str.11:                              ; @.str.11
	.asciz	"covering NSEC3 was not opt-out in an opt-out DS NOERROR/NODATA case"

.subsections_via_symbols
