// File: chhylp123[P]hifiasm/ecovlp.cpp
// Function: adjust_exact_match(asg16_v*, long, long, long, long, unsigned long*, unsigned long*, unsigned long*, unsigned long*, unsigned int)
uint32_t adjust_exact_match(asg16_v *in, int64_t xs0, int64_t xe0, int64_t ys0, int64_t ye0, uint64_t *rxs, uint64_t *rxe, uint64_t *rys, uint64_t *rye, uint32_t rev)
{
    *rxs = *rxe = *rys = *rye = 0; 
    if((xe0 <= xs0) || (ye0 <= ys0)) return 0;
    int64_t xk, yk, ck, cn = in->n, wx[2], wy[2], os, oe; uint16_t op, bq, bt; uint32_t cl; uint64_t ovlp;
    xk = yk = 0;

    // fprintf(stderr, "[M::%s]\tx0::[%ld,%ld)\ty0::[%ld,%ld)\trev::%u\n", __func__, xs0, xe0, ys0, ye0, rev);
    
    if(!rev) {
        ck = 0;
        while (ck < cn && xk < xe0) {
            wx[0] = xk; wy[0] = yk; 
            // ck = pop_trace_bp(in, ck, &op, &b, &cl);
            ck = pop_trace_bp_f(in, ck, &op, &bq, &bt, &cl);
            if(op != 2) xk += cl;
            if(op != 3) yk += cl;
            wx[1] = xk; wy[1] = yk;  
            // fprintf(stderr, "[M::%s]\told::[%ld,%ld]\tnew::[%ld,%ld]\t%u%c\n", __func__, wx[0], wx[1], wy[0], wy[1], cl, "MSID"[op]);
            if(op == 0) {
                os = MAX(xs0, wx[0]); oe = MIN(xe0, wx[1]);
                ovlp = ((oe>os)? (oe-os):0);
                if((ovlp > 0) && (ovlp > (*rxe) - (*rxs))) {
                    // fprintf(stderr, "[M::%s]\to::[%ld,%ld)\n", __func__, os, oe);
                    (*rxs) = wy[0] + os - wx[0]; 
                    (*rxe) = wy[0] + oe - wx[0]; 

                    (*rys) = ys0 + os - xs0; 
                    (*rye) = ys0 + oe - xs0; 
                }
            }
            // if((op == 0) && (wx[0] <= s) && (wx[1] >= e)) {
            //     (*rs) = wy[0] + s - wx[0]; 
            //     (*re) = wy[0] + e - wx[0]; 
            // }
        }
    } else {
        ck = cn - 1;
        while (ck >= 0 && xk < xe0) {
            wx[0] = xk; wy[0] = yk; 
            // ck = pop_trace_bp_rev(in, ck, &op, &b, &cl);
            ck = pop_trace_bp_rev_f(in, ck, &op, &bq, &bt, &cl);
            if(op != 2) xk += cl;
            if(op != 3) yk += cl;
            wx[1] = xk; wy[1] = yk;  
            if(op == 0) {
                os = MAX(xs0, wx[0]); oe = MIN(xe0, wx[1]);
                ovlp = ((oe>os)? (oe-os):0);
                if((ovlp > 0) && (ovlp > (*rxe) - (*rxs))) {
                    (*rxs) = wy[0] + os - wx[0]; 
                    (*rxe) = wy[0] + oe - wx[0]; 

                    (*rys) = ys0 + os - xs0; 
                    (*rye) = ys0 + oe - xs0; 
                }
            }
            // if((op == 0) && (wx[0] <= s) && (wx[1] >= e)) {
            //     (*rs) = wy[0] + s - wx[0]; 
            //     (*re) = wy[0] + e - wx[0]; 
            // }
        }
    }
    

    return (*rxe) - (*rxs);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xf0, %rsp
movl 0x28(%rbp), %eax
movq 0x20(%rbp), %rax
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
movq %r8, -0x30(%rbp)
movq %r9, -0x38(%rbp)
movq 0x20(%rbp), %rax
movq $0x0, (%rax)
movq 0x18(%rbp), %rax
movq $0x0, (%rax)
movq 0x10(%rbp), %rax
movq $0x0, (%rax)
movq -0x38(%rbp), %rax
movq $0x0, (%rax)
movq -0x20(%rbp), %rax
cmpq -0x18(%rbp), %rax
jle 0x259782
movq -0x30(%rbp), %rax
cmpq -0x28(%rbp), %rax
jg 0x25978e
movl $0x0, -0x4(%rbp)
jmp 0x259bac
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x58(%rbp)
movq $0x0, -0x48(%rbp)
movq $0x0, -0x40(%rbp)
cmpl $0x0, 0x28(%rbp)
jne 0x2599aa
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rcx
xorl %eax, %eax
cmpq -0x58(%rbp), %rcx
movb %al, -0xa9(%rbp)
jge 0x2597de
movq -0x40(%rbp), %rax
cmpq -0x20(%rbp), %rax
setl %al
movb %al, -0xa9(%rbp)
movb -0xa9(%rbp), %al
testb $0x1, %al
jne 0x2597ed
jmp 0x2599a5
movq -0x40(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x10(%rbp), %rdi
movq -0x50(%rbp), %rax
movl %eax, %esi
leaq -0x92(%rbp), %rdx
leaq -0x94(%rbp), %rcx
leaq -0x96(%rbp), %r8
leaq -0x9c(%rbp), %r9
callq 0x1b53f0
movl %eax, %eax
movq %rax, -0x50(%rbp)
movzwl -0x92(%rbp), %eax
cmpl $0x2, %eax
je 0x259848
movl -0x9c(%rbp), %eax
addq -0x40(%rbp), %rax
movq %rax, -0x40(%rbp)
movzwl -0x92(%rbp), %eax
cmpl $0x3, %eax
je 0x259862
movl -0x9c(%rbp), %eax
addq -0x48(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x78(%rbp)
movzwl -0x92(%rbp), %eax
cmpl $0x0, %eax
jne 0x2599a0
movq -0x18(%rbp), %rax
cmpq -0x70(%rbp), %rax
jl 0x259899
movq -0x18(%rbp), %rax
movq %rax, -0xb8(%rbp)
jmp 0x2598a4
movq -0x70(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x68(%rbp), %rax
jg 0x2598c9
movq -0x20(%rbp), %rax
movq %rax, -0xc0(%rbp)
jmp 0x2598d4
movq -0x68(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0xc0(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
cmpq -0x88(%rbp), %rax
jle 0x259909
movq -0x90(%rbp), %rax
subq -0x88(%rbp), %rax
movq %rax, -0xc8(%rbp)
jmp 0x259914
xorl %eax, %eax
movq %rax, -0xc8(%rbp)
jmp 0x259914
movq -0xc8(%rbp), %rax
movq %rax, -0xa8(%rbp)
cmpq $0x0, -0xa8(%rbp)
jbe 0x25999e
movq -0xa8(%rbp), %rax
movq 0x10(%rbp), %rcx
movq (%rcx), %rcx
movq -0x38(%rbp), %rdx
subq (%rdx), %rcx
cmpq %rcx, %rax
jbe 0x25999e
movq -0x80(%rbp), %rcx
addq -0x88(%rbp), %rcx
subq -0x70(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, (%rax)
movq -0x80(%rbp), %rcx
addq -0x90(%rbp), %rcx
subq -0x70(%rbp), %rcx
movq 0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x28(%rbp), %rcx
addq -0x88(%rbp), %rcx
subq -0x18(%rbp), %rcx
movq 0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x28(%rbp), %rcx
addq -0x90(%rbp), %rcx
subq -0x18(%rbp), %rcx
movq 0x20(%rbp), %rax
movq %rcx, (%rax)
jmp 0x2599a0
jmp 0x2597bb
jmp 0x259b9b
movq -0x58(%rbp), %rax
subq $0x1, %rax
movq %rax, -0x50(%rbp)
xorl %eax, %eax
cmpq $0x0, -0x50(%rbp)
movb %al, -0xc9(%rbp)
jl 0x2599d6
movq -0x40(%rbp), %rax
cmpq -0x20(%rbp), %rax
setl %al
movb %al, -0xc9(%rbp)
movb -0xc9(%rbp), %al
testb $0x1, %al
jne 0x2599e5
jmp 0x259b99
movq -0x40(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0x10(%rbp), %rdi
movq -0x50(%rbp), %rsi
leaq -0x92(%rbp), %rdx
leaq -0x94(%rbp), %rcx
leaq -0x96(%rbp), %r8
leaq -0x9c(%rbp), %r9
callq 0x26dd50
movq %rax, -0x50(%rbp)
movzwl -0x92(%rbp), %eax
cmpl $0x2, %eax
je 0x259a3c
movl -0x9c(%rbp), %eax
addq -0x40(%rbp), %rax
movq %rax, -0x40(%rbp)
movzwl -0x92(%rbp), %eax
cmpl $0x3, %eax
je 0x259a56
movl -0x9c(%rbp), %eax
addq -0x48(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x78(%rbp)
movzwl -0x92(%rbp), %eax
cmpl $0x0, %eax
jne 0x259b94
movq -0x18(%rbp), %rax
cmpq -0x70(%rbp), %rax
jl 0x259a8d
movq -0x18(%rbp), %rax
movq %rax, -0xd8(%rbp)
jmp 0x259a98
movq -0x70(%rbp), %rax
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movq %rax, -0x88(%rbp)
movq -0x20(%rbp), %rax
cmpq -0x68(%rbp), %rax
jg 0x259abd
movq -0x20(%rbp), %rax
movq %rax, -0xe0(%rbp)
jmp 0x259ac8
movq -0x68(%rbp), %rax
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rax
cmpq -0x88(%rbp), %rax
jle 0x259afd
movq -0x90(%rbp), %rax
subq -0x88(%rbp), %rax
movq %rax, -0xe8(%rbp)
jmp 0x259b08
xorl %eax, %eax
movq %rax, -0xe8(%rbp)
jmp 0x259b08
movq -0xe8(%rbp), %rax
movq %rax, -0xa8(%rbp)
cmpq $0x0, -0xa8(%rbp)
jbe 0x259b92
movq -0xa8(%rbp), %rax
movq 0x10(%rbp), %rcx
movq (%rcx), %rcx
movq -0x38(%rbp), %rdx
subq (%rdx), %rcx
cmpq %rcx, %rax
jbe 0x259b92
movq -0x80(%rbp), %rcx
addq -0x88(%rbp), %rcx
subq -0x70(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, (%rax)
movq -0x80(%rbp), %rcx
addq -0x90(%rbp), %rcx
subq -0x70(%rbp), %rcx
movq 0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x28(%rbp), %rcx
addq -0x88(%rbp), %rcx
subq -0x18(%rbp), %rcx
movq 0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x28(%rbp), %rcx
addq -0x90(%rbp), %rcx
subq -0x18(%rbp), %rcx
movq 0x20(%rbp), %rax
movq %rcx, (%rax)
jmp 0x259b94
jmp 0x2599b6
jmp 0x259b9b
movq 0x10(%rbp), %rax
movq (%rax), %rax
movq -0x38(%rbp), %rcx
subq (%rcx), %rax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0xf0, %rsp
popq %rbp
retq
nopl (%rax,%rax)