// File: /workspace/github_c_makefile_star2_O3/georgeweigt[P]eigenmath/eigenmath.c
// Function: fmt_update_list
void
fmt_update_list(int t)
{
	int d, h, i, w;
	struct atom *p1;

	if (tos - t == 1)
		return;

	h = 0;
	d = 0;
	w = 0;

	for (i = t; i < tos; i++) {
		p1 = stack[i];
		h = MAX(h, HEIGHT(p1));
		d = MAX(d, DEPTH(p1));
		w += WIDTH(p1);
	}

	list(tos - t);
	p1 = pop();

	push_double(EMIT_LIST);
	push_double(h);
	push_double(d);
	push_double(w);
	push(p1);

	list(5);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %edi, %eax
movslq 0x1a731(%rip), %rcx     # 0x3f2b8
movl %ecx, %edi
subl %eax, %edi
cmpl $0x1, %edi
jne 0x24b9f
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorpd %xmm1, %xmm1
xorpd %xmm2, %xmm2
xorpd %xmm0, %xmm0
cmpl %eax, %ecx
jle 0x24d58
movl %edi, -0x30(%rbp)
movq 0x20e43(%rip), %rdx     # 0x45a00
cltq
subq %rax, %rcx
shlq $0x3, %rax
xorl %esi, %esi
leaq 0x20e31(%rip), %r9      # 0x45a00
xorl %r8d, %r8d
xorl %r15d, %r15d
xorl %r11d, %r11d
leaq (%rax,%rsi,8), %r10
leaq 0x239dd(%rip), %rdi     # 0x485c0
movq (%rdi,%r10), %r10
leaq 0x8(%r10), %rbx
cmpb $0x1, 0x10(%r10)
cmovneq %r9, %rbx
movq (%rbx), %rbx
movb 0x10(%rbx), %r14b
cmpb $0x1, %r14b
jne 0x24c4a
movq (%rbx), %r10
movq 0x8(%rbx), %r13
cvttsd2si (%r10), %r12d
cmpl %r12d, %r15d
cmovgl %r15d, %r12d
cmpb $0x1, 0x10(%r13)
jne 0x24c67
movq 0x8(%rbx), %r10
movq (%r10), %r10
cvttsd2si (%r10), %r10d
cmpl %r10d, %r11d
jg 0x24ca0
cmpb $0x1, %r14b
jne 0x24d2d
movq 0x8(%rbx), %rdi
cmpb $0x1, 0x10(%rdi)
jne 0x24d35
leaq 0x8(%rbx), %r10
jmp 0x24c94
cvttsd2si (%rdx), %r10d
cmpl %r10d, %r15d
jg 0x24c57
movl %r10d, %r15d
cmpb $0x1, 0x10(%rdx)
jne 0x24c7b
movq (%rdx), %r10
cvttsd2si (%r10), %r10d
jmp 0x24c80
cvttsd2si (%rdx), %edi
movq %r9, %r13
movl %r12d, %r15d
movq %r9, %r10
cmpl %edi, %r11d
jle 0x24c97
jmp 0x24cd8
cvttsd2si (%rdx), %r10d
cmpl %r10d, %r11d
jg 0x24cbc
cmpb $0x1, 0x10(%rdx)
movl %r15d, %r12d
movq %r9, %r10
movq %r9, %r13
jne 0x24c97
movq (%r10), %r13
movq (%r13), %rdi
cvttsd2si (%rdi), %r11d
cmpb $0x1, %r14b
jne 0x24cb9
movq 0x8(%rbx), %rdi
cmpb $0x1, 0x10(%rdi)
jne 0x24cd2
leaq 0x8(%rbx), %r13
movl %r12d, %r15d
jmp 0x24cc8
movl %r12d, %r15d
cmpb $0x1, 0x10(%rdx)
movq %r9, %r13
movq %r9, %r10
jne 0x24d15
movq (%r13), %r10
addq $0x8, %r10
jmp 0x24cd8
movl %r12d, %r15d
movq %r9, %r10
movq (%r10), %rdi
cmpb $0x1, 0x10(%rdi)
jne 0x24cfa
cmpb $0x1, %r14b
jne 0x24cff
movq 0x8(%rbx), %rdi
cmpb $0x1, 0x10(%rdi)
movq %r9, %r10
jne 0x24d12
addq $0x8, %rbx
jmp 0x24d0b
movq %r9, %r10
jmp 0x24d15
cmpb $0x1, 0x10(%rdx)
movq %r9, %rbx
movq %r9, %r10
jne 0x24d12
movq (%rbx), %r10
addq $0x8, %r10
movq (%r10), %r10
movq (%r10), %rdi
cvttsd2si (%rdi), %edi
addl %edi, %r8d
incq %rsi
cmpq %rsi, %rcx
jne 0x24bd8
jmp 0x24d3d
movl %r12d, %r15d
jmp 0x24c85
movq %r9, %r13
jmp 0x24c97
xorps %xmm2, %xmm2
cvtsi2sd %r15d, %xmm2
xorps %xmm1, %xmm1
cvtsi2sd %r11d, %xmm1
xorps %xmm0, %xmm0
cvtsi2sd %r8d, %xmm0
movl -0x30(%rbp), %edi
movsd %xmm2, -0x38(%rbp)
movsd %xmm1, -0x40(%rbp)
movsd %xmm0, -0x30(%rbp)
callq 0x8b7d
movl 0x1a546(%rip), %eax     # 0x3f2b8
movl $0xfffe795f, %ecx       # imm = 0xFFFE795F
leal (%rax,%rcx), %edx
cmpl %ecx, %edx
jbe 0x24e24
decl %eax
movl %eax, 0x1a52e(%rip)     # 0x3f2b8
leaq 0x2382f(%rip), %rcx     # 0x485c0
movq (%rcx,%rax,8), %rbx
callq 0x74dc
movb $0x5, %r14b
movb %r14b, 0x10(%rax)
movabsq $0x4008000000000000, %rcx # imm = 0x4008000000000000
movq %rcx, (%rax)
movq %rax, %rdi
callq 0x8ba5
callq 0x74dc
movb %r14b, 0x10(%rax)
movsd -0x38(%rbp), %xmm0
movsd %xmm0, (%rax)
movq %rax, %rdi
callq 0x8ba5
callq 0x74dc
movb %r14b, 0x10(%rax)
movsd -0x40(%rbp), %xmm0
movsd %xmm0, (%rax)
movq %rax, %rdi
callq 0x8ba5
callq 0x74dc
movb %r14b, 0x10(%rax)
movsd -0x30(%rbp), %xmm0
movsd %xmm0, (%rax)
movq %rax, %rdi
callq 0x8ba5
movq %rbx, %rdi
callq 0x8ba5
movl $0x5, %edi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x8b7d
leaq 0xa116(%rip), %rdi      # 0x2ef41
callq 0x780b