// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::listTags(Catch::Config const&)
inline std::size_t listTags( Config const& config ) {
        TestSpec testSpec = config.testSpec();
        if( config.testSpec().hasFilters() )
            Catch::cout() << "Tags for matching test cases:\n";
        else {
            Catch::cout() << "All available tags:\n";
            testSpec = TestSpecParser( ITagAliasRegistry::get() ).parse( "*" ).testSpec();
        }

        std::map<std::string, TagInfo> tagCounts;

        std::vector<TestCase> matchedTestCases = filterTests( getAllTestCasesSorted( config ), testSpec, config );
        for( std::vector<TestCase>::const_iterator it = matchedTestCases.begin(), itEnd = matchedTestCases.end();
                it != itEnd;
                ++it ) {
            for( std::set<std::string>::const_iterator  tagIt = it->getTestCaseInfo().tags.begin(),
                                                        tagItEnd = it->getTestCaseInfo().tags.end();
                    tagIt != tagItEnd;
                    ++tagIt ) {
                std::string tagName = *tagIt;
                std::string lcaseTagName = toLower( tagName );
                std::map<std::string, TagInfo>::iterator countIt = tagCounts.find( lcaseTagName );
                if( countIt == tagCounts.end() )
                    countIt = tagCounts.insert( std::make_pair( lcaseTagName, TagInfo() ) ).first;
                countIt->second.add( tagName );
            }
        }

        for( std::map<std::string, TagInfo>::const_iterator countIt = tagCounts.begin(),
                                                            countItEnd = tagCounts.end();
                countIt != countItEnd;
                ++countIt ) {
            std::ostringstream oss;
            oss << "  " << std::setw(2) << countIt->second.count << "  ";
            Text wrapper( countIt->second.all(), TextAttributes()
                                                    .setInitialIndent( 0 )
                                                    .setIndent( oss.str().size() )
                                                    .setWidth( CATCH_CONFIG_CONSOLE_WIDTH-10 ) );
            Catch::cout() << oss.str() << wrapper << "\n";
        }
        Catch::cout() << pluralise( tagCounts.size(), "tag" ) << "\n" << std::endl;
        return tagCounts.size();
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2b8, %rsp            # imm = 0x2B8
movq %rdi, %rbx
movq (%rdi), %rax
callq *0x68(%rax)
leaq 0xa0(%rsp), %rdi
movq %rax, %rsi
callq 0x1c3e2
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x68(%rax)
movq (%rax), %rcx
cmpq 0x8(%rax), %rcx
je 0x2824e
movq 0x37d70(%rip), %rdi     # 0x5ffa8
leaq 0x1d306(%rip), %rsi     # 0x45545
movl $0x1e, %edx
callq 0xb530
jmp 0x2839a
movq 0x37d53(%rip), %rdi     # 0x5ffa8
leaq 0x1d308(%rip), %rsi     # 0x45564
movl $0x14, %edx
callq 0xb530
callq 0x12f5c
leaq 0x168(%rsp), %r12
movq %r12, -0x10(%r12)
movq $0x0, -0x8(%r12)
movb $0x0, (%r12)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r12)
movups %xmm0, 0x20(%r12)
movups %xmm0, 0x30(%r12)
leaq 0x38356(%rip), %rax     # 0x605f8
movq %rax, 0x40(%r12)
leaq 0x38(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1d879(%rip), %rsi     # 0x45b30
leaq 0x1d873(%rip), %rdx     # 0x45b31
leaq 0x28(%rsp), %rdi
callq 0x31a82
leaq 0x140(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x142d4
movq %rax, %r14
movq %rax, %rdi
callq 0x1c9fe
addq $0x50, %r14
movq %rsp, %rdi
movq %r14, %rsi
callq 0x1c3e2
leaq 0x178(%rsp), %r14
movq 0xb0(%rsp), %rax
movq %rsp, %r15
movaps (%r15), %xmm0
movq 0x10(%r15), %rcx
movq %rcx, 0xb0(%rsp)
movaps 0xa0(%rsp), %xmm1
movaps %xmm0, 0xa0(%rsp)
leaq 0xf0(%rsp), %rdi
movaps %xmm1, (%rdi)
movq %rax, 0x10(%rdi)
xorps %xmm0, %xmm0
movaps %xmm0, (%r15)
movq $0x0, 0x10(%r15)
callq 0x1d338
movq %r15, %rdi
callq 0x1d338
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x28369
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x190(%rsp), %r15
movq %r15, %rdi
callq 0x1d338
movq %r14, %rdi
callq 0x1c67e
movq -0x38(%r15), %rdi
cmpq %r12, %rdi
je 0x2839a
movq 0x168(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0xf8(%rsp), %rcx
movl $0x0, (%rcx)
xorl %eax, %eax
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
callq 0xc3b7
movq (%rax), %rcx
movq %rax, %rdi
callq *0x18(%rcx)
movq (%rax), %rcx
movq %rax, %rdi
movq %rbx, %rsi
callq *0x18(%rcx)
leaq 0x128(%rsp), %rdi
leaq 0xa0(%rsp), %rdx
movq %rax, %rsi
movq %rbx, %rcx
callq 0xd472
movq 0x128(%rsp), %rax
movq 0x130(%rsp), %rcx
movq %rcx, 0xc0(%rsp)
cmpq %rcx, %rax
je 0x28650
leaq 0x10(%rsp), %r13
movq %rsp, %r14
leaq 0x80(%rsp), %r15
movq 0x78(%rax), %rbx
movq %rax, 0xc8(%rsp)
leaq 0x68(%rax), %r12
cmpq %r12, %rbx
je 0x28634
movq %r13, (%rsp)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x319ec
movq %r15, %rdi
movq %r14, %rsi
callq 0xea17
leaq 0xf0(%rsp), %rdi
movq %r15, %rsi
callq 0x28ff2
movq %rax, %rbp
leaq 0xf8(%rsp), %rax
cmpq %rax, %rbp
jne 0x285d2
movl $0x0, 0x30(%rsp)
movq $0x0, 0x38(%rsp)
leaq 0x30(%rsp), %rax
movq %rax, 0x40(%rsp)
movq %rax, 0x48(%rsp)
leaq 0x50(%rsp), %rax
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
leaq 0x150(%rsp), %rax
movq %rax, 0x140(%rsp)
movq 0x80(%rsp), %rsi
movq 0x88(%rsp), %rdx
addq %rsi, %rdx
leaq 0x140(%rsp), %rdi
callq 0x319ec
movq 0x38(%rsp), %rcx
testq %rcx, %rcx
je 0x28535
movl 0x30(%rsp), %eax
movq %rcx, 0x170(%rsp)
movups 0x40(%rsp), %xmm0
movups %xmm0, 0x178(%rsp)
leaq 0x168(%rsp), %rdx
movq %rdx, 0x8(%rcx)
movq 0x50(%rsp), %rcx
movq %rcx, 0x188(%rsp)
movq $0x0, 0x38(%rsp)
leaq 0x30(%rsp), %rcx
movq %rcx, 0x40(%rsp)
movq %rcx, 0x48(%rsp)
leaq 0x50(%rsp), %rcx
jmp 0x28563
movq $0x0, 0x170(%rsp)
leaq 0x168(%rsp), %rax
movq %rax, 0x178(%rsp)
movq %rax, 0x180(%rsp)
xorl %eax, %eax
leaq 0x188(%rsp), %rcx
movq $0x0, (%rcx)
movl %eax, 0x168(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x190(%rsp)
leaq 0xf0(%rsp), %rdi
leaq 0x140(%rsp), %rsi
callq 0x2907c
movq %rax, %rbp
leaq 0x160(%rsp), %rdi
callq 0x1deae
movq 0x140(%rsp), %rdi
leaq 0x150(%rsp), %rax
cmpq %rax, %rdi
je 0x285c8
movq 0x150(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x28(%rsp), %rdi
callq 0x1deae
incq 0x70(%rbp)
addq $0x40, %rbp
movq %rbp, %rdi
movq %r14, %rsi
callq 0x31d28
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x2860a
movq 0x90(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x28620
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rbx, %rdi
callq 0xb540
movq %rax, %rbx
cmpq %r12, %rax
jne 0x28439
movq 0xc8(%rsp), %rax
addq $0x118, %rax            # imm = 0x118
cmpq 0xc0(%rsp), %rax
jne 0x28420
movq 0x108(%rsp), %r14
leaq 0xf8(%rsp), %rax
cmpq %rax, %r14
je 0x28888
leaq 0x148(%rsp), %rbx
leaq 0x140(%rsp), %r15
leaq 0x1cdfb(%rip), %r12     # 0x4547b
movq %rsp, %r13
movq %r15, %rdi
callq 0xb5f0
movl $0x2, %edx
movq %r15, %rdi
movq %r12, %rsi
callq 0xb530
movq 0x140(%rsp), %rax
movq -0x18(%rax), %rax
movq $0x2, 0x150(%rsp,%rax)
movq 0x70(%r14), %rsi
movq %r15, %rdi
callq 0xb300
movl $0x2, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0xb530
leaq 0x40(%r14), %rsi
movq %r13, %rdi
callq 0x28e78
movq $0x4f, 0x90(%rsp)
movb $0x9, 0x98(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x80(%rsp)
leaq 0xd0(%rsp), %rdi
movq %rbx, %rsi
callq 0xb6f0
movq 0xd8(%rsp), %rax
movq %rax, 0x88(%rsp)
movq $0x46, 0x90(%rsp)
leaq 0x28(%rsp), %rdi
movq %r13, %rsi
leaq 0x80(%rsp), %rdx
callq 0x2482c
movq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
cmpq %rax, %rdi
je 0x28760
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x2877b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %r13, %rdi
movq %rbx, %rsi
callq 0xb6f0
movq %r12, %r13
movq %r14, %r12
movq %r15, %r14
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq 0x37809(%rip), %rdi     # 0x5ffa8
callq 0xb530
movq %rax, %r15
movq 0x68(%rsp), %rbp
movq 0x70(%rsp), %rbx
cmpq %rbx, %rbp
je 0x287e7
cmpq 0x68(%rsp), %rbp
je 0x287d1
movl $0x1, %edx
movq %r15, %rdi
leaq 0x1d214(%rip), %rsi     # 0x459e0
callq 0xb530
movq (%rbp), %rsi
movq 0x8(%rbp), %rdx
movq %r15, %rdi
callq 0xb530
addq $0x20, %rbp
jmp 0x287b1
movl $0x1, %edx
movq %r15, %rdi
leaq 0x1d1ea(%rip), %rsi     # 0x459e0
callq 0xb530
leaq 0x148(%rsp), %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
movq %r14, %r15
movq %r12, %r14
movq %r13, %r12
movq %rsp, %r13
je 0x2882a
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x68(%rsp), %rdi
callq 0x13df2
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x28850
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %r15, %rdi
movq 0x3772e(%rip), %rsi     # 0x5ff88
callq 0xb220
leaq 0x1b0(%rsp), %rdi
callq 0xb120
movq %r14, %rdi
callq 0xb540
movq %rax, %r14
leaq 0xf8(%rsp), %rax
cmpq %rax, %r14
jne 0x28683
movq 0x118(%rsp), %rbx
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1ccd9(%rip), %rsi     # 0x45579
leaq 0x1ccd5(%rip), %rdx     # 0x4557c
leaq 0x28(%rsp), %rdi
callq 0x31a82
leaq 0x148(%rsp), %rdi
movq %rbx, -0x8(%rdi)
leaq 0x158(%rsp), %r12
movq %r12, -0x10(%r12)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
addq %rsi, %rdx
callq 0x319ec
movq 0x376c5(%rip), %rdi     # 0x5ffa8
leaq 0x140(%rsp), %rsi
callq 0xff93
movq 0x376b1(%rip), %rbx     # 0x5ffa8
leaq 0x1d0e2(%rip), %rsi     # 0x459e0
movl $0x1, %edx
movq %rbx, %rdi
callq 0xb530
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0xb460
movsbl %al, %esi
movq 0x3767f(%rip), %rdi     # 0x5ffa8
callq 0xb030
movq %rax, %rdi
callq 0xb310
movq 0x148(%rsp), %rdi
cmpq %r12, %rdi
je 0x28953
movq 0x158(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x2896a
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0xf0(%rsp), %rbx
movq 0x28(%rbx), %r14
leaq 0x128(%rsp), %rdi
callq 0x14ba2
movq %rbx, %rdi
callq 0x29314
leaq 0xa0(%rsp), %rdi
callq 0x1d338
movq %r14, %rax
addq $0x2b8, %rsp            # imm = 0x2B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
jmp 0x289d6
movq %rax, %r14
jmp 0x28a18
jmp 0x28aab
movq %rax, %r14
movq 0x28(%rsp), %rdi
cmpq %r13, %rdi
je 0x289d6
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x140(%rsp), %rdi
callq 0x14376
jmp 0x28b5b
movq %rax, %r14
jmp 0x28b5b
movq %rax, %r14
jmp 0x28b4e
movq %rax, %r14
movq 0x148(%rsp), %rdi
cmpq %r12, %rdi
je 0x28a18
movq 0x158(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x28b41
movq 0x38(%rsp), %rsi
jmp 0x28b39
jmp 0x28aab
jmp 0x28a85
movq %rax, %r14
jmp 0x28a61
movq %rax, %r14
movq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
cmpq %rax, %rdi
je 0x28a61
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x28ae0
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x28ae0
movq %rax, %r14
jmp 0x28ad6
jmp 0x28ab8
movq %rax, %r14
jmp 0x28ae0
movq %rax, %r14
leaq 0x140(%rsp), %rdi
callq 0x28e50
jmp 0x28a9f
movq %rax, %r14
leaq 0x28(%rsp), %rdi
callq 0x1deae
jmp 0x28b06
movq %rax, %r14
jmp 0x28b41
movq %rax, %r14
jmp 0x28b2b
movq %rax, %r14
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x28ad6
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x28(%rsp), %rdi
callq 0x24db0
movq 0x374a1(%rip), %rsi     # 0x5ff88
leaq 0x140(%rsp), %rdi
callq 0xb220
leaq 0x1b0(%rsp), %rdi
callq 0xb120
jmp 0x28b41
movq %rax, %r14
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x28b2b
movq 0x90(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x28b41
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x128(%rsp), %rdi
callq 0x14ba2
leaq 0xf0(%rsp), %rdi
callq 0x29314
leaq 0xa0(%rsp), %rdi
callq 0x1d338
movq %r14, %rdi
callq 0xb820