// File: /workspace/github_c_makefile_star2_O2/nimble-code[P]Uno/Src/uno_lts.c
// Function: lts_tree
static State *
lts_tree(State *n, treenode *root)
{	State *now = n;

	if (!root) return n;

	switch (root->hdr.which) {
	case IF_T:
		now = lts_if(now, (if_node *) root);
		break;

	case FOR_T:
		now = lts_for(now, (for_node *) root);
		break;

	case NODE_T:
		now = lts_node(now, root);
		break;

	case LEAF_T:
	case NONE_T:
		break;

	default:
		fprintf(stderr, "uno: unhandled type %s\n",
			name_of_nodetype(root->hdr.which));
		break;
	}
	return now;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rsi, %rbx
movq %rdi, %r14
xorl %r12d, %r12d
leaq 0x19c7a(%rip), %r13     # 0x2db08
leaq 0x19c87(%rip), %r15     # 0x2db1c
movq %rbx, %rbp
testq %rbp, %rbp
je 0x1489f
movl (%rbp), %edi
cmpq $0x4, %rdi
ja 0x14983
movslq (%r13,%rdi,4), %rax
addq %r13, %rax
jmpq *%rax
movl 0x1c(%rbp), %edi
cmpq $0x28, %rdi
ja 0x149d3
movslq (%r15,%rdi,4), %rax
addq %r15, %rax
jmpq *%rax
movq 0x48(%rbp), %rbp
jmp 0x13e98
movq 0x40(%rbp), %rsi
movq %r14, %rdi
callq 0x13e70
movq %rax, %r14
movq 0x48(%rbp), %rbx
jmp 0x13e95
cmpl $0x14d, 0x18(%rbp)      # imm = 0x14D
je 0x14177
movq %r12, 0x10(%rsp)
movq (%r14), %rax
movl (%rax), %edi
cmpl $0x2, %edi
jne 0x1414f
movq 0x5af48(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %rbx
movq 0x48(%rbp), %rcx
movq %rcx, (%rax)
movq %rax, 0x20(%rsp)
movq 0x5af2d(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, 0x18(%rsp)
movq 0x50(%rbp), %rcx
movq %rcx, (%rax)
callq 0x14b3d
movq %rax, %r12
leaq 0x19e46(%rip), %rdi     # 0x2dd91
callq 0xe97e
movq %rax, (%r12)
movq %rbx, 0x10(%r12)
callq 0x14b3d
movq %rax, 0x18(%r12)
leaq 0x19e1f(%rip), %rdi     # 0x2dd89
callq 0xe97e
movq 0x18(%r12), %rcx
movq %rax, (%rcx)
movq 0x18(%rsp), %rbx
movq %rbx, 0x10(%rcx)
movq %r12, 0x50(%r14)
movq 0x20(%rsp), %rdi
movq (%rdi), %rsi
callq 0x13e70
movq %rax, %r14
movq (%rbx), %rsi
movq %rbx, %rdi
callq 0x13e70
movq %rax, 0x18(%rsp)
callq 0xe8ff
movq %rax, %rbx
movq %rax, %rdi
callq 0x14b67
movq %rax, %r12
movq %rbx, %rdi
movq %rbp, %rsi
leaq 0xa13c(%rip), %rdx      # 0x1e100
callq 0x14b98
movq %rax, %rbx
cmpq $0x0, 0x50(%rbp)
je 0x1411e
movq 0x18(%rsp), %rdi
movq %r12, %rsi
callq 0x13e70
movq 0x10(%rsp), %r12
jmp 0x13e95
movq 0x40(%rbp), %rax
movl 0x18(%rax), %eax
cmpl $0x113, %eax            # imm = 0x113
je 0x14007
cmpl $0x10f, %eax            # imm = 0x10F
jne 0x14130
movq %r12, 0x10(%rsp)
movq %rbp, %rdi
callq 0x14d53
movq %rax, 0x18(%rsp)
callq 0xe8ff
movq %rax, %rbx
movq %rax, %rdi
movq %rbp, %rsi
leaq 0x1a8d4(%rip), %rdx     # 0x2e902
callq 0x14b98
movq %rax, %r12
movq %rbx, %rdi
callq 0x14b67
movq %rax, %rbx
movq %r14, %rdi
movq %r12, %rsi
callq 0x14c6a
movq %rax, %r14
movq 0x40(%r12), %rdi
movq %rax, %rsi
callq 0x14d9e
movq 0x5adf5(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %r12
movq %rbx, (%rax)
callq 0x14b3d
movq %r12, 0x10(%rax)
movq 0x40(%rbp), %rcx
movq %rcx, (%rax)
movq 0x18(%rsp), %rdx
movq 0x50(%rdx), %rcx
movq %rcx, 0x18(%rax)
movq %rax, 0x50(%rdx)
movq %r14, %rdi
movq %rbp, %rsi
callq 0x14c6a
movq %rax, %r14
movq 0x40(%rbp), %rax
cmpl $0x113, 0x18(%rax)      # imm = 0x113
jne 0x140b1
movb $0x1, 0x5ae5f(%rip)     # 0x6ef10
movq 0x48(%rbp), %rax
testq %rax, %rax
je 0x140c9
movq 0x48(%rax), %rax
testq %rax, %rax
je 0x140c9
cmpl $0x22, 0x1c(%rax)
je 0x140d1
movq %rbp, %rdi
callq 0x14e35
movq 0x10(%rsp), %r12
jmp 0x13ee3
movq 0x48(%rbp), %rsi
movl $0x0, %ebx
testq %rsi, %rsi
je 0x13e95
movl 0x1c(%rsi), %eax
movq %rsi, %rbx
cmpl $0x22, %eax
je 0x13e95
cmpl $0x1d, %eax
jne 0x14111
cmpl $0x120, 0x18(%rsi)      # imm = 0x120
movq %rsi, %rbx
jne 0x13e95
movq %r14, %rdi
callq 0x14c6a
jmp 0x13ee0
movq 0x18(%rsp), %rax
movq %r12, (%rax)
movq 0x10(%rsp), %r12
jmp 0x13e95
movq %r14, %rdi
movq %rbp, %rsi
callq 0x14c6a
movq %rax, %r14
movq 0x40(%rbp), %rdi
movq %rax, %rsi
callq 0x14d9e
jmp 0x13ee3
movq 0x22ea2(%rip), %rax     # 0x36ff8
movq (%rax), %rbx
callq 0x655a
movq %rbx, %rdi
leaq 0x19cc7(%rip), %rsi     # 0x2de2f
movq %rax, %rdx
xorl %eax, %eax
callq 0x31a0
jmp 0x13f09
movq 0x40(%rbp), %rsi
xorl %edi, %edi
callq 0x13e70
movq 0x48(%rbp), %rsi
xorl %edi, %edi
callq 0x13e70
movq 0x50(%rbp), %rbx
testb $0x1, %r12b
movq 0x8(%rsp), %rax
cmoveq %r14, %rax
movq %rax, 0x8(%rsp)
movb $0x1, %r12b
xorl %r14d, %r14d
jmp 0x13e95
cmpl $0x1, 0x1c(%rbp)
jne 0x14256
cmpq $0x0, 0x58(%rbp)
movq 0x8(%rsp), %r15
je 0x148a4
movq 0x40(%rbp), %rdi
callq 0x6418
xorl %ecx, %ecx
testq %rax, %rax
je 0x141e2
cmpl $0x123, 0x18(%rax)      # imm = 0x123
sete %cl
movl %ecx, 0x5ad10(%rip)     # 0x6eef8
movq 0x40(%rbp), %rsi
xorl %edi, %edi
callq 0x13e70
incl 0x5ad03(%rip)           # 0x6eefc
leaq 0x19c7b(%rip), %r14     # 0x2de7b
movq %rbp, %rbx
movq 0x48(%rbx), %rbx
xorl %edi, %edi
testq %rbx, %rbx
setne %dil
movq %r14, %rsi
callq 0x1225f
cmpl $0x2, 0x1c(%rbx)
jne 0x14203
xorl %edi, %edi
movq %rbx, %rsi
callq 0x13e70
decl 0x5acce(%rip)           # 0x6eefc
testq %rax, %rax
je 0x1423f
movq 0x58(%rbp), %rsi
movq %rax, %rdi
callq 0x13e70
movq 0x5ac42(%rip), %rax     # 0x6ee88
movq %rax, 0x5ac0b(%rip)     # 0x6ee58
movq 0x10(%rax), %r14
jmp 0x148a4
cmpq $0x0, 0x40(%rbp)
jne 0x14269
pushq $0x1
popq %rdi
callq 0xe9da
movq %rax, 0x40(%rbp)
cmpq $0x0, 0x48(%rbp)
jne 0x1427c
pushq $0x1
popq %rdi
callq 0xe9da
movq %rax, 0x48(%rbp)
movq %r12, 0x10(%rsp)
cmpq $0x0, 0x50(%rbp)
jne 0x14294
pushq $0x1
popq %rdi
callq 0xe9da
movq %rax, 0x50(%rbp)
callq 0xe8ff
movq %rax, %r12
leaq 0x9e4a(%rip), %r15      # 0x1e0ed
movq %rax, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x14b98
movq %rax, 0x28(%rsp)
movq %r12, %rdi
callq 0x14b67
movq %rax, 0x18(%rsp)
callq 0xe8ff
movq %rax, %r12
movq %rax, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x14b98
movq %rax, 0x30(%rsp)
movq %r12, %rdi
callq 0x14b67
movq %rax, %r12
callq 0xe8ff
movq %rax, %r13
movq %rax, %rdi
movq %rbp, %rsi
movq %r15, %rdx
callq 0x14b98
movq %rax, 0x20(%rsp)
movq %r13, %rdi
callq 0x14b67
movq %rax, %rbx
movq %r12, %rdi
callq 0x14c23
movq %rbx, %rdi
callq 0x14c43
movq 0x5ab32(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %r15
movq 0x58(%rbp), %rax
movq %rax, (%r15)
movq 0x5ab1c(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %r13
movq %rbx, (%rax)
callq 0x14b3d
movq %rax, %r12
leaq 0x19a3b(%rip), %rdi     # 0x2dd91
callq 0xe97e
movq %rax, (%r12)
movq %r15, 0x10(%r12)
callq 0x14b3d
movq %rax, 0x18(%r12)
leaq 0x19a14(%rip), %rdi     # 0x2dd89
callq 0xe97e
movq 0x18(%r12), %rcx
movq %rax, (%rcx)
movq %r13, 0x10(%rcx)
movq (%r14), %rax
movl (%rax), %edi
cmpl $0x3, %edi
jne 0x149ab
movq 0x40(%rbp), %rax
movq %rax, (%r14)
movq %r14, %rdi
movq 0x28(%rsp), %rsi
callq 0x13e70
movq %rax, %rbx
pushq $0x58
popq %rdi
callq 0x4da5
movl $0x2, (%rax)
movl $0x1b, 0x1c(%rax)
movq 0x8(%rbp), %rcx
movq %rcx, 0x8(%rax)
movl 0x10(%rbp), %ecx
movl %ecx, 0x10(%rax)
movq 0x48(%rbp), %rcx
testq %rcx, %rcx
je 0x143df
movq 0x28(%rcx), %rdx
movq %rdx, 0x28(%rax)
movq %rcx, 0x40(%rax)
movq (%r15), %rcx
movq %rcx, 0x48(%rax)
movq (%r13), %rcx
movq %rcx, 0x50(%rax)
movq %rbx, %rdi
movq %rax, %rsi
callq 0x14c6a
movq %r12, 0x50(%rax)
movq (%r15), %rsi
movq %r15, %rdi
callq 0x13e70
movq %rax, %rdi
movq 0x30(%rsp), %rsi
callq 0x13e70
movq 0x50(%rbp), %rsi
movq %rax, %rdi
callq 0x14c6a
movq %rax, %rdi
movq 0x18(%rsp), %rsi
callq 0x13e70
movq %rax, %rdi
movq 0x20(%rsp), %rsi
jmp 0x14888
cmpl $0x0, 0x5aab6(%rip)     # 0x6eefc
movq 0x8(%rsp), %r15
je 0x148a4
movq 0x40(%rbp), %rax
movq 0x40(%rax), %rdi
callq 0x4ca8
movq %rbp, %rdi
movq %rax, %rsi
callq 0x13bca
movq 0x8(%rax), %r14
jmp 0x148a4
cmpq $0x0, 0x40(%rbp)
jne 0x14485
pushq $0x1
popq %rdi
callq 0xe9da
movq %rax, 0x40(%rbp)
movq %r12, 0x10(%rsp)
cmpq $0x0, 0x48(%rbp)
jne 0x1449d
pushq $0x1
popq %rdi
callq 0xe9da
movq %rax, 0x48(%rbp)
callq 0xe8ff
movq %rax, %rbx
leaq 0x19acd(%rip), %r12     # 0x2df79
movq %rax, %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0x14b98
movq %rax, 0x20(%rsp)
movq %rbx, %rdi
callq 0x14b67
movq %rax, %r15
callq 0xe8ff
movq %rax, %rbx
movq %rax, %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0x14b98
movq %rax, 0x18(%rsp)
movq %rbx, %rdi
callq 0x14b67
movq %rax, %r12
movq %r15, %rdi
callq 0x14c23
movq %r12, %rdi
callq 0x14c43
movq 0x5a951(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %r13
movq 0x48(%rbp), %rax
movq %rax, (%r13)
movq 0x5a93a(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %rbx
movq %r12, (%rax)
callq 0x14b3d
movq %rax, %r12
leaq 0x19859(%rip), %rdi     # 0x2dd91
callq 0xe97e
movq %rax, (%r12)
movq %r13, 0x10(%r12)
callq 0x14b3d
movq %rax, 0x18(%r12)
leaq 0x19832(%rip), %rdi     # 0x2dd89
callq 0xe97e
movq 0x18(%r12), %rcx
movq %rax, (%rcx)
movq %rbx, 0x10(%rcx)
movq %r14, %rdi
movq 0x20(%rsp), %rsi
callq 0x13e70
movq %rax, %r14
pushq $0x58
popq %rdi
callq 0x4da5
movl $0x2, (%rax)
movl $0x1b, 0x1c(%rax)
movq 0x8(%rbp), %rcx
movq %rcx, 0x8(%rax)
movl 0x10(%rbp), %ecx
movl %ecx, 0x10(%rax)
movq 0x40(%rbp), %rcx
movq 0x28(%rcx), %rdx
movq %rdx, 0x28(%rax)
movq %rcx, 0x40(%rax)
movq (%r13), %rcx
movq %rcx, 0x48(%rax)
movq (%rbx), %rcx
movq %rcx, 0x50(%rax)
movq %r14, %rdi
movq %rax, %rsi
callq 0x14c6a
movq %r12, 0x50(%rax)
movq (%r13), %rsi
movq %r13, %rdi
callq 0x13e70
movq %rax, %rdi
movq %r15, %rsi
callq 0x13e70
jmp 0x14880
callq 0xe8ff
movq %rax, %rbx
leaq 0x19946(%rip), %rdx     # 0x2df3a
movq %rax, %rdi
movq %rbp, %rsi
callq 0x14b98
movq %rax, %r13
movq %rbx, %rdi
callq 0x14b67
movq %rax, %rdi
callq 0x14c43
cmpq $0x0, 0x40(%rbp)
jne 0x14625
pushq $0x1
popq %rdi
callq 0xe9da
movq %rax, 0x40(%rbp)
pushq $0x10
popq %rdi
callq 0x4da5
movq %r14, (%rax)
movq 0x5a8e1(%rip), %rcx     # 0x6ef18
movq %rcx, 0x8(%rax)
movq %rax, 0x5a8d6(%rip)     # 0x6ef18
movq 0x40(%rbp), %rax
movq %rax, (%r14)
movb 0x5a8c0(%rip), %r15b    # 0x6ef10
movb $0x0, 0x5a8b9(%rip)     # 0x6ef10
movq 0x48(%rbp), %rsi
movq %r14, %rdi
callq 0x13e70
movq %rax, %rbx
cmpb $0x0, 0x5a8a3(%rip)     # 0x6ef10
jne 0x146da
movq %rbp, %rdi
callq 0x14e35
movq 0x5a7da(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %r14
callq 0x14eba
movq %rax, (%r14)
movq %rbp, %rdi
callq 0x14d53
movq %r12, 0x10(%rsp)
movq %rax, %r12
callq 0x14b3d
movq %r13, %rbp
movq %rax, %r13
movq %r14, 0x10(%rax)
callq 0xe9fe
movq %rax, (%r13)
movq 0x50(%r12), %rax
movq %rax, 0x18(%r13)
movq %r13, 0x50(%r12)
movq %rbp, %r13
movq 0x10(%rsp), %r12
movq (%r14), %rsi
movq %rbx, %rdi
callq 0x14c6a
movq %rax, %rbx
andb $0x1, %r15b
movb %r15b, 0x5a82b(%rip)    # 0x6ef10
movq %rbx, %rdi
movq %r13, %rsi
callq 0x13e70
movq %rax, %r14
callq 0x14ced
xorl %edi, %edi
cmpq $0x0, 0x5a816(%rip)     # 0x6ef18
setne %dil
leaq 0x19856(%rip), %rsi     # 0x2df63
callq 0x1225f
movq 0x5a7ff(%rip), %rax     # 0x6ef18
movq 0x8(%rax), %rax
movq %rax, 0x5a7f4(%rip)     # 0x6ef18
jmp 0x1489f
cmpq $0x0, 0x40(%rbp)
jne 0x1473c
pushq $0x1
popq %rdi
callq 0xe9da
movq %rax, 0x40(%rbp)
movq %r12, 0x10(%rsp)
cmpq $0x0, 0x48(%rbp)
jne 0x14754
pushq $0x1
popq %rdi
callq 0xe9da
movq %rax, 0x48(%rbp)
callq 0xe8ff
movq %rax, %r15
leaq 0x19813(%rip), %r12     # 0x2df76
movq %rax, %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0x14b98
movq %rax, %rbx
movq %r15, %rdi
callq 0x14b67
movq %rax, %r15
callq 0xe8ff
movq %rax, %r13
movq %rax, %rdi
movq %rbp, %rsi
movq %r12, %rdx
callq 0x14b98
movq %rax, 0x18(%rsp)
movq %r13, %rdi
callq 0x14b67
movq %rax, %r13
movq %r15, %rdi
callq 0x14c23
movq %r13, %rdi
callq 0x14c43
movq 0x5a69c(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %r12
movq %r15, (%rax)
movq 0x5a68a(%rip), %rdi     # 0x6ee58
callq 0x14aec
movq %rax, %r15
movq %r13, (%rax)
callq 0x14b3d
movq %rax, %r13
leaq 0x195a9(%rip), %rdi     # 0x2dd91
callq 0xe97e
movq %rax, (%r13)
movq %r12, 0x10(%r13)
callq 0x14b3d
movq %rax, 0x18(%r13)
leaq 0x19584(%rip), %rdi     # 0x2dd89
callq 0xe97e
movq 0x18(%r13), %rcx
movq %rax, (%rcx)
movq %r15, 0x10(%rcx)
movq %r14, %rdi
movq %rbx, %rsi
callq 0x13e70
movq 0x48(%rbp), %rsi
movq %rax, %rdi
callq 0x13e70
movq %rax, %rbx
pushq $0x58
popq %rdi
callq 0x4da5
movl $0x2, (%rax)
movl $0x1b, 0x1c(%rax)
movq 0x8(%rbp), %rcx
movq %rcx, 0x8(%rax)
movl 0x10(%rbp), %ecx
movl %ecx, 0x10(%rax)
movq 0x40(%rbp), %rcx
movq 0x28(%rcx), %rdx
movq %rdx, 0x28(%rax)
movq %rcx, 0x40(%rax)
movq (%r12), %rcx
movq %rcx, 0x48(%rax)
movq (%r15), %rcx
movq %rcx, 0x50(%rax)
movq %rbx, %rdi
movq %rax, %rsi
callq 0x14c6a
movq %r13, 0x50(%rax)
movq %rax, %rdi
movq 0x18(%rsp), %rsi
callq 0x13e70
movq %rax, %r14
callq 0x14cac
callq 0x14ced
movq 0x10(%rsp), %r12
movq 0x8(%rsp), %r15
testb $0x1, %r12b
cmovneq %r15, %r14
movq %r14, %rax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x5a593(%rip), %rax     # 0x6ee58
cmpq 0x5a5bc(%rip), %rax     # 0x6ee88
je 0x14907
movq %r14, %rdi
movq %rbp, %rsi
callq 0x14c6a
movq %rax, %r14
jmp 0x1489f
movl $0xfffffef2, %eax       # imm = 0xFFFFFEF2
addl 0x18(%rbp), %eax
rorl %eax
cmpl $0x9, %eax
ja 0x1496b
leaq 0x192cc(%rip), %rcx     # 0x2dbc0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
callq 0x14eba
movq %rax, %rbp
jmp 0x14951
movq 0x10(%rax), %rdi
movq %rbp, %rsi
callq 0x14c6a
jmp 0x1489f
xorl %edi, %edi
cmpq $0x0, 0x5a5e1(%rip)     # 0x6ef00
setne %dil
leaq 0x19617(%rip), %rsi     # 0x2df41
callq 0x1225f
movq 0x5a5ca(%rip), %rax     # 0x6ef00
movq (%rax), %rbp
jmp 0x14951
xorl %eax, %eax
cmpq $0x1, 0x40(%rbp)
adcw $0x1, %ax
movq 0x5a50b(%rip), %rcx     # 0x6ee58
orw %ax, 0x42(%rcx)
movq 0x5a5b0(%rip), %rax     # 0x6ef08
testq %rax, %rax
movq 0x8(%rsp), %r15
je 0x14970
movl $0x1, 0x8(%rax)
jmp 0x14970
movq 0x8(%rsp), %r15
movq %r14, %rdi
movq %rbp, %rsi
callq 0x14c6a
movq %rax, %r14
jmp 0x148a4
movq 0x2266e(%rip), %rax     # 0x36ff8
movq (%rax), %rbx
callq 0x655a
leaq 0x1947e(%rip), %rsi     # 0x2de17
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x31a0
jmp 0x1489f
movq 0x22646(%rip), %rax     # 0x36ff8
movq (%rax), %rbx
callq 0x655a
leaq 0x1949d(%rip), %rsi     # 0x2de5e
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x31a0
jmp 0x14394
movq 0x2261e(%rip), %rax     # 0x36ff8
movq (%rax), %rbx
movl 0x10(%rbp), %ebp
callq 0x66b2
leaq 0x194d8(%rip), %rsi     # 0x2dec4
movq %rbx, %rdi
movl %ebp, %edx
movq %rax, %rcx
xorl %eax, %eax
callq 0x31a0
jmp 0x1489f