// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: prefixform
void
prefixform(struct atom *p)
{
	char *s;
	switch (p->atomtype) {
	case CONS:
		outbuf_puts("(");
		prefixform(car(p));
		p = cdr(p);
		while (iscons(p)) {
			outbuf_puts(" ");
			prefixform(car(p));
			p = cdr(p);
		}
		if (p != symbol(NIL)) {
			outbuf_puts(" . ");
			prefixform(p);
		}
		outbuf_puts(")");
		break;
	case STR:
		outbuf_puts("\"");
		outbuf_puts(p->u.str);
		outbuf_puts("\"");
		break;
	case RATIONAL:
		if (p->sign == MMINUS)
			outbuf_puts("-");
		s = mstr(p->u.q.a);
		outbuf_puts(s);
		s = mstr(p->u.q.b);
		if (strcmp(s, "1") == 0)
			break;
		outbuf_puts("/");
		outbuf_puts(s);
		break;
	case DOUBLE:
		snprintf(strbuf, STRBUFLEN, "%g", p->u.d);
		outbuf_puts(strbuf);
		if (!strchr(strbuf, '.') && !strchr(strbuf, 'e'))
			outbuf_puts(".0");
		break;
	case KSYM:
	case USYM:
		outbuf_puts(printname(p));
		break;
	case TENSOR:
		outbuf_puts("(tensor)");
		break;
	default:
		outbuf_puts("(?)");
		break;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movzbl 0x10(%rdi), %eax
decl %eax
cmpl $0x6, %eax
ja 0x1e6bd
movq %rdi, %rbx
leaq 0xba39(%rip), %rcx      # 0x2a094
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq (%rbx), %rdi
jmp 0x1e784
cmpb $0x1, 0x12(%rbx)
jne 0x1e67e
leaq 0xbd63(%rip), %rdi      # 0x2a3dc
callq 0x16573
movq (%rbx), %rdi
callq 0x7d7b
movq %rax, %rdi
callq 0x16573
movq 0x8(%rbx), %rdi
callq 0x7d7b
movq %rax, %rbx
cmpb $0x31, (%rax)
jne 0x1e6a9
cmpb $0x0, 0x1(%rbx)
je 0x1e7e4
leaq 0xbd21(%rip), %rdi      # 0x2a3d1
callq 0x16573
movq %rbx, %rdi
jmp 0x1e784
leaq 0x10269(%rip), %rdi     # 0x2e92d
jmp 0x1e784
leaq 0xbcf2(%rip), %rdi      # 0x2a3c2
callq 0x16573
cmpb $0x1, 0x10(%rbx)
leaq 0x27320(%rip), %r15     # 0x45a00
movq %r15, %rax
cmoveq %rbx, %rax
movq (%rax), %rdi
callq 0x1e63c
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r15, %rax
movq (%rax), %rbx
cmpb $0x1, 0x10(%rbx)
jne 0x1e73b
leaq 0xbc8c(%rip), %r14      # 0x2a397
movq %r14, %rdi
callq 0x16573
cmpb $0x1, 0x10(%rbx)
movq %r15, %rax
cmoveq %rbx, %rax
movq (%rax), %rdi
callq 0x1e63c
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r15, %rax
movq (%rax), %rbx
cmpb $0x1, 0x10(%rbx)
je 0x1e70b
cmpq 0x272be(%rip), %rbx     # 0x45a00
je 0x1e758
leaq 0x101d0(%rip), %rdi     # 0x2e91b
callq 0x16573
movq %rbx, %rdi
callq 0x1e63c
leaq 0xecdb(%rip), %rdi      # 0x2d43a
jmp 0x1e784
leaq 0x101b7(%rip), %r14     # 0x2e91f
movq %r14, %rdi
callq 0x16573
movq (%rbx), %rdi
callq 0x16573
movq %r14, %rdi
jmp 0x1e784
leaq 0x101a0(%rip), %rdi     # 0x2e924
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x16573
movsd (%rbx), %xmm0
leaq 0xf8172(%rip), %rbx     # 0x116910
leaq 0xbc2e(%rip), %rdx      # 0x2a3d3
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
movb $0x1, %al
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movq %rbx, %rdi
movl $0x2e, %esi
callq 0x70f0
testq %rax, %rax
jne 0x1e7e4
leaq 0xf813b(%rip), %rdi     # 0x116910
movl $0x65, %esi
callq 0x70f0
testq %rax, %rax
je 0x1e7ef
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1012b(%rip), %rdi     # 0x2e921
jmp 0x1e784