// File: /workspace/github_c_makefile_star2_O0/azhai[P]mlite/mlite.c
// Function: x_bignum_divide
cell x_bignum_divide(cell a, cell b) {
	int	neg, neg_a;
	cell	result, f;
	int	i;
	cell	c, c0;

	neg_a = x_bignum_negative_p(a);
	neg = neg_a != x_bignum_negative_p(b);
	a = bignum_abs(a);
	save(a);
	b = bignum_abs(b);
	save(b);
	if (bignum_less_p(a, b)) {
		if (neg_a)
			a = bignum_negate(a);
		Tmp = a;
		f = make_integer(0);
		Tmp = NIL;
		unsave(2);
		return node(f, a);
	}
	b = bignum_equalize(b, a);
	cadr(Stack) = b; /* cadr+cddddr */
	car(Stack) = a;	/* car+cddddr */
	c = NIL;
	save(c);	/* cadddr */
	c0 = NIL;
	save(c0);	/* caddr */
	f = cdr(b);
	b = car(b);
	cadddr(Stack) = b;
	save(f);	/* cadr */
	result = make_integer(0);
	save(result);	/* car */
	while (!x_bignum_zero_p(f)) {
		if (Error_flag)
			break;
		c = make_integer(0);
		cadddr(Stack) = c;
		caddr(Stack) = c0 = c;
		i = 0;
		while (!bignum_less_p(a, c)) {
			if (Error_flag)
				break;
			caddr(Stack) = c0 = c;
			c = bignum_add(c, b);
			cadddr(Stack) = c;
			i++;
		}
		result = bignum_shift_left(result, i-1);
		car(Stack) = result;
		a = bignum_subtract(a, c0);
		car(cddddr(Stack)) = a;
		f = bignum_shift_right(f);
		f = car(f);
		cadr(Stack) = f;
		b = bignum_shift_right(b);
		b = car(b);
		cadr(cddddr(Stack)) = b;
	}
	if (neg)
		result = bignum_negate(result);
	car(Stack) = result;
	if (neg_a)
		a = bignum_negate(a);
	unsave(6);
	return node(result, a);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq 0x22469(%rip), %rax     # 0x28180
movq 0x228b2(%rip), %rcx     # 0x285d0
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $0x0, (%rax,%rcx,8)
setl %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x20(%rbp)
movl -0x20(%rbp), %eax
movq 0x22440(%rip), %rcx     # 0x28180
movq 0x22889(%rip), %rdx     # 0x285d0
movq -0x18(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
cmpq $0x0, (%rcx,%rdx,8)
setl %cl
andb $0x1, %cl
movzbl %cl, %ecx
cmpl %ecx, %eax
setne %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x1c(%rbp)
movq -0x10(%rbp), %rdi
callq 0x49f0
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdi
movq 0x223b6(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x223a8(%rip)     # 0x28138
movq -0x18(%rbp), %rdi
callq 0x49f0
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdi
movq 0x22390(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x22382(%rip)     # 0x28138
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x4f50
cmpl $0x0, %eax
je 0x5e20
cmpl $0x0, -0x20(%rbp)
je 0x5ddb
movq -0x10(%rbp), %rdi
callq 0x4a70
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, 0x2233a(%rip)     # 0x28120
xorl %eax, %eax
movl %eax, %edi
callq 0x3740
movq %rax, -0x30(%rbp)
movq $-0x1, 0x22322(%rip) # 0x28120
movl $0x2, %edi
callq 0x3950
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x8(%rbp)
jmp 0x625e
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x5b60
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdx
movq 0x22344(%rip), %rax     # 0x28180
movq 0x2278d(%rip), %rcx     # 0x285d0
movq 0x222ee(%rip), %rsi     # 0x28138
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x10(%rbp), %rdx
movq 0x22323(%rip), %rax     # 0x28180
movq 0x222d4(%rip), %rcx     # 0x28138
movq %rdx, (%rax,%rcx,8)
movq $-0x1, -0x40(%rbp)
movq -0x40(%rbp), %rdi
movq 0x222bd(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x222af(%rip)     # 0x28138
movq $-0x1, -0x48(%rbp)
movq -0x48(%rbp), %rdi
movq 0x2229c(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x2228e(%rip)     # 0x28138
movq 0x2271f(%rip), %rax     # 0x285d0
movq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movq 0x222bc(%rip), %rax     # 0x28180
movq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdx
movq 0x222a5(%rip), %rax     # 0x28180
movq 0x226ee(%rip), %rcx     # 0x285d0
movq 0x226e7(%rip), %rsi     # 0x285d0
movq 0x226e0(%rip), %rdi     # 0x285d0
movq 0x22241(%rip), %r8      # 0x28138
movq (%rdi,%r8,8), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x30(%rbp), %rdi
movq 0x22226(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x22218(%rip)     # 0x28138
xorl %eax, %eax
movl %eax, %edi
callq 0x3740
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdi
movq 0x22200(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x221f2(%rip)     # 0x28138
movq 0x22233(%rip), %rcx     # 0x28180
movq 0x2267c(%rip), %rax     # 0x285d0
movq -0x30(%rbp), %rdx
movq (%rax,%rdx,8), %rdx
xorl %eax, %eax
cmpq $0x0, (%rcx,%rdx,8)
movb %al, -0x49(%rbp)
jne 0x5f89
movq 0x22661(%rip), %rax     # 0x285d0
movq 0x2265a(%rip), %rcx     # 0x285d0
movq -0x30(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1, (%rax,%rcx,8)
sete %al
movb %al, -0x49(%rbp)
movb -0x49(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x5f97
jmp 0x6205
movl 0x22627(%rip), %eax     # 0x285c4
cmpl $0x0, %eax
je 0x5fa7
jmp 0x6205
xorl %eax, %eax
movl %eax, %edi
callq 0x3740
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdx
movq 0x221c1(%rip), %rax     # 0x28180
movq 0x2260a(%rip), %rcx     # 0x285d0
movq 0x22603(%rip), %rsi     # 0x285d0
movq 0x225fc(%rip), %rdi     # 0x285d0
movq 0x2215d(%rip), %r8      # 0x28138
movq (%rdi,%r8,8), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x40(%rbp), %rdx
movq %rdx, -0x48(%rbp)
movq 0x22186(%rip), %rax     # 0x28180
movq 0x225cf(%rip), %rcx     # 0x285d0
movq 0x225c8(%rip), %rsi     # 0x285d0
movq 0x22129(%rip), %rdi     # 0x28138
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movl $0x0, -0x34(%rbp)
movq -0x10(%rbp), %rdi
movq -0x40(%rbp), %rsi
callq 0x4f50
cmpl $0x0, %eax
setne %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x6040
jmp 0x60d6
movl 0x2257e(%rip), %eax     # 0x285c4
cmpl $0x0, %eax
je 0x6050
jmp 0x60d6
movq -0x40(%rbp), %rdx
movq %rdx, -0x48(%rbp)
movq 0x22121(%rip), %rax     # 0x28180
movq 0x2256a(%rip), %rcx     # 0x285d0
movq 0x22563(%rip), %rsi     # 0x285d0
movq 0x220c4(%rip), %rdi     # 0x28138
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x40(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x4e50
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdx
movq 0x220e4(%rip), %rax     # 0x28180
movq 0x2252d(%rip), %rcx     # 0x285d0
movq 0x22526(%rip), %rsi     # 0x285d0
movq 0x2251f(%rip), %rdi     # 0x285d0
movq 0x22080(%rip), %r8      # 0x28138
movq (%rdi,%r8,8), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x6022
movq -0x28(%rbp), %rdi
movl -0x34(%rbp), %esi
subl $0x1, %esi
callq 0x55d0
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdx
movq 0x2208c(%rip), %rax     # 0x28180
movq 0x2203d(%rip), %rcx     # 0x28138
movq %rdx, (%rax,%rcx,8)
movq -0x10(%rbp), %rdi
movq -0x48(%rbp), %rsi
callq 0x4ed0
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdx
movq 0x22065(%rip), %rax     # 0x28180
movq 0x224ae(%rip), %rcx     # 0x285d0
movq 0x224a7(%rip), %rsi     # 0x285d0
movq 0x224a0(%rip), %rdi     # 0x285d0
movq 0x22499(%rip), %r8      # 0x285d0
movq 0x21ffa(%rip), %r9      # 0x28138
movq (%r8,%r9,8), %r8
movq (%rdi,%r8,8), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x30(%rbp), %rdi
callq 0x5760
movq %rax, -0x30(%rbp)
movq 0x2201a(%rip), %rax     # 0x28180
movq -0x30(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdx
movq 0x22003(%rip), %rax     # 0x28180
movq 0x2244c(%rip), %rcx     # 0x285d0
movq 0x21fad(%rip), %rsi     # 0x28138
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x18(%rbp), %rdi
callq 0x5760
movq %rax, -0x18(%rbp)
movq 0x21fd9(%rip), %rax     # 0x28180
movq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdx
movq 0x21fc2(%rip), %rax     # 0x28180
movq 0x2240b(%rip), %rcx     # 0x285d0
movq 0x22404(%rip), %rsi     # 0x285d0
movq 0x223fd(%rip), %rdi     # 0x285d0
movq 0x223f6(%rip), %r8      # 0x285d0
movq 0x223ef(%rip), %r9      # 0x285d0
movq 0x21f50(%rip), %r10     # 0x28138
movq (%r9,%r10,8), %r9
movq (%r8,%r9,8), %r8
movq (%rdi,%r8,8), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x5f46
cmpl $0x0, -0x1c(%rbp)
je 0x6218
movq -0x28(%rbp), %rdi
callq 0x4a70
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdx
movq 0x21f5d(%rip), %rax     # 0x28180
movq 0x21f0e(%rip), %rcx     # 0x28138
movq %rdx, (%rax,%rcx,8)
cmpl $0x0, -0x20(%rbp)
je 0x6241
movq -0x10(%rbp), %rdi
callq 0x4a70
movq %rax, -0x10(%rbp)
movl $0x6, %edi
callq 0x3950
movq -0x28(%rbp), %rdi
movq -0x10(%rbp), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
nopl (%rax,%rax)