// File: /workspace/github_cpp_makefile_star2_O3/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movl 0x4(%rsi), %ecx
movl %ecx, %eax
negl %eax
cmovsl %ecx, %eax
movl 0x4(%rdx), %ecx
movl %ecx, %r8d
negl %r8d
cmovsl %ecx, %r8d
cmpl %r8d, %eax
jae 0x73ef
movq %rax, %r15
movq %rsi, %r9
jmp 0x73fb
movq %r8, %r15
movq %rax, %r8
movq %rdx, %r9
movq %rsi, %rdx
testq %r15, %r15
je 0x7484
movl 0x4(%rdx), %eax
shrl $0x1f, %eax
movl %eax, -0x48(%rbp)
movl %eax, %ebx
movl 0x4(%r9), %eax
shrl $0x1f, %eax
movl %eax, -0x44(%rbp)
movl %eax, %r13d
movq %r13, %r14
xorq %rbx, %r14
movq %r8, -0x58(%rbp)
leaq (%r14,%r8), %r12
movslq (%rdi), %rcx
movq 0x8(%rdi), %rax
cmpq %rcx, %r12
movq %rdi, -0x38(%rbp)
jbe 0x749a
movq %r9, -0x50(%rbp)
movq %rdx, -0x30(%rbp)
leaq (,%r12,8), %rdx
movq %rax, %rdi
xorl %esi, %esi
callq *0x8c53(%rip)           # 0x100a8
movq -0x38(%rbp), %rsi
movq %rax, 0x8(%rsi)
movl %r12d, (%rsi)
movl 0x4(%rsi), %ecx
movl %ecx, %edx
negl %edx
cmovsl %ecx, %edx
cmpq %rdx, %r12
movq %rax, -0x40(%rbp)
jae 0x747a
movl $0x0, 0x4(%rsi)
movq -0x30(%rbp), %rdx
movq -0x50(%rbp), %r9
jmp 0x749e
movq %rdx, %rsi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x24a2
movq %rax, -0x40(%rbp)
movq %rbx, %rcx
negq %rcx
movq %r13, %rsi
negq %rsi
movq %r14, %rdi
negq %rdi
movq 0x8(%rdx), %r12
movq 0x8(%r9), %rax
movq %rax, -0x30(%rbp)
xorl %r9d, %r9d
movq -0x40(%rbp), %rax
movq %r13, %r10
movq %r12, %r8
movq (%r12,%r9,8), %r12
xorq %rcx, %r12
addq %rbx, %r12
setb %dl
xorl %ebx, %ebx
movq -0x30(%rbp), %r11
movq (%r11,%r9,8), %r11
xorq %rsi, %r11
xorl %r13d, %r13d
addq %r10, %r11
setb %r13b
xorq %rdi, %r12
xorq %r11, %r12
addq %r14, %r12
movb %dl, %bl
setb %dl
movq %r12, (%rax,%r9,8)
movq %r8, %r12
xorl %r14d, %r14d
movb %dl, %r14b
incq %r9
cmpq %r9, %r15
jne 0x74c3
cmpq %r10, %r11
jb 0x75b1
movq -0x58(%rbp), %r8
cmpl %r8d, %r15d
movq -0x40(%rbp), %r9
jae 0x7556
movq (%r12,%r15,8), %rdx
xorq %rcx, %rdx
xorl %edi, %edi
addq %rbx, %rdx
setb %dil
xorq %rcx, %rdx
xorl %esi, %esi
addq %r14, %rdx
setb %sil
movq %rdx, (%r9,%r15,8)
incq %r15
movq %rsi, %r14
movq %rdi, %rbx
cmpq %r8, %r15
jb 0x7526
jmp 0x7559
movq %r14, %rsi
testq %rsi, %rsi
je 0x756f
movq $0x1, (%r9,%r8,8)
incq %r8
movq -0x38(%rbp), %rcx
jmp 0x7590
testq %r8, %r8
movq -0x38(%rbp), %rcx
je 0x758d
cmpq $0x0, -0x8(%r9,%r8,8)
jne 0x7590
leaq -0x1(%r8), %rax
cmpq $0x1, %r8
movq %rax, %r8
jg 0x7578
xorl %r8d, %r8d
movl %r8d, %eax
negl %eax
movl -0x44(%rbp), %edx
cmpl %edx, -0x48(%rbp)
cmovel %r8d, %eax
movl %eax, 0x4(%rcx)
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x30de(%rip), %rdi      # 0xa696
leaq 0x2aa5(%rip), %rsi      # 0xa064
leaq 0x316a(%rip), %rcx      # 0xa730
movl $0xed7, %edx            # imm = 0xED7
callq 0x1090