// File: /workspace/github_cpp_makefile_star2_O3/fjamour[P]icentral/src/graph_hash_t.cc
// Function: graph_hash_t::find_pruning_counts_exp(unsigned int, unsigned int, int&, int&, int&)
void graph_hash_t::find_pruning_counts_exp(node_id_t src,
                                        node_id_t dst,
                                        int& d0_cnt,
                                        int& d1_cnt,
                                        int& d2_cnt)
{
    //IMP: the edge (src, dst) must not be in the graph
    //else doesn't make sense to count pruned BFS's
    bool insert = has_edge(src, dst);
    remove_edge(src, dst);
    tr1_map_t(int) d_src_vec, d_dst_vec;
    find_sssp(src, d_src_vec);
    find_sssp(dst, d_dst_vec);
    d0_cnt = 0;
    d1_cnt = 0;
    d2_cnt = 0;
    for(graph_hash_t::nodes_map_t::iterator
                        it =  nodes_map.begin();
                        it != nodes_map.end();
                        ++it) {
        node_id_t s = it->first;
        int diff = d_src_vec[s] - d_dst_vec[s];
        int abs_diff = abs(diff);
        switch(abs_diff) {
            case 0:  d0_cnt++; break;
            case 1:  d1_cnt++; break;
            default: d2_cnt++;
        }
    }
    if(insert)
        insert_edge(src, dst);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %r9, 0x18(%rsp)
movq %r8, 0x20(%rsp)
movq %rcx, %r13
movl %edx, %ebp
movl %esi, %r15d
movq %rdi, %r14
callq 0x1c5fe
movl %eax, %r12d
movq %r14, %rdi
movl %r15d, %esi
movl %ebp, %edx
callq 0x1c416
leaq 0x5(%rsp), %rax
leaq 0x7(%rsp), %r10
leaq 0x58(%rsp), %rdi
leaq 0xf(%rsp), %rbx
leaq 0x28(%rsp), %rcx
leaq 0x8(%rsp), %r8
leaq 0x6(%rsp), %r9
movl $0xa, %esi
movq %rbx, %rdx
pushq %rax
pushq %r10
callq 0x12ba2
addq $0x10, %rsp
leaq 0xe(%rsp), %rax
leaq 0x28(%rsp), %rdi
leaq 0x6(%rsp), %rdx
leaq 0x8(%rsp), %rcx
leaq 0x7(%rsp), %r8
leaq 0x5(%rsp), %r9
movl $0xa, %esi
pushq %rax
pushq %rbx
callq 0x12ba2
addq $0x10, %rsp
movb %r12b, 0x4(%rsp)
leaq 0x58(%rsp), %rdx
movq %r14, %rdi
movl %r15d, 0x10(%rsp)
movl %r15d, %esi
callq 0x1ccf0
leaq 0x28(%rsp), %rdx
movq %r14, %rdi
movl %ebp, %esi
callq 0x1ccf0
movl %ebp, 0x14(%rsp)
xorl %eax, %eax
movl %eax, (%r13)
movq 0x20(%rsp), %rcx
movl %eax, (%rcx)
movq 0x18(%rsp), %rcx
movl %eax, (%rcx)
movq 0x8(%r14), %rax
movq (%rax), %rbx
movq %rax, %r12
testq %rbx, %rbx
jne 0x1d07f
movq %rax, %r12
movq 0x8(%r12), %rbx
addq $0x8, %r12
testq %rbx, %rbx
je 0x1d071
movq 0x10(%r14), %rcx
cmpq (%rax,%rcx,8), %rbx
je 0x1d0f7
leaq 0x8(%rsp), %rbp
movl (%rbx), %eax
movl %eax, 0x8(%rsp)
leaq 0x58(%rsp), %rdi
movq %rbp, %rsi
callq 0xd94a
movl (%rax), %r15d
leaq 0x28(%rsp), %rdi
movq %rbp, %rsi
callq 0xd94a
subl (%rax), %r15d
movl %r15d, %eax
negl %eax
cmovsl %r15d, %eax
movq %r13, %rcx
testl %eax, %eax
je 0x1d0d3
movq 0x20(%rsp), %rcx
cmpl $0x1, %eax
je 0x1d0d3
movq 0x18(%rsp), %rcx
incl (%rcx)
movq 0x20(%rbx), %rbx
testq %rbx, %rbx
jne 0x1d0e9
movq 0x8(%r12), %rbx
addq $0x8, %r12
jmp 0x1d0d9
movq 0x8(%r14), %rax
movq 0x10(%r14), %rcx
cmpq (%rax,%rcx,8), %rbx
jne 0x1d08e
cmpb $0x0, 0x4(%rsp)
movl 0x14(%rsp), %edx
je 0x1d10e
movq %r14, %rdi
movl 0x10(%rsp), %esi
callq 0x1c320
leaq 0x28(%rsp), %rdi
callq 0x12680
leaq 0x58(%rsp), %rdi
callq 0x12680
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x1d148
jmp 0x1d13b
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x12680
leaq 0x58(%rsp), %rdi
callq 0x12680
movq %rbx, %rdi
callq 0x23b0