	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_hx509_revoke_verify            ## -- Begin function hx509_revoke_verify
	.p2align	4, 0x90
_hx509_revoke_verify:                   ## @hx509_revoke_verify
	.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	$104, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%r9d, %r14d
	movq	%rcx, -56(%rbp)                 ## 8-byte Spill
	movl	%edx, -60(%rbp)                 ## 4-byte Spill
	movq	%rsi, %rbx
	movq	%rdi, %r15
	movl	%r8d, %edi
	callq	__hx509_get_cert
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	movl	%r14d, -64(%rbp)                ## 4-byte Spill
	movl	%r14d, %edi
	callq	__hx509_get_cert
	movq	%rax, -112(%rbp)                ## 8-byte Spill
	movq	%r15, -48(%rbp)                 ## 8-byte Spill
	movq	%r15, %rdi
	callq	_hx509_clear_error_string
	cmpq	$0, 16(%rbx)
	movq	%rbx, -88(%rbp)                 ## 8-byte Spill
	je	LBB0_19
## %bb.1:
	movq	-72(%rbp), %rax                 ## 8-byte Reload
	addq	$4, %rax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%r15d, %r15d
	jmp	LBB0_4
	.p2align	4, 0x90
LBB0_2:                                 ##   in Loop: Header=BB0_4 Depth=1
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	%r13, %rsi
	movq	-56(%rbp), %rdx                 ## 8-byte Reload
	movl	-60(%rbp), %ecx                 ## 4-byte Reload
	movl	-64(%rbp), %r8d                 ## 4-byte Reload
	callq	_verify_ocsp
	testl	%eax, %eax
	je	LBB0_8
LBB0_3:                                 ##   in Loop: Header=BB0_4 Depth=1
	incq	%r15
	movq	-88(%rbp), %rbx                 ## 8-byte Reload
	cmpq	16(%rbx), %r15
	jae	LBB0_19
LBB0_4:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_11 Depth 2
	movq	24(%rbx), %rbx
	leaq	(%r15,%r15,4), %r12
	leaq	(%rbx,%r12,8), %r13
	movl	32(%rbx,%r12,8), %edi
	leaq	-136(%rbp), %rsi
	callq	_stat
	testl	%eax, %eax
	jne	LBB0_7
## %bb.5:                               ##   in Loop: Header=BB0_4 Depth=1
	movq	(%r13), %rax
	cmpq	-136(%rbp), %rax
	je	LBB0_7
## %bb.6:                               ##   in Loop: Header=BB0_4 Depth=1
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	%r13, %rsi
	callq	_load_ocsp
	testl	%eax, %eax
	jne	LBB0_3
	.p2align	4, 0x90
LBB0_7:                                 ##   in Loop: Header=BB0_4 Depth=1
	cmpq	$0, 24(%rbx,%r12,8)
	je	LBB0_2
LBB0_8:                                 ##   in Loop: Header=BB0_4 Depth=1
	cmpq	$0, 8(%rbx,%r12,8)
	je	LBB0_3
## %bb.9:                               ##   in Loop: Header=BB0_4 Depth=1
	leaq	(%rbx,%r12,8), %r13
	addq	$8, %r13
	movl	$32, %ebx
	xorl	%r14d, %r14d
	jmp	LBB0_11
	.p2align	4, 0x90
LBB0_10:                                ##   in Loop: Header=BB0_11 Depth=2
	incq	%r14
	addq	$40, %rbx
	cmpq	(%r13), %r14
	jae	LBB0_3
LBB0_11:                                ##   Parent Loop BB0_4 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	8(%r13), %rdi
	addq	%rbx, %rdi
	movq	-72(%rbp), %rsi                 ## 8-byte Reload
	callq	_der_heim_integer_cmp
	testl	%eax, %eax
	jne	LBB0_10
## %bb.12:                              ##   in Loop: Header=BB0_11 Depth=2
	movq	8(%r13), %rax
	leaq	(%rax,%r12,8), %rdx
	addq	$24, %rdx
	leaq	(%rax,%r12,8), %r8
	addq	$28, %r8
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	xorl	%esi, %esi
	movq	-96(%rbp), %rcx                 ## 8-byte Reload
	callq	__hx509_verify_signature
	testl	%eax, %eax
	jne	LBB0_10
## %bb.13:                              ##   in Loop: Header=BB0_11 Depth=2
	movq	-112(%rbp), %rcx                ## 8-byte Reload
	movl	16(%rcx), %eax
	movl	%eax, -76(%rbp)
	movl	12(%rcx), %eax
	leal	7(%rax), %ecx
	testl	%eax, %eax
	cmovnsl	%eax, %ecx
	sarl	$3, %ecx
	movl	%ecx, -80(%rbp)
	movq	8(%r13), %rax
	leaq	(%rax,%rbx), %rdx
	addq	$-8, %rdx
	leaq	(%rax,%rbx), %r8
	addq	$-12, %r8
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	xorl	%esi, %esi
	leaq	-80(%rbp), %rcx
	callq	__hx509_verify_signature
	testl	%eax, %eax
	jne	LBB0_10
## %bb.14:                              ##   in Loop: Header=BB0_11 Depth=2
	movq	8(%r13), %rax
	movl	-16(%rax,%rbx), %ecx
	cmpl	$128, %ecx
	je	LBB0_10
## %bb.15:                              ##   in Loop: Header=BB0_11 Depth=2
	cmpl	$129, %ecx
	je	LBB0_33
## %bb.16:                              ##   in Loop: Header=BB0_11 Depth=2
	movq	-48(%rbp), %rcx                 ## 8-byte Reload
	movq	(%rcx), %rcx
	addq	-56(%rbp), %rcx                 ## 8-byte Folded Reload
	cmpq	%rcx, -32(%rax,%rbx)
	jg	LBB0_10
## %bb.17:                              ##   in Loop: Header=BB0_11 Depth=2
	movq	-24(%rax,%rbx), %rcx
	xorl	%eax, %eax
	testq	%rcx, %rcx
	je	LBB0_37
## %bb.18:                              ##   in Loop: Header=BB0_11 Depth=2
	movq	-56(%rbp), %rdx                 ## 8-byte Reload
	cmpq	%rdx, (%rcx)
	jl	LBB0_10
	jmp	LBB0_37
LBB0_19:
	cmpq	$0, (%rbx)
	je	LBB0_31
## %bb.20:
	movq	-72(%rbp), %rax                 ## 8-byte Reload
	addq	$4, %rax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%r14d, %r14d
	xorl	%r13d, %r13d
	jmp	LBB0_22
LBB0_30:                                ##   in Loop: Header=BB0_22 Depth=1
	movq	%r12, %rdi
	callq	_free_CRLCertificateList
	movups	-136(%rbp), %xmm0
	movups	%xmm0, 16(%r15,%r14)
	movq	-120(%rbp), %rax
	movq	%rax, 32(%r15,%r14)
	movq	$0, 8(%r15,%r14)
	cmpl	$0, 12(%r15,%r14)
	je	LBB0_27
	.p2align	4, 0x90
LBB0_21:                                ##   in Loop: Header=BB0_22 Depth=1
	incq	%r13
	addq	$48, %r14
	movq	-88(%rbp), %rbx                 ## 8-byte Reload
	cmpq	(%rbx), %r13
	jae	LBB0_31
LBB0_22:                                ## =>This Inner Loop Header: Depth=1
	movq	8(%rbx), %r15
	leaq	(%r15,%r14), %rsi
	addq	$32, %rsi
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	leaq	-100(%rbp), %rdx
	callq	__hx509_name_cmp
	orl	-100(%rbp), %eax
	jne	LBB0_21
## %bb.23:                              ##   in Loop: Header=BB0_22 Depth=1
	leaq	(%r15,%r14), %r12
	addq	$16, %r12
	movl	40(%r15,%r14), %edi
	leaq	-80(%rbp), %rsi
	callq	_stat
	testl	%eax, %eax
	jne	LBB0_26
## %bb.24:                              ##   in Loop: Header=BB0_22 Depth=1
	movq	(%r15,%r14), %rax
	cmpq	-80(%rbp), %rax
	je	LBB0_26
## %bb.25:                              ##   in Loop: Header=BB0_22 Depth=1
	leaq	(%r15,%r14), %rsi
	movl	40(%r15,%r14), %edi
	leaq	-136(%rbp), %rdx
	callq	_load_crl
	testl	%eax, %eax
	je	LBB0_30
	.p2align	4, 0x90
LBB0_26:                                ##   in Loop: Header=BB0_22 Depth=1
	cmpl	$0, 12(%r15,%r14)
	jne	LBB0_21
LBB0_27:                                ##   in Loop: Header=BB0_22 Depth=1
	cmpl	$0, 8(%r15,%r14)
	jne	LBB0_39
## %bb.28:                              ##   in Loop: Header=BB0_22 Depth=1
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	-88(%rbp), %rsi                 ## 8-byte Reload
	movq	%r12, %rdx
	movq	-56(%rbp), %rcx                 ## 8-byte Reload
	movl	-60(%rbp), %r8d                 ## 4-byte Reload
	movl	-64(%rbp), %r9d                 ## 4-byte Reload
	callq	_verify_crl
	testl	%eax, %eax
	je	LBB0_38
## %bb.29:                              ##   in Loop: Header=BB0_22 Depth=1
	movl	$1, 12(%r15,%r14)
	jmp	LBB0_21
LBB0_31:
	movq	_HX509_CTX_VERIFY_MISSING_OK@GOTPCREL(%rip), %rax
	movl	(%rax), %ecx
	xorl	%eax, %eax
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	testl	%ecx, 8(%rdi)
	jne	LBB0_37
## %bb.32:
	movq	_HX509_ERROR_APPEND@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	_HX509_REVOKE_STATUS_MISSING@GOTPCREL(%rip), %rbx
	movl	(%rbx), %edx
	leaq	L_.str.3(%rip), %rcx
	jmp	LBB0_36
LBB0_33:
	movq	_HX509_CERT_REVOKED@GOTPCREL(%rip), %rbx
	movl	(%rbx), %edx
	leaq	L_.str(%rip), %rcx
LBB0_34:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
LBB0_35:
	xorl	%esi, %esi
LBB0_36:
	callq	_hx509_set_error_string
	movl	(%rbx), %eax
LBB0_37:
	addq	$104, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_38:
	movl	$1, 8(%r15,%r14)
LBB0_39:
	movq	24(%r15,%r14), %rcx
	testq	%rcx, %rcx
	je	LBB0_44
## %bb.40:
	movq	(%rcx), %rax
	testq	%rax, %rax
	je	LBB0_44
## %bb.41:
	movq	8(%rcx), %rcx
	xorl	%edx, %edx
	.p2align	4, 0x90
LBB0_42:                                ## =>This Inner Loop Header: Depth=1
	cmpq	$0, (%rcx,%rdx,8)
	jne	LBB0_57
## %bb.43:                              ##   in Loop: Header=BB0_42 Depth=1
	incq	%rdx
	cmpq	%rdx, %rax
	jne	LBB0_42
LBB0_44:
	movq	16(%r15,%r14), %rcx
	xorl	%eax, %eax
	testq	%rcx, %rcx
	je	LBB0_37
## %bb.45:
	cmpq	$0, (%rcx)
	je	LBB0_37
## %bb.46:
	movl	$8, %r12d
	xorl	%ebx, %ebx
	jmp	LBB0_48
	.p2align	4, 0x90
LBB0_47:                                ##   in Loop: Header=BB0_48 Depth=1
	incq	%rbx
	movq	16(%r15,%r14), %rcx
	addq	$16, %r12
	cmpq	(%rcx), %rbx
	jae	LBB0_56
LBB0_48:                                ## =>This Inner Loop Header: Depth=1
	movq	8(%rcx), %rax
	leaq	(%rax,%r12), %rdi
	addq	$4, %rdi
	movq	-72(%rbp), %rsi                 ## 8-byte Reload
	callq	_der_heim_integer_cmp
	testl	%eax, %eax
	jne	LBB0_47
## %bb.49:                              ##   in Loop: Header=BB0_48 Depth=1
	movq	16(%r15,%r14), %rax
	movq	8(%rax), %rdi
	addq	%r12, %rdi
	callq	__hx509_Time2time_t
	cmpq	-56(%rbp), %rax                 ## 8-byte Folded Reload
	jg	LBB0_47
## %bb.50:
	movq	16(%r15,%r14), %rax
	movq	8(%rax), %rax
	movq	-8(%rax,%r12), %rcx
	testq	%rcx, %rcx
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	je	LBB0_55
## %bb.51:
	movq	(%rcx), %rax
	testq	%rax, %rax
	je	LBB0_55
## %bb.52:
	movq	8(%rcx), %rcx
	xorl	%edx, %edx
LBB0_53:                                ## =>This Inner Loop Header: Depth=1
	cmpq	$0, (%rcx,%rdx,8)
	jne	LBB0_58
## %bb.54:                              ##   in Loop: Header=BB0_53 Depth=1
	incq	%rdx
	cmpq	%rdx, %rax
	jne	LBB0_53
LBB0_55:
	movq	_HX509_CERT_REVOKED@GOTPCREL(%rip), %rbx
	movl	(%rbx), %edx
	leaq	L_.str.2(%rip), %rcx
	jmp	LBB0_35
LBB0_56:
	xorl	%eax, %eax
	jmp	LBB0_37
LBB0_57:
	movq	_HX509_CRL_UNKNOWN_EXTENSION@GOTPCREL(%rip), %rbx
	movl	(%rbx), %edx
	leaq	L_.str.1(%rip), %rcx
	jmp	LBB0_34
LBB0_58:
	movq	_HX509_CRL_UNKNOWN_EXTENSION@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	jmp	LBB0_37
	.cfi_endproc
                                        ## -- End function
	.comm	_HX509_CERT_REVOKED,4,2         ## @HX509_CERT_REVOKED
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Certificate revoked by issuer in OCSP"

	.comm	_HX509_CRL_UNKNOWN_EXTENSION,4,2 ## @HX509_CRL_UNKNOWN_EXTENSION
L_.str.1:                               ## @.str.1
	.asciz	"Unknown CRL extension"

L_.str.2:                               ## @.str.2
	.asciz	"Certificate revoked by issuer in CRL"

	.comm	_HX509_CTX_VERIFY_MISSING_OK,4,2 ## @HX509_CTX_VERIFY_MISSING_OK
	.comm	_HX509_ERROR_APPEND,4,2         ## @HX509_ERROR_APPEND
	.comm	_HX509_REVOKE_STATUS_MISSING,4,2 ## @HX509_REVOKE_STATUS_MISSING
L_.str.3:                               ## @.str.3
	.asciz	"No revoke status found for certificates"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_hx509_revoke_verify            ; -- Begin function hx509_revoke_verify
	.p2align	2
_hx509_revoke_verify:                   ; @hx509_revoke_verify
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #160
	.cfi_def_cfa_offset 160
	stp	x28, x27, [sp, #64]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #80]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #96]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #112]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #128]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #144]            ; 16-byte Folded Spill
	add	x29, sp, #144
	.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	x20, x5
	str	x3, [sp, #16]                   ; 8-byte Folded Spill
	str	w2, [sp]                        ; 4-byte Folded Spill
	mov	x22, x1
	mov	x19, x0
	mov	x0, x4
	bl	__hx509_get_cert
	mov	x21, x0
	str	w20, [sp, #4]                   ; 4-byte Folded Spill
	mov	x0, x20
	bl	__hx509_get_cert
	mov	x25, x0
	mov	x0, x19
	bl	_hx509_clear_error_string
	ldr	x8, [x22, #16]
	cbz	x8, LBB0_19
; %bb.1:
	mov	x28, #0
	add	x26, x21, #4
	mov	w23, #40
	str	x22, [sp, #8]                   ; 8-byte Folded Spill
	b	LBB0_4
LBB0_2:                                 ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x19
	mov	x1, x27
	ldr	x2, [sp, #16]                   ; 8-byte Folded Reload
	ldp	w3, w4, [sp]                    ; 8-byte Folded Reload
	bl	_verify_ocsp
	cbz	w0, LBB0_8
LBB0_3:                                 ;   in Loop: Header=BB0_4 Depth=1
	add	x28, x28, #1
	ldr	x22, [sp, #8]                   ; 8-byte Folded Reload
	ldr	x8, [x22, #16]
	cmp	x28, x8
	b.hs	LBB0_19
LBB0_4:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_11 Depth 2
	ldr	x24, [x22, #24]
	madd	x27, x28, x23, x24
	ldr	w0, [x27, #32]
	add	x1, sp, #24
	bl	_stat
	cbnz	w0, LBB0_7
; %bb.5:                                ;   in Loop: Header=BB0_4 Depth=1
	ldr	x8, [x27]
	ldr	x9, [sp, #24]
	cmp	x8, x9
	b.eq	LBB0_7
; %bb.6:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x0, x19
	mov	x1, x27
	bl	_load_ocsp
	cbnz	w0, LBB0_3
LBB0_7:                                 ;   in Loop: Header=BB0_4 Depth=1
	madd	x8, x28, x23, x24
	ldr	x8, [x8, #24]
	cbz	x8, LBB0_2
LBB0_8:                                 ;   in Loop: Header=BB0_4 Depth=1
	madd	x27, x28, x23, x24
	ldr	x8, [x27, #8]!
	cbz	x8, LBB0_3
; %bb.9:                                ;   in Loop: Header=BB0_4 Depth=1
	mov	x22, #0
	mov	x20, #0
	madd	x8, x28, x23, x24
	add	x24, x8, #16
	b	LBB0_11
LBB0_10:                                ;   in Loop: Header=BB0_11 Depth=2
	add	x20, x20, #1
	ldr	x8, [x27]
	add	x22, x22, #40
	cmp	x20, x8
	b.hs	LBB0_3
LBB0_11:                                ;   Parent Loop BB0_4 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldr	x8, [x24]
	add	x8, x8, x22
	add	x0, x8, #32
	mov	x1, x21
	bl	_der_heim_integer_cmp
	cbnz	w0, LBB0_10
; %bb.12:                               ;   in Loop: Header=BB0_11 Depth=2
	ldr	x8, [x24]
	madd	x8, x28, x23, x8
	add	x2, x8, #24
	add	x4, x8, #28
	mov	x0, x19
	mov	x1, #0
	mov	x3, x26
	bl	__hx509_verify_signature
	cbnz	w0, LBB0_10
; %bb.13:                               ;   in Loop: Header=BB0_11 Depth=2
	ldp	w9, w8, [x25, #12]
	add	w10, w9, #7
	cmp	w9, #0
	csel	w9, w10, w9, lt
	asr	w9, w9, #3
	stp	w9, w8, [sp, #56]
	ldr	x8, [x24]
	add	x8, x8, x22
	add	x2, x8, #24
	add	x4, x8, #20
	add	x3, sp, #56
	mov	x0, x19
	mov	x1, #0
	bl	__hx509_verify_signature
	cbnz	w0, LBB0_10
; %bb.14:                               ;   in Loop: Header=BB0_11 Depth=2
	ldr	x8, [x24]
	add	x9, x8, x22
	ldr	w9, [x9, #16]
	cmp	w9, #128
	b.eq	LBB0_10
; %bb.15:                               ;   in Loop: Header=BB0_11 Depth=2
	cmp	w9, #129
	b.eq	LBB0_34
; %bb.16:                               ;   in Loop: Header=BB0_11 Depth=2
	ldr	x9, [x8, x22]
	ldr	x10, [x19]
	ldr	x11, [sp, #16]                  ; 8-byte Folded Reload
	add	x10, x10, x11
	cmp	x9, x10
	b.gt	LBB0_10
; %bb.17:                               ;   in Loop: Header=BB0_11 Depth=2
	add	x8, x8, x22
	ldr	x8, [x8, #8]
	cbz	x8, LBB0_32
; %bb.18:                               ;   in Loop: Header=BB0_11 Depth=2
	ldr	x8, [x8]
	ldr	x9, [sp, #16]                   ; 8-byte Folded Reload
	cmp	x8, x9
	b.lt	LBB0_10
	b	LBB0_32
LBB0_19:
	ldr	x8, [x22]
	cbz	x8, LBB0_31
; %bb.20:
	mov	x28, #0
	add	x25, x21, #4
	mov	w23, #24
	mov	w24, #1
	b	LBB0_22
LBB0_21:                                ;   in Loop: Header=BB0_22 Depth=1
	add	x28, x28, #1
	ldr	x8, [x22]
	add	x23, x23, #48
	cmp	x28, x8
	b.hs	LBB0_31
LBB0_22:                                ; =>This Inner Loop Header: Depth=1
	ldr	x27, [x22, #8]
	add	x20, x27, x23
	add	x1, x20, #8
	add	x2, sp, #52
	mov	x0, x25
	bl	__hx509_name_cmp
	ldr	w8, [sp, #52]
	orr	w8, w0, w8
	cbnz	w8, LBB0_21
; %bb.23:                               ;   in Loop: Header=BB0_22 Depth=1
	sub	x26, x20, #8
	ldr	w0, [x20, #16]
	add	x1, sp, #56
	bl	_stat
	cbnz	w0, LBB0_27
; %bb.24:                               ;   in Loop: Header=BB0_22 Depth=1
	add	x1, x27, x23
	ldr	x8, [x1, #-24]!
	ldr	x9, [sp, #56]
	cmp	x8, x9
	b.eq	LBB0_27
; %bb.25:                               ;   in Loop: Header=BB0_22 Depth=1
	ldr	w0, [x20, #16]
	add	x2, sp, #24
	bl	_load_crl
	cbnz	w0, LBB0_27
; %bb.26:                               ;   in Loop: Header=BB0_22 Depth=1
	mov	x0, x26
	bl	_free_CRLCertificateList
	add	x8, x27, x23
	ldr	x9, [sp, #40]
	ldur	q0, [sp, #24]
	stur	q0, [x8, #-8]
	str	x9, [x8, #8]
	stur	xzr, [x8, #-16]
LBB0_27:                                ;   in Loop: Header=BB0_22 Depth=1
	add	x20, x27, x23
	ldur	w8, [x20, #-12]
	cbnz	w8, LBB0_21
; %bb.28:                               ;   in Loop: Header=BB0_22 Depth=1
	ldur	w8, [x20, #-16]
	cbnz	w8, LBB0_39
; %bb.29:                               ;   in Loop: Header=BB0_22 Depth=1
	mov	x0, x19
	mov	x1, x22
	mov	x2, x26
	ldr	x3, [sp, #16]                   ; 8-byte Folded Reload
	ldp	w4, w5, [sp]                    ; 8-byte Folded Reload
	bl	_verify_crl
	cbz	w0, LBB0_38
; %bb.30:                               ;   in Loop: Header=BB0_22 Depth=1
	stur	w24, [x20, #-12]
	b	LBB0_21
LBB0_31:
	ldr	w8, [x19, #8]
Lloh0:
	adrp	x9, _HX509_CTX_VERIFY_MISSING_OK@GOTPAGE
Lloh1:
	ldr	x9, [x9, _HX509_CTX_VERIFY_MISSING_OK@GOTPAGEOFF]
Lloh2:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_33
LBB0_32:
	mov	w0, #0
	b	LBB0_37
LBB0_33:
Lloh3:
	adrp	x8, _HX509_ERROR_APPEND@GOTPAGE
Lloh4:
	ldr	x8, [x8, _HX509_ERROR_APPEND@GOTPAGEOFF]
Lloh5:
	ldr	w1, [x8]
Lloh6:
	adrp	x20, _HX509_REVOKE_STATUS_MISSING@GOTPAGE
Lloh7:
	ldr	x20, [x20, _HX509_REVOKE_STATUS_MISSING@GOTPAGEOFF]
	ldr	w2, [x20]
Lloh8:
	adrp	x3, l_.str.3@PAGE
Lloh9:
	add	x3, x3, l_.str.3@PAGEOFF
	mov	x0, x19
	b	LBB0_36
LBB0_34:
Lloh10:
	adrp	x20, _HX509_CERT_REVOKED@GOTPAGE
Lloh11:
	ldr	x20, [x20, _HX509_CERT_REVOKED@GOTPAGEOFF]
	ldr	w2, [x20]
Lloh12:
	adrp	x3, l_.str@PAGE
Lloh13:
	add	x3, x3, l_.str@PAGEOFF
LBB0_35:
	mov	x0, x19
	mov	w1, #0
LBB0_36:
	bl	_hx509_set_error_string
	ldr	w0, [x20]
LBB0_37:
	ldp	x29, x30, [sp, #144]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #128]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #112]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #96]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #80]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #64]             ; 16-byte Folded Reload
	add	sp, sp, #160
	ret
LBB0_38:
	add	x8, x27, x23
	mov	w9, #1
	stur	w9, [x8, #-16]
LBB0_39:
	ldr	x9, [x27, x23]
	cbz	x9, LBB0_44
; %bb.40:
	ldr	x8, [x9]
	cbz	x8, LBB0_44
; %bb.41:
	ldr	x9, [x9, #8]
LBB0_42:                                ; =>This Inner Loop Header: Depth=1
	ldr	x10, [x9]
	cbnz	x10, LBB0_56
; %bb.43:                               ;   in Loop: Header=BB0_42 Depth=1
	add	x9, x9, #8
	subs	x8, x8, #1
	b.ne	LBB0_42
LBB0_44:
	add	x20, x27, x23
	ldur	x8, [x20, #-8]
	cbz	x8, LBB0_32
; %bb.45:
	ldr	x9, [x8]
	cbz	x9, LBB0_32
; %bb.46:
	mov	x22, #0
	mov	x23, #0
	b	LBB0_48
LBB0_47:                                ;   in Loop: Header=BB0_48 Depth=1
	add	x23, x23, #1
	ldur	x8, [x20, #-8]
	ldr	x9, [x8]
	add	x22, x22, #16
	cmp	x23, x9
	b.hs	LBB0_32
LBB0_48:                                ; =>This Inner Loop Header: Depth=1
	ldr	x8, [x8, #8]
	add	x8, x8, x22
	add	x0, x8, #12
	mov	x1, x21
	bl	_der_heim_integer_cmp
	cbnz	w0, LBB0_47
; %bb.49:                               ;   in Loop: Header=BB0_48 Depth=1
	ldur	x8, [x20, #-8]
	ldr	x8, [x8, #8]
	add	x8, x8, x22
	add	x0, x8, #8
	bl	__hx509_Time2time_t
	ldr	x8, [sp, #16]                   ; 8-byte Folded Reload
	cmp	x0, x8
	b.gt	LBB0_47
; %bb.50:
	ldur	x8, [x20, #-8]
	ldr	x8, [x8, #8]
	ldr	x9, [x8, x22]
	cbz	x9, LBB0_55
; %bb.51:
	ldr	x8, [x9]
	cbz	x8, LBB0_55
; %bb.52:
	ldr	x9, [x9, #8]
LBB0_53:                                ; =>This Inner Loop Header: Depth=1
	ldr	x10, [x9]
	cbnz	x10, LBB0_57
; %bb.54:                               ;   in Loop: Header=BB0_53 Depth=1
	add	x9, x9, #8
	subs	x8, x8, #1
	b.ne	LBB0_53
LBB0_55:
Lloh14:
	adrp	x20, _HX509_CERT_REVOKED@GOTPAGE
Lloh15:
	ldr	x20, [x20, _HX509_CERT_REVOKED@GOTPAGEOFF]
	ldr	w2, [x20]
Lloh16:
	adrp	x3, l_.str.2@PAGE
Lloh17:
	add	x3, x3, l_.str.2@PAGEOFF
	b	LBB0_35
LBB0_56:
Lloh18:
	adrp	x20, _HX509_CRL_UNKNOWN_EXTENSION@GOTPAGE
Lloh19:
	ldr	x20, [x20, _HX509_CRL_UNKNOWN_EXTENSION@GOTPAGEOFF]
	ldr	w2, [x20]
Lloh20:
	adrp	x3, l_.str.1@PAGE
Lloh21:
	add	x3, x3, l_.str.1@PAGEOFF
	b	LBB0_35
LBB0_57:
Lloh22:
	adrp	x8, _HX509_CRL_UNKNOWN_EXTENSION@GOTPAGE
Lloh23:
	ldr	x8, [x8, _HX509_CRL_UNKNOWN_EXTENSION@GOTPAGEOFF]
Lloh24:
	ldr	w0, [x8]
	b	LBB0_37
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGot	Lloh10, Lloh11
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpLdrGot	Lloh14, Lloh15
	.loh AdrpAdd	Lloh20, Lloh21
	.loh AdrpLdrGot	Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.cfi_endproc
                                        ; -- End function
	.comm	_HX509_CERT_REVOKED,4,2         ; @HX509_CERT_REVOKED
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Certificate revoked by issuer in OCSP"

	.comm	_HX509_CRL_UNKNOWN_EXTENSION,4,2 ; @HX509_CRL_UNKNOWN_EXTENSION
l_.str.1:                               ; @.str.1
	.asciz	"Unknown CRL extension"

l_.str.2:                               ; @.str.2
	.asciz	"Certificate revoked by issuer in CRL"

	.comm	_HX509_CTX_VERIFY_MISSING_OK,4,2 ; @HX509_CTX_VERIFY_MISSING_OK
	.comm	_HX509_ERROR_APPEND,4,2         ; @HX509_ERROR_APPEND
	.comm	_HX509_REVOKE_STATUS_MISSING,4,2 ; @HX509_REVOKE_STATUS_MISSING
l_.str.3:                               ; @.str.3
	.asciz	"No revoke status found for certificates"

.subsections_via_symbols
