// File: /workspace/github_cpp_makefile_star2_O3/ldionne[P]hawick_circuits/boost/graph/hawick_circuits.hpp
// Function: boost::hawick_circuits_detail::hawick_circuits_from<boost::directed_graph<boost::no_property, boost::no_property, boost::no_property>, cycle_printer<std::ostream>, boost::adj_list_vertex_property_map<boost::adjacency_list<boost::listS, boost::listS, boost::bidirectionalS, boost::property<boost::vertex_index_t, unsigned int, boost::no_property>, boost::property<boost::edge_index_t, unsigned int, boost::no_property>, boost::no_property, boost::listS>, unsigned int, unsigned int const&, boost::vertex_index_t>, std::vector<void*, std::allocator<void*>>, std::vector<std::vector<void*, std::allocator<void*>>, std::allocator<std::vector<void*, std::allocator<void*>>>>, boost::hawick_circuits_detail::get_all_adjacent_vertices>::circuit(void*, void*)
bool circuit(Vertex start, Vertex v) {
        bool found_circuit = false;
        stack_.push_back(v);
        block(v);

        // Cache some values that are used more than once in the function.
        VertexIndex const index_of_start = index_of(start);
        AdjacentVertices const adj_vertices = GetAdjacentVertices()(v, graph_);
        AdjacencyIterator const w_end = boost::end(adj_vertices);

        for (AdjacencyIterator w_it = boost::begin(adj_vertices);
             w_it != w_end;
             ++w_it)
        {
            Vertex const w = *w_it;
            // Since we're only looking in the subgraph induced by `start`
            // and the vertices with an index higher than `start`, we skip
            // any vertex that does not satisfy that.
            if (index_of(w) < index_of_start)
                continue;

            // If the last vertex is equal to `start`, we have a circuit.
            else if (w == start) {
                // const_cast to ensure the visitor does not modify the stack
                visitor_.cycle(const_cast<Stack const&>(stack_), graph_);
                found_circuit = true;
            }

            // If `w` is not blocked, we continue searching further down the
            // same path for a cycle with `w` in it.
            else if (!is_blocked(w) && circuit(start, w))
                found_circuit = true;
        }

        if (found_circuit)
            unblock(v);
        else
            for (AdjacencyIterator w_it = boost::begin(adj_vertices);
                 w_it != w_end;
                 ++w_it)
            {
                Vertex const w = *w_it;
                // Like above, we skip vertices that are not in the subgraph
                // we're considering.
                if (index_of(w) < index_of_start)
                    continue;

                // If `v` is not closed to `w`, we make it so.
                if (!is_closed_to(w, v))
                    close_to(w, v);
            }

        BOOST_ASSERT(v == stack_.back());
        stack_.pop_back();
        return found_circuit;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %r13
movq %rdx, -0x38(%rbp)
movq 0x18(%rdi), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x3c4d
movq %rdx, (%rsi)
addq $0x8, 0x8(%rdi)
jmp 0x3c5c
leaq -0x38(%rbp), %r15
movq %r15, %rdx
callq 0x3fb6
movq (%r15), %rdx
movq %r13, %rdi
movq %rdx, %rsi
callq 0x3da2
movq -0x38(%rbp), %rax
movq (%rax), %rbx
movq %rax, -0x40(%rbp)
cmpq %rax, %rbx
je 0x3d57
movl $0x0, -0x2c(%rbp)
movq %rbx, %r12
movq 0x10(%r12), %r15
movl 0x30(%r15), %eax
cmpl 0x30(%r14), %eax
jb 0x3cd6
cmpq %r14, %r15
je 0x3cc0
movq %r13, %rdi
movq %r15, %rsi
callq 0x3b9a
testb %al, %al
jne 0x3cd6
movq %r13, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x3c1a
movl -0x2c(%rbp), %ecx
orb %al, %cl
movl %ecx, -0x2c(%rbp)
jmp 0x3cd6
movq (%r13), %rdx
movq 0x8(%r13), %rdi
movq 0x18(%r13), %rsi
callq 0x3de6
movb $0x1, %al
movl %eax, -0x2c(%rbp)
movq (%r12), %r12
cmpq -0x40(%rbp), %r12
jne 0x3c85
testb $0x1, -0x2c(%rbp)
je 0x3cf6
movq -0x38(%rbp), %rsi
movq %r13, %rdi
callq 0x3e6a
movb $0x1, %al
jmp 0x3d59
cmpq -0x40(%rbp), %rbx
je 0x3d57
movq %r13, -0x48(%rbp)
movq 0x10(%rbx), %r12
movl 0x30(%r12), %eax
cmpl 0x30(%r14), %eax
jb 0x3d4e
movq -0x38(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movq 0x20(%r13), %rcx
movq (%rcx), %r15
leaq (%rax,%rax,2), %r13
movq (%r15,%r13,8), %rdi
movq 0x8(%r15,%r13,8), %rsi
leaq -0x50(%rbp), %rdx
callq 0x40d8
cmpq 0x8(%r15,%r13,8), %rax
movq -0x48(%rbp), %r13
jne 0x3d4e
movq -0x38(%rbp), %rdx
movq %r13, %rdi
movq %r12, %rsi
callq 0x3f10
movq (%rbx), %rbx
cmpq -0x40(%rbp), %rbx
jne 0x3d00
xorl %eax, %eax
movq -0x38(%rbp), %rsi
movq 0x18(%r13), %rcx
movq 0x8(%rcx), %rdx
cmpq -0x8(%rdx), %rsi
jne 0x3d82
addq $-0x8, %rdx
movq %rdx, 0x8(%rcx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1bec(%rip), %rdi      # 0x5975
leaq 0x14e3(%rip), %rsi      # 0x5273
leaq 0x1bf1(%rip), %rcx      # 0x5988
movl $0x108, %edx            # imm = 0x108
callq 0x2100
nop