	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_mbedtls_ecp_check_pubkey       ## -- Begin function mbedtls_ecp_check_pubkey
	.p2align	4, 0x90
_mbedtls_ecp_check_pubkey:              ## @mbedtls_ecp_check_pubkey
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movq	%rsi, %rdi
	movl	$1, %esi
	callq	_mbedtls_mpi_cmp_int
	testq	%rax, %rax
	jne	LBB0_1
## %bb.2:
	movq	_MBEDTLS_ERR_ECP_BAD_INPUT_DATA@GOTPCREL(%rip), %rax
	jmp	LBB0_3
LBB0_1:
	movq	_MBEDTLS_ERR_ECP_INVALID_KEY@GOTPCREL(%rip), %rax
LBB0_3:
	movl	(%rax), %eax
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_MBEDTLS_ERR_ECP_INVALID_KEY,4,2 ## @MBEDTLS_ERR_ECP_INVALID_KEY
	.comm	_MBEDTLS_ERR_ECP_BAD_INPUT_DATA,4,2 ## @MBEDTLS_ERR_ECP_BAD_INPUT_DATA
	.comm	_ECP_TYPE_MONTGOMERY,8,3        ## @ECP_TYPE_MONTGOMERY
	.comm	_ECP_TYPE_SHORT_WEIERSTRASS,8,3 ## @ECP_TYPE_SHORT_WEIERSTRASS
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_mbedtls_ecp_check_pubkey       ; -- Begin function mbedtls_ecp_check_pubkey
	.p2align	2
_mbedtls_ecp_check_pubkey:              ; @mbedtls_ecp_check_pubkey
	.cfi_startproc
; %bb.0:
	stp	x29, x30, [sp, #-16]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 16
	mov	x29, sp
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	mov	x0, x1
	mov	w1, #1
	bl	_mbedtls_mpi_cmp_int
Lloh0:
	adrp	x8, _MBEDTLS_ERR_ECP_BAD_INPUT_DATA@GOTPAGE
Lloh1:
	ldr	x8, [x8, _MBEDTLS_ERR_ECP_BAD_INPUT_DATA@GOTPAGEOFF]
Lloh2:
	adrp	x9, _MBEDTLS_ERR_ECP_INVALID_KEY@GOTPAGE
Lloh3:
	ldr	x9, [x9, _MBEDTLS_ERR_ECP_INVALID_KEY@GOTPAGEOFF]
	cmp	x0, #0
	csel	x8, x8, x9, eq
	ldr	w0, [x8]
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.cfi_endproc
                                        ; -- End function
	.comm	_MBEDTLS_ERR_ECP_INVALID_KEY,4,2 ; @MBEDTLS_ERR_ECP_INVALID_KEY
	.comm	_MBEDTLS_ERR_ECP_BAD_INPUT_DATA,4,2 ; @MBEDTLS_ERR_ECP_BAD_INPUT_DATA
	.comm	_ECP_TYPE_MONTGOMERY,8,3        ; @ECP_TYPE_MONTGOMERY
	.comm	_ECP_TYPE_SHORT_WEIERSTRASS,8,3 ; @ECP_TYPE_SHORT_WEIERSTRASS
.subsections_via_symbols
