// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: uno_index
void
uno_index(State *s)
{	ArList *a;
	treenode *e;

	if (!s) return;

	if (s->n && s->n->hdr.type == TN_IF)
		e = ((if_node *)s->n)->cond;
	else
		e = s->n;

	if (e && e->hdr.defuse)
	for (a = e->hdr.defuse->aio; a; a = a->nxt)		/* index operations */
		ana_aio_ix(s, a->tn);
}

// Assembly:
testq %rdi, %rdi
je 0x1bb2b
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %r12
movq (%rdi), %rcx
movq %rdi, %rax
testq %rcx, %rcx
je 0x1b781
leaq 0x40(%rcx), %rax
cmpl $0x1b, 0x1c(%rcx)
cmovneq %r12, %rax
movq (%rax), %rax
testq %rax, %rax
je 0x1bb1d
movq 0x28(%rax), %rax
testq %rax, %rax
je 0x1bb1d
movq 0x20(%rax), %r13
testq %r13, %r13
je 0x1bb1d
movq %r12, 0x10(%rsp)
movq (%r13), %rbp
movq 0x40(%rbp), %rbx
cmpl $0x2d, 0x1c(%rbx)
jne 0x1b7e2
cmpl $0x24, 0x1c(%rbp)
jne 0x1b7e2
movq (%r12), %r14
incl 0x651d6(%rip)           # 0x809a0
movq 0x48(%rbp), %rdi
movl $0x26, %esi
callq 0x1b04a
testl %eax, %eax
je 0x1b7f0
incl 0x651ca(%rip)           # 0x809ac
movq 0x8(%r13), %r13
testq %r13, %r13
jne 0x1b7ac
jmp 0x1bb1d
movq 0x38(%rbx), %r12
testq %r12, %r12
je 0x1b941
movq 0x651d4(%rip), %rbx     # 0x809d8
movq $0x0, (%rsp)
testq %rbx, %rbx
je 0x1b874
movq %r14, 0x8(%rsp)
xorl %r15d, %r15d
movq (%rbx), %r14
cmpq %r12, %r14
je 0x1b8e6
movq 0x8(%r14), %rax
movq 0x8(%rax), %rdi
movq 0x8(%r12), %rax
movq 0x8(%rax), %rsi
callq 0x3180
testl %eax, %eax
jne 0x1b85d
movzwl 0x20(%r14), %eax
xorl %ecx, %ecx
cmpw 0x20(%r12), %ax
sete %cl
cmoveq %rbx, %r15
movq (%rsp), %rax
addl %ecx, %eax
movq %rax, (%rsp)
movq 0x10(%rbx), %rbx
testq %rbx, %rbx
jne 0x1b819
cmpl $0x1, (%rsp)
sete %al
movq 0x8(%rsp), %r14
jmp 0x1b879
xorl %r15d, %r15d
xorl %eax, %eax
testb %al, %al
je 0x1b886
movq 0x8(%r15), %r15
jmp 0x1b944
movq 0x65153(%rip), %rbx     # 0x809e0
testq %rbx, %rbx
je 0x1b8bf
movq 0x8(%r12), %rax
movq 0x8(%rax), %r15
movq (%rbx), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq %r15, %rsi
callq 0x3180
testl %eax, %eax
je 0x1b941
movq 0x10(%rbx), %rbx
testq %rbx, %rbx
jne 0x1b89b
movq 0x65122(%rip), %rax     # 0x809e8
testq %rax, %rax
je 0x1b8f1
movq 0x10(%rax), %rcx
movq %rcx, 0x65112(%rip)     # 0x809e8
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq $0x0, 0x10(%rax)
jmp 0x1b8fb
movq 0x8(%rbx), %r15
movq 0x8(%rsp), %r14
jmp 0x1b944
movl $0x18, %edi
callq 0x61a1
movq %r12, (%rax)
movq 0x650db(%rip), %rcx     # 0x809e0
movq %rcx, 0x10(%rax)
movq %rax, 0x650d0(%rip)     # 0x809e0
leaq 0x1c911(%rip), %rax     # 0x38228
cmpl $0x0, (%rax)
je 0x1b93b
movq 0x8(%r14), %rsi
movl 0x10(%r14), %edx
movq 0x8(%r12), %rax
movq 0x8(%rax), %rcx
leaq 0x15403(%rip), %rdi     # 0x30d37
xorl %eax, %eax
callq 0x3100
incl 0x65067(%rip)           # 0x809a8
xorl %r15d, %r15d
testq %r15, %r15
je 0x1b972
movq 0x48(%rbp), %r12
movq %r12, %rdi
movl $0x2d, %esi
callq 0x1b04a
testl %eax, %eax
je 0x1b9bc
testq %r12, %r12
je 0x1b982
cmpl $0x2d, 0x1c(%r12)
jne 0x1b982
movq 0x38(%r12), %rbx
jmp 0x1b984
incl 0x6502c(%rip)           # 0x809a4
movq 0x10(%rsp), %r12
jmp 0x1b7e2
xorl %ebx, %ebx
testq %rbx, %rbx
movq 0x10(%rsp), %r12
je 0x1b9b1
incl 0x65034(%rip)           # 0x809c8
movl $0x0, 0x64fea(%rip)     # 0x80988
movq %r15, %rdi
xorl %esi, %esi
callq 0x1b08f
cmpl $0x0, 0x64fd9(%rip)     # 0x80988
je 0x1ba22
incl 0x64ff9(%rip)           # 0x809b0
jmp 0x1b7e2
movl $0x0, 0x64fc2(%rip)     # 0x80988
xorl %ebx, %ebx
movq %r12, %rdi
xorl %esi, %esi
callq 0x1b08f
testl %eax, %eax
js 0x1ba01
movl %eax, %r14d
movq %r15, %rdi
xorl %esi, %esi
callq 0x1b08f
movl $0xfffffffe, %ebx       # imm = 0xFFFFFFFE
cmpl $0x0, 0x64f99(%rip)     # 0x80988
jne 0x1ba01
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
cmpl %eax, %r14d
je 0x1ba01
setl %al
movzbl %al, %ebx
cmpl $-0x1, %ebx
movq 0x10(%rsp), %r12
je 0x1ba50
leaq 0x43a9(%rip), %r14      # 0x1fdbb
cmpl $0x1, %ebx
jne 0x1ba59
incl 0x64fa3(%rip)           # 0x809c0
jmp 0x1b7e2
incl 0x64f90(%rip)           # 0x809b8
movq 0x64fc1(%rip), %rcx     # 0x809f0
movq (%rcx), %rdi
testq %rdi, %rdi
je 0x1b7e2
cmpq %rbx, (%rdi)
jne 0x1ba4a
testb $0x4, 0x18(%rdi)
je 0x1bb08
movq 0x28(%rdi), %rdi
jmp 0x1ba32
xorl %ebx, %ebx
leaq 0x15294(%rip), %r14     # 0x30ced
testl %ebx, %ebx
je 0x1ba68
incl 0x64f51(%rip)           # 0x809b4
jmp 0x1b7e2
movq %rbp, %rdi
callq 0x1b2c4
testl %eax, %eax
jne 0x1b7e2
movq 0x1c551(%rip), %rbx     # 0x37fd0
movq (%rbx), %r12
movq 0x8(%rbp), %rax
movq %rax, (%rsp)
movl 0x10(%rbp), %eax
movl %eax, 0x8(%rsp)
movq 0x40(%rbp), %rdi
callq 0x5e8a
movq %r12, %rdi
movq 0x10(%rsp), %r12
leaq 0x1524e(%rip), %rsi     # 0x30cf7
movq (%rsp), %rdx
movl 0x8(%rsp), %ecx
movq %r14, %r8
movq %rax, %r9
xorl %eax, %eax
callq 0x3190
movq (%rbx), %r14
movq 0x48(%rbp), %rdi
callq 0x5e8a
movq %r14, %rdi
leaq 0x1524a(%rip), %rsi     # 0x30d1e
movq %rax, %rdx
xorl %eax, %eax
callq 0x3190
movq (%rbx), %r14
movq %r15, %rdi
callq 0x5e8a
movq %r14, %rdi
leaq 0x15231(%rip), %rsi     # 0x30d24
movq %rax, %rdx
xorl %eax, %eax
callq 0x3190
incl 0x64ec1(%rip)           # 0x809c4
jmp 0x1b7e2
incl 0x64eae(%rip)           # 0x809bc
movl %eax, %esi
movq %r14, %rdx
callq 0x1c7f4
jmp 0x1b7e2
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq