// File: /workspace/github_c_makefile_star2_O2/blakemcbride[P]LISP9/ls9.c
// Function: cconv
cell cconv(cell x, cell e, cell a) {
	int	n;

	if (	pairp(x) &&
		(S_apply == car(x)  ||
		 S_if == car(x)     ||
		 S_ifstar == car(x) ||
		 S_prog == car(x)   ||
		 S_setq == car(x)   ||
		 subrp(car(x))))
	{
		return cons(car(x), mapconv(cdr(x), e, a));
	}
	if ((n = posq(x, a)) != NIL) {
		return cons(I_arg, cons(mkfix(n), NIL));
	}
	if ((n = posq(x, e)) != NIL) {
		Tmp = mkfix(n);
		n = cons(I_ref, cons(Tmp, cons(x, NIL)));
		Tmp = NIL;
		return n;
	}
	if (symbolp(x)) {
		error("undefined symbol", x);
		return NIL;
	}
	if (atomp(x)) {
		return x;
	}
	if (S_quote == car(x)) {
		return x;
	}
	if (	pairp(car(x)) &&
		S_lambda == caar(x) &&
		liftable(car(x)))
	{
		return appconv(x, e, a);
	}
	if (S_lambda == car(x)) {
		return lamconv(x, e, a);
	}
	if (S_def == car(x)) {
		return defconv(x, e, a);
	}
	if (S_macro == car(x)) {
		return cons(car(x),
			    cons(cadr(x),
				 mapconv(cddr(x), e, a)));
	}
	return mapconv(x, e, a);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %edx, %ebp
movl %esi, %r14d
movl %edi, %ebx
movl %edi, %r12d
testl %edi, %edi
js 0x5d9e
movq 0x115bd(%rip), %rax     # 0x17350
testb $0x9, (%rax,%r12)
je 0x5e56
movl %ebx, %edi
movl %ebp, %esi
callq 0x5a91
cmpl $-0x1, %eax
je 0x5de4
movl 0x11992(%rip), %ebx     # 0x17744
pushq $-0x1
popq %rbp
pushq $0x1
popq %r14
movl %eax, %edi
movl %ebp, %esi
movl %r14d, %edx
callq 0x2f8c
pushq $-0xe
popq %rdi
movl %eax, %esi
movl %r14d, %edx
callq 0x2f8c
movl %eax, %edi
movl %ebp, %esi
xorl %edx, %edx
callq 0x2f8c
movl %ebx, %edi
jmp 0x5eb6
movl %ebx, %edi
movl %r14d, %esi
callq 0x5a91
cmpl $-0x1, %eax
je 0x5ecd
pushq $-0x1
popq %rbp
pushq $0x1
popq %r14
movl %eax, %edi
movl %ebp, %esi
movl %r14d, %edx
callq 0x2f8c
pushq $-0xe
popq %rdi
movl %eax, %esi
movl %r14d, %edx
callq 0x2f8c
movl %eax, %r14d
movl %eax, 0x11354(%rip)     # 0x17174
movl 0x11921(%rip), %r15d    # 0x17748
movl %ebx, %edi
movl %ebp, %esi
xorl %edx, %edx
callq 0x2f8c
movl %r14d, %edi
movl %eax, %esi
xorl %edx, %edx
callq 0x2f8c
movl %r15d, %edi
movl %eax, %esi
xorl %edx, %edx
callq 0x2f8c
orl $-0x1, 0x11323(%rip)    # 0x17174
jmp 0x5f0f
movq 0x114e3(%rip), %rax     # 0x17340
movl (%rax,%r12,4), %r15d
cmpl %r15d, 0x118b0(%rip)    # 0x17718
je 0x5e9e
cmpl %r15d, 0x118af(%rip)    # 0x17720
je 0x5e9e
cmpl %r15d, 0x118aa(%rip)    # 0x17724
je 0x5e9e
cmpl %r15d, 0x118ad(%rip)    # 0x17730
je 0x5e9e
cmpl %r15d, 0x118a8(%rip)    # 0x17734
je 0x5e9e
movl %r15d, %edi
callq 0x5a27
testl %eax, %eax
je 0x5d9e
movq 0x114a3(%rip), %rax     # 0x17348
movl (%rax,%r12,4), %edi
movl %r14d, %esi
movl %ebp, %edx
callq 0x5cd7
movl %r15d, %edi
movl %eax, %esi
xorl %edx, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2f8c
testl %ebx, %ebx
js 0x5f0d
movq 0x11478(%rip), %rax     # 0x17350
movb (%rax,%r12), %cl
testb $0x8, %cl
je 0x5ef3
movq 0x11458(%rip), %rdx     # 0x17340
cmpl $-0x12, (%rdx,%r12,4)
je 0x6000
testb $0x9, %cl
jne 0x5f0d
movq 0x11441(%rip), %r13     # 0x17340
movl (%r13,%r12,4), %r15d
cmpl %r15d, 0x1172d(%rip)    # 0x17638
jne 0x5f1e
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
testl %r15d, %r15d
js 0x5f65
testb $0x9, (%rax,%r15)
movl 0x117fa(%rip), %eax     # 0x17728
jne 0x5f6b
cmpl (%r13,%r15,4), %eax
jne 0x5f6b
movl %r15d, %edi
movl %eax, 0x4(%rsp)
callq 0x6158
testl %eax, %eax
movl 0x4(%rsp), %eax
je 0x5f6b
movl %ebx, %edi
movl %r14d, %esi
movl %ebp, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x62d5
movl 0x117bd(%rip), %eax     # 0x17728
cmpl %r15d, %eax
jne 0x5f8a
movl %ebx, %edi
movl %r14d, %esi
movl %ebp, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x600e
cmpl %r15d, 0x1178b(%rip)    # 0x1771c
jne 0x5fad
movl %ebx, %edi
movl %r14d, %esi
movl %ebp, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x649b
cmpl %r15d, 0x11778(%rip)    # 0x1772c
jne 0x5fe6
movq 0x1138b(%rip), %rax     # 0x17348
movslq (%rax,%r12,4), %rcx
movl (%r13,%rcx,4), %ebx
movl (%rax,%rcx,4), %edi
movl %r14d, %esi
movl %ebp, %edx
callq 0x5cd7
movl %ebx, %edi
movl %eax, %esi
xorl %edx, %edx
callq 0x2f8c
movl %r15d, %edi
jmp 0x5eb6
movl %ebx, %edi
movl %r14d, %esi
movl %ebp, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x5cd7
leaq 0xa73a(%rip), %rdi      # 0x10741
movl %ebx, %esi
callq 0x258a