	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_DSA_verify                     ## -- Begin function DSA_verify
	.p2align	4, 0x90
_DSA_verify:                            ## @DSA_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	$136, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	testq	%rdi, %rdi
	je	LBB0_11
## %bb.1:
	movq	(%rsi), %r15
	testq	%r15, %r15
	je	LBB0_11
## %bb.2:
	movq	8(%rsi), %r13
	testq	%r13, %r13
	je	LBB0_11
## %bb.3:
	movq	(%rdx), %r12
	testq	%r12, %r12
	je	LBB0_11
## %bb.4:
	movq	8(%rdx), %rax
	testq	%rax, %rax
	je	LBB0_11
## %bb.5:
	movq	16(%rdx), %rcx
	testq	%rcx, %rcx
	je	LBB0_11
## %bb.6:
	movq	24(%rdx), %rdx
	testq	%rdx, %rdx
	je	LBB0_11
## %bb.7:
	movq	%rdi, %r14
	movq	%rdx, -160(%rbp)                ## 8-byte Spill
	movq	%rcx, -168(%rbp)                ## 8-byte Spill
	movq	%rax, -128(%rbp)                ## 8-byte Spill
	xorl	%ebx, %ebx
	movq	%r15, %rdi
	xorl	%esi, %esi
	callq	_mpi_cmp_ui
	testq	%rax, %rax
	jle	LBB0_9
## %bb.8:
	movq	%r15, %rdi
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	callq	_mpi_cmp
	testq	%rax, %rax
	js	LBB0_15
LBB0_9:
	leaq	L_.str(%rip), %rdi
LBB0_10:
	callq	_printk
	movq	_EKEYREJECTED@GOTPCREL(%rip), %rax
	jmp	LBB0_12
LBB0_11:
	movq	_EINVAL@GOTPCREL(%rip), %rax
	xorl	%ebx, %ebx
LBB0_12:
	subl	(%rax), %ebx
LBB0_13:
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_38
## %bb.14:
	movl	%ebx, %eax
	addq	$136, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_15:
	xorl	%ebx, %ebx
	movq	%r13, %rdi
	xorl	%esi, %esi
	callq	_mpi_cmp_ui
	testq	%rax, %rax
	jle	LBB0_17
## %bb.16:
	movq	%r13, %rdi
	movq	-128(%rbp), %rsi                ## 8-byte Reload
	callq	_mpi_cmp
	testq	%rax, %rax
	js	LBB0_18
LBB0_17:
	leaq	L_.str.1(%rip), %rdi
	jmp	LBB0_10
LBB0_18:
	movq	_ENOMEM@GOTPCREL(%rip), %rax
	xorl	%ebx, %ebx
	subl	(%rax), %ebx
	movq	-128(%rbp), %rdi                ## 8-byte Reload
	callq	_mpi_get_nlimbs
	movl	%eax, %edi
	callq	_mpi_alloc
	testq	%rax, %rax
	je	LBB0_28
## %bb.19:
	movq	%rax, -120(%rbp)                ## 8-byte Spill
	movq	-128(%rbp), %rdi                ## 8-byte Reload
	callq	_mpi_get_nlimbs
	movl	%eax, %edi
	callq	_mpi_alloc
	movq	%rax, -152(%rbp)                ## 8-byte Spill
	testq	%rax, %rax
	je	LBB0_29
## %bb.20:
	movq	-128(%rbp), %rdi                ## 8-byte Reload
	callq	_mpi_get_nlimbs
	movl	%eax, %edi
	callq	_mpi_alloc
	movq	%rax, -144(%rbp)                ## 8-byte Spill
	testq	%rax, %rax
	je	LBB0_30
## %bb.21:
	movq	%r12, %rdi
	callq	_mpi_get_nlimbs
	movl	%eax, %edi
	callq	_mpi_alloc
	movq	%rax, -136(%rbp)                ## 8-byte Spill
	testq	%rax, %rax
	je	LBB0_31
## %bb.22:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	movq	%r13, %rsi
	movq	-128(%rbp), %rdx                ## 8-byte Reload
	callq	_mpi_invm
	testq	%rax, %rax
	js	LBB0_33
## %bb.23:
	movq	-152(%rbp), %r13                ## 8-byte Reload
	movq	%r13, %rdi
	movq	%r14, %rsi
	movq	-120(%rbp), %rdx                ## 8-byte Reload
	movq	-128(%rbp), %rcx                ## 8-byte Reload
	callq	_mpi_mulm
	testq	%rax, %rax
	js	LBB0_34
## %bb.24:
	movq	-144(%rbp), %r14                ## 8-byte Reload
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	-120(%rbp), %rdx                ## 8-byte Reload
	movq	-128(%rbp), %rcx                ## 8-byte Reload
	callq	_mpi_mulm
	testq	%rax, %rax
	js	LBB0_37
## %bb.25:
	movq	-168(%rbp), %rax                ## 8-byte Reload
	movq	%rax, -80(%rbp)
	movq	%r13, -112(%rbp)
	movq	-160(%rbp), %rax                ## 8-byte Reload
	movq	%rax, -72(%rbp)
	movq	%r14, -104(%rbp)
	movq	$0, -64(%rbp)
	movq	$0, -96(%rbp)
	leaq	-80(%rbp), %rsi
	leaq	-112(%rbp), %rdx
	movq	-136(%rbp), %rdi                ## 8-byte Reload
	movq	%r12, %rcx
	callq	_mpi_mulpowm
	testq	%rax, %rax
	js	LBB0_33
## %bb.26:
	movq	-136(%rbp), %rdi                ## 8-byte Reload
	movq	%rdi, %rsi
	movq	-128(%rbp), %rdx                ## 8-byte Reload
	callq	_mpi_fdiv_r
	testq	%rax, %rax
	js	LBB0_33
## %bb.27:
	movq	-136(%rbp), %r12                ## 8-byte Reload
	movq	%r12, %rdi
	movq	%r15, %rsi
	callq	_mpi_cmp
	movq	_EKEYREJECTED@GOTPCREL(%rip), %rcx
	xorl	%ebx, %ebx
	subl	(%rcx), %ebx
	xorl	%ecx, %ecx
	testq	%rax, %rax
	cmovel	%ecx, %ebx
	jmp	LBB0_32
LBB0_28:
	xorl	%r14d, %r14d
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	jmp	LBB0_36
LBB0_29:
	xorl	%r13d, %r13d
	xorl	%r14d, %r14d
	xorl	%r12d, %r12d
	movq	-120(%rbp), %rax                ## 8-byte Reload
	jmp	LBB0_36
LBB0_30:
	xorl	%r14d, %r14d
	xorl	%r12d, %r12d
	movq	-152(%rbp), %r13                ## 8-byte Reload
	movq	-120(%rbp), %rax                ## 8-byte Reload
	jmp	LBB0_36
LBB0_31:
	xorl	%r12d, %r12d
LBB0_32:
	movq	-152(%rbp), %r13                ## 8-byte Reload
	movq	-120(%rbp), %rax                ## 8-byte Reload
	movq	-144(%rbp), %r14                ## 8-byte Reload
	jmp	LBB0_36
LBB0_33:
	movq	-152(%rbp), %r13                ## 8-byte Reload
LBB0_34:
	movq	-120(%rbp), %rax                ## 8-byte Reload
	movq	-144(%rbp), %r14                ## 8-byte Reload
LBB0_35:
	movq	-136(%rbp), %r12                ## 8-byte Reload
LBB0_36:
	movq	%rax, %rdi
	callq	_mpi_free
	movq	%r13, %rdi
	callq	_mpi_free
	movq	%r14, %rdi
	callq	_mpi_free
	movq	%r12, %rdi
	callq	_mpi_free
	jmp	LBB0_13
LBB0_37:
	movq	-120(%rbp), %rax                ## 8-byte Reload
	jmp	LBB0_35
LBB0_38:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_EINVAL,4,2                     ## @EINVAL
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"DSA_verify assertion failed [0 < r < q]\n"

	.comm	_EKEYREJECTED,4,2               ## @EKEYREJECTED
L_.str.1:                               ## @.str.1
	.asciz	"DSA_verify assertion failed [0 < s < q]\n"

	.comm	_ENOMEM,4,2                     ## @ENOMEM
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_DSA_verify                     ; -- Begin function DSA_verify
	.p2align	2
_DSA_verify:                            ; @DSA_verify
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #176
	.cfi_def_cfa_offset 176
	stp	x28, x27, [sp, #80]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #96]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #112]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #128]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #144]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #160]            ; 16-byte Folded Spill
	add	x29, sp, #160
	.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
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	str	x8, [sp, #72]
	cbz	x0, LBB0_11
; %bb.1:
	ldr	x21, [x1]
	cbz	x21, LBB0_11
; %bb.2:
	ldr	x28, [x1, #8]
	cbz	x28, LBB0_11
; %bb.3:
	ldr	x24, [x2]
	cbz	x24, LBB0_11
; %bb.4:
	ldr	x23, [x2, #8]
	cbz	x23, LBB0_11
; %bb.5:
	ldr	x25, [x2, #16]
	cbz	x25, LBB0_11
; %bb.6:
	ldr	x27, [x2, #24]
	cbz	x27, LBB0_11
; %bb.7:
	mov	x26, x0
	mov	x0, x21
	mov	w1, #0
	bl	_mpi_cmp_ui
	cmp	x0, #1
	b.lt	LBB0_9
; %bb.8:
	mov	x0, x21
	mov	x1, x23
	bl	_mpi_cmp
	tbnz	x0, #63, LBB0_15
LBB0_9:
Lloh3:
	adrp	x0, l_.str@PAGE
Lloh4:
	add	x0, x0, l_.str@PAGEOFF
LBB0_10:
	bl	_printk
Lloh5:
	adrp	x8, _EKEYREJECTED@GOTPAGE
Lloh6:
	ldr	x8, [x8, _EKEYREJECTED@GOTPAGEOFF]
	b	LBB0_12
LBB0_11:
Lloh7:
	adrp	x8, _EINVAL@GOTPAGE
Lloh8:
	ldr	x8, [x8, _EINVAL@GOTPAGEOFF]
LBB0_12:
	ldr	w8, [x8]
	neg	w19, w8
LBB0_13:
	ldr	x8, [sp, #72]
Lloh9:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh10:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh11:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_35
; %bb.14:
	mov	x0, x19
	ldp	x29, x30, [sp, #160]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #144]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #128]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #112]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #96]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #80]             ; 16-byte Folded Reload
	add	sp, sp, #176
	ret
LBB0_15:
	mov	x0, x28
	mov	w1, #0
	bl	_mpi_cmp_ui
	cmp	x0, #1
	b.lt	LBB0_17
; %bb.16:
	mov	x0, x28
	mov	x1, x23
	bl	_mpi_cmp
	tbnz	x0, #63, LBB0_18
LBB0_17:
Lloh12:
	adrp	x0, l_.str.1@PAGE
Lloh13:
	add	x0, x0, l_.str.1@PAGEOFF
	b	LBB0_10
LBB0_18:
Lloh14:
	adrp	x8, _ENOMEM@GOTPAGE
Lloh15:
	ldr	x8, [x8, _ENOMEM@GOTPAGEOFF]
Lloh16:
	ldr	w8, [x8]
	neg	w19, w8
	mov	x0, x23
	bl	_mpi_get_nlimbs
	bl	_mpi_alloc
	mov	x20, x0
	cbz	x0, LBB0_28
; %bb.19:
	mov	x0, x23
	bl	_mpi_get_nlimbs
	bl	_mpi_alloc
	mov	x22, x0
	cbz	x0, LBB0_29
; %bb.20:
	mov	x0, x23
	bl	_mpi_get_nlimbs
	bl	_mpi_alloc
	str	x0, [sp, #16]                   ; 8-byte Folded Spill
	cbz	x0, LBB0_29
; %bb.21:
	mov	x0, x24
	bl	_mpi_get_nlimbs
	bl	_mpi_alloc
	str	x0, [sp, #8]                    ; 8-byte Folded Spill
	cbz	x0, LBB0_32
; %bb.22:
	mov	x0, x20
	mov	x1, x28
	mov	x2, x23
	bl	_mpi_invm
	tbnz	x0, #63, LBB0_31
; %bb.23:
	mov	x0, x22
	mov	x1, x26
	mov	x2, x20
	mov	x3, x23
	bl	_mpi_mulm
	tbnz	x0, #63, LBB0_31
; %bb.24:
	ldr	x26, [sp, #16]                  ; 8-byte Folded Reload
	mov	x0, x26
	mov	x1, x21
	mov	x2, x20
	mov	x3, x23
	bl	_mpi_mulm
	tbnz	x0, #63, LBB0_34
; %bb.25:
	stp	x25, x27, [sp, #48]
	stp	x22, x26, [sp, #24]
	str	xzr, [sp, #64]
	str	xzr, [sp, #40]
	add	x1, sp, #48
	add	x2, sp, #24
	ldr	x25, [sp, #8]                   ; 8-byte Folded Reload
	mov	x0, x25
	mov	x3, x24
	bl	_mpi_mulpowm
	tbnz	x0, #63, LBB0_33
; %bb.26:
	mov	x0, x25
	mov	x1, x25
	mov	x2, x23
	bl	_mpi_fdiv_r
	tbnz	x0, #63, LBB0_31
; %bb.27:
	ldr	x25, [sp, #8]                   ; 8-byte Folded Reload
	mov	x0, x25
	mov	x1, x21
	bl	_mpi_cmp
Lloh17:
	adrp	x8, _EKEYREJECTED@GOTPAGE
Lloh18:
	ldr	x8, [x8, _EKEYREJECTED@GOTPAGEOFF]
Lloh19:
	ldr	w8, [x8]
	cmp	x0, #0
	csneg	w19, wzr, w8, eq
	b	LBB0_33
LBB0_28:
	mov	x22, #0
LBB0_29:
	mov	x26, #0
	mov	x25, #0
LBB0_30:
	mov	x0, x20
	bl	_mpi_free
	mov	x0, x22
	bl	_mpi_free
	mov	x0, x26
	bl	_mpi_free
	mov	x0, x25
	bl	_mpi_free
	b	LBB0_13
LBB0_31:
	ldp	x25, x26, [sp, #8]              ; 16-byte Folded Reload
	b	LBB0_30
LBB0_32:
	mov	x25, #0
LBB0_33:
	ldr	x26, [sp, #16]                  ; 8-byte Folded Reload
	b	LBB0_30
LBB0_34:
	ldr	x25, [sp, #8]                   ; 8-byte Folded Reload
	b	LBB0_30
LBB0_35:
	bl	___stack_chk_fail
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.cfi_endproc
                                        ; -- End function
	.comm	_EINVAL,4,2                     ; @EINVAL
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"DSA_verify assertion failed [0 < r < q]\n"

	.comm	_EKEYREJECTED,4,2               ; @EKEYREJECTED
l_.str.1:                               ; @.str.1
	.asciz	"DSA_verify assertion failed [0 < s < q]\n"

	.comm	_ENOMEM,4,2                     ; @ENOMEM
.subsections_via_symbols
