// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_status
void
eval_status(struct atom *p1)
{
	(void) p1; // silence compiler

	outbuf_init();

	snprintf(strbuf, STRBUFLEN, "block_count %d (%d%%)\n", block_count, 100 * block_count / MAXBLOCKS);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "free_count %d\n", free_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "gc_count %d\n", gc_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "bignum_count %d\n", bignum_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "ksym_count %d\n", ksym_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "usym_count %d\n", usym_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "string_count %d\n", string_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "tensor_count %d\n", tensor_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "max_eval_level %d\n", max_eval_level);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "max_tos %d (%d%%)\n", max_tos, 100 * max_tos / STACKSIZE);
	outbuf_puts(strbuf);

	printbuf(outbuf, BLACK);

	push_symbol(NIL);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl $0x0, 0xf4a4c(%rip)     # 0x1167f8
leaq 0xd138(%rip), %rdi      # 0x2eeeb
callq 0x16573
movslq 0x1d4f5(%rip), %rcx     # 0x3f2b4
imulq $0x66666667, %rcx, %r8  # imm = 0x66666667
movq %r8, %rax
shrq $0x3f, %rax
sarq $0x23, %r8
addl %eax, %r8d
leaq 0xf4b35(%rip), %rbx     # 0x116910
leaq 0xcc9c(%rip), %rdx      # 0x2ea7e
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movl 0x1d4a1(%rip), %ecx     # 0x3f2a0
leaq 0xcc8f(%rip), %rdx      # 0x2ea95
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movl 0xf45bd(%rip), %ecx     # 0x1163e0
leaq 0xcc7a(%rip), %rdx      # 0x2eaa4
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movl 0x21315(%rip), %ecx     # 0x4315c
leaq 0xcc63(%rip), %rdx      # 0x2eab1
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movl 0xf4579(%rip), %ecx     # 0x1163e4
leaq 0xcc50(%rip), %rdx      # 0x2eac2
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movl 0xf4559(%rip), %ecx     # 0x1163e8
leaq 0xcc3b(%rip), %rdx      # 0x2ead1
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movl 0x21299(%rip), %ecx     # 0x4314c
leaq 0xcc26(%rip), %rdx      # 0x2eae0
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movl 0x21271(%rip), %ecx     # 0x43148
leaq 0xcc13(%rip), %rdx      # 0x2eaf1
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movl 0xe9bd1(%rip), %ecx     # 0x10bacc
leaq 0xcc00(%rip), %rdx      # 0x2eb02
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movslq 0xf44cc(%rip), %rcx     # 0x1163ec
imulq $0x10624dd3, %rcx, %r8  # imm = 0x10624DD3
movq %r8, %rax
shrq $0x3f, %rax
sarq $0x26, %r8
addl %eax, %r8d
leaq 0xcbd9(%rip), %rdx      # 0x2eb15
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x16573
movq 0xf446e(%rip), %rdi     # 0x1163c8
movq 0x1606f(%rip), %rax     # 0x37fd0
movq (%rax), %rsi
callq 0x7120
movq 0x23a90(%rip), %rdi     # 0x45a00
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x8ba5