// File: /workspace/github_c_makefile_star2_O2/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 0x18f55
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %r13
movq (%rdi), %rax
testq %rax, %rax
je 0x18f47
leaq 0x40(%rax), %rcx
cmpl $0x1b, 0x1c(%rax)
cmovneq %r13, %rcx
movq (%rcx), %rax
testq %rax, %rax
je 0x18f47
movq 0x28(%rax), %rbp
testq %rbp, %rbp
je 0x18f47
addq $0x20, %rbp
movq %r13, 0x8(%rsp)
movq (%rbp), %rbp
testq %rbp, %rbp
je 0x18f47
movq (%rbp), %r12
movq 0x40(%r12), %rbx
cmpl $0x2d, 0x1c(%rbx)
jne 0x18e35
cmpl $0x24, 0x1c(%r12)
jne 0x18e35
movq (%r13), %r14
incl 0x66d58(%rip)           # 0x7f9b0
movq 0x48(%r12), %r15
movq %r15, %rdi
pushq $0x26
popq %rsi
callq 0x184de
testl %eax, %eax
je 0x18c77
incl 0x66d4a(%rip)           # 0x7f9bc
jmp 0x18e35
movq %r14, 0x20(%rsp)
movq 0x38(%rbx), %r14
testq %r14, %r14
je 0x18e2f
movq %r15, 0x18(%rsp)
movq $0x0, 0x10(%rsp)
leaq 0x66d4a(%rip), %r13     # 0x7f9e8
xorl %r15d, %r15d
movq (%r13), %r13
testq %r13, %r13
je 0x18cf1
movq (%r13), %rbx
cmpq %r14, %rbx
je 0x18cfc
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rdi
movq 0x8(%r14), %rax
movq 0x8(%rax), %rsi
callq 0x3190
testl %eax, %eax
jne 0x18ceb
movzwl 0x20(%rbx), %eax
xorl %ecx, %ecx
cmpw 0x20(%r14), %ax
sete %cl
movq 0x10(%rsp), %rax
cmoveq %r13, %rax
movq %rax, 0x10(%rsp)
addl %ecx, %r15d
addq $0x10, %r13
jmp 0x18ca1
cmpl $0x1, %r15d
movq 0x10(%rsp), %r13
jne 0x18d65
movq 0x8(%r13), %r14
testq %r14, %r14
movq 0x8(%rsp), %r13
movq 0x18(%rsp), %rbx
je 0x18e2f
movq %rbx, %rdi
pushq $0x2d
popq %rsi
callq 0x184de
testl %eax, %eax
je 0x18d9e
testq %rbx, %rbx
je 0x18d5a
cmpl $0x2d, 0x1c(%rbx)
jne 0x18d5a
movq 0x38(%rbx), %rbx
testq %rbx, %rbx
je 0x18d5a
incl 0x66c9c(%rip)           # 0x7f9d8
andl $0x0, 0x66c55(%rip)     # 0x7f998
movq %r14, %rdi
xorl %esi, %esi
callq 0x18519
cmpl $0x0, 0x66c44(%rip)     # 0x7f998
je 0x18f06
incl 0x66c60(%rip)           # 0x7f9c0
jmp 0x18e35
leaq 0x66c84(%rip), %rbx     # 0x7f9f0
movq 0x8(%rsp), %r13
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x18de1
movq (%rbx), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq 0x8(%r14), %rax
movq 0x8(%rax), %rsi
callq 0x3190
addq $0x10, %rbx
testl %eax, %eax
jne 0x18d71
jmp 0x18e2f
andl $0x0, 0x66bf3(%rip)     # 0x7f998
movq %rbx, %rdi
xorl %esi, %esi
callq 0x18519
leaq 0x4fe5(%rip), %r15      # 0x1dd9b
testl %eax, %eax
js 0x18e5e
movl %eax, %r13d
movq %r14, %rdi
xorl %esi, %esi
callq 0x18519
cmpl $0x0, 0x66bc6(%rip)     # 0x7f998
je 0x18e3e
incl 0x66bea(%rip)           # 0x7f9c4
movq 0x8(%rsp), %r13
jmp 0x18e35
callq 0x19761
movq %r14, (%rax)
movq 0x66c00(%rip), %rcx     # 0x7f9f0
movq %rcx, 0x10(%rax)
movq %rax, 0x66bf5(%rip)     # 0x7f9f0
leaq 0x1e436(%rip), %rax     # 0x37238
cmpl $0x0, (%rax)
je 0x18e29
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rsi
movl 0x10(%rax), %edx
movq 0x8(%r14), %rax
movq 0x8(%rax), %rcx
leaq 0x15f21(%rip), %rdi     # 0x2ed43
xorl %eax, %eax
callq 0x3100
incl 0x66b89(%rip)           # 0x7f9b8
incl 0x66b7f(%rip)           # 0x7f9b4
addq $0x8, %rbp
jmp 0x18c22
leaq 0x15eb4(%rip), %r15     # 0x2ecf9
cmpl %eax, %r13d
je 0x18e5e
leaq 0x4f4a(%rip), %r15      # 0x1dd9b
jge 0x18e5e
incl 0x66b77(%rip)           # 0x7f9d0
jmp 0x18dda
movq %r12, %rdi
callq 0x18755
testl %eax, %eax
movq 0x8(%rsp), %r13
jne 0x18e35
movq 0x1e15a(%rip), %rbx     # 0x36fd0
movq (%rbx), %r13
movq 0x8(%r12), %rax
movq %rax, 0x10(%rsp)
movl 0x10(%r12), %eax
movl %eax, 0x18(%rsp)
movq 0x40(%r12), %rdi
callq 0x4ac7
movq %r13, %rdi
movq 0x8(%rsp), %r13
leaq 0x15e5e(%rip), %rsi     # 0x2ed03
movq 0x10(%rsp), %rdx
movl 0x18(%rsp), %ecx
movq %r15, %r8
movq %rax, %r9
xorl %eax, %eax
callq 0x31a0
movq (%rbx), %r15
movq 0x48(%r12), %rdi
callq 0x4ac7
movq %r15, %rdi
leaq 0x15e58(%rip), %rsi     # 0x2ed2a
movq %rax, %rdx
xorl %eax, %eax
callq 0x31a0
movq (%rbx), %r15
movq %r14, %rdi
callq 0x4ac7
movq %r15, %rdi
leaq 0x15e3f(%rip), %rsi     # 0x2ed30
movq %rax, %rdx
xorl %eax, %eax
callq 0x31a0
incl 0x66ad3(%rip)           # 0x7f9d4
jmp 0x18e35
incl 0x66abc(%rip)           # 0x7f9c8
movq 0x66aed(%rip), %rdi     # 0x7fa00
movq 0x20(%rsp), %rdx
movq (%rdi), %rdi
testq %rdi, %rdi
je 0x18e35
cmpq %rbx, (%rdi)
jne 0x18f2f
testb $0x4, 0x18(%rdi)
je 0x18f35
addq $0x28, %rdi
jmp 0x18f18
incl 0x66a91(%rip)           # 0x7f9cc
movl %eax, %esi
callq 0x19ba5
jmp 0x18e35
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq