// File: /workspace/github_cpp_makefile_star2_O2/chhylp123[P]hifiasm/./Levenshtein_distance.h
// Function: ed_band_cal_global_infi_w(char*, int, char*, int, int, int*, bit_extz_t*)
inline void ed_band_cal_global_infi_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 = 0;
	if((pn > tn + thre) || (tn > pn + thre)) return;
	int32_t i, err, tn0 = tn - 1, cut = thre+(thre<<1), bd, i_bd, wz, wz1, Peq_i; 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;
	ed_init_core(i, bd, i_bd, pstr, ez->Peq);
	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) {
		// fprintf(stderr, "\ni::%d\n", i);
		// prt_bit_extz_t((*ez), (((thre<<1))+1));
		ed_infi_core(ez->Peq, ez->VP, ez->VN, ez->X, ez->D0, ez->HN, ez->HP, (uint8_t)tstr[i], c, ad, wz, ez->nword);
        if (!(ez->D0.a[0]&(1ULL))) {
            ++err; if (err>cut) return;
        }

		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[i_bd]];
		if(c < 4) ez->Peq[c].a[Peq_i]|=Peq_m;
		// fprintf(stderr, "c::%u\n", c);
		// print_bits(ez->Peq[c].a, (((thre<<1))+1), "Peq[c]");
    }
	ed_infi_core(ez->Peq, ez->VP, ez->VN, ez->X, ez->D0, ez->HN, ez->HP, (uint8_t)tstr[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**/
	for (cut = pn - 1, i = 0; site < cut; site++, 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));
	}
	
	if (site == cut && err <= thre) {
		ez->err = err; 
		ez->pe = pn-1; ez->te = tn-1;
	}
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdx, 0x40(%rsp)
movq %rdi, 0x30(%rsp)
movq 0xa0(%rsp), %rbx
movl %r8d, 0x28(%rbx)
movl $0x7fffffff, 0x2c(%rbx) # imm = 0x7FFFFFFF
movl %esi, 0x18(%rbx)
movl %ecx, 0x24(%rbx)
andl $0x0, 0x1c(%rbx)
leal (%r8,%rcx), %eax
cmpl %esi, %eax
setl %al
movq %r8, (%rsp)
movq %rsi, 0x18(%rsp)
leal (%r8,%rsi), %edx
movq %rcx, 0x8(%rsp)
cmpl %ecx, %edx
setl %cl
orb %al, %cl
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
andl $0x0, 0x10(%rbx)
testb %cl, %cl
jne 0x5f42a
movq (%rsp), %r14
leal (%r14,%r14), %eax
testq %r9, %r9
je 0x5ed6f
movl (%r9), %esi
jmp 0x5ed76
movl %eax, %esi
sarl $0x6, %esi
incl %esi
movl %r14d, %r12d
movl %esi, 0x30(%rbx)
cmpl %r14d, 0x3c(%rbx)
movq %rax, 0x20(%rsp)
jge 0x5ee64
shrl $0x6, %eax
imull $0xc, %eax, %eax
addl $0xc, %eax
movl %eax, 0x3c(%rbx)
cmpl 0x38(%rbx), %eax
jbe 0x5ee60
movq 0x40(%rbx), %rdi
movl %eax, %esi
shlq $0x3, %rsi
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 %rcx, 0xa0(%rbx)
imull $0xc, %eax, %ecx
movl %ecx, 0x38(%rbx)
movl %eax, 0x34(%rbx)
movl %r14d, 0x3c(%rbx)
movq 0x8(%rsp), %rax
decl %eax
movq %rax, 0x8(%rsp)
leal (%r14,%r14,2), %eax
movl %eax, 0x14(%rsp)
shll $0x3, %esi
movq 0x48(%rbx), %rdi
movslq %esi, %r13
xorl %r15d, %r15d
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0x50(%rbx), %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0x58(%rbx), %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0x60(%rbx), %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0x68(%rbx), %rdi
xorl %esi, %esi
movq %r13, 0x28(%rsp)
movq %r13, %rdx
callq 0x20e0
leal 0x1(%r14), %eax
movq 0x18(%rsp), %rcx
cmpl %ecx, %eax
cmovgel %ecx, %eax
testl %eax, %eax
cmovlel %r15d, %eax
pushq $0x1
popq %rbp
leaq 0x18cc16(%rip), %r13    # 0x1ebb00
movq 0x30(%rsp), %rdi
cmpq %r15, %rax
je 0x5ef1d
leaq (%r12,%r15), %rcx
movq %rbp, %rdx
shlq %cl, %rdx
movzbl (%rdi,%r15), %esi
movzbl (%r13,%rsi), %esi
movq 0x48(%rbx,%rsi,8), %rsi
sarl $0x6, %ecx
movslq %ecx, %rcx
orq %rdx, (%rsi,%rcx,8)
incq %r15
jmp 0x5eeef
movq 0x68(%rbx), %rdi
xorl %esi, %esi
movq 0x28(%rsp), %rdx
callq 0x20e0
movq 0x80(%rbx), %rdi
movslq 0x30(%rbx), %rdx
shlq $0x3, %rdx
xorl %esi, %esi
callq 0x20e0
movq (%rsp), %r15
movl %r15d, %eax
sarl $0x6, %eax
movslq %eax, %r14
cmpl $0x40, %r15d
jb 0x5ef6f
movq 0x80(%rbx), %rdi
leaq (,%r14,8), %rdx
movl $0xff, %esi
callq 0x20e0
movl %r15d, %ecx
pushq $-0x1
popq %r15
andl $0x3f, %ecx
je 0x5ef8f
movq %r15, %rax
shlq %cl, %rax
notq %rax
movq 0x80(%rbx), %rcx
movq %rax, (%rcx,%r14,8)
movq 0x78(%rbx), %rdi
movslq 0x30(%rbx), %rdx
shlq $0x3, %rdx
xorl %esi, %esi
callq 0x20e0
movq 0x20(%rsp), %r10
movl %r10d, %eax
sarl $0x6, %eax
cmpl $0x3f, %r10d
ja 0x5efb7
movl %eax, %edx
jmp 0x5efd8
movq 0x78(%rbx), %rdi
movslq %eax, %r14
leaq (,%r14,8), %rdx
movl $0xff, %esi
callq 0x20e0
movq %r14, %rdx
movq 0x20(%rsp), %r10
andl $0x3e, %r10d
leal 0x1(%r10), %ecx
shlq %cl, %r15
notq %r15
movq 0x78(%rbx), %rax
movq %rdx, 0x50(%rsp)
movq %r15, (%rax,%rdx,8)
movslq 0x30(%rbx), %rdi
movl %edi, %edx
xorl %ecx, %ecx
testl %edi, %edi
movl $0x0, %esi
cmovgl %edi, %esi
movq (%rsp), %r9
cmpq %rcx, %rsi
je 0x5f022
movq 0x80(%rbx), %r8
movq (%r8,%rcx,8), %r8
xorq %r8, (%rax,%rcx,8)
incq %rcx
jmp 0x5f009
movl %r10d, %ecx
shlq %cl, %rbp
movq %rbp, 0x48(%rsp)
movslq %r9d, %r10
movslq 0x18(%rsp), %rcx
movq %rcx, 0x58(%rsp)
xorl %r11d, %r11d
movq 0x8(%rsp), %rcx
testl %ecx, %ecx
movl $0x0, %r8d
cmovgl %ecx, %r8d
movq %r8, 0x38(%rsp)
cmpq 0x38(%rsp), %r11
je 0x5f28f
movq %r10, 0x28(%rsp)
movq %r12, 0x20(%rsp)
movq 0x40(%rsp), %rcx
movq %r11, 0x60(%rsp)
movzbl (%rcx,%r11), %r8d
movq %r13, %r10
movzbl (%r13,%r8), %r15d
xorl %r8d, %r8d
xorl %r13d, %r13d
cmpq %r8, %rsi
je 0x5f121
movq 0x48(%rbx,%r15,8), %r9
movq 0x80(%rbx), %r12
movq (%r12,%r8,8), %r14
orq (%r9,%r8,8), %r14
movq 0x88(%rbx), %r9
movq %r14, (%r9,%r8,8)
andq (%rax,%r8,8), %r14
movq 0x90(%rbx), %r11
addq %r13, %r14
setb %r13b
movq %r14, (%r11,%r8,8)
addq (%rax,%r8,8), %r14
movq %r14, (%r11,%r8,8)
movq (%rax,%r8,8), %rbp
cmpq %rbp, %r14
setb %cl
orb %r13b, %cl
xorq %rbp, %r14
movq %r14, (%r11,%r8,8)
orq (%r9,%r8,8), %r14
movq %r14, (%r11,%r8,8)
andq (%rax,%r8,8), %r14
movq 0x98(%rbx), %r9
movq %r14, (%r9,%r8,8)
movq (%r11,%r8,8), %r9
orq (%rax,%r8,8), %r9
movzbl %cl, %r13d
notq %r9
movq 0xa0(%rbx), %rcx
movq %r9, (%rcx,%r8,8)
orq (%r12,%r8,8), %r9
movq %r9, (%rcx,%r8,8)
incq %r8
jmp 0x5f086
movq %rdx, %r8
xorl %r15d, %r15d
movq 0x20(%rsp), %r12
movq %r10, %r13
pushq $0x1
popq %r10
testl %r8d, %r8d
jle 0x5f19f
movq 0x88(%rbx), %rcx
movq 0x90(%rbx), %r9
movq -0x8(%r9,%r8,8), %r11
shrq %r11
orq %r15, %r11
movq %r11, -0x8(%rcx,%r8,8)
movq -0x8(%r9,%r8,8), %r15
movq 0x80(%rbx), %r9
movq 0xa0(%rbx), %r14
andq -0x8(%r14,%r8,8), %r11
movq %r11, -0x8(%r9,%r8,8)
movq -0x8(%r14,%r8,8), %r9
orq -0x8(%rcx,%r8,8), %r9
notq %r9
movq %r9, -0x8(%rax,%r8,8)
movq 0x98(%rbx), %rcx
orq -0x8(%rcx,%r8,8), %r9
movq %r9, -0x8(%rax,%r8,8)
decq %r8
shlq $0x3f, %r15
jmp 0x5f133
movq 0x90(%rbx), %rcx
testb $0x1, (%rcx)
jne 0x5f1b9
cmpl 0x14(%rsp), %r12d
jge 0x5f42a
incl %r12d
movq 0x48(%rbx), %r8
movq %r10, %r15
movq 0x28(%rsp), %r10
cmpq %rdi, %r15
jge 0x5f227
movq -0x8(%r8,%r15,8), %rcx
movq (%r8,%r15,8), %r9
shldq $0x3f, %rcx, %r9
movq %r9, -0x8(%r8,%r15,8)
movq 0x50(%rbx), %rcx
movq -0x8(%rcx,%r15,8), %r9
movq (%rcx,%r15,8), %r11
shldq $0x3f, %r9, %r11
movq %r11, -0x8(%rcx,%r15,8)
movq 0x58(%rbx), %rcx
movq -0x8(%rcx,%r15,8), %r9
movq (%rcx,%r15,8), %r11
shldq $0x3f, %r9, %r11
movq %r11, -0x8(%rcx,%r15,8)
movq 0x60(%rbx), %rcx
movq -0x8(%rcx,%r15,8), %r9
movq (%rcx,%r15,8), %r11
shldq $0x3f, %r9, %r11
movq %r11, -0x8(%rcx,%r15,8)
incq %r15
jmp 0x5f1c5
shrq -0x8(%r8,%rdi,8)
movq 0x50(%rbx), %rcx
shrq -0x8(%rcx,%rdi,8)
movq 0x58(%rbx), %rcx
shrq -0x8(%rcx,%rdi,8)
movq 0x60(%rbx), %rcx
shrq -0x8(%rcx,%rdi,8)
movq 0x60(%rsp), %r11
incq %r11
incq %r10
cmpq 0x58(%rsp), %r10
jge 0x5f053
movq 0x30(%rsp), %rcx
movzbl (%rcx,%r10), %ecx
movzbl (%r13,%rcx), %r8d
cmpq $0x3, %r8
ja 0x5f053
movq 0x48(%rbx,%r8,8), %rcx
movq 0x50(%rsp), %r8
movq 0x48(%rsp), %r9
orq %r9, (%rcx,%r8,8)
jmp 0x5f053
movq 0x40(%rsp), %rcx
movq 0x38(%rsp), %rdi
movzbl (%rcx,%rdi), %ecx
movzbl (%r13,%rcx), %ecx
xorl %edi, %edi
xorl %r9d, %r9d
cmpq %rdi, %rsi
je 0x5f344
movq 0x48(%rbx,%rcx,8), %r11
movq 0x80(%rbx), %r8
movq (%r8,%rdi,8), %r10
orq (%r11,%rdi,8), %r10
movq 0x88(%rbx), %r11
movq %r10, (%r11,%rdi,8)
andq (%rax,%rdi,8), %r10
movq 0x90(%rbx), %r14
addq %r9, %r10
setb %r9b
movq %r10, (%r14,%rdi,8)
addq (%rax,%rdi,8), %r10
movq %r10, (%r14,%rdi,8)
movq (%rax,%rdi,8), %r15
cmpq %r15, %r10
setb %bpl
orb %r9b, %bpl
xorq %r15, %r10
movq %r10, (%r14,%rdi,8)
orq (%r11,%rdi,8), %r10
movq %r10, (%r14,%rdi,8)
andq (%rax,%rdi,8), %r10
movq 0x98(%rbx), %r9
movq %r10, (%r9,%rdi,8)
movq (%r14,%rdi,8), %r10
orq (%rax,%rdi,8), %r10
movzbl %bpl, %r9d
notq %r10
movq 0xa0(%rbx), %r11
movq %r10, (%r11,%rdi,8)
orq (%r8,%rdi,8), %r10
movq %r10, (%r11,%rdi,8)
incq %rdi
jmp 0x5f2a8
xorl %ecx, %ecx
movq (%rsp), %r10
testl %edx, %edx
jle 0x5f3b5
movq 0x88(%rbx), %rsi
movq 0x90(%rbx), %rdi
movq -0x8(%rdi,%rdx,8), %r8
shrq %r8
orq %rcx, %r8
movq %r8, -0x8(%rsi,%rdx,8)
movq -0x8(%rdi,%rdx,8), %rcx
movq 0x80(%rbx), %rdi
movq 0xa0(%rbx), %r9
andq -0x8(%r9,%rdx,8), %r8
movq %r8, -0x8(%rdi,%rdx,8)
movq -0x8(%r9,%rdx,8), %rdi
orq -0x8(%rsi,%rdx,8), %rdi
notq %rdi
movq %rdi, -0x8(%rax,%rdx,8)
movq 0x98(%rbx), %rsi
orq -0x8(%rsi,%rdx,8), %rdi
movq %rdi, -0x8(%rax,%rdx,8)
decq %rdx
shlq $0x3f, %rcx
jmp 0x5f34a
movq 0x90(%rbx), %rcx
testb $0x1, (%rcx)
jne 0x5f3cf
cmpl 0x14(%rsp), %r12d
jge 0x5f42a
incl %r12d
movq (%rsp), %r10
movq 0x8(%rsp), %rdx
subl %r10d, %edx
movq 0x18(%rsp), %rcx
decl %ecx
xorl %esi, %esi
leal (%rdx,%rsi), %edi
cmpl %ecx, %edi
jge 0x5f40f
movl %esi, %edi
shrl $0x6, %edi
movq (%rax,%rdi,8), %r8
btq %rsi, %r8
adcl $0x0, %r12d
movq 0x80(%rbx), %r8
movq (%r8,%rdi,8), %rdi
btq %rsi, %rdi
sbbl $0x0, %r12d
incl %esi
jmp 0x5f3e0
cmpl 0x18(%rsp), %edx
jge 0x5f42a
cmpl (%rsp), %r12d
jg 0x5f42a
movl %r12d, 0x2c(%rbx)
movl %ecx, 0x14(%rbx)
movq 0x8(%rsp), %rax
movl %eax, 0x20(%rbx)
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq