// File: marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_xor
void
mpz_xor (mpz_t r, const mpz_t u, const mpz_t v)
{
  mp_size_t un, vn, 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)
    {
      mpz_set (r, u);
      return;
    }

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

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

  rp = MPZ_REALLOC (r, un + 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 < un; i++)
    {
      ul = (up[i] ^ ux) + uc;
      uc = ul < uc;

      rl = (ul ^ ux) + rc;
      rc = rl < rc;
      rp[i] = rl;
    }
  if (rc)
    rp[un++] = rc;
  else
    un = mpn_normalized_size (rp, un);

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

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
cmpl $0x0, 0x4(%rax)
jl 0x99c0
movq -0x10(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0xa4(%rbp)
jmp 0x99cf
movq -0x10(%rbp), %rcx
xorl %eax, %eax
subl 0x4(%rcx), %eax
movl %eax, -0xa4(%rbp)
movl -0xa4(%rbp), %eax
cltq
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x0, 0x4(%rax)
jl 0x99f4
movq -0x18(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0xa8(%rbp)
jmp 0x9a03
movq -0x18(%rbp), %rcx
xorl %eax, %eax
subl 0x4(%rcx), %eax
movl %eax, -0xa8(%rbp)
movl -0xa8(%rbp), %eax
cltq
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x28(%rbp), %rax
jge 0x9a5b
jmp 0x9a1b
movq -0x10(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x18(%rbp)
jmp 0x9a3b
movq -0x20(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0xa0(%rbp), %rax
movq %rax, -0x28(%rbp)
jmp 0x9a5b
cmpq $0x0, -0x28(%rbp)
jne 0x9a74
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3390
jmp 0x9d08
movq -0x10(%rbp), %rax
cmpl $0x0, 0x4(%rax)
setl %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x68(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x0, 0x4(%rax)
setl %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x70(%rbp)
movq -0x68(%rbp), %rax
xorq -0x70(%rbp), %rax
movq %rax, -0x78(%rbp)
xorl %eax, %eax
subq -0x68(%rbp), %rax
movq %rax, -0x50(%rbp)
xorl %eax, %eax
subq -0x70(%rbp), %rax
movq %rax, -0x58(%rbp)
xorl %eax, %eax
subq -0x78(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x20(%rbp), %rax
addq -0x78(%rbp), %rax
movq -0x8(%rbp), %rcx
movslq (%rcx), %rcx
cmpq %rcx, %rax
jbe 0x9af8
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
addq -0x78(%rbp), %rsi
callq 0x3440
movq %rax, -0xb0(%rbp)
jmp 0x9b07
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq -0x30(%rbp), %rcx
movq (%rax,%rcx,8), %rax
xorq -0x50(%rbp), %rax
addq -0x68(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
cmpq -0x68(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x68(%rbp)
movq -0x40(%rbp), %rax
movq -0x30(%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 -0x80(%rbp), %rax
xorq -0x88(%rbp), %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 -0x90(%rbp), %rdx
movq -0x48(%rbp), %rax
movq -0x30(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x30(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
cmpq -0x28(%rbp), %rax
jl 0x9b32
cmpq $0x0, -0x70(%rbp)
jne 0x9bf9
jmp 0x9c18
leaq 0x4b17(%rip), %rdi      # 0xe717
leaq 0x44cd(%rip), %rsi      # 0xe0d4
movl $0xed7, %edx            # imm = 0xED7
leaq 0x4b9e(%rip), %rcx      # 0xe7b1
callq 0x1070
jmp 0x9c1a
movq -0x30(%rbp), %rax
cmpq -0x20(%rbp), %rax
jge 0x9ca2
movq -0x38(%rbp), %rax
movq -0x30(%rbp), %rcx
movq (%rax,%rcx,8), %rax
xorq -0x50(%rbp), %rax
addq -0x68(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
cmpq -0x68(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x68(%rbp)
movq -0x80(%rbp), %rax
xorq -0x50(%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 -0x90(%rbp), %rdx
movq -0x48(%rbp), %rax
movq -0x30(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x30(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
jmp 0x9c1a
cmpq $0x0, -0x78(%rbp)
je 0x9cc6
movq -0x78(%rbp), %rdx
movq -0x48(%rbp), %rax
movq -0x20(%rbp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, -0x20(%rbp)
movq %rdx, (%rax,%rcx,8)
jmp 0x9cd7
movq -0x48(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x14d0
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x60(%rbp)
je 0x9ced
xorl %eax, %eax
subq -0x20(%rbp), %rax
movq %rax, -0xb8(%rbp)
jmp 0x9cf8
movq -0x20(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movl %eax, %ecx
movq -0x8(%rbp), %rax
movl %ecx, 0x4(%rax)
addq $0xc0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)