// File: quancs[P]EAVC/./eavc.h
// Function: prep_handle_degree_2(unsigned int)
inline bool prep_handle_degree_2(unsigned v) {
    //set u & w as necessary vertexes
    unsigned u = vAdj[v][0];
    unsigned w = vAdj[v][1];
    bool found = false;
    if (dVDegree[u] < dVDegree[w]) {
        for (unsigned i = 0; i < dVDegree[u]; i++) {
            if (vAdj[u][i] == w) {
                found = true;
                break;
            }
        }
    } else {
        for (unsigned i = 0; i < dVDegree[w]; i++) {
            if (vAdj[w][i] == u) {
                found = true;
                break;
            }
        }
    }
    if (found == false) {
        checkAdjDomV[v] = NIN;
        return false;
    }

    vInBest[u] = IN_ABS;
    prep_remove_from_neighbours(u);
    //set adjAdj's checkAdjDomV to true
    for (unsigned k = 0, dadj = dVDegree[u]; k < dadj; k++) {
        unsigned adjAdj = vAdj[u][k];
        checkAdjDomV[adjAdj] = IN;
    }
    dVDegree[u] = 0;//remove u's neighbours

    vInBest[w] = IN_ABS;
    prep_remove_from_neighbours(w);
    //set adjAdj's checkAdjDomV to true
    for (unsigned k = 0, dadj = dVDegree[w]; k < dadj; k++) {
        unsigned adjAdj = vAdj[w][k];
        checkAdjDomV[adjAdj] = IN;
    }
    dVDegree[w] = 0;//remove w's neighbours
    total_IN_ABS = total_IN_ABS + 2;

    //set v as an unnecessary vertex
    vInBest[v] = NIN_ABS;
    total_NIN_ABS++;

    return true;
}

// Assembly:
subq $0x38, %rsp
movl %edi, 0x30(%rsp)
movq 0x4431(%rip), %rax      # 0xb180
movl 0x30(%rsp), %ecx
movq (%rax,%rcx,8), %rax
movl (%rax), %eax
movl %eax, 0x2c(%rsp)
movq 0x441c(%rip), %rax      # 0xb180
movl 0x30(%rsp), %ecx
movq (%rax,%rcx,8), %rax
movl 0x4(%rax), %eax
movl %eax, 0x28(%rsp)
movb $0x0, 0x27(%rsp)
movq 0x4431(%rip), %rax      # 0xb1b0
movl 0x2c(%rsp), %ecx
movl (%rax,%rcx,4), %eax
movq 0x4423(%rip), %rcx      # 0xb1b0
movl 0x28(%rsp), %edx
cmpl (%rcx,%rdx,4), %eax
jae 0x6de6
movl $0x0, 0x20(%rsp)
movl 0x20(%rsp), %eax
movq 0x4407(%rip), %rcx      # 0xb1b0
movl 0x2c(%rsp), %edx
cmpl (%rcx,%rdx,4), %eax
jae 0x6de4
movq 0x43c7(%rip), %rax      # 0xb180
movl 0x2c(%rsp), %ecx
movq (%rax,%rcx,8), %rax
movl 0x20(%rsp), %ecx
movl (%rax,%rcx,4), %eax
cmpl 0x28(%rsp), %eax
jne 0x6dd5
movb $0x1, 0x27(%rsp)
jmp 0x6de4
jmp 0x6dd7
movl 0x20(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x20(%rsp)
jmp 0x6d9e
jmp 0x6e36
movl $0x0, 0x1c(%rsp)
movl 0x1c(%rsp), %eax
movq 0x43b7(%rip), %rcx      # 0xb1b0
movl 0x28(%rsp), %edx
cmpl (%rcx,%rdx,4), %eax
jae 0x6e34
movq 0x4377(%rip), %rax      # 0xb180
movl 0x28(%rsp), %ecx
movq (%rax,%rcx,8), %rax
movl 0x1c(%rsp), %ecx
movl (%rax,%rcx,4), %eax
cmpl 0x2c(%rsp), %eax
jne 0x6e25
movb $0x1, 0x27(%rsp)
jmp 0x6e34
jmp 0x6e27
movl 0x1c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x1c(%rsp)
jmp 0x6dee
jmp 0x6e36
movb 0x27(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x6e5d
movq 0x438d(%rip), %rax      # 0xb1d8
movl 0x30(%rsp), %ecx
movb $0x0, (%rax,%rcx)
movb $0x0, 0x37(%rsp)
jmp 0x6f97
movq 0x4344(%rip), %rax      # 0xb1a8
movl 0x2c(%rsp), %ecx
movb $0x4, (%rax,%rcx)
movl 0x2c(%rsp), %edi
callq 0x2c50
movl $0x0, 0x18(%rsp)
movq 0x432c(%rip), %rax      # 0xb1b0
movl 0x2c(%rsp), %ecx
movl (%rax,%rcx,4), %eax
movl %eax, 0x14(%rsp)
movl 0x18(%rsp), %eax
cmpl 0x14(%rsp), %eax
jae 0x6ecf
movq 0x42e0(%rip), %rax      # 0xb180
movl 0x2c(%rsp), %ecx
movq (%rax,%rcx,8), %rax
movl 0x18(%rsp), %ecx
movl (%rax,%rcx,4), %eax
movl %eax, 0x10(%rsp)
movq 0x431e(%rip), %rax      # 0xb1d8
movl 0x10(%rsp), %ecx
movb $0x3, (%rax,%rcx)
movl 0x18(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x18(%rsp)
jmp 0x6e8f
movq 0x42da(%rip), %rax      # 0xb1b0
movl 0x2c(%rsp), %ecx
movl $0x0, (%rax,%rcx,4)
movq 0x42c0(%rip), %rax      # 0xb1a8
movl 0x28(%rsp), %ecx
movb $0x4, (%rax,%rcx)
movl 0x28(%rsp), %edi
callq 0x2c50
movl $0x0, 0xc(%rsp)
movq 0x42a8(%rip), %rax      # 0xb1b0
movl 0x28(%rsp), %ecx
movl (%rax,%rcx,4), %eax
movl %eax, 0x8(%rsp)
movl 0xc(%rsp), %eax
cmpl 0x8(%rsp), %eax
jae 0x6f53
movq 0x425c(%rip), %rax      # 0xb180
movl 0x28(%rsp), %ecx
movq (%rax,%rcx,8), %rax
movl 0xc(%rsp), %ecx
movl (%rax,%rcx,4), %eax
movl %eax, 0x4(%rsp)
movq 0x429a(%rip), %rax      # 0xb1d8
movl 0x4(%rsp), %ecx
movb $0x3, (%rax,%rcx)
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0x6f13
movq 0x4256(%rip), %rax      # 0xb1b0
movl 0x28(%rsp), %ecx
movl $0x0, (%rax,%rcx,4)
movl 0x4289(%rip), %eax      # 0xb1f4
addl $0x2, %eax
movl %eax, 0x4280(%rip)      # 0xb1f4
movq 0x422d(%rip), %rax      # 0xb1a8
movl 0x30(%rsp), %ecx
movb $0x1, (%rax,%rcx)
movl 0x4297(%rip), %eax      # 0xb220
addl $0x1, %eax
movl %eax, 0x428e(%rip)      # 0xb220
movb $0x1, 0x37(%rsp)
movb 0x37(%rsp), %al
andb $0x1, %al
addq $0x38, %rsp
retq
nopw %cs:(%rax,%rax)
nopl (%rax)