// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/mpf/mul.c
// Function: _gmpf_mul
void
mpf_mul (mpf_ptr r, mpf_srcptr u, mpf_srcptr v)
{
  mp_srcptr up, vp;
  mp_size_t usize, vsize;
  mp_size_t sign_product;
  mp_size_t prec = r->_mp_prec;

  usize = u->_mp_size;
  vsize = v->_mp_size;
  sign_product = usize ^ vsize;

  usize = ABS (usize);
  vsize = ABS (vsize);

  up = u->_mp_d;
  vp = v->_mp_d;
  if (usize > prec)
    {
      up += usize - prec;
      usize = prec;
    }
  if (vsize > prec)
    {
      vp += vsize - prec;
      vsize = prec;
    }

  if (usize == 0 || vsize == 0)
    {
      r->_mp_size = 0;
      r->_mp_exp = 0;		/* ??? */
    }
  else
    {
      mp_size_t rsize;
      mp_limb_t cy_limb;
      mp_ptr rp, tp;
      mp_size_t adj;
      TMP_DECL;

      TMP_MARK;
      rsize = usize + vsize;
      tp = TMP_ALLOC_LIMBS (rsize);
      cy_limb = (usize >= vsize
		 ? mpn_mul (tp, up, usize, vp, vsize)
		 : mpn_mul (tp, vp, vsize, up, usize));

      adj = cy_limb == 0;
      rsize -= adj;
      prec++;
      if (rsize > prec)
	{
	  tp += rsize - prec;
	  rsize = prec;
	}
      rp = r->_mp_d;
      MPN_COPY (rp, tp, rsize);
      r->_mp_exp = u->_mp_exp + v->_mp_exp - adj;
      r->_mp_size = sign_product >= 0 ? rsize : -rsize;

      TMP_FREE;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movslq (%rdi), %r14
movslq 0x4(%rsi), %r9
movslq 0x4(%rdx), %rcx
movq %r9, %r12
negq %r12
cmovsq %r9, %r12
movq %rcx, %r13
negq %r13
cmovsq %rcx, %r13
xorl %eax, %eax
movq %r12, %r15
subq %r14, %r15
movq %r14, %r8
cmovlq %r12, %r8
cmovleq %rax, %r15
movq %r13, %rbx
subq %r14, %rbx
cmovgeq %r14, %r13
cmovleq %rax, %rbx
testq %r8, %r8
je 0x1b541
testq %r13, %r13
je 0x1b541
movq %rdi, -0x68(%rbp)
shlq $0x3, %r15
movq %rsi, -0x58(%rbp)
addq 0x10(%rsi), %r15
shlq $0x3, %rbx
addq 0x10(%rdx), %rbx
movq $0x0, -0x38(%rbp)
leaq (%r8,%r13), %rax
movq %rax, -0x50(%rbp)
leaq (,%rax,8), %rsi
cmpq $0x7f00, %rsi           # imm = 0x7F00
movq %rdx, -0x60(%rbp)
ja 0x1b5e0
movq %rsp, %rdx
addq $0xf, %rsi
andq $-0x10, %rsi
subq %rsi, %rdx
movq %rdx, %rax
movq %rdx, %rsp
xorq %r9, %rcx
movq %rcx, -0x30(%rbp)
cmpq %r13, %r12
jge 0x1b552
movq %rax, %r12
movq %rax, %rdi
movq %rbx, %rsi
movq %r13, %rdx
movq %r15, %rcx
jmp 0x1b564
movl $0x0, 0x4(%rdi)
movq $0x0, 0x8(%rdi)
jmp 0x1b5d1
movq %rax, %r12
movq %rax, %rdi
movq %r15, %rsi
movq %r8, %rdx
movq %rbx, %rcx
movq %r13, %r8
callq 0x1c838
xorl %ebx, %ebx
testq %rax, %rax
sete %bl
movq -0x50(%rbp), %rdx
subq %rbx, %rdx
incq %r14
xorl %eax, %eax
movq %rdx, %rcx
subq %r14, %rcx
cmovlq %rdx, %r14
cmovgq %rcx, %rax
leaq (%r12,%rax,8), %rsi
movq -0x68(%rbp), %r15
movq 0x10(%r15), %rdi
movq %r14, %rdx
callq 0x2f106
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
subq %rbx, %rax
movq -0x60(%rbp), %rcx
addq 0x8(%rcx), %rax
movl %r14d, %ecx
negl %ecx
cmpq $0x0, -0x30(%rbp)
cmovnsl %r14d, %ecx
movq %rax, 0x8(%r15)
movl %ecx, 0x4(%r15)
movq -0x38(%rbp), %rdi
testq %rdi, %rdi
jne 0x1b606
leaq -0x28(%rbp), %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq -0x38(%rbp), %rdi
movq %rcx, -0x30(%rbp)
movq %r8, -0x48(%rbp)
movq %r9, -0x40(%rbp)
callq 0x2fdb0
movq -0x40(%rbp), %r9
movq -0x48(%rbp), %r8
movq -0x30(%rbp), %rcx
jmp 0x1b524
callq 0x2fde3
jmp 0x1b5d1
nopl (%rax)