// File: chhylp123[P]hifiasm/Correct.cpp
// Function: update_sketch_trace(overlap_region_alloc*, ul_idx_t const*, ug_opt_t const*, All_reads*, UC_Read*, asg64_v*, asg64_v*, asg64_v*, long, long, kv_ul_ov_t*, unsigned long, long, double)
void update_sketch_trace(overlap_region_alloc* ol, const ul_idx_t *uref, const ug_opt_t *uopt, 
All_reads *rref, UC_Read* tu, asg64_v* idx, asg64_v *b0, asg64_v *b1, int64_t ql, int64_t wl, 
kv_ul_ov_t *aln, uint64_t rid, int64_t max_lgap, double sgap_rate)
{
    idx->n = 0;
	if(!aln->n) return;
	uint64_t i, k, own, srt_n; int64_t dp, old_dp, beg, end; overlap_region *z;
    for (i = 0; i < ol->length; i++) {
		z = &(ol->list[i]); append_unmatched_wins(z, wl); 
		own = z->w_list.n; z->align_length = (uint32_t)-1;
		for (k = 0; k < own; k++) {
			if(z->w_list.a[k].extra_end < 0) z->w_list.a[k].extra_end = 0;
		}		
    }

    kv_resize(uint64_t, *idx, (aln->n<<1)); kv_resize(uint64_t, *b0, aln->n);
    for (i = srt_n = 0; i < aln->n; i++) {
		// if(i == 0 || aln->a[i].qn != aln->a[i-1].qn) ol->list[aln->a[i].qn].align_length = i;
        ol->list[aln->a[i].qn].align_length = (uint32_t)-1;///for co-linear
        idx->a[srt_n] = aln->a[i].qs<<1; idx->a[srt_n] <<= 32; idx->a[srt_n] += i; srt_n++;
        idx->a[srt_n] = ((aln->a[i].qe-1)<<1)+1; idx->a[srt_n] <<= 32; idx->a[srt_n] += i; srt_n++;
		aln->a[i].el = 1;
    }

    radix_sort_bc64(idx->a, idx->a+srt_n); idx->n = srt_n; resize_UC_Read(tu, (wl<<1));
    for (i = 0, dp = 0, beg = 0, end = -1; i < srt_n; ++i) {///[beg, end), but the idx saves [qs, qe]
		old_dp = dp;
        ///if idx->a.a[] is qe
        if ((idx->a[i]>>32)&1) {
			--dp; end = (idx->a[i]>>33)+1;
		}else {
			//meet a new overlap; the overlaps are pushed by the x_pos_s
			++dp; end = (idx->a[i]>>33);
			kv_push(uint64_t, *idx, ((uint32_t)idx->a[i]));
		}
		
		if((end > beg) && (end - beg > wl) && (old_dp >= 2) ) {
            // fprintf(stderr, "+++[M::%s::] beg::%ld, end::%ld\n", __func__, beg, end);
			idx->n = srt_n + 
					gen_commen_sketch(rref, uref, ol, idx->a+srt_n, idx->n-srt_n, beg, end, ql, wl, b0->a, 
                    old_dp, tu->seq, tu->seq+wl, aln, b1, max_lgap, sgap_rate, SGAP);
		}
        beg = end;
	}

    for (i = 0; i < aln->n; i++) {
		if(i == 0 || aln->a[i].qn != aln->a[i-1].qn) ol->list[aln->a[i].qn].align_length = i;
    }
    idx->n = srt_n;
    // fprintf(stderr, "+++[M::%s::] idx->n::%ld\n", __func__, idx->n);
	return;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq 0x40(%rbp), %rax
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, -0x30(%rbp)
movq %rsi, -0x38(%rbp)
movq %rdx, -0x40(%rbp)
movq %rcx, -0x48(%rbp)
movq %r8, -0x50(%rbp)
movq %r9, -0x58(%rbp)
movsd %xmm0, -0x60(%rbp)
movq -0x58(%rbp), %rax
movq $0x0, (%rax)
movq 0x30(%rbp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x89548
jmp 0x89cb9
movq $0x0, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq -0x30(%rbp), %rcx
cmpq 0x10(%rcx), %rax
jae 0x89618
movq -0x30(%rbp), %rax
movq (%rax), %rax
imulq $0xa8, -0x68(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0xa8(%rbp)
movq -0xa8(%rbp), %rdi
movq 0x28(%rbp), %rsi
callq 0x34ab0
movq -0xa8(%rbp), %rax
movq 0x48(%rax), %rax
movq %rax, -0x78(%rbp)
movq -0xa8(%rbp), %rax
movl $0xffffffff, 0x28(%rax) # imm = 0xFFFFFFFF
movq $0x0, -0x70(%rbp)
movq -0x70(%rbp), %rax
cmpq -0x78(%rbp), %rax
jae 0x89605
movq -0xa8(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x70(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movswl 0x12(%rax), %eax
cmpl $0x0, %eax
jge 0x895f5
movq -0xa8(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x70(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movw $0x0, 0x12(%rax)
jmp 0x895f7
movq -0x70(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x70(%rbp)
jmp 0x895b0
jmp 0x89607
movq -0x68(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x68(%rbp)
jmp 0x89550
jmp 0x8961a
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rbp), %rcx
movq 0x8(%rcx), %rcx
shlq %rcx
cmpq %rcx, %rax
jae 0x89704
movq 0x30(%rbp), %rax
movq 0x8(%rax), %rcx
shlq %rcx
movq -0x58(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rcx
addq $-0x1, %rcx
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rcx
shrq %rcx
movq -0x58(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rcx
shrq $0x2, %rcx
movq -0x58(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rcx
shrq $0x4, %rcx
movq -0x58(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rcx
shrq $0x8, %rcx
movq -0x58(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rcx
shrq $0x10, %rcx
movq -0x58(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x3, %rsi
callq 0x2360
movq %rax, %rcx
movq -0x58(%rbp), %rax
movq %rcx, 0x10(%rax)
jmp 0x89706
jmp 0x89708
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jae 0x897e9
movq 0x30(%rbp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rcx
addq $-0x1, %rcx
movq %rcx, 0x8(%rax)
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rcx
shrq %rcx
movq 0x10(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rcx
shrq $0x2, %rcx
movq 0x10(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rcx
shrq $0x4, %rcx
movq 0x10(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rcx
shrq $0x8, %rcx
movq 0x10(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rcx
shrq $0x10, %rcx
movq 0x10(%rbp), %rax
orq 0x8(%rax), %rcx
movq %rcx, 0x8(%rax)
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x8(%rax)
movq 0x10(%rbp), %rax
movq 0x10(%rax), %rdi
movq 0x10(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x3, %rsi
callq 0x2360
movq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x10(%rax)
jmp 0x897eb
movq $0x0, -0x80(%rbp)
movq $0x0, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq 0x30(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jae 0x89936
movq -0x30(%rbp), %rax
movq (%rax), %rax
movq 0x30(%rbp), %rcx
movq (%rcx), %rcx
imulq $0x1c, -0x68(%rbp), %rdx
addq %rdx, %rcx
movl (%rcx), %ecx
imulq $0xa8, %rcx, %rcx
addq %rcx, %rax
movl $0xffffffff, 0x28(%rax) # imm = 0xFFFFFFFF
movq 0x30(%rbp), %rax
movq (%rax), %rax
imulq $0x1c, -0x68(%rbp), %rcx
addq %rcx, %rax
movl 0x4(%rax), %eax
shll %eax
movl %eax, %eax
movl %eax, %edx
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x80(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x80(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shlq $0x20, %rdx
movq %rdx, (%rax,%rcx,8)
movq -0x68(%rbp), %rdx
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x80(%rbp), %rcx
addq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq -0x80(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x80(%rbp)
movq 0x30(%rbp), %rax
movq (%rax), %rax
imulq $0x1c, -0x68(%rbp), %rcx
addq %rcx, %rax
movl 0x8(%rax), %eax
subl $0x1, %eax
shll %eax
addl $0x1, %eax
movl %eax, %eax
movl %eax, %edx
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x80(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x80(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shlq $0x20, %rdx
movq %rdx, (%rax,%rcx,8)
movq -0x68(%rbp), %rdx
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x80(%rbp), %rcx
addq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq -0x80(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x80(%rbp)
movq 0x30(%rbp), %rax
movq (%rax), %rax
imulq $0x1c, -0x68(%rbp), %rcx
addq %rcx, %rax
movl 0x18(%rax), %ecx
andl $0xbfffffff, %ecx       # imm = 0xBFFFFFFF
orl $0x40000000, %ecx       # imm = 0x40000000
movl %ecx, 0x18(%rax)
movq -0x68(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x68(%rbp)
jmp 0x897fb
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rsi
movq -0x80(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
callq 0x2da20
movq -0x80(%rbp), %rcx
movq -0x58(%rbp), %rax
movq %rcx, (%rax)
movq -0x50(%rbp), %rdi
movq 0x28(%rbp), %rsi
shlq %rsi
callq 0xa62c0
movq $0x0, -0x68(%rbp)
movq $0x0, -0x88(%rbp)
movq $0x0, -0x98(%rbp)
movq $-0x1, -0xa0(%rbp)
movq -0x68(%rbp), %rax
cmpq -0x80(%rbp), %rax
jae 0x89c2b
movq -0x88(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x68(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shrq $0x20, %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x89a0a
movq -0x88(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x88(%rbp)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x68(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shrq $0x21, %rax
addq $0x1, %rax
movq %rax, -0xa0(%rbp)
jmp 0x89adb
movq -0x88(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x88(%rbp)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x68(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shrq $0x21, %rax
movq %rax, -0xa0(%rbp)
movq -0x58(%rbp), %rax
movq (%rax), %rax
movq -0x58(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x89aa8
movq -0x58(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x89a67
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
shlq %rax
movq %rax, -0xb0(%rbp)
jmp 0x89a75
movl $0x2, %eax
movq %rax, -0xb0(%rbp)
jmp 0x89a75
movq -0xb0(%rbp), %rcx
movq -0x58(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rsi
shlq $0x3, %rsi
callq 0x2360
movq %rax, %rcx
movq -0x58(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x68(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl %eax, %eax
movl %eax, %edx
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x58(%rbp), %rsi
movq (%rsi), %rcx
movq %rcx, %rdi
addq $0x1, %rdi
movq %rdi, (%rsi)
movq %rdx, (%rax,%rcx,8)
jmp 0x89adb
movq -0xa0(%rbp), %rax
cmpq -0x98(%rbp), %rax
jle 0x89c0c
movq -0xa0(%rbp), %rax
subq -0x98(%rbp), %rax
cmpq 0x28(%rbp), %rax
jle 0x89c0c
cmpq $0x2, -0x90(%rbp)
jl 0x89c0c
movq -0x80(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0x48(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x30(%rbp), %rdx
movq -0x58(%rbp), %rax
movq 0x10(%rax), %rcx
movq -0x80(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rcx
movq -0x58(%rbp), %rax
movq (%rax), %r8
subq -0x80(%rbp), %r8
movq -0x98(%rbp), %r9
movq -0xa0(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq 0x20(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq 0x28(%rbp), %r13
movq 0x10(%rbp), %rax
movq 0x10(%rax), %r12
movq -0x90(%rbp), %r15
movq -0x50(%rbp), %rax
movq (%rax), %r14
movq -0x50(%rbp), %rax
movq (%rax), %rbx
addq 0x28(%rbp), %rbx
movq 0x30(%rbp), %r11
movq 0x18(%rbp), %r10
movq 0x40(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0xd0(%rbp), %rax
movsd -0x60(%rbp), %xmm0
movq %rax, (%rsp)
movq -0xc8(%rbp), %rax
movq %rax, 0x8(%rsp)
movq -0xc0(%rbp), %rax
movq %r13, 0x10(%rsp)
movq %r12, 0x18(%rsp)
movq %r15, 0x20(%rsp)
movq %r14, 0x28(%rsp)
movq %rbx, 0x30(%rsp)
movq %r11, 0x38(%rsp)
movq %r10, 0x40(%rsp)
movq %rax, 0x48(%rsp)
movq $0x10, 0x50(%rsp)
callq 0x88a00
movq -0xb8(%rbp), %rcx
addq %rax, %rcx
movq -0x58(%rbp), %rax
movq %rcx, (%rax)
movq -0xa0(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x68(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x68(%rbp)
jmp 0x8999a
movq $0x0, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq 0x30(%rbp), %rcx
cmpq 0x8(%rcx), %rax
jae 0x89cae
cmpq $0x0, -0x68(%rbp)
je 0x89c73
movq 0x30(%rbp), %rax
movq (%rax), %rax
imulq $0x1c, -0x68(%rbp), %rcx
addq %rcx, %rax
movl (%rax), %eax
movq 0x30(%rbp), %rcx
movq (%rcx), %rcx
movq -0x68(%rbp), %rdx
subq $0x1, %rdx
imulq $0x1c, %rdx, %rdx
addq %rdx, %rcx
cmpl (%rcx), %eax
je 0x89c9e
movq -0x68(%rbp), %rax
movl %eax, %ecx
movq -0x30(%rbp), %rax
movq (%rax), %rax
movq 0x30(%rbp), %rdx
movq (%rdx), %rdx
imulq $0x1c, -0x68(%rbp), %rsi
addq %rsi, %rdx
movl (%rdx), %edx
imulq $0xa8, %rdx, %rdx
addq %rdx, %rax
movl %ecx, 0x28(%rax)
jmp 0x89ca0
movq -0x68(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x68(%rbp)
jmp 0x89c33
movq -0x80(%rbp), %rcx
movq -0x58(%rbp), %rax
movq %rcx, (%rax)
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopl (%rax,%rax)