// File: ef-gy[P]libefgy/include/ef.gy/big-integers.h
// Function: efgy::math::numeric::bigIntegers<long long, unsigned long long, unsigned int, 32u>::operator+(efgy::math::numeric::bigIntegers<long long, unsigned long long, unsigned int, 32u> const&) const
bigIntegers operator+(const bigIntegers &b) const {
    if (*this == zero()) {
      return b;
    } else if (b == zero()) {
      return *this;
    }

    bigIntegers r;

    if (negative == b.negative) {
      r.negative = negative;

      r.doAdd(*this, b);
    } else {
      const bigIntegers &p = negative ? -*this : *this;
      const bigIntegers &q = b.negative ? -b : b;

      if (p > q) {
        r.doSubtract(p, q);
        r.negative = negative && (r.cell.size() > 0);
      } else {
        r.doSubtract(q, p);
        r.negative = !negative && (r.cell.size() > 0);
      }
    }

    return r;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x98(%rbp)
movq %rdi, %rax
movq %rax, -0x90(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq %rdi, -0x88(%rbp)
leaq -0x19(%rbp), %rsi
callq 0x3d1a0
testb $0x1, %al
jne 0x3f772
jmp 0x3f787
movq -0x98(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x3e3b0
jmp 0x3f9cf
movq -0x18(%rbp), %rdi
leaq -0x1a(%rbp), %rsi
callq 0x3d1a0
testb $0x1, %al
jne 0x3f79a
jmp 0x3f7b2
movq -0x88(%rbp), %rsi
movq -0x98(%rbp), %rdi
callq 0x3e3b0
jmp 0x3f9cf
jmp 0x3f7b4
movq -0x98(%rbp), %rdi
movb $0x0, -0x1b(%rbp)
callq 0x3e410
movq -0x88(%rbp), %rax
movb (%rax), %al
andb $0x1, %al
movzbl %al, %eax
movq -0x18(%rbp), %rcx
movb (%rcx), %cl
andb $0x1, %cl
movzbl %cl, %ecx
cmpl %ecx, %eax
jne 0x3f81c
movq -0x88(%rbp), %rsi
movq -0x98(%rbp), %rdi
movb (%rsi), %al
andb $0x1, %al
movb %al, (%rdi)
movq -0x18(%rbp), %rdx
movl $0x1, %ecx
callq 0x3f9f0
jmp 0x3f806
jmp 0x3f9a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x3f9c1
movq -0x88(%rbp), %rax
testb $0x1, (%rax)
je 0x3f83c
movq -0x88(%rbp), %rsi
leaq -0x58(%rbp), %rdi
callq 0x3e6d0
jmp 0x3f83a
jmp 0x3f850
movq -0x88(%rbp), %rsi
leaq -0x58(%rbp), %rdi
callq 0x3e3b0
jmp 0x3f84e
jmp 0x3f850
leaq -0x58(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rax
testb $0x1, (%rax)
je 0x3f872
movq -0x18(%rbp), %rsi
leaq -0x80(%rbp), %rdi
callq 0x3e6d0
jmp 0x3f870
jmp 0x3f883
movq -0x18(%rbp), %rsi
leaq -0x80(%rbp), %rdi
callq 0x3e3b0
jmp 0x3f881
jmp 0x3f883
leaq -0x80(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x38(%rbp), %rdi
movq -0x60(%rbp), %rsi
callq 0x3ef30
testb $0x1, %al
jne 0x3f8a1
jmp 0x3f92c
movq -0x98(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x60(%rbp), %rdx
movl $0x1, %ecx
callq 0x3fc60
jmp 0x3f8bc
movq -0x88(%rbp), %rcx
xorl %eax, %eax
testb $0x1, (%rcx)
movb %al, -0x99(%rbp)
je 0x3f8ed
movq -0x98(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x0, %rax
seta %al
movb %al, -0x99(%rbp)
movq -0x98(%rbp), %rax
movb -0x99(%rbp), %cl
andb $0x1, %cl
movb %cl, (%rax)
jmp 0x3f98a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x3f99e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x10260
jmp 0x3f99e
movq -0x98(%rbp), %rdi
movq -0x60(%rbp), %rsi
movq -0x38(%rbp), %rdx
movl $0x1, %ecx
callq 0x3fc60
jmp 0x3f947
movq -0x88(%rbp), %rcx
xorl %eax, %eax
testb $0x1, (%rcx)
movb %al, -0x9a(%rbp)
jne 0x3f978
movq -0x98(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x0, %rax
seta %al
movb %al, -0x9a(%rbp)
movq -0x98(%rbp), %rax
movb -0x9a(%rbp), %cl
andb $0x1, %cl
movb %cl, (%rax)
leaq -0x80(%rbp), %rdi
callq 0x10260
leaq -0x58(%rbp), %rdi
callq 0x10260
jmp 0x3f9a9
leaq -0x58(%rbp), %rdi
callq 0x10260
jmp 0x3f9c1
movb $0x1, -0x1b(%rbp)
testb $0x1, -0x1b(%rbp)
jne 0x3f9bf
movq -0x98(%rbp), %rdi
callq 0x10260
jmp 0x3f9cf
movq -0x98(%rbp), %rdi
callq 0x10260
jmp 0x3f9df
movq -0x90(%rbp), %rax
addq $0xa0, %rsp
popq %rbp
retq
movq -0x28(%rbp), %rdi
callq 0x55e0
nopl (%rax,%rax)