	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_dnskeys_with_ds_rr
_verify_dnskeys_with_ds_rr:             ## @verify_dnskeys_with_ds_rr
	.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	%r8, -48(%rbp)                  ## 8-byte Spill
	movq	%rcx, %r13
	movq	%rsi, -104(%rbp)                ## 8-byte Spill
	movq	%rdi, %rbx
	movq	%rdx, %r12
	movq	%rdx, %rdi
	callq	_rrset_get_count
	movq	%rax, -112(%rbp)                ## 8-byte Spill
	testq	%rax, %rax
	je	LBB0_12
## %bb.1:
	movq	%rbx, -96(%rbp)                 ## 8-byte Spill
	movq	%r14, -72(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	xorl	%r15d, %r15d
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	movq	%r13, -80(%rbp)                 ## 8-byte Spill
	jmp	LBB0_2
	.p2align	4, 0x90
LBB0_4:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	%r14, %rbx
LBB0_10:                                ##   in Loop: Header=BB0_2 Depth=1
	incq	%r15
	cmpq	%r15, -112(%rbp)                ## 8-byte Folded Reload
	je	LBB0_11
LBB0_2:                                 ## =>This Inner Loop Header: Depth=1
	movq	%r13, %rdi
	movq	%rbx, %rsi
	callq	_ds_get_key_algo
	movq	%rax, %r14
	movq	%r12, %rdi
	movq	%r15, %rsi
	callq	_dnskey_get_algo
	cmpq	%rax, %r14
	jne	LBB0_10
## %bb.3:                               ##   in Loop: Header=BB0_2 Depth=1
	movq	%r12, %rdi
	movq	%r15, %rsi
	callq	_dnskey_calc_keytag
	movq	%rbx, %r14
	movq	%rax, %rbx
	movq	%r13, %rdi
	movq	%r14, %rsi
	callq	_ds_get_keytag
	cmpq	%rax, %rbx
	jne	LBB0_4
## %bb.5:                               ##   in Loop: Header=BB0_2 Depth=1
	incq	-88(%rbp)                       ## 8-byte Folded Spill
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	movq	%r13, %rdi
	movq	%r14, %rsi
	callq	_ds_get_key_algo
	movq	%rax, %rbx
	movq	%r13, %rdi
	movq	%r14, %rsi
	callq	_ds_get_keytag
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	leaq	L_.str(%rip), %rsi
	movq	%rbx, %rdx
	movq	%rax, %rcx
	xorl	%eax, %eax
	callq	_verbose
	movq	-96(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdi
	movq	%r12, %rsi
	movq	%r15, %rdx
	movq	%r13, %rcx
	movq	%r14, %r8
	callq	_ds_digest_match_dnskey
	testl	%eax, %eax
	je	LBB0_6
## %bb.7:                               ##   in Loop: Header=BB0_2 Depth=1
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.2(%rip), %rsi
	xorl	%eax, %eax
	callq	_verbose
	movq	_LDNS_SECTION_ANSWER@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movq	%rbx, %rdi
	movq	-104(%rbp), %rsi                ## 8-byte Reload
	movq	%r12, %rdx
	movq	%r12, %rcx
	movq	%r15, %r8
	movq	-72(%rbp), %r9                  ## 8-byte Reload
	pushq	16(%rbp)
	pushq	%rax
	callq	_dnskey_verify_rrset
	addq	$16, %rsp
	movq	_sec_status_secure@GOTPCREL(%rip), %rcx
	cmpl	(%rcx), %eax
	je	LBB0_19
## %bb.8:                               ##   in Loop: Header=BB0_2 Depth=1
	incq	-64(%rbp)                       ## 8-byte Folded Spill
	jmp	LBB0_9
LBB0_6:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	_VERB_ALGO@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.1(%rip), %rsi
	xorl	%eax, %eax
	callq	_verbose
LBB0_9:                                 ##   in Loop: Header=BB0_2 Depth=1
	movq	-48(%rbp), %rbx                 ## 8-byte Reload
	movq	-80(%rbp), %r13                 ## 8-byte Reload
	jmp	LBB0_10
LBB0_11:
	cmpq	$0, -88(%rbp)                   ## 8-byte Folded Reload
	movq	-72(%rbp), %r14                 ## 8-byte Reload
	movq	-96(%rbp), %rbx                 ## 8-byte Reload
	je	LBB0_12
## %bb.13:
	cmpq	$0, -64(%rbp)                   ## 8-byte Folded Reload
	je	LBB0_14
## %bb.15:
	cmpq	$0, (%r14)
	jne	LBB0_18
## %bb.16:
	leaq	L_.str.5(%rip), %rax
	jmp	LBB0_17
LBB0_12:
	movq	%r13, %rdi
	movq	-48(%rbp), %rsi                 ## 8-byte Reload
	callq	_ds_get_key_algo
	leaq	L_.str.3(%rip), %rcx
	movq	%rbx, %rdi
	movq	%rax, %rsi
	movq	%r14, %rdx
	callq	_algo_needs_reason
	jmp	LBB0_18
LBB0_14:
	leaq	L_.str.4(%rip), %rax
LBB0_17:
	movq	%rax, (%r14)
LBB0_18:
	movq	_sec_status_bogus@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
LBB0_19:
	addq	$72, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.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	"attempt DS match algo %d keytag %d"

L_.str.1:                               ## @.str.1
	.asciz	"DS match attempt failed"

L_.str.2:                               ## @.str.2
	.asciz	"DS match digest ok, trying signature"

	.comm	_LDNS_SECTION_ANSWER,4,2        ## @LDNS_SECTION_ANSWER
	.comm	_sec_status_secure,4,2          ## @sec_status_secure
L_.str.3:                               ## @.str.3
	.asciz	"no keys have a DS"

L_.str.4:                               ## @.str.4
	.asciz	"DS hash mismatches key"

L_.str.5:                               ## @.str.5
	.asciz	"keyset not secured by DNSKEY that matches DS"

	.no_dead_strip	_verify_dnskeys_with_ds_rr
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_dnskeys_with_ds_rr
_verify_dnskeys_with_ds_rr:             ; @verify_dnskeys_with_ds_rr
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #144
	.cfi_def_cfa_offset 144
	stp	x28, x27, [sp, #48]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #64]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #80]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #96]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #112]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #128]            ; 16-byte Folded Spill
	add	x29, sp, #128
	.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
	stp	x1, x6, [sp, #16]               ; 16-byte Folded Spill
	mov	x23, x5
	mov	x21, x4
	mov	x22, x3
	mov	x24, x2
	mov	x20, x0
	mov	x0, x2
	bl	_rrset_get_count
	cbz	x0, LBB0_13
; %bb.1:
	mov	x26, x0
	stp	x23, xzr, [sp, #32]             ; 16-byte Folded Spill
	mov	x19, #0
	mov	x27, #0
Lloh0:
	adrp	x25, _VERB_ALGO@GOTPAGE
Lloh1:
	ldr	x25, [x25, _VERB_ALGO@GOTPAGEOFF]
	b	LBB0_4
LBB0_2:                                 ;   in Loop: Header=BB0_4 Depth=1
	ldr	w0, [x25]
Lloh2:
	adrp	x1, l_.str.1@PAGE
Lloh3:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_verbose
LBB0_3:                                 ;   in Loop: Header=BB0_4 Depth=1
	add	x27, x27, #1
	cmp	x26, x27
	b.eq	LBB0_9
LBB0_4:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x22
	mov	x1, x21
	bl	_ds_get_key_algo
	mov	x28, x0
	mov	x0, x24
	mov	x1, x27
	bl	_dnskey_get_algo
	cmp	x28, x0
	b.ne	LBB0_3
; %bb.5:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x24
	mov	x1, x27
	bl	_dnskey_calc_keytag
	mov	x28, x0
	mov	x0, x22
	mov	x1, x21
	bl	_ds_get_keytag
	cmp	x28, x0
	b.ne	LBB0_3
; %bb.6:                                ;   in Loop: Header=BB0_4 Depth=1
	add	x19, x19, #1
	ldr	w28, [x25]
	mov	x0, x22
	mov	x1, x21
	bl	_ds_get_key_algo
	mov	x23, x0
	mov	x0, x22
	mov	x1, x21
	bl	_ds_get_keytag
	stp	x23, x0, [sp]
	mov	x0, x28
Lloh4:
	adrp	x1, l_.str@PAGE
Lloh5:
	add	x1, x1, l_.str@PAGEOFF
	bl	_verbose
	mov	x0, x20
	mov	x1, x24
	mov	x2, x27
	mov	x3, x22
	mov	x4, x21
	bl	_ds_digest_match_dnskey
	cbz	w0, LBB0_2
; %bb.7:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	w0, [x25]
Lloh6:
	adrp	x1, l_.str.2@PAGE
Lloh7:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_verbose
Lloh8:
	adrp	x8, _LDNS_SECTION_ANSWER@GOTPAGE
Lloh9:
	ldr	x8, [x8, _LDNS_SECTION_ANSWER@GOTPAGEOFF]
Lloh10:
	ldr	w6, [x8]
	mov	x0, x20
	ldp	x1, x7, [sp, #16]               ; 16-byte Folded Reload
	mov	x2, x24
	mov	x3, x24
	mov	x4, x27
	ldr	x5, [sp, #32]                   ; 8-byte Folded Reload
	bl	_dnskey_verify_rrset
Lloh11:
	adrp	x8, _sec_status_secure@GOTPAGE
Lloh12:
	ldr	x8, [x8, _sec_status_secure@GOTPAGEOFF]
Lloh13:
	ldr	w8, [x8]
	cmp	w0, w8
	b.eq	LBB0_17
; %bb.8:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [sp, #40]                   ; 8-byte Folded Reload
	add	x8, x8, #1
	str	x8, [sp, #40]                   ; 8-byte Folded Spill
	b	LBB0_3
LBB0_9:
	ldr	x23, [sp, #32]                  ; 8-byte Folded Reload
	cbz	x19, LBB0_13
; %bb.10:
	ldr	x8, [sp, #40]                   ; 8-byte Folded Reload
	cbz	x8, LBB0_14
; %bb.11:
	ldr	x8, [x23]
	cbnz	x8, LBB0_16
; %bb.12:
Lloh14:
	adrp	x8, l_.str.5@PAGE
Lloh15:
	add	x8, x8, l_.str.5@PAGEOFF
	b	LBB0_15
LBB0_13:
	mov	x0, x22
	mov	x1, x21
	bl	_ds_get_key_algo
	mov	x1, x0
Lloh16:
	adrp	x3, l_.str.3@PAGE
Lloh17:
	add	x3, x3, l_.str.3@PAGEOFF
	mov	x0, x20
	mov	x2, x23
	bl	_algo_needs_reason
	b	LBB0_16
LBB0_14:
Lloh18:
	adrp	x8, l_.str.4@PAGE
Lloh19:
	add	x8, x8, l_.str.4@PAGEOFF
LBB0_15:
	str	x8, [x23]
LBB0_16:
Lloh20:
	adrp	x8, _sec_status_bogus@GOTPAGE
Lloh21:
	ldr	x8, [x8, _sec_status_bogus@GOTPAGEOFF]
Lloh22:
	ldr	w0, [x8]
LBB0_17:
	ldp	x29, x30, [sp, #128]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #112]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #96]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #80]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #64]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #48]             ; 16-byte Folded Reload
	add	sp, sp, #144
	ret
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.cfi_endproc
                                        ; -- End function
	.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	"attempt DS match algo %d keytag %d"

l_.str.1:                               ; @.str.1
	.asciz	"DS match attempt failed"

l_.str.2:                               ; @.str.2
	.asciz	"DS match digest ok, trying signature"

	.comm	_LDNS_SECTION_ANSWER,4,2        ; @LDNS_SECTION_ANSWER
	.comm	_sec_status_secure,4,2          ; @sec_status_secure
l_.str.3:                               ; @.str.3
	.asciz	"no keys have a DS"

l_.str.4:                               ; @.str.4
	.asciz	"DS hash mismatches key"

l_.str.5:                               ; @.str.5
	.asciz	"keyset not secured by DNSKEY that matches DS"

	.no_dead_strip	_verify_dnskeys_with_ds_rr
.subsections_via_symbols
