	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function sm2_sig_verify
_sm2_sig_verify:                        ## @sm2_sig_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	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdx, -104(%rbp)                ## 8-byte Spill
	movq	%rsi, %r14
	movq	%rdi, -112(%rbp)                ## 8-byte Spill
	callq	_EC_KEY_get0_group
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_EC_GROUP_get0_order
	movq	%rax, -80(%rbp)                 ## 8-byte Spill
	movq	$0, -56(%rbp)
	movq	$0, -48(%rbp)
	xorl	%r12d, %r12d
	xorl	%eax, %eax
	callq	_BN_CTX_new
	movq	%rax, %rbx
	movq	%r15, %rdi
	callq	_EC_POINT_new
	movq	%rax, %r13
	testq	%rbx, %rbx
	je	LBB0_10
## %bb.1:
	testq	%r13, %r13
	je	LBB0_10
## %bb.2:
	movq	%rbx, %rdi
	callq	_BN_CTX_start
	movq	%rbx, %rdi
	callq	_BN_CTX_get
	movq	%rbx, %rdi
	movq	%rax, %rbx
	movq	%rdi, -72(%rbp)                 ## 8-byte Spill
	callq	_BN_CTX_get
	testq	%rax, %rax
	je	LBB0_12
## %bb.3:
	movq	%rax, -88(%rbp)                 ## 8-byte Spill
	movq	%rbx, -96(%rbp)                 ## 8-byte Spill
	movq	%r13, -64(%rbp)                 ## 8-byte Spill
	leaq	-56(%rbp), %rsi
	leaq	-48(%rbp), %rdx
	movq	%r14, %rdi
	callq	_ECDSA_SIG_get0
	movq	-56(%rbp), %rbx
	xorl	%r12d, %r12d
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	%rbx, %rdi
	movq	%rax, %rsi
	callq	_BN_cmp
	testq	%rax, %rax
	js	LBB0_11
## %bb.4:
	movq	-48(%rbp), %rbx
	xorl	%eax, %eax
	callq	_BN_value_one
	movq	%rbx, %rdi
	movq	%rax, %rsi
	callq	_BN_cmp
	testq	%rax, %rax
	js	LBB0_11
## %bb.5:
	movq	-56(%rbp), %rsi
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_cmp
	testq	%rax, %rax
	jle	LBB0_11
## %bb.6:
	movq	-48(%rbp), %rsi
	movq	-80(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_cmp
	testq	%rax, %rax
	jle	LBB0_11
## %bb.7:
	movq	-56(%rbp), %rsi
	movq	-48(%rbp), %rdx
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdi
	movq	-80(%rbp), %rcx                 ## 8-byte Reload
	movq	-72(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %r8
	callq	_BN_mod_add
	testl	%eax, %eax
	je	LBB0_15
## %bb.8:
	movq	%r14, %rdi
	callq	_BN_is_zero
	testq	%rax, %rax
	je	LBB0_17
## %bb.9:
	movq	_SM2_F_SM2_SIG_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_SM2_R_BAD_SIGNATURE@GOTPCREL(%rip), %rax
	jmp	LBB0_16
LBB0_10:
	movq	_SM2_F_SM2_SIG_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_MALLOC_FAILURE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_SM2err
	jmp	LBB0_14
LBB0_11:
	movq	_SM2_F_SM2_SIG_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_SM2_R_BAD_SIGNATURE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_SM2err
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	jmp	LBB0_13
LBB0_12:
	movq	_SM2_F_SM2_SIG_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_MALLOC_FAILURE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_SM2err
	xorl	%r12d, %r12d
LBB0_13:
	movq	-72(%rbp), %rbx                 ## 8-byte Reload
LBB0_14:
	movq	%r13, %rdi
	callq	_EC_POINT_free
	movq	%rbx, %rdi
	callq	_BN_CTX_free
	movl	%r12d, %eax
	addq	$72, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_15:
	movq	_SM2_F_SM2_SIG_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_BN_LIB@GOTPCREL(%rip), %rax
LBB0_16:
	movl	(%rax), %esi
	callq	_SM2err
	xorl	%r12d, %r12d
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	jmp	LBB0_14
LBB0_17:
	movq	-48(%rbp), %rbx
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_EC_KEY_get0_public_key
	movq	%r15, %rdi
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	movq	%r13, %rsi
	movq	%rbx, %rdx
	movq	-72(%rbp), %rbx                 ## 8-byte Reload
	movl	%eax, %ecx
	movq	%r14, %r8
	movq	%rbx, %r9
	callq	_EC_POINT_mul
	testl	%eax, %eax
	movq	-88(%rbp), %r12                 ## 8-byte Reload
	je	LBB0_21
## %bb.18:
	movq	%r15, %rdi
	movq	%r13, %rsi
	movq	%r12, %rdx
	xorl	%ecx, %ecx
	movq	%rbx, %r8
	callq	_EC_POINT_get_affine_coordinates
	testl	%eax, %eax
	je	LBB0_21
## %bb.19:
	movq	%r14, %rdi
	movq	-104(%rbp), %rsi                ## 8-byte Reload
	movq	%r12, %rdx
	movq	-80(%rbp), %rcx                 ## 8-byte Reload
	movq	%rbx, %r8
	callq	_BN_mod_add
	testl	%eax, %eax
	je	LBB0_22
## %bb.20:
	movq	-56(%rbp), %rdi
	movq	%r14, %rsi
	callq	_BN_cmp
	xorl	%r12d, %r12d
	testq	%rax, %rax
	sete	%r12b
	jmp	LBB0_14
LBB0_21:
	movq	_SM2_F_SM2_SIG_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_EC_LIB@GOTPCREL(%rip), %rax
	jmp	LBB0_23
LBB0_22:
	movq	_SM2_F_SM2_SIG_VERIFY@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_ERR_R_BN_LIB@GOTPCREL(%rip), %rax
LBB0_23:
	movl	(%rax), %esi
	callq	_SM2err
	xorl	%r12d, %r12d
	jmp	LBB0_14
	.cfi_endproc
                                        ## -- End function
	.comm	_SM2_F_SM2_SIG_VERIFY,4,2       ## @SM2_F_SM2_SIG_VERIFY
	.comm	_ERR_R_MALLOC_FAILURE,4,2       ## @ERR_R_MALLOC_FAILURE
	.comm	_SM2_R_BAD_SIGNATURE,4,2        ## @SM2_R_BAD_SIGNATURE
	.comm	_ERR_R_BN_LIB,4,2               ## @ERR_R_BN_LIB
	.comm	_ERR_R_EC_LIB,4,2               ## @ERR_R_EC_LIB
	.no_dead_strip	_sm2_sig_verify
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function sm2_sig_verify
_sm2_sig_verify:                        ; @sm2_sig_verify
	.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	x21, x2
	mov	x27, x1
	mov	x25, x0
	bl	_EC_KEY_get0_group
	mov	x23, x0
	bl	_EC_GROUP_get0_order
	mov	x22, x0
	stp	xzr, xzr, [sp]
	bl	_BN_CTX_new
	mov	x19, x0
	mov	x0, x23
	bl	_EC_POINT_new
	mov	x20, x0
	cbz	x19, LBB0_10
; %bb.1:
	cbz	x20, LBB0_10
; %bb.2:
	mov	x0, x19
	bl	_BN_CTX_start
	mov	x0, x19
	bl	_BN_CTX_get
	mov	x24, x0
	mov	x0, x19
	bl	_BN_CTX_get
	cbz	x0, LBB0_10
; %bb.3:
	mov	x26, x0
	add	x1, sp, #8
	mov	x2, sp
	mov	x0, x27
	bl	_ECDSA_SIG_get0
	ldr	x27, [sp, #8]
	bl	_BN_value_one
	mov	x1, x0
	mov	x0, x27
	bl	_BN_cmp
	tbnz	x0, #63, LBB0_9
; %bb.4:
	ldr	x27, [sp]
	bl	_BN_value_one
	mov	x1, x0
	mov	x0, x27
	bl	_BN_cmp
	tbnz	x0, #63, LBB0_9
; %bb.5:
	ldr	x1, [sp, #8]
	mov	x0, x22
	bl	_BN_cmp
	cmp	x0, #1
	b.lt	LBB0_9
; %bb.6:
	ldr	x1, [sp]
	mov	x0, x22
	bl	_BN_cmp
	cmp	x0, #0
	b.le	LBB0_9
; %bb.7:
	ldp	x2, x1, [sp]
	mov	x0, x24
	mov	x3, x22
	mov	x4, x19
	bl	_BN_mod_add
	cbz	w0, LBB0_17
; %bb.8:
	mov	x0, x24
	bl	_BN_is_zero
	cbz	x0, LBB0_13
LBB0_9:
Lloh0:
	adrp	x8, _SM2_F_SM2_SIG_VERIFY@GOTPAGE
Lloh1:
	ldr	x8, [x8, _SM2_F_SM2_SIG_VERIFY@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
Lloh3:
	adrp	x8, _SM2_R_BAD_SIGNATURE@GOTPAGE
Lloh4:
	ldr	x8, [x8, _SM2_R_BAD_SIGNATURE@GOTPAGEOFF]
	b	LBB0_11
LBB0_10:
Lloh5:
	adrp	x8, _SM2_F_SM2_SIG_VERIFY@GOTPAGE
Lloh6:
	ldr	x8, [x8, _SM2_F_SM2_SIG_VERIFY@GOTPAGEOFF]
Lloh7:
	ldr	w0, [x8]
Lloh8:
	adrp	x8, _ERR_R_MALLOC_FAILURE@GOTPAGE
Lloh9:
	ldr	x8, [x8, _ERR_R_MALLOC_FAILURE@GOTPAGEOFF]
LBB0_11:
	ldr	w1, [x8]
	bl	_SM2err
	mov	w21, #0
LBB0_12:
	mov	x0, x20
	bl	_EC_POINT_free
	mov	x0, x19
	bl	_BN_CTX_free
	mov	x0, x21
	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_13:
	ldr	x27, [sp]
	mov	x0, x25
	bl	_EC_KEY_get0_public_key
	mov	x3, x0
	mov	x0, x23
	mov	x1, x20
	mov	x2, x27
	mov	x4, x24
	mov	x5, x19
	bl	_EC_POINT_mul
	cbz	w0, LBB0_18
; %bb.14:
	mov	x0, x23
	mov	x1, x20
	mov	x2, x26
	mov	x3, #0
	mov	x4, x19
	bl	_EC_POINT_get_affine_coordinates
	cbz	w0, LBB0_18
; %bb.15:
	mov	x0, x24
	mov	x1, x21
	mov	x2, x26
	mov	x3, x22
	mov	x4, x19
	bl	_BN_mod_add
	cbz	w0, LBB0_17
; %bb.16:
	ldr	x0, [sp, #8]
	mov	x1, x24
	bl	_BN_cmp
	cmp	x0, #0
	cset	w21, eq
	b	LBB0_12
LBB0_17:
Lloh10:
	adrp	x8, _SM2_F_SM2_SIG_VERIFY@GOTPAGE
Lloh11:
	ldr	x8, [x8, _SM2_F_SM2_SIG_VERIFY@GOTPAGEOFF]
Lloh12:
	ldr	w0, [x8]
Lloh13:
	adrp	x8, _ERR_R_BN_LIB@GOTPAGE
Lloh14:
	ldr	x8, [x8, _ERR_R_BN_LIB@GOTPAGEOFF]
	b	LBB0_11
LBB0_18:
Lloh15:
	adrp	x8, _SM2_F_SM2_SIG_VERIFY@GOTPAGE
Lloh16:
	ldr	x8, [x8, _SM2_F_SM2_SIG_VERIFY@GOTPAGEOFF]
Lloh17:
	ldr	w0, [x8]
Lloh18:
	adrp	x8, _ERR_R_EC_LIB@GOTPAGE
Lloh19:
	ldr	x8, [x8, _ERR_R_EC_LIB@GOTPAGEOFF]
	b	LBB0_11
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.cfi_endproc
                                        ; -- End function
	.comm	_SM2_F_SM2_SIG_VERIFY,4,2       ; @SM2_F_SM2_SIG_VERIFY
	.comm	_ERR_R_MALLOC_FAILURE,4,2       ; @ERR_R_MALLOC_FAILURE
	.comm	_SM2_R_BAD_SIGNATURE,4,2        ; @SM2_R_BAD_SIGNATURE
	.comm	_ERR_R_BN_LIB,4,2               ; @ERR_R_BN_LIB
	.comm	_ERR_R_EC_LIB,4,2               ; @ERR_R_EC_LIB
	.no_dead_strip	_sm2_sig_verify
.subsections_via_symbols
