// File: chhylp123[P]hifiasm/ecovlp.cpp
// Function: cal_cov_re(asg64_v*, long*, unsigned long, unsigned long)
uint64_t cal_cov_re(asg64_v *idx, int64_t *k, uint64_t s, uint64_t e)
{
    uint64_t *a = idx->a, ws, we, cn, os, oe, ovlp, tot = 0; int64_t n = idx->n;
    if(n <= 0) return 0;
    if((*k) >= n) (*k) = 0;
    while (((*k) > 0) && (((uint32_t)a[*k]) > s)) (*k) -= 2;
    if((*k) < 0) (*k) = 0;

    while (((*k) < n) && ((a[*k]>>32) < e)) {
        ws = (a[*k]>>32); we = ((uint32_t)a[*k]); cn = a[(*k) + 1];
        os = MAX(s, ws); oe = MIN(e, we);
        ovlp = ((oe>os)? (oe-os):0);
        tot += (ovlp*cn);
        (*k) += 2;
    }

    return tot;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq $0x0, -0x68(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x70(%rbp)
cmpq $0x0, -0x70(%rbp)
jg 0x25a02b
movq $0x0, -0x8(%rbp)
jmp 0x25a1c8
movq -0x18(%rbp), %rax
movq (%rax), %rax
cmpq -0x70(%rbp), %rax
jl 0x25a043
movq -0x18(%rbp), %rax
movq $0x0, (%rax)
jmp 0x25a045
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, (%rcx)
movb %al, -0x71(%rbp)
jle 0x25a06f
movq -0x30(%rbp), %rax
movq -0x18(%rbp), %rcx
movq (%rcx), %rcx
movq (%rax,%rcx,8), %rax
movl %eax, %eax
cmpq -0x20(%rbp), %rax
seta %al
movb %al, -0x71(%rbp)
movb -0x71(%rbp), %al
testb $0x1, %al
jne 0x25a078
jmp 0x25a088
movq -0x18(%rbp), %rax
movq (%rax), %rcx
subq $0x2, %rcx
movq %rcx, (%rax)
jmp 0x25a045
movq -0x18(%rbp), %rax
cmpq $0x0, (%rax)
jge 0x25a09d
movq -0x18(%rbp), %rax
movq $0x0, (%rax)
jmp 0x25a09f
movq -0x18(%rbp), %rax
movq (%rax), %rcx
xorl %eax, %eax
cmpq -0x70(%rbp), %rcx
movb %al, -0x72(%rbp)
jge 0x25a0ce
movq -0x30(%rbp), %rax
movq -0x18(%rbp), %rcx
movq (%rcx), %rcx
movq (%rax,%rcx,8), %rax
shrq $0x20, %rax
cmpq -0x28(%rbp), %rax
setb %al
movb %al, -0x72(%rbp)
movb -0x72(%rbp), %al
testb $0x1, %al
jne 0x25a0da
jmp 0x25a1c0
movq -0x30(%rbp), %rax
movq -0x18(%rbp), %rcx
movq (%rcx), %rcx
movq (%rax,%rcx,8), %rax
shrq $0x20, %rax
movq %rax, -0x38(%rbp)
movq -0x30(%rbp), %rax
movq -0x18(%rbp), %rcx
movq (%rcx), %rcx
movq (%rax,%rcx,8), %rax
movl %eax, %eax
movq %rax, -0x40(%rbp)
movq -0x30(%rbp), %rax
movq -0x18(%rbp), %rcx
movq (%rcx), %rcx
movq 0x8(%rax,%rcx,8), %rax
movq %rax, -0x48(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x38(%rbp), %rax
jb 0x25a12e
movq -0x20(%rbp), %rax
movq %rax, -0x80(%rbp)
jmp 0x25a136
movq -0x38(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x28(%rbp), %rax
cmpq -0x40(%rbp), %rax
ja 0x25a155
movq -0x28(%rbp), %rax
movq %rax, -0x88(%rbp)
jmp 0x25a160
movq -0x40(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
cmpq -0x50(%rbp), %rax
jbe 0x25a186
movq -0x58(%rbp), %rax
subq -0x50(%rbp), %rax
movq %rax, -0x90(%rbp)
jmp 0x25a191
xorl %eax, %eax
movq %rax, -0x90(%rbp)
jmp 0x25a191
movq -0x90(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
imulq -0x48(%rbp), %rax
addq -0x68(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rcx
addq $0x2, %rcx
movq %rcx, (%rax)
jmp 0x25a09f
movq -0x68(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x10, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)