	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function dsa_do_verify
_dsa_do_verify:                         ## @dsa_do_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	$56, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	cmpq	$0, 16(%rcx)
	je	LBB0_3
## %bb.1:
	movq	%rcx, %r15
	movq	%rdi, %r14
	movq	8(%rcx), %rdi
	testq	%rdi, %rdi
	je	LBB0_3
## %bb.2:
	cmpl	$0, 28(%r15)
	je	LBB0_3
## %bb.5:
	movq	%rdx, %r12
	movl	%esi, %r13d
	callq	_BN_num_bits
	movl	%eax, %ebx
	cmpl	$160, %eax
	je	LBB0_9
## %bb.6:
	cmpl	$224, %ebx
	je	LBB0_9
## %bb.7:
	cmpl	$256, %ebx                      ## imm = 0x100
	jne	LBB0_8
LBB0_9:
	movq	16(%r15), %rdi
	callq	_BN_num_bits
	movq	_OPENSSL_DSA_MAX_MODULUS_BITS@GOTPCREL(%rip), %rcx
	cmpl	(%rcx), %eax
	jle	LBB0_11
## %bb.10:
	movq	_DSA_F_DSA_DO_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DSA_R_MODULUS_TOO_LARGE@GOTPCREL(%rip), %rax
	jmp	LBB0_4
LBB0_3:
	movq	_DSA_F_DSA_DO_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DSA_R_MISSING_PARAMETERS@GOTPCREL(%rip), %rax
LBB0_4:
	movl	(%rax), %esi
	callq	_DSAerr
	movl	$-1, %r12d
LBB0_36:
	movl	%r12d, %eax
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_11:
	movq	%r14, -88(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r14
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -64(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_CTX_new
	movq	%r14, -48(%rbp)                 ## 8-byte Spill
	testq	%r14, %r14
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	je	LBB0_34
## %bb.12:
	testq	%r14, %r14
	je	LBB0_34
## %bb.13:
	cmpq	$0, -64(%rbp)                   ## 8-byte Folded Reload
	je	LBB0_34
## %bb.14:
	testq	%rax, %rax
	je	LBB0_34
## %bb.15:
	leaq	-72(%rbp), %rsi
	leaq	-80(%rbp), %rdx
	movq	%r12, %rdi
	callq	_DSA_SIG_get0
	movq	-72(%rbp), %rdi
	callq	_BN_is_zero
	xorl	%r12d, %r12d
	testq	%rax, %rax
	jne	LBB0_35
## %bb.16:
	movq	-72(%rbp), %rdi
	callq	_BN_is_negative
	testq	%rax, %rax
	jne	LBB0_35
## %bb.17:
	movq	-72(%rbp), %rdi
	movq	8(%r15), %rsi
	callq	_BN_ucmp
	testq	%rax, %rax
	jns	LBB0_35
## %bb.18:
	movq	-80(%rbp), %rdi
	callq	_BN_is_zero
	testq	%rax, %rax
	jne	LBB0_35
## %bb.19:
	movq	-80(%rbp), %rdi
	callq	_BN_is_negative
	testq	%rax, %rax
	jne	LBB0_35
## %bb.20:
	movq	-80(%rbp), %rdi
	movq	8(%r15), %rsi
	callq	_BN_ucmp
	testq	%rax, %rax
	jns	LBB0_35
## %bb.21:
	movq	-80(%rbp), %rsi
	movq	8(%r15), %rdx
	movq	%r14, %rdi
	movq	-56(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_mod_inverse
	testq	%rax, %rax
	je	LBB0_34
## %bb.22:
	shrl	$3, %ebx
	cmpl	%r13d, %ebx
	cmovgel	%r13d, %ebx
	movq	-88(%rbp), %rdi                 ## 8-byte Reload
	movl	%ebx, %esi
	movq	-48(%rbp), %rdx                 ## 8-byte Reload
	callq	_BN_bin2bn
	testq	%rax, %rax
	je	LBB0_34
## %bb.23:
	movq	8(%r15), %rcx
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	%rdi, %rsi
	movq	%r14, %rdx
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	callq	_BN_mod_mul
	testl	%eax, %eax
	je	LBB0_34
## %bb.24:
	movq	-72(%rbp), %rsi
	movq	8(%r15), %rcx
	movq	%r14, %rdi
	movq	%r14, %rdx
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	callq	_BN_mod_mul
	testl	%eax, %eax
	je	LBB0_34
## %bb.25:
	movq	%r14, %rbx
	movq	_DSA_FLAG_CACHE_MONT_P@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	testl	%eax, (%r15)
	je	LBB0_26
## %bb.27:
	leaq	44(%r15), %rdi
	movl	40(%r15), %esi
	movq	16(%r15), %rdx
	movq	-56(%rbp), %rcx                 ## 8-byte Reload
	callq	_BN_MONT_CTX_set_locked
	testq	%rax, %rax
	movq	%rbx, %r14
	jne	LBB0_28
	jmp	LBB0_34
LBB0_8:
	movq	_DSA_F_DSA_DO_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DSA_R_BAD_Q_VALUE@GOTPCREL(%rip), %rax
	jmp	LBB0_4
LBB0_26:
	xorl	%eax, %eax
LBB0_28:
	movq	32(%r15), %rcx
	movq	(%rcx), %r11
	movl	28(%r15), %edx
	movl	24(%r15), %r8d
	movq	16(%r15), %r10
	testq	%r11, %r11
	je	LBB0_30
## %bb.29:
	subq	$8, %rsp
	movq	%r15, %rdi
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	movq	-48(%rbp), %rcx                 ## 8-byte Reload
	movq	%rbx, %r14
	movq	%rbx, %r9
	pushq	%rax
	movq	-56(%rbp), %rbx                 ## 8-byte Reload
	pushq	%rbx
	pushq	%r10
	callq	*%r11
	movq	%rbx, %rcx
	addq	$32, %rsp
	jmp	LBB0_31
LBB0_30:
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	movl	%edx, %esi
	movq	-48(%rbp), %rdx                 ## 8-byte Reload
	movl	%r8d, %ecx
	movq	%rbx, %r14
	movq	%rbx, %r8
	movq	%r10, %r9
	pushq	%rax
	movq	-56(%rbp), %rbx                 ## 8-byte Reload
	pushq	%rbx
	callq	_BN_mod_exp2_mont
	movq	%rbx, %rcx
	addq	$16, %rsp
LBB0_31:
	testl	%eax, %eax
	je	LBB0_34
## %bb.32:
	movq	8(%r15), %rdx
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	callq	_BN_mod
	testl	%eax, %eax
	je	LBB0_34
## %bb.33:
	movq	-72(%rbp), %rsi
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_ucmp
	xorl	%r12d, %r12d
	testq	%rax, %rax
	sete	%r12b
	jmp	LBB0_35
LBB0_34:
	movq	_DSA_F_DSA_DO_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_BN_LIB@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_DSAerr
	movl	$-1, %r12d
LBB0_35:
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_CTX_free
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_free
	movq	%r14, %rdi
	callq	_BN_free
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_free
	jmp	LBB0_36
	.cfi_endproc
                                        ## -- End function
	.comm	_DSA_F_DSA_DO_VERIFY,4,2        ## @DSA_F_DSA_DO_VERIFY
	.comm	_DSA_R_MISSING_PARAMETERS,4,2   ## @DSA_R_MISSING_PARAMETERS
	.comm	_DSA_R_BAD_Q_VALUE,4,2          ## @DSA_R_BAD_Q_VALUE
	.comm	_OPENSSL_DSA_MAX_MODULUS_BITS,4,2 ## @OPENSSL_DSA_MAX_MODULUS_BITS
	.comm	_DSA_R_MODULUS_TOO_LARGE,4,2    ## @DSA_R_MODULUS_TOO_LARGE
	.comm	_DSA_FLAG_CACHE_MONT_P,4,2      ## @DSA_FLAG_CACHE_MONT_P
	.comm	_ERR_R_BN_LIB,4,2               ## @ERR_R_BN_LIB
	.no_dead_strip	_dsa_do_verify
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function dsa_do_verify
_dsa_do_verify:                         ; @dsa_do_verify
	.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
	ldr	x8, [x3, #16]
	cbz	x8, LBB0_8
; %bb.1:
	mov	x23, x3
	mov	x24, x0
	ldr	x0, [x3, #8]
	cbz	x0, LBB0_8
; %bb.2:
	ldr	w8, [x23, #28]
	cbz	w8, LBB0_8
; %bb.3:
	mov	x27, x2
	mov	x25, x1
	bl	_BN_num_bits
	mov	x26, x0
	cmp	w0, #160
	b.eq	LBB0_6
; %bb.4:
	cmp	w26, #224
	b.eq	LBB0_6
; %bb.5:
	cmp	w26, #256
	b.ne	LBB0_22
LBB0_6:
	ldr	x0, [x23, #16]
	bl	_BN_num_bits
Lloh0:
	adrp	x8, _OPENSSL_DSA_MAX_MODULUS_BITS@GOTPAGE
Lloh1:
	ldr	x8, [x8, _OPENSSL_DSA_MAX_MODULUS_BITS@GOTPAGEOFF]
Lloh2:
	ldr	w8, [x8]
	cmp	w0, w8
	b.le	LBB0_11
; %bb.7:
Lloh3:
	adrp	x8, _DSA_F_DSA_DO_VERIFY@GOTPAGE
Lloh4:
	ldr	x8, [x8, _DSA_F_DSA_DO_VERIFY@GOTPAGEOFF]
Lloh5:
	ldr	w0, [x8]
Lloh6:
	adrp	x8, _DSA_R_MODULUS_TOO_LARGE@GOTPAGE
Lloh7:
	ldr	x8, [x8, _DSA_R_MODULUS_TOO_LARGE@GOTPAGEOFF]
	b	LBB0_9
LBB0_8:
Lloh8:
	adrp	x8, _DSA_F_DSA_DO_VERIFY@GOTPAGE
Lloh9:
	ldr	x8, [x8, _DSA_F_DSA_DO_VERIFY@GOTPAGEOFF]
Lloh10:
	ldr	w0, [x8]
Lloh11:
	adrp	x8, _DSA_R_MISSING_PARAMETERS@GOTPAGE
Lloh12:
	ldr	x8, [x8, _DSA_R_MISSING_PARAMETERS@GOTPAGEOFF]
LBB0_9:
	ldr	w1, [x8]
	bl	_DSAerr
	mov	w23, #-1
LBB0_10:
	mov	x0, x23
	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_11:
	bl	_BN_new
	mov	x19, x0
	bl	_BN_new
	mov	x20, x0
	bl	_BN_new
	mov	x21, x0
	bl	_BN_CTX_new
	mov	x22, x0
	cbz	x19, LBB0_35
; %bb.12:
	cbz	x20, LBB0_35
; %bb.13:
	cbz	x21, LBB0_35
; %bb.14:
	cbz	x22, LBB0_35
; %bb.15:
	add	x1, sp, #24
	add	x2, sp, #16
	mov	x0, x27
	bl	_DSA_SIG_get0
	ldr	x0, [sp, #24]
	bl	_BN_is_zero
	cbnz	x0, LBB0_21
; %bb.16:
	ldr	x0, [sp, #24]
	bl	_BN_is_negative
	cbnz	x0, LBB0_21
; %bb.17:
	ldr	x0, [sp, #24]
	ldr	x1, [x23, #8]
	bl	_BN_ucmp
	tbz	x0, #63, LBB0_21
; %bb.18:
	ldr	x0, [sp, #16]
	bl	_BN_is_zero
	cbnz	x0, LBB0_21
; %bb.19:
	ldr	x0, [sp, #16]
	bl	_BN_is_negative
	cbnz	x0, LBB0_21
; %bb.20:
	ldr	x0, [sp, #16]
	ldr	x1, [x23, #8]
	bl	_BN_ucmp
	tbnz	x0, #63, LBB0_23
LBB0_21:
	mov	w23, #0
	b	LBB0_36
LBB0_22:
Lloh13:
	adrp	x8, _DSA_F_DSA_DO_VERIFY@GOTPAGE
Lloh14:
	ldr	x8, [x8, _DSA_F_DSA_DO_VERIFY@GOTPAGEOFF]
Lloh15:
	ldr	w0, [x8]
Lloh16:
	adrp	x8, _DSA_R_BAD_Q_VALUE@GOTPAGE
Lloh17:
	ldr	x8, [x8, _DSA_R_BAD_Q_VALUE@GOTPAGEOFF]
	b	LBB0_9
LBB0_23:
	ldr	x1, [sp, #16]
	ldr	x2, [x23, #8]
	mov	x0, x20
	mov	x3, x22
	bl	_BN_mod_inverse
	cbz	x0, LBB0_35
; %bb.24:
	lsr	w8, w26, #3
	cmp	w8, w25
	csel	w1, w8, w25, lt
	mov	x0, x24
	mov	x2, x19
	bl	_BN_bin2bn
	cbz	x0, LBB0_35
; %bb.25:
	ldr	x3, [x23, #8]
	mov	x0, x19
	mov	x1, x19
	mov	x2, x20
	mov	x4, x22
	bl	_BN_mod_mul
	cbz	w0, LBB0_35
; %bb.26:
	ldr	x1, [sp, #24]
	ldr	x3, [x23, #8]
	mov	x0, x20
	mov	x2, x20
	mov	x4, x22
	bl	_BN_mod_mul
	cbz	w0, LBB0_35
; %bb.27:
	ldr	w8, [x23]
Lloh18:
	adrp	x9, _DSA_FLAG_CACHE_MONT_P@GOTPAGE
Lloh19:
	ldr	x9, [x9, _DSA_FLAG_CACHE_MONT_P@GOTPAGEOFF]
Lloh20:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_29
; %bb.28:
	add	x0, x23, #44
	ldr	w1, [x23, #40]
	ldr	x2, [x23, #16]
	mov	x3, x22
	bl	_BN_MONT_CTX_set_locked
	mov	x7, x0
	cbnz	x0, LBB0_30
	b	LBB0_35
LBB0_29:
	mov	x7, #0
LBB0_30:
	ldr	x8, [x23, #32]
	ldr	x8, [x8]
	ldp	w4, w2, [x23, #24]
	ldr	x6, [x23, #16]
	cbz	x8, LBB0_32
; %bb.31:
	str	x7, [sp]
	mov	x0, x23
	mov	x1, x21
	mov	x3, x19
	mov	x5, x20
	mov	x7, x22
	blr	x8
	cbnz	w0, LBB0_33
	b	LBB0_35
LBB0_32:
	mov	x0, x21
	mov	x1, x2
	mov	x2, x19
	mov	x3, x4
	mov	x4, x20
	mov	x5, x6
	mov	x6, x22
	bl	_BN_mod_exp2_mont
	cbz	w0, LBB0_35
LBB0_33:
	ldr	x2, [x23, #8]
	mov	x0, x19
	mov	x1, x21
	mov	x3, x22
	bl	_BN_mod
	cbz	w0, LBB0_35
; %bb.34:
	ldr	x1, [sp, #24]
	mov	x0, x19
	bl	_BN_ucmp
	cmp	x0, #0
	cset	w23, eq
	b	LBB0_36
LBB0_35:
Lloh21:
	adrp	x8, _DSA_F_DSA_DO_VERIFY@GOTPAGE
Lloh22:
	ldr	x8, [x8, _DSA_F_DSA_DO_VERIFY@GOTPAGEOFF]
Lloh23:
	ldr	w0, [x8]
Lloh24:
	adrp	x8, _ERR_R_BN_LIB@GOTPAGE
Lloh25:
	ldr	x8, [x8, _ERR_R_BN_LIB@GOTPAGEOFF]
Lloh26:
	ldr	w1, [x8]
	bl	_DSAerr
	mov	w23, #-1
LBB0_36:
	mov	x0, x22
	bl	_BN_CTX_free
	mov	x0, x19
	bl	_BN_free
	mov	x0, x20
	bl	_BN_free
	mov	x0, x21
	bl	_BN_free
	b	LBB0_10
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh24, Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.cfi_endproc
                                        ; -- End function
	.comm	_DSA_F_DSA_DO_VERIFY,4,2        ; @DSA_F_DSA_DO_VERIFY
	.comm	_DSA_R_MISSING_PARAMETERS,4,2   ; @DSA_R_MISSING_PARAMETERS
	.comm	_DSA_R_BAD_Q_VALUE,4,2          ; @DSA_R_BAD_Q_VALUE
	.comm	_OPENSSL_DSA_MAX_MODULUS_BITS,4,2 ; @OPENSSL_DSA_MAX_MODULUS_BITS
	.comm	_DSA_R_MODULUS_TOO_LARGE,4,2    ; @DSA_R_MODULUS_TOO_LARGE
	.comm	_DSA_FLAG_CACHE_MONT_P,4,2      ; @DSA_FLAG_CACHE_MONT_P
	.comm	_ERR_R_BN_LIB,4,2               ; @ERR_R_BN_LIB
	.no_dead_strip	_dsa_do_verify
.subsections_via_symbols
