// File: /workspace/github_c_makefile_star2_O0/azhai[P]mlite/mlite.c
// Function: real_add
cell real_add(cell a, cell b) {
	cell	r, m, e, aa, ab;
	int	flags, nega, negb;

	if (integer_p(a) && integer_p(b))
		return bignum_add(a, b);
	if (integer_p(a))
		a = bignum_to_real(a);
	save(a);
	if (integer_p(b))
		b = bignum_to_real(b);
	save(b);
	if (x_real_zero_p(a)) {
		unsave(2);
		return b;
	}
	if (x_real_zero_p(b)) {
		unsave(2);
		return a;
	}
	autoscale(&a, &b);
	if (a == NIL || b == NIL) {
		ab = real_abs(car(Stack));
		save(ab);
		aa = real_abs(caddr(Stack));
		unsave(1);
		b = unsave(1);
		a = unsave(1);
		return real_less_p(aa, ab)? b: a;
	}
	cadr(Stack) = a;
	car(Stack) = b;
	e = x_real_exponent(a);
	nega = x_real_negative_p(a);
	negb = x_real_negative_p(b);
	a = new_atom(T_INTEGER, x_real_mantissa(a));
	if (nega)
		a = bignum_negate(a);
	cadr(Stack) = a;
	b = new_atom(T_INTEGER, x_real_mantissa(b));
	if (negb)
		b = bignum_negate(b);
	car(Stack) = b;
	m = bignum_add(a, b);
	unsave(2);
	flags = x_bignum_negative_p(m)? REAL_NEGATIVE: 0;
	r = bignum_abs(m);
	r = make_real(flags, e, cdr(r));
	return real_normalize(r, "+");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
cmpq $0x0, -0x10(%rbp)
jl 0x8326
movq 0x20332(%rip), %rax     # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x8326
movq 0x1feab(%rip), %rax     # 0x28180
movq -0x10(%rbp), %rcx
cmpq $-0x18, (%rax,%rcx,8)
jne 0x8326
cmpq $0x0, -0x18(%rbp)
jl 0x8326
movq 0x20302(%rip), %rax     # 0x285f0
movq -0x18(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x8326
movq 0x1fe7b(%rip), %rax     # 0x28180
movq -0x18(%rbp), %rcx
cmpq $-0x18, (%rax,%rcx,8)
jne 0x8326
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x4e50
movq %rax, -0x8(%rbp)
jmp 0x88b4
cmpq $0x0, -0x10(%rbp)
jl 0x8363
movq 0x202bc(%rip), %rax     # 0x285f0
movq -0x10(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x8363
movq 0x1fe35(%rip), %rax     # 0x28180
movq -0x10(%rbp), %rcx
cmpq $-0x18, (%rax,%rcx,8)
jne 0x8363
movq -0x10(%rbp), %rdi
callq 0x6870
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdi
movq 0x1fdca(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x1fdbc(%rip)     # 0x28138
cmpq $0x0, -0x18(%rbp)
jl 0x83b9
movq 0x20266(%rip), %rax     # 0x285f0
movq -0x18(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x83b9
movq 0x1fddf(%rip), %rax     # 0x28180
movq -0x18(%rbp), %rcx
cmpq $-0x18, (%rax,%rcx,8)
jne 0x83b9
movq -0x18(%rbp), %rdi
callq 0x6870
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdi
movq 0x1fd74(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x1fd66(%rip)     # 0x28138
movq 0x1fda7(%rip), %rax     # 0x28180
movq 0x201f0(%rip), %rcx     # 0x285d0
movq 0x201e9(%rip), %rdx     # 0x285d0
movq 0x201e2(%rip), %rsi     # 0x285d0
movq -0x10(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $0x0, (%rax,%rcx,8)
jne 0x844f
movq 0x201c4(%rip), %rax     # 0x285d0
movq 0x201bd(%rip), %rcx     # 0x285d0
movq 0x201b6(%rip), %rdx     # 0x285d0
movq 0x201af(%rip), %rsi     # 0x285d0
movq -0x10(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1, (%rax,%rcx,8)
jne 0x844f
movl $0x2, %edi
callq 0x3950
movq -0x18(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x88b4
movq 0x1fd2a(%rip), %rax     # 0x28180
movq 0x20173(%rip), %rcx     # 0x285d0
movq 0x2016c(%rip), %rdx     # 0x285d0
movq 0x20165(%rip), %rsi     # 0x285d0
movq -0x18(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $0x0, (%rax,%rcx,8)
jne 0x84cc
movq 0x20147(%rip), %rax     # 0x285d0
movq 0x20140(%rip), %rcx     # 0x285d0
movq 0x20139(%rip), %rdx     # 0x285d0
movq 0x20132(%rip), %rsi     # 0x285d0
movq -0x18(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1, (%rax,%rcx,8)
jne 0x84cc
movl $0x2, %edi
callq 0x3950
movq -0x10(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x88b4
leaq -0x10(%rbp), %rdi
leaq -0x18(%rbp), %rsi
callq 0x7250
cmpq $-0x1, -0x10(%rbp)
je 0x84eb
cmpq $-0x1, -0x18(%rbp)
jne 0x85a7
movq 0x1fc8e(%rip), %rax     # 0x28180
movq 0x1fc3f(%rip), %rcx     # 0x28138
movq (%rax,%rcx,8), %rdi
callq 0x6e70
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
movq 0x1fc27(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x1fc19(%rip)     # 0x28138
movq 0x1fc5a(%rip), %rax     # 0x28180
movq 0x200a3(%rip), %rcx     # 0x285d0
movq 0x2009c(%rip), %rdx     # 0x285d0
movq 0x1fbfd(%rip), %rsi     # 0x28138
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x6e70
movq %rax, -0x38(%rbp)
movl $0x1, %edi
callq 0x3950
movl $0x1, %edi
callq 0x3950
movq %rax, -0x18(%rbp)
movl $0x1, %edi
callq 0x3950
movq %rax, -0x10(%rbp)
movq -0x38(%rbp), %rdi
movq -0x40(%rbp), %rsi
callq 0x79b0
cmpl $0x0, %eax
je 0x8592
movq -0x18(%rbp), %rax
movq %rax, -0x58(%rbp)
jmp 0x859a
movq -0x10(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x88b4
movq -0x10(%rbp), %rdx
movq 0x1fbce(%rip), %rax     # 0x28180
movq 0x20017(%rip), %rcx     # 0x285d0
movq 0x1fb78(%rip), %rsi     # 0x28138
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x18(%rbp), %rdx
movq 0x1fbad(%rip), %rax     # 0x28180
movq 0x1fb5e(%rip), %rcx     # 0x28138
movq %rdx, (%rax,%rcx,8)
movq 0x1fb9b(%rip), %rax     # 0x28180
movq 0x1ffe4(%rip), %rcx     # 0x285d0
movq 0x1ffdd(%rip), %rdx     # 0x285d0
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movq 0x1fb72(%rip), %rax     # 0x28180
movq 0x1ffbb(%rip), %rcx     # 0x285d0
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rcx
andq $0x1, %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movb %al, -0x59(%rbp)
je 0x86a7
movq 0x1fb49(%rip), %rcx     # 0x28180
movq 0x1ff92(%rip), %rax     # 0x285d0
movq 0x1ff8b(%rip), %rdx     # 0x285d0
movq 0x1ff84(%rip), %rsi     # 0x285d0
movq -0x10(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rax,%rdx,8), %rdx
xorl %eax, %eax
cmpq $0x0, (%rcx,%rdx,8)
movb %al, -0x5a(%rbp)
jne 0x869f
movq 0x1ff61(%rip), %rax     # 0x285d0
movq 0x1ff5a(%rip), %rcx     # 0x285d0
movq 0x1ff53(%rip), %rdx     # 0x285d0
movq 0x1ff4c(%rip), %rsi     # 0x285d0
movq -0x10(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1, (%rax,%rcx,8)
sete %al
movb %al, -0x5a(%rbp)
movb -0x5a(%rbp), %al
xorb $-0x1, %al
movb %al, -0x59(%rbp)
movb -0x59(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x48(%rbp)
movq 0x1fac7(%rip), %rax     # 0x28180
movq 0x1ff10(%rip), %rcx     # 0x285d0
movq -0x18(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rcx
andq $0x1, %rcx
xorl %eax, %eax
cmpq $0x0, %rcx
movb %al, -0x5b(%rbp)
je 0x8752
movq 0x1fa9e(%rip), %rcx     # 0x28180
movq 0x1fee7(%rip), %rax     # 0x285d0
movq 0x1fee0(%rip), %rdx     # 0x285d0
movq 0x1fed9(%rip), %rsi     # 0x285d0
movq -0x18(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rax,%rdx,8), %rdx
xorl %eax, %eax
cmpq $0x0, (%rcx,%rdx,8)
movb %al, -0x5c(%rbp)
jne 0x874a
movq 0x1feb6(%rip), %rax     # 0x285d0
movq 0x1feaf(%rip), %rcx     # 0x285d0
movq 0x1fea8(%rip), %rdx     # 0x285d0
movq 0x1fea1(%rip), %rsi     # 0x285d0
movq -0x18(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1, (%rax,%rcx,8)
sete %al
movb %al, -0x5c(%rbp)
movb -0x5c(%rbp), %al
xorb $-0x1, %al
movb %al, -0x5b(%rbp)
movb -0x5b(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x4c(%rbp)
movq 0x1fe6c(%rip), %rax     # 0x285d0
movq 0x1fe65(%rip), %rcx     # 0x285d0
movq 0x1fe5e(%rip), %rdx     # 0x285d0
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rsi
movq $-0x18, %rdi
movl $0x1, %edx
callq 0x3780
movq %rax, -0x10(%rbp)
cmpl $0x0, -0x48(%rbp)
je 0x87aa
movq -0x10(%rbp), %rdi
callq 0x4a70
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdx
movq 0x1f9cb(%rip), %rax     # 0x28180
movq 0x1fe14(%rip), %rcx     # 0x285d0
movq 0x1f975(%rip), %rsi     # 0x28138
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x1fdfe(%rip), %rax     # 0x285d0
movq 0x1fdf7(%rip), %rcx     # 0x285d0
movq 0x1fdf0(%rip), %rdx     # 0x285d0
movq -0x18(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rsi
movq $-0x18, %rdi
movl $0x1, %edx
callq 0x3780
movq %rax, -0x18(%rbp)
cmpl $0x0, -0x4c(%rbp)
je 0x8818
movq -0x18(%rbp), %rdi
callq 0x4a70
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdx
movq 0x1f95d(%rip), %rax     # 0x28180
movq 0x1f90e(%rip), %rcx     # 0x28138
movq %rdx, (%rax,%rcx,8)
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x4e50
movq %rax, -0x28(%rbp)
movl $0x2, %edi
callq 0x3950
movq 0x1f930(%rip), %rax     # 0x28180
movq 0x1fd79(%rip), %rcx     # 0x285d0
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rdx
xorl %eax, %eax
movl $0x1, %ecx
cmpq $0x0, %rdx
cmovll %ecx, %eax
movl %eax, -0x44(%rbp)
movq -0x28(%rbp), %rdi
callq 0x49f0
movq %rax, -0x20(%rbp)
movl -0x44(%rbp), %edi
movq -0x30(%rbp), %rsi
movq 0x1fd41(%rip), %rax     # 0x285d0
movq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
callq 0x6350
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
leaq 0x179cf(%rip), %rsi     # 0x2027a
callq 0x6460
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x60, %rsp
popq %rbp
retq
nop