// File: grame-cncm[P]digraph/tests.cpp
// Function: test5(std::ostream&)
void test5(std::ostream& ss)
{
    digraph<char, int> g1, g2, g3;

    g1.add('A', 'Z', 0);
    g1.add('A', 'B', 0);
    g1.add('B', 'C', 0);
    g1.add('C', 'A', 1);

    g1.add('Z', 'W', 0);
    g1.add('W', 'Z', 1);

    g1.add('A', 'Z', 0);
    g1.add('W', 'C', 1);

    splitgraph<char>(
        g1, [](const char& c) { return c < 'K'; }, g2, g3);

    ss << "test5: g1 = " << g1 << "; g2 = " << g2 << "; g3 = " << g3;
}

// Assembly:
subq $0xe8, %rsp
movq %rdi, 0xe0(%rsp)
leaq 0xd0(%rsp), %rdi
callq 0x24270
leaq 0xc0(%rsp), %rdi
callq 0x24270
jmp 0x1ed1b
leaq 0xa0(%rsp), %rdi
callq 0x24270
jmp 0x1ed2a
movb $0x41, 0x9f(%rsp)
movb $0x5a, 0x9e(%rsp)
movl $0x0, 0x98(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0x9f(%rsp), %rsi
leaq 0x9e(%rsp), %rdx
leaq 0x98(%rsp), %rcx
callq 0x242b0
jmp 0x1ed6c
movb $0x41, 0x97(%rsp)
movb $0x42, 0x96(%rsp)
movl $0x0, 0x90(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0x97(%rsp), %rsi
leaq 0x96(%rsp), %rdx
leaq 0x90(%rsp), %rcx
callq 0x242b0
jmp 0x1edae
movb $0x42, 0x8f(%rsp)
movb $0x43, 0x8e(%rsp)
movl $0x0, 0x88(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0x8f(%rsp), %rsi
leaq 0x8e(%rsp), %rdx
leaq 0x88(%rsp), %rcx
callq 0x242b0
jmp 0x1edf0
movb $0x43, 0x87(%rsp)
movb $0x41, 0x86(%rsp)
movl $0x1, 0x80(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0x87(%rsp), %rsi
leaq 0x86(%rsp), %rdx
leaq 0x80(%rsp), %rcx
callq 0x242b0
jmp 0x1ee32
movb $0x5a, 0x7f(%rsp)
movb $0x57, 0x7e(%rsp)
movl $0x0, 0x78(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0x7f(%rsp), %rsi
leaq 0x7e(%rsp), %rdx
leaq 0x78(%rsp), %rcx
callq 0x242b0
jmp 0x1ee62
movb $0x57, 0x77(%rsp)
movb $0x5a, 0x76(%rsp)
movl $0x1, 0x70(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0x77(%rsp), %rsi
leaq 0x76(%rsp), %rdx
leaq 0x70(%rsp), %rcx
callq 0x242b0
jmp 0x1ee92
movb $0x41, 0x6f(%rsp)
movb $0x5a, 0x6e(%rsp)
movl $0x0, 0x68(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0x6f(%rsp), %rsi
leaq 0x6e(%rsp), %rdx
leaq 0x68(%rsp), %rcx
callq 0x242b0
jmp 0x1eec2
movb $0x57, 0x67(%rsp)
movb $0x43, 0x66(%rsp)
movl $0x1, 0x60(%rsp)
leaq 0xd0(%rsp), %rdi
leaq 0x67(%rsp), %rsi
leaq 0x66(%rsp), %rdx
leaq 0x60(%rsp), %rcx
callq 0x242b0
jmp 0x1eef2
leaq 0x40(%rsp), %rdi
movq %rdi, 0x30(%rsp)
leaq 0x3f(%rsp), %rsi
callq 0x1f090
movq 0x30(%rsp), %rsi
leaq 0xd0(%rsp), %rdi
leaq 0xc0(%rsp), %rdx
leaq 0xa0(%rsp), %rcx
callq 0x25170
jmp 0x1ef2a
leaq 0x40(%rsp), %rdi
callq 0x25370
movq 0xe0(%rsp), %rdi
leaq 0x1f370(%rip), %rsi     # 0x3e2b3
callq 0x2180
movq %rax, 0x28(%rsp)
jmp 0x1ef4f
movq 0x28(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
callq 0x24300
movq %rax, 0x20(%rsp)
jmp 0x1ef68
movq 0x20(%rsp), %rdi
leaq 0x1f34c(%rip), %rsi     # 0x3e2c0
callq 0x2180
movq %rax, 0x18(%rsp)
jmp 0x1ef80
movq 0x18(%rsp), %rdi
leaq 0xc0(%rsp), %rsi
callq 0x24300
movq %rax, 0x10(%rsp)
jmp 0x1ef99
movq 0x10(%rsp), %rdi
leaq 0x1f323(%rip), %rsi     # 0x3e2c8
callq 0x2180
movq %rax, 0x8(%rsp)
jmp 0x1efb1
movq 0x8(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x24300
jmp 0x1efc5
leaq 0xa0(%rsp), %rdi
callq 0x24610
leaq 0xc0(%rsp), %rdi
callq 0x24610
leaq 0xd0(%rsp), %rdi
callq 0x24610
addq $0xe8, %rsp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xb8(%rsp)
movl %eax, 0xb4(%rsp)
jmp 0x1f06e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xb8(%rsp)
movl %eax, 0xb4(%rsp)
jmp 0x1f061
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xb8(%rsp)
movl %eax, 0xb4(%rsp)
jmp 0x1f054
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xb8(%rsp)
movl %eax, 0xb4(%rsp)
leaq 0x40(%rsp), %rdi
callq 0x25370
leaq 0xa0(%rsp), %rdi
callq 0x24610
leaq 0xc0(%rsp), %rdi
callq 0x24610
leaq 0xd0(%rsp), %rdi
callq 0x24610
movq 0xb8(%rsp), %rdi
callq 0x2290
nopl (%rax,%rax)