// File: /workspace/github_c_makefile_star2_O1/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:
movl %edi, %eax
movslq 0x18993(%rip), %rcx     # 0x3a2b8
movl %ecx, %edi
subl %eax, %edi
cmpl $0x1, %edi
jne 0x2192f
retq
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
xorpd %xmm1, %xmm1
xorpd %xmm2, %xmm2
xorpd %xmm0, %xmm0
cmpl %eax, %ecx
jle 0x21aa9
cltq
subq %rax, %rcx
shlq $0x3, %rax
xorl %edx, %edx
leaq 0x21c5e(%rip), %r8      # 0x435c0
leaq 0x1f097(%rip), %r9      # 0x40a00
xorl %esi, %esi
xorl %r10d, %r10d
xorl %r11d, %r11d
leaq (%rax,%rdx,8), %rbx
movq (%r8,%rbx), %rbx
leaq 0x8(%rbx), %r14
cmpb $0x1, 0x10(%rbx)
cmovneq %r9, %r14
movq (%r14), %rbx
movb 0x10(%rbx), %r14b
cmpb $0x1, %r14b
movq %r9, %r15
cmoveq %rbx, %r15
movq (%r15), %r15
cvttsd2si (%r15), %r15d
cmpl %r15d, %r10d
jg 0x219b7
cmpb $0x1, %r14b
movq %r9, %r10
cmoveq %rbx, %r10
movq (%r10), %r10
cvttsd2si (%r10), %r10d
addq $0x8, %rbx
cmpb $0x1, %r14b
movq %r9, %r15
cmoveq %rbx, %r15
movq (%r15), %r15
cmpb $0x1, 0x10(%r15)
movq %r9, %r15
jne 0x219e1
cmpb $0x1, %r14b
movq %r9, %r15
cmoveq %rbx, %r15
movq (%r15), %r15
movq (%r15), %r15
cvttsd2si (%r15), %r15d
cmpl %r15d, %r11d
jg 0x21a1c
cmpb $0x1, %r14b
movq %r9, %r11
cmoveq %rbx, %r11
movq (%r11), %r11
cmpb $0x1, 0x10(%r11)
movq %r9, %r11
jne 0x21a14
cmpb $0x1, %r14b
movq %r9, %r11
cmoveq %rbx, %r11
movq (%r11), %r11
movq (%r11), %r11
cvttsd2si (%r11), %r11d
cmpb $0x1, %r14b
movq %r9, %r15
cmoveq %rbx, %r15
movq (%r15), %r15
cmpb $0x1, 0x10(%r15)
movq %r9, %r15
jne 0x21a46
cmpb $0x1, %r14b
movq %r9, %r15
cmoveq %rbx, %r15
movq (%r15), %r15
addq $0x8, %r15
movq (%r15), %r15
cmpb $0x1, 0x10(%r15)
movq %r9, %r15
jne 0x21a7d
cmpb $0x1, %r14b
movq %r9, %r15
cmoveq %rbx, %r15
movq (%r15), %r15
cmpb $0x1, 0x10(%r15)
movq %r9, %r15
jne 0x21a7a
cmpb $0x1, %r14b
cmovneq %r9, %rbx
movq (%rbx), %r15
addq $0x8, %r15
movq (%r15), %r15
movq (%r15), %rbx
cvttsd2si (%rbx), %ebx
addl %ebx, %esi
incq %rdx
cmpq %rdx, %rcx
jne 0x21971
xorps %xmm2, %xmm2
cvtsi2sd %r10d, %xmm2
xorps %xmm1, %xmm1
cvtsi2sd %r11d, %xmm1
xorps %xmm0, %xmm0
cvtsi2sd %esi, %xmm0
movsd %xmm2, -0x20(%rbp)
movsd %xmm1, -0x28(%rbp)
movsd %xmm0, -0x30(%rbp)
callq 0x8ad9
callq 0x8b78
movq %rax, %rbx
callq 0x74ec
movb $0x5, %r14b
movb %r14b, 0x10(%rax)
movabsq $0x4008000000000000, %rcx # imm = 0x4008000000000000
movq %rcx, (%rax)
movq %rax, %rdi
callq 0x8b01
callq 0x74ec
movb %r14b, 0x10(%rax)
movsd -0x20(%rbp), %xmm0
movsd %xmm0, (%rax)
movq %rax, %rdi
callq 0x8b01
callq 0x74ec
movb %r14b, 0x10(%rax)
movsd -0x28(%rbp), %xmm0
movsd %xmm0, (%rax)
movq %rax, %rdi
callq 0x8b01
callq 0x74ec
movb %r14b, 0x10(%rax)
movsd -0x30(%rbp), %xmm0
movsd %xmm0, (%rax)
movq %rax, %rdi
callq 0x8b01
movq %rbx, %rdi
callq 0x8b01
movl $0x5, %edi
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x8ad9