// File: /workspace/github_cpp_makefile_star2_O3/chhylp123[P]hifiasm/Correct.cpp
// Function: get_rid_backward_cigar_err_back(rtrace_iter*, ul_ov_t*, kv_rtrace_t*, rtrace_t*, ul_idx_t const*, char*, UC_Read*, overlap_region_alloc*, overlap_region*, bit_extz_t*, double, long)
int64_t get_rid_backward_cigar_err_back(rtrace_iter *it, ul_ov_t *aln, kv_rtrace_t *trace, rtrace_t *tc,
const ul_idx_t *uref, char* qstr, UC_Read *tu, overlap_region_alloc *ol, overlap_region *o, 
bit_extz_t *exz, double e_rate, int64_t qs)
{
    if(qs == aln->qe) return 0;
    if(!tc) tc = &(trace->a[aln->qn]);
    if(!o) o = &(ol->list[tc->oid]);

	if(it->k == INT32_MAX) {
		it->k = tc->c_weid;
		it->q[1] = aln->qe; 
		it->t[1] = aln->te;
		it->werr = it->cerr = 0; 
		it->qoff = aln->qe;
		it->toff = aln->te;
		it->coff = INT32_MAX; 
		clear_align(*exz); 
		exz->ps = exz->pe = exz->ts = exz->te = INT32_MAX;
	}
	window_list *wa = o->w_list.a; int64_t qwl, twl, sub_err; bit_extz_t aux; 
    assert(qs <= it->qoff);

	for (; it->k >= tc->c_wsid; it->k--) {
		it->q[0] = wa[it->k].x_end+1; 
		it->t[0] = wa[it->k].y_end+1;
        // if(qs == 166327) {
        //     fprintf(stderr, "-0-[M::%s::k->%ld] qoff::%ld, toff::%ld, coff::%ld, inner_q::[%ld, %ld), inner_t::[%ld, %ld), werr::%ld, qs::%ld\n", 
        //         __func__, it->k, it->qoff, it->toff, it->coff, it->q[0], it->q[1], it->t[0], it->t[1], it->werr, qs);
        // }
        
		if(it->qoff > it->q[0]) {///[it->qoff, ql) has been calculated
			if(it->q[0] <= it->q[1] && it->t[0] <= it->t[1]) {
				if((exz->ps != it->t[0]) || (exz->pe != it->t[1]) || (exz->ts != it->q[0]) || (exz->te == it->q[1])) {
					///calculate on-the-fly
                    gen_clip_win_err(o, it->q[0], it->q[1], it->t[0], it->t[1], e_rate, it->k==tc->c_weid?tc->sfx_e:-1, uref, qstr, tu, exz);
				}
                // fprintf(stderr, "-1-[M::%s::k->%ld] qoff::%ld, toff::%ld, coff::%ld, inner_q::[%ld, %ld), inner_t::[%ld, %ld), werr::%ld, qs::%ld\n", 
                // __func__, it->k, it->qoff, it->toff, it->coff, it->q[0], it->q[1], it->t[0], it->t[1], it->werr, qs);
				if(qs >= it->q[0] && qs < it->q[1]) {
					///phrase cigar
                    sub_err = extract_sub_werr(exz, 0, exz->cigar.n, exz->ps, exz->pe+1, exz->ts, exz->te+1, 
                            exz->ps, exz->pe+1, exz->ts, exz->te+1, qs, it);
                    if(qs == it->q[0]) {
                        it->werr += sub_err; sub_err = 0;
                        it->qoff = it->q[0]; it->toff = it->t[0]; 
                    }
					return it->werr+sub_err;
				} 
                it->qoff = it->q[0]; 
                it->toff = it->t[0]; 
                it->werr += exz->err;
			}
		} 
        if(qs == it->qoff) return it->werr;

		it->cq[0] = it->q[0] = wa[it->k].x_start; it->cq[1] = it->q[1] = wa[it->k].x_end+1; 
		it->ct[0] = it->t[0] = wa[it->k].y_start; it->ct[1] = it->t[1] = wa[it->k].y_end+1; 
		it->ci[0] = 0; it->ci[1] = wa[it->k].clen; qwl = it->q[1] - it->q[0]; twl = it->t[1] - it->t[0];
		if(is_ualn_win(wa[it->k])) {
			if(it->qoff > it->q[0]) {
                // fprintf(stderr, "-2-[M::%s::k->%ld] qoff::%ld, toff::%ld, coff::%ld, inner_q::[%ld, %ld), inner_t::[%ld, %ld), werr::%ld, qs::%ld\n", 
                // __func__, it->k, it->qoff, it->toff, it->coff, it->q[0], it->q[1], it->t[0], it->t[1], it->werr, qs);
				if(qs /**>=**/> it->q[0] && qs < it->q[1]) {
					sub_err = ((((double)(it->q[1]-qs))/((double)(it->q[1]-it->q[0])))*
                                                                    (gen_err_unaligned(qwl, twl))); 
                    // if(qs == it->q[0]) {
                    //     it->werr += sub_err; sub_err = 0;
                    //     it->qoff = it->q[0]; it->toff = it->t[0]; 
                    // }
					return it->werr+sub_err;
				}
				it->qoff = it->q[0]; 
                it->toff = it->t[0]; 
                it->werr += gen_err_unaligned(qwl, twl); 
			}
		} else {
			set_bit_extz_t(aux, (*o), it->k); 
			if(it->k == tc->c_wsid) {
				it->cq[0] = tc->c_qs; it->ct[0] = tc->c_ts; it->ci[0] = tc->c_wsii;
				it->q[0] = MAX((int32_t)aln->qs, tc->c_qs);
				it->t[0] = MAX((int32_t)aln->ts, tc->c_ts);
			}
			if(it->k == tc->c_weid) {
				it->cq[1] = tc->c_qe; it->ct[1] = tc->c_te; it->ci[1] = tc->c_weii;
				it->q[1] = MIN((int32_t)aln->qe, tc->c_qe);
				it->t[1] = MIN((int32_t)aln->te, tc->c_te);
			}
            // fprintf(stderr, "-3-[M::%s::k->%ld] qoff::%ld, toff::%ld, coff::%ld, inner_q::[%ld, %ld), inner_t::[%ld, %ld), werr::%ld, qs::%ld\n", 
            //     __func__, it->k, it->qoff, it->toff, it->coff, it->q[0], it->q[1], it->t[0], it->t[1], it->werr, qs);
			if(it->qoff > it->q[0]) {
				if(qs /**>=**/> it->q[0] && qs < it->q[1]) {
					sub_err = extract_sub_werr(&aux, it->ci[0], it->ci[1], it->ct[0], it->ct[1], 
                        it->cq[0], it->cq[1], it->t[0], it->t[1], it->q[0], it->q[1], qs, it);
                    // if(qs == it->q[0]) {
                    //     it->werr += sub_err; sub_err = 0;
                    //     it->qoff = it->q[0]; it->toff = it->t[0]; 
                    // }
					return it->werr + sub_err; 
				}
                it->werr += extract_sub_werr(&aux, it->ci[0], it->ci[1], it->ct[0], it->ct[1], 
                        it->cq[0], it->cq[1], it->t[0], it->t[1], it->q[0], it->q[1], it->q[0], it);
				it->qoff = it->q[0]; 
                it->toff = it->t[0]; 
			}
		}

        // if(qs == 166327) {
        //     fprintf(stderr, "-1-[M::%s::k->%ld] qoff::%ld, toff::%ld, coff::%ld, inner_q::[%ld, %ld), inner_t::[%ld, %ld), werr::%ld, qs::%ld\n", 
        //         __func__, it->k, it->qoff, it->toff, it->coff, it->q[0], it->q[1], it->t[0], it->t[1], it->werr, qs);
        // }
		it->q[1] = it->q[0]; it->t[1] = it->t[0];
        if((qs == it->qoff))  {
            if(it->k > tc->c_wsid) {
                it->q[0] = wa[it->k-1].x_end+1; 
		        it->t[0] = wa[it->k-1].y_end+1;
            } else {
                it->q[0] = aln->qs; 
                it->t[0] = aln->ts;
            }

            // if(qs == 166327) {
            //     fprintf(stderr, "-2-[M::%s::k->%ld] qoff::%ld, toff::%ld, coff::%ld, inner_q::[%ld, %ld), inner_t::[%ld, %ld), werr::%ld, qs::%ld\n", 
            //         __func__, it->k, it->qoff, it->toff, it->coff, it->q[0], it->q[1], it->t[0], it->t[1], it->werr, qs);
            //     fprintf(stderr, "-2-[M::%s::k->%ld] pre_inner_q::[%d, %d), pre_inner_t::[%d, %d)\n", 
            //         __func__, it->k, wa[it->k-1].x_start, wa[it->k-1].x_end+1, wa[it->k-1].y_start, wa[it->k-1].y_end+1);
            // }
            ///otherwise there should be an indel at t
            if(it->q[0] == it->q[1] && it->t[0] < it->t[1]) {
                it->werr += it->t[1] - it->t[0]; continue;
            } else {
                return it->werr;
            }
        }
    }

	it->q[0] = aln->qs; it->t[0] = aln->ts;
	if(it->qoff > it->q[0]) {
		if(it->q[0] <= it->q[1] && it->t[0] <= it->t[1]) {
			if((exz->ps != it->t[0]) || (exz->pe != it->t[1]) || (exz->ts != it->q[0]) || (exz->te == it->q[1])) {
				///calculate on-the-fly
                gen_clip_win_err(o, it->q[0], it->q[1], it->t[0], it->t[1], e_rate, tc->pfx_e, uref, qstr, tu, exz);
            }
            // fprintf(stderr, "-4-[M::%s::k->%ld] qoff::%ld, toff::%ld, coff::%ld, inner_q::[%ld, %ld), inner_t::[%ld, %ld), werr::%ld, qs::%ld\n", 
            //     __func__, it->k, it->qoff, it->toff, it->coff, it->q[0], it->q[1], it->t[0], it->t[1], it->werr, qs);
			if(qs >= it->q[0] && qs < it->q[1]) {
				///phrase cigar
                sub_err = extract_sub_werr(exz, 0, exz->cigar.n, exz->ps, exz->pe+1, exz->ts, exz->te+1, 
                            exz->ps, exz->pe+1, exz->ts, exz->te+1, qs, it);
                if(qs == it->q[0]) {
                    it->werr += sub_err; sub_err = 0;
                    it->qoff = it->q[0]; it->toff = it->t[0]; 
                }
				return it->werr+sub_err; 
			} 

            it->qoff = it->q[0]; 
            it->toff = it->t[0]; 
            it->werr += exz->err;
		}
	} 
    if(it->k < tc->c_wsid) it->werr = aln->sec;
	return it->werr;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movsd %xmm0, 0x18(%rsp)
movq 0x150(%rsp), %r13
movl 0x8(%rsi), %eax
cmpq %r13, %rax
jne 0x7f835
xorl %eax, %eax
jmp 0x7fe11
movq %rcx, %r15
movq %rsi, %r14
movq %rdi, %rbx
movq 0x140(%rsp), %rdi
testq %rcx, %rcx
jne 0x7f855
movl (%r14), %ecx
imulq $0x34, %rcx, %r15
addq (%rdx), %r15
testq %rdi, %rdi
jne 0x7f870
movq 0x138(%rsp), %rcx
movslq 0x30(%r15), %rdx
imulq $0xa8, %rdx, %rdi
addq (%rcx), %rdi
movq 0x148(%rsp), %rsi
movq (%rbx), %r10
cmpq $0x7fffffff, %r10       # imm = 0x7FFFFFFF
jne 0x7f8d2
movslq 0x14(%r15), %r10
movq %r10, (%rbx)
movq %rax, 0x10(%rbx)
movl 0x14(%r14), %ecx
movq %rcx, 0x20(%rbx)
xorl %edx, %edx
movq %rdx, 0x68(%rbx)
movq %rdx, 0x58(%rbx)
movq %rax, 0x70(%rbx)
movq %rcx, 0x80(%rbx)
movq $0x7fffffff, 0x88(%rbx) # imm = 0x7FFFFFFF
movl $0x7fffffff, 0x2c(%rsi) # imm = 0x7FFFFFFF
movabsq $0x7fffffff7fffffff, %rcx # imm = 0x7FFFFFFF7FFFFFFF
movq %rcx, 0x1c(%rsi)
movq %rcx, 0x10(%rsi)
jmp 0x7f8d6
movq 0x70(%rbx), %rax
cmpq %r13, %rax
jl 0x7fe89
movq %r9, 0x8(%rsp)
movq %r8, 0x10(%rsp)
movslq 0x10(%r15), %r11
cmpq %r11, %r10
movq %rdi, (%rsp)
jge 0x7fa04
movl 0x4(%r14), %esi
movq %rsi, 0x8(%rbx)
movl 0x10(%r14), %ecx
movq %rcx, 0x18(%rbx)
cmpq %rsi, %rax
jle 0x7fdf6
movq 0x10(%rbx), %rdx
cmpq %rsi, %rdx
jl 0x7fdf6
movq 0x20(%rbx), %r8
cmpq %rcx, %r8
jl 0x7fdf6
movq 0x148(%rsp), %r10
movslq 0x10(%r10), %rax
cmpq %rcx, %rax
jne 0x7f959
movslq 0x14(%r10), %rax
cmpq %rax, %r8
jne 0x7f959
movslq 0x1c(%r10), %rax
cmpq %rax, %rsi
jne 0x7f959
movslq 0x20(%r10), %rax
cmpq %rax, %rdx
jne 0x7f985
movslq 0x28(%r15), %r9
movq (%rsp), %rdi
movsd 0x18(%rsp), %xmm0
pushq %r10
pushq 0x138(%rsp)
pushq 0x18(%rsp)
pushq 0x28(%rsp)
callq 0x7f0d2
addq $0x20, %rsp
movq 0x8(%rbx), %rsi
cmpq %r13, %rsi
jg 0x7fdd0
cmpq %r13, 0x10(%rbx)
jle 0x7fdd0
movq 0x148(%rsp), %rdi
movq 0xa8(%rdi), %rdx
movslq 0x10(%rdi), %rax
movslq 0x14(%rdi), %r8
incq %r8
movslq 0x1c(%rdi), %rcx
movslq 0x20(%rdi), %r9
incq %r9
subq $0x8, %rsp
xorl %esi, %esi
pushq %rbx
pushq %r13
pushq %r9
pushq %rcx
pushq %r8
pushq %rax
pushq %r9
callq 0x7f2bb
addq $0x40, %rsp
movq %rax, %rcx
movq 0x58(%rbx), %rax
cmpq %r13, 0x8(%rbx)
jne 0x7f9fc
addq %rcx, %rax
movq %rax, 0x58(%rbx)
movq %r13, 0x70(%rbx)
movq 0x18(%rbx), %rcx
movq %rcx, 0x80(%rbx)
xorl %ecx, %ecx
addq %rcx, %rax
jmp 0x7fe11
movq 0x58(%rdi), %r12
movq %r10, %rcx
shlq $0x5, %rcx
movslq 0x4(%r12,%rcx), %rsi
incq %rsi
movq %rsi, 0x8(%rbx)
movslq 0xc(%r12,%rcx), %rcx
incq %rcx
movq %rcx, 0x18(%rbx)
cmpq %rsi, %rax
jle 0x7fae1
movq 0x10(%rbx), %rdx
cmpq %rsi, %rdx
jl 0x7fae1
movq 0x20(%rbx), %r8
cmpq %rcx, %r8
jl 0x7fae1
movq 0x148(%rsp), %rdi
cmpl %ecx, 0x10(%rdi)
jne 0x7fa72
movslq 0x14(%rdi), %rax
cmpq %rax, %r8
jne 0x7fa72
cmpl 0x1c(%rdi), %esi
jne 0x7fa72
movslq 0x20(%rdi), %rax
cmpq %rax, %rdx
jne 0x7fda5
movslq 0x14(%r15), %rax
movq $-0x1, %r9
cmpq %rax, %r10
jne 0x7fa86
movslq 0x24(%r15), %r9
movq (%rsp), %rdi
movsd 0x18(%rsp), %xmm0
pushq 0x148(%rsp)
pushq 0x138(%rsp)
pushq 0x18(%rsp)
pushq 0x28(%rsp)
callq 0x7f0d2
addq $0x20, %rsp
movq 0x8(%rbx), %rax
cmpq %r13, %rax
jg 0x7fac2
cmpq %r13, 0x10(%rbx)
jg 0x7f998
movq %rax, 0x70(%rbx)
movq 0x18(%rbx), %rcx
movq %rcx, 0x80(%rbx)
movq 0x148(%rsp), %rcx
movslq 0x2c(%rcx), %rcx
addq %rcx, 0x58(%rbx)
cmpq %r13, %rax
je 0x7fe0d
movq (%rbx), %rdi
movq %rdi, %rsi
shlq $0x5, %rsi
movslq (%r12,%rsi), %r9
movq %r9, 0x8(%rbx)
movq %r9, 0x28(%rbx)
movslq 0x4(%r12,%rsi), %r10
incq %r10
movq %r10, 0x10(%rbx)
movq %r10, 0x30(%rbx)
movslq 0x8(%r12,%rsi), %rcx
movq %rcx, 0x18(%rbx)
movq %rcx, 0x38(%rbx)
movslq 0xc(%r12,%rsi), %r11
incq %r11
movq %r11, 0x20(%rbx)
movq %r11, 0x40(%rbx)
movq $0x0, 0x48(%rbx)
movl 0x1c(%r12,%rsi), %r8d
movl %r8d, %edx
movq %rdx, 0x50(%rbx)
cmpw $0x7fff, 0x14(%r12,%rsi) # imm = 0x7FFF
sete %bpl
testl %r8d, %r8d
sete %r8b
andb %bpl, %r8b
cmpb $0x1, %r8b
jne 0x7fb6d
leaq (%r12,%rsi), %r8
cmpw $0x0, 0x12(%r8)
js 0x7fd14
movq (%rsp), %r13
movq 0x58(%r13), %r8
movl 0x18(%r8,%rsi), %ebp
addq %rbp, %rbp
addq 0x70(%r13), %rbp
movq %rbp, 0xd8(%rsp)
movl 0x1c(%r8,%rsi), %ebp
movq %rbp, 0xd0(%rsp)
movq %rbp, 0xc8(%rsp)
movq (%r8,%rsi), %rbp
movq %rbp, 0x3c(%rsp)
movq 0x8(%r8,%rsi), %rbp
movq %rbp, 0x30(%rsp)
movswl 0x14(%r8,%rsi), %esi
movl %esi, 0x4c(%rsp)
movl %esi, 0x48(%rsp)
movslq 0x10(%r15), %rsi
cmpq %rsi, %rdi
jne 0x7fc05
movslq (%r15), %rcx
movq %rcx, 0x28(%rbx)
movslq 0x8(%r15), %r8
movq %r8, 0x38(%rbx)
movslq 0x18(%r15), %rsi
movq %rsi, 0x48(%rbx)
movl 0x4(%r14), %r9d
cmpl %ecx, %r9d
cmovlel %ecx, %r9d
movslq %r9d, %r9
movq %r9, 0x8(%rbx)
movl 0x10(%r14), %ecx
cmpl %r8d, %ecx
cmovlel %r8d, %ecx
movslq %ecx, %rcx
movq %rcx, 0x18(%rbx)
jmp 0x7fc07
xorl %esi, %esi
movslq 0x14(%r15), %r13
movq %r11, %r8
movq %r10, %rbp
cmpq %r13, %rdi
jne 0x7fc52
movslq 0x4(%r15), %r10
movq %r10, 0x30(%rbx)
movslq 0xc(%r15), %r8
movq %r8, 0x40(%rbx)
movslq 0x1c(%r15), %rdx
movq %rdx, 0x50(%rbx)
movl 0x8(%r14), %r11d
cmpl %r10d, %r11d
cmovgel %r10d, %r11d
movslq %r11d, %rbp
movq %rbp, 0x10(%rbx)
movl 0x14(%r14), %r11d
cmpl %r8d, %r11d
cmovgel %r8d, %r11d
movslq %r11d, %r11
movq %r11, 0x20(%rbx)
cmpq %r9, %rax
movq 0x150(%rsp), %r13
jle 0x7fca7
cmpq %r13, %r9
jge 0x7fc6d
cmpq %r13, %rbp
jg 0x7fdad
subq $0x8, %rsp
leaq 0x28(%rsp), %rdi
pushq %rbx
pushq %r9
pushq %rbp
pushq %r9
pushq %r11
pushq %rcx
pushq %r10
callq 0x7f2bb
addq $0x40, %rsp
addq %rax, 0x58(%rbx)
movq (%rbx), %rdi
movq 0x8(%rbx), %rax
movq %rax, 0x70(%rbx)
movq 0x18(%rbx), %rcx
movq %rcx, 0x80(%rbx)
movq %rax, %r9
movq %r9, 0x10(%rbx)
movq %rcx, 0x20(%rbx)
movl 0x10(%r15), %r11d
movslq %r11d, %rdx
cmpq %r13, %rax
jne 0x7fcff
cmpq %rdx, %rdi
jle 0x7fcd9
movq %rdi, %rsi
shlq $0x5, %rsi
movslq -0x1c(%r12,%rsi), %r8
incq %r8
movslq -0x14(%r12,%rsi), %rsi
incq %rsi
jmp 0x7fce1
movl 0x4(%r14), %r8d
movl 0x10(%r14), %esi
movq %r8, 0x8(%rbx)
movq %rsi, 0x18(%rbx)
cmpq %r9, %r8
jne 0x7fe0d
subq %rsi, %rcx
jle 0x7fe0d
addq %rcx, 0x58(%rbx)
leaq -0x1(%rdi), %r10
movq %r10, (%rbx)
cmpq %rdx, %rdi
jg 0x7fa08
jmp 0x7f8fa
cmpq %r9, %rax
jle 0x7fca7
movq %r10, %rax
subq %r9, %rax
subq %rcx, %r11
cmpq %r13, %r9
jge 0x7fd30
subq %r13, %r10
jg 0x7fe23
movq %r9, 0x70(%rbx)
movq %rcx, 0x80(%rbx)
cmpq $0x200, %rax            # imm = 0x200
jg 0x7fd51
cmpq %r11, %rax
cmovgq %rax, %r11
cvtsi2sd %r11, %xmm0
jmp 0x7fd87
cmpq %r11, %rax
cmovlq %rax, %r11
cvtsi2sd %r11, %xmm1
cvtsi2sd %rax, %xmm2
mulsd 0x1b18de(%rip), %xmm2   # 0x231648
addsd 0x1b159e(%rip), %xmm2   # 0x231310
movapd %xmm2, %xmm0
cmplesd %xmm1, %xmm0
andpd %xmm0, %xmm1
andnpd %xmm2, %xmm0
orpd %xmm1, %xmm0
xorps %xmm1, %xmm1
cvtsi2sdq 0x58(%rbx), %xmm1
addsd %xmm0, %xmm1
cvttsd2si %xmm1, %rax
movq %rax, 0x58(%rbx)
movq %r9, %rax
jmp 0x7fca7
movq %rsi, %rax
jmp 0x7fab3
subq $0x8, %rsp
leaq 0x28(%rsp), %rdi
pushq %rbx
pushq %r13
pushq %rbp
pushq %r9
pushq %r11
pushq %rcx
pushq %r10
callq 0x7f2bb
addq $0x40, %rsp
addq 0x58(%rbx), %rax
jmp 0x7fe11
movq %rsi, 0x70(%rbx)
movq (%rbx), %r10
movq 0x18(%rbx), %rax
movq %rax, 0x80(%rbx)
movq 0x148(%rsp), %rax
movslq 0x2c(%rax), %rax
addq %rax, 0x58(%rbx)
movl 0x10(%r15), %r11d
movslq %r11d, %rax
cmpq %rax, %r10
jge 0x7fe0d
movl 0x18(%r14), %eax
andl $0x3fffffff, %eax       # imm = 0x3FFFFFFF
movq %rax, 0x58(%rbx)
jmp 0x7fe11
movq 0x58(%rbx), %rax
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorps %xmm0, %xmm0
cvtsi2sd %r10, %xmm0
cvtsi2sd %rax, %xmm1
divsd %xmm1, %xmm0
cmpq $0x200, %rax            # imm = 0x200
jg 0x7fe4a
cmpq %r11, %rax
cmovgq %rax, %r11
cvtsi2sd %r11, %xmm2
jmp 0x7fe7b
cmpq %r11, %rax
cmovlq %rax, %r11
cvtsi2sd %r11, %xmm3
mulsd 0x1b17ea(%rip), %xmm1   # 0x231648
addsd 0x1b14aa(%rip), %xmm1   # 0x231310
movapd %xmm1, %xmm2
cmplesd %xmm3, %xmm2
andpd %xmm2, %xmm3
andnpd %xmm1, %xmm2
orpd %xmm3, %xmm2
mulsd %xmm2, %xmm0
cvttsd2si %xmm0, %rax
jmp 0x7fdca
leaq 0x1b5310(%rip), %rdi    # 0x2351a0
leaq 0x1b18bc(%rip), %rsi    # 0x231753
leaq 0x1b5311(%rip), %rcx    # 0x2351af
movl $0x5dad, %edx           # imm = 0x5DAD
callq 0x2110