	.file	"extr_ecp.c_ecp_add_mixed.c"
	.intel_syntax noprefix
	.text
	.p2align 4
	.type	ecp_add_mixed, @function
ecp_add_mixed:
.LFB0:
	.cfi_startproc
	endbr64
	push	r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	push	r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	push	r13
	.cfi_def_cfa_offset 32
	.cfi_offset 13, -32
	push	r12
	.cfi_def_cfa_offset 40
	.cfi_offset 12, -40
	mov	r12, rdx
	push	rbp
	.cfi_def_cfa_offset 48
	.cfi_offset 6, -48
	mov	rbp, rcx
	push	rbx
	.cfi_def_cfa_offset 56
	.cfi_offset 3, -56
	sub	rsp, 136
	.cfi_def_cfa_offset 192
	mov	QWORD PTR 56[rsp], rdi
	mov	rdi, rdx
	mov	QWORD PTR 8[rsp], rsi
	xor	esi, esi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR 120[rsp], rax
	xor	eax, eax
	call	mbedtls_mpi_cmp_int@PLT
	test	rax, rax
	je	.L15
	cmp	QWORD PTR 0[rbp], 0
	je	.L4
	xor	esi, esi
	mov	rdi, rbp
	call	mbedtls_mpi_cmp_int@PLT
	test	rax, rax
	je	.L16
	cmp	QWORD PTR 0[rbp], 0
	je	.L4
	mov	esi, 1
	mov	rdi, rbp
	call	mbedtls_mpi_cmp_int@PLT
	test	rax, rax
	jne	.L17
.L4:
	lea	r15, 64[rsp]
	lea	rbx, 72[rsp]
	mov	rdi, r15
	lea	r13, 80[rsp]
	lea	r14, 96[rsp]
	call	mbedtls_mpi_init@PLT
	mov	rdi, rbx
	call	mbedtls_mpi_init@PLT
	mov	rdi, r13
	call	mbedtls_mpi_init@PLT
	lea	rax, 88[rsp]
	mov	rdi, rax
	mov	QWORD PTR 32[rsp], rax
	call	mbedtls_mpi_init@PLT
	mov	rdi, r14
	call	mbedtls_mpi_init@PLT
	lea	rax, 104[rsp]
	mov	rdi, rax
	mov	QWORD PTR 40[rsp], rax
	call	mbedtls_mpi_init@PLT
	lea	rax, 112[rsp]
	mov	rdi, rax
	mov	QWORD PTR 16[rsp], rax
	call	mbedtls_mpi_init@PLT
	mov	rdx, r12
	mov	rsi, r12
	mov	rdi, r15
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 64[rsp]
	call	MOD_MUL@PLT
	mov	rdx, r12
	mov	rsi, r15
	mov	rdi, rbx
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 72[rsp]
	call	MOD_MUL@PLT
	lea	rdx, 16[rbp]
	mov	rsi, r15
	mov	rdi, r15
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 64[rsp]
	call	MOD_MUL@PLT
	lea	rdx, 8[rbp]
	mov	rsi, rbx
	mov	rdi, rbx
	call	mbedtls_mpi_mul_mpi@PLT
	lea	rbp, 8[r12]
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 72[rsp]
	call	MOD_MUL@PLT
	lea	r10, 16[r12]
	mov	rsi, r15
	mov	rdi, r15
	mov	rdx, r10
	mov	QWORD PTR 48[rsp], r10
	call	mbedtls_mpi_sub_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 64[rsp]
	call	MOD_SUB@PLT
	mov	rdx, rbp
	mov	rsi, rbx
	mov	rdi, rbx
	call	mbedtls_mpi_sub_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 72[rsp]
	call	MOD_SUB@PLT
	xor	esi, esi
	mov	rdi, r15
	call	mbedtls_mpi_cmp_int@PLT
	mov	r10, QWORD PTR 48[rsp]
	test	rax, rax
	je	.L18
	mov	rdi, QWORD PTR 16[rsp]
	mov	rsi, r12
	mov	rdx, r15
	mov	QWORD PTR 48[rsp], r10
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 112[rsp]
	call	MOD_MUL@PLT
	mov	rdx, r15
	mov	rsi, r15
	mov	rdi, r13
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 80[rsp]
	call	MOD_MUL@PLT
	mov	r12, QWORD PTR 32[rsp]
	mov	rdx, r15
	mov	rsi, r13
	mov	rdi, r12
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 88[rsp]
	call	MOD_MUL@PLT
	mov	r10, QWORD PTR 48[rsp]
	mov	rsi, r13
	mov	rdi, r13
	mov	rdx, r10
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 80[rsp]
	call	MOD_MUL@PLT
	mov	edx, 2
	mov	rsi, r13
	mov	rdi, r15
	call	mbedtls_mpi_mul_int@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 64[rsp]
	call	MOD_ADD@PLT
	mov	rdx, rbx
	mov	rsi, rbx
	mov	rdi, r14
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 96[rsp]
	call	MOD_MUL@PLT
	mov	rdx, r15
	mov	rsi, r14
	mov	rdi, r14
	call	mbedtls_mpi_sub_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 96[rsp]
	call	MOD_SUB@PLT
	mov	rdx, r12
	mov	rsi, r14
	mov	rdi, r14
	call	mbedtls_mpi_sub_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 96[rsp]
	call	MOD_SUB@PLT
	mov	rdx, r14
	mov	rsi, r13
	mov	rdi, r13
	call	mbedtls_mpi_sub_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 80[rsp]
	call	MOD_SUB@PLT
	mov	rdx, rbx
	mov	rsi, r13
	mov	rdi, r13
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 80[rsp]
	call	MOD_MUL@PLT
	mov	rdx, rbp
	mov	rsi, r12
	mov	rdi, r12
	call	mbedtls_mpi_mul_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 88[rsp]
	call	MOD_MUL@PLT
	mov	rdx, r12
	mov	r12, QWORD PTR 40[rsp]
	mov	rsi, r13
	mov	rdi, r12
	call	mbedtls_mpi_sub_mpi@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rdi, QWORD PTR 104[rsp]
	call	MOD_SUB@PLT
	mov	rbp, QWORD PTR 8[rsp]
	mov	rsi, r14
	lea	rdi, 16[rbp]
	call	mbedtls_mpi_copy@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rsi, r12
	lea	rdi, 8[rbp]
	call	mbedtls_mpi_copy@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
	mov	rsi, QWORD PTR 16[rsp]
	mov	rdi, rbp
	call	mbedtls_mpi_copy@PLT
	mov	edi, eax
	call	MBEDTLS_MPI_CHK@PLT
.L8:
	mov	rdi, r15
	call	mbedtls_mpi_free@PLT
	mov	rdi, rbx
	call	mbedtls_mpi_free@PLT
	mov	rdi, r13
	call	mbedtls_mpi_free@PLT
	mov	rdi, QWORD PTR 32[rsp]
	call	mbedtls_mpi_free@PLT
	mov	rdi, r14
	call	mbedtls_mpi_free@PLT
	mov	rdi, QWORD PTR 40[rsp]
	call	mbedtls_mpi_free@PLT
	mov	rdi, QWORD PTR 16[rsp]
	call	mbedtls_mpi_free@PLT
.L1:
	mov	rax, QWORD PTR 120[rsp]
	xor	rax, QWORD PTR fs:40
	jne	.L19
	mov	eax, DWORD PTR 28[rsp]
	add	rsp, 136
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	pop	rbx
	.cfi_def_cfa_offset 48
	pop	rbp
	.cfi_def_cfa_offset 40
	pop	r12
	.cfi_def_cfa_offset 32
	pop	r13
	.cfi_def_cfa_offset 24
	pop	r14
	.cfi_def_cfa_offset 16
	pop	r15
	.cfi_def_cfa_offset 8
	ret
	.p2align 4,,10
	.p2align 3
.L18:
	.cfi_restore_state
	xor	esi, esi
	mov	rdi, rbx
	call	mbedtls_mpi_cmp_int@PLT
	test	rax, rax
	jne	.L7
	mov	rsi, QWORD PTR 8[rsp]
	mov	rdi, QWORD PTR 56[rsp]
	mov	rdx, r12
	call	ecp_double_jac@PLT
	mov	DWORD PTR 28[rsp], eax
	jmp	.L8
	.p2align 4,,10
	.p2align 3
.L15:
	mov	rdi, QWORD PTR 8[rsp]
	mov	rsi, rbp
	call	mbedtls_ecp_copy@PLT
	mov	DWORD PTR 28[rsp], eax
	jmp	.L1
	.p2align 4,,10
	.p2align 3
.L17:
	mov	eax, DWORD PTR MBEDTLS_ERR_ECP_BAD_INPUT_DATA[rip]
	mov	DWORD PTR 28[rsp], eax
	jmp	.L1
	.p2align 4,,10
	.p2align 3
.L7:
	mov	rdi, QWORD PTR 8[rsp]
	call	mbedtls_ecp_set_zero@PLT
	mov	DWORD PTR 28[rsp], eax
	jmp	.L8
	.p2align 4,,10
	.p2align 3
.L16:
	mov	rdi, QWORD PTR 8[rsp]
	mov	rsi, r12
	call	mbedtls_ecp_copy@PLT
	mov	DWORD PTR 28[rsp], eax
	jmp	.L1
.L19:
	call	__stack_chk_fail@PLT
	.cfi_endproc
.LFE0:
	.size	ecp_add_mixed, .-ecp_add_mixed
	.comm	add_count,4,4
	.comm	MBEDTLS_ERR_ECP_BAD_INPUT_DATA,4,4
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	 1f - 0f
	.long	 4f - 1f
	.long	 5
0:
	.string	 "GNU"
1:
	.align 8
	.long	 0xc0000002
	.long	 3f - 2f
2:
	.long	 0x3
3:
	.align 8
4:

	.arch armv5t
	.eabi_attribute 20, 1
	.eabi_attribute 21, 1
	.eabi_attribute 23, 3
	.eabi_attribute 24, 1
	.eabi_attribute 25, 1
	.eabi_attribute 26, 2
	.eabi_attribute 30, 2
	.eabi_attribute 34, 0
	.eabi_attribute 18, 4
	.file	"extr_ecp.c_ecp_add_mixed.c"
	.text
	.section	.rodata.cst4,"aM",%progbits,4
	.align	2
.LC0:
	.word	__stack_chk_guard
	.text
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	ecp_add_mixed, %function
ecp_add_mixed:
	@ args = 0, pretend = 0, frame = 32
	@ frame_needed = 0, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, r8, r9, lr}
	mov	r5, r3
	ldr	r3, .L26
	sub	sp, sp, #36
	mov	r7, r0
	mov	r6, r1
	mov	r0, r2
	mov	r1, #0
	mov	r4, r2
	ldr	r3, [r3]
	str	r3, [sp, #28]
	mov	r3,#0
	bl	mbedtls_mpi_cmp_int
	cmp	r0, #0
	beq	.L21
	ldr	r3, [r5]
	cmp	r3, #0
	beq	.L4
	mov	r1, #0
	mov	r0, r5
	bl	mbedtls_mpi_cmp_int
	cmp	r0, #0
	beq	.L22
	ldr	r3, [r5]
	cmp	r3, #0
	beq	.L4
	mov	r1, #1
	mov	r0, r5
	bl	mbedtls_mpi_cmp_int
	cmp	r0, #0
	bne	.L23
.L4:
	mov	r0, sp
	bl	mbedtls_mpi_init
	add	r0, sp, #4
	bl	mbedtls_mpi_init
	add	r0, sp, #8
	bl	mbedtls_mpi_init
	add	r0, sp, #12
	bl	mbedtls_mpi_init
	add	r0, sp, #16
	bl	mbedtls_mpi_init
	add	r0, sp, #20
	bl	mbedtls_mpi_init
	add	r0, sp, #24
	bl	mbedtls_mpi_init
	mov	r2, r4
	mov	r1, r4
	mov	r0, sp
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp]
	bl	MOD_MUL
	mov	r2, r4
	mov	r1, sp
	add	r0, sp, #4
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #4]
	bl	MOD_MUL
	add	r2, r5, #8
	mov	r1, sp
	mov	r0, sp
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp]
	bl	MOD_MUL
	add	r1, sp, #4
	add	r2, r5, #4
	mov	r0, r1
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	add	r9, r4, #8
	ldr	r0, [sp, #4]
	bl	MOD_MUL
	mov	r1, sp
	mov	r2, r9
	mov	r0, sp
	bl	mbedtls_mpi_sub_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp]
	bl	MOD_SUB
	add	r5, r4, #4
	add	r1, sp, #4
	mov	r0, r1
	mov	r2, r5
	bl	mbedtls_mpi_sub_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #4]
	bl	MOD_SUB
	mov	r1, #0
	mov	r0, sp
	bl	mbedtls_mpi_cmp_int
	subs	r1, r0, #0
	beq	.L24
	mov	r1, r4
	mov	r2, sp
	add	r0, sp, #24
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #24]
	bl	MOD_MUL
	mov	r2, sp
	mov	r1, sp
	add	r0, sp, #8
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #8]
	bl	MOD_MUL
	mov	r2, sp
	add	r1, sp, #8
	add	r0, sp, #12
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #12]
	bl	MOD_MUL
	add	r1, sp, #8
	mov	r2, r9
	mov	r0, r1
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #8]
	bl	MOD_MUL
	mov	r2, #2
	add	r1, sp, #8
	mov	r0, sp
	bl	mbedtls_mpi_mul_int
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp]
	bl	MOD_ADD
	add	r2, sp, #4
	mov	r1, r2
	add	r0, sp, #16
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #16]
	bl	MOD_MUL
	add	r1, sp, #16
	mov	r2, sp
	mov	r0, r1
	bl	mbedtls_mpi_sub_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #16]
	bl	MOD_SUB
	add	r1, sp, #16
	mov	r0, r1
	add	r2, sp, #12
	bl	mbedtls_mpi_sub_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #16]
	bl	MOD_SUB
	add	r1, sp, #8
	mov	r0, r1
	add	r2, sp, #16
	bl	mbedtls_mpi_sub_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #8]
	bl	MOD_SUB
	add	r1, sp, #8
	mov	r0, r1
	add	r2, sp, #4
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #8]
	bl	MOD_MUL
	add	r1, sp, #12
	mov	r2, r5
	mov	r0, r1
	bl	mbedtls_mpi_mul_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #12]
	bl	MOD_MUL
	add	r2, sp, #12
	add	r1, sp, #8
	add	r0, sp, #20
	bl	mbedtls_mpi_sub_mpi
	bl	MBEDTLS_MPI_CHK
	ldr	r0, [sp, #20]
	bl	MOD_SUB
	add	r1, sp, #16
	add	r0, r6, #8
	bl	mbedtls_mpi_copy
	bl	MBEDTLS_MPI_CHK
	add	r1, sp, #20
	add	r0, r6, #4
	bl	mbedtls_mpi_copy
	bl	MBEDTLS_MPI_CHK
	add	r1, sp, #24
	mov	r0, r6
	bl	mbedtls_mpi_copy
	bl	MBEDTLS_MPI_CHK
.L8:
	mov	r0, sp
	bl	mbedtls_mpi_free
	add	r0, sp, #4
	bl	mbedtls_mpi_free
	add	r0, sp, #8
	bl	mbedtls_mpi_free
	add	r0, sp, #12
	bl	mbedtls_mpi_free
	add	r0, sp, #16
	bl	mbedtls_mpi_free
	add	r0, sp, #20
	bl	mbedtls_mpi_free
	add	r0, sp, #24
	bl	mbedtls_mpi_free
.L1:
	ldr	r3, .L26
	ldr	r2, [r3]
	ldr	r3, [sp, #28]
	eors	r2, r3, r2
	mov	r3, #0
	bne	.L25
	mov	r0, r8
	add	sp, sp, #36
	@ sp needed
	pop	{r4, r5, r6, r7, r8, r9, pc}
.L24:
	add	r0, sp, #4
	bl	mbedtls_mpi_cmp_int
	cmp	r0, #0
	bne	.L7
	mov	r2, r4
	mov	r1, r6
	mov	r0, r7
	bl	ecp_double_jac
	mov	r8, r0
	b	.L8
.L21:
	mov	r1, r5
	mov	r0, r6
	bl	mbedtls_ecp_copy
	mov	r8, r0
	b	.L1
.L23:
	ldr	r3, .L26+4
	ldr	r8, [r3]
	b	.L1
.L7:
	mov	r0, r6
	bl	mbedtls_ecp_set_zero
	mov	r8, r0
	b	.L8
.L22:
	mov	r1, r4
	mov	r0, r6
	bl	mbedtls_ecp_copy
	mov	r8, r0
	b	.L1
.L25:
	bl	__stack_chk_fail
.L27:
	.align	2
.L26:
	.word	.LC0
	.word	MBEDTLS_ERR_ECP_BAD_INPUT_DATA
	.size	ecp_add_mixed, .-ecp_add_mixed
	.comm	add_count,4,4
	.comm	MBEDTLS_ERR_ECP_BAD_INPUT_DATA,4,4
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
