LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/stevenmherring[P]DNS/sequential-trie.c
// Function: compare_keys
int compare_keys (const char *string1, int len1, const char *string2, int len2, int *pKeylen) {
  int keylen, offset1, offset2;
  keylen = len1 < len2 ? len1 : len2;
  offset1 = len1 - keylen;
  offset2 = len2 - keylen;
  assert (keylen > 0);
  if (pKeylen)
  *pKeylen = keylen;
  return strncmp(&string1[offset1], &string2[offset2], keylen);
}

// Assembly:
cmpl %ecx, %esi
movl %ecx, %eax
cmovll %esi, %eax
testl %eax, %eax
jle 0x136c
testq %r8, %r8
je 0x134f
movl %eax, (%r8)
subl %eax, %ecx
subl %eax, %esi
movslq %esi, %rsi
addq %rsi, %rdi
movslq %ecx, %rcx
addq %rcx, %rdx
movl %eax, %eax
movq %rdx, %rsi
movq %rax, %rdx
jmp 0x1060
pushq %rax
leaq 0x1ce7(%rip), %rdi      # 0x305b
leaq 0x1c89(%rip), %rsi      # 0x3004
leaq 0x1ce4(%rip), %rcx      # 0x3066
movl $0x2d, %edx
callq 0x1090
// File: /workspace/github_c_makefile_star2_O1/stevenmherring[P]DNS/sequential-trie.c
// Function: search
struct trie_node *
_search (struct trie_node *node, const char *string, size_t strlen) {

  int keylen, cmp;

  // First things first, check if we are NULL
  if (node == NULL) return NULL;

  assert(node->strlen < 64);

  // See if this key is a substring of the string passed in
  cmp = compare_keys(node->key, node->strlen, string, strlen, &keylen);
  if (cmp == 0) {
    // Yes, either quit, or recur on the children

    // If this key is longer than our search string, the key isn't here
    if (node->strlen > keylen) {
      return NULL;
    } else if (strlen > keylen) {
      // Recur on children list
      return _search(node->children, string, strlen - keylen);
    } else {
      assert (strlen == keylen);

      return node;
    }

  } else if (cmp < 0) {
    // No, look right (the node's key is "less" than the search key)
    return _search(node->next, string, strlen);
  } else {
    // Quit early
    return 0;
  }

}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
testq %rdi, %rdi
je 0x13fa
movq %rsi, %r15
movq %rdi, %rbx
movl 0x8(%rdi), %esi
cmpl $0x40, %esi
jae 0x1426
movq %rdx, %r14
leaq 0x18(%rbx), %rdi
leaq 0xc(%rsp), %r8
movq %r15, %rdx
movl %r14d, %ecx
callq 0x133c
testl %eax, %eax
je 0x13f0
jns 0x13fa
movq (%rbx), %rdi
jmp 0x1407
movslq 0xc(%rsp), %rax
cmpl %eax, 0x8(%rbx)
jbe 0x13fe
xorl %ebx, %ebx
jmp 0x1419
subq %rax, %r14
jbe 0x1417
movq 0x10(%rbx), %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13b2
movq %rax, %rbx
jmp 0x1419
jne 0x1445
movq %rbx, %rax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
leaq 0x1cc2(%rip), %rdi      # 0x30ef
leaq 0x1bd0(%rip), %rsi      # 0x3004
leaq 0x1cc6(%rip), %rcx      # 0x3101
movl $0x47, %edx
callq 0x1090
leaq 0x1cf9(%rip), %rdi      # 0x3145
leaq 0x1bb1(%rip), %rsi      # 0x3004
leaq 0x1ca7(%rip), %rcx      # 0x3101
movl $0x55, %edx
callq 0x1090
// File: /workspace/github_c_makefile_star2_O1/stevenmherring[P]DNS/sequential-trie.c
// Function: search
int search  (const char *string, size_t strlen, int32_t *ip4_address) {
  struct trie_node *found;

  // Skip strings of length 0
  if (strlen == 0)
  return 0;

  found = _search(root, string, strlen);

  if (found && ip4_address)
  *ip4_address = found->ip4_address;

  return (found != NULL);
}

// Assembly:
pushq %rbx
movq %rdx, %rbx
movq %rsi, %rdx
testq %rsi, %rsi
je 0x149e
movq %rdi, %rsi
movq 0x3c6e(%rip), %rdi      # 0x50e8
callq 0x13b2
testq %rax, %rax
sete %cl
testq %rbx, %rbx
sete %dl
orb %cl, %dl
jne 0x1494
movl 0xc(%rax), %ecx
movl %ecx, (%rbx)
xorl %ecx, %ecx
testq %rax, %rax
setne %cl
jmp 0x14a0
xorl %ecx, %ecx
movl %ecx, %eax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/stevenmherring[P]DNS/sequential-trie.c
// Function: insert
int insert (const char *string, size_t strlen, int32_t ip4_address) {
          // Skip strings of length 0
          //int rv;
          while(allow_squatting && search(string, strlen, &ip4_address)) {
            printf("Thread: %ld entered the squatting deadlock\n", pthread_self());
            pthread_testcancel();
            //rv = pthread_cond_wait(&cv, &lock);
            //assert(rv == 0);
          }
          if (strlen == 0)
          return 0;

          /* Edge case: root is null */
          if (root == NULL) {
            root = new_leaf (string, strlen, ip4_address);
            return 1;
          }
          return _insert (string, strlen, ip4_address, root, NULL, NULL);
        }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movl %edx, %ebx
movq %rsi, %r14
movq %rdi, %r15
leaq 0x3838(%rip), %r13      # 0x50f0
cmpl $0x0, (%r13)
je 0x190e
leaq 0x195c(%rip), %r12      # 0x3222
testq %r14, %r14
je 0x18ea
movq 0x3816(%rip), %rdi      # 0x50e8
movq %r15, %rsi
movq %r14, %rdx
callq 0x13b2
testq %rax, %rax
sete %cl
je 0x18ec
movl 0xc(%rax), %ebx
jmp 0x18ec
movb $0x1, %cl
testb %cl, %cl
jne 0x190e
callq 0x1110
movq %r12, %rdi
movq %rax, %rsi
xorl %eax, %eax
callq 0x1080
callq 0x10c0
cmpl $0x0, (%r13)
jne 0x18c6
testq %r14, %r14
je 0x193b
movq 0x37ce(%rip), %rcx      # 0x50e8
movq %r15, %rdi
movq %r14, %rsi
movl %ebx, %edx
testq %rcx, %rcx
je 0x193f
xorl %r8d, %r8d
xorl %r9d, %r9d
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x14a4
xorl %eax, %eax
jmp 0x1950
callq 0x128c
movq %rax, 0x379d(%rip)      # 0x50e8
movl $0x1, %eax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/stevenmherring[P]DNS/sequential-trie.c
// Function: print
void _print (struct trie_node *node, int printLevel, int nodePos) {
            //  printf ("Node at %p.  Key %.*s, IP %d.  Next %p, Children %p\n",
            //  node, node->strlen, node->key, node->ip4_address, node->next, node->children);
            printf("\nvvvvvvvv - The %d node on Level %d - vvvvvvvvvv\n", nodePos, printLevel);
            printf("|Node at: %p\n", node);
            printf("|Key: %.*s\n", node->strlen, node->key);
            printf("|IP: %d\n", node->ip4_address);
            printf("|Next: %p\n", node->next);
            printf("|Child: %p\n", node->children);
            printf("^^^^^^^^ - The %d node on Level %d - ^^^^^^^^^^\n", nodePos, printLevel);
            if (node->children) {
              printf("\nvvvvvvvvvvvvvv\n");
              printf("!!!Entering next level of trie!!!\n");
              printf("vvvvvvvvvvvvvv\n");
              // printf("Now on Level %d at Position %d\n", printLevel, nodePos);
              _print(node->children, printLevel+1, 0);
            }
            if (node->next) {
              printf("\n>>>>>>>>>>>>>>\n");
              printf("!!!Moving to next node of level!!!\n");
              printf(">>>>>>>>>>>>>>\n");
              //printf("Node on Level %d at Position %d\n", printLevel, nodePos);
              _print(node->next, printLevel, nodePos+1);
            }
          }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %edx, %ebx
movl %esi, %r14d
movq %rdi, %r15
leaq 0x17d3(%rip), %rbp      # 0x331e
leaq 0x17d8(%rip), %r12      # 0x332a
leal 0x1(%r14), %r13d
leaq 0x1761(%rip), %rdi      # 0x32be
movl %ebx, %esi
movl %r14d, %edx
xorl %eax, %eax
callq 0x1080
leaq 0x1780(%rip), %rdi      # 0x32f0
movq %r15, %rsi
xorl %eax, %eax
callq 0x1080
movl 0x8(%r15), %esi
leaq 0x18(%r15), %rdx
leaq 0x1775(%rip), %rdi      # 0x32fe
xorl %eax, %eax
callq 0x1080
movl 0xc(%r15), %esi
leaq 0x176f(%rip), %rdi      # 0x330a
xorl %eax, %eax
callq 0x1080
movq (%r15), %rsi
leaq 0x1767(%rip), %rdi      # 0x3313
xorl %eax, %eax
callq 0x1080
movq 0x10(%r15), %rsi
movq %rbp, %rdi
xorl %eax, %eax
callq 0x1080
movq %r12, %rdi
movl %ebx, %esi
movl %r14d, %edx
xorl %eax, %eax
callq 0x1080
cmpq $0x0, 0x10(%r15)
je 0x1c09
leaq 0x17cb(%rip), %rdi      # 0x33a9
callq 0x1070
leaq 0x17cf(%rip), %rdi      # 0x33b9
callq 0x1070
leaq 0x17b4(%rip), %rdi      # 0x33aa
callq 0x1070
movq 0x10(%r15), %rdi
movl %r13d, %esi
xorl %edx, %edx
callq 0x1b31
cmpq $0x0, (%r15)
je 0x1c3d
leaq 0x17c5(%rip), %rdi      # 0x33db
callq 0x1070
leaq 0x17c9(%rip), %rdi      # 0x33eb
callq 0x1070
leaq 0x17ae(%rip), %rdi      # 0x33dc
callq 0x1070
movq (%r15), %r15
incl %ebx
jmp 0x1b56
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/stevenmherring[P]DNS/sequential-trie.c
// Function: print
void print() {
            printf ("Root is at %p\n", root);
            /* Do a simple depth-first search */
            if (root)
            _print(root, 0, 0);
          }

// Assembly:
pushq %rax
movq 0x3494(%rip), %rsi      # 0x50e8
leaq 0x1700(%rip), %rdi      # 0x335b
xorl %eax, %eax
callq 0x1080
movq 0x347f(%rip), %rdi      # 0x50e8
testq %rdi, %rdi
je 0x1c78
xorl %esi, %esi
xorl %edx, %edx
popq %rax
jmp 0x1b31
popq %rax
retq
nop
// File: /workspace/github_c_makefile_star2_O1/stevenmherring[P]DNS/main.c
// Function: help
void help() {
  printf ("DNS Simulator.  Usage: ./dns-[variant] [options]\n\n");
  printf ("Options:\n");
  printf ("\t-c numclients - Use numclients threads.\n");
  printf ("\t-h - Print this help.\n");
  printf ("\t-l length - Run clients for length seconds.\n");
  printf ("\t-q  - Allow a client to block (squat) if a requested name is taken.\n");
  printf ("\t-t  - Stress test name squatting.\n");
  printf ("\n\n");
}

// Assembly:
pushq %rax
leaq 0x178f(%rip), %rdi      # 0x375b
callq 0x1070
leaq 0x17b5(%rip), %rdi      # 0x378d
callq 0x1070
leaq 0x17b2(%rip), %rdi      # 0x3796
callq 0x1070
leaq 0x17cf(%rip), %rdi      # 0x37bf
callq 0x1070
leaq 0x17da(%rip), %rdi      # 0x37d6
callq 0x1070
leaq 0x17fb(%rip), %rdi      # 0x3803
callq 0x1070
leaq 0x1834(%rip), %rdi      # 0x3848
callq 0x1070
leaq 0x10cd(%rip), %rdi      # 0x30ed
popq %rax
jmp 0x1070
// File: /workspace/github_c_makefile_star2_O1/stevenmherring[P]DNS/main.c
// Function: squatter_stress
static void *
squatter_stress(void *arg)
{
  /* Just loop over 4 names, trying to create them
  * and then free them.  If all threads
  * try to create the same name, all but one should block
  * until a given name is available again.
  */
  int32_t ip = random();

  while (!finished) {
    insert ("abc", 3, ip);
    insert ("abe", 3, ip);
    insert ("bce", 3, ip);
    insert ("bcc", 3, ip);
    delete ("abc", 3);
    delete ("abe", 3);
    delete ("bce", 3);
    delete ("bcc", 3);
  }

  return NULL;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
callq 0x10e0
cmpl $0x0, 0x2e1e(%rip)      # 0x50f4
jne 0x2374
movq %rax, %rbx
leaq 0x12d5(%rip), %r14      # 0x35bb
leaq 0x123a(%rip), %r15      # 0x3527
leaq 0x1237(%rip), %r12      # 0x352b
leaq 0x1234(%rip), %r13      # 0x352f
movl $0x3, %esi
movq %r14, %rdi
movl %ebx, %edx
callq 0x18a0
movl $0x3, %esi
movq %r15, %rdi
movl %ebx, %edx
callq 0x18a0
movl $0x3, %esi
movq %r12, %rdi
movl %ebx, %edx
callq 0x18a0
movl $0x3, %esi
movq %r13, %rdi
movl %ebx, %edx
callq 0x18a0
movl $0x3, %esi
movq %r14, %rdi
callq 0x1b06
movl $0x3, %esi
movq %r15, %rdi
callq 0x1b06
movl $0x3, %esi
movq %r12, %rdi
callq 0x1b06
movl $0x3, %esi
movq %r13, %rdi
callq 0x1b06
cmpl $0x0, 0x2d82(%rip)      # 0x50f4
je 0x22fb
xorl %eax, %eax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: emalloc
void *
emalloc(size_t n)
{	char *s;

	s = (char *) malloc(n);
	if (!s)
	{	fprintf(stderr, "uno:global: out of memory\n");
		exit(1);
	}
	memset(s, 0, n);
	return (void *) s;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
callq 0x1100
testq %rax, %rax
je 0x1538
movq %rax, %rdi
xorl %esi, %esi
movq %rbx, %rdx
popq %rbx
jmp 0x10c0
callq 0x11b0
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: path_query
int
path_query(Fct *g, Fct *h)	/* from, to */
{	Sym *r;
	Fct *f;
	int found;
	
	if (!g || g->visited) return 0;
	g->visited = 1;

	found = 0;
	for (r = g->calls; r; r = r->nxt)
	{	f = find_fct(r->s);

		if (f == h)
			found = 1;
		else
			found = path_query(g, f);

		if (found)
		{	fprintf(stdout, "N%s -> N%s;\n", g->fnm, r->s);
			break;
		}
#if 0
		fprintf(stdout, "N%s [label=\"%s:%d\"];\n",
				g->fnm, g->fnm, g->n->line);
#endif
	}

	return found;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
xorl %ebx, %ebx
testq %rdi, %rdi
je 0x15b6
movq %rdi, %r14
cmpw $0x0, 0x38(%rdi)
jne 0x15b6
movw $0x1, 0x38(%r14)
movq 0x30(%r14), %r12
testq %r12, %r12
je 0x15b6
movq %rsi, %r15
movq (%r12), %rdi
callq 0x15c4
cmpq %r15, %rax
je 0x1592
movq %r14, %rdi
movq %rax, %rsi
callq 0x153d
testl %eax, %eax
jne 0x1592
movq 0x18(%r12), %r12
testq %r12, %r12
jne 0x1569
jmp 0x15b6
movq 0x6a37(%rip), %rax      # 0x7fd0
movq (%rax), %rdi
movq (%r14), %rdx
movq (%r12), %rcx
leaq 0x3b2d(%rip), %rsi      # 0x50d7
xorl %eax, %eax
callq 0x10f0
movl $0x1, %ebx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: find_fct
static Fct *
find_fct(char *nf)
{	Fct *f = (Fct *) 0;

	if (!nf) return f;

	for (f = fcts; f; f = f->nxt)
		if (strcmp(f->fnm, nf) == 0)
			break;

	if (!f)
	{	if (strcmp(nf, "_global_") == 0)
		{	Place *n;
			n = (Place *) emalloc(sizeof(Place));
			n->fnm = "_global_";
			new_fct(n, nf, 0);
			f = fcts;

			add_fct(nf);

		} else if (debug)
			fprintf(stderr, "uno:global: unknown fct %s\n", nf);
	}
	return f;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
testq %rdi, %rdi
je 0x1607
movq %rdi, %rbx
movq 0x6c61(%rip), %r14      # 0x8238
testq %r14, %r14
je 0x15f1
movq (%r14), %rdi
movq %rbx, %rsi
callq 0x10e0
testl %eax, %eax
je 0x160a
movq 0x40(%r14), %r14
jmp 0x15d7
leaq 0x46f1(%rip), %r14      # 0x5ce9
movq %rbx, %rdi
movq %r14, %rsi
callq 0x10e0
testl %eax, %eax
je 0x1615
xorl %r14d, %r14d
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movl $0x10, %edi
callq 0x151c
movq %r14, (%rax)
movq %rax, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x2602
movq 0x6c02(%rip), %r14      # 0x8238
movq %rbx, %rdi
callq 0x2960
jmp 0x160a
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: all_fcg
static void
all_fcg(FILE *fd)
{	Fct *g;
	Sym *r;

	fprintf(fd, "digraph dodot {\n\tratio=auto;\n");
	for (g = fcts; g; g = g->nxt)
	{	fprintf(fd, "N%s [label=\"%s:%d\"];\n",
			g->fnm, g->fnm, g->n->line);

		for (r = g->calls; r; r = r->nxt)
			fprintf(fd, "N%s -> N%s;\n",
				g->fnm, r->s);
	}
	fprintf(fd, "}\n");
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
leaq 0x3073(%rip), %rdi      # 0x52d2
movl $0x1d, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x1170
movq 0x5fc0(%rip), %r12      # 0x8238
testq %r12, %r12
je 0x22d7
leaq 0x30f2(%rip), %r14      # 0x5376
leaq 0x2e4c(%rip), %r15      # 0x50d7
movq (%r12), %rcx
movq 0x8(%r12), %rax
movl 0x8(%rax), %r8d
movq %rbx, %rdi
movq %r14, %rsi
movq %rcx, %rdx
xorl %eax, %eax
callq 0x10f0
movq 0x30(%r12), %r13
testq %r13, %r13
je 0x22cd
movq (%r12), %rdx
movq (%r13), %rcx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x10f0
movq 0x18(%r13), %r13
jmp 0x22ad
movq 0x40(%r12), %r12
testq %r12, %r12
jne 0x228b
leaq 0x3012(%rip), %rdi      # 0x52f0
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rcx
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x1170
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: gen_fcts
static void
gen_fcts(FILE *fd)
{
	fprintf(fd, "digraph dodot {\n\tratio=auto;\n");
	fcts_reset();
	gen_fct(fd, find_fct(want));
	fprintf(fd, "}\n");
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
leaq 0x2fce(%rip), %rdi      # 0x52d2
movl $0x1d, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x1170
movq 0x5f1b(%rip), %rax      # 0x8238
testq %rax, %rax
je 0x232e
movw $0x0, 0x38(%rax)
movq 0x40(%rax), %rax
jmp 0x231d
movq 0x5dbb(%rip), %rdi      # 0x80f0
callq 0x15c4
movq %rbx, %rdi
movq %rax, %rsi
callq 0x24f7
leaq 0x2fa4(%rip), %rdi      # 0x52f0
movl $0x2, %esi
movl $0x1, %edx
movq %rbx, %rcx
popq %rbx
jmp 0x1170
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: add_glob_defs
void	/* called from uno_fcts.c */
add_glob_defs(void)
{	Fct *f;

	if (!(f = find_fct("_global_"))) return;

	handle_fct(": _global_	0");
	build_glob(f->defs);

	if (!(f = find_fct(want)))
	{	printf("uno:global: no fct '%s' found, cannot do global analysis\n", want);
		find_roots();
		return;
	}

	sprintf(g_buf, ">%d>", special++);
	handle_fct(g_buf);
	sprintf(g_buf, "[C\t%s\t%s %d]", want, f->n->fnm, f->n->line);
	handle_fct(g_buf);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
leaq 0x3966(%rip), %rdi      # 0x5ce9
callq 0x15c4
testq %rax, %rax
je 0x241e
movq %rax, %rbx
leaq 0x2f58(%rip), %rdi      # 0x52f3
callq 0x2e95
movq 0x18(%rbx), %rdi
callq 0x2447
movq 0x5d40(%rip), %rdi      # 0x80f0
callq 0x15c4
testq %rax, %rax
je 0x2426
movq %rax, %rbx
movl 0x5d35(%rip), %edx      # 0x80f8
leal 0x1(%rdx), %eax
movl %eax, 0x5d2c(%rip)      # 0x80f8
leaq 0x5d5d(%rip), %r14      # 0x8130
leaq 0x2f60(%rip), %rsi      # 0x533a
movq %r14, %rdi
xorl %eax, %eax
callq 0x1150
movq %r14, %rdi
callq 0x2e95
movq 0x5cfd(%rip), %rdx      # 0x80f0
movq 0x8(%rbx), %rax
movq (%rax), %rcx
movl 0x8(%rax), %r8d
leaq 0x2f3a(%rip), %rsi      # 0x533f
movq %r14, %rdi
xorl %eax, %eax
callq 0x1150
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x2e95
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x5cc3(%rip), %rsi      # 0x80f0
leaq 0x2ecc(%rip), %rdi      # 0x5300
xorl %eax, %eax
callq 0x10a0
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x2aca
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: build_glob
static void
build_glob(Sym *r)
{
	if (!r) return;
	build_glob(r->nxt);
	
	sprintf(g_buf, ">%d>", special++);
	handle_fct(g_buf);

	sprintf(g_buf, "[G\t%s\t%s %d]", r->s, r->n->fnm, r->n->line);	/* G: DEF|DCL */
	handle_fct(g_buf);
}

// Assembly:
testq %rdi, %rdi
je 0x24b9
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x18(%rdi), %rdi
callq 0x2447
movl 0x5c96(%rip), %edx      # 0x80f8
leal 0x1(%rdx), %eax
movl %eax, 0x5c8d(%rip)      # 0x80f8
leaq 0x5cbe(%rip), %r14      # 0x8130
leaq 0x2ec1(%rip), %rsi      # 0x533a
movq %r14, %rdi
xorl %eax, %eax
callq 0x1150
movq %r14, %rdi
callq 0x2e95
movq (%rbx), %rdx
movq 0x8(%rbx), %rax
movq (%rax), %rcx
movl 0x8(%rax), %r8d
leaq 0x3068(%rip), %rsi      # 0x5508
movq %r14, %rdi
xorl %eax, %eax
callq 0x1150
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x2e95
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: indirect_calls
extern int
indirect_calls(char *s)
{	Sym *p;

	for (p = indirects; p; p = p->nxt)
		if (strcmp(p->s, s) == 0)
			return 1;
	return 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq 0x5d6a(%rip), %r15      # 0x8230
xorl %ebx, %ebx
testq %r15, %r15
je 0x24ef
movq %rdi, %r14
movq (%r15), %rdi
movq %r14, %rsi
callq 0x10e0
testl %eax, %eax
je 0x24ea
movq 0x18(%r15), %r15
testq %r15, %r15
jne 0x24d0
jmp 0x24ef
movl $0x1, %ebx
movl %ebx, %eax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: gen_fct
static void
gen_fct(FILE *fd, Fct *g)
{	Sym *r;
	Fct *f;

	if (!g || g->visited) return;
	g->visited = 1;

	fprintf(fd, "N%s [label=\"%s:%d\"];\n",
		g->fnm, g->fnm, g->n->line);

	if (reverse)
	{	for (f = fcts; f; f = f->nxt)
		for (r = f->calls; r; r = r->nxt)
			if (strcmp(r->s, g->fnm) == 0)
			{	fprintf(fd, "N%s -> N%s;\n", f->fnm, g->fnm);
				gen_fct(fd, f);
			}
	} else
	{	for (r = g->calls; r; r = r->nxt)
		{	if (!(r->bits & HIDE))
				fprintf(fd, "N%s -> N%s;\n", g->fnm, r->s);
			gen_fct(fd, find_fct(r->s));
	}	}
}

// Assembly:
testq %rsi, %rsi
je 0x251f
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
cmpw $0x0, 0x38(%rsi)
je 0x2520
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rdi, %r14
movw $0x1, 0x38(%rbx)
movq (%rbx), %rcx
movq 0x8(%rbx), %rax
movl 0x8(%rax), %r8d
leaq 0x2e3b(%rip), %rsi      # 0x5376
movq %rcx, %rdx
xorl %eax, %eax
callq 0x10f0
cmpb $0x1, 0x5bd0(%rip)      # 0x811c
jne 0x25af
movq 0x5ce3(%rip), %r15      # 0x8238
testq %r15, %r15
je 0x2511
leaq 0x2b76(%rip), %r12      # 0x50d7
movq 0x30(%r15), %rbp
testq %rbp, %rbp
je 0x25a1
movq (%rbp), %rdi
movq (%rbx), %r13
movq %r13, %rsi
callq 0x10e0
testl %eax, %eax
jne 0x259b
movq (%r15), %rdx
movq %r14, %rdi
movq %r12, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x10f0
movq %r14, %rdi
movq %r15, %rsi
callq 0x24f7
movq 0x18(%rbp), %rbp
jmp 0x2565
movq 0x40(%r15), %r15
testq %r15, %r15
jne 0x2561
jmp 0x2511
movq 0x30(%rbx), %r12
testq %r12, %r12
je 0x2511
leaq 0x2b14(%rip), %r15      # 0x50d7
testb $0x2, 0x11(%r12)
jne 0x25df
movq (%rbx), %rdx
movq (%r12), %rcx
movq %r14, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x10f0
movq (%r12), %rdi
callq 0x15c4
movq %r14, %rdi
movq %rax, %rsi
callq 0x24f7
movq 0x18(%r12), %r12
testq %r12, %r12
jne 0x25c3
jmp 0x2511
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: new_fct
static void
new_fct(Place *n, char *nf, int is_static_fct)
{	Fct *f;

	for (f = fcts; f; f = f->nxt)
		if (strcmp(f->fnm, nf) == 0)
		{	if (f->n->line == n->line
			&&  (strstr(f->n->fnm, n->fnm)
			||   strstr(n->fnm, f->n->fnm)))
				break;	/* probably from same source */

			if (!f->is_static || !is_static_fct)
			{	fprintf(stderr, "uno:global: fct '%s' appears twice\n", nf);
					fprintf(stderr, "	old: %s:%d%s\n",
				f->n->fnm, f->n->line, f->is_static?" (static)":"");
				fprintf(stderr, "	new: %s:%d%s (ignored)\n",
					n->fnm, n->line, is_static_fct?" (static)":"");
			}
			break;
		}

	if (!f)
	{	f = (Fct *) emalloc(sizeof(Fct));
		f->fnm = nf;
		f->n = n;
		f->is_static = is_static_fct;
		f->nxt = fcts;
		fcts = f;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %rbx
movq 0x5c1c(%rip), %r13      # 0x8238
testq %r13, %r13
je 0x2637
movq (%r13), %rdi
movq %r14, %rsi
callq 0x10e0
testl %eax, %eax
je 0x266d
movq 0x40(%r13), %r13
jmp 0x261c
movl $0x48, %edi
callq 0x151c
movq %r14, (%rax)
movq %rbx, 0x8(%rax)
movw %bp, 0x10(%rax)
movq 0x5be5(%rip), %rcx      # 0x8238
movq %rcx, 0x40(%rax)
movq %rax, 0x5bda(%rip)      # 0x8238
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%r13), %rax
movl 0x8(%rax), %ecx
cmpl 0x8(%rbx), %ecx
jne 0x269f
movq (%rax), %r15
movq (%rbx), %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x1180
testq %rax, %rax
jne 0x265e
movq %r12, %rdi
movq %r15, %rsi
callq 0x1180
testq %rax, %rax
jne 0x265e
testl %ebp, %ebp
je 0x26ab
cmpw $0x0, 0x10(%r13)
jne 0x265e
movq 0x593e(%rip), %r15      # 0x7ff0
movq (%r15), %rdi
leaq 0x2df6(%rip), %rsi      # 0x54b2
movq %r14, %rdx
xorl %eax, %eax
callq 0x10f0
movq (%r15), %rdi
movq 0x8(%r13), %rax
movq (%rax), %rdx
movl 0x8(%rax), %ecx
cmpw $0x0, 0x10(%r13)
leaq 0x35e9(%rip), %r12      # 0x5cc9
leaq 0x2dfe(%rip), %r14      # 0x54e5
movq %r14, %r8
cmoveq %r12, %r8
leaq 0x2de1(%rip), %rsi      # 0x54d6
xorl %eax, %eax
callq 0x10f0
testl %ebp, %ebp
movq (%r15), %rdi
movq (%rbx), %rdx
cmoveq %r12, %r14
movl 0x8(%rbx), %ecx
leaq 0x2ddd(%rip), %rsi      # 0x54ef
movq %r14, %r8
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x10f0
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: glob_def
static void
glob_def(Place *n, char *nf, char *s)
{	Sym *r;
	Fct *f;

	if (!(f = find_fct(nf))) return;

	r = (Sym *) emalloc(sizeof(Sym));
	r->s = s;
	r->n = n;
	r->nxt = f->defs;
	f->defs = r;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
movq %rsi, %rdi
callq 0x15c4
testq %rax, %rax
je 0x2780
movq %rax, %r15
movl $0x20, %edi
callq 0x151c
movq %rbx, (%rax)
movq %r14, 0x8(%rax)
movq 0x18(%r15), %rcx
movq %rcx, 0x18(%rax)
movq %rax, 0x18(%r15)
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: loc_fcall
static void
loc_fcall(Place *n, char *nf, char *s, int bits)
{	Sym *r;
	Fct *f;

	if (!(f = find_fct(nf))) return;

	r = (Sym *) emalloc(sizeof(Sym));
	r->s = s;
	r->n = n;
	r->bits = bits;
	r->nxt = f->calls;
	f->calls = r;

	if (bits & HIDE)
	{	f = find_fct(s);
		if (f) f->special |= HIDE;
	}

	add_call(nf, s);	/* uno_fcts.c */
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movl %ecx, %ebp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movq %rsi, %rdi
callq 0x15c4
testq %rax, %rax
je 0x27f5
movq %rax, %r12
movl $0x20, %edi
callq 0x151c
movq %rbx, (%rax)
movq %r15, 0x8(%rax)
movl %ebp, 0x10(%rax)
movq 0x30(%r12), %rcx
movq %rcx, 0x18(%rax)
movq %rax, 0x30(%r12)
btl $0x9, %ebp
jae 0x27e2
movq %rbx, %rdi
callq 0x15c4
testq %rax, %rax
je 0x27e2
orb $0x2, 0x15(%rax)
movq %r14, %rdi
movq %rbx, %rsi
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x2a2a
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: glob_mark
static void
glob_mark(Place *n, char *s, int bits)
{	Sym *r;

	for (r = globuse; r; r = r->nxt)
		if (strcmp(r->s, s) == 0)
		{	r->bits |= bits;
			break;
		}
	if (!r)
	{	r = (Sym *) emalloc(sizeof(Sym));
		r->s = s;
		r->bits = bits;
		r->n = n;
		r->nxt = globuse;
		globuse = r;
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movl %edx, %ebx
movq %rsi, %r15
movq %rdi, %r14
movq 0x5a2b(%rip), %r12      # 0x8240
testq %r12, %r12
je 0x2831
movq (%r12), %rdi
movq %r15, %rsi
callq 0x10e0
testl %eax, %eax
je 0x2859
movq 0x18(%r12), %r12
jmp 0x2815
movl $0x20, %edi
callq 0x151c
movq %r15, (%rax)
movl %ebx, 0x10(%rax)
movq %r14, 0x8(%rax)
movq 0x59f4(%rip), %rcx      # 0x8240
movq %rcx, 0x18(%rax)
movq %rax, 0x59e9(%rip)      # 0x8240
jmp 0x285e
orl %ebx, 0x10(%r12)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: struct_flds
static void
struct_flds(Place *n, char *nm, int used)
{	PlaceName *p;

	for (p = fields; p; p = p->nxt)
		if (p->n->line == n->line
		&&  strcmp(p->n->fnm, n->fnm) == 0
		&&  strcmp(p->s, nm) == 0)
		{	p->used |= used;
			break;
		}
	if (!p)
	{	p = (PlaceName *) emalloc(sizeof(PlaceName));
		p->n = n;
		p->s = nm;
		p->used = used;
		p->nxt = fields;
		fields = p;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movl %edx, %ebx
movq %rsi, %r14
movq %rdi, %r15
movq 0x59c7(%rip), %r12      # 0x8248
testq %r12, %r12
je 0x28bd
movl 0x8(%r15), %ebp
movq (%r12), %rax
cmpl %ebp, 0x8(%rax)
jne 0x28b3
movq (%rax), %rdi
movq (%r15), %rsi
callq 0x10e0
testl %eax, %eax
jne 0x28b3
movq 0x8(%r12), %rdi
movq %r14, %rsi
callq 0x10e0
testl %eax, %eax
je 0x28ec
movq 0x18(%r12), %r12
testq %r12, %r12
jne 0x288a
movl $0x20, %edi
callq 0x151c
movq %r15, (%rax)
movq %r14, 0x8(%rax)
movl %ebx, 0x10(%rax)
movq 0x5970(%rip), %rcx      # 0x8248
movq %rcx, 0x18(%rax)
movq %rax, 0x5965(%rip)      # 0x8248
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
orl %ebx, 0x10(%r12)
jmp 0x28e3
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: dfs
static void
dfs(Fct *g)
{	Sym *r;

	if (!g || g->visited) return;

	g->visited = 1;

	for (r = g->calls; r; r = r->nxt)
		dfs(find_fct(r->s));
}

// Assembly:
testq %rdi, %rdi
je 0x28ff
cmpw $0x0, 0x38(%rdi)
je 0x2900
retq
pushq %rbx
movw $0x1, 0x38(%rdi)
movq 0x30(%rdi), %rbx
testq %rbx, %rbx
je 0x2926
movq (%rbx), %rdi
callq 0x15c4
movq %rax, %rdi
callq 0x28f3
movq 0x18(%rbx), %rbx
jmp 0x290b
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_global.c
// Function: wind_down
static void
wind_down(Fct *f)
{	Fct *g;
	Sym *c;

	if (f)
	for (c = f->calls; c; c = c->nxt)
	{	g = find_fct(c->s);
		if (g && !(g->rval & 4))
		{	g->rval |= 4;
			wind_down(g);
	}	}
}

// Assembly:
pushq %rbx
movq 0x30(%rdi), %rbx
testq %rbx, %rbx
je 0x295d
movq (%rbx), %rdi
callq 0x15c4
testq %rax, %rax
je 0x2957
movzwl 0x12(%rax), %ecx
testb $0x4, %cl
jne 0x2957
orl $0x4, %ecx
movw %cx, 0x12(%rax)
movq %rax, %rdi
callq 0x2928
movq 0x18(%rbx), %rbx
jmp 0x292d
popq %rbx
retq
nop
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: add_fct
void
add_fct(char *s)
{	BFct *f;

	if (0 && debug) printf("adding fct %s\n", s);

	for (f = fcts; f; f = f->nxt)
		if (strcmp(f->fnm, s) == 0)
			return;	/* reported in uno_global.c */

	f = (BFct *) emalloc(sizeof(BFct));
	f->fnm = new_str(s);
	f->nxt = fcts;
	fcts = f;

	f->root = (Node *) emalloc(sizeof(Node));
	f->root->nid = 0;
	return;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x58f2(%rip), %r14      # 0x8260
testq %r14, %r14
je 0x2988
movq (%r14), %rdi
movq %rbx, %rsi
callq 0x10e0
testl %eax, %eax
je 0x29c6
movq 0x20(%r14), %r14
jmp 0x296e
movl $0x28, %edi
callq 0x151c
movq %rax, %r14
movq %rbx, %rdi
callq 0x29ce
movq %rax, (%r14)
movq 0x58b9(%rip), %rax      # 0x8260
movq %rax, 0x20(%r14)
movq %r14, 0x58ae(%rip)      # 0x8260
movl $0x28, %edi
callq 0x151c
movq %rax, 0x10(%r14)
movl $0x0, (%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: new_str
static char *
new_str(char *s)
{	Pool *p;
	char *t;
	int n;

	n = strlen(s);
	if (n > 0 && n < 512 && pool[n])
	{	p = pool[n];
		pool[n] = p->nxt;
		p->nxt = free_pool;
		free_pool = p;
		t = p->s;
	} else
		t = (char *) emalloc(n+1);
	strcpy(t, s);
	return t;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
callq 0x1080
movl %eax, %ecx
decl %ecx
cmpl $0x1fe, %ecx            # imm = 0x1FE
ja 0x2a14
movl %eax, %edx
leaq 0x58e4(%rip), %rsi      # 0x82d0
movq (%rsi,%rdx,8), %rcx
testq %rcx, %rcx
je 0x2a14
movq 0x8(%rcx), %rax
movq %rax, (%rsi,%rdx,8)
movq 0x68cc(%rip), %rax      # 0x92d0
movq %rax, 0x8(%rcx)
movq %rcx, 0x68c1(%rip)      # 0x92d0
movq (%rcx), %rdi
jmp 0x2a21
incl %eax
movslq %eax, %rdi
callq 0x151c
movq %rax, %rdi
movq %rbx, %rsi
popq %rbx
jmp 0x1050
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: add_call
void
add_call(char *fnm, char *c)
{	BFct *f;
	BSym *s;

	f = find_function(fnm);
	if (!f)
	{	fprintf(stderr, "error: bad input sequence (%s)\n",
			fnm);
		exit(1);
	}

	for (s = f->calls; s; s = s->nxt)
		if (strcmp(s->s, c) == 0)
			return;

	s = (BSym *) emalloc(sizeof(BSym));
	s->s = new_str(c);
	s->nxt = f->calls;
	f->calls = s;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %r15
callq 0x2a92
testq %rax, %rax
je 0x2a8a
movq %rax, %rbx
movq 0x8(%rax), %r15
testq %r15, %r15
je 0x2a60
movq (%r15), %rdi
movq %r14, %rsi
callq 0x10e0
testl %eax, %eax
je 0x2a84
movq 0x8(%r15), %r15
jmp 0x2a46
movl $0x10, %edi
callq 0x151c
movq %rax, %r15
movq %r14, %rdi
callq 0x29ce
movq %rax, (%r15)
movq 0x8(%rbx), %rax
movq %rax, 0x8(%r15)
movq %r15, 0x8(%rbx)
popq %rbx
popq %r14
popq %r15
retq
movq %r15, %rdi
callq 0x12e5
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: find_function
static BFct *
find_function(char *s)
{	BFct *f;

	for (f = fcts; f; f = f->nxt)
		if (strcmp(f->fnm, s) == 0)
			return f;
	return (BFct *) 0;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq 0x57c3(%rip), %rbx      # 0x8260
testq %rbx, %rbx
je 0x2abd
movq %rdi, %r14
movq (%rbx), %rdi
movq %r14, %rsi
callq 0x10e0
testl %eax, %eax
je 0x2abf
movq 0x20(%rbx), %rbx
testq %rbx, %rbx
jne 0x2aa5
xorl %ebx, %ebx
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: find_roots
void
find_roots(void)
{	BFct *f, *g;
	BSym *h;
	int ncalls;

	for (f = fcts; f; f = f->nxt)
	{	if (strcmp(f->fnm, "_global_") == 0)
			continue;
		ncalls = 0;
		for (g = fcts; g; g = g->nxt)
		{	if (g != f)
			{	for (h = g->calls; h; h = h->nxt)
				{	if (strcmp(h->s, f->fnm) == 0)
					{	ncalls++;
						break;
				}	}
				if (ncalls > 0)
				{	break;
		}	}	}
		if (ncalls == 0 && indirect_calls(f->fnm) == 0)
			printf("root: %s\n", f->fnm);
	}
	fflush(stdout);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq 0x5784(%rip), %r12      # 0x8260
testq %r12, %r12
je 0x2b5b
leaq 0x3201(%rip), %rbx      # 0x5ce9
leaq 0x2c27(%rip), %r14      # 0x5716
movq (%r12), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x10e0
testl %eax, %eax
je 0x2b51
movq 0x5757(%rip), %r13      # 0x8260
testq %r13, %r13
je 0x2b37
cmpq %r12, %r13
je 0x2b31
movq %r13, %rbp
movq 0x8(%rbp), %rbp
testq %rbp, %rbp
je 0x2b31
movq (%rbp), %rdi
movq %r15, %rsi
callq 0x10e0
testl %eax, %eax
jne 0x2b16
jmp 0x2b51
movq 0x20(%r13), %r13
jmp 0x2b09
movq %r15, %rdi
callq 0x24ba
testl %eax, %eax
jne 0x2b51
movq (%r12), %rsi
movq %r14, %rdi
xorl %eax, %eax
callq 0x10a0
movq 0x20(%r12), %r12
testq %r12, %r12
jne 0x2aef
movq 0x546e(%rip), %rax      # 0x7fd0
movq (%rax), %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x1110
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: set_select
void
set_select(char *name, char *loc, int stat)
{	Var *v;

	for (v = stack->sels; v; v = v->nxt)
		if (strcmp(v->s, name) == 0)
		{	v->sel  |= 1;
			v->stat |= stat;
			if (debug) printf("	>Select old '%s' - stat %d\n", v->s, v->stat);
			return;
		}
	v = new_var(name);
	v->loc = new_str(loc);
	v->sel = 1;
	if (debug) printf("	>Select new '%s', stat %d\n", v->s, stat);
	v->stat = stat;
	v->nxt = stack->sels;
	stack->sels = v;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movl %edx, %ebx
movq %rsi, %r14
movq %rdi, %r15
movq 0x56d9(%rip), %rax      # 0x8268
movq 0x10(%rax), %r12
testq %r12, %r12
je 0x2baf
movq (%r12), %rdi
movq %r15, %rsi
callq 0x10e0
testl %eax, %eax
je 0x2be7
movq 0x20(%r12), %r12
jmp 0x2b93
movq %r15, %rdi
callq 0x2bfe
movq %rax, %r15
movq %r14, %rdi
callq 0x29ce
movq %rax, 0x8(%r15)
movl $0x1, 0x10(%r15)
movl %ebx, 0x14(%r15)
movq 0x568f(%rip), %rax      # 0x8268
movq 0x10(%rax), %rcx
movq %rcx, 0x20(%r15)
movq %r15, 0x10(%rax)
jmp 0x2bf2
orb $0x1, 0x10(%r12)
orl %ebx, 0x14(%r12)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: new_var
static Var *
new_var(char *s)
{	Var *f;

	if (free_var)
	{	f = free_var;
		free_var = f->nxt;
		memset(f, 0, sizeof(Var));
	} else
		f = (Var *) emalloc(sizeof(Var));

	f->s = new_str(s);
	return f;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x66cc(%rip), %r14      # 0x92d8
testq %r14, %r14
je 0x2c32
movq 0x20(%r14), %rax
movq %rax, 0x66bc(%rip)      # 0x92d8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r14)
movups %xmm0, (%r14)
movq $0x0, 0x20(%r14)
jmp 0x2c3f
movl $0x28, %edi
callq 0x151c
movq %rax, %r14
movq %rbx, %rdi
callq 0x29ce
movq %rax, (%r14)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: mark_select
int
mark_select(int x)
{	Var *v;
	int cnt = 0;

	for (v = stack->sels; v; v = v->nxt)
		if (v->sel)
		{	v->mark = x;
			cnt++;
			if (debug) printf("\tset mark %s to %d\n", v->s, x);
		}
	return cnt;
}

// Assembly:
movq 0x560c(%rip), %rax      # 0x8268
movq 0x10(%rax), %rcx
xorl %eax, %eax
testq %rcx, %rcx
je 0x2c78
cmpl $0x0, 0x10(%rcx)
je 0x2c72
movl %edi, 0x18(%rcx)
incl %eax
movq 0x20(%rcx), %rcx
jmp 0x2c62
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: run_check
void
run_check(void)
{	BFct *f;

	if (!fcts) return;

	stack = &init;
	memset(stack, 0, sizeof(Stack));
	ini_prop();
	add_glob_defs();

	f = find_function("_global_");	/* start execution with global defs */
	if (f)
	{	if (debug) printf("	CHECK %s\n", f->fnm);
		do_fct_call(f, (Node *) 0);
	} else
		printf("uno:global: internal error, no _global_\n");
	if (verbose)
	printf("uno:global: %d scenarios reported in property check\n", ErrCnt-1);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
cmpq $0x0, 0x55db(%rip)      # 0x8260
je 0x2dac
leaq 0x55de(%rip), %rax      # 0x8270
movq %rax, 0x55cf(%rip)      # 0x8268
xorps %xmm0, %xmm0
movups %xmm0, 0x55cd(%rip)     # 0x8270
movups %xmm0, 0x55d6(%rip)     # 0x8280
movups %xmm0, 0x55df(%rip)     # 0x8290
movups %xmm0, 0x55e8(%rip)     # 0x82a0
leaq 0x2b61(%rip), %rdi      # 0x5820
callq 0x2a92
movq %rax, 0x6615(%rip)      # 0x92e0
testq %rax, %rax
jne 0x2d2f
leaq 0x5439(%rip), %rax      # 0x8110
cmpl $0x0, (%rax)
je 0x2ce8
leaq 0x300f(%rip), %rdi      # 0x5cf2
callq 0x1060
leaq 0x2b31(%rip), %rdi      # 0x5820
callq 0x2960
xorl %ebx, %ebx
leaq 0x4fa3(%rip), %r14      # 0x7ca0
movq (%rbx,%r14), %rdi
callq 0x2e95
addq $0x8, %rbx
cmpq $0x138, %rbx            # imm = 0x138
jne 0x2cfd
leaq 0x2b06(%rip), %rdi      # 0x5820
callq 0x2a92
movq %rax, 0x65ba(%rip)      # 0x92e0
testq %rax, %rax
je 0x2db4
movq 0x65aa(%rip), %rdi      # 0x92e0
xorl %esi, %esi
callq 0x31de
testq %rax, %rax
je 0x2d55
movq 0x10(%rax), %rax
testq %rax, %rax
je 0x2d55
movq (%rax), %rax
movq %rax, 0x6593(%rip)      # 0x92e8
callq 0x2378
leaq 0x2f88(%rip), %rdi      # 0x5ce9
callq 0x2a92
testq %rax, %rax
je 0x2d77
movq %rax, %rdi
xorl %esi, %esi
callq 0x2db9
jmp 0x2d83
leaq 0x2f4c(%rip), %rdi      # 0x5cca
callq 0x1060
leaq 0x5386(%rip), %rax      # 0x8110
cmpl $0x0, (%rax)
je 0x2dac
movl 0x5367(%rip), %esi      # 0x80fc
decl %esi
leaq 0x2982(%rip), %rdi      # 0x5720
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x10a0
addq $0x8, %rsp
popq %rbx
popq %r14
retq
callq 0x1309
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: add_arc
static Arc *
add_arc(BFct *f, int from, int to)
{	Arc *a;
	Node *n;

	a = (Arc *) emalloc(sizeof(Arc));
	n = find_node(f, from);
	a->to   = find_node(f, to);
	a->nxt  = n->succ;
	n->succ = a;

	return a;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movl %edx, %ebx
movl %esi, %ebp
movq %rdi, %r14
movl $0x18, %edi
callq 0x151c
movq %rax, %r15
movq %r14, %rdi
movl %ebp, %esi
callq 0x31de
movq %rax, %r12
movq %r14, %rdi
movl %ebx, %esi
callq 0x31de
movq %rax, (%r15)
movq 0x10(%r12), %rax
movq %rax, 0x10(%r15)
movq %r15, 0x10(%r12)
movq %r15, %rax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: find_node
static Node *
find_node(BFct *f, int id)
{	Node *n;

	for (n = f->root; n; n = n->nxt)
		if (n->nid == id)
			break;

	if (!n)
	{	n = (Node *) emalloc(sizeof(Node));
		n->nid  = id;
		n->nxt  = f->root;
		f->root = n;
	}
	return n;
}

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movl %esi, %ebp
movq %rdi, %rbx
movq 0x10(%rdi), %rax
testq %rax, %rax
je 0x31f9
cmpl %ebp, (%rax)
je 0x3211
movq 0x20(%rax), %rax
jmp 0x31ea
movl $0x28, %edi
callq 0x151c
movl %ebp, (%rax)
movq 0x10(%rbx), %rcx
movq %rcx, 0x20(%rax)
movq %rax, 0x10(%rbx)
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: end_of_path
static void
end_of_path(void)
{	Arc	*a;
	Rstack	*r;

	if (!rstack) return;

	r = rstack;
	rstack = rstack->nxt;

	stack->fr = rstack?rstack->f:(BFct *) 0;	/* remember for error traces */

	if (debug)
	printf("%3d:\tFCT EXITS -- %s -- return to %s\n", depth,
		r->f->fnm, rstack?rstack->f->fnm:"--");

	if (!r->n || !r->n->succ)		/* no continuation point */
	{	if (debug) printf("%3d: no continuation point\n", depth);
		end_of_path();			/* ? */
	} else
		for (a = r->n->succ; a; a = a->nxt)	/* continuation in caller */
		{	if (debug) printf("%3d:\tCONTinuation in %s [%d->%d]\n", depth,
				rstack?rstack->f->fnm:"--", r->n->nid, a->to->nid);
			check_prop(a);
			if (debug) printf("%3d:\tUN_CONT %s [%d->%d]\n", depth,
				rstack?rstack->f->fnm:"--", a->to->nid, r->n->nid);
		}
	r->nxt = rstack;
	rstack = r;

	stack->fr = (BFct *) 0;

	if (debug)
	printf("%3d:\tFCT UN_EXITS -- %s\n", depth, r->f->fnm);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq 0x5d34(%rip), %r14      # 0x92f8
testq %r14, %r14
je 0x3636
movq 0x10(%r14), %rax
movq %rax, 0x5d24(%rip)      # 0x92f8
testq %rax, %rax
je 0x35de
movq (%rax), %rax
jmp 0x35e0
xorl %eax, %eax
movq 0x4c81(%rip), %rcx      # 0x8268
movq %rax, 0x30(%rcx)
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x3610
movq 0x10(%rax), %rbx
testq %rbx, %rbx
je 0x3610
movq %rbx, %rdi
callq 0x3218
movq 0x10(%rbx), %rbx
testq %rbx, %rbx
jne 0x35fd
jmp 0x3615
callq 0x35b9
movq 0x5cdc(%rip), %rax      # 0x92f8
movq %rax, 0x10(%r14)
movq %r14, 0x5cd1(%rip)      # 0x92f8
movq 0x4c3a(%rip), %rax      # 0x8268
movq $0x0, 0x30(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: rev_release
static Var *
rev_release(Var *v)
{	int n;

	if (!v) return (Var *) 0;
	rev_release(v->nxt);

	n = strlen(v->s);
	if (n > 0 && n < 512)
	{	Pool *p;
		if (free_pool)
		{	p = free_pool;
			free_pool = p->nxt;
			memset(p, 0, sizeof(Pool));
		} else
			p = (Pool *) emalloc(sizeof(Pool));
		p->s = v->s;
		p->nxt = pool[n];
		pool[n] = p;
	}
	v->s = (char *) 0;

	v->nxt = free_var;
	free_var = v;

	return (Var *) 0;
}

// Assembly:
testq %rdi, %rdi
je 0x4597
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x20(%rdi), %rdi
callq 0x4505
movq (%rbx), %rdi
callq 0x1080
movq %rax, %r14
decl %eax
cmpl $0x1fe, %eax            # imm = 0x1FE
ja 0x4577
movq 0x4d97(%rip), %rax      # 0x92d0
testq %rax, %rax
je 0x4551
movq 0x8(%rax), %rcx
movq %rcx, 0x4d87(%rip)      # 0x92d0
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
jmp 0x455b
movl $0x10, %edi
callq 0x151c
movq (%rbx), %rcx
movq %rcx, (%rax)
movl %r14d, %ecx
leaq 0x3d65(%rip), %rdx      # 0x82d0
movq (%rdx,%rcx,8), %rsi
movq %rsi, 0x8(%rax)
movq %rax, (%rdx,%rcx,8)
movq $0x0, (%rbx)
movq 0x4d53(%rip), %rax      # 0x92d8
movq %rax, 0x20(%rbx)
movq %rbx, 0x4d48(%rip)      # 0x92d8
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: rev_symrel
static BSym *
rev_symrel(BSym *s)
{	int n;

	if (!s) return (BSym *) 0;
	rev_symrel(s->nxt);

	n = strlen(s->s);
	if (n > 0 && n < 512)
	{	Pool *p;
		if (free_pool)
		{	p = free_pool;
			free_pool = p->nxt;
			memset(p, 0, sizeof(Pool));
		} else
			p = (Pool *) emalloc(sizeof(Pool));
		p->s = s->s;
		p->nxt = pool[n];
		pool[n] = p;
	}
	s->s = (char *) 0;

	s->nxt = free_sym;
	free_sym = s;

	return (BSym *) 0;
}

// Assembly:
testq %rdi, %rdi
je 0x462a
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x8(%rdi), %rdi
callq 0x4598
movq (%rbx), %rdi
callq 0x1080
movq %rax, %r14
decl %eax
cmpl $0x1fe, %eax            # imm = 0x1FE
ja 0x460a
movq 0x4d04(%rip), %rax      # 0x92d0
testq %rax, %rax
je 0x45e4
movq 0x8(%rax), %rcx
movq %rcx, 0x4cf4(%rip)      # 0x92d0
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
jmp 0x45ee
movl $0x10, %edi
callq 0x151c
movq (%rbx), %rcx
movq %rcx, (%rax)
movl %r14d, %ecx
leaq 0x3cd2(%rip), %rdx      # 0x82d0
movq (%rdx,%rcx,8), %rsi
movq %rsi, 0x8(%rax)
movq %rax, (%rdx,%rcx,8)
movq $0x0, (%rbx)
movq 0x4cf8(%rip), %rax      # 0x9310
movq %rax, 0x8(%rbx)
movq %rbx, 0x4ced(%rip)      # 0x9310
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: new_sym
static BSym *
new_sym(char *s)
{	BSym *f;

	if (free_sym)
	{	f = free_sym;
		free_sym = f->nxt;
		memset(f, 0, sizeof(BSym));
	} else
		f = (BSym *) emalloc(sizeof(BSym));

	f->s = new_str(s);
	return f;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x4cd7(%rip), %r14      # 0x9310
testq %r14, %r14
je 0x4652
movq 0x8(%r14), %rax
movq %rax, 0x4cc7(%rip)      # 0x9310
xorps %xmm0, %xmm0
movups %xmm0, (%r14)
jmp 0x465f
movl $0x10, %edi
callq 0x151c
movq %rax, %r14
movq %rbx, %rdi
callq 0x29ce
movq %rax, (%r14)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: print_fnm
static int
print_fnm(Rstack *s, char *p)
{
	if (!s) return 0;

	if (s->n && s->n->lab)
		printf("	%s %s\n", p, &s->n->lab->label[2]);
	else if (strcmp(s->f->fnm, "_global_") != 0)
		printf("	%s %s()\n", p, s->f->fnm);
	return 1;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
testq %rdi, %rdi
je 0x4727
movq %rsi, %rbx
movq 0x8(%rdi), %rax
testq %rax, %rax
je 0x46f3
movq 0x8(%rax), %rax
testq %rax, %rax
je 0x46f3
movq (%rax), %rdx
addq $0x2, %rdx
leaq 0x144e(%rip), %rdi      # 0x5b30
movq %rbx, %rsi
xorl %eax, %eax
callq 0x10a0
movl $0x1, %ebp
jmp 0x4729
movq (%rdi), %rax
movq (%rax), %r14
leaq 0x15e9(%rip), %rsi      # 0x5ce9
movq %r14, %rdi
callq 0x10e0
movl $0x1, %ebp
testl %eax, %eax
je 0x4729
leaq 0x1420(%rip), %rdi      # 0x5b38
movq %rbx, %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0x10a0
jmp 0x4729
xorl %ebp, %ebp
movl %ebp, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_fcts.c
// Function: print_stack
static void
print_stack(Stack *s, int d)
{	Arc *a;
	int i;

	if (!s) return;
	print_stack(s->nxt, d-1);

	a = s->move;

	if (a
	&&  a->to->lab
	&&  strlen((char *) a->to->lab->label) > 0)
	{	for (i = 0; i < tabs; i++)
			printf("   ");
		printf("%3d:\t[%d]\t%s\n", d,
			a->to->nid, a->to->lab->label);
	}

	if (s->fc)
	{	tabs++;
		for (i = 0; i < tabs; i++)
			printf("   ");
		printf("%3d: BFct call to %s\n", d, s->fc->fnm);
	}
	if (s->fr)
	{	for (i = 0; i < tabs; i++)
			printf("   ");
		tabs--;
		printf("%3d: Return to %s\n", d, s->fr->fnm);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
testq %rdi, %rdi
je 0x4882
movl %esi, %ebx
movq %rdi, %r14
movq 0x38(%rdi), %rdi
leal -0x1(%rbx), %esi
callq 0x475b
movq (%r14), %r12
testq %r12, %r12
je 0x47dd
movq (%r12), %rax
movq 0x8(%rax), %rax
testq %rax, %rax
je 0x47dd
movq (%rax), %rax
cmpb $0x0, (%rax)
je 0x47dd
cmpl $0x0, 0x4b77(%rip)      # 0x9318
jle 0x47c0
leaq 0x1398(%rip), %r15      # 0x5b42
xorl %ebp, %ebp
movq %r15, %rdi
xorl %eax, %eax
callq 0x10a0
incl %ebp
cmpl 0x4b5a(%rip), %ebp      # 0x9318
jl 0x47ac
movq (%r12), %rax
movl (%rax), %edx
movq 0x8(%rax), %rax
movq (%rax), %rcx
leaq 0x1372(%rip), %rdi      # 0x5b46
movl %ebx, %esi
xorl %eax, %eax
callq 0x10a0
cmpq $0x0, 0x28(%r14)
je 0x482b
movl 0x4b2e(%rip), %eax      # 0x9318
leal 0x1(%rax), %ecx
movl %ecx, 0x4b25(%rip)      # 0x9318
testl %eax, %eax
js 0x4814
leaq 0x1344(%rip), %r15      # 0x5b42
xorl %ebp, %ebp
movq %r15, %rdi
xorl %eax, %eax
callq 0x10a0
incl %ebp
cmpl 0x4b06(%rip), %ebp      # 0x9318
jl 0x4800
movq 0x28(%r14), %rax
movq (%rax), %rdx
leaq 0x1332(%rip), %rdi      # 0x5b54
movl %ebx, %esi
xorl %eax, %eax
callq 0x10a0
cmpq $0x0, 0x30(%r14)
je 0x4882
movl 0x4ae0(%rip), %eax      # 0x9318
testl %eax, %eax
jle 0x485b
leaq 0x12ff(%rip), %r15      # 0x5b42
xorl %ebp, %ebp
movq %r15, %rdi
xorl %eax, %eax
callq 0x10a0
incl %ebp
movl 0x4ac1(%rip), %eax      # 0x9318
cmpl %eax, %ebp
jl 0x4845
decl %eax
movl %eax, 0x4ab5(%rip)      # 0x9318
movq 0x30(%r14), %rax
movq (%rax), %rdx
leaq 0x12f9(%rip), %rdi      # 0x5b6a
movl %ebx, %esi
xorl %eax, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
jmp 0x10a0
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq