// File: /workspace/github_cpp_makefile_star2_O1/AraKhachatryan[P]GraphAlgo/biconnectivity.cpp
// Function: GraphAlgo::biconnectivity::biDFS(int const&)
void biconnectivity::
biDFS( const vertex& v )
{
	++time;
	int children = 0;
	
	m_discovery_time[v] = time ;
	m_back[v] = m_discovery_time[v] ;
	
	vertices::const_iterator it = m_neighborhood[v].begin();
	for ( ; it != m_neighborhood[v].end(); ++it )
	{
		if ( m_discovery_time[*it] == 0 )
		{
			++children;
			m_edge_stack.push( edge(v, *it) );
			m_parent[*it] = v ;
			biDFS(*it);
			if ( m_back[*it] >= m_discovery_time[v] )
			{
				new_bicomponent(v, *it);
				if ( m_parent[v] != -1 ) {
					m_cutvertices.insert(v);
				}
			} else {
				m_back[v] = std::min(m_back[v], m_back[*it]) ;
			}
		} else if ( (m_discovery_time[*it] < m_discovery_time[v]) && (*it != m_parent[v]) ) {
			// (v, *it) is back edge
			m_edge_stack.push( edge(v, *it) );
			m_back[v] =  std::min(m_back[v], m_discovery_time[*it]);
		}
	}	
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movl (%rdi), %ebp
incl %ebp
movl %ebp, (%rdi)
leaq 0x88(%rdi), %r15
movq %r15, %rdi
callq 0x4ce8
movl %ebp, (%rax)
movq %r15, %rdi
movq %rbx, %rsi
callq 0x4ce8
movl (%rax), %ebp
leaq 0xb8(%r14), %r12
movq %r12, %rdi
movq %rbx, %rsi
callq 0x4ce8
movl %ebp, (%rax)
movq %r14, 0x20(%rsp)
leaq 0x1a8(%r14), %r13
movq %r13, %rdi
movq %rbx, %rsi
callq 0x4d4c
movq (%rax), %rbp
movq %r13, %rdi
movq %rbx, %rsi
callq 0x4d4c
cmpq 0x8(%rax), %rbp
je 0x489b
movq 0x20(%rsp), %rax
leaq 0x58(%rax), %rcx
movq %rcx, 0x8(%rsp)
leaq 0x8(%rax), %rcx
movq %rcx, 0x28(%rsp)
addq $0x178, %rax            # imm = 0x178
movq %rax, 0x30(%rsp)
movq %r13, 0x18(%rsp)
movq %r15, 0x10(%rsp)
movq %r15, %rdi
movq %rbp, %rsi
callq 0x4ce8
cmpl $0x0, (%rax)
je 0x47b2
movq %r15, %rdi
movq %rbp, %rsi
callq 0x4ce8
movl (%rax), %r14d
movq %r15, %rdi
movq %rbx, %rsi
callq 0x4ce8
cmpl (%rax), %r14d
jge 0x4882
movl (%rbp), %r14d
movq 0x8(%rsp), %rdi
movq %rbx, %rsi
callq 0x4ce8
cmpl (%rax), %r14d
je 0x4882
movl (%rbx), %eax
movl %eax, (%rsp)
movl (%rbp), %eax
movl %eax, 0x4(%rsp)
movq 0x28(%rsp), %rdi
movq %rsp, %rsi
callq 0x5662
movq %r12, %rdi
movq %rbx, %rsi
callq 0x4ce8
movq %rax, %r14
movq %r15, %rdi
movq %rbp, %rsi
callq 0x4ce8
movl (%rax), %eax
movl (%r14), %r14d
cmpl %r14d, %eax
cmovll %eax, %r14d
movq %r12, %rdi
movq %rbx, %rsi
callq 0x4ce8
movl %r14d, (%rax)
jmp 0x4882
movl (%rbx), %eax
movl %eax, (%rsp)
movl (%rbp), %eax
movl %eax, 0x4(%rsp)
movq 0x28(%rsp), %rdi
movq %rsp, %rsi
callq 0x5662
movl (%rbx), %r14d
movq 0x8(%rsp), %rdi
movq %rbp, %rsi
callq 0x4ce8
movl %r14d, (%rax)
movq 0x20(%rsp), %r13
movq %r13, %rdi
movq %rbp, %rsi
callq 0x466a
movq %r12, %rdi
movq %rbp, %rsi
callq 0x4ce8
movl (%rax), %r14d
movq %r15, %rdi
movq %rbx, %rsi
callq 0x4ce8
cmpl (%rax), %r14d
jge 0x484b
movq %r12, %rdi
movq %rbx, %rsi
callq 0x4ce8
movq %rax, %r14
movq %r12, %rdi
movq %rbp, %rsi
callq 0x4ce8
movl (%rax), %eax
movl (%r14), %r14d
cmpl %r14d, %eax
cmovll %eax, %r14d
movq %r12, %rdi
movq %rbx, %rsi
callq 0x4ce8
movl %r14d, (%rax)
movq 0x18(%rsp), %r13
movq 0x10(%rsp), %r15
jmp 0x4882
movq %r13, %rdi
movq %rbx, %rsi
movq %rbp, %rdx
callq 0x4590
movq 0x8(%rsp), %rdi
movq %rbx, %rsi
callq 0x4ce8
cmpl $-0x1, (%rax)
movq 0x18(%rsp), %r13
movq 0x10(%rsp), %r15
je 0x4882
movq 0x30(%rsp), %rdi
movq %rbx, %rsi
callq 0x58da
addq $0x4, %rbp
movq %r13, %rdi
movq %rbx, %rsi
callq 0x4d4c
cmpq 0x8(%rax), %rbp
jne 0x4711
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq