// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Uno/Src/uno_generic.c
// Function: on_track
static int
on_track(treenode *m, int allow, int forbid)
{	SymRef *s;
	SymList *r;
	treenode *n;

	n = (m && m->hdr.type == TN_IF) ? ((if_node *)m)->cond : m;

	if (n && n->hdr.defuse)
	for (r = n->hdr.defuse->other; r; r = r->nxt)
		if ((r->mark & allow) && !(r->mark & forbid))
		{	for (s = gen_stack->symrefs; s; s = s->nxt)
			{	if (strcmp(s->sm->nme->str, r->sm->nme->str) == 0
				&&  (s->status & allow)
				&& !(s->status & forbid))
				{	if (m != s->n)
						witness = s->n;
					if (debug) printf("\tsym present %s (line %d)\n",
						r->sm->nme->str, s->n?s->n->hdr.line:-1);
					return 1;
		}	}	}

	if (debug)
	{	printf("on_track: no matching syms\n");
		if (n && n->hdr.defuse)
		for (r = n->hdr.defuse->other; r; r = r->nxt)
			printf("\tdefuse have %s %d\n", r->sm->nme->str, r->mark);
		for (s = gen_stack->symrefs; s; s = s->nxt)
			printf("\tgenstack have %s %d\n", s->sm->nme->str, s->status);
	}
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movl %edx, -0x18(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x31231
movq -0x10(%rbp), %rax
cmpl $0x1b, 0x1c(%rax)
jne 0x31231
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movq %rax, -0x38(%rbp)
jmp 0x31239
movq -0x10(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x30(%rbp)
je 0x313b2
movq -0x30(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x313b2
movq -0x30(%rbp), %rax
movq 0x28(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x313b0
movq -0x28(%rbp), %rax
movl 0x4(%rax), %eax
andl -0x14(%rbp), %eax
cmpl $0x0, %eax
je 0x3139d
movq -0x28(%rbp), %rax
movl 0x4(%rax), %eax
andl -0x18(%rbp), %eax
cmpl $0x0, %eax
jne 0x3139d
movq 0x65935(%rip), %rax     # 0x96bd8
movq (%rax), %rax
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x3139b
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x3160
cmpl $0x0, %eax
jne 0x31388
movq -0x20(%rbp), %rax
movl 0x10(%rax), %eax
andl -0x14(%rbp), %eax
cmpl $0x0, %eax
je 0x31388
movq -0x20(%rbp), %rax
movl 0x10(%rax), %eax
andl -0x18(%rbp), %eax
cmpl $0x0, %eax
jne 0x31388
movq -0x10(%rbp), %rax
movq -0x20(%rbp), %rcx
cmpq 0x8(%rcx), %rax
je 0x31325
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x658d3(%rip)     # 0x96bf8
cmpl $0x0, 0x658bc(%rip)     # 0x96be8
je 0x3137c
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x20(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x3135d
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x10(%rax), %eax
movl %eax, -0x44(%rbp)
jmp 0x31367
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
movl %eax, -0x44(%rbp)
jmp 0x31367
movq -0x40(%rbp), %rsi
movl -0x44(%rbp), %edx
leaq 0x15d99(%rip), %rdi     # 0x4710e
movb $0x0, %al
callq 0x30f0
movl $0x1, -0x4(%rbp)
jmp 0x3147b
jmp 0x3138a
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
jmp 0x312aa
jmp 0x3139d
jmp 0x3139f
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
jmp 0x3126b
jmp 0x313b2
cmpl $0x0, 0x6582f(%rip)     # 0x96be8
je 0x31474
leaq 0x15d63(%rip), %rdi     # 0x47129
movb $0x0, %al
callq 0x30f0
cmpq $0x0, -0x30(%rbp)
je 0x3142b
movq -0x30(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x3142b
movq -0x30(%rbp), %rax
movq 0x28(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x31429
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq -0x28(%rbp), %rax
movl 0x4(%rax), %edx
leaq 0x15d31(%rip), %rdi     # 0x47145
movb $0x0, %al
callq 0x30f0
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
jmp 0x313ef
jmp 0x3142b
movq 0x657a6(%rip), %rax     # 0x96bd8
movq (%rax), %rax
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
je 0x31472
movq -0x20(%rbp), %rax
movq (%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq -0x20(%rbp), %rax
movl 0x10(%rax), %edx
leaq 0x15cfc(%rip), %rdi     # 0x47159
movb $0x0, %al
callq 0x30f0
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
jmp 0x31439
jmp 0x31474
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x50, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)