LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_base_power_of_two_p
static unsigned
mpn_base_power_of_two_p (unsigned b)
{
  switch (b)
    {
    case 2: return 1;
    case 4: return 2;
    case 8: return 3;
    case 16: return 4;
    case 32: return 5;
    case 64: return 6;
    case 128: return 7;
    case 256: return 8;
    default: return 0;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
cmpl $0x1f, %edi
jg 0x1fc2
cmpl $0x7, %edi
jg 0x1fd8
movl $0x1, %eax
cmpl $0x2, %edi
je 0x2017
cmpl $0x4, %edi
jne 0x2015
movl $0x2, %eax
jmp 0x2017
cmpl $0x7f, %edi
jg 0x1fe9
cmpl $0x20, %edi
je 0x2000
cmpl $0x40, %edi
jne 0x2015
movl $0x6, %eax
jmp 0x2017
cmpl $0x8, %edi
je 0x2007
cmpl $0x10, %edi
jne 0x2015
movl $0x4, %eax
jmp 0x2017
cmpl $0x80, %edi
je 0x200e
cmpl $0x100, %edi            # imm = 0x100
jne 0x2015
movl $0x8, %eax
jmp 0x2017
movl $0x5, %eax
jmp 0x2017
movl $0x3, %eax
jmp 0x2017
movl $0x7, %eax
jmp 0x2017
xorl %eax, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_get_str_bits
static size_t
mpn_get_str_bits (unsigned char *sp, unsigned bits, mp_srcptr up, mp_size_t un)
{
  unsigned char mask;
  size_t sn, j;
  mp_size_t i;
  int shift;

  sn = ((un - 1) * GMP_LIMB_BITS + mpn_limb_size_in_base_2 (up[un-1])
	+ bits - 1) / bits;

  mask = (1U << bits) - 1;

  for (i = 0, j = sn, shift = 0; j-- > 0;)
    {
      unsigned char digit = up[i] >> shift;

      shift += bits;

      if (shift >= GMP_LIMB_BITS && ++i < un)
	{
	  shift -= GMP_LIMB_BITS;
	  digit |= up[i] << (bits - shift);
	}
      sp[j] = digit & mask;
    }
  return sn;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdx, %r14
movl %esi, %r15d
movq %rdi, %r12
leaq -0x1(%rcx), %r13
shlq $0x6, %r13
movq -0x8(%rdx,%rcx,8), %rdi
callq 0x78eb
movl %r15d, %edi
addq %rdi, %r13
leaq (%rax,%r13), %rcx
decq %rcx
xorl %esi, %esi
movq %rcx, %rax
xorl %edx, %edx
divq %rdi
cmpq %rdi, %rcx
jb 0x20b7
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
movl %r15d, %ecx
shll %cl, %edx
notl %edx
movq %rax, %rdi
xorl %r10d, %r10d
movq (%r14,%r10,8), %r8
movl %esi, %ecx
shrq %cl, %r8
addl %r15d, %esi
cmpl $0x40, %esi
jb 0x20a2
leaq 0x1(%r10), %r9
cmpq %rbx, %r9
jge 0x20a5
addl $-0x40, %esi
movq 0x8(%r14,%r10,8), %r10
movl %r15d, %ecx
subl %esi, %ecx
shlq %cl, %r10
orq %r10, %r8
jmp 0x20a5
movq %r10, %r9
decq %rdi
andl %edx, %r8d
movb %r8b, (%r12,%rdi)
movq %r9, %r10
testq %rdi, %rdi
jne 0x2073
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_get_str_other
static size_t
mpn_get_str_other (unsigned char *sp,
		   int base, const struct mpn_base_info *info,
		   mp_ptr up, mp_size_t un)
{
  struct gmp_div_inverse binv;
  size_t sn;
  size_t i;

  mpn_div_qr_1_invert (&binv, base);

  sn = 0;

  if (un > 1)
    {
      struct gmp_div_inverse bbinv;
      mpn_div_qr_1_invert (&bbinv, info->bb);

      do
	{
	  mp_limb_t w;
	  size_t done;
	  w = mpn_div_qr_1_preinv (up, up, un, &bbinv);
	  un -= (up[un-1] == 0);
	  done = mpn_limb_get_str (sp + sn, w, &binv);

	  for (sn += done; done < info->exp; done++)
	    sp[sn++] = 0;
	}
      while (un > 1);
    }
  sn += mpn_limb_get_str (sp + sn, up[0], &binv);

  /* Reverse order */
  for (i = 0; 2*i + 1 < sn; i++)
    {
      unsigned char t = sp[i];
      sp[i] = sp[sn - i - 1];
      sp[sn - i - 1] = t;
    }

  return sn;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %r8, %r15
movq %rcx, -0x30(%rbp)
movq %rdx, %r12
movq %rdi, %rbx
movslq %esi, %rsi
leaq -0x50(%rbp), %rdi
callq 0x794f
cmpq $0x2, %r15
jl 0x2159
movq 0x8(%r12), %rsi
leaq -0x70(%rbp), %rdi
callq 0x794f
xorl %r14d, %r14d
movq -0x30(%rbp), %r13
movq %r13, %rdi
movq %r13, %rsi
movq %r15, %rdx
leaq -0x70(%rbp), %rcx
callq 0x79cc
cmpq $0x1, -0x8(%r13,%r15,8)
sbbq $0x0, %r15
leaq (%rbx,%r14), %r13
movq %r13, %rdi
movq %rax, %rsi
leaq -0x50(%rbp), %rdx
callq 0x93a7
movl (%r12), %ecx
cmpq %rcx, %rax
jae 0x214e
movb $0x0, (%r13,%rax)
incq %rax
jmp 0x213a
addq %rax, %r14
cmpq $0x1, %r15
jg 0x2107
jmp 0x215c
xorl %r14d, %r14d
leaq (%rbx,%r14), %rdi
movq -0x30(%rbp), %rax
movq (%rax), %rsi
leaq -0x50(%rbp), %rdx
callq 0x93a7
addq %r14, %rax
cmpq $0x2, %rax
jb 0x21a5
leaq -0x2(%rax), %rcx
shrq %rcx
notq %rcx
leaq (%rbx,%rax), %rdx
decq %rdx
xorl %esi, %esi
movb (%rbx), %dil
movb (%rdx,%rsi), %r8b
movb %r8b, (%rbx)
movb %dil, (%rdx,%rsi)
decq %rsi
incq %rbx
cmpq %rsi, %rcx
jne 0x218c
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_set_str
mp_size_t
mpn_set_str (mp_ptr rp, const unsigned char *sp, size_t sn, int base)
{
  unsigned bits;

  if (sn == 0)
    return 0;

  bits = mpn_base_power_of_two_p (base);
  if (bits)
    return mpn_set_str_bits (rp, sp, sn, bits);
  else
    {
      struct mpn_base_info info;

      mpn_get_base_info (&info, base);
      return mpn_set_str_other (rp, sp, sn, base, &info);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
testq %rdx, %rdx
je 0x21f8
movl %ecx, %r12d
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movl %ecx, %edi
callq 0x1f9e
testl %eax, %eax
je 0x21fc
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl %eax, %ecx
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x2240
xorl %eax, %eax
jmp 0x2233
movslq %r12d, %rcx
movl $0x1, %esi
movq %rcx, %rdi
testl %r12d, %r12d
js 0x221a
imulq %rcx, %rdi
incl %esi
movq %rcx, %rax
mulq %rdi
jno 0x220c
leaq -0x30(%rbp), %r8
movl %esi, (%r8)
movq %rdi, 0x8(%r8)
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x22c0
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_set_str_bits
static mp_size_t
mpn_set_str_bits (mp_ptr rp, const unsigned char *sp, size_t sn,
		  unsigned bits)
{
  mp_size_t rn;
  size_t j;
  unsigned shift;

  for (j = sn, rn = 0, shift = 0; j-- > 0; )
    {
      if (shift == 0)
	{
	  rp[rn++] = sp[j];
	  shift += bits;
	}
      else
	{
	  rp[rn-1] |= (mp_limb_t) sp[j] << shift;
	  shift += bits;
	  if (shift >= GMP_LIMB_BITS)
	    {
	      shift -= GMP_LIMB_BITS;
	      if (shift > 0)
		rp[rn++] = (mp_limb_t) sp[j] >> (bits - shift);
	    }
	}
    }
  rn = mpn_normalized_size (rp, rn);
  return rn;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
xorl %r9d, %r9d
testq %rdx, %rdx
je 0x22bc
movl %ecx, %r8d
xorl %eax, %eax
movzbl -0x1(%rsi,%rdx), %r10d
testl %r9d, %r9d
je 0x228e
movl %r9d, %ecx
shlq %cl, %r10
orq %r10, -0x8(%rdi,%rax,8)
addl %r8d, %r9d
cmpl $0x40, %r9d
jb 0x229d
addl $-0x40, %r9d
je 0x229a
movzbl -0x1(%rsi,%rdx), %r10d
movl %r8d, %ecx
subl %r9d, %ecx
shrq %cl, %r10
movq %r10, (%rdi,%rax,8)
incq %rax
jmp 0x229d
movq %r10, (%rdi,%rax,8)
incq %rax
movl %r8d, %r9d
jmp 0x229d
xorl %r9d, %r9d
decq %rdx
jne 0x2251
testq %rax, %rax
jle 0x22be
cmpq $0x0, -0x8(%rdi,%rax,8)
jne 0x22be
leaq -0x1(%rax), %rcx
cmpq $0x1, %rax
movq %rcx, %rax
jg 0x22a7
xorl %eax, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_set_str_other
static mp_size_t
mpn_set_str_other (mp_ptr rp, const unsigned char *sp, size_t sn,
		   mp_limb_t b, const struct mpn_base_info *info)
{
  mp_size_t rn;
  mp_limb_t w;
  unsigned k;
  size_t j;

  k = 1 + (sn - 1) % info->exp;

  j = 0;
  w = sp[j++];
  while (--k != 0)
    w = w * b + sp[j++];

  rp[0] = w;

  for (rn = (w > 0); j < sn;)
    {
      mp_limb_t cy;

      w = sp[j++];
      for (k = 1; k < info->exp; k++)
	w = w * b + sp[j++];

      cy = mpn_mul_1 (rp, rp, rn, info->bb);
      cy += mpn_add_1 (rp, rp, rn, w);
      if (cy > 0)
	rp[rn++] = cy;
    }
  assert (j == sn);

  return rn;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %r15
movq %rdi, %rbx
movq %rdx, -0x30(%rbp)
leaq -0x1(%rdx), %rax
movl (%r8), %ecx
xorl %edx, %edx
divq %rcx
movzbl (%rsi), %eax
movl $0x1, %r13d
testq %rdx, %rdx
je 0x2308
imulq %r15, %rax
movzbl (%rsi,%r13), %ecx
incq %r13
addq %rcx, %rax
decl %edx
jne 0x22f5
movq %rax, (%rbx)
xorl %r12d, %r12d
testq %rax, %rax
setne %r12b
cmpq -0x30(%rbp), %r13
jae 0x23a5
movq %rsi, -0x38(%rbp)
movq %r8, -0x40(%rbp)
movzbl (%rsi,%r13), %r14d
movl (%r8), %eax
cmpq $0x2, %rax
jb 0x2360
leal -0x2(%rax), %ecx
leaq (%rsi,%r13), %r10
movl $0x1, %esi
movq %r14, %r9
imulq %r15, %r9
movzbl (%r10,%rsi), %r14d
addq %r9, %r14
incq %rsi
cmpl %esi, %eax
jne 0x2341
addq %rcx, %r13
addq $0x2, %r13
jmp 0x2363
incq %r13
movq 0x8(%r8), %rcx
movq %rbx, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x1754
movq %rax, -0x48(%rbp)
movq %rbx, %rdi
movq %rbx, %rsi
movq %r12, %rdx
movq %r14, %rcx
callq 0x155d
addq -0x48(%rbp), %rax
je 0x2397
movq %rax, (%rbx,%r12,8)
incq %r12
movq -0x38(%rbp), %rsi
cmpq -0x30(%rbp), %r13
movq -0x40(%rbp), %r8
jb 0x2327
cmpq -0x30(%rbp), %r13
jne 0x23bd
movq %r12, %rax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8ccb(%rip), %rdi      # 0xb08f
leaq 0x7c99(%rip), %rsi      # 0xa064
leaq 0x8cc5(%rip), %rcx      # 0xb097
movl $0x536, %edx            # imm = 0x536
callq 0x1090
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_init2
void
mpz_init2 (mpz_t r, mp_bitcnt_t bits)
{
  mp_size_t rn;

  bits -= (bits != 0);		/* Round down, except if 0 */
  rn = 1 + bits / GMP_LIMB_BITS;

  r->_mp_alloc = rn;
  r->_mp_size = 0;
  r->_mp_d = gmp_xalloc_limbs (rn);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
cmpq $0x1, %rsi
adcq $-0x1, %rsi
shrq $0x6, %rsi
leaq 0x1(%rsi), %rax
movl %eax, (%rdi)
movl $0x0, 0x4(%rdi)
leaq 0x8(,%rsi,8), %rdi
callq *0xdc6e(%rip)           # 0x100a0
movq %rax, 0x8(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_set_si
void
mpz_set_si (mpz_t r, signed long int x)
{
  if (x >= 0)
    mpz_set_ui (r, x);
  else /* (x < 0) */
    {
      r->_mp_size = -1;
      r->_mp_d[0] = GMP_NEG_CAST (unsigned long int, x);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
testq %rsi, %rsi
js 0x246a
je 0x247d
movq 0x8(%rdi), %rax
movq %rsi, (%rax)
movl $0x1, %eax
jmp 0x247f
movl $0xffffffff, 0x4(%rdi)  # imm = 0xFFFFFFFF
negq %rsi
movq 0x8(%rdi), %rax
movq %rsi, (%rax)
jmp 0x2482
xorl %eax, %eax
movl %eax, 0x4(%rdi)
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_set
void
mpz_set (mpz_t r, const mpz_t x)
{
  /* Allow the NOP r == x */
  if (r != x)
    {
      mp_size_t n;
      mp_ptr rp;

      n = GMP_ABS (x->_mp_size);
      rp = MPZ_REALLOC (r, n);

      mpn_copyi (rp, x->_mp_d, n);
      r->_mp_size = x->_mp_size;
    }
}

// Assembly:
cmpq %rsi, %rdi
je 0x2544
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movl 0x4(%rsi), %r12d
movl %r12d, %r15d
negl %r15d
cmovsl %r12d, %r15d
cmpl (%rdi), %r15d
jle 0x2510
cmpq $0x1, %r15
movq %r15, %r13
adcq $0x0, %r13
movq 0x8(%rbx), %rdi
leaq (,%r13,8), %rdx
xorl %esi, %esi
callq *0xdbb7(%rip)           # 0x100a8
movq %rax, 0x8(%rbx)
movl %r13d, (%rbx)
movl 0x4(%rbx), %ecx
movl %ecx, %edx
negl %edx
cmovsl %ecx, %edx
cmpq %rdx, %r13
jae 0x2514
movl $0x0, 0x4(%rbx)
jmp 0x2514
movq 0x8(%rbx), %rax
testl %r12d, %r12d
je 0x252f
movq 0x8(%r14), %rcx
xorl %edx, %edx
movq (%rcx,%rdx,8), %rsi
movq %rsi, (%rax,%rdx,8)
incq %rdx
cmpq %rdx, %r15
jne 0x251f
movl 0x4(%r14), %eax
movl %eax, 0x4(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_fits_slong_p
int
mpz_fits_slong_p (const mpz_t u)
{
  mp_size_t us = u->_mp_size;

  if (us == 1)
    return u->_mp_d[0] < GMP_LIMB_HIGHBIT;
  else if (us == -1)
    return u->_mp_d[0] <= GMP_LIMB_HIGHBIT;
  else
    return (us == 0);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl 0x4(%rdi), %eax
cmpl $-0x1, %eax
je 0x2626
testl %eax, %eax
je 0x2622
cmpl $0x1, %eax
jne 0x263c
movq 0x8(%rdi), %rax
cmpq $0x0, (%rax)
setns %al
jmp 0x263e
movb $0x1, %al
jmp 0x263e
movq 0x8(%rdi), %rax
movabsq $-0x7fffffffffffffff, %rcx # imm = 0x8000000000000001
cmpq %rcx, (%rax)
setb %al
jmp 0x263e
xorl %eax, %eax
movzbl %al, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_get_si
long int
mpz_get_si (const mpz_t u)
{
  mp_size_t us = u->_mp_size;

  if (us > 0)
    return (long) (u->_mp_d[0] & ~GMP_LIMB_HIGHBIT);
  else if (us < 0)
    return (long) (- u->_mp_d[0] | GMP_LIMB_HIGHBIT);
  else
    return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl 0x4(%rdi), %eax
testl %eax, %eax
jle 0x267b
movq 0x8(%rdi), %rcx
movabsq $0x7fffffffffffffff, %rax # imm = 0x7FFFFFFFFFFFFFFF
andq (%rcx), %rax
jmp 0x269a
js 0x2681
xorl %eax, %eax
jmp 0x269a
movq 0x8(%rdi), %rax
xorl %ecx, %ecx
subq (%rax), %rcx
movabsq $0x7fffffffffffffff, %rax # imm = 0x7FFFFFFFFFFFFFFF
incq %rax
orq %rcx, %rax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_roinit_n
mpz_srcptr
mpz_roinit_n (mpz_t x, mp_srcptr xp, mp_size_t xs)
{
  x->_mp_alloc = 0;
  x->_mp_d = (mp_ptr) xp;
  mpz_limbs_finish (x, xs);
  return x;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, %rax
movl $0x0, (%rdi)
movq %rsi, 0x8(%rdi)
testq %rdx, %rdx
je 0x2835
movq %rdx, %rcx
negq %rcx
cmovsq %rdx, %rcx
cmpq $0x0, -0x8(%rsi,%rcx,8)
jne 0x2837
leaq -0x1(%rcx), %rdi
cmpq $0x1, %rcx
movq %rdi, %rcx
jg 0x2820
xorl %ecx, %ecx
movl %ecx, %esi
negl %esi
testq %rdx, %rdx
cmovnsl %ecx, %esi
movl %esi, 0x4(%rax)
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_get_d
double
mpz_get_d (const mpz_t u)
{
  mp_size_t un;
  double x;
  double B = 2.0 * (double) GMP_LIMB_HIGHBIT;

  un = GMP_ABS (u->_mp_size);

  if (un == 0)
    return 0.0;

  x = u->_mp_d[--un];
  while (un > 0)
    x = B*x + u->_mp_d[--un];

  if (u->_mp_size < 0)
    x = -x;

  return x;
}

// Assembly:
movl 0x4(%rdi), %eax
testl %eax, %eax
je 0x2b1a
pushq %rbp
movq %rsp, %rbp
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movq 0x8(%rdi), %rdx
movsd -0x8(%rdx,%rcx,8), %xmm1
unpcklps 0x758f(%rip), %xmm1     # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x7597(%rip), %xmm1     # 0xa050
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
cmpl $0x2, %ecx
jb 0x2b0c
movsd 0x756e(%rip), %xmm1     # 0xa040
movapd 0x7576(%rip), %xmm2     # 0xa050
movsd 0x7536(%rip), %xmm3     # 0xa018
movsd -0x10(%rdx,%rcx,8), %xmm4
unpcklps %xmm1, %xmm4            # xmm4 = xmm4[0],xmm1[0],xmm4[1],xmm1[1]
subpd %xmm2, %xmm4
movapd %xmm4, %xmm5
unpckhpd %xmm4, %xmm5            # xmm5 = xmm5[1],xmm4[1]
addsd %xmm4, %xmm5
mulsd %xmm3, %xmm0
addsd %xmm5, %xmm0
decq %rcx
cmpq $0x1, %rcx
ja 0x2ae2
testl %eax, %eax
jns 0x2b18
xorpd 0x7518(%rip), %xmm0     # 0xa030
popq %rbp
retq
xorps %xmm0, %xmm0
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_cmpabs_d
int
mpz_cmpabs_d (const mpz_t x, double d)
{
  mp_size_t xn;
  double B, Bi;
  mp_size_t i;

  xn = x->_mp_size;
  d = GMP_ABS (d);

  if (xn != 0)
    {
      xn = GMP_ABS (xn);

      B = 2.0 * (double) GMP_LIMB_HIGHBIT;
      Bi = 1.0 / B;

      /* Scale d so it can be compared with the top limb. */
      for (i = 1; i < xn; i++)
	d *= Bi;

      if (d >= B)
	return -1;

      /* Compare floor(d) to top limb, subtract and cancel when equal. */
      for (i = xn; i-- > 0;)
	{
	  mp_limb_t f, xl;

	  f = (mp_limb_t) d;
	  xl = x->_mp_d[i];
	  if (xl > f)
	    return 1;
	  else if (xl < f)
	    return -1;
	  d = B * (d - f);
	}
    }
  return - (d > 0.0);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl 0x4(%rdi), %eax
movapd 0x7503(%rip), %xmm2     # 0xa030
xorpd %xmm0, %xmm2
movapd %xmm2, %xmm1
cmplesd %xmm0, %xmm1
andpd %xmm1, %xmm0
andnpd %xmm2, %xmm1
orpd %xmm0, %xmm1
testl %eax, %eax
je 0x2bfb
movl %eax, %edx
negl %edx
cmovsl %eax, %edx
cmpl $0x2, %edx
jb 0x2b6f
leaq -0x1(%rdx), %rax
movsd 0x74ba(%rip), %xmm0     # 0xa020
mulsd %xmm0, %xmm1
decq %rax
jne 0x2b66
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
ucomisd 0x749c(%rip), %xmm1     # 0xa018
jae 0x2c0a
movq 0x8(%rdi), %rcx
incq %rdx
movsd 0x7497(%rip), %xmm0     # 0xa028
movq 0x74a7(%rip), %xmm2     # 0xa040
movapd 0x74af(%rip), %xmm3     # 0xa050
movsd 0x746f(%rip), %xmm4     # 0xa018
cvttsd2si %xmm1, %rdi
movq %rdi, %r8
sarq $0x3f, %r8
movapd %xmm1, %xmm5
subsd %xmm0, %xmm5
cvttsd2si %xmm5, %rsi
andq %r8, %rsi
orq %rdi, %rsi
cmpq %rsi, -0x10(%rcx,%rdx,8)
ja 0x2c0c
jb 0x2c0a
movq %rsi, %xmm5
punpckldq %xmm2, %xmm5    # xmm5 = xmm5[0],xmm2[0],xmm5[1],xmm2[1]
subpd %xmm3, %xmm5
movapd %xmm5, %xmm6
unpckhpd %xmm5, %xmm6            # xmm6 = xmm6[1],xmm5[1]
addsd %xmm5, %xmm6
subsd %xmm6, %xmm1
mulsd %xmm4, %xmm1
decq %rdx
cmpq $0x1, %rdx
jg 0x2ba9
xorpd %xmm0, %xmm0
xorl %eax, %eax
ucomisd %xmm0, %xmm1
seta %al
negl %eax
popq %rbp
retq
movl $0x1, %eax
jmp 0x2c0a
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_cmp_d
int
mpz_cmp_d (const mpz_t x, double d)
{
  if (x->_mp_size < 0)
    {
      if (d >= 0.0)
	return -1;
      else
	return -mpz_cmpabs_d (x, d);
    }
  else
    {
      if (d < 0.0)
	return 1;
      else
	return mpz_cmpabs_d (x, d);
    }
}

// Assembly:
cmpl $0x0, 0x4(%rdi)
js 0x2c2d
movl $0x1, %eax
xorpd %xmm1, %xmm1
ucomisd %xmm0, %xmm1
jbe 0x2b1e
retq
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jae 0x2c2c
pushq %rbp
movq %rsp, %rbp
callq 0x2b1e
negl %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_cmp_si
int
mpz_cmp_si (const mpz_t u, long v)
{
  mp_size_t usize = u->_mp_size;

  if (usize < -1)
    return -1;
  else if (v >= 0)
    return mpz_cmp_ui (u, v);
  else if (usize >= 0)
    return 1;
  else /* usize == -1 */
    {
      mp_limb_t ul = u->_mp_d[0];
      if ((mp_limb_t)GMP_NEG_CAST (unsigned long int, v) < ul)
	return -1;
      else
	return (mp_limb_t)GMP_NEG_CAST (unsigned long int, v) > ul;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl 0x4(%rdi), %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpl $-0x1, %ecx
jl 0x2cc1
movl $0x1, %eax
testq %rsi, %rsi
js 0x2c97
cmpl $0x1, %ecx
jg 0x2cc1
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
testl %ecx, %ecx
js 0x2cc1
cmpl $0x1, %ecx
jne 0x2cb4
movq 0x8(%rdi), %rax
movq (%rax), %rcx
jmp 0x2cb6
testl %ecx, %ecx
jns 0x2cc1
movq 0x8(%rdi), %rax
negq %rsi
xorl %ecx, %ecx
cmpq %rsi, (%rax)
setb %cl
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmovbel %ecx, %eax
jmp 0x2cc1
xorl %ecx, %ecx
xorl %eax, %eax
cmpq %rsi, %rcx
seta %al
sbbl $0x0, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_cmp_ui
int
mpz_cmp_ui (const mpz_t u, unsigned long v)
{
  mp_size_t usize = u->_mp_size;

  if (usize > 1)
    return 1;
  else if (usize < 0)
    return -1;
  else
    {
      mp_limb_t ul = (usize > 0) ? u->_mp_d[0] : 0;
      return (ul > v) - (ul < v);
    }
}

// Assembly:
movl 0x4(%rdi), %ecx
movl $0x1, %eax
cmpl $0x1, %ecx
jg 0x2ceb
testl %ecx, %ecx
js 0x2ce6
pushq %rbp
movq %rsp, %rbp
cmpl $0x1, %ecx
jne 0x2cec
movq 0x8(%rdi), %rax
movq (%rax), %rcx
jmp 0x2cee
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
retq
xorl %ecx, %ecx
xorl %eax, %eax
cmpq %rsi, %rcx
seta %al
sbbl $0x0, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_cmp
int
mpz_cmp (const mpz_t a, const mpz_t b)
{
  mp_size_t asize = a->_mp_size;
  mp_size_t bsize = b->_mp_size;

  if (asize != bsize)
    return (asize < bsize) ? -1 : 1;
  else if (asize >= 0)
    return mpn_cmp (a->_mp_d, b->_mp_d, asize);
  else
    return mpn_cmp (b->_mp_d, a->_mp_d, -asize);
}

// Assembly:
movslq 0x4(%rdi), %rax
movl 0x4(%rsi), %ecx
cmpl %ecx, %eax
jne 0x2d2f
pushq %rbp
movq %rsp, %rbp
testl %eax, %eax
js 0x2d3e
movq 0x8(%rdi), %rcx
movq 0x8(%rsi), %rdx
testq %rax, %rax
jle 0x2d6d
movq -0x8(%rcx,%rax,8), %rsi
movq -0x8(%rdx,%rax,8), %rdi
decq %rax
cmpq %rdi, %rsi
je 0x2d16
jmp 0x2d60
xorl %edx, %edx
cmpl %ecx, %eax
setge %dl
leal -0x1(,%rdx,2), %eax
retq
movq 0x8(%rsi), %rcx
movq 0x8(%rdi), %rdx
negq %rax
testq %rax, %rax
jle 0x2d6d
movq -0x8(%rcx,%rax,8), %rsi
movq -0x8(%rdx,%rax,8), %rdi
decq %rax
cmpq %rdi, %rsi
je 0x2d49
xorl %eax, %eax
cmpq %rsi, %rdi
adcl $-0x1, %eax
orl $0x1, %eax
jmp 0x2d6f
xorl %eax, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_cmpabs_ui
int
mpz_cmpabs_ui (const mpz_t u, unsigned long v)
{
  mp_size_t un = GMP_ABS (u->_mp_size);
  mp_limb_t ul;

  if (un > 1)
    return 1;

  ul = (un == 1) ? u->_mp_d[0] : 0;

  return (ul > v) - (ul < v);
}

// Assembly:
movl 0x4(%rdi), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movl $0x1, %eax
cmpl $0x1, %ecx
ja 0x2da2
pushq %rbp
movq %rsp, %rbp
jne 0x2d94
movq 0x8(%rdi), %rax
movq (%rax), %rcx
jmp 0x2d96
xorl %ecx, %ecx
xorl %eax, %eax
cmpq %rsi, %rcx
seta %al
sbbl $0x0, %eax
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_abs_add_ui
static mp_size_t
mpz_abs_add_ui (mpz_t r, const mpz_t a, unsigned long b)
{
  mp_size_t an;
  mp_ptr rp;
  mp_limb_t cy;

  an = GMP_ABS (a->_mp_size);
  if (an == 0)
    {
      r->_mp_d[0] = b;
      return b > 0;
    }

  rp = MPZ_REALLOC (r, an + 1);

  cy = mpn_add_1 (rp, a->_mp_d, an, b);
  rp[an] = cy;
  an += cy;

  return an;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rdi, %r12
movl 0x4(%rsi), %eax
movl %eax, %r14d
negl %r14d
cmovsl %eax, %r14d
jae 0x2ebf
movq %rsi, %r15
cmpl (%r12), %r14d
jge 0x2ed1
movq 0x8(%r12), %r13
jmp 0x2f18
movq 0x8(%r12), %rax
movq %rbx, (%rax)
xorl %eax, %eax
testq %rbx, %rbx
setne %al
jmp 0x2f32
leaq 0x1(%r14), %rax
movq %rax, -0x30(%rbp)
movq 0x8(%r12), %rdi
leaq 0x8(,%r14,8), %rdx
xorl %esi, %esi
callq *0xd1ba(%rip)           # 0x100a8
movq %rax, %r13
movq %rax, 0x8(%r12)
movq -0x30(%rbp), %rdx
movl %edx, (%r12)
movl 0x4(%r12), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
cmpq %rcx, %rdx
jae 0x2f18
movl $0x0, 0x4(%r12)
movq 0x8(%r15), %rsi
movq %r13, %rdi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x155d
movq %rax, (%r13,%r14,8)
addq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_abs_sub_ui
static mp_size_t
mpz_abs_sub_ui (mpz_t r, const mpz_t a, unsigned long b)
{
  mp_size_t an = GMP_ABS (a->_mp_size);
  mp_ptr rp = MPZ_REALLOC (r, an);

  if (an == 0)
    {
      rp[0] = b;
      return -(b > 0);
    }
  else if (an == 1 && a->_mp_d[0] < b)
    {
      rp[0] = b - a->_mp_d[0];
      return -1;
    }
  else
    {
      gmp_assert_nocarry (mpn_sub_1 (rp, a->_mp_d, an, b));
      return mpn_normalized_size (rp, an);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r8
movq %rdi, %r13
movl 0x4(%rsi), %r14d
movl %r14d, %ebx
negl %ebx
cmovsl %r14d, %ebx
cmpl (%rdi), %ebx
jle 0x2fbd
movq %rsi, -0x30(%rbp)
movq %r8, -0x38(%rbp)
cmpq $0x1, %rbx
movq %rbx, %r12
adcq $0x0, %r12
movq 0x8(%r13), %rdi
leaq (,%r12,8), %rdx
xorl %esi, %esi
callq *0xd118(%rip)           # 0x100a8
movq %rax, %r15
movq %rax, 0x8(%r13)
movl %r12d, (%r13)
movl 0x4(%r13), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
cmpq %rcx, %r12
jae 0x2fb3
movl $0x0, 0x4(%r13)
movq -0x38(%rbp), %r8
movq -0x30(%rbp), %rsi
jmp 0x2fc1
movq 0x8(%r13), %r15
cmpq $0x1, %rbx
je 0x2fd8
testl %ebx, %ebx
jne 0x2ff6
movq %r8, (%r15)
xorl %ebx, %ebx
negq %r8
sbbq %rbx, %rbx
jmp 0x304b
movq 0x8(%rsi), %rax
movq (%rax), %rax
movq %rax, %rcx
subq %r8, %rcx
jae 0x302c
subq %rax, %r8
movq %r8, (%r15)
movq $-0x1, %rbx
jmp 0x304b
movq 0x8(%rsi), %rsi
movq %r15, %rdi
movq %rbx, %rdx
movq %r8, %rcx
callq 0x1662
testq %rax, %rax
je 0x302f
leaq 0x7421(%rip), %rdi      # 0xa435
leaq 0x7049(%rip), %rsi      # 0xa064
leaq 0x80e1(%rip), %rcx      # 0xb103
movl $0x746, %edx            # imm = 0x746
callq 0x1090
movq %rcx, (%r15)
testl %r14d, %r14d
je 0x304b
cmpq $0x0, -0x8(%r15,%rbx,8)
jne 0x304b
leaq -0x1(%rbx), %rax
cmpq $0x1, %rbx
movq %rax, %rbx
jg 0x3034
xorl %ebx, %ebx
movq %rbx, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_add
void
mpz_add (mpz_t r, const mpz_t a, const mpz_t b)
{
  mp_size_t rn;

  if ( (a->_mp_size ^ b->_mp_size) >= 0)
    rn = mpz_abs_add (r, a, b);
  else
    rn = mpz_abs_sub (r, a, b);

  r->_mp_size = a->_mp_size >= 0 ? rn : - rn;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movl 0x4(%rdx), %eax
xorl 0x4(%rsi), %eax
js 0x30e5
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3104
jmp 0x30f0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x31c9
movl %eax, %ecx
negl %ecx
cmpl $0x0, 0x4(%r14)
cmovnsl %eax, %ecx
movl %ecx, 0x4(%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_abs_add
static mp_size_t
mpz_abs_add (mpz_t r, const mpz_t a, const mpz_t b)
{
  mp_size_t an = GMP_ABS (a->_mp_size);
  mp_size_t bn = GMP_ABS (b->_mp_size);
  mp_ptr rp;
  mp_limb_t cy;

  if (an < bn)
    {
      MPZ_SRCPTR_SWAP (a, b);
      MP_SIZE_T_SWAP (an, bn);
    }

  rp = MPZ_REALLOC (r, an + 1);
  cy = mpn_add (rp, a->_mp_d, an, b->_mp_d, bn);

  rp[an] = cy;

  return an + cy;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r14
movq %rdi, %r15
movl 0x4(%rsi), %ecx
movl %ecx, %eax
negl %eax
cmovsl %ecx, %eax
movl 0x4(%rdx), %ecx
movl %ecx, %ebx
negl %ebx
cmovsl %ecx, %ebx
cmpl %ebx, %eax
jae 0x313b
movq %rax, %r8
movq %rsi, %rcx
jmp 0x3147
movq %rbx, %r8
movq %rax, %rbx
movq %r14, %rcx
movq %rsi, %r14
movslq (%r15), %rax
cmpq %rax, %rbx
jge 0x3155
movq 0x8(%r15), %r13
jmp 0x319f
movq %rcx, -0x30(%rbp)
movq %r8, -0x38(%rbp)
leaq 0x1(%rbx), %r12
movq 0x8(%r15), %rdi
leaq 0x8(,%rbx,8), %rdx
xorl %esi, %esi
callq *0xcf33(%rip)           # 0x100a8
movq %rax, %r13
movq %rax, 0x8(%r15)
movl %r12d, (%r15)
movl 0x4(%r15), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
cmpq %rcx, %r12
jae 0x3197
movl $0x0, 0x4(%r15)
movq -0x38(%rbp), %r8
movq -0x30(%rbp), %rcx
movq 0x8(%r14), %rsi
movq 0x8(%rcx), %rcx
movq %r13, %rdi
movq %rbx, %rdx
callq 0x15e0
movq %rax, (%r13,%rbx,8)
addq %rbx, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_mul_si
void
mpz_mul_si (mpz_t r, const mpz_t u, long int v)
{
  if (v < 0)
    {
      mpz_mul_ui (r, u, GMP_NEG_CAST (unsigned long int, v));
      mpz_neg (r, r);
    }
  else
    mpz_mul_ui (r, u, (unsigned long int) v);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
testq %rdx, %rdx
js 0x342c
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x3441
negq %rdx
movq %rbx, %rdi
callq 0x3441
negl 0x4(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_mul_ui
void
mpz_mul_ui (mpz_t r, const mpz_t u, unsigned long int v)
{
  mp_size_t un, us;
  mp_ptr tp;
  mp_limb_t cy;

  us = u->_mp_size;

  if (us == 0 || v == 0)
    {
      r->_mp_size = 0;
      return;
    }

  un = GMP_ABS (us);

  tp = MPZ_REALLOC (r, un + 1);
  cy = mpn_mul_1 (tp, u->_mp_d, un, v);
  tp[un] = cy;

  un += (cy > 0);
  r->_mp_size = (us < 0) ? - un : un;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, %r8
movq %rdi, %rbx
movl 0x4(%rsi), %r14d
testl %r14d, %r14d
sete %cl
testq %rdx, %rdx
sete %dl
xorl %eax, %eax
orb %cl, %dl
jne 0x3500
movq %rsi, %r12
movl %r14d, %r15d
negl %r15d
cmovsl %r14d, %r15d
movslq (%rbx), %rax
cmpq %rax, %r15
jge 0x348d
movq 0x8(%rbx), %r13
jmp 0x34d4
movq %r8, -0x30(%rbp)
leaq 0x1(%r15), %rax
movq %rax, -0x38(%rbp)
movq 0x8(%rbx), %rdi
leaq 0x8(,%r15,8), %rdx
xorl %esi, %esi
callq *0xcbfb(%rip)           # 0x100a8
movq %rax, %r13
movq %rax, 0x8(%rbx)
movq -0x38(%rbp), %rdx
movl %edx, (%rbx)
movl 0x4(%rbx), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
cmpq %rcx, %rdx
jae 0x34d0
movl $0x0, 0x4(%rbx)
movq -0x30(%rbp), %r8
movq 0x8(%r12), %rsi
movq %r13, %rdi
movq %r15, %rdx
movq %r8, %rcx
callq 0x1754
movq %rax, (%r13,%r15,8)
cmpq $0x1, %rax
sbbl $-0x1, %r15d
movl %r15d, %eax
negl %eax
testl %r14d, %r14d
cmovnsl %r15d, %eax
movl %eax, 0x4(%rbx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_mul
void
mpz_mul (mpz_t r, const mpz_t u, const mpz_t v)
{
  int sign;
  mp_size_t un, vn, rn;
  mpz_t t;
  mp_ptr tp;

  un = u->_mp_size;
  vn = v->_mp_size;

  if (un == 0 || vn == 0)
    {
      r->_mp_size = 0;
      return;
    }

  sign = (un ^ vn) < 0;

  un = GMP_ABS (un);
  vn = GMP_ABS (vn);

  mpz_init2 (t, (un + vn) * GMP_LIMB_BITS);

  tp = t->_mp_d;
  if (un >= vn)
    mpn_mul (tp, u->_mp_d, un, v->_mp_d, vn);
  else
    mpn_mul (tp, v->_mp_d, vn, u->_mp_d, un);

  rn = un + vn;
  rn -= tp[rn-1] == 0;

  t->_mp_size = sign ? - rn : rn;
  mpz_swap (r, t);
  mpz_clear (t);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %r15
movslq 0x4(%rsi), %rax
testq %rax, %rax
sete %r8b
movl 0x4(%rdx), %ecx
testl %ecx, %ecx
sete %sil
orb %r8b, %sil
cmpb $0x1, %sil
jne 0x3559
movl $0x0, 0x4(%rdi)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rdx, -0x30(%rbp)
movq %rdi, -0x40(%rbp)
movslq %ecx, %rcx
movq %rcx, %rdx
xorq %rax, %rdx
movq %rdx, -0x38(%rbp)
movq %rax, %r12
negq %r12
cmovsq %rax, %r12
movq %rcx, %rbx
negq %rbx
cmovsq %rcx, %rbx
movq %rbx, %r13
addq %r12, %r13
movabsq $0x3ffffffffffffff, %rax # imm = 0x3FFFFFFFFFFFFFF
movq %rax, %r14
cmoveq %r13, %r14
addq %r13, %r14
andq %rax, %r14
leaq 0x8(,%r14,8), %rdi
incq %r14
callq *0xcaf0(%rip)           # 0x100a0
movq %rax, %rdi
cmpq %rbx, %r12
jae 0x35cf
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rsi
movq 0x8(%r15), %rcx
movq %rdi, %r15
movq %rbx, %rdx
movq %r12, %r8
jmp 0x35e4
movq 0x8(%r15), %rsi
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rcx
movq %rdi, %r15
movq %r12, %rdx
movq %rbx, %r8
callq 0x1981
cmpq $0x1, -0x8(%r15,%r13,8)
sbbl $0x0, %r13d
movl %r13d, %eax
negl %eax
cmpq $0x0, -0x38(%rbp)
cmovnsl %r13d, %eax
movq -0x40(%rbp), %rcx
movl %eax, 0x4(%rcx)
movl %r14d, (%rcx)
movq 0x8(%rcx), %rdi
movq %r15, 0x8(%rcx)
movq 0xca96(%rip), %rax      # 0x100b0
xorl %esi, %esi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_mul_2exp
void
mpz_mul_2exp (mpz_t r, const mpz_t u, mp_bitcnt_t bits)
{
  mp_size_t un, rn;
  mp_size_t limbs;
  unsigned shift;
  mp_ptr rp;

  un = GMP_ABS (u->_mp_size);
  if (un == 0)
    {
      r->_mp_size = 0;
      return;
    }

  limbs = bits / GMP_LIMB_BITS;
  shift = bits % GMP_LIMB_BITS;

  rn = un + limbs + (shift > 0);
  rp = MPZ_REALLOC (r, rn);
  if (shift > 0)
    {
      mp_limb_t cy = mpn_lshift (rp + limbs, u->_mp_d, un, shift);
      rp[rn-1] = cy;
      rn -= (cy == 0);
    }
  else
    mpn_copyd (rp + limbs, u->_mp_d, un);

  mpn_zero (rp, limbs);

  r->_mp_size = (u->_mp_size < 0) ? - rn : rn;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, -0x38(%rbp)
movl 0x4(%rsi), %r8d
movl %r8d, %ebx
negl %ebx
movl %r8d, %r15d
cmovnsl %ebx, %r15d
jae 0x36ed
movq %rsi, %r12
movq %rdx, %r9
shrq $0x6, %r9
xorl %r13d, %r13d
movq %rdx, -0x50(%rbp)
movl %edx, %ecx
andl $0x3f, %ecx
setne %r13b
addq %r9, %r13
addq %r15, %r13
movq -0x38(%rbp), %rax
movslq (%rax), %rax
cmpq %rax, %r13
jle 0x36f1
movl %ecx, -0x2c(%rbp)
movl %r8d, -0x30(%rbp)
movq %r9, -0x40(%rbp)
movq %r12, -0x48(%rbp)
cmpq $0x1, %r13
movq -0x38(%rbp), %r12
movq %r13, %r14
adcq $0x0, %r14
movq 0x8(%r12), %rdi
leaq (,%r14,8), %rdx
xorl %esi, %esi
callq *0xc9f2(%rip)           # 0x100a8
movq %rax, %rdx
movq %rax, 0x8(%r12)
movl %r14d, (%r12)
movl 0x4(%r12), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
cmpq %rcx, %r14
jae 0x36dc
movl $0x0, 0x4(%r12)
movq -0x48(%rbp), %r12
movq -0x40(%rbp), %r9
movl -0x30(%rbp), %r8d
movl -0x2c(%rbp), %ecx
jmp 0x36f9
xorl %eax, %eax
jmp 0x3770
movq -0x38(%rbp), %rax
movq 0x8(%rax), %rdx
leaq (%rdx,%r9,8), %rdi
movq 0x8(%r12), %rsi
testl %ecx, %ecx
je 0x3729
movq %rdx, %r14
movq %r15, %rdx
movq %r9, %rbx
callq 0x1a5d
movq %r14, %rdx
movq %rbx, %r9
movq %rax, -0x8(%r14,%r13,8)
cmpq $0x1, %rax
sbbq $0x0, %r13
jmp 0x3746
cmpl %ebx, %r8d
cmovgl %r8d, %ebx
incq %rbx
movq -0x10(%rsi,%rbx,8), %rax
movq %rax, -0x10(%rdi,%rbx,8)
decq %rbx
cmpq $0x1, %rbx
ja 0x3733
movq -0x50(%rbp), %rax
cmpq $0x40, %rax
jb 0x3761
shlq $0x3, %r9
movq %rdx, %rdi
xorl %esi, %esi
movq %r9, %rdx
callq 0x10a0
movl %r13d, %eax
negl %eax
cmpl $0x0, 0x4(%r12)
cmovnsl %r13d, %eax
movq -0x38(%rbp), %rcx
movl %eax, 0x4(%rcx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_addmul_ui
void
mpz_addmul_ui (mpz_t r, const mpz_t u, unsigned long int v)
{
  mpz_t t;
  mpz_init (t);
  mpz_mul_ui (t, u, v);
  mpz_add (r, r, t);
  mpz_clear (t);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq -0x30(%rbp), %r12
movq $0x1, (%r12)
movl $0x8, %edi
callq *0xc8eb(%rip)           # 0x100a0
movq %rax, 0x8(%r12)
movq %r12, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x3441
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x30c3
movq 0xc8d3(%rip), %rax      # 0x100b0
movq 0x8(%r12), %rdi
xorl %esi, %esi
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmpq *%rax
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_addmul
void
mpz_addmul (mpz_t r, const mpz_t u, const mpz_t v)
{
  mpz_t t;
  mpz_init (t);
  mpz_mul (t, u, v);
  mpz_add (r, r, t);
  mpz_clear (t);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq -0x30(%rbp), %r12
movq $0x1, (%r12)
movl $0x8, %edi
callq *0xc813(%rip)           # 0x100a0
movq %rax, 0x8(%r12)
movq %r12, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x3512
movq %r15, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x30c3
movq 0xc7fb(%rip), %rax      # 0x100b0
movq 0x8(%r12), %rdi
xorl %esi, %esi
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmpq *%rax
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_div_q_2exp
static void
mpz_div_q_2exp (mpz_t q, const mpz_t u, mp_bitcnt_t bit_index,
		enum mpz_div_round_mode mode)
{
  mp_size_t un, qn;
  mp_size_t limb_cnt;
  mp_ptr qp;
  int adjust;

  un = u->_mp_size;
  if (un == 0)
    {
      q->_mp_size = 0;
      return;
    }
  limb_cnt = bit_index / GMP_LIMB_BITS;
  qn = GMP_ABS (un) - limb_cnt;
  bit_index %= GMP_LIMB_BITS;

  if (mode == ((un > 0) ? GMP_DIV_CEIL : GMP_DIV_FLOOR)) /* un != 0 here. */
    /* Note: Below, the final indexing at limb_cnt is valid because at
       that point we have qn > 0. */
    adjust = (qn <= 0
	      || !mpn_zero_p (u->_mp_d, limb_cnt)
	      || (u->_mp_d[limb_cnt]
		  & (((mp_limb_t) 1 << bit_index) - 1)));
  else
    adjust = 0;

  if (qn <= 0)
    qn = 0;

  else
    {
      qp = MPZ_REALLOC (q, qn);

      if (bit_index != 0)
	{
	  mpn_rshift (qp, u->_mp_d + limb_cnt, qn, bit_index);
	  qn -= qp[qn - 1] == 0;
	}
      else
	{
	  mpn_copyi (qp, u->_mp_d + limb_cnt, qn);
	}
    }

  q->_mp_size = qn;

  if (adjust)
    mpz_add_ui (q, q, 1);
  if (un < 0)
    mpz_neg (q, q);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movl 0x4(%rsi), %r13d
testl %r13d, %r13d
je 0x3ed8
movq %rdx, %r15
shrq $0x6, %r15
movl %r13d, %r14d
negl %r14d
cmovsl %r13d, %r14d
subq %r15, %r14
movl %edx, %r8d
andl $0x3f, %r8d
xorl %eax, %eax
testl %r13d, %r13d
setg %al
movb $0x1, %dil
cmpl %ecx, %eax
jne 0x3ef6
testq %r14, %r14
jle 0x3ee4
movq 0x8(%rsi), %rax
cmpq $0x40, %rdx
jb 0x3ebe
leaq 0x1(%r15), %rcx
cmpq $0x0, -0x10(%rax,%rcx,8)
jne 0x3ef4
decq %rcx
cmpq $0x1, %rcx
jg 0x3ead
movq $-0x1, %rdx
movl %r8d, %ecx
shlq %cl, %rdx
notq %rdx
testq %rdx, (%rax,%r15,8)
sete %dil
jmp 0x3ef6
movl $0x0, 0x4(%rbx)
jmp 0x3fc8
leaq 0x4(%rbx), %r15
movl $0x0, 0x4(%rbx)
jmp 0x3fb0
xorl %edi, %edi
testq %r14, %r14
jle 0x3f89
movl %edi, -0x2c(%rbp)
movslq (%rbx), %rax
movq 0x8(%rbx), %r12
cmpq %rax, %r14
jle 0x3f51
movq %r8, -0x38(%rbp)
movq %rsi, -0x40(%rbp)
leaq (,%r14,8), %rdx
movq %r12, %rdi
xorl %esi, %esi
callq *0xc17f(%rip)           # 0x100a8
movq %rax, %r12
movq %rax, 0x8(%rbx)
movl %r14d, (%rbx)
movl 0x4(%rbx), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
cmpq %rcx, %r14
jae 0x3f49
movl $0x0, 0x4(%rbx)
movq -0x40(%rbp), %rsi
movq -0x38(%rbp), %r8
shlq $0x3, %r15
addq 0x8(%rsi), %r15
testq %r8, %r8
je 0x3f8e
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
movl %r8d, %ecx
callq 0x1b37
cmpq $0x1, -0x8(%r12,%r14,8)
sbbl $0x0, %r14d
leaq 0x4(%rbx), %r15
movl %r14d, 0x4(%rbx)
cmpb $0x0, -0x2c(%rbp)
je 0x3fb0
jmp 0x3fc0
xorl %r14d, %r14d
jmp 0x3fa3
xorl %eax, %eax
movq (%r15,%rax,8), %rcx
movq %rcx, (%r12,%rax,8)
incq %rax
cmpq %rax, %r14
jne 0x3f90
movl -0x2c(%rbp), %edi
leaq 0x4(%rbx), %r15
movl %r14d, 0x4(%rbx)
testb %dil, %dil
jne 0x3fc0
movl $0x1, %edx
movq %rbx, %rdi
movq %rbx, %rsi
callq 0x2e5f
testl %r13d, %r13d
jns 0x3fc8
negl (%r15)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_congruent_p
int
mpz_congruent_p (const mpz_t a, const mpz_t b, const mpz_t m)
{
  mpz_t t;
  int res;

  /* a == b (mod 0) iff a == b */
  if (mpz_sgn (m) == 0)
    return (mpz_cmp (a, b) == 0);

  mpz_init (t);
  mpz_sub (t, a, b);
  res = mpz_divisible_p (t, m);
  mpz_clear (t);

  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movl 0x4(%rdx), %eax
movl %eax, %ecx
sarl $0x1f, %ecx
xorl %edx, %edx
testl %eax, %eax
setne %dl
orl %ecx, %edx
je 0x4379
leaq -0x30(%rbp), %r12
movq $0x1, (%r12)
movl $0x8, %edi
callq *0xbd63(%rip)           # 0x100a0
movq %rax, 0x8(%r12)
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x33cf
xorl %edi, %edi
xorl %esi, %esi
movq %r12, %rdx
movq %rbx, %rcx
movl $0x2, %r8d
callq 0x3943
movl %eax, %ebx
xorl $0x1, %ebx
movq 0x8(%r12), %rdi
xorl %esi, %esi
callq *0xbd39(%rip)           # 0x100b0
jmp 0x438b
movq %r15, %rdi
movq %r14, %rsi
callq 0x2cfb
xorl %ebx, %ebx
testl %eax, %eax
sete %bl
movl %ebx, %eax
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_gcd_ui
unsigned long
mpz_gcd_ui (mpz_t g, const mpz_t u, unsigned long v)
{
  mp_size_t un;

  if (v == 0)
    {
      if (g)
	mpz_abs (g, u);
    }
  else
    {
      un = GMP_ABS (u->_mp_size);
      if (un != 0)
	v = mpn_gcd_11 (mpn_div_qr_1 (NULL, u->_mp_d, un, v), v);

      if (g)
	mpz_set_ui (g, v);
    }

  return v;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
testq %rdx, %rdx
je 0x474a
movq %rdx, %r14
movl 0x4(%rsi), %eax
testl %eax, %eax
je 0x4732
movl %eax, %edx
negl %edx
cmovsl %eax, %edx
movq 0x8(%rsi), %rsi
xorl %edi, %edi
movq %r14, %rcx
callq 0x485c
movq %rax, %rdi
movq %r14, %rsi
callq 0x4776
movq %rax, %r14
testq %rbx, %rbx
je 0x476e
testq %r14, %r14
je 0x4769
movq 0x8(%rbx), %rax
movq %r14, (%rax)
movl $0x1, %eax
jmp 0x476b
testq %rbx, %rbx
je 0x4764
movq %rbx, %rdi
callq 0x24a2
movl 0x4(%rbx), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movl %ecx, 0x4(%rbx)
xorl %r14d, %r14d
jmp 0x476e
xorl %eax, %eax
movl %eax, 0x4(%rbx)
movq %r14, %rax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_gcd_11
static mp_limb_t
mpn_gcd_11 (mp_limb_t u, mp_limb_t v)
{
  unsigned shift;

  assert ( (u | v) > 0);

  if (u == 0)
    return v;
  else if (v == 0)
    return u;

  gmp_ctz (shift, u | v);

  u >>= shift;
  v >>= shift;

  if ( (u & 1) == 0)
    MP_LIMB_T_SWAP (u, v);

  while ( (v & 1) == 0)
    v >>= 1;

  while (u != v)
    {
      if (u > v)
	{
	  u -= v;
	  do
	    u >>= 1;
	  while ( (u & 1) == 0);
	}
      else
	{
	  v -= u;
	  do
	    v >>= 1;
	  while ( (v & 1) == 0);
	}
    }
  return u << shift;
}

// Assembly:
movq %rsi, %rax
orq %rdi, %rax
je 0x4839
testq %rdi, %rdi
je 0x4835
testq %rsi, %rsi
je 0x47bb
movq %rax, %rdx
negq %rdx
andq %rax, %rdx
xorl %eax, %eax
movq %rdx, %rcx
shrq $0x38, %rcx
jne 0x47c0
xorl %eax, %eax
movq %rdx, %rcx
shlq $0x8, %rcx
addl $0x8, %eax
shrq $0x30, %rdx
movq %rcx, %rdx
je 0x47a9
jmp 0x47ca
movq %rdi, %rsi
jmp 0x4835
movq %rdx, %rcx
jmp 0x47ca
addq %rcx, %rcx
incl %eax
testq %rcx, %rcx
jns 0x47c5
movl $0x3f, %ecx
subl %eax, %ecx
movq %rdi, %rdx
shrq %cl, %rdx
shrq %cl, %rsi
btq %rcx, %rdi
movq %rsi, %rdi
cmovaeq %rdx, %rdi
movq %rdi, %rax
shrq %rdi
testb $0x1, %al
je 0x47ea
testb $0x1, %dl
cmovneq %rdx, %rsi
cmpq %rax, %rsi
je 0x482f
movq %rsi, %rdx
subq %rax, %rdx
jbe 0x4819
movq %rdx, %rsi
shrq %rdx
testb $0x2, %sil
je 0x4808
movq %rdx, %rsi
jmp 0x482a
subq %rsi, %rax
movq %rax, %rdx
shrq %rax
testb $0x2, %dl
je 0x481c
movq %rsi, %rdx
cmpq %rax, %rdx
jne 0x4800
shlq %cl, %rax
movq %rax, %rsi
movq %rsi, %rax
retq
pushq %rbp
movq %rsp, %rbp
leaq 0x6acc(%rip), %rdi      # 0xb310
leaq 0x5819(%rip), %rsi      # 0xa064
leaq 0x6aca(%rip), %rcx      # 0xb31c
movl $0xa5e, %edx            # imm = 0xA5E
callq 0x1090
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpn_div_qr_1
static mp_limb_t
mpn_div_qr_1 (mp_ptr qp, mp_srcptr np, mp_size_t nn, mp_limb_t d)
{
  assert (d > 0);

  /* Special case for powers of two. */
  if ((d & (d-1)) == 0)
    {
      mp_limb_t r = np[0] & (d-1);
      if (qp)
	{
	  if (d <= 1)
	    mpn_copyi (qp, np, nn);
	  else
	    {
	      unsigned shift;
	      gmp_ctz (shift, d);
	      mpn_rshift (qp, np, nn, shift);
	    }
	}
      return r;
    }
  else
    {
      struct gmp_div_inverse inv;
      mpn_div_qr_1_invert (&inv, d);
      return mpn_div_qr_1_preinv (qp, np, nn, &inv);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
testq %rcx, %rcx
je 0x493d
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %r12
leaq -0x1(%rcx), %rbx
testq %rbx, %rcx
jne 0x48b5
andq (%r15), %rbx
testq %r12, %r12
je 0x492d
cmpq $0x1, %rcx
jne 0x48da
testq %r14, %r14
jle 0x492b
xorl %eax, %eax
movq (%r15,%rax,8), %rcx
movq %rcx, (%r12,%rax,8)
incq %rax
cmpq %rax, %r14
jne 0x48a3
jmp 0x492d
leaq -0x40(%rbp), %rbx
movq %rbx, %rdi
movq %rcx, %rsi
callq 0x794f
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x79cc
movq %rax, %rbx
jmp 0x492d
movq %rcx, %rdx
negq %rdx
andq %rcx, %rdx
xorl %eax, %eax
movq %rdx, %rcx
shrq $0x38, %rcx
jne 0x4905
xorl %eax, %eax
movq %rdx, %rcx
shlq $0x8, %rcx
addl $0x8, %eax
shrq $0x30, %rdx
movq %rcx, %rdx
je 0x48f3
jmp 0x490f
movq %rdx, %rcx
jmp 0x490f
addq %rcx, %rcx
incl %eax
testq %rcx, %rcx
jns 0x490a
movl $0x3f, %ecx
subl %eax, %ecx
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x1b37
jmp 0x492d
xorl %ebx, %ebx
movq %rbx, %rax
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x6a03(%rip), %rdi      # 0xb347
leaq 0x5719(%rip), %rsi      # 0xa064
leaq 0x69fb(%rip), %rcx      # 0xb34d
movl $0x37f, %edx            # imm = 0x37F
callq 0x1090
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_make_odd
static mp_bitcnt_t
mpz_make_odd (mpz_t r)
{
  mp_bitcnt_t shift;

  assert (r->_mp_size > 0);
  /* Count trailing zeros, equivalent to mpn_scan1, because we know that there is a 1 */
  shift = mpn_common_scan (r->_mp_d[0], 0, r->_mp_d, 0, 0);
  mpz_tdiv_q_2exp (r, r, shift);

  return shift;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
cmpl $0x0, 0x4(%rdi)
jle 0x4c00
movq %rdi, %rbx
movq 0x8(%rdi), %rdx
movq (%rdx), %rdi
xorl %esi, %esi
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x1c38
movq %rax, %r14
movq %rbx, %rdi
movq %rbx, %rsi
movq %rax, %rdx
movl $0x2, %ecx
callq 0x3e53
movq %r14, %rax
popq %rbx
popq %r14
popq %rbp
retq
leaq 0x6786(%rip), %rdi      # 0xb38d
leaq 0x5456(%rip), %rsi      # 0xa064
leaq 0x6788(%rip), %rcx      # 0xb39d
movl $0xaa0, %edx            # imm = 0xAA0
callq 0x1090
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_setbit
void
mpz_setbit (mpz_t d, mp_bitcnt_t bit_index)
{
  if (!mpz_tstbit (d, bit_index))
    {
      if (d->_mp_size >= 0)
	mpz_abs_add_bit (d, bit_index);
      else
	mpz_abs_sub_bit (d, bit_index);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
callq 0x6cb1
testl %eax, %eax
je 0x5320
popq %rbx
popq %r14
popq %rbp
retq
cmpl $0x0, 0x4(%r14)
js 0x5336
movq %r14, %rdi
movq %rbx, %rsi
popq %rbx
popq %r14
popq %rbp
jmp 0x6d13
movq %r14, %rdi
movq %rbx, %rsi
popq %rbx
popq %r14
popq %rbp
jmp 0x6e36
// File: /workspace/github_cpp_makefile_star2_O3/marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_lcm
void
mpz_lcm (mpz_t r, const mpz_t u, const mpz_t v)
{
  mpz_t g;

  if (u->_mp_size == 0 || v->_mp_size == 0)
    {
      r->_mp_size = 0;
      return;
    }

  mpz_init (g);

  mpz_gcd (g, u, v);
  mpz_divexact (g, u, g);
  mpz_mul (r, g, v);

  mpz_clear (g);
  mpz_abs (r, r);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
cmpl $0x0, 0x4(%rsi)
je 0x53cb
movq %rdx, %r14
cmpl $0x0, 0x4(%rdx)
je 0x53cb
movq %rsi, %r15
leaq -0x30(%rbp), %r12
movq $0x1, (%r12)
movl $0x8, %edi
callq *0xad20(%rip)           # 0x100a0
movq %rax, 0x8(%r12)
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x495c
movq %r12, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x42a1
movq %rbx, %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x3512
movq 0x8(%r12), %rdi
xorl %esi, %esi
callq *0xacf4(%rip)           # 0x100b0
movl 0x4(%rbx), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movl %ecx, 0x4(%rbx)
jmp 0x53d2
movl $0x0, 0x4(%rbx)
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq