// File: /workspace/github_c_makefile_star2_O3/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
testl %edi, %edi
js 0x69cc
movq 0x12992(%rip), %rax     # 0x19350
movl %ebx, %r12d
testb $0x9, (%rax,%r12)
je 0x6aae
cmpl $-0x1, %ebp
je 0x69f9
movq 0x12968(%rip), %rax     # 0x19340
xorl %edi, %edi
movq 0x12967(%rip), %rcx     # 0x19348
movl %ebp, %edx
movslq %edx, %rdx
cmpl %ebx, (%rax,%rdx,4)
je 0x6a76
incl %edi
movl (%rcx,%rdx,4), %edx
cmpl $-0x1, %edx
jne 0x69e3
cmpl $-0x1, %r14d
je 0x6a28
movq 0x1293a(%rip), %rax     # 0x19340
xorl %edi, %edi
movq 0x12939(%rip), %rcx     # 0x19348
movl %r14d, %edx
movslq %edx, %rdx
cmpl %ebx, (%rax,%rdx,4)
je 0x6b25
incl %edi
movl (%rcx,%rdx,4), %edx
cmpl $-0x1, %edx
jne 0x6a12
testl %ebx, %ebx
js 0x6a6f
movq 0x1291d(%rip), %rax     # 0x19350
movl %ebx, %r12d
movb (%rax,%r12), %cl
testb $0x8, %cl
je 0x6a51
movq 0x128fa(%rip), %rdx     # 0x19340
cmpl $-0x12, (%rdx,%r12,4)
je 0x6c7a
testb $0x9, %cl
jne 0x6a6f
movq 0x128e3(%rip), %r13     # 0x19340
movl (%r13,%r12,4), %r15d
cmpl %r15d, 0x12bcf(%rip)    # 0x19638
jne 0x6b92
movl %ebx, %eax
jmp 0x6b83
movl 0x12cc8(%rip), %ebx     # 0x19744
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movl $0x1, %edx
callq 0x30e7
movl $0xfffffff2, %edi       # imm = 0xFFFFFFF2
movl %eax, %esi
movl $0x1, %edx
callq 0x30e7
movl %eax, %edi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
xorl %edx, %edx
callq 0x30e7
movl %ebx, %edi
jmp 0x6b0e
movq 0x1288b(%rip), %rax     # 0x19340
movl (%rax,%r12,4), %r15d
cmpl %r15d, 0x12c58(%rip)    # 0x19718
je 0x6af6
cmpl %r15d, 0x12c57(%rip)    # 0x19720
je 0x6af6
cmpl %r15d, 0x12c52(%rip)    # 0x19724
je 0x6af6
cmpl %r15d, 0x12c55(%rip)    # 0x19730
je 0x6af6
cmpl %r15d, 0x12c50(%rip)    # 0x19734
je 0x6af6
movl %r15d, %edi
callq 0x65ae
testl %eax, %eax
je 0x69cc
movq 0x1284b(%rip), %rax     # 0x19348
movl (%rax,%r12,4), %edi
movl %r14d, %esi
movl %ebp, %edx
callq 0x68fd
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 0x30e7
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movl $0x1, %edx
callq 0x30e7
movl $0xfffffff2, %edi       # imm = 0xFFFFFFF2
movl %eax, %esi
movl $0x1, %edx
callq 0x30e7
movl %eax, %ebp
movl %eax, 0x12627(%rip)     # 0x19174
movl 0x12bf4(%rip), %r14d    # 0x19748
movl %ebx, %edi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
xorl %edx, %edx
callq 0x30e7
movl %ebp, %edi
movl %eax, %esi
xorl %edx, %edx
callq 0x30e7
movl %r14d, %edi
movl %eax, %esi
xorl %edx, %edx
callq 0x30e7
movl $0xffffffff, 0x125f1(%rip) # imm = 0xFFFFFFFF
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
testl %r15d, %r15d
js 0x6bdf
testb $0x9, (%rax,%r15)
movl 0x12b86(%rip), %eax     # 0x19728
jne 0x6be5
cmpl (%r13,%r15,4), %eax
jne 0x6be5
movl 0x12b83(%rip), %esi     # 0x19734
movl %r15d, %edi
movl %eax, 0x4(%rsp)
callq 0x6da4
testl %eax, %eax
movl 0x4(%rsp), %eax
jne 0x6be5
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 0x6f9a
movl 0x12b43(%rip), %eax     # 0x19728
cmpl %r15d, %eax
jne 0x6c04
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 0x6c88
cmpl %r15d, 0x12b11(%rip)    # 0x1971c
jne 0x6c27
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 0x71ac
cmpl %r15d, 0x12afe(%rip)    # 0x1972c
jne 0x6c60
movq 0x12711(%rip), %rax     # 0x19348
movslq (%rax,%r12,4), %rcx
movl (%r13,%rcx,4), %ebx
movl (%rax,%rcx,4), %edi
movl %r14d, %esi
movl %ebp, %edx
callq 0x68fd
movl %ebx, %edi
movl %eax, %esi
xorl %edx, %edx
callq 0x30e7
movl %r15d, %edi
jmp 0x6b0e
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 0x68fd
leaq 0xcb00(%rip), %rdi      # 0x13781
movl %ebx, %esi
callq 0x2643