// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Uno/Src/uno_lts.c
// Function: fct_details
static void
fct_details(FILE *fd, State *s)
{	Trans *t;
	State *ns;
	treenode *exp = (treenode *) 0;

	if (!s || !s->n || s->visited)
		return;

	s->visited = 1;

	if (s->n->hdr.type == TN_IF)
		exp = ((if_node *)s->n)->cond;
	else if (s->n->hdr.type != TN_LABEL)
		exp = s->n;

	for (t = s->succ; t; t = t->nxt)
	{	ns = t->branch;
		if (!ns || !ns->n)
		{	if (exp)
				fprintf(fd, ">0>\n[%s]\n<%lu<\n",
				x_stmnt(exp), s->uno_state);
			continue;
		}
		if (ns->visited)
			fprintf(fd, "{%lu}\n", ns->uno_state);
		else
		{	ns->uno_state = Cnt++;
			fprintf(fd, ">%lu>\n", ns->uno_state);
		}
		fprintf(fd, "[%s", x_stmnt(exp));
		if (t->cond) fprintf(fd, " == %s", x_stmnt(t->cond));
		fprintf(fd, "]\n");
		fct_details(fd, ns);
		fprintf(fd, "<%lu<\n", s->uno_state);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq $0x0, -0x28(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x28d86
movq -0x10(%rbp), %rax
cmpq $0x0, (%rax)
je 0x28d86
movq -0x10(%rbp), %rax
movswl 0x4a(%rax), %eax
cmpl $0x0, %eax
je 0x28d8b
jmp 0x28f3c
movq -0x10(%rbp), %rax
movw $0x1, 0x4a(%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rax
cmpl $0x1b, 0x1c(%rax)
jne 0x28db3
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movq %rax, -0x28(%rbp)
jmp 0x28dcd
movq -0x10(%rbp), %rax
movq (%rax), %rax
cmpl $0x22, 0x1c(%rax)
je 0x28dcb
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x28(%rbp)
jmp 0x28dcd
movq -0x10(%rbp), %rax
movq 0x50(%rax), %rax
movq %rax, -0x18(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x28f3c
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x28e01
movq -0x20(%rbp), %rax
cmpq $0x0, (%rax)
jne 0x28e3b
cmpq $0x0, -0x28(%rbp)
je 0x28e36
movq -0x8(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rdi
callq 0x4ec0
movq -0x30(%rbp), %rdi
movq %rax, %rdx
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rcx
leaq 0x1cebb(%rip), %rsi     # 0x45cea
movb $0x0, %al
callq 0x3170
jmp 0x28f2b
movq -0x20(%rbp), %rax
cmpw $0x0, 0x4a(%rax)
je 0x28e62
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rax
movq 0x40(%rax), %rdx
leaq 0x1cea1(%rip), %rsi     # 0x45cfa
movb $0x0, %al
callq 0x3170
jmp 0x28e99
movq 0x25367(%rip), %rcx     # 0x4e1d0
movq %rcx, %rax
addq $0x1, %rax
movq %rax, 0x25359(%rip)     # 0x4e1d0
movq -0x20(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rax
movq 0x40(%rax), %rdx
leaq 0x1ce6f(%rip), %rsi     # 0x45d01
movb $0x0, %al
callq 0x3170
movq -0x8(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x28(%rbp), %rdi
callq 0x4ec0
movq -0x38(%rbp), %rdi
movq %rax, %rdx
leaq 0x1ce50(%rip), %rsi     # 0x45d08
movb $0x0, %al
callq 0x3170
movq -0x18(%rbp), %rax
cmpq $0x0, (%rax)
je 0x28ef2
movq -0x8(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rdi
callq 0x4ec0
movq -0x40(%rbp), %rdi
movq %rax, %rdx
leaq 0x1ce21(%rip), %rsi     # 0x45d0c
movb $0x0, %al
callq 0x3170
movq -0x8(%rbp), %rdi
leaq 0x1d9ca(%rip), %rsi     # 0x468c7
movb $0x0, %al
callq 0x3170
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x28d50
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rdx
leaq 0x1cdcf(%rip), %rsi     # 0x45cf3
movb $0x0, %al
callq 0x3170
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
jmp 0x28dd9
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)