	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_nsec_proves_nodata             ## -- Begin function nsec_proves_nodata
	.p2align	4, 0x90
_nsec_proves_nodata:                    ## @nsec_proves_nodata
	.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	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdx, %r12
	movq	%rsi, %r15
	movq	%rdi, %rbx
	movq	%rdx, %rdi
	callq	_log_assert
	movq	8(%rbx), %rdi
	movq	8(%r15), %rsi
	callq	_query_dname_compare
	testq	%rax, %rax
	je	LBB0_11
## %bb.1:
	leaq	-48(%rbp), %rsi
	leaq	-72(%rbp), %rdx
	movq	%rbx, %rdi
	callq	_nsec_get_next
	xorl	%r14d, %r14d
	testl	%eax, %eax
	je	LBB0_28
## %bb.2:
	movq	-48(%rbp), %rdi
	movq	8(%r15), %rsi
	callq	_dname_strict_subdomain_c
	testq	%rax, %rax
	je	LBB0_4
## %bb.3:
	movq	8(%rbx), %rdi
	movq	8(%r15), %rsi
	callq	_dname_canonical_compare
	testq	%rax, %rax
	js	LBB0_27
LBB0_4:
	movq	8(%rbx), %rdi
	callq	_dname_is_wild
	testq	%rax, %rax
	je	LBB0_19
## %bb.5:
	movq	8(%rbx), %rax
	movq	%rax, -64(%rbp)
	movq	(%rbx), %rax
	movq	%rax, -56(%rbp)
	leaq	-64(%rbp), %rdi
	leaq	-56(%rbp), %rsi
	callq	_dname_remove_label
	movq	8(%r15), %rdi
	movq	-64(%rbp), %rsi
	callq	_dname_strict_subdomain_c
	testq	%rax, %rax
	je	LBB0_28
## %bb.6:
	movq	_LDNS_RR_TYPE_CNAME@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	xorl	%r14d, %r14d
	testq	%rax, %rax
	jne	LBB0_28
## %bb.7:
	movq	_LDNS_RR_TYPE_NS@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	testq	%rax, %rax
	je	LBB0_9
## %bb.8:
	movq	_LDNS_RR_TYPE_SOA@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	testq	%rax, %rax
	je	LBB0_28
LBB0_9:
	movq	(%r15), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	testq	%rax, %rax
	jne	LBB0_28
## %bb.10:
	movq	-64(%rbp), %rax
	jmp	LBB0_26
LBB0_11:
	movq	(%r15), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	xorl	%r14d, %r14d
	testq	%rax, %rax
	jne	LBB0_28
## %bb.12:
	movq	_LDNS_RR_TYPE_CNAME@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	testq	%rax, %rax
	jne	LBB0_28
## %bb.13:
	movq	(%r15), %rax
	movq	_LDNS_RR_TYPE_DS@GOTPCREL(%rip), %r12
	cmpq	(%r12), %rax
	je	LBB0_16
## %bb.14:
	movq	_LDNS_RR_TYPE_NS@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	testq	%rax, %rax
	je	LBB0_16
## %bb.15:
	movq	_LDNS_RR_TYPE_SOA@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	testq	%rax, %rax
	je	LBB0_28
LBB0_16:
	movq	(%r15), %rax
	cmpq	(%r12), %rax
	jne	LBB0_27
## %bb.17:
	movq	_LDNS_RR_TYPE_SOA@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	%rbx, %rdi
	callq	_nsec_has_type
	testq	%rax, %rax
	je	LBB0_27
## %bb.18:
	movq	8(%r15), %rdi
	callq	_dname_is_root
	testl	%eax, %eax
	jne	LBB0_27
	jmp	LBB0_28
LBB0_19:
	movq	8(%rbx), %rdi
	movq	-48(%rbp), %rsi
	callq	_dname_canonical_compare
	testq	%rax, %rax
	jns	LBB0_28
## %bb.20:
	leaq	-72(%rbp), %r13
	jmp	LBB0_22
	.p2align	4, 0x90
LBB0_21:                                ##   in Loop: Header=BB0_22 Depth=1
	leaq	-48(%rbp), %rdi
	movq	%r13, %rsi
	callq	_dname_remove_label
	movq	8(%rbx), %rdi
	movq	-48(%rbp), %rsi
	callq	_dname_canonical_compare
	testq	%rax, %rax
	jns	LBB0_28
LBB0_22:                                ## =>This Inner Loop Header: Depth=1
	movq	8(%r15), %rdi
	movq	-48(%rbp), %rsi
	callq	_dname_subdomain_c
	testq	%rax, %rax
	jne	LBB0_28
## %bb.23:                              ##   in Loop: Header=BB0_22 Depth=1
	movq	-48(%rbp), %rdi
	callq	_dname_is_wild
	testq	%rax, %rax
	je	LBB0_21
## %bb.24:                              ##   in Loop: Header=BB0_22 Depth=1
	movq	-72(%rbp), %rax
	movq	%rax, -64(%rbp)
	movq	-48(%rbp), %rax
	movq	%rax, -56(%rbp)
	leaq	-56(%rbp), %rdi
	leaq	-64(%rbp), %rsi
	callq	_dname_remove_label
	movq	8(%r15), %rdi
	movq	-56(%rbp), %rsi
	callq	_dname_strict_subdomain_c
	testq	%rax, %rax
	je	LBB0_21
## %bb.25:
	movq	-56(%rbp), %rax
LBB0_26:
	movq	%rax, (%r12)
LBB0_27:
	movl	$1, %r14d
LBB0_28:
	movl	%r14d, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_LDNS_RR_TYPE_CNAME,8,3         ## @LDNS_RR_TYPE_CNAME
	.comm	_LDNS_RR_TYPE_NS,8,3            ## @LDNS_RR_TYPE_NS
	.comm	_LDNS_RR_TYPE_SOA,8,3           ## @LDNS_RR_TYPE_SOA
	.comm	_LDNS_RR_TYPE_DS,8,3            ## @LDNS_RR_TYPE_DS
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_nsec_proves_nodata             ; -- Begin function nsec_proves_nodata
	.p2align	2
_nsec_proves_nodata:                    ; @nsec_proves_nodata
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.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
	mov	x21, x2
	mov	x19, x1
	mov	x20, x0
	mov	x0, x2
	bl	_log_assert
	ldr	x0, [x20, #8]
	ldr	x1, [x19, #8]
	bl	_query_dname_compare
	cbz	x0, LBB0_11
; %bb.1:
	add	x1, sp, #24
	add	x2, sp, #16
	mov	x0, x20
	bl	_nsec_get_next
	cbz	w0, LBB0_28
; %bb.2:
	ldr	x0, [sp, #24]
	ldr	x1, [x19, #8]
	bl	_dname_strict_subdomain_c
	cbz	x0, LBB0_4
; %bb.3:
	ldr	x0, [x20, #8]
	ldr	x1, [x19, #8]
	bl	_dname_canonical_compare
	tbnz	x0, #63, LBB0_27
LBB0_4:
	ldr	x0, [x20, #8]
	bl	_dname_is_wild
	cbz	x0, LBB0_19
; %bb.5:
	ldp	x9, x8, [x20]
	stp	x9, x8, [sp]
	add	x0, sp, #8
	mov	x1, sp
	bl	_dname_remove_label
	ldr	x0, [x19, #8]
	ldr	x1, [sp, #8]
	bl	_dname_strict_subdomain_c
	cbz	x0, LBB0_28
; %bb.6:
Lloh0:
	adrp	x8, _LDNS_RR_TYPE_CNAME@GOTPAGE
Lloh1:
	ldr	x8, [x8, _LDNS_RR_TYPE_CNAME@GOTPAGEOFF]
Lloh2:
	ldr	x1, [x8]
	mov	x0, x20
	bl	_nsec_has_type
	cbnz	x0, LBB0_20
; %bb.7:
Lloh3:
	adrp	x8, _LDNS_RR_TYPE_NS@GOTPAGE
Lloh4:
	ldr	x8, [x8, _LDNS_RR_TYPE_NS@GOTPAGEOFF]
Lloh5:
	ldr	x1, [x8]
	mov	x0, x20
	bl	_nsec_has_type
	cbz	x0, LBB0_9
; %bb.8:
Lloh6:
	adrp	x8, _LDNS_RR_TYPE_SOA@GOTPAGE
Lloh7:
	ldr	x8, [x8, _LDNS_RR_TYPE_SOA@GOTPAGEOFF]
Lloh8:
	ldr	x1, [x8]
	mov	x0, x20
	bl	_nsec_has_type
	cbz	x0, LBB0_28
LBB0_9:
	ldr	x1, [x19]
	mov	x0, x20
	bl	_nsec_has_type
	cbnz	x0, LBB0_20
; %bb.10:
	ldr	x8, [sp, #8]
	b	LBB0_26
LBB0_11:
	ldr	x1, [x19]
	mov	x0, x20
	bl	_nsec_has_type
	cbnz	x0, LBB0_20
; %bb.12:
Lloh9:
	adrp	x8, _LDNS_RR_TYPE_CNAME@GOTPAGE
Lloh10:
	ldr	x8, [x8, _LDNS_RR_TYPE_CNAME@GOTPAGEOFF]
Lloh11:
	ldr	x1, [x8]
	mov	x0, x20
	bl	_nsec_has_type
	cbnz	x0, LBB0_20
; %bb.13:
	ldr	x8, [x19]
Lloh12:
	adrp	x21, _LDNS_RR_TYPE_DS@GOTPAGE
Lloh13:
	ldr	x21, [x21, _LDNS_RR_TYPE_DS@GOTPAGEOFF]
	ldr	x9, [x21]
	cmp	x8, x9
	b.eq	LBB0_16
; %bb.14:
Lloh14:
	adrp	x8, _LDNS_RR_TYPE_NS@GOTPAGE
Lloh15:
	ldr	x8, [x8, _LDNS_RR_TYPE_NS@GOTPAGEOFF]
Lloh16:
	ldr	x1, [x8]
	mov	x0, x20
	bl	_nsec_has_type
	cbz	x0, LBB0_16
; %bb.15:
Lloh17:
	adrp	x8, _LDNS_RR_TYPE_SOA@GOTPAGE
Lloh18:
	ldr	x8, [x8, _LDNS_RR_TYPE_SOA@GOTPAGEOFF]
Lloh19:
	ldr	x1, [x8]
	mov	x0, x20
	bl	_nsec_has_type
	cbz	x0, LBB0_28
LBB0_16:
	ldr	x8, [x19]
	ldr	x9, [x21]
	cmp	x8, x9
	b.ne	LBB0_27
; %bb.17:
Lloh20:
	adrp	x8, _LDNS_RR_TYPE_SOA@GOTPAGE
Lloh21:
	ldr	x8, [x8, _LDNS_RR_TYPE_SOA@GOTPAGEOFF]
Lloh22:
	ldr	x1, [x8]
	mov	x0, x20
	bl	_nsec_has_type
	cbz	x0, LBB0_27
; %bb.18:
	ldr	x0, [x19, #8]
	bl	_dname_is_root
	cbnz	w0, LBB0_27
	b	LBB0_28
LBB0_19:
	ldr	x0, [x20, #8]
	ldr	x1, [sp, #24]
	bl	_dname_canonical_compare
	tbnz	x0, #63, LBB0_22
LBB0_20:
	mov	w0, #0
	b	LBB0_28
LBB0_21:                                ;   in Loop: Header=BB0_22 Depth=1
	add	x0, sp, #24
	add	x1, sp, #16
	bl	_dname_remove_label
	ldr	x0, [x20, #8]
	ldr	x1, [sp, #24]
	bl	_dname_canonical_compare
	mov	x8, x0
	mov	w0, #0
	tbz	x8, #63, LBB0_28
LBB0_22:                                ; =>This Inner Loop Header: Depth=1
	ldr	x0, [x19, #8]
	ldr	x1, [sp, #24]
	bl	_dname_subdomain_c
	cbnz	x0, LBB0_20
; %bb.23:                               ;   in Loop: Header=BB0_22 Depth=1
	ldr	x0, [sp, #24]
	bl	_dname_is_wild
	cbz	x0, LBB0_21
; %bb.24:                               ;   in Loop: Header=BB0_22 Depth=1
	ldr	x9, [sp, #16]
	ldr	x8, [sp, #24]
	stp	x8, x9, [sp]
	mov	x0, sp
	add	x1, sp, #8
	bl	_dname_remove_label
	ldr	x0, [x19, #8]
	ldr	x1, [sp]
	bl	_dname_strict_subdomain_c
	cbz	x0, LBB0_21
; %bb.25:
	ldr	x8, [sp]
LBB0_26:
	str	x8, [x21]
LBB0_27:
	mov	w0, #1
LBB0_28:
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGot	Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.cfi_endproc
                                        ; -- End function
	.comm	_LDNS_RR_TYPE_CNAME,8,3         ; @LDNS_RR_TYPE_CNAME
	.comm	_LDNS_RR_TYPE_NS,8,3            ; @LDNS_RR_TYPE_NS
	.comm	_LDNS_RR_TYPE_SOA,8,3           ; @LDNS_RR_TYPE_SOA
	.comm	_LDNS_RR_TYPE_DS,8,3            ; @LDNS_RR_TYPE_DS
.subsections_via_symbols
