// File: /workspace/github_cpp_makefile_star2_O2/ef-gy[P]libefgy/include/ef.gy/big-integers.h
// Function: efgy::math::numeric::bigIntegers<long long, unsigned long long, unsigned int, 32u>::doDivide(efgy::math::numeric::bigIntegers<long long, unsigned long long, unsigned int, 32u> const&, efgy::math::numeric::bigIntegers<long long, unsigned long long, unsigned int, 32u> const&, bool)
void doDivide(const bigIntegers &a, const bigIntegers &b,
                bool allocate = true) {
    if (a == zero()) {
      cell.resize(0);
      return;
    }

    if (b == zero()) {
      /* ebil */
      cell.resize(0);
      return;
    }

    if (b == one()) {
      *this = a;
      return;
    }

    if (b > a) {
      cell.resize(0);
      return;
    }

    cell.resize(0);

    bigIntegers r = bigIntegers();

    for (cellType i = a.cell.size(); i > 0; i--) {
      cellType ir = i - 1;
      cellType c = a.cell[ir];

      for (cellType j = cellBitCount; j > 0; j--) {
        cellType jr = j - 1;
        r <<= 1;

        if (c & (1 << jr)) {
          if (r.cell.size() == 0) {
            r.cell.resize(1);
            r.cell[0] = cellType(1);
          } else {
            r.cell[0] |= 1;
          }
        }

        if (r >= b) {
          r -= b;

          *this += (bigIntegers(1) << cellType(ir * cellBitCount + jr));
        }
      }
    }
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rdi, %r15
movq 0x10(%rsi), %rax
cmpq 0x8(%rsi), %rax
je 0x16521
movq %rdx, %r12
movq 0x10(%rdx), %rax
cmpq 0x8(%rdx), %rax
je 0x16521
movq %rsi, %r14
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x15d04
testb %al, %al
je 0x16540
movq %r15, %rdi
movq %r14, %rsi
callq 0x154e0
jmp 0x1669b
addq $0x8, %r15
movq %r15, %rdi
xorl %esi, %esi
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x150d6
movq %r12, %rbx
movq %r12, %rdi
movq %r14, %rsi
callq 0x15c6c
movl %eax, %ebp
leaq 0x8(%r15), %rdi
xorl %esi, %esi
callq 0x150d6
testb %bpl, %bpl
jne 0x1669b
movq %r15, 0x40(%rsp)
leaq 0x8(%rsp), %rdi
callq 0x157f8
movq 0x10(%r14), %rdx
subq 0x8(%r14), %rdx
shrq $0x2, %rdx
movl %edx, %eax
shll $0x5, %edx
decl %edx
leaq 0x48(%rsp), %rbp
movq %r14, 0x28(%rsp)
subq $0x1, %rax
jb 0x16691
movq %rax, 0x30(%rsp)
movl %eax, %eax
movq 0x8(%r14), %rcx
movl (%rcx,%rax,4), %eax
movl %eax, (%rsp)
pushq $0x1f
popq %r14
movq %rdx, 0x38(%rsp)
movl %edx, %r13d
cmpl $-0x1, %r14d
je 0x1667a
movl $0x1, 0x48(%rsp)
leaq 0x8(%rsp), %rdi
movq %rbp, %rsi
callq 0x85ee
movl (%rsp), %eax
btl %r14d, %eax
jae 0x16608
movq 0x10(%rsp), %rax
cmpq %rax, 0x18(%rsp)
je 0x165f0
orb $0x1, (%rax)
jmp 0x16608
leaq 0x10(%rsp), %rdi
pushq $0x1
popq %rsi
callq 0x150d6
movq 0x10(%rsp), %rax
movl $0x1, (%rax)
leaq 0x8(%rsp), %rdi
movq %rbx, %rsi
callq 0x15e7b
testb %al, %al
je 0x1666f
leaq 0x8(%rsp), %rdi
movq %rbx, %rsi
callq 0x15eaa
leaq 0x68(%rsp), %r12
movq %r12, %rdi
pushq $0x1
popq %rsi
callq 0x8542
movl %r13d, 0x4(%rsp)
movq %rbp, %r15
movq %rbp, %rdi
movq %r12, %rsi
leaq 0x4(%rsp), %rdx
callq 0x15500
movq 0x40(%rsp), %rdi
movq %r15, %rsi
callq 0x166e4
leaq 0x50(%rsp), %rdi
callq 0x127b2
leaq 0x70(%rsp), %rdi
callq 0x127b2
decl %r13d
decl %r14d
jmp 0x165b7
movq 0x38(%rsp), %rdx
addl $-0x20, %edx
movq 0x28(%rsp), %r14
movq 0x30(%rsp), %rax
jmp 0x16590
leaq 0x10(%rsp), %rdi
callq 0x127b2
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x166c1
jmp 0x166cf
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0x127b2
leaq 0x70(%rsp), %rdi
callq 0x127b2
jmp 0x166d2
jmp 0x166cf
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x127b2
movq %rbx, %rdi
callq 0x4430