// File: chhylp123[P]hifiasm/rcut.cpp
// Function: debug_mb_z(mb_g_t*, unsigned int)
void debug_mb_z(mb_g_t *mbg, uint32_t k)
{
	t_w_t z[4];
	z[0] = z[1] = z[2] = z[3] = 0;
	mb_match_t *ma = mbg->e;
	uint32_t o = ma->idx.a[k] >> 32;
    uint32_t j, n = (uint32_t)ma->idx.a[k];

	for (j = 0; j < n; ++j) {
		const mb_edge_t *e = &ma->ma.a[o + j];
		uint32_t t = ma_y(*e);

		///a[0]->b[0]
		if(mbg->u->u.a[t].s[0] > 0) z[0] += e->w[0];
		else if(mbg->u->u.a[t].s[0] < 0) z[1] += e->w[0];

		///a[0]->b[1]
		if(mbg->u->u.a[t].s[1] > 0) z[0] += e->w[1];
		else if(mbg->u->u.a[t].s[1] < 0) z[1] += e->w[1];

		///a[1]->b[0]
		if(mbg->u->u.a[t].s[0] > 0) z[2] += e->w[2];
		else if(mbg->u->u.a[t].s[0] < 0) z[3] += e->w[2];

		///a[1]->b[1]
		if(mbg->u->u.a[t].s[1] > 0) z[2] += e->w[3];
		else if(mbg->u->u.a[t].s[1] < 0) z[3] += e->w[3];
	}

	if(mbg->u->u.a[k].z[0] != z[0]) fprintf(stderr, "ERROR-0-::%s, z[0]: %f, n-z[0]: %f\n", __func__, z[0], mbg->u->u.a[k].z[0]);
	if(mbg->u->u.a[k].z[1] != z[1]) fprintf(stderr, "ERROR-1-::%s, z[1]: %f, n-z[1]: %f\n", __func__, z[1], mbg->u->u.a[k].z[1]);
	if(mbg->u->u.a[k].z[2] != z[2]) fprintf(stderr, "ERROR-2-::%s, z[2]: %f, n-z[2]: %f\n", __func__, z[2], mbg->u->u.a[k].z[2]);
	if(mbg->u->u.a[k].z[3] != z[3]) fprintf(stderr, "ERROR-3-::%s, z[3]: %f, n-z[3]: %f\n", __func__, z[3], mbg->u->u.a[k].z[3]);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0x18(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0x20(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0x28(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movl -0xc(%rbp), %ecx
movq (%rax,%rcx,8), %rax
shrq $0x20, %rax
movl %eax, -0x3c(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movl -0xc(%rbp), %ecx
movq (%rax,%rcx,8), %rax
movl %eax, -0x44(%rbp)
movl $0x0, -0x40(%rbp)
movl -0x40(%rbp), %eax
cmpl -0x44(%rbp), %eax
jae 0x21d223
movq -0x38(%rbp), %rax
movq 0x28(%rax), %rax
movl -0x3c(%rbp), %ecx
addl -0x40(%rbp), %ecx
movl %ecx, %ecx
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq (%rax), %rax
movl %eax, -0x54(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0x54(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsbl 0x10(%rax), %eax
cmpl $0x0, %eax
jle 0x21d0ae
movq -0x50(%rbp), %rax
movsd 0x8(%rax), %xmm0
addsd -0x30(%rbp), %xmm0
movsd %xmm0, -0x30(%rbp)
jmp 0x21d0e1
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0x54(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsbl 0x10(%rax), %eax
cmpl $0x0, %eax
jge 0x21d0df
movq -0x50(%rbp), %rax
movsd 0x8(%rax), %xmm0
addsd -0x28(%rbp), %xmm0
movsd %xmm0, -0x28(%rbp)
jmp 0x21d0e1
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0x54(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsbl 0x11(%rax), %eax
cmpl $0x0, %eax
jle 0x21d114
movq -0x50(%rbp), %rax
movsd 0x10(%rax), %xmm0
addsd -0x30(%rbp), %xmm0
movsd %xmm0, -0x30(%rbp)
jmp 0x21d147
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0x54(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsbl 0x11(%rax), %eax
cmpl $0x0, %eax
jge 0x21d145
movq -0x50(%rbp), %rax
movsd 0x10(%rax), %xmm0
addsd -0x28(%rbp), %xmm0
movsd %xmm0, -0x28(%rbp)
jmp 0x21d147
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0x54(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsbl 0x10(%rax), %eax
cmpl $0x0, %eax
jle 0x21d17a
movq -0x50(%rbp), %rax
movsd 0x18(%rax), %xmm0
addsd -0x20(%rbp), %xmm0
movsd %xmm0, -0x20(%rbp)
jmp 0x21d1ad
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0x54(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsbl 0x10(%rax), %eax
cmpl $0x0, %eax
jge 0x21d1ab
movq -0x50(%rbp), %rax
movsd 0x18(%rax), %xmm0
addsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0x21d1ad
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0x54(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsbl 0x11(%rax), %eax
cmpl $0x0, %eax
jle 0x21d1e0
movq -0x50(%rbp), %rax
movsd 0x20(%rax), %xmm0
addsd -0x20(%rbp), %xmm0
movsd %xmm0, -0x20(%rbp)
jmp 0x21d213
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0x54(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsbl 0x11(%rax), %eax
cmpl $0x0, %eax
jge 0x21d211
movq -0x50(%rbp), %rax
movsd 0x20(%rax), %xmm0
addsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0x21d213
jmp 0x21d215
movl -0x40(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
jmp 0x21d04a
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0xc(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x18(%rax), %xmm0
ucomisd -0x30(%rbp), %xmm0
jne 0x21d248
jp 0x21d248
jmp 0x21d286
movq 0x1a6d91(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movsd -0x30(%rbp), %xmm0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0xc(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x18(%rax), %xmm1
leaq 0x170887(%rip), %rsi    # 0x38daff
leaq 0x1708a4(%rip), %rdx    # 0x38db23
movb $0x2, %al
callq 0x22a0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0xc(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x20(%rax), %xmm0
ucomisd -0x28(%rbp), %xmm0
jne 0x21d2ab
jp 0x21d2ab
jmp 0x21d2e9
movq 0x1a6d2e(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movsd -0x28(%rbp), %xmm0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0xc(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x20(%rax), %xmm1
leaq 0x170853(%rip), %rsi    # 0x38db2e
leaq 0x170841(%rip), %rdx    # 0x38db23
movb $0x2, %al
callq 0x22a0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0xc(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x28(%rax), %xmm0
ucomisd -0x20(%rbp), %xmm0
jne 0x21d30e
jp 0x21d30e
jmp 0x21d34c
movq 0x1a6ccb(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movsd -0x20(%rbp), %xmm0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0xc(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x28(%rax), %xmm1
leaq 0x170814(%rip), %rsi    # 0x38db52
leaq 0x1707de(%rip), %rdx    # 0x38db23
movb $0x2, %al
callq 0x22a0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0xc(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x30(%rax), %xmm0
ucomisd -0x18(%rbp), %xmm0
jne 0x21d371
jp 0x21d371
jmp 0x21d3af
movq 0x1a6c68(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movsd -0x18(%rbp), %xmm0
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq 0x40(%rax), %rax
movl -0xc(%rbp), %ecx
imulq $0x38, %rcx, %rcx
addq %rcx, %rax
movsd 0x30(%rax), %xmm1
leaq 0x1707d5(%rip), %rsi    # 0x38db76
leaq 0x17077b(%rip), %rdx    # 0x38db23
movb $0x2, %al
callq 0x22a0
addq $0x60, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)