// File: marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_div_qr_1_preinv
static mp_limb_t
mpn_div_qr_1_preinv (mp_ptr qp, mp_srcptr np, mp_size_t nn,
		     const struct gmp_div_inverse *inv)
{
  mp_limb_t d, di;
  mp_limb_t r;
  mp_ptr tp = NULL;

  if (inv->shift > 0)
    {
      tp = gmp_xalloc_limbs (nn);
      r = mpn_lshift (tp, np, nn, inv->shift);
      np = tp;
    }
  else
    r = 0;

  d = inv->d1;
  di = inv->di;
  while (--nn >= 0)
    {
      mp_limb_t q;

      gmp_udiv_qrnnd_preinv (q, r, r, np[nn], d, di);
      if (qp)
	qp[nn] = q;
    }
  if (inv->shift > 0)
    gmp_free (tp);

  return r >> inv->shift;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq $0x0, -0x40(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
jbe 0xa3ee
movq -0x18(%rbp), %rdi
callq 0x3220
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
movq -0x20(%rbp), %rax
movl (%rax), %ecx
callq 0x20b0
movq %rax, -0x38(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x10(%rbp)
jmp 0xa3f6
movq $0x0, -0x38(%rbp)
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x18(%rbp)
cmpq $0x0, %rax
jl 0xa648
jmp 0xa426
jmp 0xa428
movq -0x38(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0xa8(%rbp)
movabsq $0xffffffff, %rax       # imm = 0xFFFFFFFF
andq -0xa0(%rbp), %rax
movl %eax, -0x8c(%rbp)
movq -0xa0(%rbp), %rax
shrq $0x20, %rax
movl %eax, -0x94(%rbp)
movabsq $0xffffffff, %rax       # imm = 0xFFFFFFFF
andq -0xa8(%rbp), %rax
movl %eax, -0x90(%rbp)
movq -0xa8(%rbp), %rax
shrq $0x20, %rax
movl %eax, -0x98(%rbp)
movl -0x8c(%rbp), %eax
movl -0x90(%rbp), %ecx
imulq %rcx, %rax
movq %rax, -0x70(%rbp)
movl -0x8c(%rbp), %eax
movl -0x98(%rbp), %ecx
imulq %rcx, %rax
movq %rax, -0x78(%rbp)
movl -0x94(%rbp), %eax
movl -0x90(%rbp), %ecx
imulq %rcx, %rax
movq %rax, -0x80(%rbp)
movl -0x94(%rbp), %eax
movl -0x98(%rbp), %ecx
imulq %rcx, %rax
movq %rax, -0x88(%rbp)
movq -0x70(%rbp), %rax
shrq $0x20, %rax
addq -0x78(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0x80(%rbp), %rax
addq -0x78(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
cmpq -0x80(%rbp), %rax
jae 0xa51f
movabsq $0x100000000, %rax      # imm = 0x100000000
addq -0x88(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq -0x78(%rbp), %rcx
shrq $0x20, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x78(%rbp), %rax
shlq $0x20, %rax
movabsq $0xffffffff, %rcx       # imm = 0xFFFFFFFF
andq -0x70(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x58(%rbp)
jmp 0xa554
movq -0x58(%rbp), %rax
movq -0x10(%rbp), %rcx
movq -0x18(%rbp), %rdx
addq (%rcx,%rdx,8), %rax
movq %rax, -0xb0(%rbp)
movq -0x50(%rbp), %rax
movq -0x38(%rbp), %rcx
addq $0x1, %rcx
addq %rcx, %rax
movq -0xb0(%rbp), %rcx
cmpq -0x58(%rbp), %rcx
setb %cl
andb $0x1, %cl
movzbl %cl, %ecx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0xb0(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x10(%rbp), %rax
movq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq -0x50(%rbp), %rcx
imulq -0x28(%rbp), %rcx
subq %rcx, %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
cmpq -0x58(%rbp), %rax
seta %al
andb $0x1, %al
movzbl %al, %eax
movslq %eax, %rcx
xorl %eax, %eax
subq %rcx, %rax
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
addq -0x50(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x68(%rbp), %rax
andq -0x28(%rbp), %rax
addq -0x60(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
cmpq -0x28(%rbp), %rax
jb 0xa61c
movq -0x28(%rbp), %rcx
movq -0x60(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x60(%rbp)
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x50(%rbp), %rax
movq %rax, -0x48(%rbp)
cmpq $0x0, -0x8(%rbp)
je 0xa643
movq -0x48(%rbp), %rdx
movq -0x8(%rbp), %rax
movq -0x18(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xa40e
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
jbe 0xa662
movq 0x8a40(%rip), %rax      # 0x13098
movq -0x40(%rbp), %rdi
xorl %ecx, %ecx
movl %ecx, %esi
callq *%rax
movq -0x38(%rbp), %rax
movq -0x20(%rbp), %rcx
movl (%rcx), %ecx
shrq %cl, %rax
addq $0xb0, %rsp
popq %rbp
retq
nopl (%rax,%rax)