// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Uno/Src/uno_lts.c
// Function: gen_lts
static void
gen_lts(State *s)
{	State *n;
	Trans *t;
	ArBound *b;
	char *z, *zz;
	int cnt;

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

	s->visited = 1;

	for (z = zz = x_stmnt(s->n), cnt=0; *zz; zz++) {
		if (*zz == '"') *zz = '\'';
		if (*zz == '\n') *zz = ' ';
		if (*zz == '\r') *zz = ' ';
		if (++cnt > 16) { *zz = '\0'; break; }
	}
#if 1
	printf("N%p [label=\"%d : %s : %s : ",
		s->n,
		s->n->hdr.line,
		name_of_node(s->n->hdr.type),
		z );
#else
	printf("N%p [label=\"%s : %d : %s <%d> : %s : ",
		s->n,
		s->n->hdr.fnm,
		s->n->hdr.line,
		name_of_node(s->n->hdr.type),
		s->iscond,
		x_stmnt(s->n) );
#endif

	if (s->n->hdr.type == TN_IF)
		dump_defuse(((if_node *)s->n)->cond->hdr.defuse, stdout);
	else
		dump_defuse(s->n->hdr.defuse, stdout);

	for (b = s->pvb; b; b = b->nxt)
	{	explain_bound("", b, (treenode *)0);
		printf(",");
	}

	printf("\"];\n");

	for (t = s->succ; t && t->branch; t = t->nxt)
	{	n = t->branch;
		printf("N%p -> N%p;\n", s->n, n->n);
		gen_lts(n);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x8(%rbp)
cmpq $0x0, -0x8(%rbp)
je 0x2433a
movq -0x8(%rbp), %rax
cmpq $0x0, (%rax)
je 0x2433a
movq -0x8(%rbp), %rax
movswl 0x4a(%rax), %eax
cmpl $0x0, %eax
je 0x2433f
jmp 0x24517
movq -0x8(%rbp), %rax
movw $0x1, 0x4a(%rax)
movq -0x8(%rbp), %rax
movq (%rax), %rdi
callq 0x4ec0
movq %rax, -0x30(%rbp)
movq %rax, -0x28(%rbp)
movl $0x0, -0x34(%rbp)
movq -0x30(%rbp), %rax
cmpb $0x0, (%rax)
je 0x243cd
movq -0x30(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x22, %eax
jne 0x24380
movq -0x30(%rbp), %rax
movb $0x27, (%rax)
movq -0x30(%rbp), %rax
movsbl (%rax), %eax
cmpl $0xa, %eax
jne 0x24393
movq -0x30(%rbp), %rax
movb $0x20, (%rax)
movq -0x30(%rbp), %rax
movsbl (%rax), %eax
cmpl $0xd, %eax
jne 0x243a6
movq -0x30(%rbp), %rax
movb $0x20, (%rax)
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
cmpl $0x10, %eax
jle 0x243bd
movq -0x30(%rbp), %rax
movb $0x0, (%rax)
jmp 0x243cd
jmp 0x243bf
movq -0x30(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
jmp 0x24364
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rax
movl 0x10(%rax), %eax
movl %eax, -0x38(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rax
movl 0x1c(%rax), %edi
callq 0x8270
movq -0x40(%rbp), %rsi
movl -0x38(%rbp), %edx
movq %rax, %rcx
movq -0x28(%rbp), %r8
leaq 0x20fd9(%rip), %rdi     # 0x453e2
movb $0x0, %al
callq 0x30f0
movq -0x8(%rbp), %rax
movq (%rax), %rax
cmpl $0x1b, 0x1c(%rax)
jne 0x2443d
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movq 0x28(%rax), %rdi
movq 0x29b9d(%rip), %rax     # 0x4dfd0
movq (%rax), %rsi
callq 0x1a7b0
jmp 0x24457
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x28(%rax), %rdi
movq 0x29b81(%rip), %rax     # 0x4dfd0
movq (%rax), %rsi
callq 0x1a7b0
movq -0x8(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x2449a
movq -0x20(%rbp), %rsi
leaq 0x10940(%rip), %rdi     # 0x34db5
xorl %eax, %eax
movl %eax, %edx
callq 0x2b960
leaq 0x10d92(%rip), %rdi     # 0x35217
movb $0x0, %al
callq 0x30f0
movq -0x20(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x20(%rbp)
jmp 0x24463
leaq 0x20f2f(%rip), %rdi     # 0x453d0
movb $0x0, %al
callq 0x30f0
movq -0x8(%rbp), %rax
movq 0x50(%rax), %rax
movq %rax, -0x18(%rbp)
xorl %eax, %eax
cmpq $0x0, -0x18(%rbp)
movb %al, -0x41(%rbp)
je 0x244cf
movq -0x18(%rbp), %rax
cmpq $0x0, 0x10(%rax)
setne %al
movb %al, -0x41(%rbp)
movb -0x41(%rbp), %al
testb $0x1, %al
jne 0x244d8
jmp 0x24517
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rsi
movq -0x10(%rbp), %rax
movq (%rax), %rdx
leaq 0x20f05(%rip), %rdi     # 0x453fe
movb $0x0, %al
callq 0x30f0
movq -0x10(%rbp), %rdi
callq 0x24310
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
jmp 0x244b4
addq $0x50, %rsp
popq %rbp
retq
nopl (%rax)