// File: /workspace/github_c_makefile_star2_O3/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 0x1b1dd
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbp
movq (%rdi), %rax
testq %rax, %rax
je 0x1b1cf
leaq 0x40(%rax), %rcx
cmpl $0x1b, 0x1c(%rax)
cmovneq %rbp, %rcx
movq (%rcx), %rax
testq %rax, %rax
je 0x1b1cf
movq 0x28(%rax), %rax
testq %rax, %rax
je 0x1b1cf
movq 0x20(%rax), %r14
testq %r14, %r14
je 0x1b1cf
movq %rbp, 0x8(%rsp)
movq (%r14), %r15
movq 0x40(%r15), %rbx
cmpl $0x2d, 0x1c(%rbx)
jne 0x1b07d
cmpl $0x24, 0x1c(%r15)
jne 0x1b07d
movq (%rbp), %r13
incl 0x65b16(%rip)           # 0x809b0
movq 0x48(%r15), %r12
movq %r12, %rdi
movl $0x26, %esi
callq 0x1a710
testl %eax, %eax
je 0x1aeba
incl 0x65b07(%rip)           # 0x809bc
jmp 0x1b07d
movq %r12, 0x18(%rsp)
movq 0x38(%rbx), %r12
testq %r12, %r12
je 0x1b077
movq 0x65b15(%rip), %rbp     # 0x809e8
testq %rbp, %rbp
je 0x1af44
movq %r13, 0x20(%rsp)
movq $0x0, 0x10(%rsp)
xorl %ebx, %ebx
movq (%rbp), %r13
cmpq %r12, %r13
je 0x1afb0
movq 0x8(%r13), %rax
movq 0x8(%rax), %rdi
movq 0x8(%r12), %rax
movq 0x8(%rax), %rsi
callq 0x3190
testl %eax, %eax
jne 0x1af2f
movzwl 0x20(%r13), %eax
xorl %ecx, %ecx
cmpw 0x20(%r12), %ax
sete %cl
cmoveq %rbp, %rbx
movq 0x10(%rsp), %rax
addl %ecx, %eax
movq %rax, 0x10(%rsp)
movq 0x10(%rbp), %rbp
testq %rbp, %rbp
jne 0x1aee8
cmpl $0x1, 0x10(%rsp)
movq 0x20(%rsp), %r13
je 0x1afb8
movq 0x65aa5(%rip), %rbx     # 0x809f0
testq %rbx, %rbx
movq 0x8(%rsp), %rbp
je 0x1af82
movq 0x8(%r12), %rax
movq 0x8(%rax), %r15
movq (%rbx), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq %r15, %rsi
callq 0x3190
testl %eax, %eax
je 0x1b077
movq 0x10(%rbx), %rbx
testq %rbx, %rbx
jne 0x1af5e
movq 0x65a6f(%rip), %rax     # 0x809f8
testq %rax, %rax
je 0x1b027
movq 0x10(%rax), %rcx
movq %rcx, 0x65a5b(%rip)     # 0x809f8
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq $0x0, 0x10(%rax)
jmp 0x1b031
movq %rbp, %rbx
movq 0x20(%rsp), %r13
movq 0x8(%rbx), %r12
testq %r12, %r12
movq 0x8(%rsp), %rbp
je 0x1b077
movq 0x18(%rsp), %rbx
movq %rbx, %rdi
movl $0x2d, %esi
callq 0x1a710
testl %eax, %eax
je 0x1b08f
testq %rbx, %rbx
je 0x1b01f
cmpl $0x2d, 0x1c(%rbx)
jne 0x1b01f
movq 0x38(%rbx), %rbx
testq %rbx, %rbx
je 0x1b01f
incl 0x659da(%rip)           # 0x809d8
movl $0x0, 0x65990(%rip)     # 0x80998
movq %r12, %rdi
xorl %esi, %esi
callq 0x1a750
cmpl $0x0, 0x6597f(%rip)     # 0x80998
je 0x1b190
incl 0x6599b(%rip)           # 0x809c0
jmp 0x1b07d
movl $0x18, %edi
callq 0x5fdd
movq %r12, (%rax)
movq 0x659b5(%rip), %rcx     # 0x809f0
movq %rcx, 0x10(%rax)
movq %rax, 0x659aa(%rip)     # 0x809f0
leaq 0x1d1eb(%rip), %rax     # 0x38238
cmpl $0x0, (%rax)
je 0x1b071
movq 0x8(%r13), %rsi
movl 0x10(%r13), %edx
movq 0x8(%r12), %rax
movq 0x8(%rax), %rcx
leaq 0x15ca5(%rip), %rdi     # 0x30d0f
xorl %eax, %eax
callq 0x3100
incl 0x65941(%rip)           # 0x809b8
incl 0x65937(%rip)           # 0x809b4
movq 0x8(%r14), %r14
testq %r14, %r14
jne 0x1ae74
jmp 0x1b1cf
movl $0x0, 0x658ff(%rip)     # 0x80998
movq %rbx, %rdi
xorl %esi, %esi
callq 0x1a750
leaq 0x4cf1(%rip), %r13      # 0x1fd9b
testl %eax, %eax
js 0x1b0ec
movl %eax, %ebp
movq %r12, %rdi
xorl %esi, %esi
callq 0x1a750
cmpl $0x0, 0x658d7(%rip)     # 0x80998
je 0x1b0d0
incl 0x658fb(%rip)           # 0x809c4
movq 0x8(%rsp), %rbp
jmp 0x1b07d
leaq 0x15bee(%rip), %r13     # 0x30cc5
cmpl %eax, %ebp
je 0x1b0ec
leaq 0x4cb9(%rip), %r13      # 0x1fd9b
jge 0x1b0ec
incl 0x658e6(%rip)           # 0x809d0
jmp 0x1b0c9
movq %r15, %rdi
callq 0x1a982
testl %eax, %eax
movq 0x8(%rsp), %rbp
jne 0x1b07d
movq 0x1cecc(%rip), %rbx     # 0x37fd0
movq (%rbx), %rbp
movq 0x8(%r15), %rax
movq %rax, 0x10(%rsp)
movl 0x10(%r15), %eax
movl %eax, 0x18(%rsp)
movq 0x40(%r15), %rdi
callq 0x5cbe
movq %rbp, %rdi
movq 0x8(%rsp), %rbp
leaq 0x15b9f(%rip), %rsi     # 0x30ccf
movq 0x10(%rsp), %rdx
movl 0x18(%rsp), %ecx
movq %r13, %r8
movq %rax, %r9
xorl %eax, %eax
callq 0x31a0
movq (%rbx), %r13
movq 0x48(%r15), %rdi
callq 0x5cbe
movq %r13, %rdi
leaq 0x15b9a(%rip), %rsi     # 0x30cf6
movq %rax, %rdx
xorl %eax, %eax
callq 0x31a0
movq (%rbx), %r15
movq %r12, %rdi
callq 0x5cbe
movq %r15, %rdi
leaq 0x15b81(%rip), %rsi     # 0x30cfc
movq %rax, %rdx
xorl %eax, %eax
callq 0x31a0
incl 0x65849(%rip)           # 0x809d4
jmp 0x1b07d
incl 0x65832(%rip)           # 0x809c8
movq 0x65863(%rip), %rcx     # 0x80a00
movq (%rcx), %rdi
testq %rdi, %rdi
je 0x1b07d
cmpq %rbx, (%rdi)
jne 0x1b1b4
testb $0x4, 0x18(%rdi)
je 0x1b1ba
movq 0x28(%rdi), %rdi
jmp 0x1b1a0
incl 0x6580c(%rip)           # 0x809cc
movl %eax, %esi
movq %r13, %rdx
callq 0x1be83
jmp 0x1b07d
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq