// File: /workspace/github_c_makefile_star2_O0/blakemcbride[P]LISP9/ls9.c
// Function: syncheck
int syncheck(cell x, int top) {
	cell	p;

	if (atomp(x)) return 0;
	for (p = x; pairp(p); p = cdr(p))
		;
	if (p != NIL)
		error("dotted list in program", x);
	if (car(x) == S_apply) return ckapply(x);
	if (car(x) == S_def) return ckdef(x, top);
	if (car(x) == S_if) return ckif(x);
	if (car(x) == S_ifstar) return ckifstar(x);
	if (car(x) == S_lambda) return cklambda(x);
	if (car(x) == S_macro) return ckmacro(x, top);
	if (car(x) == S_prog) return ckprog(x, top);
	if (car(x) == S_quote) return ckquote(x);
	if (car(x) == S_setq) return cksetq(x);
	return ckseq(x, top);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movl %edi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
cmpl $0x0, -0x8(%rbp)
jl 0x7ad2
movq 0x188a5(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x7ad2
movq 0x1888e(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
je 0x7ade
movl $0x0, -0x4(%rbp)
jmp 0x7cbc
movl -0x8(%rbp), %eax
movl %eax, -0x10(%rbp)
movb $0x1, %al
cmpl $0x0, -0x10(%rbp)
movb %al, -0x11(%rbp)
jl 0x7b26
movq 0x1885a(%rip), %rax     # 0x20350
movslq -0x10(%rbp), %rcx
movzbl (%rax,%rcx), %ecx
andl $0x1, %ecx
movb $0x1, %al
cmpl $0x0, %ecx
movb %al, -0x11(%rbp)
jne 0x7b26
movq 0x1883e(%rip), %rax     # 0x20350
movslq -0x10(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
setne %al
movb %al, -0x11(%rbp)
movb -0x11(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x7b31
jmp 0x7b46
jmp 0x7b33
movq 0x1880e(%rip), %rax     # 0x20348
movslq -0x10(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x10(%rbp)
jmp 0x7ae4
cmpl $-0x1, -0x10(%rbp)
je 0x7b5b
movl -0x8(%rbp), %esi
leaq 0x13c84(%rip), %rdi     # 0x1b7da
callq 0x26c0
movq 0x187de(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x18ba9(%rip), %eax     # 0x20718
jne 0x7b81
movl -0x8(%rbp), %edi
callq 0x7cd0
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movq 0x187b8(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x18b87(%rip), %eax     # 0x2071c
jne 0x7baa
movl -0x8(%rbp), %edi
movl -0xc(%rbp), %esi
callq 0x7d00
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movq 0x1878f(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x18b62(%rip), %eax     # 0x20720
jne 0x7bd0
movl -0x8(%rbp), %edi
callq 0x7e00
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movq 0x18769(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x18b40(%rip), %eax     # 0x20724
jne 0x7bf6
movl -0x8(%rbp), %edi
callq 0x7e40
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movq 0x18743(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x18b1e(%rip), %eax     # 0x20728
jne 0x7c1c
movl -0x8(%rbp), %edi
callq 0x8180
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movq 0x1871d(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x18afc(%rip), %eax     # 0x2072c
jne 0x7c42
movl -0x8(%rbp), %edi
movl -0xc(%rbp), %esi
callq 0x8260
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movq 0x186f7(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x18ada(%rip), %eax     # 0x20730
jne 0x7c68
movl -0x8(%rbp), %edi
movl -0xc(%rbp), %esi
callq 0x8360
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movq 0x186d1(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x189bc(%rip), %eax     # 0x20638
jne 0x7c8b
movl -0x8(%rbp), %edi
callq 0x8390
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movq 0x186ae(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x18a95(%rip), %eax     # 0x20734
jne 0x7cae
movl -0x8(%rbp), %edi
callq 0x83c0
movl %eax, -0x4(%rbp)
jmp 0x7cbc
movl -0x8(%rbp), %edi
movl -0xc(%rbp), %esi
callq 0x7a00
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)