// File: /workspace/github_cpp_makefile_star2_O3/Windfisch[P]production-flow/flowgraph.cpp
// Function: FlowGraph::dump(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>) const
void FlowGraph::dump(string name) const
{
	cout << "digraph \""<<name<<"\" {" << endl;

	for (size_t i=0; i<nodes.size(); i++)
		cout << "\t" << i << " [" << nodes[i].label() << "];" << endl;

	cout << endl;

	for (const Edge& edge : edges)
		cout << "\t" << edge_from(&edge) << " -> " << edge_to(&edge) << " [" << edge.label() << "];" << endl;

	cout << "}" << endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movq 0xd2dd(%rip), %r15      # 0x14fd0
leaq 0x78e2(%rip), %rsi      # 0xf5dc
movl $0x9, %edx
movq %r15, %rdi
callq 0x3290
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq %r15, %rdi
callq 0x3290
movq %rax, %rbx
leaq 0x76af(%rip), %rsi      # 0xf3cf
movl $0x3, %edx
movq %rax, %rdi
callq 0x3290
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3220
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31a0
movq 0x8(%r14), %rax
cmpq (%r14), %rax
je 0x7e3f
xorl %r13d, %r13d
movq 0xd265(%rip), %rbx      # 0x14fd0
leaq 0x7681(%rip), %rbp      # 0xf3f3
xorl %r15d, %r15d
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x764f(%rip), %rsi      # 0xf3d3
callq 0x3290
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3190
movq %rax, %r12
movl $0x2, %edx
movq %rax, %rdi
leaq 0x7840(%rip), %rsi      # 0xf5e6
callq 0x3290
movq (%r14), %rsi
addq %r13, %rsi
leaq 0x8(%rsp), %rdi
callq 0x893e
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r12, %rdi
callq 0x3290
movq %rax, %r12
movl $0x2, %edx
movq %rax, %rdi
movq %rbp, %rsi
callq 0x3290
movq (%r12), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x3220
movsbl %al, %esi
movq %r12, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31a0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x7e24
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3250
movq 0x8(%r14), %rax
subq (%r14), %rax
incq %r15
sarq $0x6, %rax
addq $0x40, %r13
cmpq %rax, %r15
jb 0x7d75
movq 0xd18a(%rip), %rbx      # 0x14fd0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3220
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31a0
movq 0x18(%r14), %r15
movq 0x20(%r14), %r13
cmpq %r13, %r15
je 0x7f7c
movq 0xd14b(%rip), %r12      # 0x14fd0
leaq 0x7567(%rip), %rbp      # 0xf3f3
movl $0x1, %edx
movq %r12, %rdi
leaq 0x7538(%rip), %rsi      # 0xf3d3
callq 0x3290
movq %r14, %rdi
movq %r15, %rsi
callq 0x9884
movq %r12, %rdi
movq %rax, %rsi
callq 0x3190
movq %rax, %rbx
movl $0x4, %edx
movq %rax, %rdi
leaq 0x7525(%rip), %rsi      # 0xf3ed
callq 0x3290
movq %r14, %rdi
movq %r15, %rsi
callq 0x9918
movq %rbx, %rdi
movq %rax, %rsi
callq 0x3190
movq %rax, %rbx
movl $0x2, %edx
movq %rax, %rdi
leaq 0x76f1(%rip), %rsi      # 0xf5e6
callq 0x3290
leaq 0x8(%rsp), %rdi
movq %r15, %rsi
callq 0x803e
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x3290
movq %rax, %rbx
movl $0x2, %edx
movq %rax, %rdi
movq %rbp, %rsi
callq 0x3290
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3220
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31a0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x7f6f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3250
addq $0xc, %r15
cmpq %r13, %r15
jne 0x7e8c
leaq 0x7473(%rip), %rsi      # 0xf3f6
movl $0x1, %edx
movq 0xd041(%rip), %rbx      # 0x14fd0
movq %rbx, %rdi
callq 0x3290
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3220
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31a0
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x7fcf
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x7fee
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3250
movq %rbx, %rdi
callq 0x3400