	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_val_verify_DNSKEY_with_DS      ## -- Begin function val_verify_DNSKEY_with_DS
	.p2align	4, 0x90
_val_verify_DNSKEY_with_DS:             ## @val_verify_DNSKEY_with_DS
	.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	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%r9, %r14
	movq	%rdi, -72(%rbp)                 ## 8-byte Spill
	movq	(%rdx), %rax
	cmpq	(%rcx), %rax
	jne	LBB0_2
## %bb.1:
	movq	%r8, %r15
	movq	%rcx, %rbx
	movq	%rdx, %r12
	movq	%rsi, %r13
	movl	8(%rdx), %edi
	movl	8(%rcx), %esi
	callq	_query_dname_compare
	testq	%rax, %rax
	je	LBB0_3
LBB0_2:
	movq	_VERB_QUERY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str(%rip), %rbx
	movq	%rbx, %rsi
	callq	_verbose
	movq	%rbx, (%r14)
LBB0_23:
	movq	_sec_status_bogus@GOTPCREL(%rip), %r12
LBB0_24:
	movl	(%r12), %eax
	addq	$72, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_3:
	testq	%r15, %r15
	movq	%r14, -64(%rbp)                 ## 8-byte Spill
	je	LBB0_4
## %bb.5:
	movq	%rbx, %rdi
	callq	_val_favorite_ds_algo
	leaq	-48(%rbp), %rdi
	movq	%rbx, %rsi
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	movl	%eax, %edx
	movq	%r15, %rcx
	callq	_algo_needs_init_ds
	jmp	LBB0_6
LBB0_4:
	movl	$-1, -52(%rbp)                  ## 4-byte Folded Spill
LBB0_6:
	movq	%rbx, %rdi
	callq	_rrset_get_count
	testq	%rax, %rax
	je	LBB0_19
## %bb.7:
	movq	%rax, %r14
	movq	%r13, -80(%rbp)                 ## 8-byte Spill
	movq	%r12, -88(%rbp)                 ## 8-byte Spill
	movq	%r15, -96(%rbp)                 ## 8-byte Spill
	xorl	%r13d, %r13d
	movq	_sec_status_secure@GOTPCREL(%rip), %r12
	xorl	%r15d, %r15d
	jmp	LBB0_8
LBB0_25:                                ##   in Loop: Header=BB0_8 Depth=1
	movq	16(%rbp), %rax
	movq	%rax, (%rsp)
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	movq	-80(%rbp), %rsi                 ## 8-byte Reload
	movq	-88(%rbp), %rdx                 ## 8-byte Reload
	movq	%rbx, %rcx
	movq	%r15, %r8
	movq	-64(%rbp), %r9                  ## 8-byte Reload
	callq	_verify_dnskeys_with_ds_rr
	movl	$1, %r13d
	cmpl	(%r12), %eax
	je	LBB0_14
	.p2align	4, 0x90
LBB0_17:                                ##   in Loop: Header=BB0_8 Depth=1
	incq	%r15
	cmpq	%r15, %r14
	je	LBB0_18
LBB0_8:                                 ## =>This Inner Loop Header: Depth=1
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_ds_digest_algo_is_supported
	testl	%eax, %eax
	je	LBB0_17
## %bb.9:                               ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_ds_key_algo_is_supported
	testl	%eax, %eax
	je	LBB0_17
## %bb.10:                              ##   in Loop: Header=BB0_8 Depth=1
	cmpq	$0, -96(%rbp)                   ## 8-byte Folded Reload
	je	LBB0_25
## %bb.11:                              ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_ds_get_digest_algo
	cmpl	-52(%rbp), %eax                 ## 4-byte Folded Reload
	jne	LBB0_17
## %bb.12:                              ##   in Loop: Header=BB0_8 Depth=1
	movq	16(%rbp), %rax
	movq	%rax, (%rsp)
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	movq	-80(%rbp), %rsi                 ## 8-byte Reload
	movq	-88(%rbp), %rdx                 ## 8-byte Reload
	movq	%rbx, %rcx
	movq	%r15, %r8
	movq	-64(%rbp), %r9                  ## 8-byte Reload
	callq	_verify_dnskeys_with_ds_rr
	cmpl	(%r12), %eax
	jne	LBB0_15
## %bb.13:                              ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_ds_get_key_algo
	leaq	-48(%rbp), %rdi
	movl	%eax, %esi
	callq	_algo_needs_set_secure
	movl	$1, %r13d
	testq	%rax, %rax
	je	LBB0_17
	jmp	LBB0_14
LBB0_15:                                ##   in Loop: Header=BB0_8 Depth=1
	movl	$1, %r13d
	movq	_sec_status_bogus@GOTPCREL(%rip), %rcx
	cmpl	(%rcx), %eax
	jne	LBB0_17
## %bb.16:                              ##   in Loop: Header=BB0_8 Depth=1
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_ds_get_key_algo
	leaq	-48(%rbp), %rdi
	movl	%eax, %esi
	callq	_algo_needs_set_bogus
	jmp	LBB0_17
LBB0_18:
	testl	%r13d, %r13d
	movq	-96(%rbp), %rbx                 ## 8-byte Reload
	je	LBB0_19
## %bb.20:
	movq	_VERB_QUERY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.3(%rip), %rsi
	callq	_verbose
	testq	%rbx, %rbx
	je	LBB0_23
## %bb.21:
	leaq	-48(%rbp), %rdi
	callq	_algo_needs_missing
	testl	%eax, %eax
	je	LBB0_23
## %bb.22:
	leaq	L_.str.4(%rip), %rcx
	movq	-72(%rbp), %rdi                 ## 8-byte Reload
	movl	%eax, %esi
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	callq	_algo_needs_reason
	jmp	LBB0_23
LBB0_19:
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.2(%rip), %rsi
	callq	_verbose
	movq	_sec_status_insecure@GOTPCREL(%rip), %r12
	jmp	LBB0_24
LBB0_14:
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.1(%rip), %rsi
	callq	_verbose
	jmp	LBB0_24
	.cfi_endproc
                                        ## -- End function
	.comm	_VERB_QUERY,4,2                 ## @VERB_QUERY
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"DNSKEY RRset did not match DS RRset by name"

	.comm	_sec_status_bogus,4,2           ## @sec_status_bogus
	.comm	_sec_status_secure,4,2          ## @sec_status_secure
	.comm	_VERB_ALGO,4,2                  ## @VERB_ALGO
L_.str.1:                               ## @.str.1
	.asciz	"DS matched DNSKEY."

L_.str.2:                               ## @.str.2
	.asciz	"No usable DS records were found -- treating as insecure."

	.comm	_sec_status_insecure,4,2        ## @sec_status_insecure
L_.str.3:                               ## @.str.3
	.asciz	"Failed to match any usable DS to a DNSKEY."

L_.str.4:                               ## @.str.4
	.asciz	"missing verification of DNSKEY signature"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_val_verify_DNSKEY_with_DS      ; -- Begin function val_verify_DNSKEY_with_DS
	.p2align	2
_val_verify_DNSKEY_with_DS:             ; @val_verify_DNSKEY_with_DS
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	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
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	mov	x19, x5
	ldr	x8, [x2]
	ldr	x9, [x3]
	cmp	x8, x9
	b.ne	LBB0_2
; %bb.1:
	mov	x22, x6
	mov	x21, x4
	mov	x23, x3
	mov	x24, x2
	mov	x25, x1
	mov	x20, x0
	ldr	w0, [x2, #8]
	ldr	w1, [x3, #8]
	bl	_query_dname_compare
	cbz	x0, LBB0_5
LBB0_2:
Lloh0:
	adrp	x8, _VERB_QUERY@GOTPAGE
Lloh1:
	ldr	x8, [x8, _VERB_QUERY@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
Lloh3:
	adrp	x20, l_.str@PAGE
Lloh4:
	add	x20, x20, l_.str@PAGEOFF
	mov	x1, x20
	bl	_verbose
	str	x20, [x19]
LBB0_3:
Lloh5:
	adrp	x8, _sec_status_bogus@GOTPAGE
Lloh6:
	ldr	x8, [x8, _sec_status_bogus@GOTPAGEOFF]
LBB0_4:
	ldr	w0, [x8]
	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
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
LBB0_5:
	cbz	x21, LBB0_7
; %bb.6:
	mov	x0, x23
	bl	_val_favorite_ds_algo
	mov	x2, x0
	add	x0, sp, #8
	mov	x1, x23
	str	w2, [sp, #4]                    ; 4-byte Folded Spill
	mov	x3, x21
	bl	_algo_needs_init_ds
	b	LBB0_8
LBB0_7:
	mov	w8, #-1
	str	w8, [sp, #4]                    ; 4-byte Folded Spill
LBB0_8:
	mov	x0, x23
	bl	_rrset_get_count
	cbz	x0, LBB0_25
; %bb.9:
	mov	x27, x0
	mov	w26, #0
	mov	x28, #0
	b	LBB0_13
LBB0_10:                                ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x20
	mov	x1, x25
	mov	x2, x24
	mov	x3, x23
	mov	x4, x28
	mov	x5, x19
	mov	x6, x22
	bl	_verify_dnskeys_with_ds_rr
Lloh7:
	adrp	x8, _sec_status_secure@GOTPAGE
Lloh8:
	ldr	x8, [x8, _sec_status_secure@GOTPAGEOFF]
Lloh9:
	ldr	w8, [x8]
	cmp	w0, w8
	b.eq	LBB0_26
LBB0_11:                                ;   in Loop: Header=BB0_13 Depth=1
	mov	w26, #1
LBB0_12:                                ;   in Loop: Header=BB0_13 Depth=1
	add	x28, x28, #1
	cmp	x27, x28
	b.eq	LBB0_21
LBB0_13:                                ; =>This Inner Loop Header: Depth=1
	mov	x0, x23
	mov	x1, x28
	bl	_ds_digest_algo_is_supported
	cbz	w0, LBB0_12
; %bb.14:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x23
	mov	x1, x28
	bl	_ds_key_algo_is_supported
	cbz	w0, LBB0_12
; %bb.15:                               ;   in Loop: Header=BB0_13 Depth=1
	cbz	x21, LBB0_10
; %bb.16:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x23
	mov	x1, x28
	bl	_ds_get_digest_algo
	ldr	w8, [sp, #4]                    ; 4-byte Folded Reload
	cmp	w0, w8
	b.ne	LBB0_12
; %bb.17:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x20
	mov	x1, x25
	mov	x2, x24
	mov	x3, x23
	mov	x4, x28
	mov	x5, x19
	mov	x6, x22
	bl	_verify_dnskeys_with_ds_rr
Lloh10:
	adrp	x8, _sec_status_secure@GOTPAGE
Lloh11:
	ldr	x8, [x8, _sec_status_secure@GOTPAGEOFF]
Lloh12:
	ldr	w8, [x8]
	cmp	w0, w8
	b.ne	LBB0_19
; %bb.18:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x23
	mov	x1, x28
	bl	_ds_get_key_algo
	mov	x1, x0
	add	x0, sp, #8
                                        ; kill: def $w1 killed $w1 killed $x1
	bl	_algo_needs_set_secure
	cbz	x0, LBB0_11
	b	LBB0_26
LBB0_19:                                ;   in Loop: Header=BB0_13 Depth=1
Lloh13:
	adrp	x8, _sec_status_bogus@GOTPAGE
Lloh14:
	ldr	x8, [x8, _sec_status_bogus@GOTPAGEOFF]
Lloh15:
	ldr	w8, [x8]
	cmp	w0, w8
	b.ne	LBB0_11
; %bb.20:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x23
	mov	x1, x28
	bl	_ds_get_key_algo
	mov	x1, x0
	add	x0, sp, #8
                                        ; kill: def $w1 killed $w1 killed $x1
	bl	_algo_needs_set_bogus
	b	LBB0_11
LBB0_21:
	cbz	w26, LBB0_25
; %bb.22:
Lloh16:
	adrp	x8, _VERB_QUERY@GOTPAGE
Lloh17:
	ldr	x8, [x8, _VERB_QUERY@GOTPAGEOFF]
Lloh18:
	ldr	w0, [x8]
Lloh19:
	adrp	x1, l_.str.3@PAGE
Lloh20:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_verbose
	cbz	x21, LBB0_3
; %bb.23:
	add	x0, sp, #8
	bl	_algo_needs_missing
	cbz	w0, LBB0_3
; %bb.24:
	mov	x1, x0
Lloh21:
	adrp	x3, l_.str.4@PAGE
Lloh22:
	add	x3, x3, l_.str.4@PAGEOFF
	mov	x0, x20
	mov	x2, x19
	bl	_algo_needs_reason
	b	LBB0_3
LBB0_25:
Lloh23:
	adrp	x8, _VERB_ALGO@GOTPAGE
Lloh24:
	ldr	x8, [x8, _VERB_ALGO@GOTPAGEOFF]
Lloh25:
	ldr	w0, [x8]
Lloh26:
	adrp	x1, l_.str.2@PAGE
Lloh27:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_verbose
Lloh28:
	adrp	x8, _sec_status_insecure@GOTPAGE
Lloh29:
	ldr	x8, [x8, _sec_status_insecure@GOTPAGEOFF]
	b	LBB0_4
LBB0_26:
Lloh30:
	adrp	x8, _VERB_ALGO@GOTPAGE
Lloh31:
	ldr	x8, [x8, _VERB_ALGO@GOTPAGEOFF]
Lloh32:
	ldr	w0, [x8]
Lloh33:
	adrp	x1, l_.str.1@PAGE
Lloh34:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_verbose
Lloh35:
	adrp	x8, _sec_status_secure@GOTPAGE
Lloh36:
	ldr	x8, [x8, _sec_status_secure@GOTPAGEOFF]
	b	LBB0_4
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpAdd	Lloh21, Lloh22
	.loh AdrpLdrGot	Lloh28, Lloh29
	.loh AdrpAdd	Lloh26, Lloh27
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpLdrGot	Lloh35, Lloh36
	.loh AdrpAdd	Lloh33, Lloh34
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.cfi_endproc
                                        ; -- End function
	.comm	_VERB_QUERY,4,2                 ; @VERB_QUERY
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"DNSKEY RRset did not match DS RRset by name"

	.comm	_sec_status_bogus,4,2           ; @sec_status_bogus
	.comm	_sec_status_secure,4,2          ; @sec_status_secure
	.comm	_VERB_ALGO,4,2                  ; @VERB_ALGO
l_.str.1:                               ; @.str.1
	.asciz	"DS matched DNSKEY."

l_.str.2:                               ; @.str.2
	.asciz	"No usable DS records were found -- treating as insecure."

	.comm	_sec_status_insecure,4,2        ; @sec_status_insecure
l_.str.3:                               ; @.str.3
	.asciz	"Failed to match any usable DS to a DNSKEY."

l_.str.4:                               ; @.str.4
	.asciz	"missing verification of DNSKEY signature"

.subsections_via_symbols
