// File: marxn[P]pupp/3rdparty/gmp/./mini-gmp/mini-gmp.c
// Function: mpz_ior
void
mpz_ior (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)
    {
      mpz_set (r, u);
      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 negative, by sign extension higher limbs
     don't matter. */
  rn = vx ? vn : un;

  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 0x95f0
movq -0x10(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0xac(%rbp)
jmp 0x95ff
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 0x9624
movq -0x18(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0xb0(%rbp)
jmp 0x9633
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 0x968b
jmp 0x964b
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 0x966b
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 0x968b
cmpq $0x0, -0x28(%rbp)
jne 0x96a4
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3390
jmp 0x997c
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
orq -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 0x970e
movq -0x28(%rbp), %rax
movq %rax, -0xb8(%rbp)
jmp 0x9719
movq -0x20(%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 0x9752
movq -0x8(%rbp), %rdi
movq -0x30(%rbp), %rsi
addq -0x80(%rbp), %rsi
callq 0x3440
movq %rax, -0xc0(%rbp)
jmp 0x9761
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
orq -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 0x978c
cmpq $0x0, -0x78(%rbp)
jne 0x985c
jmp 0x987b
leaq 0x4eb4(%rip), %rdi      # 0xe717
leaq 0x486a(%rip), %rsi      # 0xe0d4
movl $0xe92, %edx            # imm = 0xE92
leaq 0x4ef2(%rip), %rcx      # 0xe768
callq 0x1070
jmp 0x987d
movq -0x38(%rbp), %rax
cmpq -0x30(%rbp), %rax
jge 0x9916
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
orq -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 0x987d
cmpq $0x0, -0x80(%rbp)
je 0x993a
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 0x994b
movq -0x50(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x14d0
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x68(%rbp)
je 0x9961
xorl %eax, %eax
subq -0x30(%rbp), %rax
movq %rax, -0xc8(%rbp)
jmp 0x996c
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)