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

	neg = x_bignum_negative_p(a) != x_bignum_negative_p(b);
	a = bignum_abs(a);
	save(a);
	b = bignum_abs(b);
	save(b);
	result = make_integer(0);
	save(result);
	while (!x_bignum_zero_p(a)) {
		if (Error_flag)
			break;
		r = bignum_shift_right(a);
		i = caddr(r);
		a = car(r);
		caddr(Stack) = a;
		while (i) {
			result = bignum_add(result, b);
			car(Stack) = result;
			i--;
		}
		b = bignum_shift_left(b, 0);
		cadr(Stack) = b;
	}
	if (neg)
		result = bignum_negate(result);
	unsave(3);
	return result;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq 0x22859(%rip), %rax     # 0x28180
movq 0x22ca2(%rip), %rcx     # 0x285d0
movq -0x8(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $0x0, (%rax,%rcx,8)
setl %al
andb $0x1, %al
movzbl %al, %eax
movq 0x22836(%rip), %rcx     # 0x28180
movq 0x22c7f(%rip), %rdx     # 0x285d0
movq -0x10(%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, -0x14(%rbp)
movq -0x8(%rbp), %rdi
callq 0x49f0
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rdi
movq 0x227ac(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x2279e(%rip)     # 0x28138
movq -0x10(%rbp), %rdi
callq 0x49f0
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdi
movq 0x22786(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x22778(%rip)     # 0x28138
xorl %eax, %eax
movl %eax, %edi
callq 0x3740
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
movq 0x22760(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x22752(%rip)     # 0x28138
movq 0x22793(%rip), %rcx     # 0x28180
movq 0x22bdc(%rip), %rax     # 0x285d0
movq -0x8(%rbp), %rdx
movq (%rax,%rdx,8), %rdx
xorl %eax, %eax
cmpq $0x0, (%rcx,%rdx,8)
movb %al, -0x31(%rbp)
jne 0x5a29
movq 0x22bc1(%rip), %rax     # 0x285d0
movq 0x22bba(%rip), %rcx     # 0x285d0
movq -0x8(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1, (%rax,%rcx,8)
sete %al
movb %al, -0x31(%rbp)
movb -0x31(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x5a37
jmp 0x5b2d
movl 0x22b87(%rip), %eax     # 0x285c4
cmpl $0x0, %eax
je 0x5a47
jmp 0x5b2d
movq -0x8(%rbp), %rdi
callq 0x5760
movq %rax, -0x20(%rbp)
movq 0x22725(%rip), %rax     # 0x28180
movq 0x22b6e(%rip), %rcx     # 0x285d0
movq 0x22b67(%rip), %rdx     # 0x285d0
movq -0x20(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x28(%rbp)
movq 0x226fc(%rip), %rax     # 0x28180
movq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rdx
movq 0x226e5(%rip), %rax     # 0x28180
movq 0x22b2e(%rip), %rcx     # 0x285d0
movq 0x22b27(%rip), %rsi     # 0x285d0
movq 0x22688(%rip), %rdi     # 0x28138
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
cmpq $0x0, -0x28(%rbp)
je 0x5af8
movq -0x30(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x4e50
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdx
movq 0x226a1(%rip), %rax     # 0x28180
movq 0x22652(%rip), %rcx     # 0x28138
movq %rdx, (%rax,%rcx,8)
movq -0x28(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x28(%rbp)
jmp 0x5abc
movq -0x10(%rbp), %rdi
xorl %esi, %esi
callq 0x55d0
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdx
movq 0x2266e(%rip), %rax     # 0x28180
movq 0x22ab7(%rip), %rcx     # 0x285d0
movq 0x22618(%rip), %rsi     # 0x28138
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0x59e6
cmpl $0x0, -0x14(%rbp)
je 0x5b40
movq -0x30(%rbp), %rdi
callq 0x4a70
movq %rax, -0x30(%rbp)
movl $0x3, %edi
callq 0x3950
movq -0x30(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)