// File: /workspace/github_cpp_makefile_star2_O2/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, %rbx
leaq -0x40(%rbp), %r15
movq %rdx, (%r15)
movq 0x18(%rdi), %rdi
movq %r15, %rsi
callq 0x4390
movq (%r15), %rsi
movq %rbx, -0x38(%rbp)
movq %rbx, %rdi
callq 0x43b4
movq (%r15), %r13
movq (%r13), %rbx
movl $0x0, -0x2c(%rbp)
movq %rbx, %r15
movq %r13, -0x48(%rbp)
cmpq %r13, %r15
je 0x42ee
movq 0x10(%r15), %r12
movl 0x30(%r12), %eax
cmpl 0x30(%r14), %eax
jb 0x42e9
cmpq %r14, %r12
je 0x42d0
movq -0x38(%rbp), %r13
movq %r13, %rdi
movq %r12, %rsi
callq 0x4194
testb %al, %al
jne 0x42ca
movq %r13, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x423a
movl -0x2c(%rbp), %ecx
orb %al, %cl
movl %ecx, -0x2c(%rbp)
movq -0x48(%rbp), %r13
jmp 0x42e9
movq -0x38(%rbp), %rax
movq (%rax), %rdx
movq 0x8(%rax), %rdi
movq 0x18(%rax), %rsi
callq 0x43c8
movb $0x1, %al
movl %eax, -0x2c(%rbp)
movq (%r15), %r15
jmp 0x4288
testb $0x1, -0x2c(%rbp)
je 0x4332
movq -0x40(%rbp), %rsi
movq -0x38(%rbp), %r15
movq %r15, %rdi
callq 0x442e
movq -0x40(%rbp), %rdx
movq 0x18(%r15), %rax
movq 0x8(%rax), %rcx
cmpq -0x8(%rcx), %rdx
jne 0x4371
addq $-0x8, %rcx
movq %rcx, 0x8(%rax)
movl -0x2c(%rbp), %eax
andb $0x1, %al
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq -0x38(%rbp), %r15
cmpq %r13, %rbx
je 0x4304
movq 0x10(%rbx), %r12
movl 0x30(%r12), %eax
cmpl 0x30(%r14), %eax
jb 0x436c
movq -0x40(%rbp), %rdx
movq %r15, %rdi
movq %r12, %rsi
callq 0x4494
testb %al, %al
jne 0x436c
movq -0x40(%rbp), %rdx
movq %r15, %rdi
movq %r12, %rsi
callq 0x44c0
movq (%rbx), %rbx
jmp 0x4336
leaq 0x15fd(%rip), %rdi      # 0x5975
leaq 0xef4(%rip), %rsi       # 0x5273
leaq 0x1602(%rip), %rcx      # 0x5988
movl $0x108, %edx            # imm = 0x108
callq 0x2110