// File: marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_and
void
mpz_and (mpz_t r, const mpz_t u, const mpz_t v)
{
  mp_size_t un, vn, rn, i;
  mp_ptr up, vp, rp;

  mp_limb_t ux, vx, rx;
  mp_limb_t uc, vc, rc;
  mp_limb_t ul, vl, rl;

  un = GMP_ABS (u->_mp_size);
  vn = GMP_ABS (v->_mp_size);
  if (un < vn)
    {
      MPZ_SRCPTR_SWAP (u, v);
      MP_SIZE_T_SWAP (un, vn);
    }
  if (vn == 0)
    {
      r->_mp_size = 0;
      return;
    }

  uc = u->_mp_size < 0;
  vc = v->_mp_size < 0;
  rc = uc & vc;

  ux = -uc;
  vx = -vc;
  rx = -rc;

  /* If the smaller input is positive, higher limbs don't matter. */
  rn = vx ? un : vn;

  rp = MPZ_REALLOC (r, rn + rc);

  up = u->_mp_d;
  vp = v->_mp_d;

  i = 0;
  do
    {
      ul = (up[i] ^ ux) + uc;
      uc = ul < uc;

      vl = (vp[i] ^ vx) + vc;
      vc = vl < vc;

      rl = ( (ul & vl) ^ rx) + rc;
      rc = rl < rc;
      rp[i] = rl;
    }
  while (++i < vn);
  assert (vc == 0);

  for (; i < rn; i++)
    {
      ul = (up[i] ^ ux) + uc;
      uc = ul < uc;

      rl = ( (ul & vx) ^ rx) + rc;
      rc = rl < rc;
      rp[i] = rl;
    }
  if (rc)
    rp[rn++] = rc;
  else
    rn = mpn_normalized_size (rp, rn);

  r->_mp_size = rx ? -rn : rn;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xd0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
cmpl $0x0, 0x4(%rax)
jl 0x9220
movq -0x10(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0xac(%rbp)
jmp 0x922f
movq -0x10(%rbp), %rcx
xorl %eax, %eax
subl 0x4(%rcx), %eax
movl %eax, -0xac(%rbp)
movl -0xac(%rbp), %eax
cltq
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x0, 0x4(%rax)
jl 0x9254
movq -0x18(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0xb0(%rbp)
jmp 0x9263
movq -0x18(%rbp), %rcx
xorl %eax, %eax
subl 0x4(%rcx), %eax
movl %eax, -0xb0(%rbp)
movl -0xb0(%rbp), %eax
cltq
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x28(%rbp), %rax
jge 0x92bb
jmp 0x927b
movq -0x10(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0xa0(%rbp), %rax
movq %rax, -0x18(%rbp)
jmp 0x929b
movq -0x20(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0xa8(%rbp), %rax
movq %rax, -0x28(%rbp)
jmp 0x92bb
cmpq $0x0, -0x28(%rbp)
jne 0x92d2
movq -0x8(%rbp), %rax
movl $0x0, 0x4(%rax)
jmp 0x95aa
movq -0x10(%rbp), %rax
cmpl $0x0, 0x4(%rax)
setl %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x70(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x0, 0x4(%rax)
setl %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x78(%rbp)
movq -0x70(%rbp), %rax
andq -0x78(%rbp), %rax
movq %rax, -0x80(%rbp)
xorl %eax, %eax
subq -0x70(%rbp), %rax
movq %rax, -0x58(%rbp)
xorl %eax, %eax
subq -0x78(%rbp), %rax
movq %rax, -0x60(%rbp)
xorl %eax, %eax
subq -0x80(%rbp), %rax
movq %rax, -0x68(%rbp)
cmpq $0x0, -0x60(%rbp)
je 0x933c
movq -0x20(%rbp), %rax
movq %rax, -0xb8(%rbp)
jmp 0x9347
movq -0x28(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
addq -0x80(%rbp), %rax
movq -0x8(%rbp), %rcx
movslq (%rcx), %rcx
cmpq %rcx, %rax
jbe 0x9380
movq -0x8(%rbp), %rdi
movq -0x30(%rbp), %rsi
addq -0x80(%rbp), %rsi
callq 0x3440
movq %rax, -0xc0(%rbp)
jmp 0x938f
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x48(%rbp)
movq $0x0, -0x38(%rbp)
movq -0x40(%rbp), %rax
movq -0x38(%rbp), %rcx
movq (%rax,%rcx,8), %rax
xorq -0x58(%rbp), %rax
addq -0x70(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
cmpq -0x70(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x70(%rbp)
movq -0x48(%rbp), %rax
movq -0x38(%rbp), %rcx
movq (%rax,%rcx,8), %rax
xorq -0x60(%rbp), %rax
addq -0x78(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
cmpq -0x78(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x78(%rbp)
movq -0x88(%rbp), %rax
andq -0x90(%rbp), %rax
xorq -0x68(%rbp), %rax
addq -0x80(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
cmpq -0x80(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x80(%rbp)
movq -0x98(%rbp), %rdx
movq -0x50(%rbp), %rax
movq -0x38(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x38(%rbp)
cmpq -0x28(%rbp), %rax
jl 0x93ba
cmpq $0x0, -0x78(%rbp)
jne 0x948a
jmp 0x94a9
leaq 0x5286(%rip), %rdi      # 0xe717
leaq 0x4c3c(%rip), %rsi      # 0xe0d4
movl $0xe49, %edx            # imm = 0xE49
leaq 0x527b(%rip), %rcx      # 0xe71f
callq 0x1070
jmp 0x94ab
movq -0x38(%rbp), %rax
cmpq -0x30(%rbp), %rax
jge 0x9544
movq -0x40(%rbp), %rax
movq -0x38(%rbp), %rcx
movq (%rax,%rcx,8), %rax
xorq -0x58(%rbp), %rax
addq -0x70(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
cmpq -0x70(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x70(%rbp)
movq -0x88(%rbp), %rax
andq -0x60(%rbp), %rax
xorq -0x68(%rbp), %rax
addq -0x80(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
cmpq -0x80(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x80(%rbp)
movq -0x98(%rbp), %rdx
movq -0x50(%rbp), %rax
movq -0x38(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x38(%rbp)
jmp 0x94ab
cmpq $0x0, -0x80(%rbp)
je 0x9568
movq -0x80(%rbp), %rdx
movq -0x50(%rbp), %rax
movq -0x30(%rbp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, -0x30(%rbp)
movq %rdx, (%rax,%rcx,8)
jmp 0x9579
movq -0x50(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x14d0
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x68(%rbp)
je 0x958f
xorl %eax, %eax
subq -0x30(%rbp), %rax
movq %rax, -0xc8(%rbp)
jmp 0x959a
movq -0x30(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
movl %eax, %ecx
movq -0x8(%rbp), %rax
movl %ecx, 0x4(%rax)
addq $0xd0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)