// File: chhylp123[P]hifiasm/Correct.cpp
// Function: extract_sub_cigar_err(overlap_region*, long, long, ul_ov_t*)
int64_t extract_sub_cigar_err(overlap_region *z, int64_t s, int64_t e, ul_ov_t *p)
{
    int64_t wk = ovlp_cur_wid(*p), xk = ovlp_cur_xoff(*p), ck = ovlp_cur_coff(*p);
    int64_t min_w = ovlp_min_wid(*p), max_w = ovlp_max_wid(*p);//[min_w, max_w]
    bit_extz_t ez; window_list *m; 
    int64_t ws, we, os, oe, ovlp, err = 0, xl, yl, werr, tot = e - s;
    if(wk < min_w || wk > max_w) wk = min_w;
    for (; wk >= min_w && z->w_list.a[wk].x_start > s; wk--); 
    if(wk < min_w || wk > max_w) return -1;
    for (; wk <= max_w && z->w_list.a[wk].x_end < s; wk++); 
    if(wk < min_w || wk > max_w) return -1;
    //s >= w_list.a[wk].x_start && s <= w_list.a[wk].x_end
    if(wk != ovlp_cur_wid(*p)) {//xk is global, while ck is local
        xk = z->w_list.a[wk].x_start; ck = 0;
    }
    // fprintf(stderr, "[M::%s] wk::%ld, ck::%ld, xk::%ld\n", __func__, wk, ck, xk);
    // fprintf(stderr, "+[M::%s] wk::%ld, ck::%ld, xk::%ld, w::[%d, %d), bound::[%ld, %ld)\n", 
    //     __func__, wk, ck, xk, z->w_list.a[wk].x_start, z->w_list.a[wk].x_end+1, s, e);

    while(wk <= max_w && z->w_list.a[wk].x_start < e) {///[s, e)
        m = &(z->w_list.a[wk]); 
        ws = m->x_start; we = m->x_end+1;
        os = MAX(s, ws); oe = MIN(e, we);
        ovlp = ((oe>os)? (oe-os):0);
        // fprintf(stderr, "-[M::%s] ovlp::%ld, wk::%ld, ck::%ld, xk::%ld, w::[%ld, %ld), bound::[%ld, %ld)\n", 
        // __func__, ovlp, wk, ck, xk, ws, we, s, e);
        if(ovlp) {
            xl = m->x_end+1-m->x_start;
            yl = m->y_end+1-m->y_start;
            if((is_ualn_win((*m))) || (is_est_aln((*m)))) {
                if(is_ualn_win((*m))) { //unmapped
                    werr = gen_err_unaligned(xl, yl);
                } else {
                    werr = m->error;//shared window
                }
                if(ovlp < xl) {
                    werr = (((double)ovlp)/((double)xl))*((double)werr);
                }
                //skip the whole window
                err += werr; xk = m->x_end+1; ck = m->clen;
            } else {
                if(ovlp == xl) {
                    //skip the whole window
                    err += m->error; xk = m->x_end+1; ck = m->clen;
                } else {
                    // if(os == 22694 && oe == 38018) {
                    //     fprintf(stderr, "\n-[M::%s]\tos::%ld\toe::%ld\n", __func__, os, oe);
                    // } 
                    set_bit_extz_t(ez, (*z), wk); 
                    err += retrieve_cigar_err(&ez, os, oe, &xk, &ck);
                }                
            }
        }
        tot -= ovlp; 
        if(xk >= e) break;//[min_w, max_w] && [s, e)
        wk++; if(wk > max_w) break;
        xk = z->w_list.a[wk].x_start; ck = 0;//reset
    }
    assert(!tot);
    ovlp_cur_wid(*p) = wk; ovlp_cur_xoff(*p) = xk; ovlp_cur_coff(*p) = ck;
    return err;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movq -0x28(%rbp), %rax
movl (%rax), %eax
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rax
movl 0x4(%rax), %eax
movq %rax, -0x38(%rbp)
movq -0x28(%rbp), %rax
movl 0x8(%rax), %eax
movq %rax, -0x40(%rbp)
movq -0x28(%rbp), %rax
movl 0x10(%rax), %eax
movq %rax, -0x48(%rbp)
movq -0x28(%rbp), %rax
movl 0x14(%rax), %eax
movq %rax, -0x50(%rbp)
movq $0x0, -0x160(%rbp)
movq -0x20(%rbp), %rax
subq -0x18(%rbp), %rax
movq %rax, -0x180(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x48(%rbp), %rax
jl 0x6b79f
movq -0x30(%rbp), %rax
cmpq -0x50(%rbp), %rax
jle 0x6b7a7
movq -0x48(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x6b7a9
movq -0x30(%rbp), %rcx
xorl %eax, %eax
cmpq -0x48(%rbp), %rcx
movb %al, -0x181(%rbp)
jl 0x6b7de
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movslq (%rax), %rax
cmpq -0x18(%rbp), %rax
setg %al
movb %al, -0x181(%rbp)
movb -0x181(%rbp), %al
testb $0x1, %al
jne 0x6b7ea
jmp 0x6b7fa
jmp 0x6b7ec
movq -0x30(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x30(%rbp)
jmp 0x6b7a9
movq -0x30(%rbp), %rax
cmpq -0x48(%rbp), %rax
jl 0x6b80e
movq -0x30(%rbp), %rax
cmpq -0x50(%rbp), %rax
jle 0x6b81b
movq $-0x1, -0x8(%rbp)
jmp 0x6bee4
jmp 0x6b81d
movq -0x30(%rbp), %rcx
xorl %eax, %eax
cmpq -0x50(%rbp), %rcx
movb %al, -0x182(%rbp)
jg 0x6b853
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movslq 0x4(%rax), %rax
cmpq -0x18(%rbp), %rax
setl %al
movb %al, -0x182(%rbp)
movb -0x182(%rbp), %al
testb $0x1, %al
jne 0x6b85f
jmp 0x6b86f
jmp 0x6b861
movq -0x30(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
jmp 0x6b81d
movq -0x30(%rbp), %rax
cmpq -0x48(%rbp), %rax
jl 0x6b883
movq -0x30(%rbp), %rax
cmpq -0x50(%rbp), %rax
jle 0x6b890
movq $-0x1, -0x8(%rbp)
jmp 0x6bee4
movq -0x30(%rbp), %rax
movq -0x28(%rbp), %rcx
movl (%rcx), %ecx
cmpq %rcx, %rax
je 0x6b8c1
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movslq (%rax), %rax
movq %rax, -0x38(%rbp)
movq $0x0, -0x40(%rbp)
jmp 0x6b8c3
movq -0x30(%rbp), %rcx
xorl %eax, %eax
cmpq -0x50(%rbp), %rcx
movb %al, -0x183(%rbp)
jg 0x6b8f8
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movslq (%rax), %rax
cmpq -0x20(%rbp), %rax
setl %al
movb %al, -0x183(%rbp)
movb -0x183(%rbp), %al
testb $0x1, %al
jne 0x6b907
jmp 0x6be7f
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
movslq (%rax), %rax
movq %rax, -0x138(%rbp)
movq -0x130(%rbp), %rax
movl 0x4(%rax), %eax
addl $0x1, %eax
cltq
movq %rax, -0x140(%rbp)
movq -0x18(%rbp), %rax
cmpq -0x138(%rbp), %rax
jl 0x6b962
movq -0x18(%rbp), %rax
movq %rax, -0x190(%rbp)
jmp 0x6b970
movq -0x138(%rbp), %rax
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
movq %rax, -0x148(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x140(%rbp), %rax
jg 0x6b998
movq -0x20(%rbp), %rax
movq %rax, -0x198(%rbp)
jmp 0x6b9a6
movq -0x140(%rbp), %rax
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rax
cmpq -0x148(%rbp), %rax
jle 0x6b9db
movq -0x150(%rbp), %rax
subq -0x148(%rbp), %rax
movq %rax, -0x1a0(%rbp)
jmp 0x6b9e6
xorl %eax, %eax
movq %rax, -0x1a0(%rbp)
jmp 0x6b9e6
movq -0x1a0(%rbp), %rax
movq %rax, -0x158(%rbp)
cmpq $0x0, -0x158(%rbp)
je 0x6be1c
movq -0x130(%rbp), %rax
movl 0x4(%rax), %eax
addl $0x1, %eax
movq -0x130(%rbp), %rcx
subl (%rcx), %eax
cltq
movq %rax, -0x168(%rbp)
movq -0x130(%rbp), %rax
movl 0xc(%rax), %eax
addl $0x1, %eax
movq -0x130(%rbp), %rcx
subl 0x8(%rcx), %eax
cltq
movq %rax, -0x170(%rbp)
movq -0x130(%rbp), %rax
movswl 0x14(%rax), %eax
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x6ba70
movq -0x130(%rbp), %rax
cmpl $0x0, 0x1c(%rax)
jne 0x6ba70
movq -0x130(%rbp), %rax
movswl 0x12(%rax), %eax
cmpl $0x0, %eax
jl 0x6ba97
movq -0x130(%rbp), %rax
movswl 0x14(%rax), %eax
cmpl $0x7fff, %eax           # imm = 0x7FFF
jge 0x6bca7
movq -0x130(%rbp), %rax
cmpl $0x0, 0x1c(%rax)
jne 0x6bca7
movq -0x130(%rbp), %rax
movswl 0x14(%rax), %eax
cmpl $0x7fff, %eax           # imm = 0x7FFF
jne 0x6bc1a
movq -0x130(%rbp), %rax
cmpl $0x0, 0x1c(%rax)
jne 0x6bc1a
movq -0x130(%rbp), %rax
movswl 0x12(%rax), %eax
cmpl $0x0, %eax
jge 0x6bc1a
cmpq $0x200, -0x168(%rbp) # imm = 0x200
jg 0x6bb26
movq -0x168(%rbp), %rax
cmpq -0x170(%rbp), %rax
jl 0x6baff
movq -0x168(%rbp), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x6bb0d
movq -0x170(%rbp), %rax
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
cvtsi2sd %rax, %xmm0
movsd %xmm0, -0x1b0(%rbp)
jmp 0x6bc04
movq -0x168(%rbp), %rax
cmpq -0x170(%rbp), %rax
jg 0x6bb46
movq -0x168(%rbp), %rax
movq %rax, -0x1b8(%rbp)
jmp 0x6bb54
movq -0x170(%rbp), %rax
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
cvtsi2sd %rax, %xmm0
cvtsi2sdq -0x168(%rbp), %xmm1
movsd 0x316747(%rip), %xmm2   # 0x3822b8
mulsd %xmm2, %xmm1
movsd 0x316483(%rip), %xmm2   # 0x382000
addsd %xmm2, %xmm1
ucomisd %xmm1, %xmm0
jb 0x6bbcb
movq -0x168(%rbp), %rax
cmpq -0x170(%rbp), %rax
jg 0x6bba7
movq -0x168(%rbp), %rax
movq %rax, -0x1c0(%rbp)
jmp 0x6bbb5
movq -0x170(%rbp), %rax
movq %rax, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
cvtsi2sd %rax, %xmm0
movsd %xmm0, -0x1c8(%rbp)
jmp 0x6bbf4
cvtsi2sdq -0x168(%rbp), %xmm0
movsd 0x3166dc(%rip), %xmm1   # 0x3822b8
mulsd %xmm1, %xmm0
movsd 0x316418(%rip), %xmm1   # 0x382000
addsd %xmm1, %xmm0
movsd %xmm0, -0x1c8(%rbp)
movsd -0x1c8(%rbp), %xmm0
movsd %xmm0, -0x1b0(%rbp)
movsd -0x1b0(%rbp), %xmm0
cvttsd2si %xmm0, %rax
movq %rax, -0x178(%rbp)
jmp 0x6bc2d
movq -0x130(%rbp), %rax
movswq 0x14(%rax), %rax
movq %rax, -0x178(%rbp)
movq -0x158(%rbp), %rax
cmpq -0x168(%rbp), %rax
jge 0x6bc6c
cvtsi2sdq -0x158(%rbp), %xmm0
cvtsi2sdq -0x168(%rbp), %xmm1
divsd %xmm1, %xmm0
cvtsi2sdq -0x178(%rbp), %xmm1
mulsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
addq -0x160(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0x130(%rbp), %rax
movl 0x4(%rax), %eax
addl $0x1, %eax
cltq
movq %rax, -0x38(%rbp)
movq -0x130(%rbp), %rax
movl 0x1c(%rax), %eax
movq %rax, -0x40(%rbp)
jmp 0x6be1a
movq -0x158(%rbp), %rax
cmpq -0x168(%rbp), %rax
jne 0x6bcf7
movq -0x130(%rbp), %rax
movswq 0x14(%rax), %rax
addq -0x160(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0x130(%rbp), %rax
movl 0x4(%rax), %eax
addl $0x1, %eax
cltq
movq %rax, -0x38(%rbp)
movq -0x130(%rbp), %rax
movl 0x1c(%rax), %eax
movq %rax, -0x40(%rbp)
jmp 0x6be18
jmp 0x6bcf9
movq -0x10(%rbp), %rax
movq 0x70(%rax), %rax
movq -0x10(%rbp), %rcx
movq 0x58(%rcx), %rcx
movq -0x30(%rbp), %rdx
shlq $0x5, %rdx
addq %rdx, %rcx
movl 0x18(%rcx), %ecx
shlq %rcx
addq %rcx, %rax
movq %rax, -0x70(%rbp)
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movl 0x1c(%rax), %eax
movq %rax, -0x78(%rbp)
movq %rax, -0x80(%rbp)
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movl (%rax), %eax
movl %eax, -0x10c(%rbp)
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movl 0x4(%rax), %eax
movl %eax, -0x108(%rbp)
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movl 0x8(%rax), %eax
movl %eax, -0x118(%rbp)
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movl 0xc(%rax), %eax
movl %eax, -0x114(%rbp)
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movswl 0x14(%rax), %eax
movl %eax, -0xfc(%rbp)
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movswl 0x14(%rax), %eax
movl %eax, -0x100(%rbp)
movq -0x148(%rbp), %rsi
movq -0x150(%rbp), %rdx
leaq -0x128(%rbp), %rdi
leaq -0x38(%rbp), %rcx
leaq -0x40(%rbp), %r8
callq 0x6b470
addq -0x160(%rbp), %rax
movq %rax, -0x160(%rbp)
jmp 0x6be1a
jmp 0x6be1c
movq -0x158(%rbp), %rcx
movq -0x180(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x180(%rbp)
movq -0x38(%rbp), %rax
cmpq -0x20(%rbp), %rax
jl 0x6be40
jmp 0x6be7f
movq -0x30(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x50(%rbp), %rax
jle 0x6be58
jmp 0x6be7f
movq -0x10(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x30(%rbp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movslq (%rax), %rax
movq %rax, -0x38(%rbp)
movq $0x0, -0x40(%rbp)
jmp 0x6b8c3
cmpq $0x0, -0x180(%rbp)
setne %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x6be92
jmp 0x6be94
jmp 0x6beb3
leaq 0x318894(%rip), %rdi    # 0x38472f
leaq 0x316479(%rip), %rsi    # 0x38231b
movl $0x46e7, %edx           # imm = 0x46E7
leaq 0x318886(%rip), %rcx    # 0x384734
callq 0x2130
movq -0x30(%rbp), %rax
movl %eax, %ecx
movq -0x28(%rbp), %rax
movl %ecx, (%rax)
movq -0x38(%rbp), %rax
movl %eax, %ecx
movq -0x28(%rbp), %rax
movl %ecx, 0x4(%rax)
movq -0x40(%rbp), %rax
movl %eax, %ecx
movq -0x28(%rbp), %rax
movl %ecx, 0x8(%rax)
movq -0x160(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
nopw %cs:(%rax,%rax)