// File: ef-gy[P]libefgy/include/ef.gy/big-integers.h
// Function: efgy::math::numeric::bigIntegers<long long, unsigned long long, unsigned int, 32u>::doAdd(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 doAdd(const bigIntegers &a, const bigIntegers &b, bool allocate = true) {
    /*
    if ((a.cell.size() <= cellsPerLong) && (b.cell.size() <= cellsPerLong))
    {
        *this = bigIntegers(Tu(a) + Tu(b), negative);
        if ((*this >= a) && (*this >= b))
        {
            return;
        }
    }
    */

    bool overflow = false;

    if (allocate) {
      cell.resize((a.cell.size() > b.cell.size()) ? a.cell.size()
                                                  : b.cell.size());
      if (cell.size() == 0) {
        return;
      }
    }

    if (cell.size() == 0) {
      return;
    }

    for (cellType i = 0; i < cell.size(); i++) {
      cellType av = (i < a.cell.size()) ? a.cell[i] : 0;
      cellType bv = (i < b.cell.size()) ? b.cell[i] : 0;

      if (overflow) {
        bv = bv + 1;

        overflow = (bv == 0);
      }

      cell[i] = (overflow ? av : (av + bv));

      overflow = overflow || ((cell[i] < av) || (cell[i] < bv));
    }

    if (overflow)  // overflow in the most significant cell, add extra cell
    {
      cell.push_back(cellType(1));
    }
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movb %cl, %al
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
andb $0x1, %al
movb %al, -0x19(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x38(%rbp)
movb $0x0, -0x1a(%rbp)
testb $0x1, -0x19(%rbp)
je 0x3faa5
movq -0x38(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x48(%rbp)
movq -0x10(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, %rcx
movq -0x40(%rbp), %rax
cmpq %rcx, %rax
jbe 0x3fa6d
movq -0x10(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, -0x50(%rbp)
jmp 0x3fa7e
movq -0x18(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, -0x50(%rbp)
movq -0x48(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0x3c360
movq -0x38(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x0, %rax
jne 0x3faa3
jmp 0x3fc4c
jmp 0x3faa5
movq -0x38(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x0, %rax
jne 0x3fabd
jmp 0x3fc4c
movl $0x0, -0x20(%rbp)
movq -0x38(%rbp), %rdi
movl -0x20(%rbp), %eax
movq %rax, -0x58(%rbp)
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, %rcx
movq -0x58(%rbp), %rax
cmpq %rcx, %rax
jae 0x3fc2e
movl -0x20(%rbp), %eax
movq %rax, -0x60(%rbp)
movq -0x10(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, %rcx
movq -0x60(%rbp), %rax
cmpq %rcx, %rax
jae 0x3fb21
movq -0x10(%rbp), %rdi
addq $0x8, %rdi
movl -0x20(%rbp), %eax
movl %eax, %esi
callq 0x3d8a0
movl (%rax), %eax
movl %eax, -0x64(%rbp)
jmp 0x3fb28
xorl %eax, %eax
movl %eax, -0x64(%rbp)
jmp 0x3fb28
movl -0x64(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x20(%rbp), %eax
movq %rax, -0x70(%rbp)
movq -0x18(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, %rcx
movq -0x70(%rbp), %rax
cmpq %rcx, %rax
jae 0x3fb67
movq -0x18(%rbp), %rdi
addq $0x8, %rdi
movl -0x20(%rbp), %eax
movl %eax, %esi
callq 0x3d8a0
movl (%rax), %eax
movl %eax, -0x74(%rbp)
jmp 0x3fb6e
xorl %eax, %eax
movl %eax, -0x74(%rbp)
jmp 0x3fb6e
movl -0x74(%rbp), %eax
movl %eax, -0x28(%rbp)
testb $0x1, -0x1a(%rbp)
je 0x3fb8f
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
cmpl $0x0, -0x28(%rbp)
sete %al
andb $0x1, %al
movb %al, -0x1a(%rbp)
testb $0x1, -0x1a(%rbp)
je 0x3fb9d
movl -0x24(%rbp), %eax
movl %eax, -0x78(%rbp)
jmp 0x3fba6
movl -0x24(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x78(%rbp)
movq -0x38(%rbp), %rdi
movl -0x78(%rbp), %eax
movl %eax, -0x80(%rbp)
addq $0x8, %rdi
movl -0x20(%rbp), %eax
movl %eax, %esi
callq 0x3c3f0
movl -0x80(%rbp), %ecx
movl %ecx, (%rax)
movb $0x1, %al
testb $0x1, -0x1a(%rbp)
movb %al, -0x79(%rbp)
jne 0x3fc18
movq -0x38(%rbp), %rdi
addq $0x8, %rdi
movl -0x20(%rbp), %eax
movl %eax, %esi
callq 0x3c3f0
movl (%rax), %ecx
movb $0x1, %al
cmpl -0x24(%rbp), %ecx
movb %al, -0x81(%rbp)
jb 0x3fc0f
movq -0x38(%rbp), %rdi
addq $0x8, %rdi
movl -0x20(%rbp), %eax
movl %eax, %esi
callq 0x3c3f0
movl (%rax), %eax
cmpl -0x28(%rbp), %eax
setb %al
movb %al, -0x81(%rbp)
movb -0x81(%rbp), %al
movb %al, -0x79(%rbp)
movb -0x79(%rbp), %al
andb $0x1, %al
movb %al, -0x1a(%rbp)
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0x3fac4
testb $0x1, -0x1a(%rbp)
je 0x3fc4c
movq -0x38(%rbp), %rdi
addq $0x8, %rdi
movl $0x1, -0x2c(%rbp)
leaq -0x2c(%rbp), %rsi
callq 0x40010
addq $0x90, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
nop