// 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&)
bigIntegers &operator/=(const bigIntegers &b) {
    if (*this == zero()) {
      return (*this = zero());
    } else if (b == zero()) {
      return (*this = zero());
    } else if (b == one()) {
      return *this;
    } else if (b == negativeOne()) {
      return (*this = -*this);
    }

    if ((cell.size() <= cellsPerLong) && (b.cell.size() <= cellsPerLong)) {
      *this = bigIntegers((*this).toInteger() / (b).toInteger(),
                          (negative != b.negative));
      return *this;
    }

    bool rnegative = (negative != b.negative);
    const bigIntegers &aa = negative ? -*this : *this;
    const bigIntegers &ba = b.negative ? -b : b;
    doDivide(aa, ba);
    negative = rnegative && (cell.size() > 0);
    return *this;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x170, %rsp            # imm = 0x170
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq %rdi, -0x120(%rbp)
leaq -0x19(%rbp), %rsi
callq 0x3d1a0
testb $0x1, %al
jne 0x3eaed
jmp 0x3eb50
leaq -0x40(%rbp), %rdi
movq %rdi, -0x130(%rbp)
leaq -0x41(%rbp), %rsi
callq 0x3f200
movq -0x120(%rbp), %rdi
movq -0x130(%rbp), %rsi
callq 0x3d420
movq %rax, -0x128(%rbp)
jmp 0x3eb1d
movq -0x128(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x10260
jmp 0x3eea6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x10260
jmp 0x3eeb3
movq -0x18(%rbp), %rdi
leaq -0x55(%rbp), %rsi
callq 0x3d1a0
testb $0x1, %al
jne 0x3eb63
jmp 0x3ebc6
leaq -0x78(%rbp), %rdi
movq %rdi, -0x140(%rbp)
leaq -0x79(%rbp), %rsi
callq 0x3f200
movq -0x120(%rbp), %rdi
movq -0x140(%rbp), %rsi
callq 0x3d420
movq %rax, -0x138(%rbp)
jmp 0x3eb93
movq -0x138(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x10260
jmp 0x3eea6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x10260
jmp 0x3eeb3
movq -0x18(%rbp), %rdi
leaq -0x7a(%rbp), %rsi
callq 0x3f230
testb $0x1, %al
jne 0x3ebd9
jmp 0x3ebe9
movq -0x120(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x3eea6
movq -0x18(%rbp), %rdi
leaq -0x7b(%rbp), %rsi
callq 0x40370
testb $0x1, %al
jne 0x3ebfc
jmp 0x3ec6b
movq -0x120(%rbp), %rsi
leaq -0xa0(%rbp), %rdi
movq %rdi, -0x150(%rbp)
callq 0x3e6d0
movq -0x120(%rbp), %rdi
movq -0x150(%rbp), %rsi
callq 0x3d420
movq %rax, -0x148(%rbp)
jmp 0x3ec32
movq -0x148(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x10260
jmp 0x3eea6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x10260
jmp 0x3eeb3
jmp 0x3ec6d
jmp 0x3ec6f
jmp 0x3ec71
movq -0x120(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x2, %rax
ja 0x3ed50
movq -0x18(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x2, %rax
ja 0x3ed50
movq -0x120(%rbp), %rdi
callq 0x3d1f0
movq %rax, -0x160(%rbp)
movq -0x18(%rbp), %rdi
callq 0x3d1f0
movq %rax, %rcx
movq -0x160(%rbp), %rax
xorl %edx, %edx
divq %rcx
movq %rax, %rsi
movq -0x120(%rbp), %rax
movzbl (%rax), %eax
andl $0x1, %eax
movq -0x18(%rbp), %rcx
movzbl (%rcx), %ecx
andl $0x1, %ecx
subl %ecx, %eax
setne %al
movzbl %al, %edx
leaq -0xc0(%rbp), %rdi
movq %rdi, -0x158(%rbp)
callq 0x3d290
movq -0x120(%rbp), %rdi
movq -0x158(%rbp), %rsi
callq 0x3d420
jmp 0x3ed17
leaq -0xc0(%rbp), %rdi
callq 0x10260
movq -0x120(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x3eea6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0x10260
jmp 0x3eeb3
movq -0x120(%rbp), %rax
movb (%rax), %cl
andb $0x1, %cl
movzbl %cl, %ecx
movq -0x18(%rbp), %rdx
movb (%rdx), %dl
andb $0x1, %dl
movzbl %dl, %edx
cmpl %edx, %ecx
setne %cl
andb $0x1, %cl
movb %cl, -0xc1(%rbp)
testb $0x1, (%rax)
je 0x3ed93
movq -0x120(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x3e6d0
jmp 0x3eda6
movq -0x120(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
callq 0x3e3b0
leaq -0xf0(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq -0x18(%rbp), %rax
testb $0x1, (%rax)
je 0x3edd1
movq -0x18(%rbp), %rsi
leaq -0x118(%rbp), %rdi
callq 0x3e6d0
jmp 0x3edcf
jmp 0x3ede5
movq -0x18(%rbp), %rsi
leaq -0x118(%rbp), %rdi
callq 0x3e3b0
jmp 0x3ede3
jmp 0x3ede5
movq -0x120(%rbp), %rdi
leaq -0x118(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq -0xd0(%rbp), %rsi
movq -0xf8(%rbp), %rdx
movl $0x1, %ecx
callq 0x403e0
jmp 0x3ee14
xorl %eax, %eax
testb $0x1, -0xc1(%rbp)
movb %al, -0x161(%rbp)
je 0x3ee42
movq -0x120(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x0, %rax
seta %al
movb %al, -0x161(%rbp)
movq -0x120(%rbp), %rax
movb -0x161(%rbp), %cl
andb $0x1, %cl
movb %cl, (%rax)
movq %rax, -0x8(%rbp)
leaq -0x118(%rbp), %rdi
callq 0x10260
leaq -0xf0(%rbp), %rdi
callq 0x10260
jmp 0x3eea6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x3ee98
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x118(%rbp), %rdi
callq 0x10260
leaq -0xf0(%rbp), %rdi
callq 0x10260
jmp 0x3eeb3
movq -0x8(%rbp), %rax
addq $0x170, %rsp            # imm = 0x170
popq %rbp
retq
movq -0x50(%rbp), %rdi
callq 0x55e0
nopl (%rax)