// File: /workspace/github_cpp_makefile_star2_O1/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
movq %rdx, -0x38(%rbp)
movq 0x18(%rdi), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x3d15
movq %rdx, (%rsi)
addq $0x8, 0x8(%rdi)
jmp 0x3d1e
leaq -0x38(%rbp), %rdx
callq 0x4086
movq -0x38(%rbp), %rsi
movq %rbx, %rdi
callq 0x3e72
movq -0x38(%rbp), %rax
movq (%rax), %r15
movq %rax, -0x48(%rbp)
cmpq %rax, %r15
movq %rbx, -0x40(%rbp)
je 0x3db7
xorl %ecx, %ecx
movq %r15, %rbx
movq -0x40(%rbp), %r13
movq 0x10(%rbx), %r12
movl 0x30(%r12), %eax
cmpl 0x30(%r14), %eax
jb 0x3da8
cmpq %r14, %r12
je 0x3d72
movl %ecx, -0x2c(%rbp)
movq %r13, %rdi
movq %r12, %rsi
callq 0x3c62
testb %al, %al
je 0x3d8a
movl -0x2c(%rbp), %ecx
jmp 0x3da8
movq -0x40(%rbp), %rax
movq (%rax), %rdx
movq 0x8(%rax), %rdi
movq 0x18(%rax), %rsi
callq 0x3eb6
movb $0x1, %cl
jmp 0x3da8
movq %r13, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x3ce2
movl -0x2c(%rbp), %ecx
movzbl %cl, %ecx
testb %al, %al
movl $0x1, %eax
cmovnel %eax, %ecx
movq (%rbx), %rbx
cmpq -0x48(%rbp), %rbx
jne 0x3d47
movq -0x40(%rbp), %rbx
jmp 0x3db9
xorl %ecx, %ecx
testb $0x1, %cl
movl %ecx, -0x2c(%rbp)
je 0x3dfb
movq -0x38(%rbp), %rsi
movq %rbx, %rdi
callq 0x3f3a
movq -0x38(%rbp), %rdx
movq 0x18(%rbx), %rax
movq 0x8(%rax), %rcx
cmpq -0x8(%rcx), %rdx
jne 0x3e53
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
cmpq -0x48(%rbp), %r15
je 0x3dcd
movq 0x10(%r15), %r13
movl 0x30(%r13), %eax
cmpl 0x30(%r14), %eax
jb 0x3e4e
movq -0x38(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movq 0x20(%rbx), %rcx
movq (%rcx), %rbx
leaq (%rax,%rax,2), %r12
movq (%rbx,%r12,8), %rdi
movq 0x8(%rbx,%r12,8), %rsi
leaq -0x50(%rbp), %rdx
callq 0x41a8
cmpq 0x8(%rbx,%r12,8), %rax
movq -0x40(%rbp), %rbx
jne 0x3e4e
movq -0x38(%rbp), %rdx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x3fe0
movq (%r15), %r15
jmp 0x3dfb
leaq 0x1b1b(%rip), %rdi      # 0x5975
leaq 0x1412(%rip), %rsi      # 0x5273
leaq 0x1b20(%rip), %rcx      # 0x5988
movl $0x108, %edx            # imm = 0x108
callq 0x2100