// File: /workspace/github_c_makefile_star2_O3/azhai[P]mlite/mlite.c
// Function: x_print_form
void x_print_form(cell n, int depth) {
	int	m;

	if (Streams[Outstream] == NULL) {
		error("outstream is not open", NOEXPR);
		return;
	}
	if (depth > MAX_IO_DEPTH) {
		error("printer: too many nested lists or vectors", NOEXPR);
		return;
	}
	if (n == NIL) {
		pr("[]");
	}
	else if (eof_p(n)) {
		pr("<eof>");
	}
	else if (n == NAN) {
		pr("<nan>");
	}
	else if (n == FALSE) {
		pr("false");
	}
	else if (n == TRUE) {
		pr("true");
	}
	else if (undefined_p(n)) {
		pr("<undefined>");
	}
	else if (n == GUARD) {
		pr("<guard>");
	}
	else if (unit_p(n)) {
		pr("()");
	}
	else if (virtual_p(n)) {
		print_virtual(n);
	}
	else {
		if (print_char(n)) return;
		if (print_fun(n)) return;
		if (print_continuation(n)) return;
		if (print_real(n)) return;
		if (print_integer(n)) return;
		if (print_primitive(n)) return;
		if (print_quoted(n)) return;
		if (print_string(n)) return;
		if (print_symbol(n)) return;
		if (print_syntax(n)) return;
		if (print_vector(n)) return;
		if (print_stream(n)) return;
		if (print_cons(n)) return;
		pr(list_p(n)? "[": "(");
		m = n;
		while (n != NIL) {
			if (Error_flag) return;
			if (Printer_limit && Printer_count > Printer_limit)
				return;
			x_print_form(car(n), depth+1);
			if (Error_flag) return;
			n = cdr(n);
			if (n != NIL && atom_p(n)) {
				pr(" :: ");
				x_print_form(n, depth+1);
				n = NIL;
			}
			if (n != NIL) pr(", ");
		}
		pr(list_p(m)? "]": ")");
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movslq 0x1514a(%rip), %rax     # 0x1e280
leaq 0x15043(%rip), %rcx     # 0x1e180
cmpq $0x0, (%rcx,%rax,8)
je 0x9158
movl %esi, %r14d
cmpl $0x10001, %esi          # imm = 0x10001
jl 0x9173
leaq 0xd4f5(%rip), %rdi      # 0x1664b
jmp 0x915f
leaq 0xd065(%rip), %rdi      # 0x161c4
movq $-0x8, %rsi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x33eb
movq %rdi, %rbx
leaq 0x9(%rdi), %rax
cmpq $0x8, %rax
ja 0x919c
leaq 0xcea9(%rip), %rcx      # 0x16030
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0xd4f9(%rip), %rdi      # 0x16690
jmp 0x92cd
testq %rbx, %rbx
js 0x92da
movq %rbx, %rdi
callq 0x8c2b
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8aeb
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8bf2
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x87ba
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x89f6
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8e74
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8a7f
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8d05
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8deb
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8eed
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8f26
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x8fd1
testl %eax, %eax
jne 0x9287
movq %rbx, %rdi
callq 0x9050
testl %eax, %eax
jne 0x9287
movq 0x15380(%rip), %rax     # 0x1e5e0
movb (%rax,%rbx), %al
andb $0x19, %al
cmpb $0x8, %al
leaq 0xd42d(%rip), %rax      # 0x1669b
leaq 0xd428(%rip), %rdi      # 0x1669d
cmoveq %rax, %rdi
callq 0x3964
cmpl $0x0, 0x1532f(%rip)     # 0x1e5b4
je 0x92ea
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0xd292(%rip), %rdi      # 0x16529
jmp 0x92cd
leaq 0xd3de(%rip), %rdi      # 0x1667e
jmp 0x92cd
leaq 0xd27b(%rip), %rdi      # 0x16524
jmp 0x92cd
leaq 0xd3c3(%rip), %rdi      # 0x16675
jmp 0x92cd
leaq 0xd3dd(%rip), %rdi      # 0x16698
jmp 0x92cd
leaq 0xd3c0(%rip), %rdi      # 0x16684
jmp 0x92cd
leaq 0xd3ab(%rip), %rdi      # 0x16678
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x3964
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x90f4
incl %r14d
leaq 0xd32f(%rip), %r12      # 0x16623
movq %rbx, %r15
movl 0x14f87(%rip), %eax     # 0x1e284
testl %eax, %eax
je 0x930d
cmpl %eax, 0x14f81(%rip)     # 0x1e288
jg 0x9287
movq 0x14e5c(%rip), %rax     # 0x1e170
movq (%rax,%r15,8), %rdi
movl %r14d, %esi
callq 0x9124
cmpl $0x0, 0x1528d(%rip)     # 0x1e5b4
jne 0x9287
movq 0x1528c(%rip), %rax     # 0x1e5c0
movq (%rax,%r15,8), %r15
cmpq $-0x1, %r15
je 0x937e
testq %r15, %r15
js 0x9367
movq 0x15296(%rip), %rax     # 0x1e5e0
testb $0x11, (%rax,%r15)
jne 0x9367
movq %r12, %rdi
callq 0x3964
cmpl $0x0, 0x15254(%rip)     # 0x1e5b4
je 0x92f7
jmp 0x9287
leaq 0xd2ca(%rip), %rdi      # 0x16638
callq 0x3964
movq %r15, %rdi
movl %r14d, %esi
callq 0x9124
testl %ebx, %ebx
js 0x93a6
movq 0x15257(%rip), %rax     # 0x1e5e0
movl %ebx, %ecx
andl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
movb (%rax,%rcx), %al
andb $0x19, %al
cmpb $0x8, %al
jne 0x93a6
leaq 0xd2d5(%rip), %rdi      # 0x16676
jmp 0x92cd
cmpl $-0x1, %ebx
leaq 0xd2c6(%rip), %rax      # 0x16676
leaq 0xe228(%rip), %rdi      # 0x175df
cmoveq %rax, %rdi
jmp 0x92cd