// File: chhylp123[P]hifiasm/gfa_ut.cpp
// Function: ug_ext_0(ul_resolve_t*, usg_t*, unsigned long*, unsigned long, unsigned long*, unsigned int, unsigned char*, unsigned int*, unsigned long*, asg64_v*, asg64_v*, unsigned long)
uint32_t ug_ext_0(ul_resolve_t *uidx, usg_t *ng, uint64_t *int_idx, uint64_t int_idx_n, uint64_t *int_a, uint32_t max_ext, 
uint8_t *ff, uint32_t *ng_occ, uint64_t *i_idx, asg64_v *b64, asg64_v *ub64, uint64_t a_n)
{
    uint32_t n_vtx = ng->n<<1, k, i; uint64_t *pz;
    uint64_t s, e, n_clus;
    memset(ff, 0, sizeof((*ff))*n_vtx);
    // memset(ng_occ, 0, sizeof((*ng_occ))*n_vtx); 
    memset(i_idx, 0, sizeof((*i_idx))*n_vtx); 
    ub64->n = 0;

    for (i = 0; i < a_n; i++) { ///available intervals
        s = b64->a[i]>>32; e = (uint32_t)b64->a[i]; assert(e > s);///[s, e] -> coordinates within int_a[]
        assert(!(b64->a[i]&((uint64_t)0x8000000000000000)));
        // fprintf(stderr, "\n[M::%s::] occ::%lu\n", __func__, e - s);
        // for (k = s; k <= e; k++) {
        //     // fprintf(stderr, "utg%.6dl(%c),", (int32_t)(int_a[k]>>1)+1, "+-"[int_a[k]&1]);
        //     fprintf(stderr, "utg%.6dl,", (int32_t)(int_a[k]>>1)+1);
        // }
        // fprintf(stderr, "\n");

        for (k = s + 1; k < e; k++) {///note: here is [s, e]; s && e are unique, but [s+1, e-1] are not unique
            kv_pushp(uint64_t, *b64, &pz); //i_idx[int_a[k]]++;
            (*pz) = int_a[k]; (*pz) <<= 32; (*pz) |= i;///(raw unitig/non-unqiue node id)|(integer contig id)

            kv_pushp(uint64_t, *b64, &pz); //i_idx[int_a[k]^1]++;
            (*pz) = int_a[k]^1; (*pz) <<= 32; (*pz) |= i;
        }
        kv_pushp(uint64_t, *b64, &pz); //i_idx[int_a[s]]++;
        (*pz) = int_a[s]; (*pz) <<= 32; (*pz) |= i;

        kv_pushp(uint64_t, *b64, &pz); //i_idx[int_a[e]^1]++;
        (*pz) = int_a[e]^1; (*pz) <<= 32; (*pz) |= i;
    }
    // prt_thread_info(b64.a, a_n, NULL, 0, "tt2");
    // fprintf(stderr, "**1**[M::%s::] a_n::%lu, ua_n::%lu\n", __func__, a_n, ua_n);
    ///index
    radix_sort_srt64(b64->a + a_n, b64->a + b64->n);///(raw unitig node id)|(integer contig id)
    for (k = a_n + 1, i = a_n; k <= b64->n; k++) {
        if(k == b64->n || (b64->a[k]>>32) != (b64->a[i]>>32)) {
            i_idx[b64->a[i]>>32] |= (((uint64_t)i)<<32)|((uint64_t)k);///b64.a[i]>>32 appear once (unique ends)/multipe times
            i = k;
        }
    }

    n_clus = usg_unique_arcs_cluster_adv(b64, a_n, i_idx, int_a, ub64);
    // fprintf(stderr, "**3**[M::%s::] a_n::%lu, n_clus::%lu\n", __func__, a_n, n_clus);
    // prt_thread_info(b64.a, a_n, NULL, 0, "tt4");
    assert(b64->n == (a_n<<1));
    
    // new_path_ext(uidx, ng, &b64, &ub64, a_n, n_clus, i_idx, int_a, ff, ng_occ, max_ext);//wrong
    return old_path_ext(uidx, ng, b64, ub64, a_n, n_clus, i_idx, int_a, ff, ng_occ, max_ext);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0xa0, %rsp
movq 0x38(%rbp), %rax
movq 0x30(%rbp), %rax
movq 0x28(%rbp), %rax
movq 0x20(%rbp), %rax
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movq %rdi, -0x18(%rbp)
movq %rsi, -0x20(%rbp)
movq %rdx, -0x28(%rbp)
movq %rcx, -0x30(%rbp)
movq %r8, -0x38(%rbp)
movl %r9d, -0x3c(%rbp)
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
shlq %rax
movl %eax, -0x40(%rbp)
movq 0x10(%rbp), %rdi
movl -0x40(%rbp), %eax
movl %eax, %edx
shlq $0x0, %rdx
xorl %esi, %esi
callq 0x2100
movq 0x20(%rbp), %rdi
movl -0x40(%rbp), %eax
movl %eax, %edx
shlq $0x3, %rdx
xorl %esi, %esi
callq 0x2100
movq 0x30(%rbp), %rax
movq $0x0, (%rax)
movl $0x0, -0x48(%rbp)
movl -0x48(%rbp), %eax
cmpq 0x38(%rbp), %rax
jae 0x363abc
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rax
movl -0x48(%rbp), %ecx
movq (%rax,%rcx,8), %rax
shrq $0x20, %rax
movq %rax, -0x58(%rbp)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rax
movl -0x48(%rbp), %ecx
movq (%rax,%rcx,8), %rax
movl %eax, %eax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
cmpq -0x58(%rbp), %rax
jbe 0x36371b
jmp 0x36373a
leaq 0x35ddd(%rip), %rdi     # 0x3994ff
leaq 0x32a90(%rip), %rsi     # 0x3961b9
movl $0x37e8, %edx           # imm = 0x37E8
leaq 0x36c27(%rip), %rcx     # 0x39a35c
callq 0x2130
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rcx
movl -0x48(%rbp), %eax
movl %eax, %edx
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
andq (%rcx,%rdx,8), %rax
cmpq $0x0, %rax
setne %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x363764
jmp 0x363766
jmp 0x363785
leaq 0x36889(%rip), %rdi     # 0x399ff6
leaq 0x32a45(%rip), %rsi     # 0x3961b9
movl $0x37e9, %edx           # imm = 0x37E9
leaq 0x36bdc(%rip), %rcx     # 0x39a35c
callq 0x2130
movq -0x58(%rbp), %rax
addq $0x1, %rax
movl %eax, -0x44(%rbp)
movl -0x44(%rbp), %eax
cmpq -0x60(%rbp), %rax
jae 0x363927
jmp 0x36379f
movq 0x28(%rbp), %rax
movq (%rax), %rax
movq 0x28(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x363807
movq 0x28(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x3637cc
movq 0x28(%rbp), %rax
movq 0x8(%rax), %rax
shlq %rax
movq %rax, -0x70(%rbp)
jmp 0x3637d7
movl $0x2, %eax
movq %rax, -0x70(%rbp)
jmp 0x3637d7
movq -0x70(%rbp), %rcx
movq 0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq 0x28(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x3, %rsi
callq 0x2360
movq %rax, %rcx
movq 0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x28(%rbp), %rdx
movq (%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, (%rdx)
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x38(%rbp), %rax
movl -0x44(%rbp), %ecx
movq (%rax,%rcx,8), %rcx
movq -0x50(%rbp), %rax
movq %rcx, (%rax)
movq -0x50(%rbp), %rax
movq (%rax), %rcx
shlq $0x20, %rcx
movq %rcx, (%rax)
movl -0x48(%rbp), %eax
movl %eax, %ecx
movq -0x50(%rbp), %rax
orq (%rax), %rcx
movq %rcx, (%rax)
movq 0x28(%rbp), %rax
movq (%rax), %rax
movq 0x28(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x3638c2
movq 0x28(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x363887
movq 0x28(%rbp), %rax
movq 0x8(%rax), %rax
shlq %rax
movq %rax, -0x78(%rbp)
jmp 0x363892
movl $0x2, %eax
movq %rax, -0x78(%rbp)
jmp 0x363892
movq -0x78(%rbp), %rcx
movq 0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq 0x28(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x3, %rsi
callq 0x2360
movq %rax, %rcx
movq 0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x28(%rbp), %rdx
movq (%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, (%rdx)
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x38(%rbp), %rax
movl -0x44(%rbp), %ecx
movq (%rax,%rcx,8), %rcx
xorq $0x1, %rcx
movq -0x50(%rbp), %rax
movq %rcx, (%rax)
movq -0x50(%rbp), %rax
movq (%rax), %rcx
shlq $0x20, %rcx
movq %rcx, (%rax)
movl -0x48(%rbp), %eax
movl %eax, %ecx
movq -0x50(%rbp), %rax
orq (%rax), %rcx
movq %rcx, (%rax)
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x44(%rbp)
jmp 0x363790
jmp 0x363929
movq 0x28(%rbp), %rax
movq (%rax), %rax
movq 0x28(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x363991
movq 0x28(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x363956
movq 0x28(%rbp), %rax
movq 0x8(%rax), %rax
shlq %rax
movq %rax, -0x80(%rbp)
jmp 0x363961
movl $0x2, %eax
movq %rax, -0x80(%rbp)
jmp 0x363961
movq -0x80(%rbp), %rcx
movq 0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq 0x28(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x3, %rsi
callq 0x2360
movq %rax, %rcx
movq 0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x28(%rbp), %rdx
movq (%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, (%rdx)
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x38(%rbp), %rax
movq -0x58(%rbp), %rcx
movq (%rax,%rcx,8), %rcx
movq -0x50(%rbp), %rax
movq %rcx, (%rax)
movq -0x50(%rbp), %rax
movq (%rax), %rcx
shlq $0x20, %rcx
movq %rcx, (%rax)
movl -0x48(%rbp), %eax
movl %eax, %ecx
movq -0x50(%rbp), %rax
orq (%rax), %rcx
movq %rcx, (%rax)
movq 0x28(%rbp), %rax
movq (%rax), %rax
movq 0x28(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x363a56
movq 0x28(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x363a15
movq 0x28(%rbp), %rax
movq 0x8(%rax), %rax
shlq %rax
movq %rax, -0x88(%rbp)
jmp 0x363a23
movl $0x2, %eax
movq %rax, -0x88(%rbp)
jmp 0x363a23
movq -0x88(%rbp), %rcx
movq 0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq 0x28(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x3, %rsi
callq 0x2360
movq %rax, %rcx
movq 0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x28(%rbp), %rdx
movq (%rdx), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, (%rdx)
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x38(%rbp), %rax
movq -0x60(%rbp), %rcx
movq (%rax,%rcx,8), %rcx
xorq $0x1, %rcx
movq -0x50(%rbp), %rax
movq %rcx, (%rax)
movq -0x50(%rbp), %rax
movq (%rax), %rcx
shlq $0x20, %rcx
movq %rcx, (%rax)
movl -0x48(%rbp), %eax
movl %eax, %ecx
movq -0x50(%rbp), %rax
orq (%rax), %rcx
movq %rcx, (%rax)
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0x3636d6
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq 0x38(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rsi
movq 0x28(%rbp), %rax
movq (%rax), %rax
shlq $0x3, %rax
addq %rax, %rsi
callq 0x30ed90
movq 0x38(%rbp), %rax
addq $0x1, %rax
movl %eax, -0x44(%rbp)
movq 0x38(%rbp), %rax
movl %eax, -0x48(%rbp)
movl -0x44(%rbp), %eax
movq 0x28(%rbp), %rcx
cmpq (%rcx), %rax
ja 0x363b83
movl -0x44(%rbp), %eax
movq 0x28(%rbp), %rcx
cmpq (%rcx), %rax
je 0x363b3f
movq 0x28(%rbp), %rax
movq 0x10(%rax), %rax
movl -0x44(%rbp), %ecx
movq (%rax,%rcx,8), %rax
shrq $0x20, %rax
movq 0x28(%rbp), %rcx
movq 0x10(%rcx), %rcx
movl -0x48(%rbp), %edx
movq (%rcx,%rdx,8), %rcx
shrq $0x20, %rcx
cmpq %rcx, %rax
je 0x363b73
movl -0x48(%rbp), %eax
movl %eax, %edx
shlq $0x20, %rdx
movl -0x44(%rbp), %eax
orq %rax, %rdx
movq 0x20(%rbp), %rax
movq 0x28(%rbp), %rcx
movq 0x10(%rcx), %rcx
movl -0x48(%rbp), %esi
movq (%rcx,%rsi,8), %rcx
shrq $0x20, %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movl -0x44(%rbp), %eax
movl %eax, -0x48(%rbp)
jmp 0x363b75
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x44(%rbp)
jmp 0x363afc
movq 0x28(%rbp), %rdi
movq 0x38(%rbp), %rsi
movq 0x20(%rbp), %rdx
movq -0x38(%rbp), %rcx
movq 0x30(%rbp), %r8
callq 0x356dd0
movl %eax, %eax
movq %rax, -0x68(%rbp)
movq 0x28(%rbp), %rax
movq (%rax), %rax
movq 0x38(%rbp), %rcx
shlq %rcx
cmpq %rcx, %rax
jne 0x363bb7
jmp 0x363bd6
leaq 0x359c0(%rip), %rdi     # 0x39957e
leaq 0x325f4(%rip), %rsi     # 0x3961b9
movl $0x380c, %edx           # imm = 0x380C
leaq 0x3678b(%rip), %rcx     # 0x39a35c
callq 0x2130
movq -0x18(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq 0x28(%rbp), %rdx
movq 0x30(%rbp), %rcx
movq 0x38(%rbp), %r8
movq -0x68(%rbp), %r9
movq 0x20(%rbp), %r14
movq -0x38(%rbp), %rbx
movq 0x10(%rbp), %r11
movq 0x18(%rbp), %r10
movl -0x3c(%rbp), %eax
movq %r14, (%rsp)
movq %rbx, 0x8(%rsp)
movq %r11, 0x10(%rsp)
movq %r10, 0x18(%rsp)
movl %eax, 0x20(%rsp)
callq 0x35c7f0
addq $0xa0, %rsp
popq %rbx
popq %r14
popq %rbp
retq
nopl (%rax)