// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: fmt_update_fraction
void
fmt_update_fraction(void)
{
	int d, h, w;
	struct atom *p1, *p2;

	p2 = pop(); // denominator
	p1 = pop(); // numerator

	h = HEIGHT(p1) + DEPTH(p1);
	d = HEIGHT(p2) + DEPTH(p2);
	w = MAX(WIDTH(p1), WIDTH(p2));

	h += 1;
	w += 2;

	push_double(EMIT_FRACTION);
	push_double(h);
	push_double(d);
	push_double(w);
	push(p1);
	push(p2);

	list(6);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
callq 0x868d
movq %rax, %rbx
callq 0x868d
movq %rax, %r14
cmpb $0x1, 0x10(%rax)
leaq 0x8(%rax), %rax
leaq 0x1f2d3(%rip), %rdx     # 0x3e9f0
cmovneq %rdx, %rax
movq (%rax), %rax
movb 0x10(%rax), %cl
cmpb $0x1, %cl
jne 0x1f739
movq (%rax), %rdi
movq 0x8(%rax), %rsi
movsd (%rdi), %xmm0
jmp 0x1f744
movq 0x1f2b0(%rip), %rsi     # 0x3e9f0
movsd (%rsi), %xmm0
cmpb $0x1, 0x10(%rsi)
movq %rdx, %rdi
jne 0x1f750
movq %rsi, %rdi
movq %rbx, %rsi
addq $0x8, %rsi
cmpb $0x1, 0x10(%rbx)
cmoveq %rsi, %rdx
movq (%rdx), %rdx
movb 0x10(%rdx), %sil
cmpb $0x1, %sil
jne 0x1f77a
movq (%rdx), %r9
movq 0x8(%rdx), %r8
movsd (%r9), %xmm1
jmp 0x1f786
movq 0x1f26f(%rip), %r8      # 0x3e9f0
movsd (%r8), %xmm1
cmpb $0x1, 0x10(%r8)
je 0x1f794
leaq 0x1f25c(%rip), %r8      # 0x3e9f0
cmpb $0x1, %cl
jne 0x1f7aa
movq 0x8(%rax), %r9
cmpb $0x1, 0x10(%r9)
jne 0x1f7d3
movq 0x8(%r9), %r9
jmp 0x1f7da
movq 0x1f23f(%rip), %r9      # 0x3e9f0
leaq 0x1f238(%rip), %r10     # 0x3e9f0
cmpb $0x1, 0x10(%r9)
jne 0x1f805
movq 0x8(%r9), %r9
cmpb $0x1, 0x10(%r9)
jne 0x1f805
movq 0x1f21f(%rip), %r9      # 0x3e9f0
jmp 0x1f7e5
movq 0x1f216(%rip), %r9      # 0x3e9f0
cmpb $0x1, 0x10(%r9)
jne 0x1f7f2
movq 0x8(%rax), %r9
cmpb $0x1, 0x10(%r9)
jne 0x1f7fb
addq $0x8, %r9
jmp 0x1f802
leaq 0x1f1f7(%rip), %r10     # 0x3e9f0
jmp 0x1f805
leaq 0x1f1ee(%rip), %r9      # 0x3e9f0
movq (%r9), %r10
movq (%rdi), %r9
movq (%r8), %r8
movq (%r10), %rdi
cvttsd2si (%rdi), %edi
cmpb $0x1, %sil
jne 0x1f829
movq 0x8(%rdx), %r10
cmpb $0x1, 0x10(%r10)
jne 0x1f852
movq 0x8(%r10), %r10
jmp 0x1f859
movq 0x1f1c0(%rip), %r11     # 0x3e9f0
leaq 0x1f1b9(%rip), %r10     # 0x3e9f0
cmpb $0x1, 0x10(%r11)
jne 0x1f884
movq 0x8(%r11), %r11
cmpb $0x1, 0x10(%r11)
jne 0x1f884
movq 0x1f1a0(%rip), %r10     # 0x3e9f0
jmp 0x1f864
movq 0x1f197(%rip), %r10     # 0x3e9f0
cmpb $0x1, 0x10(%r10)
jne 0x1f871
movq 0x8(%rdx), %r10
cmpb $0x1, 0x10(%r10)
jne 0x1f87a
addq $0x8, %r10
jmp 0x1f881
leaq 0x1f178(%rip), %r10     # 0x3e9f0
jmp 0x1f884
leaq 0x1f16f(%rip), %r10     # 0x3e9f0
movq (%r10), %r10
movsd (%r9), %xmm2
movsd (%r8), %xmm3
movq (%r10), %r8
cvttsd2si (%r8), %r8d
cmpl %r8d, %edi
jle 0x1f8b0
cmpb $0x1, %cl
jne 0x1f8c6
movq 0x8(%rax), %rcx
cmpb $0x1, 0x10(%rcx)
jne 0x1f8ed
movq 0x8(%rcx), %rcx
jmp 0x1f8f4
cmpb $0x1, %sil
jne 0x1f8c6
movq 0x8(%rdx), %rax
cmpb $0x1, 0x10(%rax)
jne 0x1f900
movq 0x8(%rax), %rax
jmp 0x1f907
movq 0x1f123(%rip), %rcx     # 0x3e9f0
leaq 0x1f11c(%rip), %rax     # 0x3e9f0
cmpb $0x1, 0x10(%rcx)
jne 0x1f930
movq 0x8(%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
jne 0x1f930
movq 0x1f105(%rip), %rax     # 0x3e9f0
jmp 0x1f911
movq 0x1f0fc(%rip), %rcx     # 0x3e9f0
cmpb $0x1, 0x10(%rcx)
jne 0x1f91d
movq 0x8(%rax), %rax
jmp 0x1f911
movq 0x1f0e9(%rip), %rax     # 0x3e9f0
cmpb $0x1, 0x10(%rax)
jne 0x1f91d
movq 0x8(%rdx), %rax
cmpb $0x1, 0x10(%rax)
jne 0x1f926
addq $0x8, %rax
jmp 0x1f92d
leaq 0x1f0cc(%rip), %rax     # 0x3e9f0
jmp 0x1f930
leaq 0x1f0c3(%rip), %rax     # 0x3e9f0
movq (%rax), %rax
movq (%rax), %rax
cvttsd2si (%rax), %r15d
cvttsd2si %xmm1, %eax
cvttsd2si %xmm3, %r12d
addl %eax, %r12d
cvttsd2si %xmm0, %eax
cvttsd2si %xmm2, %ecx
leal (%rax,%rcx), %r13d
incl %r13d
addl $0x2, %r15d
movsd 0x3861(%rip), %xmm0     # 0x231c0
callq 0xaf59
cvtsi2sd %r13d, %xmm0
callq 0xaf59
cvtsi2sd %r12d, %xmm0
callq 0xaf59
cvtsi2sd %r15d, %xmm0
callq 0xaf59
movq %r14, %rdi
callq 0x861b
movq %rbx, %rdi
callq 0x861b
pushq $0x6
popq %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x85eb