// File: /workspace/github_cpp_makefile_star2_O2/marxn[P]pupp/3rdparty/gmp/mpn/mul_fft.c
// Function: mpn_mul_fft_internal
static mp_limb_t
mpn_mul_fft_internal (mp_ptr op, mp_size_t pl, int k,
		      mp_ptr *Ap, mp_ptr *Bp, mp_ptr A, mp_ptr B,
		      mp_size_t nprime, mp_size_t l, mp_size_t Mp,
		      int **fft_l, mp_ptr T, int sqr)
{
  mp_size_t K, i, pla, lo, sh, j;
  mp_ptr p;
  mp_limb_t cc;

  K = (mp_size_t) 1 << k;

  /* direct fft's */
  mpn_fft_fft (Ap, K, fft_l + k, 2 * Mp, nprime, 1, T);
  if (!sqr)
    mpn_fft_fft (Bp, K, fft_l + k, 2 * Mp, nprime, 1, T);

  /* term to term multiplications */
  mpn_fft_mul_modF_K (Ap, sqr ? Ap : Bp, nprime, K);

  /* inverse fft's */
  mpn_fft_fftinv (Ap, K, 2 * Mp, nprime, T);

  /* division of terms after inverse fft */
  Bp[0] = T + nprime + 1;
  mpn_fft_div_2exp_modF (Bp[0], Ap[0], k, nprime);
  for (i = 1; i < K; i++)
    {
      Bp[i] = Ap[i - 1];
      mpn_fft_div_2exp_modF (Bp[i], Ap[i], k + (K - i) * Mp, nprime);
    }

  /* addition of terms in result p */
  MPN_ZERO (T, nprime + 1);
  pla = l * (K - 1) + nprime + 1; /* number of required limbs for p */
  p = B; /* B has K*(n' + 1) limbs, which is >= pla, i.e. enough */
  MPN_ZERO (p, pla);
  cc = 0; /* will accumulate the (signed) carry at p[pla] */
  for (i = K - 1, lo = l * i + nprime,sh = l * i; i >= 0; i--,lo -= l,sh -= l)
    {
      mp_ptr n = p + sh;

      j = (K - i) & (K - 1);

      if (mpn_add_n (n, n, Bp[j], nprime + 1))
	cc += mpn_add_1 (n + nprime + 1, n + nprime + 1,
			  pla - sh - nprime - 1, CNST_LIMB(1));
      T[2 * l] = i + 1; /* T = (i + 1)*2^(2*M) */
      if (mpn_cmp (Bp[j], T, nprime + 1) > 0)
	{ /* subtract 2^N'+1 */
	  cc -= mpn_sub_1 (n, n, pla - sh, CNST_LIMB(1));
	  cc -= mpn_sub_1 (p + lo, p + lo, pla - lo, CNST_LIMB(1));
	}
    }
  if (cc == -CNST_LIMB(1))
    {
      if ((cc = mpn_add_1 (p + pla - pl, p + pla - pl, pl, CNST_LIMB(1))))
	{
	  /* p[pla-pl]...p[pla-1] are all zero */
	  mpn_sub_1 (p + pla - pl - 1, p + pla - pl - 1, pl + 1, CNST_LIMB(1));
	  mpn_sub_1 (p + pla - 1, p + pla - 1, 1, CNST_LIMB(1));
	}
    }
  else if (cc == 1)
    {
      if (pla >= 2 * pl)
	{
	  while ((cc = mpn_add_1 (p + pla - 2 * pl, p + pla - 2 * pl, 2 * pl, cc)))
	    ;
	}
      else
	{
	  cc = mpn_sub_1 (p + pla - pl, p + pla - pl, pl, cc);
	  ASSERT (cc == 0);
	}
    }
  else
    ASSERT (cc == 0);

  /* here p < 2^(2M) [K 2^(M(K-1)) + (K-1) 2^(M(K-2)) + ... ]
     < K 2^(2M) [2^(M(K-1)) + 2^(M(K-2)) + ... ]
     < K 2^(2M) 2^(M(K-1))*2 = 2^(M*K+M+k+1) */
  return mpn_fft_norm_modF (op, pl, p, pla);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %r9, %r13
movq %r8, 0x30(%rsp)
movq %rcx, %r15
movl %edx, %ecx
movq %rsi, %r14
movq %rdi, 0x68(%rsp)
movq 0x100(%rsp), %rax
movq 0xf0(%rsp), %r12
pushq $0x1
popq %rbp
movq %rbp, %rsi
shlq %cl, %rsi
movslq %edx, %rcx
movq %rcx, 0xa0(%rsp)
leaq (,%rcx,8), %rbx
addq 0x108(%rsp), %rbx
leaq (%rax,%rax), %rcx
subq $0x8, %rsp
movq %r15, %rdi
movq %rsi, 0x40(%rsp)
movq %rbx, %rdx
movq %rcx, 0x80(%rsp)
movq %r12, %r8
movq %rbp, %r9
pushq 0x118(%rsp)
callq 0x2b565
popq %rax
popq %rcx
cmpl $0x0, 0x118(%rsp)
movq %r15, %rax
jne 0x2aa95
subq $0x8, %rsp
pushq $0x1
popq %r9
movq 0x38(%rsp), %rbp
movq %rbp, %rdi
movq 0x40(%rsp), %rsi
movq %rbx, %rdx
movq 0x80(%rsp), %rcx
movq %r12, %r8
pushq 0x118(%rsp)
callq 0x2b565
popq %rax
popq %rcx
movq %rbp, %rax
pushq $0x1
popq %rbp
andq $0x0, 0x60(%rsp)
xorl %esi, %esi
movq %rax, 0x40(%rsp)
cmpq %r15, %rax
sete %al
movl $0x23a, %ecx            # imm = 0x23A
movl $0x28e, %ebx            # imm = 0x28E
cmoveq %rcx, %rbx
cmpq %r12, %rbx
movq %r14, 0x70(%rsp)
movq %r13, 0x48(%rsp)
movq %r15, 0x20(%rsp)
jle 0x2abfe
leaq (%r12,%r12), %rax
movq %rax, 0x10(%rsp)
movq %r12, %rsi
shlq $0x4, %rsi
leaq 0x60(%rsp), %rdi
callq 0x29dc0
movq %rax, %r13
leaq (%rax,%r12,8), %rax
movq %rax, (%rsp)
xorl %r12d, %r12d
movq 0x38(%rsp), %rax
testq %rax, %rax
movl $0x0, %ecx
cmovgq %rax, %rcx
movq %rcx, 0x8(%rsp)
cmpq %r12, 0x8(%rsp)
je 0x2af37
movq (%r15,%r12,8), %rbp
movq %r15, %rax
movq 0x40(%rsp), %rcx
movq (%rcx,%r12,8), %r15
movq %r13, %rdi
cmpq %rax, %rcx
je 0x2ab47
movq %r15, %rsi
movq %rbp, %rdx
movq 0xf0(%rsp), %rbx
movq %rbx, %rcx
callq 0x19500
jmp 0x2ab5a
movq %rbp, %rsi
movq 0xf0(%rsp), %rbx
movq %rbx, %rdx
callq 0x196c0
cmpq $0x0, (%rbp,%rbx,8)
je 0x2ab79
movq (%rsp), %rdi
movq %rdi, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x17cf0
movq %rax, %r14
jmp 0x2ab7c
xorl %r14d, %r14d
cmpq $0x0, (%r15,%rbx,8)
je 0x2aba0
movq (%rsp), %rdi
movq %rdi, %rsi
movq %rbp, %rdx
movq %rbx, %rcx
callq 0x17cf0
addq %r14, %rax
addq (%rbp,%rbx,8), %rax
movq %rax, %r14
movq 0x20(%rsp), %r15
testq %r14, %r14
je 0x2abbd
movq %r13, %rdi
movq %r13, %rsi
movq 0x10(%rsp), %rdx
movq %r14, %rcx
callq 0x29e1c
movq %rbp, %rdi
movq %r13, %rsi
movq (%rsp), %rdx
movq %rbx, %rcx
callq 0x17ed0
testq %rax, %rax
je 0x2abef
movq %rbp, %rdi
movq %rbp, %rsi
movq %rbx, %rdx
pushq $0x1
popq %rcx
callq 0x29e1c
xorl %ecx, %ecx
testq %rax, %rax
setne %cl
jmp 0x2abf1
xorl %ecx, %ecx
movq %rcx, (%rbp,%rbx,8)
incq %r12
jmp 0x2ab0c
movb %al, %sil
movq %r12, %rdi
movq %rsi, 0x98(%rsp)
callq 0x2a2c8
movq %rbp, %rdx
movl %eax, %ecx
shlq %cl, %rdx
leaq -0x1(%rdx), %rcx
testq %r12, %rcx
jne 0x2b31f
cmpq $0x41, %rdx
pushq $0x40
popq %r14
cmovaeq %rdx, %r14
movl %eax, %ecx
movq %r12, %rax
shlq $0x6, %rax
shrq %cl, %rax
shrq %cl, %r12
movq %r12, (%rsp)
movq %rcx, 0x58(%rsp)
leaq (%rcx,%rax,2), %rax
addq %r14, %rax
addq $0x2, %rax
negq %r14
andq %rax, %r14
movq %r14, %rax
shrq $0x6, %rax
cmpq %rbx, %rax
movq %rdx, 0x90(%rsp)
movq 0xf0(%rsp), %r15
jb 0x2acb6
movq %rax, %rbx
movq 0x98(%rsp), %r12
movq %rbx, %rdi
movl %r12d, %esi
callq 0x2a2c8
movq %rbp, %rdx
movl %eax, %ecx
shlq %cl, %rdx
leaq -0x1(%rdx), %rax
testq %rbx, %rax
je 0x2acb3
addq %rbx, %rax
negq %rdx
andq %rax, %rdx
movq %rdx, %r14
shlq $0x6, %r14
movq %rdx, %rbx
jmp 0x2ac82
movq %rbx, %rax
cmpq %r15, %rax
jge 0x2b337
pushq $0x8
popq %rbx
movq %rax, %r15
movq %r14, 0x8(%rsp)
movq 0x58(%rsp), %r14
movl %r14d, %ecx
shlq %cl, %rbx
leaq 0x60(%rsp), %r13
movq %r13, %rdi
movq %rbx, %rsi
callq 0x29dc0
movq %rax, 0x28(%rsp)
movq %r13, %rdi
movq %rbx, %rsi
callq 0x29dc0
movq %rax, 0x88(%rsp)
leaq 0x1(%r15), %rbp
movq %r15, 0x10(%rsp)
leaq 0x2(,%r15,2), %rsi
movl %r14d, %ecx
shlq %cl, %rsi
shlq $0x3, %rsi
movq %r13, %rdi
callq 0x29dc0
movq %rax, 0x50(%rsp)
movq %rbp, %rsi
shlq $0x4, %rsi
movq %r13, %rdi
callq 0x29dc0
movq %rax, 0x80(%rsp)
movl %r14d, %ecx
shlq %cl, %rbp
leal 0x8(,%r14,8), %esi
movq %r13, %rdi
callq 0x29dc0
movq %rax, %r12
movq %r13, %rdi
movq %rbx, %rsi
callq 0x29dc0
leal 0x1(%r14), %edx
xorl %ecx, %ecx
movq 0x20(%rsp), %r15
cmpq %rcx, %rdx
je 0x2ad83
pushq $0x1
popq %rsi
shlq %cl, %rsi
movq %rax, (%r12,%rcx,8)
leaq (%rax,%rsi,4), %rax
incq %rcx
jmp 0x2ad6b
movq 0x58(%rsp), %rbx
movl %ebx, %ecx
sarq %cl, 0x8(%rsp)
movq 0x50(%rsp), %rax
leaq (%rax,%rbp,8), %r14
movq %r12, %rdi
movl %ebx, %esi
callq 0x2a658
movq (%rsp), %rax
movl %ebx, %ecx
shlq %cl, %rax
incq %rax
movq %rax, 0x18(%rsp)
xorl %ebp, %ebp
movq 0x38(%rsp), %rax
testq %rax, %rax
movl $0x0, %ecx
cmovgq %rax, %rcx
movq %rcx, 0xb0(%rsp)
movq %r12, 0xa8(%rsp)
cmpq %rbp, 0xb0(%rsp)
je 0x2af37
movq (%r15,%rbp,8), %rdi
movq 0xf0(%rsp), %rbx
movq %rbx, %rsi
callq 0x2b901
movq 0x40(%rsp), %r12
cmpq %r15, %r12
je 0x2ae93
movq (%r12,%rbp,8), %rdi
movq %rbx, %rsi
callq 0x2b901
movq (%r15,%rbp,8), %r8
subq $0x8, %rsp
movq 0x58(%rsp), %rdi
movq 0x30(%rsp), %rsi
movq 0x98(%rsp), %r13
movq %r13, %rdx
movq 0x18(%rsp), %r15
movq %r15, %rcx
movq 0x20(%rsp), %r9
movq 0x88(%rsp), %rbx
pushq %rbx
pushq 0x18(%rsp)
pushq 0x18(%rsp)
callq 0x2a6bd
addq $0x20, %rsp
movq (%r12,%rbp,8), %r8
movq %r15, %rcx
movq 0x20(%rsp), %r15
subq $0x8, %rsp
movq %r14, %rdi
movq 0x90(%rsp), %r12
movq %r12, %rsi
movq %r13, %rdx
movq 0x10(%rsp), %r13
movq 0x20(%rsp), %r9
pushq %rbx
pushq %r13
pushq 0x18(%rsp)
callq 0x2a6bd
addq $0x20, %rsp
jmp 0x2aedc
movq (%r15,%rbp,8), %r8
subq $0x8, %rsp
movq 0x58(%rsp), %rdi
movq 0x10(%rsp), %r13
movq 0x30(%rsp), %rsi
movq 0x98(%rsp), %rdx
movq 0x18(%rsp), %rcx
movq 0x20(%rsp), %r9
movq 0x88(%rsp), %rbx
pushq %rbx
pushq %r13
pushq 0x18(%rsp)
callq 0x2a6bd
addq $0x20, %rsp
movq 0x88(%rsp), %r12
movq %r13, 0x8(%rsp)
movq (%r15,%rbp,8), %rdi
movq %r13, %rax
movq 0xf0(%rsp), %r13
movq %r13, %rsi
movq 0x58(%rsp), %rdx
movq 0x28(%rsp), %rcx
movq %r12, %r8
movq %r14, %r9
pushq 0x98(%rsp)
pushq %rbx
movq 0xb8(%rsp), %r12
pushq %r12
pushq %rax
pushq 0x20(%rsp)
pushq 0x38(%rsp)
callq 0x2a9c8
addq $0x30, %rsp
movq (%r15,%rbp,8), %rcx
movq %rax, (%rcx,%r13,8)
incq %rbp
jmp 0x2add6
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
jne 0x2b315
movq %r15, %rdi
movq 0x38(%rsp), %rbp
movq %rbp, %rsi
movq 0x78(%rsp), %rdx
movq 0xf0(%rsp), %r14
movq %r14, %rcx
movq 0x110(%rsp), %rbx
movq %rbx, %r8
callq 0x2b6ff
leaq (%rbx,%r14,8), %rdi
addq $0x8, %rdi
movq 0x30(%rsp), %rax
movq %rdi, (%rax)
movq (%r15), %rsi
movq 0xa0(%rsp), %r13
movq %r13, %rdx
movq %r14, %rcx
callq 0x2b83a
leaq -0x1(%rbp), %rax
movq 0x100(%rsp), %r12
movq %r12, %rbx
movq %rax, 0x10(%rsp)
imulq %rax, %rbx
addq %r13, %rbx
movq 0x48(%rsp), %r14
pushq $0x1
popq %r13
cmpq %rbp, %r13
jge 0x2afe9
movq -0x8(%r15,%r13,8), %rdi
movq 0x30(%rsp), %rax
movq %rdi, (%rax,%r13,8)
movq (%r15,%r13,8), %rsi
movq %rbx, %rdx
movq 0xf0(%rsp), %rcx
callq 0x2b83a
incq %r13
subq %r12, %rbx
jmp 0x2afba
movq 0xf0(%rsp), %rbx
movq %rbx, %rax
incq %rax
movq %rax, (%rsp)
je 0x2b014
leaq 0x8(,%rbx,8), %rdx
movq 0x110(%rsp), %rdi
xorl %esi, %esi
callq 0x6170
movq %rbx, %rax
movq 0x10(%rsp), %rbx
imulq 0xf8(%rsp), %rbx
leaq (%rbx,%rax), %r15
incq %r15
je 0x2b040
leaq (,%r15,8), %rdx
movq %r14, %rdi
xorl %esi, %esi
callq 0x6170
movq %r15, 0x18(%rsp)
movq 0xf8(%rsp), %rax
movq %rax, %rcx
shlq $0x4, %rcx
movq %rcx, 0x28(%rsp)
leaq (%r14,%rbx,8), %r15
leaq (,%rax,8), %rax
negq %rax
movq %rax, 0x20(%rsp)
movq 0xf0(%rsp), %rax
leaq (,%rax,8), %rax
movq %rax, 0x8(%rsp)
pushq $0x1
popq %r12
xorl %ebx, %ebx
movq %r12, %r13
movq 0x10(%rsp), %r14
testq %r14, %r14
js 0x2b169
movq %r13, %rbp
andq 0x10(%rsp), %rbp
movq 0x30(%rsp), %rax
movq (%rax,%rbp,8), %rdx
movq %r15, %rdi
movq %r15, %rsi
movq (%rsp), %rcx
callq 0x17cf0
testq %rax, %rax
je 0x2b0de
movq 0x8(%rsp), %rax
leaq (%r15,%rax), %rdi
addq $0x8, %rdi
leaq -0x1(%r12), %rdx
movq %rdi, %rsi
pushq $0x1
popq %rcx
callq 0x29e1c
addq %rax, %rbx
incq %r14
movq 0x110(%rsp), %rsi
movq 0x28(%rsp), %rax
movq %r14, (%rsi,%rax)
movq 0x30(%rsp), %rax
movq (%rax,%rbp,8), %rdi
movq (%rsp), %rdx
callq 0x1ac5c
testl %eax, %eax
jle 0x2b150
movq 0xf0(%rsp), %rax
leaq (%rax,%r12), %rdx
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rbp
pushq $0x1
popq %r12
movq %r12, %rcx
callq 0x17e44
movq %rax, 0x40(%rsp)
movq 0x8(%rsp), %rax
leaq (%r15,%rax), %rdi
movq %rdi, %rsi
movq %rbp, %rdx
movq %r12, %rcx
movq %rbp, %r12
callq 0x17e44
addq 0x40(%rsp), %rax
subq %rax, %rbx
addq 0xf8(%rsp), %r12
addq 0x20(%rsp), %r15
incq %r13
addq $-0x2, %r14
jmp 0x2b090
cmpq $0x1, %rbx
je 0x2b1ec
cmpq $-0x1, %rbx
movq 0x70(%rsp), %rbx
movq 0x48(%rsp), %r13
movq 0x18(%rsp), %r12
jne 0x2b251
leaq (,%r12,8), %r14
addq %r13, %r14
leaq (,%rbx,8), %rax
movq %r14, %r15
subq %rax, %r15
pushq $0x1
popq %rcx
movq %r15, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x29e1c
testq %rax, %rax
je 0x2b251
addq $-0x8, %r15
leaq 0x1(%rbx), %rdx
pushq $0x1
popq %r12
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rcx
callq 0x17e44
addq $-0x8, %r14
movq %r14, %rdi
movq %r14, %rsi
movq %r12, %rdx
movq %r12, %rcx
movq 0x18(%rsp), %r12
jmp 0x2b226
movq 0x70(%rsp), %rbx
leaq (%rbx,%rbx), %r15
movq 0x48(%rsp), %r13
movq 0x18(%rsp), %r12
leaq (,%r12,8), %r14
addq %r13, %r14
cmpq %r15, %r12
jge 0x2b22d
leaq (,%rbx,8), %rax
subq %rax, %r14
pushq $0x1
popq %rcx
movq %r14, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x17e44
jmp 0x2b251
leaq (,%r15,8), %rax
subq %rax, %r14
pushq $0x1
popq %rax
movq %r14, %rdi
movq %r14, %rsi
movq %r15, %rdx
movq %rax, %rcx
callq 0x29e1c
testq %rax, %rax
jne 0x2b23b
leaq (%rbx,%rbx), %rax
movq %r12, %r14
subq %rax, %r14
jle 0x2b2a0
leaq (,%rax,8), %rdx
addq %r13, %rdx
movq 0x68(%rsp), %r15
movq %r15, %rdi
movq %r13, %rsi
movq %r14, %rcx
callq 0x17cf0
leaq (%r15,%r14,8), %rdi
leaq (,%r14,8), %rsi
addq %r13, %rsi
movq %rbx, %rdx
subq %r14, %rdx
movq %rax, %rcx
callq 0x29e1c
movq %rax, %r14
movq %rbx, %r12
jmp 0x2b2b9
subq %rbx, %r12
movq 0x68(%rsp), %r15
movq %r15, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0x290c6
xorl %r14d, %r14d
leaq (,%rbx,8), %rdx
addq %r13, %rdx
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rcx
callq 0x17ed0
leaq (%r15,%r12,8), %rdi
movq %rbx, %rdx
subq %r12, %rdx
movq %rdi, %rsi
movq %rax, %rcx
callq 0x17e44
subq %rax, %r14
jns 0x2b300
pushq $0x1
popq %rcx
movq %r15, %rdi
movq %r15, %rsi
movq %rbx, %rdx
callq 0x29e1c
movq %rax, %r14
movq %r14, %rax
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x29df3
jmp 0x2af45
leaq 0x8bea(%rip), %rdi      # 0x33f10
leaq 0x8c24(%rip), %rdx      # 0x33f51
movl $0x1c1, %esi            # imm = 0x1C1
callq 0x29ce6
leaq 0x8bd2(%rip), %rdi      # 0x33f10
leaq 0x8c20(%rip), %rdx      # 0x33f65
movl $0x1d7, %esi            # imm = 0x1D7
callq 0x29ce6