LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: powcmp
int
powcmp(struct atom *p1, struct atom *p2)
{
	if (car(p1) != symbol(POWER) || car(p2) != symbol(POWER))
		return 0;
	if (!equal(cadr(p1), cadr(p2)))
		return 0; // bases don't match
	p1 = caddr(p1); // exponent
	p2 = caddr(p2); // exponent
	if (car(p1) != symbol(ADD))
		return 0; // p1 and p2 already failed exact match
	if (car(p2) == symbol(ADD))
		return addcmp(p1, p2);
	p1 = cdr(p1);
	while (iscons(p1)) {
		if (equal(car(p1), p2))
			return 1;
		p1 = cdr(p1);
	}
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movb 0x10(%rdi), %al
cmpb $0x1, %al
leaq 0x2d572(%rip), %r12     # 0x3e9f0
movq %r12, %rcx
cmoveq %rdi, %rcx
movq (%rcx), %rdx
xorl %ebx, %ebx
cmpq 0x2fe0f(%rip), %rdx     # 0x412a0
jne 0x1157d
movq %rsi, %r14
movb 0x10(%rsi), %cl
cmpb $0x1, %cl
movq %r12, %rsi
cmoveq %r14, %rsi
cmpq %rdx, (%rsi)
jne 0x1157d
movq %rdi, %r15
leaq 0x8(%rdi), %r13
cmpb $0x1, %al
movq %r12, %rax
cmoveq %r13, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r12, %rax
leaq 0x8(%r14), %rdx
cmpb $0x1, %cl
movq %r12, %rcx
movq %rdx, -0x30(%rbp)
cmoveq %rdx, %rcx
movq (%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
movq (%rax), %rdi
cmovneq %r12, %rcx
movq (%rcx), %rsi
callq 0x8760
testl %eax, %eax
jne 0x1157d
movq -0x30(%rbp), %rdx
cmpb $0x1, 0x10(%r15)
cmovneq %r12, %r13
movq (%r13), %rax
cmpb $0x1, 0x10(%rax)
jne 0x11518
movq 0x8(%rax), %rax
jmp 0x1151f
movq 0x2d4d1(%rip), %rax     # 0x3e9f0
cmpb $0x1, 0x10(%rax)
movq %r12, %rcx
jne 0x1152b
movq %rax, %rcx
cmpb $0x1, 0x10(%r14)
cmoveq %rdx, %r12
movq (%rcx), %r14
movq (%r12), %rax
cmpb $0x1, 0x10(%rax)
jne 0x11547
movq 0x8(%rax), %rax
jmp 0x1154e
movq 0x2d4a2(%rip), %rax     # 0x3e9f0
cmpb $0x1, 0x10(%rax)
je 0x1155b
leaq 0x2d495(%rip), %rax     # 0x3e9f0
cmpb $0x1, 0x10(%r14)
leaq 0x2d489(%rip), %r12     # 0x3e9f0
movq %r12, %rdx
cmoveq %r14, %rdx
sete %cl
movq (%rdx), %rdx
cmpq 0x2fd15(%rip), %rdx     # 0x41290
je 0x1158e
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
movq %r12, %rax
cmoveq %r15, %rax
cmpq %rdx, (%rax)
je 0x115d4
pushq $0x1
popq %r13
addq $0x8, %r14
testb $0x1, %cl
cmoveq %r12, %r14
movq (%r14), %r14
cmpb $0x1, 0x10(%r14)
jne 0x1157d
movq (%r14), %rdi
movq %r15, %rsi
callq 0x8760
testl %eax, %eax
je 0x115ed
cmpb $0x1, 0x10(%r14)
sete %cl
jmp 0x115a6
movq %r14, %rdi
movq %r15, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x112ce
movl %r13d, %ebx
jmp 0x1157d
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: expcos
void
expcos(void)
{
	struct atom *p1;
	p1 = pop();

	push(imaginaryunit);
	push(p1);
	multiply();
	expfunc();
	push_rational(1, 2);
	multiply();

	push(imaginaryunit);
	negate();
	push(p1);
	multiply();
	expfunc();
	push_rational(1, 2);
	multiply();

	add();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
callq 0x868d
movq %rax, %rbx
movq 0xf345b(%rip), %rdi     # 0x104ad0
callq 0x861b
movq %rbx, %rdi
callq 0x861b
callq 0x9fae
callq 0xe4ce
pushq $0x1
popq %r14
pushq $0x2
popq %r15
movl %r14d, %edi
movl %r15d, %esi
callq 0x9a47
callq 0x9fae
movq 0xf3425(%rip), %rdi     # 0x104ad0
callq 0x861b
callq 0x975f
movq %rbx, %rdi
callq 0x861b
callq 0x9fae
callq 0xe4ce
movl %r14d, %edi
movl %r15d, %esi
callq 0x9a47
callq 0x9fae
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0xa1f6
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: expcosh
void
expcosh(void)
{
	struct atom *p1;
	p1 = pop();
	push(p1);
	expfunc();
	push(p1);
	negate();
	expfunc();
	add();
	push_rational(1, 2);
	multiply();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
callq 0x868d
movq %rax, %rbx
movq %rax, %rdi
callq 0x861b
callq 0xe4ce
movq %rbx, %rdi
callq 0x861b
callq 0x975f
callq 0xe4ce
callq 0xa1f6
pushq $0x1
popq %rdi
pushq $0x2
popq %rsi
callq 0x9a47
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x9fae
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: expsin
void
expsin(void)
{
	struct atom *p1;
	p1 = pop();

	push(imaginaryunit);
	push(p1);
	multiply();
	expfunc();
	push(imaginaryunit);
	divide();
	push_rational(1, 2);
	multiply();

	push(imaginaryunit);
	negate();
	push(p1);
	multiply();
	expfunc();
	push(imaginaryunit);
	divide();
	push_rational(1, 2);
	multiply();

	subtract();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
callq 0x868d
movq %rax, %rbx
movq 0xf2ee3(%rip), %rdi     # 0x104ad0
callq 0x861b
movq %rbx, %rdi
callq 0x861b
callq 0x9fae
callq 0xe4ce
movq 0xf2ec5(%rip), %rdi     # 0x104ad0
callq 0x861b
callq 0xca0b
pushq $0x1
popq %r14
pushq $0x2
popq %r15
movl %r14d, %edi
movl %r15d, %esi
callq 0x9a47
callq 0x9fae
movq 0xf2e9c(%rip), %rdi     # 0x104ad0
callq 0x861b
callq 0x975f
movq %rbx, %rdi
callq 0x861b
callq 0x9fae
callq 0xe4ce
movq 0xf2e79(%rip), %rdi     # 0x104ad0
callq 0x861b
callq 0xca0b
movl %r14d, %edi
movl %r15d, %esi
callq 0x9a47
callq 0x9fae
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0xb07f
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: exptan
void
exptan(void)
{
	struct atom *p1;

	push_integer(2);
	push(imaginaryunit);
	multiply_factors(3);
	expfunc();

	p1 = pop();

	push(imaginaryunit);
	push(imaginaryunit);
	push(p1);
	multiply();
	subtract();

	push(p1);
	push_integer(1);
	add();

	divide();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
pushq $0x2
popq %rdi
callq 0xa426
movq 0xf2e3b(%rip), %rdi     # 0x104ad0
callq 0x861b
pushq $0x3
popq %rdi
callq 0xa04c
callq 0xe4ce
callq 0x868d
movq %rax, %rbx
movq 0xf2e1a(%rip), %rdi     # 0x104ad0
callq 0x861b
movq 0xf2e0e(%rip), %rdi     # 0x104ad0
callq 0x861b
movq %rbx, %rdi
callq 0x861b
callq 0x9fae
callq 0xb07f
movq %rbx, %rdi
callq 0x861b
pushq $0x1
popq %rdi
callq 0xa426
callq 0xa1f6
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0xca0b
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: expsinh
void
expsinh(void)
{
	struct atom *p1;
	p1 = pop();
	push(p1);
	expfunc();
	push(p1);
	negate();
	expfunc();
	subtract();
	push_rational(1, 2);
	multiply();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
callq 0x868d
movq %rax, %rbx
movq %rax, %rdi
callq 0x861b
callq 0xe4ce
movq %rbx, %rdi
callq 0x861b
callq 0x975f
callq 0xe4ce
callq 0xb07f
pushq $0x1
popq %rdi
pushq $0x2
popq %rsi
callq 0x9a47
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x9fae
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: exptanh
void
exptanh(void)
{
	struct atom *p1;
	push_integer(2);
	multiply();
	expfunc();
	p1 = pop();
	push(p1);
	push_integer(1);
	subtract();
	push(p1);
	push_integer(1);
	add();
	divide();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
pushq $0x2
popq %rdi
callq 0xa426
callq 0x9fae
callq 0xe4ce
callq 0x868d
movq %rax, %rbx
movq %rax, %rdi
callq 0x861b
pushq $0x1
popq %r14
movl %r14d, %edi
callq 0xa426
callq 0xb07f
movq %rbx, %rdi
callq 0x861b
movl %r14d, %edi
callq 0xa426
callq 0xa1f6
popq %rbx
popq %r14
popq %rbp
jmp 0xca0b
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: factorial
void
factorial(void)
{
	int i, n;
	double m;
	struct atom *p1;

	p1 = pop();

	if (isposint(p1)) {
		push(p1);
		n = pop_integer();
		push_integer(1);
		for (i = 2; i <= n; i++) {
			push_integer(i);
			multiply();
		}
		return;
	}

	if (isdouble(p1) && p1->u.d >= 0 && floor(p1->u.d) == p1->u.d) {
		push(p1);
		n = pop_integer();
		m = 1.0;
		for (i = 2; i <= n; i++)
			m *= i;
		push_double(m);
		return;
	}

	push_symbol(FACTORIAL);
	push(p1);
	list(2);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
callq 0x868d
movq %rax, %rbx
movq %rax, %rdi
callq 0x11f8c
testl %eax, %eax
je 0x11efc
movq %rbx, %rdi
callq 0x861b
callq 0xd9d9
movl %eax, %ebx
pushq $0x1
popq %rdi
callq 0xa426
pushq $0x2
popq %r14
cmpl %ebx, %r14d
jg 0x11ef3
movl %r14d, %edi
callq 0xa426
callq 0x9fae
incl %r14d
jmp 0x11edc
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
cmpb $0x5, 0x10(%rbx)
jne 0x11f5b
movsd (%rbx), %xmm0
movsd %xmm0, -0x18(%rbp)
callq 0x72f0
xorpd %xmm1, %xmm1
movsd -0x18(%rbp), %xmm2
ucomisd %xmm1, %xmm2
jb 0x11f5b
ucomisd %xmm2, %xmm0
jne 0x11f5b
jp 0x11f5b
movq %rbx, %rdi
callq 0x861b
pushq $0x2
popq %rbx
callq 0xd9d9
movsd 0x11201(%rip), %xmm2    # 0x23140
movsd 0x11231(%rip), %xmm1    # 0x23178
movapd %xmm2, %xmm0
cmpl %eax, %ebx
jg 0x11f7f
mulsd %xmm1, %xmm0
addsd %xmm2, %xmm1
incl %ebx
jmp 0x11f4b
movq 0x2b18e(%rip), %rdi     # 0x3d0f0
callq 0x861b
movq %rbx, %rdi
callq 0x861b
pushq $0x2
popq %rdi
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x85eb
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0xaf59
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: floorfunc
void
floorfunc(void)
{
	int i, n;
	uint32_t *a, *b;
	double d;
	struct atom *p1;

	p1 = pop();

	if (istensor(p1)) {
		p1 = copy_tensor(p1);
		n = p1->u.tensor->nelem;
		for (i = 0; i < n; i++) {
			push(p1->u.tensor->elem[i]);
			floorfunc();
			p1->u.tensor->elem[i] = pop();
		}
		push(p1);
		return;
	}

	if (isinteger(p1)) {
		push(p1);
		return;
	}

	if (isrational(p1)) {
		a = mdiv(p1->u.q.a, p1->u.q.b);
		b = mint(1);
		if (isnegativenumber(p1)) {
			push_bignum(MMINUS, a, b);
			push_integer(-1);
			add();
		} else
			push_bignum(MPLUS, a, b);
		return;
	}

	if (isdouble(p1)) {
		push(p1);
		d = pop_double();
		d = floor(d);
		push_double(d);
		return;
	}

	push_symbol(FLOOR);
	push(p1);
	list(2);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
callq 0x868d
movq %rax, %rbx
movzbl 0x10(%rax), %r14d
cmpl $0x7, %r14d
jne 0x12343
movq %rbx, %rdi
callq 0x8f1b
movq %rax, %rbx
movq (%rax), %rax
movl 0x64(%rax), %r14d
xorl %r15d, %r15d
testl %r14d, %r14d
cmovlel %r15d, %r14d
cmpq %r15, %r14
je 0x1234f
movq (%rbx), %rax
movq 0x68(%rax,%r15,8), %rdi
callq 0x861b
callq 0x122e1
callq 0x868d
movq (%rbx), %rcx
movq %rax, 0x68(%rcx,%r15,8)
incq %r15
jmp 0x1231a
movq %rbx, %rdi
callq 0x8b5d
testl %eax, %eax
je 0x12361
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x861b
cmpl $0x5, %r14d
je 0x123b8
cmpl $0x4, %r14d
jne 0x123d9
movq (%rbx), %rdi
movq 0x8(%rbx), %rsi
callq 0x7e20
movq %rax, %r14
pushq $0x1
popq %rdi
callq 0x7a09
movq %rax, %r15
movq %rbx, %rdi
callq 0x8c2a
testl %eax, %eax
je 0x123ff
pushq $0x1
popq %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0xb015
pushq $-0x1
popq %rdi
callq 0xa426
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0xa1f6
movq %rbx, %rdi
callq 0x861b
callq 0x8ae1
callq 0x72f0
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0xaf59
movq 0x2ad20(%rip), %rdi     # 0x3d100
callq 0x861b
movq %rbx, %rdi
callq 0x861b
pushq $0x2
popq %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x85eb
xorl %edi, %edi
movq %r14, %rsi
movq %r15, %rdx
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0xb015
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: issmallinteger
int
issmallinteger(struct atom *p)
{
	if (isinteger(p))
		return MLENGTH(p->u.q.a) == 1 && p->u.q.a[0] <= 0x7fffffff;

	if (isdouble(p))
		return p->u.d == floor(p->u.d) && fabs(p->u.d) <= 0x7fffffff;

	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
callq 0x8b5d
testl %eax, %eax
je 0x126d1
movq (%rbx), %rax
cmpl $0x1, -0x4(%rax)
jne 0x12712
cmpl $0x0, (%rax)
setns %al
jmp 0x12714
cmpb $0x5, 0x10(%rbx)
jne 0x12712
movsd (%rbx), %xmm0
movapd %xmm0, -0x20(%rbp)
callq 0x72f0
movapd 0x10a33(%rip), %xmm1    # 0x23120
movapd -0x20(%rbp), %xmm3
andpd %xmm3, %xmm1
movsd 0x10a82(%rip), %xmm2    # 0x23180
cmplepd %xmm2, %xmm1
cmpeqpd %xmm3, %xmm0
andpd %xmm1, %xmm0
movd %xmm0, %eax
jmp 0x12714
xorl %eax, %eax
movzbl %al, %eax
andl $0x1, %eax
addq $0x18, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: set_symbol
void
set_symbol(struct atom *p1, struct atom *p2, struct atom *p3)
{
	if (!isusersymbol(p1))
		stopf("symbol error");
	binding[p1->u.usym.index] = p2;
	usrfunc[p1->u.usym.index] = p3;
}

// Assembly:
cmpb $0x3, 0x10(%rdi)
jne 0x12744
movl 0x8(%rdi), %eax
leaq 0xf23af(%rip), %rcx     # 0x104ae0
movq %rsi, (%rcx,%rax,8)
movl 0x8(%rdi), %eax
leaq 0xf7801(%rip), %rcx     # 0x109f40
movq %rdx, (%rcx,%rax,8)
retq
pushq %rbp
movq %rsp, %rbp
leaq 0x15883(%rip), %rdi     # 0x27fd2
callq 0x7756
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_hadamard
void
eval_hadamard(struct atom *p1)
{
	push(cadr(p1));
	evalf();
	p1 = cddr(p1);
	while (iscons(p1)) {
		push(car(p1));
		evalf();
		hadamard();
		p1 = cdr(p1);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x8(%rdi), %r15
cmpb $0x1, 0x10(%rdi)
leaq 0x2c280(%rip), %r14     # 0x3e9f0
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x861b
callq 0x8fbb
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %r15
movq (%r15), %rbx
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %rax
movq (%rax), %rbx
cmpb $0x1, 0x10(%rbx)
jne 0x127c3
movq (%rbx), %rdi
callq 0x861b
callq 0x8fbb
callq 0x127ce
jmp 0x1279a
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: hadamard
void
hadamard(void)
{
	int i, n;
	struct atom *p1, *p2;

	p2 = pop();
	p1 = pop();

	if (!istensor(p1) || !istensor(p2)) {
		push(p1);
		push(p2);
		multiply();
		return;
	}

	if (p1->u.tensor->ndim != p2->u.tensor->ndim)
		stopf("hadamard");

	n = p1->u.tensor->ndim;

	for (i = 0; i < n; i++)
		if (p1->u.tensor->dim[i] != p2->u.tensor->dim[i])
			stopf("hadamard");

	p1 = copy_tensor(p1);

	n = p1->u.tensor->nelem;

	for (i = 0; i < n; i++) {
		push(p1->u.tensor->elem[i]);
		push(p2->u.tensor->elem[i]);
		multiply();
		p1->u.tensor->elem[i] = pop();
	}

	push(p1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
callq 0x868d
movq %rax, %rbx
callq 0x868d
cmpb $0x7, 0x10(%rax)
jne 0x12829
cmpb $0x7, 0x10(%rbx)
jne 0x12829
movq (%rax), %rcx
movl (%rcx), %edx
movq (%rbx), %rsi
cmpl (%rsi), %edx
jne 0x1281d
xorl %edi, %edi
testl %edx, %edx
cmovlel %edi, %edx
cmpq %rdi, %rdx
je 0x12846
movl 0x4(%rcx,%rdi,4), %r8d
leaq 0x1(%rdi), %r9
cmpl 0x4(%rsi,%rdi,4), %r8d
movq %r9, %rdi
je 0x12805
leaq 0x10b9c(%rip), %rdi     # 0x233c0
callq 0x7756
movq %rax, %rdi
callq 0x861b
movq %rbx, %rdi
callq 0x861b
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x9fae
movq %rax, %rdi
callq 0x8f1b
movq %rax, %r14
movq (%rax), %rax
movl 0x64(%rax), %r15d
xorl %r12d, %r12d
testl %r15d, %r15d
cmovlel %r12d, %r15d
cmpq %r12, %r15
je 0x12898
movq (%r14), %rax
movq 0x68(%rax,%r12,8), %rdi
callq 0x861b
movq (%rbx), %rax
movq 0x68(%rax,%r12,8), %rdi
callq 0x861b
callq 0x9fae
callq 0x868d
movq (%r14), %rcx
movq %rax, 0x68(%rcx,%r12,8)
incq %r12
jmp 0x12862
movq %r14, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x861b
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_index
void
eval_index(struct atom *p1)
{
	int h, n;
	struct atom *T;

	T = cadr(p1);

	p1 = cddr(p1);

	h = tos;

	while (iscons(p1)) {
		push(car(p1));
		evalf();
		p1 = cdr(p1);
	}

	// try to optimize by indexing before eval

	if (isusersymbol(T)) {
		p1 = get_binding(T);
		n = tos - h;
		if (istensor(p1) && n <= p1->u.tensor->ndim) {
			T = p1;
			indexfunc(T, h);
			evalf();
			return;
		}
	}

	push(T);
	evalf();
	T = pop();

	if (!istensor(T)) {
		tos = h; // pop all
		push(T); // quirky, but EVA2.txt depends on it
		return;
	}

	indexfunc(T, h);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
leaq 0x8(%rdi), %rax
cmpb $0x1, 0x10(%rdi)
leaq 0x2be4c(%rip), %r15     # 0x3e9f0
cmovneq %r15, %rax
movq (%rax), %rcx
leaq 0x8(%rcx), %rax
cmpb $0x1, 0x10(%rcx)
cmovneq %r15, %rcx
cmovneq %r15, %rax
movq (%rcx), %r14
movl 0x256e4(%rip), %ebx     # 0x382a8
movq (%rax), %r12
cmpb $0x1, 0x10(%r12)
jne 0x12bee
movq (%r12), %rdi
callq 0x861b
callq 0x8fbb
leaq 0x8(%r12), %rax
cmpb $0x1, 0x10(%r12)
cmovneq %r15, %rax
jmp 0x12bc4
cmpb $0x3, 0x10(%r14)
jne 0x12c12
movq %r14, %rdi
callq 0xd3b4
cmpb $0x7, 0x10(%rax)
jne 0x12c12
movl 0x2569f(%rip), %ecx     # 0x382a8
subl %ebx, %ecx
movq (%rax), %rdx
cmpl (%rdx), %ecx
jle 0x12c52
movq %r14, %rdi
callq 0x861b
callq 0x8fbb
callq 0x868d
cmpb $0x7, 0x10(%rax)
jne 0x12c3c
movq %rax, %rdi
movl %ebx, %esi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x12c69
movl %ebx, 0x25666(%rip)     # 0x382a8
movq %rax, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x861b
movq %rax, %rdi
movl %ebx, %esi
callq 0x12c69
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x8fbb
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: indexfunc
void
indexfunc(struct atom *T, int h)
{
	int i, k, m, n, r, t, w;
	struct atom *p1;

	m = T->u.tensor->ndim;

	n = tos - h;

	r = m - n; // rank of result

	if (r < 0)
		stopf("index error");

	k = 0;

	for (i = 0; i < n; i++) {
		push(stack[h + i]);
		t = pop_integer();
		if (t < 1 || t > T->u.tensor->dim[i]) {
			if (shuntflag) {
				errorflag = 1;
				t = 1;
			} else
				stopf("index error");
		}
		k = k * T->u.tensor->dim[i] + t - 1;
	}

	tos = h; // pop all

	if (r == 0) {
		push(T->u.tensor->elem[k]); // scalar result
		return;
	}

	w = 1;

	for (i = n; i < m; i++)
		w *= T->u.tensor->dim[i];

	k *= w;

	p1 = alloc_tensor(w);

	for (i = 0; i < w; i++)
		p1->u.tensor->elem[i] = T->u.tensor->elem[k + i];

	p1->u.tensor->ndim = r;

	for (i = 0; i < r; i++)
		p1->u.tensor->dim[i] = T->u.tensor->dim[n + i];

	push(p1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq (%rdi), %rcx
movslq (%rcx), %rdx
movslq 0x25621(%rip), %r15     # 0x382a8
movl %esi, -0x30(%rbp)
movslq %esi, %rax
movq %r15, -0x40(%rbp)
subq %rax, %r15
movq %rdx, -0x48(%rbp)
subl %r15d, %edx
movl %edx, -0x2c(%rbp)
js 0x12df0
movq %rdi, %rbx
xorl %r14d, %r14d
testl %r15d, %r15d
movl $0x0, %r13d
cmovgl %r15d, %r13d
movq %rax, -0x38(%rbp)
leaq (,%rax,8), %rax
movq %rax, -0x50(%rbp)
xorl %r12d, %r12d
cmpq %r14, %r13
je 0x12d2e
movq -0x50(%rbp), %rax
leaq (%rax,%r14,8), %rax
leaq 0x2e8d2(%rip), %rcx     # 0x415b0
movq (%rcx,%rax), %rdi
callq 0x861b
callq 0xd9d9
testl %eax, %eax
jle 0x12cfc
movq (%rbx), %rcx
movl 0x4(%rcx,%r14,4), %edx
cmpl %edx, %eax
jle 0x12d1e
cmpl $0x0, 0xfc6b1(%rip)     # 0x10f3b4
je 0x12df0
movl $0x1, 0xfc69d(%rip)     # 0x10f3b0
movq (%rbx), %rcx
movl 0x4(%rcx,%r14,4), %edx
pushq $0x1
popq %rax
imull %r12d, %edx
leal (%rax,%rdx), %r12d
decl %r12d
incq %r14
jmp 0x12cca
movl -0x30(%rbp), %eax
movl %eax, 0x25571(%rip)     # 0x382a8
movq -0x48(%rbp), %rax
cmpl %r15d, %eax
jne 0x12d4d
movslq %r12d, %rax
movq 0x68(%rcx,%rax,8), %rdi
jmp 0x12ddd
pushq $0x1
popq %r14
cmpq %rax, %r15
jge 0x12d61
imull 0x4(%rcx,%r15,4), %r14d
incq %r15
jmp 0x12d51
imull %r14d, %r12d
movl %r14d, %edi
callq 0x77da
movslq %r12d, %rdx
xorl %ecx, %ecx
testl %r14d, %r14d
cmovlel %ecx, %r14d
leaq 0x68(,%rdx,8), %rdx
movq -0x40(%rbp), %r8
movq -0x38(%rbp), %r9
cmpq %rcx, %r14
je 0x12da5
movq (%rbx), %rsi
addq %rdx, %rsi
movq (%rsi,%rcx,8), %rsi
movq (%rax), %rdi
movq %rsi, 0x68(%rdi,%rcx,8)
incq %rcx
jmp 0x12d89
movq (%rax), %rcx
movl -0x2c(%rbp), %edx
movl %edx, (%rcx)
movl %edx, %ecx
shlq $0x2, %r8
shlq $0x2, %r9
subq %r9, %r8
addq $0x4, %r8
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x12dda
movq (%rbx), %rsi
addq %r8, %rsi
movl (%rsi,%rdx,4), %esi
movq (%rax), %rdi
movl %esi, 0x4(%rdi,%rdx,4)
incq %rdx
jmp 0x12dc0
movq %rax, %rdi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x861b
leaq 0x14de8(%rip), %rdi     # 0x27bdf
callq 0x7756
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_infixform
void
eval_infixform(struct atom *p1)
{
	push(cadr(p1));
	evalf();
	p1 = pop();

	outbuf_init();
	infixform_expr(p1);

	push_string(outbuf);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
cmpb $0x1, 0x10(%rdi)
leaq 0x8(%rdi), %rax
leaq 0x2bbdf(%rip), %rcx     # 0x3e9f0
cmovneq %rcx, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmoveq %rax, %rcx
movq (%rcx), %rdi
callq 0x861b
callq 0x8fbb
callq 0x868d
movq %rax, %rbx
callq 0x12e54
movq %rbx, %rdi
callq 0x12e6c
movq 0xfc56f(%rip), %rdi     # 0x10f3b8
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x12f1a
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_expr
void
infixform_expr(struct atom *p)
{
	if (isnegativeterm(p) || (car(p) == symbol(ADD) && isnegativeterm(cadr(p))))
		outbuf_puts("-");
	if (car(p) == symbol(ADD))
		infixform_expr_nib(p);
	else
		infixform_term(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
callq 0x9fd6
leaq 0x2bb6a(%rip), %r14     # 0x3e9f0
testl %eax, %eax
je 0x12ea3
leaq 0x10583(%rip), %rdi     # 0x23414
callq 0x12f84
movb 0x10(%rbx), %r15b
movq 0x2e3ef(%rip), %r12     # 0x41290
jmp 0x12ec4
movb 0x10(%rbx), %r15b
cmpb $0x1, %r15b
movq %r14, %rax
cmoveq %rbx, %rax
movq (%rax), %r12
movq 0x2e3d4(%rip), %rax     # 0x41290
cmpq %rax, %r12
je 0x12ef1
movq %rax, %r12
cmpb $0x1, %r15b
cmoveq %rbx, %r14
cmpq %r12, (%r14)
je 0x12ee1
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x130f7
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x13055
leaq 0x8(%rbx), %rax
cmpb $0x1, %r15b
cmovneq %r14, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x9fd6
testl %eax, %eax
jne 0x12e8a
jmp 0x12ec4
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: push_string
void
push_string(char *s)
{
	struct atom *p;
	p = alloc_str();
	s = strdup(s);
	if (s == NULL)
		exit(1);
	p->u.str = s;
	push(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %r14
callq 0x785f
movq %rax, %rbx
movq %r14, %rdi
callq 0x7340
testq %rax, %rax
je 0x12f48
movq %rax, (%rbx)
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x861b
pushq $0x1
popq %rdi
callq 0x7320
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: print_infixform
void
print_infixform(struct atom *p)
{
	outbuf_init();
	infixform_expr(p);
	outbuf_puts("\n");
	printbuf(outbuf, BLACK);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x12e54
movq %rbx, %rdi
callq 0x12e6c
leaq 0x14fb5(%rip), %rdi     # 0x27f22
callq 0x12f84
movq 0xfc43f(%rip), %rdi     # 0x10f3b8
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x13012
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: outbuf_puts
void
outbuf_puts(char *s)
{
	int len, m;

	len = (int) strlen(s);

	// Let outbuf_index + len == 1000

	// Then m == 2000 hence there is always room for the terminator '\0'

	m = 1000 * ((outbuf_index + len) / 1000 + 1); // m is a multiple of 1000

	if (m > outbuf_length) {
		outbuf = realloc(outbuf, m);
		if (outbuf == NULL)
			exit(1);
		outbuf_length = m;
	}

	strcpy(outbuf + outbuf_index, s);
	outbuf_index += len;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x70e0
movq %rax, %r14
movl 0xfc849(%rip), %ecx     # 0x10f7e8
movl %ecx, %r15d
addl %r14d, %r15d
movl $0x3e8, %esi            # imm = 0x3E8
movl %r15d, %eax
cltd
idivl %esi
subl %edx, %r15d
addl %esi, %r15d
movq 0xfc3fb(%rip), %rax     # 0x10f3b8
cmpl 0xfc828(%rip), %r15d    # 0x10f7ec
jle 0x12fea
movslq %r15d, %rsi
movq %rax, %rdi
callq 0x72b0
movq %rax, 0xfc3e0(%rip)     # 0x10f3b8
testq %rax, %rax
je 0x1300a
movl %r15d, 0xfc808(%rip)    # 0x10f7ec
movl 0xfc7fe(%rip), %ecx     # 0x10f7e8
movslq %ecx, %rdi
addq %rax, %rdi
movq %rbx, %rsi
callq 0x7090
addl %r14d, 0xfc7e9(%rip)    # 0x10f7e8
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
pushq $0x1
popq %rdi
callq 0x7320
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_expr_nib
void
infixform_expr_nib(struct atom *p)
{
	infixform_term(cadr(p));
	p = cddr(p);
	while (iscons(p)) {
		if (isnegativeterm(car(p)))
			outbuf_puts(" - ");
		else
			outbuf_puts(" + ");
		infixform_term(car(p));
		p = cdr(p);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
leaq 0x8(%rdi), %r15
cmpb $0x1, 0x10(%rdi)
leaq 0x2b97e(%rip), %r14     # 0x3e9f0
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x130f7
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %r15
movq (%r15), %r12
leaq 0x1032f(%rip), %rbx     # 0x233cd
leaq 0x10324(%rip), %r15     # 0x233c9
leaq 0x8(%r12), %rax
cmpb $0x1, 0x10(%r12)
cmovneq %r14, %rax
movq (%rax), %r12
cmpb $0x1, 0x10(%r12)
jne 0x130ee
movq (%r12), %rdi
callq 0x9fd6
movq %rbx, %rdi
testl %eax, %eax
je 0x130d2
movq %r15, %rdi
callq 0x12f84
cmpb $0x1, 0x10(%r12)
movq %r14, %rax
cmoveq %r12, %rax
movq (%rax), %rdi
callq 0x130f7
jmp 0x130a5
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_term_nib
void
infixform_term_nib(struct atom *p)
{
	if (find_denominator(p)) {
		infixform_numerators(p);
		outbuf_puts(" / ");
		infixform_denominators(p);
		return;
	}

	// no denominators

	p = cdr(p);

	if (isminusone(car(p)))
		p = cdr(p); // sign already emitted

	infixform_factor(car(p));

	p = cdr(p);

	while (iscons(p)) {
		outbuf_puts(" "); // space in between factors
		infixform_factor(car(p));
		p = cdr(p);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
callq 0x8b7d
testl %eax, %eax
je 0x1315d
movq %rbx, %rdi
callq 0x13538
leaq 0x102b5(%rip), %rdi     # 0x233fd
callq 0x12f84
movq %rbx, %rdi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x135d5
cmpb $0x1, 0x10(%rbx)
leaq 0x8(%rbx), %rax
leaq 0x2b884(%rip), %r14     # 0x3e9f0
cmovneq %r14, %rax
movq (%rax), %r15
movb 0x10(%r15), %r12b
cmpb $0x1, %r12b
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0xbfac
testl %eax, %eax
je 0x131a1
addq $0x8, %r15
cmpb $0x1, %r12b
cmovneq %r14, %r15
movq (%r15), %r15
movb 0x10(%r15), %r12b
leaq 0x10227(%rip), %rbx     # 0x233cf
cmpb $0x1, %r12b
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rdi
callq 0x131e9
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x131e0
movq %rbx, %rdi
callq 0x12f84
movb 0x10(%r15), %r12b
jmp 0x131a8
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_numerators
void
infixform_numerators(struct atom *p)
{
	int k;
	char *s;
	struct atom *q;

	k = 0;

	p = cdr(p);

	while (iscons(p)) {

		q = car(p);
		p = cdr(p);

		if (!isnumerator(q))
			continue;

		if (++k > 1)
			outbuf_puts(" "); // space in between factors

		if (isrational(q)) {
			s = mstr(q->u.q.a);
			outbuf_puts(s);
			continue;
		}

		infixform_factor(q);
	}

	if (k == 0)
		outbuf_puts("1");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
cmpb $0x1, 0x10(%rdi)
leaq 0x8(%rdi), %rax
leaq 0x2b49e(%rip), %rcx     # 0x3e9f0
cmoveq %rax, %rcx
movq (%rcx), %r12
xorl %r15d, %r15d
leaq 0xfe6c(%rip), %rbx      # 0x233cf
cmpb $0x1, 0x10(%r12)
jne 0x135b3
movq (%r12), %r14
movq 0x8(%r12), %r12
movq %r14, %rdi
callq 0x8d62
testl %eax, %eax
je 0x13563
testl %r15d, %r15d
je 0x1358d
movq %rbx, %rdi
callq 0x12f84
incl %r15d
cmpb $0x4, 0x10(%r14)
jne 0x135a9
movq (%r14), %rdi
callq 0x7bb4
movq %rax, %rdi
callq 0x12f84
jmp 0x13563
movq %r14, %rdi
callq 0x131e9
jmp 0x13563
testl %r15d, %r15d
je 0x135c1
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x10bac(%rip), %rdi     # 0x24174
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x12f84
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_denominators
void
infixform_denominators(struct atom *p)
{
	int k, n;
	char *s;
	struct atom *q;

	n = count_denominators(p);

	if (n > 1)
		outbuf_puts("(");

	k = 0;

	p = cdr(p);

	while (iscons(p)) {

		q = car(p);
		p = cdr(p);

		if (!isdenominator(q))
			continue;

		if (++k > 1)
			outbuf_puts(" "); // space in between factors

		if (isrational(q)) {
			s = mstr(q->u.q.b);
			outbuf_puts(s);
			continue;
		}

		if (isminusone(caddr(q))) {
			q = cadr(q);
			infixform_factor(q);
		} else {
			infixform_base(cadr(q));
			outbuf_puts("^");
			infixform_numeric_exponent(caddr(q)); // sign is not emitted
		}
	}

	if (n > 1)
		outbuf_puts(")");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
callq 0x8c59
movl %eax, %r13d
cmpl $0x2, %eax
jl 0x135ff
leaq 0xfe00(%rip), %rdi      # 0x233fa
callq 0x12f84
cmpb $0x1, 0x10(%r14)
leaq 0x8(%r14), %rax
leaq 0x2b3e1(%rip), %rcx     # 0x3e9f0
cmovneq %rcx, %rax
movq (%rax), %r14
xorl %ebx, %ebx
cmpb $0x1, 0x10(%r14)
jne 0x1375e
movq (%r14), %r12
movq 0x8(%r14), %r14
movq %r12, %rdi
callq 0x8c96
testl %eax, %eax
je 0x13618
testl %ebx, %ebx
je 0x13646
leaq 0xfd8e(%rip), %rdi      # 0x233cf
callq 0x12f84
incl %ebx
movl %ebx, -0x30(%rbp)
movzbl 0x10(%r12), %ebx
cmpl $0x1, %ebx
je 0x1367c
leaq 0x2b393(%rip), %r15     # 0x3e9f0
movq %r15, %rax
cmpl $0x4, %ebx
jne 0x13688
movq 0x8(%r12), %rdi
callq 0x7bb4
movq %rax, %rdi
callq 0x12f84
movl -0x30(%rbp), %ebx
jmp 0x13618
leaq 0x8(%r12), %rax
leaq 0x2b368(%rip), %r15     # 0x3e9f0
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
movq %r15, %rax
jne 0x136a7
leaq 0x8(%r12), %rax
cmpb $0x1, %bl
cmovneq %r15, %rax
movq (%rax), %rax
addq $0x8, %rax
movl %r13d, -0x2c(%rbp)
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
movq %r15, %rax
jne 0x136d5
leaq 0x8(%r12), %rax
cmpb $0x1, %bl
cmovneq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
leaq 0x8(%rax), %rax
cmovneq %r15, %rax
movq (%rax), %rax
movq (%rax), %rdi
callq 0xbfac
leaq 0x8(%r12), %r13
cmpb $0x1, %bl
movq %r15, %rcx
cmoveq %r13, %rcx
movq (%rcx), %rcx
cmpb $0x1, 0x10(%rcx)
cmovneq %r15, %rcx
movq (%rcx), %rdi
testl %eax, %eax
je 0x1370f
callq 0x131e9
movl -0x2c(%rbp), %r13d
movl -0x30(%rbp), %ebx
jmp 0x13618
callq 0x1378d
leaq 0xfcf6(%rip), %rdi      # 0x23411
callq 0x12f84
cmpb $0x1, 0x10(%r12)
cmovneq %r15, %r13
movq (%r13), %rax
cmpb $0x1, 0x10(%rax)
movl -0x30(%rbp), %ebx
jne 0x1373d
movq 0x8(%rax), %rax
jmp 0x13744
movq 0x2b2ac(%rip), %rax     # 0x3e9f0
cmpb $0x1, 0x10(%rax)
movl -0x2c(%rbp), %r13d
jne 0x13751
movq %rax, %r15
movq (%r15), %rdi
callq 0x137f7
jmp 0x13618
cmpl $0x2, %r13d
jl 0x1377e
leaq 0x12d07(%rip), %rdi     # 0x26472
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x12f84
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_base
void
infixform_base(struct atom *p)
{
	if (isnum(p))
		infixform_numeric_base(p);
	else if (car(p) == symbol(ADD) || car(p) == symbol(MULTIPLY) || car(p) == symbol(POWER) || car(p) == symbol(FACTORIAL))
		infixform_subexpr(p);
	else
		infixform_expr(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movb 0x10(%rdi), %al
movzbl %al, %ecx
leal -0x4(%rcx), %edx
cmpl $0x2, %edx
jae 0x137a5
popq %rbp
jmp 0x13f31
movq %rdi, %rdx
cmpl $0x1, %ecx
je 0x137b4
leaq 0x2b23c(%rip), %rdx     # 0x3e9f0
movq (%rdx), %rcx
cmpq 0x2dad2(%rip), %rcx     # 0x41290
je 0x137f1
cmpb $0x1, %al
leaq 0x2b227(%rip), %rax     # 0x3e9f0
cmoveq %rdi, %rax
movq (%rax), %rax
cmpq 0x2dac1(%rip), %rax     # 0x41298
je 0x137f1
cmpq 0x2dac0(%rip), %rax     # 0x412a0
je 0x137f1
cmpq 0x29907(%rip), %rax     # 0x3d0f0
je 0x137f1
popq %rbp
jmp 0x12e6c
popq %rbp
jmp 0x13026
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_numeric_exponent
void
infixform_numeric_exponent(struct atom *p)
{
	if (isdouble(p)) {
		outbuf_puts("(");
		infixform_double(p);
		outbuf_puts(")");
		return;
	}

	if (isinteger(p)) {
		infixform_rational(p);
		return;
	}

	outbuf_puts("(");
	infixform_rational(p);
	outbuf_puts(")");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
cmpb $0x5, 0x10(%rdi)
jne 0x1381c
leaq 0xfbed(%rip), %rdi      # 0x233fa
callq 0x12f84
movq %rbx, %rdi
callq 0x138ad
jmp 0x1384a
movq %rbx, %rdi
callq 0x8b5d
testl %eax, %eax
je 0x13836
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x1385c
leaq 0xfbbd(%rip), %rdi      # 0x233fa
callq 0x12f84
movq %rbx, %rdi
callq 0x1385c
leaq 0x12c21(%rip), %rdi     # 0x26472
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x12f84
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_rational
void
infixform_rational(struct atom *p)
{
	char *s;

	s = mstr(p->u.q.a);
	outbuf_puts(s);

	s = mstr(p->u.q.b);

	if (strcmp(s, "1") == 0)
		return;

	outbuf_puts("/");

	outbuf_puts(s);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %rdi
callq 0x7bb4
movq %rax, %rdi
callq 0x12f84
movq 0x8(%rbx), %rdi
callq 0x7bb4
movq %rax, %rbx
cmpb $0x31, (%rax)
jne 0x1388c
cmpb $0x0, 0x1(%rbx)
je 0x138a6
leaq 0xfb76(%rip), %rdi      # 0x23409
callq 0x12f84
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x12f84
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_double
void
infixform_double(struct atom *p)
{
	char *s;

	snprintf(strbuf, STRBUFLEN, "%g", fabs(p->u.d));

	s = strbuf;

	while (*s && *s != 'E' && *s != 'e')
		outbuf_putc(*s++);

	if (!*s)
		return;

	s++;

	outbuf_puts(" 10^");

	if (*s == '-') {
		outbuf_puts("(-");
		s++;
		while (*s == '0')
			s++; // skip leading zeroes
		outbuf_puts(s);
		outbuf_puts(")");
	} else {
		if (*s == '+')
			s++;
		while (*s == '0')
			s++; // skip leading zeroes
		outbuf_puts(s);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movsd (%rdi), %xmm0
andps 0xf862(%rip), %xmm0     # 0x23120
leaq 0xfc03b(%rip), %rdi     # 0x10f900
leaq 0xfb3f(%rip), %rdx      # 0x2340b
movl $0x3e8, %esi            # imm = 0x3E8
movb $0x1, %al
callq 0x7100
leaq 0xfc022(%rip), %rbx     # 0x10f901
movzbl -0x1(%rbx), %eax
testl %eax, %eax
je 0x1393e
cmpl $0x45, %eax
je 0x138fe
cmpl $0x65, %eax
je 0x138fe
movsbl %al, %edi
callq 0x13ea9
incq %rbx
jmp 0x138df
leaq 0xfb09(%rip), %rdi      # 0x2340e
callq 0x12f84
movzbl (%rbx), %eax
cmpl $0x2b, %eax
je 0x13945
cmpl $0x2d, %eax
jne 0x13948
leaq 0xfaf5(%rip), %rdi      # 0x23413
callq 0x12f84
cmpb $0x30, 0x1(%rbx)
leaq 0x1(%rbx), %rbx
je 0x13923
movq %rbx, %rdi
callq 0x12f84
leaq 0x12b36(%rip), %rdi     # 0x26472
jmp 0x13958
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
incq %rbx
decq %rbx
leaq 0x1(%rbx), %rdi
cmpb $0x30, 0x1(%rbx)
movq %rdi, %rbx
je 0x1394b
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x12f84
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_index
void
infixform_index(struct atom *p)
{
	infixform_base(cadr(p));
	outbuf_puts("[");
	p = cddr(p);
	if (iscons(p)) {
		infixform_expr(car(p));
		p = cdr(p);
		while (iscons(p)) {
			outbuf_puts(",");
			infixform_expr(car(p));
			p = cdr(p);
		}
	}
	outbuf_puts("]");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x8(%rdi), %r15
cmpb $0x1, 0x10(%rdi)
leaq 0x2ae0b(%rip), %r14     # 0x3e9f0
movq %r14, %rax
cmoveq %r15, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rax
movq (%rax), %rdi
callq 0x1378d
leaq 0xf7fd(%rip), %rdi      # 0x23403
callq 0x12f84
cmpb $0x1, 0x10(%rbx)
cmovneq %r14, %r15
movq (%r15), %rax
leaq 0x8(%rax), %rcx
cmpb $0x1, 0x10(%rax)
cmovneq %r14, %rcx
movq (%rcx), %rax
cmpb $0x1, 0x10(%rax)
jne 0x13c6b
leaq 0xf7d3(%rip), %rbx      # 0x23405
movq %rax, %r15
movq (%rax), %rdi
callq 0x12e6c
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x13c6b
movq %rbx, %rdi
callq 0x12f84
cmpb $0x1, 0x10(%r15)
movq %r15, %rax
je 0x13c35
movq %r14, %rax
jmp 0x13c35
leaq 0xf795(%rip), %rdi      # 0x23407
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x12f84
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: get_usrfunc
struct atom *
get_usrfunc(struct atom *p)
{
	if (!isusersymbol(p))
		stopf("symbol error");
	p = usrfunc[p->u.usym.index];
	if (p == NULL)
		p = symbol(NIL);
	return p;
}

// Assembly:
cmpb $0x3, 0x10(%rdi)
jne 0x13ca2
movl 0x8(%rdi), %eax
leaq 0xf62af(%rip), %rcx     # 0x109f40
movq (%rcx,%rax,8), %rax
testq %rax, %rax
jne 0x13ca1
movq 0x2ad4f(%rip), %rax     # 0x3e9f0
retq
pushq %rbp
movq %rsp, %rbp
leaq 0x14325(%rip), %rdi     # 0x27fd2
callq 0x7756
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_arglist
void
infixform_arglist(struct atom *p)
{
	outbuf_puts("(");
	p = cdr(p);
	if (iscons(p)) {
		infixform_expr(car(p));
		p = cdr(p);
		while (iscons(p)) {
			outbuf_puts(",");
			infixform_expr(car(p));
			p = cdr(p);
		}
	}
	outbuf_puts(")");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0xf734(%rip), %rdi      # 0x233fa
callq 0x12f84
cmpb $0x1, 0x10(%rbx)
leaq 0x8(%rbx), %rax
leaq 0x2ad16(%rip), %r14     # 0x3e9f0
cmovneq %r14, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
jne 0x13d27
leaq 0xf717(%rip), %rbx      # 0x23405
movq %rax, %r15
movq (%rax), %rdi
callq 0x12e6c
leaq 0x8(%r15), %rax
cmpb $0x1, 0x10(%r15)
cmovneq %r14, %rax
movq (%rax), %r15
cmpb $0x1, 0x10(%r15)
jne 0x13d27
movq %rbx, %rdi
callq 0x12f84
cmpb $0x1, 0x10(%r15)
movq %r15, %rax
je 0x13cf1
movq %r14, %rax
jmp 0x13cf1
leaq 0x12744(%rip), %rdi     # 0x26472
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x12f84
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_reciprocal
void
infixform_reciprocal(struct atom *p)
{
	outbuf_puts("1 / "); // numerator
	if (isminusone(caddr(p))) {
		p = cadr(p);
		infixform_factor(p);
	} else {
		infixform_base(cadr(p));
		outbuf_puts("^");
		infixform_numeric_exponent(caddr(p)); // sign is not emitted
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0xf615(%rip), %rdi      # 0x233fc
callq 0x12f84
leaq 0x8(%rbx), %r14
cmpb $0x1, 0x10(%rbx)
leaq 0x2abf5(%rip), %r15     # 0x3e9f0
movq %r15, %rax
cmoveq %r14, %rax
movq (%rax), %r12
movb 0x10(%r12), %r13b
cmpb $0x1, %r13b
jne 0x13e17
movq 0x8(%r12), %rax
jmp 0x13e1e
movq 0x2abd2(%rip), %rax     # 0x3e9f0
cmpb $0x1, 0x10(%rax)
movq %r15, %rcx
jne 0x13e2a
movq %rax, %rcx
movq (%rcx), %rdi
callq 0xbfac
cmpb $0x1, %r13b
cmoveq %r12, %r15
movq (%r15), %rdi
testl %eax, %eax
je 0x13e54
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x131e9
callq 0x1378d
leaq 0xf5b1(%rip), %rdi      # 0x23411
callq 0x12f84
cmpb $0x1, 0x10(%rbx)
leaq 0x2ab80(%rip), %rax     # 0x3e9f0
cmovneq %rax, %r14
movq (%r14), %rcx
cmpb $0x1, 0x10(%rcx)
jne 0x13e83
movq 0x8(%rcx), %rcx
jmp 0x13e8a
movq 0x2ab66(%rip), %rcx     # 0x3e9f0
cmpb $0x1, 0x10(%rcx)
jne 0x13e93
movq %rcx, %rax
movq (%rax), %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x137f7
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: outbuf_putc
void
outbuf_putc(int c)
{
	int m;

	// Let outbuf_index + 1 == 1000

	// Then m == 2000 hence there is always room for the terminator '\0'

	m = 1000 * ((outbuf_index + 1) / 1000 + 1); // m is a multiple of 1000

	if (m > outbuf_length) {
		outbuf = realloc(outbuf, m);
		if (outbuf == NULL)
			exit(1);
		outbuf_length = m;
	}

	outbuf[outbuf_index++] = c;
	outbuf[outbuf_index] = '\0';
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movl %edi, %ebx
movl 0xfb930(%rip), %ecx     # 0x10f7e8
leal 0x1(%rcx), %eax
movl $0x3e8, %esi            # imm = 0x3E8
cltd
idivl %esi
negl %edx
leal (%rcx,%rdx), %r14d
incl %r14d
addl %esi, %r14d
movq 0xfb4e2(%rip), %rax     # 0x10f3b8
cmpl 0xfb90f(%rip), %r14d    # 0x10f7ec
jle 0x13f03
movslq %r14d, %rsi
movq %rax, %rdi
callq 0x72b0
movq %rax, 0xfb4c7(%rip)     # 0x10f3b8
testq %rax, %rax
je 0x13f29
movl %r14d, 0xfb8ef(%rip)    # 0x10f7ec
movl 0xfb8e5(%rip), %ecx     # 0x10f7e8
leal 0x1(%rcx), %edx
movl %edx, 0xfb8dc(%rip)     # 0x10f7e8
movslq %ecx, %rcx
movb %bl, (%rax,%rcx)
movq 0xfb49f(%rip), %rax     # 0x10f3b8
movslq 0xfb8c8(%rip), %rcx     # 0x10f7e8
movb $0x0, (%rax,%rcx)
popq %rbx
popq %r14
popq %rbp
retq
pushq $0x1
popq %rdi
callq 0x7320
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_numeric_base
void
infixform_numeric_base(struct atom *p)
{
	if (isposint(p))
		infixform_rational(p);
	else
		infixform_subexpr(p);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x11f8c
movq %rbx, %rdi
addq $0x8, %rsp
testl %eax, %eax
je 0x13f51
popq %rbx
popq %rbp
jmp 0x1385c
popq %rbx
popq %rbp
jmp 0x13026
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: infixform_tensor_nib
void
infixform_tensor_nib(struct atom *p, int d, int k)
{
	int i, n, span;

	if (d == p->u.tensor->ndim) {
		infixform_expr(p->u.tensor->elem[k]);
		return;
	}

	span = 1;

	n = p->u.tensor->ndim;

	for (i = d + 1; i < n; i++)
		span *= p->u.tensor->dim[i];

	outbuf_puts("(");

	n = p->u.tensor->dim[d];

	for (i = 0; i < n; i++) {

		infixform_tensor_nib(p, d + 1, k);

		if (i < n - 1)
			outbuf_puts(",");

		k += span;
	}

	outbuf_puts(")");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %edx, %ebx
movq %rdi, -0x38(%rbp)
movq (%rdi), %rax
movslq (%rax), %rcx
cmpl %esi, %ecx
jne 0x13f94
movslq %ebx, %rcx
movq 0x68(%rax,%rcx,8), %rdi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x12e6c
movl %esi, %r12d
leal 0x1(%r12), %edx
movl %edx, -0x2c(%rbp)
movslq %edx, %rdx
pushq $0x1
popq %r13
cmpq %rcx, %rdx
jge 0x13fb6
imull 0x4(%rax,%rdx,4), %r13d
incq %rdx
jmp 0x13fa6
leaq 0xf43d(%rip), %rdi      # 0x233fa
callq 0x12f84
movq -0x38(%rbp), %rax
movq (%rax), %rax
movslq %r12d, %rcx
movl 0x4(%rax,%rcx,4), %r12d
leal -0x1(%r12), %r14d
xorl %r15d, %r15d
testl %r12d, %r12d
cmovlel %r15d, %r12d
cmpl %r15d, %r12d
je 0x1400c
movq -0x38(%rbp), %rdi
movl -0x2c(%rbp), %esi
movl %ebx, %edx
callq 0x13f58
cmpl %r14d, %r15d
jge 0x14004
leaq 0xf406(%rip), %rdi      # 0x23405
callq 0x12f84
addl %r13d, %ebx
incl %r15d
jmp 0x13fe0
leaq 0x1245f(%rip), %rdi     # 0x26472
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x12f84
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_inner
void
eval_inner(struct atom *p1)
{
	int h = tos;

	// evaluate from right to left

	p1 = cdr(p1);

	while (iscons(p1)) {
		push(car(p1));
		p1 = cdr(p1);
	}

	if (h == tos)
		stopf("inner: no args");

	evalg();

	while (tos - h > 1) {
		swap();
		evalg();
		swap();
		inner();
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl 0x2426e(%rip), %r14d    # 0x382a8
leaq 0x2a9af(%rip), %r15     # 0x3e9f0
leaq 0x8(%rbx), %rax
cmpb $0x1, 0x10(%rbx)
cmovneq %r15, %rax
movq (%rax), %rbx
cmpb $0x1, 0x10(%rbx)
jne 0x14060
movq (%rbx), %rdi
callq 0x861b
jmp 0x14041
cmpl 0x24241(%rip), %r14d    # 0x382a8
je 0x1409d
callq 0x8f7d
movl 0x24234(%rip), %eax     # 0x382a8
subl %r14d, %eax
cmpl $0x2, %eax
jl 0x14092
callq 0xa49b
callq 0x8f7d
callq 0xa49b
callq 0x9780
jmp 0x1406e
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0xf372(%rip), %rdi      # 0x23416
callq 0x7756
// File: /workspace/github_c_makefile_star2_O2/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_integral
void
eval_integral(struct atom *p1)
{
	int flag, i, n;
	struct atom *X, *Y = NULL; // silence compiler

	push(cadr(p1));
	evalf();

	p1 = cddr(p1);

	if (!iscons(p1)) {
		push_symbol(X_LOWER);
		integral();
		return;
	}

	flag = 0;

	while (iscons(p1) || flag) {

		if (flag) {
			X = Y;
			flag = 0;
		} else {
			push(car(p1));
			evalf();
			X = pop();
			p1 = cdr(p1);
		}

		if (isnum(X)) {
			push(X);
			n = pop_integer();
			push_symbol(X_LOWER);
			X = pop();
			for (i = 0; i < n; i++) {
				push(X);
				integral();
			}
			continue;
		}

		if (!isusersymbol(X))
			stopf("integral");

		if (iscons(p1)) {

			push(car(p1));
			evalf();
			Y = pop();
			p1 = cdr(p1);

			if (isnum(Y)) {
				push(Y);
				n = pop_integer();
				for (i = 0; i < n; i++) {
					push(X);
					integral();
				}
				continue;
			}

			flag = 1;
		}

		push(X);
		integral();
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x8(%rdi), %r14
cmpb $0x1, 0x10(%rdi)
leaq 0x2a927(%rip), %r12     # 0x3e9f0
movq %r12, %rax
cmoveq %r14, %rax
movq (%rax), %rax
cmpb $0x1, 0x10(%rax)
cmovneq %r12, %rax
movq (%rax), %rdi
callq 0x861b
callq 0x8fbb
cmpb $0x1, 0x10(%rbx)
cmovneq %r12, %r14
movq (%r14), %rax
leaq 0x8(%rax), %rcx
cmpb $0x1, 0x10(%rax)
cmovneq %r12, %rcx
movq (%rcx), %r13
cmpb $0x1, 0x10(%r13)
jne 0x1424a
xorl %r15d, %r15d
xorl %ebx, %ebx
testl %r15d, %r15d
setne %al
movb 0x10(%r13), %cl
testb $0x1, %al
jne 0x14129
cmpb $0x1, %cl
jne 0x14269
testb $0x1, %al
je 0x14132
movq %rbx, %r14
jmp 0x14161
cmpb $0x1, %cl
movq %r12, %rax
cmoveq %r13, %rax
movq (%rax), %rdi
callq 0x861b
callq 0x8fbb
callq 0x868d
movq %rax, %r14
cmpb $0x1, 0x10(%r13)
leaq 0x8(%r13), %rax
cmovneq %r12, %rax
movq (%rax), %r13
movzbl 0x10(%r14), %eax
leal -0x4(%rax), %ecx
cmpl $0x2, %ecx
jae 0x141ba
movq %r14, %rdi
callq 0x861b
callq 0xd9d9
movl %eax, %r14d
movq 0x2c7b3(%rip), %rdi     # 0x40938
callq 0x861b
callq 0x868d
movq %rax, %r15
testl %r14d, %r14d
movl $0x0, %eax
cmovlel %eax, %r14d
subl $0x1, %r14d
jb 0x141b3
movq %r15, %rdi
callq 0x861b
callq 0xef62
jmp 0x1419e
xorl %eax, %eax
jmp 0x14118
cmpl $0x3, %eax
jne 0x14278
xorl %r15d, %r15d
cmpb $0x1, 0x10(%r13)
jne 0x14230
movq (%r13), %rdi
callq 0x861b
callq 0x8fbb
callq 0x868d
movq %rax, %rbx
leaq 0x8(%r13), %rax
cmpb $0x1, 0x10(%r13)
cmovneq %r12, %rax
movq (%rax), %r13
movb 0x10(%rbx), %al
andb $-0x2, %al
cmpb $0x4, %al
jne 0x1422c
movq %rbx, %rdi
callq 0x861b
callq 0xd9d9
movl %eax, %r15d
testl %eax, %eax
movl $0x0, %eax
cmovlel %eax, %r15d
subl $0x1, %r15d
jb 0x14242
movq %r14, %rdi
callq 0x861b
callq 0xef62
jmp 0x14217
pushq $0x1
popq %r15
movq %r14, %rdi
callq 0x861b
callq 0xef62
jmp 0x14112
xorl %r15d, %r15d
jmp 0x14112
movq 0x2c6e7(%rip), %rdi     # 0x40938
callq 0x861b
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xef62
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xf09d(%rip), %rdi      # 0x2331c
callq 0x7756