// File: /workspace/github_cpp_makefile_star2_O2/chhylp123[P]hifiasm/./Levenshtein_distance.h
// Function: ed_band_cal_extension_infi_1_w(char*, int, char*, int, int, int*, bit_extz_t*)
inline void ed_band_cal_extension_infi_1_w(char *pstr, int32_t pn, char *tstr, int32_t tn, int32_t thre, int32_t *nword, bit_extz_t *ez)
{
	init_base_ed(*ez, thre, pn, tn); ez->ps = ez->ts = INT32_MAX; ez->pe = pn-1; ez->te = tn-1;
	if(pn > tn + thre) pn = tn + thre;
    else if(tn > pn + thre) tn = pn + thre;
	int32_t i, err, tn0 = tn - 1, cut = thre+(thre<<1), bd, i_bd, k_bd, wz, wz1, Peq_i; 
    int32_t poff, pe = pn-1, tmp_e = INT32_MAX, k, pidx = ez->pe, tidx = ez->te; w_sig c, ad, Peq_m;
	if(nword) {
        ez->nword = (*nword);
    } else {
        bd = (((thre)<<1)+1); ez->nword = ((bd>>bitw)+(!!(bd&bitz)));
    }
    resize_bit_extz_t((*ez), (thre)); 
	wz = sizeof(*(ez->a))*(ez->nword);
    memset((ez->Peq[0]).a, 0, wz);
    memset((ez->Peq[1]).a, 0, wz);
    memset((ez->Peq[2]).a, 0, wz);
    memset((ez->Peq[3]).a, 0, wz);
    memset((ez->Peq[4]).a, 0, wz);

	bd = thre+1; bd = ((bd<=pn)?bd:pn); i_bd = thre;
	for (i = 0; i < bd; i++, i_bd++) { 
		w_bit((ez->Peq)[seq_nt4_table[(uint8_t)(pstr)[pidx-i]]], (i_bd));
	}
    bd = thre+1, i_bd = thre;

	memset((ez->Peq[4]).a, 0, wz);
    err = thre;
	w_infi_set_bit_lsub(ez->VN, thre, ez->nword); /**VN = (((Word)1)<<(thre))-1;**/ 
    w_infi_set_bit_lsub(ez->VP, (thre<<1)+1, ez->nword); /**VP = (((Word)1)<<((thre<<1)+1))-1;**/
    w_infi_self_xor(ez->VP, ez->VN, ez->nword, wz) /**VP ^= VN;**/

	i = 0;
	/**for the incoming char/last char; mm = ((Word)1 << (thre<<1))**/
    Peq_i = (((thre<<1))>>bitw); Peq_m = (((w_sig)1)<<(((thre<<1))&bitz));
	while (i < tn0) {
        ed_infi_core(ez->Peq, ez->VP, ez->VN, ez->X, ez->D0, ez->HN, ez->HP, (uint8_t)tstr[tidx-i], c, ad, wz, ez->nword);
        if (!(ez->D0.a[0]&(1ULL))) {
            ++err; if (err>cut) return;
        }

		{
            poff = i-thre; k = i+thre-pe;/**poff:[i-thre, i+thre]**/
			if(k >= 0) {
				if(tmp_e == INT32_MAX) {
					tmp_e = err;
					for ((k) = 0; (poff) < (pe); (poff)++, (k)++) {
						bd = (k>>bitw); k_bd = (k&bitz);
						(tmp_e) += (((*ez).VP.a[bd]>>k_bd)&((w_sig)1)); 
						(tmp_e) -= (((*ez).VN.a[bd]>>k_bd)&((w_sig)1));
					} 
				} else {
					k = (thre<<1) - k; 
					if(k >= 0) {
						bd = (k>>bitw); k_bd = (k&bitz);
						(tmp_e) += (((*ez).HP.a[bd]>>k_bd)&((w_sig)1)); 
						(tmp_e) -= (((*ez).HN.a[bd]>>k_bd)&((w_sig)1));
					}
				}
				if((tmp_e) <= (*ez).thre && (tmp_e) < (*ez).err) {
                    (*ez).err = tmp_e; (*ez).ps = pidx - pe; (*ez).ts = tidx-i;
				}
			}
        }
		// if(dbg_ext_err(i, thre, err, pe, &((*ez).VP), &((*ez).VN))!=tmp_e) {
		// 	fprintf(stderr, "i::%d, tmp_e::%d, dbg_ext_err::%d\n", i, tmp_e, dbg_ext_err(i, thre, err, pe, &((*ez).VP), &((*ez).VN)));
		// }

        ed_infi_post_Peq(ez->Peq, wz, wz1, ez->nword);
        ++i; ++i_bd; c = 4;
        if(i_bd < pn) c = seq_nt4_table[(uint8_t)pstr[pidx-i_bd]];
        if(c < 4) ez->Peq[c].a[Peq_i]|=Peq_m;
    }
    ed_infi_core(ez->Peq, ez->VP, ez->VN, ez->X, ez->D0, ez->HN, ez->HP, (uint8_t)tstr[tidx-i], c, ad, wz, ez->nword);
    if (!(ez->D0.a[0]&(1ULL))) {
        ++err; if (err>cut) return;
    }

    int32_t site = tn - 1 - thre;/**up bound; site:[tn - 1 - thre, tn - 1 + thre]**/
    for (cut = pn - 1, i = 0; site < cut; i++) {
		bd = (i>>bitw); i_bd = (i&bitz);
        err += (((*ez).VP.a[bd]>>i_bd)&((w_sig)1));
        err -= (((*ez).VN.a[bd]>>i_bd)&((w_sig)1));
        site++;
        if(err <= thre && err < ez->err) {
            ez->err = err; ez->ps = pidx-site; ez->ts = tidx+1-tn;
        }
    }
    if(err <= thre && err < ez->err) {
        ez->err = err; ez->ps = pidx-site; ez->ts = tidx+1-tn;
    }
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movl %r8d, %r15d
movq %rdx, 0x68(%rsp)
movq %rdi, 0x58(%rsp)
movq 0xf0(%rsp), %rbx
movl %r8d, 0x28(%rbx)
movl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movl %eax, 0x2c(%rbx)
movl %esi, 0x18(%rbx)
movl %ecx, 0x24(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movl %eax, 0x1c(%rbx)
movl %eax, 0x10(%rbx)
leal -0x1(%rsi), %r14d
movl %r14d, 0x14(%rbx)
leal -0x1(%rcx), %eax
movl %eax, 0x1c(%rsp)
movl %eax, 0x20(%rbx)
leal (%r15,%rsi), %eax
cmpl %ecx, %eax
movl %ecx, %edx
movq %rax, 0x28(%rsp)
cmovll %eax, %edx
leal (%r15,%rcx), %r13d
cmpl %esi, %r13d
cmovll %ecx, %edx
movq %rsi, 0x38(%rsp)
cmovgel %esi, %r13d
leal (%r15,%r15), %eax
testq %r9, %r9
je 0x61070
movl (%r9), %esi
jmp 0x61077
movl %eax, %esi
sarl $0x6, %esi
incl %esi
movl %esi, 0x30(%rbx)
cmpl %r15d, 0x3c(%rbx)
movl %eax, 0xc(%rsp)
movq %rcx, 0x50(%rsp)
jge 0x6116c
shrl $0x6, %eax
imull $0xc, %eax, %eax
addl $0xc, %eax
movl %eax, 0x3c(%rbx)
cmpl 0x38(%rbx), %eax
jbe 0x61168
movq 0x40(%rbx), %rdi
movl %eax, %esi
shlq $0x3, %rsi
movq %rdx, %r12
callq 0x2370
movq %rax, %rcx
movq %rax, 0x40(%rbx)
movl 0x30(%rbx), %esi
movl 0x3c(%rbx), %eax
pushq $0xc
popq %rdi
xorl %edx, %edx
divl %edi
movl %eax, 0x3c(%rbx)
movq %rcx, 0x48(%rbx)
leal (,%rax,8), %edx
leaq (%rcx,%rdx), %rdi
movq %rdi, 0x50(%rbx)
leal (%rax,%rax), %edi
leaq (%rcx,%rdi,8), %rdi
movq %rdi, 0x58(%rbx)
leal (%rax,%rax,2), %edi
leaq (%rcx,%rdi,8), %rdi
movq %rdi, 0x60(%rbx)
leal (,%rax,4), %edi
leaq (%rcx,%rdi,8), %rdi
movq %rdi, 0x68(%rbx)
leal (%rax,%rax,4), %edi
leaq (%rcx,%rdi,8), %rdi
movq %rdi, 0x70(%rbx)
imull $0x6, %eax, %edi
leaq (%rcx,%rdi,8), %rdi
movq %rdi, 0x78(%rbx)
imull $0x7, %eax, %edi
leaq (%rcx,%rdi,8), %rdi
movq %rdi, 0x80(%rbx)
leaq (%rcx,%rdx,8), %rdx
movq %rdx, 0x88(%rbx)
leal (%rax,%rax,8), %edx
leaq (%rcx,%rdx,8), %rdx
movq %rdx, 0x90(%rbx)
imull $0xa, %eax, %edx
leaq (%rcx,%rdx,8), %rdx
movq %rdx, 0x98(%rbx)
imull $0xb, %eax, %edx
leaq (%rcx,%rdx,8), %rcx
movq %r12, %rdx
movq %rcx, 0xa0(%rbx)
imull $0xc, %eax, %ecx
movl %ecx, 0x38(%rbx)
movl %eax, 0x34(%rbx)
movl %r15d, 0x3c(%rbx)
movq %rdx, 0x78(%rsp)
leal -0x1(%rdx), %eax
movq %rax, 0x30(%rsp)
leal (%r15,%r15,2), %eax
movl %eax, 0x20(%rsp)
leal -0x1(%r13), %eax
movl %eax, 0x8(%rsp)
shll $0x3, %esi
movq 0x48(%rbx), %rdi
movslq %esi, %rbp
movq %r15, %r12
xorl %r15d, %r15d
xorl %esi, %esi
movq %rbp, %rdx
callq 0x20e0
movq 0x50(%rbx), %rdi
xorl %esi, %esi
movq %rbp, %rdx
callq 0x20e0
movq 0x58(%rbx), %rdi
xorl %esi, %esi
movq %rbp, %rdx
callq 0x20e0
movq 0x60(%rbx), %rdi
xorl %esi, %esi
movq %rbp, %rdx
callq 0x20e0
movq 0x68(%rbx), %rdi
xorl %esi, %esi
movq %rbp, %rdx
callq 0x20e0
leal 0x1(%r12), %eax
cmpl %r13d, %eax
cmovgel %r13d, %eax
movslq %r14d, %rdx
testl %eax, %eax
cmovlel %r15d, %eax
negq %rax
movq 0x58(%rsp), %rcx
movq %rdx, 0x90(%rsp)
addq %rcx, %rdx
pushq $0x1
popq %r9
movq %r12, 0x10(%rsp)
movl %r12d, %ecx
cmpq %r15, %rax
je 0x61245
movq %r9, %rsi
shlq %cl, %rsi
movzbl (%rdx,%r15), %edi
leaq 0x18a8da(%rip), %r8     # 0x1ebb00
movzbl (%r8,%rdi), %edi
movq 0x48(%rbx,%rdi,8), %rdi
movl %ecx, %r8d
sarl $0x6, %r8d
movslq %r8d, %r8
orq %rsi, (%rdi,%r8,8)
incl %ecx
decq %r15
jmp 0x6120f
movq 0x68(%rbx), %rdi
xorl %esi, %esi
movq %rbp, %rdx
callq 0x20e0
movq 0x80(%rbx), %rdi
movslq 0x30(%rbx), %rdx
shlq $0x3, %rdx
xorl %esi, %esi
callq 0x20e0
movq 0x10(%rsp), %rcx
movl %ecx, %eax
sarl $0x6, %eax
movslq %eax, %r15
cmpl $0x40, %ecx
jb 0x61294
movq 0x80(%rbx), %rdi
leaq (,%r15,8), %rdx
movl $0xff, %esi
callq 0x20e0
movq 0x10(%rsp), %rax
movl %eax, %ecx
pushq $-0x1
popq %r14
andl $0x3f, %ecx
je 0x612b8
movq %r14, %rax
shlq %cl, %rax
notq %rax
movq 0x80(%rbx), %rcx
movq %rax, (%rcx,%r15,8)
movq 0x78(%rbx), %rdi
movslq 0x30(%rbx), %rdx
shlq $0x3, %rdx
xorl %esi, %esi
callq 0x20e0
movl 0xc(%rsp), %ecx
movl %ecx, %eax
sarl $0x6, %eax
cmpl $0x3f, %ecx
ja 0x612de
movl %eax, %r15d
jmp 0x612fb
movq 0x78(%rbx), %rdi
movslq %eax, %r15
leaq (,%r15,8), %rdx
movl $0xff, %esi
callq 0x20e0
movl 0xc(%rsp), %ecx
movq 0x10(%rsp), %rsi
movl 0x8(%rsp), %r10d
movl %ecx, %eax
andl $0x3e, %eax
leal 0x1(%rax), %ecx
shlq %cl, %r14
notq %r14
movq 0x78(%rbx), %rdx
movq %r14, (%rdx,%r15,8)
movslq 0x30(%rbx), %r8
movl %r8d, %ecx
movq %rcx, 0x60(%rsp)
xorl %ecx, %ecx
testl %r8d, %r8d
movl $0x0, %edi
cmovgl %r8d, %edi
pushq $0x1
popq %r11
cmpq %rcx, %rdi
je 0x61352
movq 0x80(%rbx), %r9
movq (%r9,%rcx,8), %r9
xorq %r9, (%rdx,%rcx,8)
incq %rcx
jmp 0x61339
movq %r15, 0x88(%rsp)
movl %eax, %ecx
shlq %cl, %r11
movq %r11, 0x80(%rsp)
movl %esi, %eax
subl %r13d, %eax
incl %eax
movl %eax, 0x4c(%rsp)
movq 0x38(%rsp), %rax
subl %r13d, %eax
movq %rax, 0x38(%rsp)
movslq %esi, %r12
movslq %r13d, %rax
movq %rax, 0x98(%rsp)
movslq 0x1c(%rsp), %rax
movq %rax, 0xa0(%rsp)
xorl %r9d, %r9d
movq 0x30(%rsp), %rax
testl %eax, %eax
movl $0x0, %ecx
cmovgl %eax, %ecx
movq %rcx, 0x70(%rsp)
movq %rsi, %rcx
movl %ecx, %r15d
negl %r15d
movl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movl %ecx, %r14d
cmpq 0x70(%rsp), %r9
je 0x616e4
movq %r12, 0xb0(%rsp)
movl %r14d, 0x24(%rsp)
movq 0xa0(%rsp), %rsi
movq %r9, 0x40(%rsp)
subq %r9, %rsi
movq 0x68(%rsp), %rcx
movq %rsi, 0xa8(%rsp)
movzbl (%rcx,%rsi), %ecx
leaq 0x18a6fe(%rip), %rsi    # 0x1ebb00
movzbl (%rsi,%rcx), %r11d
xorl %ecx, %ecx
xorl %r10d, %r10d
cmpq %rcx, %rdi
je 0x614ad
movq 0x48(%rbx,%r11,8), %r13
movq 0x80(%rbx), %rbp
movq (%rbp,%rcx,8), %r12
orq (%r13,%rcx,8), %r12
movq 0x88(%rbx), %r13
movq %r12, (%r13,%rcx,8)
andq (%rdx,%rcx,8), %r12
movq 0x90(%rbx), %r14
addq %r10, %r12
setb %r10b
movq %r12, (%r14,%rcx,8)
addq (%rdx,%rcx,8), %r12
movq %r12, (%r14,%rcx,8)
movq (%rdx,%rcx,8), %r9
cmpq %r9, %r12
setb %sil
orb %r10b, %sil
xorq %r9, %r12
movq %r12, (%r14,%rcx,8)
orq (%r13,%rcx,8), %r12
movq %r12, (%r14,%rcx,8)
andq (%rdx,%rcx,8), %r12
movq 0x98(%rbx), %r9
movq %r12, (%r9,%rcx,8)
movq (%r14,%rcx,8), %r9
orq (%rdx,%rcx,8), %r9
movzbl %sil, %r10d
notq %r9
movq 0xa0(%rbx), %rsi
movq %r9, (%rsi,%rcx,8)
orq (%rbp,%rcx,8), %r9
movq %r9, (%rsi,%rcx,8)
incq %rcx
jmp 0x6140c
movq 0x60(%rsp), %rcx
xorl %r11d, %r11d
movq 0xb0(%rsp), %r12
testl %ecx, %ecx
jle 0x61528
movq 0x88(%rbx), %rsi
movq 0x90(%rbx), %r9
movq -0x8(%r9,%rcx,8), %r10
shrq %r10
orq %r11, %r10
movq %r10, -0x8(%rsi,%rcx,8)
movq -0x8(%r9,%rcx,8), %r11
movq 0x80(%rbx), %r9
movq 0xa0(%rbx), %r14
andq -0x8(%r14,%rcx,8), %r10
movq %r10, -0x8(%r9,%rcx,8)
movq -0x8(%r14,%rcx,8), %r9
orq -0x8(%rsi,%rcx,8), %r9
notq %r9
movq %r9, -0x8(%rdx,%rcx,8)
movq 0x98(%rbx), %rsi
orq -0x8(%rsi,%rcx,8), %r9
movq %r9, -0x8(%rdx,%rcx,8)
decq %rcx
shlq $0x3f, %r11
jmp 0x614bd
movq 0x90(%rbx), %rcx
testb $0x1, (%rcx)
jne 0x6154e
movl 0x24(%rsp), %r14d
cmpl 0x20(%rsp), %r14d
movq 0x40(%rsp), %rcx
jge 0x618ef
incl %r14d
jmp 0x61558
movl 0x24(%rsp), %r14d
movq 0x40(%rsp), %rcx
movl 0x4c(%rsp), %r10d
addl %ecx, %r10d
js 0x615fa
cmpl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
jne 0x615a6
xorl %ecx, %ecx
movl %r14d, %eax
movl 0x8(%rsp), %r10d
leal (%r15,%rcx), %esi
cmpl %r10d, %esi
jge 0x615da
movl %ecx, %esi
shrl $0x6, %esi
movq (%rdx,%rsi,8), %r9
btq %rcx, %r9
adcl $0x0, %eax
movq 0x80(%rbx), %r9
movq (%r9,%rsi,8), %rsi
btq %rcx, %rsi
sbbl $0x0, %eax
incl %ecx
jmp 0x61577
movl 0xc(%rsp), %ecx
subl %r10d, %ecx
js 0x615da
movq 0x98(%rbx), %rsi
movq 0xa0(%rbx), %r9
movl %ecx, %r10d
shrl $0x6, %r10d
movq (%r9,%r10,8), %r9
btq %rcx, %r9
adcl $0x0, %eax
movq (%rsi,%r10,8), %rsi
btq %rcx, %rsi
sbbl $0x0, %eax
cmpl 0x28(%rbx), %eax
jg 0x615fa
cmpl 0x2c(%rbx), %eax
jge 0x615fa
movl %eax, 0x2c(%rbx)
movq 0x38(%rsp), %rcx
movl %ecx, 0x10(%rbx)
movq 0xa8(%rsp), %rcx
movl %ecx, 0x1c(%rbx)
movq 0x48(%rbx), %rcx
pushq $0x1
popq %r9
cmpq %r8, %r9
jge 0x61664
movq -0x8(%rcx,%r9,8), %rsi
movq (%rcx,%r9,8), %r10
shldq $0x3f, %rsi, %r10
movq %r10, -0x8(%rcx,%r9,8)
movq 0x50(%rbx), %rsi
movq -0x8(%rsi,%r9,8), %r10
movq (%rsi,%r9,8), %r11
shldq $0x3f, %r10, %r11
movq %r11, -0x8(%rsi,%r9,8)
movq 0x58(%rbx), %rsi
movq -0x8(%rsi,%r9,8), %r10
movq (%rsi,%r9,8), %r11
shldq $0x3f, %r10, %r11
movq %r11, -0x8(%rsi,%r9,8)
movq 0x60(%rbx), %rsi
movq -0x8(%rsi,%r9,8), %r10
movq (%rsi,%r9,8), %r11
shldq $0x3f, %r10, %r11
movq %r11, -0x8(%rsi,%r9,8)
incq %r9
jmp 0x61602
shrq -0x8(%rcx,%r8,8)
movq 0x50(%rbx), %rcx
shrq -0x8(%rcx,%r8,8)
movq 0x58(%rbx), %rcx
shrq -0x8(%rcx,%r8,8)
movq 0x60(%rbx), %rcx
shrq -0x8(%rcx,%r8,8)
incq %r12
cmpq 0x98(%rsp), %r12
jge 0x616cf
movq 0x90(%rsp), %rcx
subq %r12, %rcx
movq 0x58(%rsp), %rsi
movzbl (%rsi,%rcx), %ecx
leaq 0x18a454(%rip), %rsi    # 0x1ebb00
movzbl (%rsi,%rcx), %ecx
cmpq $0x3, %rcx
ja 0x616cf
movq 0x48(%rbx,%rcx,8), %rcx
movq 0x88(%rsp), %rsi
movq 0x80(%rsp), %r9
orq %r9, (%rcx,%rsi,8)
movq 0x40(%rsp), %r9
incq %r9
incl %r15d
movl 0x8(%rsp), %r10d
jmp 0x613c2
movl 0x1c(%rsp), %eax
subl 0x70(%rsp), %eax
cltq
movq 0x68(%rsp), %rcx
movzbl (%rcx,%rax), %eax
leaq 0x18a402(%rip), %rcx    # 0x1ebb00
movzbl (%rcx,%rax), %eax
xorl %ecx, %ecx
xorl %r9d, %r9d
movq 0x10(%rsp), %r15
cmpq %rcx, %rdi
je 0x617b3
movq 0x48(%rbx,%rax,8), %rsi
movq 0x80(%rbx), %r8
movq (%r8,%rcx,8), %r10
orq (%rsi,%rcx,8), %r10
movq 0x88(%rbx), %rsi
movq %r10, (%rsi,%rcx,8)
andq (%rdx,%rcx,8), %r10
movq 0x90(%rbx), %r11
addq %r9, %r10
setb %r9b
movq %r10, (%r11,%rcx,8)
addq (%rdx,%rcx,8), %r10
movq %r10, (%r11,%rcx,8)
movl %r14d, %r12d
movq (%rdx,%rcx,8), %r14
cmpq %r14, %r10
setb %bpl
orb %r9b, %bpl
xorq %r14, %r10
movl %r12d, %r14d
movq %r10, (%r11,%rcx,8)
orq (%rsi,%rcx,8), %r10
movq %r10, (%r11,%rcx,8)
andq (%rdx,%rcx,8), %r10
movq 0x98(%rbx), %rsi
movq %r10, (%rsi,%rcx,8)
movq (%r11,%rcx,8), %rsi
orq (%rdx,%rcx,8), %rsi
movzbl %bpl, %r9d
notq %rsi
movq 0xa0(%rbx), %r10
movq %rsi, (%r10,%rcx,8)
orq (%r8,%rcx,8), %rsi
movq %rsi, (%r10,%rcx,8)
movl 0x8(%rsp), %r10d
incq %rcx
jmp 0x6170c
xorl %eax, %eax
movq 0x60(%rsp), %rdi
testl %edi, %edi
jle 0x61829
movq 0x88(%rbx), %rcx
movq 0x90(%rbx), %rsi
movq %rdi, %r9
movq -0x8(%rsi,%rdi,8), %rdi
shrq %rdi
orq %rax, %rdi
movq %rdi, -0x8(%rcx,%r9,8)
movq -0x8(%rsi,%r9,8), %rax
movq 0x80(%rbx), %rsi
movq 0xa0(%rbx), %r8
andq -0x8(%r8,%r9,8), %rdi
movq %rdi, -0x8(%rsi,%r9,8)
movq -0x8(%r8,%r9,8), %rsi
orq -0x8(%rcx,%r9,8), %rsi
notq %rsi
movq %rsi, -0x8(%rdx,%r9,8)
movq 0x98(%rbx), %rcx
orq -0x8(%rcx,%r9,8), %rsi
movq %rsi, -0x8(%rdx,%r9,8)
leaq -0x1(%r9), %rdi
shlq $0x3f, %rax
jmp 0x617ba
movq 0x90(%rbx), %rax
testb $0x1, (%rax)
jne 0x61854
cmpl 0x20(%rsp), %r14d
jge 0x618ef
incl %r14d
movq 0x50(%rsp), %r8
movq 0x10(%rsp), %r15
movl 0x8(%rsp), %r10d
jmp 0x61859
movq 0x50(%rsp), %r8
movq 0x30(%rsp), %rax
subl %r15d, %eax
movq %rax, 0x30(%rsp)
movq 0x78(%rsp), %rcx
subl %ecx, %r8d
movq 0x28(%rsp), %rax
subl %ecx, %eax
movq %rax, 0x28(%rsp)
xorl %eax, %eax
pushq $-0x1
popq %rcx
movq 0x30(%rsp), %rsi
addl %eax, %esi
cmpl %r10d, %esi
jge 0x618d2
movl %eax, %esi
shrl $0x6, %esi
movq (%rdx,%rsi,8), %rdi
btq %rax, %rdi
adcl $0x0, %r14d
movq 0x80(%rbx), %rdi
movq (%rdi,%rsi,8), %rsi
btq %rax, %rsi
sbbl $0x0, %r14d
cmpl %r15d, %r14d
jg 0x618cc
cmpl 0x2c(%rbx), %r14d
jge 0x618cc
movl %r14d, 0x2c(%rbx)
movq 0x28(%rsp), %rsi
addl %ecx, %esi
movl %esi, 0x10(%rbx)
movl %r8d, 0x1c(%rbx)
incl %eax
decl %ecx
jmp 0x6187f
cmpl %r15d, %r14d
jg 0x618ef
cmpl 0x2c(%rbx), %r14d
jge 0x618ef
movl %r14d, 0x2c(%rbx)
movq 0x28(%rsp), %rcx
subl %eax, %ecx
movl %ecx, 0x10(%rbx)
movl %r8d, 0x1c(%rbx)
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq