LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O3/FreeSlave[P]vhlt/hlcsg/wadcfg.cpp
// Function: LoadWadcfgfile(char const*)
void LoadWadcfgfile (const char *filename)
{
	Log ("Loading wad configuration file '%s' :\n", filename);
	int count = 0;
	int size;
	char *buffer;
	size = LoadFile (filename, &buffer);
	ParseFromMemory (buffer, size);
	while (GetToken (true))
	{
		Log (" ");
		bool include = false;
		if (!strcasecmp (g_token, "include"))
		{
			Log ("include ");
			include = true;
			if (!GetToken (true))
			{
				Error ("parsing '%s': unexpected end of file.", filename);
			}
		}
		Log ("\"%s\"\n", g_token);
		if (g_iNumWadPaths >= MAX_WADPATHS)
		{
			Error ("parsing '%s': too many wad files.", filename);
		}
		count++;
#ifdef HLCSG_AUTOWAD_NEW
		PushWadPath (g_token, !include);
#else
		wadpath_t *current = (wadpath_t *)malloc (sizeof (wadpath_t));
		hlassume (current != NULL, assume_NoMemory);
		g_pWadPaths[g_iNumWadPaths] = current;
		g_iNumWadPaths++;
		safe_strncpy (current->path, g_token, _MAX_PATH);
		current->usedbymap = true; // what's this?
		current->usedtextures = 0;
		if (include)
		{
			Developer (DEVELOPER_LEVEL_MESSAGE, "LoadWadcfgfile: including '%s'.\n", current->path);
			g_WadInclude.push_back(current->path);
		}
#endif
	}
	free (buffer); // should not be freed because it is still being used as script buffer
	//Log ("Using custom wadfile configuration: '%s' (with %i wad%s)\n", filename, count, count > 1 ? "s" : "");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x72f8(%rip), %rdi      # 0x22102
movq %rbx, %rsi
xorl %eax, %eax
callq 0x9e76
movq %rsp, %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x9aac
movq (%r14), %rdi
movl %eax, %esi
callq 0xae8b
movl $0x1, %edi
callq 0xaf93
testb %al, %al
je 0x1aeef
leaq 0x20a865b(%rip), %r15   # 0x20c34a0
leaq 0x4281(%rip), %r12      # 0x1f0cd
leaq 0x1941(%rip), %r13      # 0x1c794
leaq 0x63d7516(%rip), %r14   # 0x63f2370
leaq 0x18a6(%rip), %rdi      # 0x1c707
xorl %eax, %eax
callq 0x9e76
movq %r15, %rdi
movq %r12, %rsi
callq 0x4330
movl %eax, %ebp
testl %eax, %eax
jne 0x1aea6
leaq 0x71e5(%rip), %rdi      # 0x22065
xorl %eax, %eax
callq 0x9e76
movl $0x1, %edi
callq 0xaf93
testb %al, %al
jne 0x1aea6
leaq 0x71a1(%rip), %rdi      # 0x2203d
movq %rbx, %rsi
xorl %eax, %eax
callq 0xa164
movq %r13, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x9e76
cmpl $0x80, (%r14)
jl 0x1aecd
leaq 0x71ab(%rip), %rdi      # 0x2206e
movq %rbx, %rsi
xorl %eax, %eax
callq 0xa164
xorl %esi, %esi
testl %ebp, %ebp
setne %sil
movq %r15, %rdi
callq 0x1af08
movl $0x1, %edi
callq 0xaf93
testb %al, %al
jne 0x1ae5a
movq (%rsp), %rdi
callq 0x4390
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/FreeSlave[P]vhlt/hlcsg/wadpath.cpp
// Function: FreeWadPaths()
void        FreeWadPaths()
{
    int         i;
    wadpath_t*  current;

    for (i = 0; i < g_iNumWadPaths; i++)
    {
        current = g_pWadPaths[i];
        free(current);
    }
}

// Assembly:
cmpl $0x0, 0x63d73ed(%rip)   # 0x63f2370
jle 0x1afb5
pushq %r14
pushq %rbx
pushq %rax
leaq 0x63d6fe0(%rip), %rbx   # 0x63f1f70
xorl %r14d, %r14d
movq (%rbx), %rdi
callq 0x4390
incq %r14
movslq 0x63d73cb(%rip), %rax   # 0x63f2370
addq $0x8, %rbx
cmpq %rax, %r14
jl 0x1af93
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::createReporter(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, Catch::Ptr<Catch::Config> const&)
Ptr<IStreamingReporter> createReporter( std::string const& reporterName, Ptr<Config> const& config ) {
        Ptr<IStreamingReporter> reporter = getRegistryHub().getReporterRegistry().create( reporterName, config.get() );
        if( !reporter ) {
            std::ostringstream oss;
            oss << "No reporter registered with name: '" << reporterName << "'";
            throw std::domain_error( oss.str() );
        }
        return reporter;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x1a0, %rsp            # imm = 0x1A0
movq %rdx, %r12
movq %rsi, %rbx
movq %rdi, %r14
callq 0xc3b7
movq (%rax), %rcx
movq %rax, %rdi
callq *0x10(%rcx)
movq %rax, %r15
movq (%r12), %rdi
movq %rdi, 0x28(%rsp)
testq %rdi, %rdi
je 0xc262
movq (%rdi), %rax
callq *0x10(%rax)
movq (%r15), %rax
leaq 0x28(%rsp), %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq *0x10(%rax)
movq %rax, %r15
movq %rax, (%r14)
testq %rax, %rax
je 0xc287
movq (%r15), %rax
movq %r15, %rdi
callq *0x10(%rax)
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0xc297
movq (%rdi), %rax
callq *0x18(%rax)
testq %r15, %r15
je 0xc2af
movq %r14, %rax
addq $0x1a0, %rsp            # imm = 0x1A0
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x28(%rsp), %rdi
callq 0xb5f0
leaq 0x38616(%rip), %rsi     # 0x448d6
leaq 0x28(%rsp), %rdi
movl $0x23, %edx
callq 0xb530
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
leaq 0x28(%rsp), %rdi
callq 0xb530
leaq 0x38f3f(%rip), %rsi     # 0x45226
movl $0x1, %edx
movq %rax, %rdi
callq 0xb530
movl $0x10, %edi
callq 0xb1f0
movq %rax, %r14
leaq 0x30(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0xb6f0
movb $0x1, %bpl
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0xb570
xorl %ebp, %ebp
movq 0x53c1f(%rip), %rsi     # 0x5ff48
movq 0x53c48(%rip), %rdx     # 0x5ff78
movq %r14, %rdi
callq 0xb7d0
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc356
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
testb %bpl, %bpl
jne 0xc360
jmp 0xc36d
movq %rax, %rbx
movq %r14, %rdi
callq 0xb360
jmp 0xc36d
movq %rax, %rbx
movq 0x53c14(%rip), %rsi     # 0x5ff88
leaq 0x28(%rsp), %rdi
callq 0xb220
leaq 0x98(%rsp), %rdi
callq 0xb120
jmp 0xc3a7
movq %rax, %rbx
jmp 0xc3a7
jmp 0xc3af
movq %rax, %rbx
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0xc3a7
movq (%rdi), %rax
callq *0x18(%rax)
movq %rbx, %rdi
callq 0xb820
movq %rax, %rdi
callq 0x14d37
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::cleanUp()
inline RegistryHub*& getTheRegistryHub() {
            static RegistryHub* theRegistryHub = CATCH_NULL;
            if( !theRegistryHub )
                theRegistryHub = new RegistryHub();
            return theRegistryHub;
        }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq 0x52a64(%rip), %rbx     # 0x60640
testq %rbx, %rbx
jne 0xdc71
movl $0xd0, %edi
callq 0xb480
movq %rax, %rbx
leaq 0x512ef(%rip), %rax     # 0x5eee8
movq %rax, (%rbx)
leaq 0x5133d(%rip), %rax     # 0x5ef40
movq %rax, 0x8(%rbx)
leaq 0x10(%rbx), %rdi
callq 0x1df46
leaq 0x51601(%rip), %rax     # 0x5f218
movq %rax, 0x60(%rbx)
movq %rbx, %rax
addq $0x70, %rax
movl $0x0, 0x70(%rbx)
xorl %ecx, %ecx
movq %rcx, 0x78(%rbx)
movq %rax, 0x80(%rbx)
movq %rax, 0x88(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x90(%rbx)
movups %xmm0, 0xa0(%rbx)
leaq 0x51613(%rip), %rax     # 0x5f268
movq %rax, 0xb0(%rbx)
movups %xmm0, 0xb8(%rbx)
movq %rcx, 0xc8(%rbx)
movq %rbx, 0x529cf(%rip)     # 0x60640
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x8(%rax)
cmpq $0x0, 0x529be(%rip)     # 0x60640
jne 0xdd14
movl $0xd0, %edi
callq 0xb480
movq %rax, %rbx
leaq 0x5124c(%rip), %rax     # 0x5eee8
movq %rax, (%rbx)
leaq 0x5129a(%rip), %rax     # 0x5ef40
movq %rax, 0x8(%rbx)
leaq 0x10(%rbx), %rdi
callq 0x1df46
leaq 0x5155e(%rip), %rax     # 0x5f218
movq %rax, 0x60(%rbx)
movq %rbx, %rax
addq $0x70, %rax
movl $0x0, 0x70(%rbx)
xorl %ecx, %ecx
movq %rcx, 0x78(%rbx)
movq %rax, 0x80(%rbx)
movq %rax, 0x88(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x90(%rbx)
movups %xmm0, 0xa0(%rbx)
leaq 0x51570(%rip), %rax     # 0x5f268
movq %rax, 0xb0(%rbx)
movups %xmm0, 0xb8(%rbx)
movq %rcx, 0xc8(%rbx)
movq %rbx, 0x5292c(%rip)     # 0x60640
movq $0x0, 0x52921(%rip) # 0x60640
movq 0x5285a(%rip), %rdi     # 0x60580
testq %rdi, %rdi
je 0xdd31
movq (%rdi), %rax
callq *0x8(%rax)
movq $0x0, 0x52844(%rip) # 0x60580
addq $0x8, %rsp
popq %rbx
popq %r14
retq
jmp 0xdd46
movq %rax, %r14
movl $0xd0, %esi
movq %rbx, %rdi
callq 0xb4a0
movq %r14, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::makeReporter(Catch::Ptr<Catch::Config> const&)
Ptr<IStreamingReporter> makeReporter( Ptr<Config> const& config ) {
        std::vector<std::string> reporters = config->getReporterNames();
        if( reporters.empty() )
            reporters.push_back( "console" );

        Ptr<IStreamingReporter> reporter;
        for( std::vector<std::string>::const_iterator it = reporters.begin(), itEnd = reporters.end();
                it != itEnd;
                ++it )
            reporter = addReporter( reporter, createReporter( *it, config ) );
        return reporter;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movl $0x98, %esi
addq (%r14), %rsi
leaq 0x30(%rsp), %r12
movq %r12, %rdi
callq 0x1a090
movq (%r12), %r15
movq 0x8(%r12), %rbp
cmpq %rbp, %r15
jne 0xc502
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x38439(%rip), %rsi     # 0x448fa
leaq 0x38439(%rip), %rdx     # 0x44901
leaq 0x10(%rsp), %rdi
callq 0x31a82
leaq 0x30(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x31b18
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0xc4f8
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x30(%rsp), %r15
movq 0x38(%rsp), %rbp
movq $0x0, (%rbx)
cmpq %rbp, %r15
je 0xc568
leaq 0x8(%rsp), %r12
leaq 0x10(%rsp), %r13
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0xc225
movq %r13, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0xc602
movq %rbx, %rdi
movq %r13, %rsi
callq 0x13db6
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xc54f
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xc55f
movq (%rdi), %rax
callq *0x18(%rax)
addq $0x20, %r15
cmpq %rbp, %r15
jne 0xc518
leaq 0x30(%rsp), %rdi
callq 0x13df2
movq %rbx, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0xc5e4
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0xc5e4
movq %rax, %r14
jmp 0xc5e4
jmp 0xc5fa
jmp 0xc5fa
movq %rax, %r14
jmp 0xc5d6
movq %rax, %r14
jmp 0xc5c6
movq %rax, %r14
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xc5c6
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xc5d6
movq (%rdi), %rax
callq *0x18(%rax)
movq (%rbx), %rdi
testq %rdi, %rdi
je 0xc5e4
movq (%rdi), %rax
callq *0x18(%rax)
leaq 0x30(%rsp), %rdi
callq 0x13df2
movq %r14, %rdi
callq 0xb820
jmp 0xc5fa
jmp 0xc5fa
movq %rax, %rdi
callq 0x14d37
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::addReporter(Catch::Ptr<Catch::IStreamingReporter> const&, Catch::Ptr<Catch::IStreamingReporter> const&)
Ptr<IStreamingReporter> addReporter( Ptr<IStreamingReporter> const& existingReporter, Ptr<IStreamingReporter> const& additionalReporter ) {
    Ptr<IStreamingReporter> resultingReporter;

    if( existingReporter ) {
        MultipleReporters* multi = dynamic_cast<MultipleReporters*>( existingReporter.get() );
        if( !multi ) {
            multi = new MultipleReporters;
            resultingReporter = Ptr<IStreamingReporter>( multi );
            if( existingReporter )
                multi->add( existingReporter );
        }
        else
            resultingReporter = existingReporter;
        multi->add( additionalReporter );
    }
    else
        resultingReporter = additionalReporter;

    return resultingReporter;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rdi, %rbx
movq $0x0, (%rdi)
movq (%rsi), %rdi
testq %rdi, %rdi
je 0xc64c
movq %rsi, %r15
leaq 0x527ff(%rip), %rsi     # 0x5ee28
leaq 0x52a30(%rip), %rdx     # 0x5f060
xorl %ecx, %ecx
callq 0xb520
testq %rax, %rax
je 0xc659
movq %rax, %r12
movq %rbx, %rdi
movq %r15, %rsi
callq 0x13db6
jmp 0xc6be
movq %rbx, %rdi
movq %r14, %rsi
callq 0x13db6
jmp 0xc6cd
movl $0x28, %edi
callq 0xb480
movq %rax, %r12
leaq 0x52dd3(%rip), %rax     # 0x5f440
movq %rax, (%r12)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r12)
movq $0x0, 0x20(%r12)
movq %rsp, %rsi
movq %r12, (%rsi)
movl $0x1, 0x8(%r12)
movq %rbx, %rdi
callq 0x13db6
movq (%rsp), %rdi
testq %rdi, %rdi
je 0xc6a9
movq (%rdi), %rax
callq *0x18(%rax)
cmpq $0x0, (%r15)
je 0xc6be
movq %r12, %rdi
addq $0x10, %rdi
movq %r15, %rsi
callq 0x200be
addq $0x10, %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0x200be
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0xc70f
movq %rax, %r14
movq (%rsp), %rdi
testq %rdi, %rdi
je 0xc6f9
movq (%rdi), %rax
callq *0x18(%rax)
jmp 0xc6f9
jmp 0xc70f
jmp 0xc6f6
movq %rax, %r14
movq (%rbx), %rdi
testq %rdi, %rdi
je 0xc707
movq (%rdi), %rax
callq *0x18(%rax)
movq %r14, %rdi
callq 0xb820
movq %rax, %rdi
callq 0x14d37
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::addListeners(Catch::Ptr<Catch::IConfig const> const&, Catch::Ptr<Catch::IStreamingReporter>)
Ptr<IStreamingReporter> addListeners( Ptr<IConfig const> const& config, Ptr<IStreamingReporter> reporters ) {
        IReporterRegistry::Listeners listeners = getRegistryHub().getReporterRegistry().getListeners();
        for( IReporterRegistry::Listeners::const_iterator it = listeners.begin(), itEnd = listeners.end();
                it != itEnd;
                ++it )
            reporters = addReporter(reporters, (*it)->create( ReporterConfig( config ) ) );
        return reporters;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, 0x28(%rsp)
callq 0xc3b7
movq (%rax), %rcx
movq %rax, %rdi
callq *0x10(%rcx)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x20(%rcx)
leaq 0x30(%rsp), %rbx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x13e50
movq (%rbx), %r12
movq 0x8(%rbx), %rbp
cmpq %rbp, %r12
je 0xc80a
leaq 0x10(%rsp), %r13
movq (%r12), %rbx
movq (%r15), %rdi
movq (%rdi), %rax
callq *0x28(%rax)
movq %rax, 0x18(%rsp)
movq (%r15), %rdi
movq %rdi, 0x20(%rsp)
testq %rdi, %rdi
je 0xc791
movq (%rdi), %rax
callq *0x10(%rax)
movq (%rbx), %rax
movq %rbx, %rdi
leaq 0x18(%rsp), %rsi
callq *0x20(%rax)
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0xc7b2
movq (%rax), %rcx
movq %rax, %rdi
callq *0x10(%rcx)
movq %r13, %rdi
movq %r14, %rsi
leaq 0x8(%rsp), %rdx
callq 0xc602
movq %r14, %rdi
movq %r13, %rsi
callq 0x13db6
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xc7dd
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xc7ed
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xc7fd
movq (%rdi), %rax
callq *0x18(%rax)
addq $0x8, %r12
cmpq %rbp, %r12
jne 0xc76c
movq (%r14), %rdi
movq 0x28(%rsp), %rbx
movq %rdi, (%rbx)
testq %rdi, %rdi
je 0xc820
movq (%rdi), %rax
callq *0x10(%rax)
leaq 0x30(%rsp), %rdi
callq 0x13ed8
movq %rbx, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xc88f
jmp 0xc887
jmp 0xc887
jmp 0xc887
movq %rax, %rbx
jmp 0xc85c
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0xc85c
movq (%rdi), %rax
callq *0x18(%rax)
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0xc875
movq (%rdi), %rax
callq *0x18(%rax)
jmp 0xc875
jmp 0xc887
jmp 0xc887
movq %rax, %rbx
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0xc892
movq (%rdi), %rax
callq *0x18(%rax)
jmp 0xc892
movq %rax, %rdi
callq 0x14d37
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x13ed8
movq %rbx, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::setTags(Catch::TestCaseInfo&, std::set<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&)
void setTags( TestCaseInfo& testCaseInfo, std::set<std::string> const& tags )
    {
        testCaseInfo.tags = tags;
        testCaseInfo.lcaseTags.clear();

        std::ostringstream oss;
        for( std::set<std::string>::const_iterator it = tags.begin(), itEnd = tags.end(); it != itEnd; ++it ) {
            oss << "[" << *it << "]";
            std::string lcaseTag = toLower( *it );
            testCaseInfo.properties = static_cast<TestCaseInfo::SpecialProperties>( testCaseInfo.properties | parseSpecialTag( lcaseTag ) );
            testCaseInfo.lcaseTags.insert( lcaseTag );
        }
        testCaseInfo.tagsAsString = oss.str();
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1a8, %rsp            # imm = 0x1A8
movq %rsi, %r14
movq %rdi, %rbx
addq $0x60, %rdi
callq 0x1f640
leaq 0x90(%rbx), %rdi
movq %rdi, 0x28(%rsp)
callq 0x325f2
leaq 0x30(%rsp), %rdi
callq 0xb5f0
movq 0x18(%r14), %r12
addq $0x8, %r14
cmpq %r14, %r12
je 0xd1f8
leaq 0x30(%rsp), %rbp
leaq 0x8(%rsp), %r13
movl $0x1, %edx
movq %rbp, %rdi
leaq 0x37b88(%rip), %rsi     # 0x44cf3
callq 0xb530
movq 0x20(%r12), %rsi
movq 0x28(%r12), %rdx
movq %rbp, %rdi
callq 0xb530
movl $0x1, %edx
movq %rax, %rdi
leaq 0x38351(%rip), %rsi     # 0x454e2
callq 0xb530
leaq 0x20(%r12), %rsi
movq %r13, %rdi
callq 0xea17
movl 0x108(%rbx), %r15d
movq %r13, %rdi
callq 0x14e76
orl %r15d, %eax
movl %eax, 0x108(%rbx)
movq 0x28(%rsp), %rdi
movq %r13, %rsi
callq 0x31d28
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xd1e4
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %r12, %rdi
callq 0xb540
movq %rax, %r12
cmpq %r14, %rax
jne 0xd15c
leaq 0x38(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0xb6f0
addq $0xc0, %rbx
leaq 0x8(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0xb590
movq (%r14), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xd238
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x52d49(%rip), %rsi     # 0x5ff88
leaq 0x30(%rsp), %rdi
callq 0xb220
leaq 0xa0(%rsp), %rdi
callq 0xb120
addq $0x1a8, %rsp            # imm = 0x1A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xd28d
jmp 0xd28d
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xd290
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0xd290
movq %rax, %rbx
movq 0x52cf1(%rip), %rsi     # 0x5ff88
leaq 0x30(%rsp), %rdi
callq 0xb220
leaq 0xa0(%rsp), %rdi
callq 0xb120
movq %rbx, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::operator<<(std::ostream&, Catch::SourceLineInfo const&)
std::ostream& operator << ( std::ostream& os, SourceLineInfo const& info ) {
#ifndef __GNUG__
        os << info.file << "(" << info.line << ")";
#else
        os << info.file << ":" << info.line;
#endif
        return os;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movq (%rsi), %rsi
movq 0x8(%rbx), %rdx
callq 0xb530
movq %rax, %r15
leaq 0x37818(%rip), %rsi     # 0x44c5c
movl $0x1, %edx
movq %rax, %rdi
callq 0xb530
movq 0x20(%rbx), %rsi
movq %r15, %rdi
callq 0xb300
movq %r14, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::filterTests(std::vector<Catch::TestCase, std::allocator<Catch::TestCase>> const&, Catch::TestSpec const&, Catch::IConfig const&)
std::vector<TestCase> filterTests( std::vector<TestCase> const& testCases, TestSpec const& testSpec, IConfig const& config ) {
        std::vector<TestCase> filtered;
        filtered.reserve( testCases.size() );
        for( std::vector<TestCase>::const_iterator it = testCases.begin(), itEnd = testCases.end();
                it != itEnd;
                ++it )
            if( matchTest( *it, testSpec, config ) )
                filtered.push_back( *it );
        return filtered;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rcx, %r14
movq %rsi, %r13
movq %rdi, %rbx
xorps %xmm0, %xmm0
movups %xmm0, (%rdi)
movq $0x0, 0x10(%rdi)
movq 0x8(%rsi), %rax
subq (%rsi), %rax
movq %rdx, %r15
sarq $0x3, %rax
movabsq $-0x5075075075075075, %rsi # imm = 0xAF8AF8AF8AF8AF8B
imulq %rax, %rsi
callq 0x14ac8
movq (%r13), %r12
movq 0x8(%r13), %r13
cmpq %r13, %r12
je 0xd4fb
movq %r15, %rdi
movq %r12, %rsi
callq 0x14a5e
testb %al, %al
je 0xd4f2
movq (%r14), %rax
movq %r14, %rdi
callq *0x20(%rax)
testb %al, %al
jne 0xd4e7
testb $0x10, 0x108(%r12)
jne 0xd4f2
movq %rbx, %rdi
movq %r12, %rsi
callq 0x14b72
addq $0x118, %r12            # imm = 0x118
jmp 0xd4bb
movq %rbx, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
jmp 0xd50a
movq %rax, %r14
movq %rbx, %rdi
callq 0x14ba2
movq %r14, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::registerTestCase(Catch::ITestCase*, char const*, Catch::NameAndDesc const&, Catch::SourceLineInfo const&)
void registerTestCase
        (   ITestCase* testCase,
            char const* classOrQualifiedMethodName,
            NameAndDesc const& nameAndDesc,
            SourceLineInfo const& lineInfo ) {

        getMutableRegistryHub().registerTest
            ( makeTestCase
                (   testCase,
                    extractClassName( classOrQualifiedMethodName ),
                    nameAndDesc.name,
                    nameAndDesc.description,
                    lineInfo ) );
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1a8, %rsp            # imm = 0x1A8
movq %rcx, %r14
movq %rdx, %r12
movq %rsi, %r13
movq %rdi, %r15
callq 0xd708
movq %rax, %rbx
leaq 0x70(%rsp), %rbp
leaq 0xf(%rsp), %rdx
movq %rbp, %rdi
movq %r13, %rsi
callq 0x13d78
leaq 0x50(%rsp), %rdi
movq %rbp, %rsi
callq 0x14bd1
movq (%r12), %rsi
leaq 0x30(%rsp), %rdi
leaq 0xe(%rsp), %rdx
callq 0x13d78
movq 0x8(%r12), %rsi
leaq 0x10(%rsp), %rdi
leaq 0xd(%rsp), %rdx
callq 0x13d78
leaq 0x90(%rsp), %rdi
leaq 0x50(%rsp), %rdx
leaq 0x30(%rsp), %rcx
leaq 0x10(%rsp), %r8
movq %r15, %rsi
movq %r14, %r9
callq 0xd7cf
movq (%rbx), %rax
leaq 0x90(%rsp), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x1a0(%rsp), %rdi
testq %rdi, %rdi
je 0xd5d1
movq (%rdi), %rax
callq *0x18(%rax)
leaq 0x90(%rsp), %rdi
callq 0x15090
leaq 0x20(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xd5f9
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xd614
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x60(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xd62f
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x80(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xd650
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xb4a0
addq $0x1a8, %rsp            # imm = 0x1A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rdi
callq 0x14d37
movq %rax, %rbx
leaq 0x90(%rsp), %rdi
callq 0x14d10
jmp 0xd67f
movq %rax, %rbx
leaq 0x20(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xd69f
movq 0x20(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0xd69f
movq %rax, %rbx
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xd6bf
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0xd6bf
movq %rax, %rbx
leaq 0x60(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xd6df
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0xd6df
movq %rax, %rbx
leaq 0x80(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xd700
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rbx, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::NotImplementedException::NotImplementedException(Catch::SourceLineInfo const&)
NotImplementedException::NotImplementedException( SourceLineInfo const& lineInfo )
    :   m_lineInfo( lineInfo ) {
        std::ostringstream oss;
        oss << lineInfo << ": function ";
        oss << "not implemented";
        m_what = oss.str();
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x198, %rsp            # imm = 0x198
movq %rsi, %r12
movq %rdi, %rbx
leaq 0x4fabe(%rip), %rax     # 0x5d880
movq %rax, (%rdi)
leaq 0x8(%rdi), %r14
leaq 0x18(%rdi), %r13
movq %r13, 0x8(%rdi)
movq $0x0, 0x10(%rdi)
movb $0x0, 0x18(%rdi)
leaq 0x28(%rdi), %r15
leaq 0x38(%rdi), %rbp
movq %rbp, 0x28(%rdi)
movq (%rsi), %rsi
movq 0x8(%r12), %rdx
addq %rsi, %rdx
movq %r15, %rdi
callq 0x319ec
movq 0x20(%r12), %rax
movq %rax, 0x48(%rbx)
leaq 0x20(%rsp), %rdi
callq 0xb5f0
leaq 0x20(%rsp), %rdi
movq %r12, %rsi
callq 0xd423
leaq 0x36b30(%rip), %rsi     # 0x44953
leaq 0x20(%rsp), %rdi
movl $0xb, %edx
callq 0xb530
leaq 0x36b26(%rip), %rsi     # 0x4495f
leaq 0x20(%rsp), %rdi
movl $0xf, %edx
callq 0xb530
leaq 0x28(%rsp), %rsi
movq %rsp, %rdi
callq 0xb6f0
movq %rsp, %rbx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xb590
movq (%rbx), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0xde7d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x52104(%rip), %rsi     # 0x5ff88
leaq 0x20(%rsp), %rdi
callq 0xb220
leaq 0x90(%rsp), %rdi
callq 0xb120
addq $0x198, %rsp            # imm = 0x198
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xdeb9
movq %rax, %r12
jmp 0xdeda
movq %rax, %r12
jmp 0xdeee
movq %rax, %r12
movq 0x520c5(%rip), %rsi     # 0x5ff88
leaq 0x20(%rsp), %rdi
callq 0xb220
leaq 0x90(%rsp), %rdi
callq 0xb120
movq (%r15), %rdi
cmpq %rbp, %rdi
je 0xdeee
movq (%rbp), %rsi
incq %rsi
callq 0xb4a0
movq (%r14), %rdi
cmpq %r13, %rdi
je 0xdf02
movq (%r13), %rsi
incq %rsi
callq 0xb4a0
movq %rbx, %rdi
callq 0xb870
movq %r12, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::FileStream::FileStream(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
FileStream::FileStream( std::string const& filename ) {
        m_ofs.open( filename.c_str() );
        if( m_ofs.fail() ) {
            std::ostringstream oss;
            oss << "Unable to open file: '" << filename << "'";
            throw std::domain_error( oss.str() );
        }
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x198, %rsp            # imm = 0x198
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x4f976(%rip), %rax     # 0x5d8a8
movq %rax, (%rdi)
addq $0x8, %rbx
movq %rbx, %rdi
callq 0xb7c0
movq (%r14), %rsi
movq %rbx, %rdi
movl $0x10, %edx
callq 0xb070
movq (%rbx), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x20(%rbx,%rax)
jne 0xdf6d
addq $0x198, %rsp            # imm = 0x198
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x20(%rsp), %rdi
callq 0xb5f0
leaq 0x369f1(%rip), %rsi     # 0x4496f
leaq 0x20(%rsp), %rdi
movl $0x16, %edx
callq 0xb530
movq (%r14), %rsi
movq 0x8(%r14), %rdx
leaq 0x20(%rsp), %rdi
callq 0xb530
leaq 0x37281(%rip), %rsi     # 0x45226
movl $0x1, %edx
movq %rax, %rdi
callq 0xb530
movl $0x10, %edi
callq 0xb1f0
movq %rax, %r14
leaq 0x28(%rsp), %rsi
movq %rsp, %rdi
callq 0xb6f0
movb $0x1, %bpl
movq %rsp, %rsi
movq %r14, %rdi
callq 0xb570
xorl %ebp, %ebp
movq 0x51f65(%rip), %rsi     # 0x5ff48
movq 0x51f8e(%rip), %rdx     # 0x5ff78
movq %r14, %rdi
callq 0xb7d0
movq %rax, %r15
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xe010
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
testb %bpl, %bpl
jne 0xe01a
jmp 0xe027
movq %rax, %r15
movq %r14, %rdi
callq 0xb360
jmp 0xe027
movq %rax, %r15
movq 0x51f5a(%rip), %rsi     # 0x5ff88
leaq 0x20(%rsp), %rdi
callq 0xb220
leaq 0x90(%rsp), %rdi
callq 0xb120
jmp 0xe04c
jmp 0xe049
movq %rax, %r15
movq %rbx, %rdi
callq 0xb690
movq %r15, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::Colour::use(Catch::Colour::Code)
void Colour::use( Code _colourCode ) {
        static IColourImpl* impl = isDebuggerActive()
            ? NoColourImpl::instance()
            : platformColourInstance();
        impl->use( _colourCode );
    }

// Assembly:
pushq %rbx
movl %edi, %ebx
movb 0x523eb(%rip), %al      # 0x60590
testb %al, %al
je 0xe1bc
movq 0x523d8(%rip), %rdi     # 0x60588
movq (%rdi), %rax
movq 0x10(%rax), %rax
movl %ebx, %esi
popq %rbx
jmpq *%rax
leaq 0x523cd(%rip), %rdi     # 0x60590
callq 0xb850
testl %eax, %eax
je 0xe1a9
callq 0xe234
movq %rax, 0x523b0(%rip)     # 0x60588
leaq 0x523b1(%rip), %rdi     # 0x60590
callq 0xb2b0
jmp 0xe1a9
movq %rax, %rbx
leaq 0x523a0(%rip), %rdi     # 0x60590
callq 0xb290
movq %rbx, %rdi
callq 0xb820
nop
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::AssertionResult::getExpression[abi:cxx11]() const
std::string AssertionResult::getExpression() const {
        if( isFalseTest( m_info.resultDisposition ) )
            return "!" + m_info.capturedExpression;
        else
            return m_info.capturedExpression;
    }

// Assembly:
pushq %rbx
movq %rsi, %rdx
movq %rdi, %rbx
testb $0x4, 0x68(%rsi)
jne 0xe67f
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq 0x48(%rdx), %rsi
movq 0x50(%rdx), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0x319ec
jmp 0xe692
addq $0x48, %rdx
leaq 0x38a07(%rip), %rsi     # 0x47091
movq %rbx, %rdi
callq 0x149d5
movq %rbx, %rax
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::AssertionResult::getExpressionInMacro[abi:cxx11]() const
std::string AssertionResult::getExpressionInMacro() const {
        if( m_info.macroName.empty() )
            return m_info.capturedExpression;
        else
            return m_info.macroName + "( " + m_info.capturedExpression + " )";
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rsi), %rdx
testq %rdx, %rdx
je 0xe717
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%r14), %rsi
addq %rsi, %rdx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x319ec
leaq 0x36410(%rip), %rsi     # 0x44ae6
movq %r15, %rdi
callq 0xb8b0
movq 0x48(%r14), %rsi
movq 0x50(%r14), %rdx
leaq 0x8(%rsp), %rdi
callq 0xb110
leaq 0x38(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xe736
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xe73d
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq 0x48(%r14), %rsi
movq 0x50(%r14), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0x319ec
jmp 0xe7d2
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x36226(%rip), %rsi     # 0x44986
callq 0xb8b0
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0xe787
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0xe78d
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xe7bb
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xe7d2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rbx, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xe802
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0xe802
jmp 0xe7ff
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xe819
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rbx, %rdi
callq 0xb820
nop
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestCase::swap(Catch::TestCase&)
void TestCase::swap( TestCase& other ) {
        test.swap( other.test );
        name.swap( other.name );
        className.swap( other.className );
        description.swap( other.description );
        tags.swap( other.tags );
        lcaseTags.swap( other.lcaseTags );
        tagsAsString.swap( other.tagsAsString );
        std::swap( TestCaseInfo::properties, static_cast<TestCaseInfo&>( other ).properties );
        std::swap( lineInfo, other.lineInfo );
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movq 0x110(%rdi), %rax
movq 0x110(%rsi), %rcx
movq %rcx, 0x110(%rdi)
movq %rax, 0x110(%rsi)
callq 0xb350
leaq 0x20(%r14), %rdi
leaq 0x20(%rbx), %rsi
callq 0xb350
leaq 0x40(%r14), %rdi
leaq 0x40(%rbx), %rsi
callq 0xb350
leaq 0x60(%r14), %rdi
leaq 0x60(%rbx), %rsi
callq 0x32620
movl $0x90, %esi
leaq (%r14,%rsi), %rdi
addq %rbx, %rsi
callq 0x32620
movl $0xc0, %esi
leaq (%r14,%rsi), %rdi
addq %rbx, %rsi
callq 0xb350
movl 0x108(%r14), %eax
movl 0x108(%rbx), %ecx
movl %ecx, 0x108(%r14)
movl %eax, 0x108(%rbx)
movl $0xe0, %r15d
leaq (%r14,%r15), %rdi
addq %rbx, %r15
leaq 0x18(%rsp), %r13
movq %r13, -0x10(%r13)
movq 0xe0(%r14), %rcx
leaq 0xf0(%r14), %rax
cmpq %rax, %rcx
je 0xefeb
movq %rcx, 0x8(%rsp)
movq (%rax), %rcx
movq %rcx, 0x18(%rsp)
jmp 0xeff3
movups (%rax), %xmm0
movups %xmm0, (%r13)
movq 0xe8(%r14), %rcx
leaq 0x8(%rsp), %r12
movq %rcx, 0x8(%r12)
movq %rax, 0xe0(%r14)
movq $0x0, 0xe8(%r14)
movb $0x0, 0xf0(%r14)
movq 0x100(%r14), %rax
movq %rax, 0x20(%r12)
movq %r15, %rsi
callq 0xb590
movq 0x100(%rbx), %rax
movq %rax, 0x100(%r14)
movq %r15, %rdi
movq %r12, %rsi
callq 0xb590
movq 0x20(%r12), %rax
movq %rax, 0x100(%rbx)
movq (%r12), %rdi
cmpq %r13, %rdi
je 0xf06d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::operator<<(std::ostream&, Catch::Version const&)
std::ostream& operator << ( std::ostream& os, Version const& version ) {
        os  << version.majorVersion << "."
            << version.minorVersion << "."
            << version.patchNumber;

        if( !version.branchName.empty() ) {
            os  << "-" << version.branchName
                << "." << version.buildNumber;
        }
        return os;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movl (%rsi), %esi
callq 0xb300
movq %rax, %r15
leaq 0x36b21(%rip), %r12     # 0x45cd7
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0xb530
movl 0x4(%r14), %esi
movq %r15, %rdi
callq 0xb300
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0xb530
movl 0x8(%r14), %esi
movq %r15, %rdi
callq 0xb300
cmpq $0x0, 0x18(%r14)
je 0xf23f
leaq 0x36a07(%rip), %rsi     # 0x45c06
movl $0x1, %edx
movq %rbx, %rdi
callq 0xb530
movq 0x10(%r14), %rsi
movq 0x18(%r14), %rdx
movq %rbx, %rdi
callq 0xb530
movq %rax, %r15
leaq 0x36ab1(%rip), %rsi     # 0x45cd7
movl $0x1, %edx
movq %rax, %rdi
callq 0xb530
movl 0x30(%r14), %esi
movq %r15, %rdi
callq 0xb300
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::LegacyReporterAdapter::assertionEnded(Catch::AssertionStats const&)
bool LegacyReporterAdapter::assertionEnded( AssertionStats const& assertionStats ) {
        if( assertionStats.assertionResult.getResultType() != ResultWas::Ok ) {
            for( std::vector<MessageInfo>::const_iterator it = assertionStats.infoMessages.begin(), itEnd = assertionStats.infoMessages.end();
                    it != itEnd;
                    ++it ) {
                if( it->type == ResultWas::Info ) {
                    ResultBuilder rb( it->macroName.c_str(), it->lineInfo, "", ResultDisposition::Normal );
                    rb << it->message;
                    rb.setResultType( ResultWas::Info );
                    AssertionResult result = rb.build();
                    m_legacyReporter->Result( result );
                }
            }
        }
        m_legacyReporter->Result( assertionStats.assertionResult );
        return true;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x368, %rsp            # imm = 0x368
movq %rdi, %r14
movq %rsi, 0x8(%rsp)
cmpl $0x0, 0xb8(%rsi)
je 0xf6c0
movq 0x8(%rsp), %rax
movq 0xc0(%rax), %r15
movq 0xc8(%rax), %rbx
cmpq %rbx, %r15
je 0xf6c0
leaq 0x363a4(%rip), %r12     # 0x459e1
leaq 0xc8(%rsp), %r13
leaq 0x10(%rsp), %rbp
cmpl $0x1, 0x48(%r15)
jne 0xf6b7
movq (%r15), %rsi
leaq 0x20(%r15), %rdx
movq %r13, %rdi
movq %r12, %rcx
movl $0x1, %r8d
movq %r12, %r9
callq 0x113b8
movq 0x50(%r15), %rsi
movq 0x58(%r15), %rdx
leaq 0x1e8(%rsp), %rdi
callq 0xb530
movl $0x1, 0x178(%rsp)
movq %rbp, %rdi
movq %r13, %rsi
callq 0xf71e
movq 0x10(%r14), %rdi
movq (%rdi), %rax
movq %rbp, %rsi
callq *0x80(%rax)
movq %rbp, %rdi
callq 0xe58e
movq %r13, %rdi
callq 0x1519a
addq $0x78, %r15
cmpq %rbx, %r15
jne 0xf64a
movq 0x8(%rsp), %rsi
addq $0x8, %rsi
movq 0x10(%r14), %rdi
movq (%rdi), %rax
callq *0x80(%rax)
movb $0x1, %al
addq $0x368, %rsp            # imm = 0x368
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xf6ec
movq %rax, %rbx
jmp 0xf6fe
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0xe58e
leaq 0xc8(%rsp), %rdi
callq 0x1519a
movq %rbx, %rdi
callq 0xb820
nop
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::trim(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
std::string trim( std::string const& str ) {
        static char const* whitespaceChars = "\n\r\t ";
        std::string::size_type start = str.find_first_not_of( whitespaceChars );
        std::string::size_type end = str.find_last_not_of( whitespaceChars );

        return start != std::string::npos ? str.substr( start, 1+end-start ) : "";
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x34d3d(%rip), %r12     # 0x4498c
movl $0x4, %ecx
movq %rsi, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0xb7a0
movq %rax, %r15
movl $0x4, %ecx
movq %r14, %rdi
movq %r12, %rsi
movq $-0x1, %rdx
callq 0xb730
cmpq $-0x1, %r15
je 0xfc9a
subq %r15, %rax
incq %rax
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
movq %rax, %rcx
callq 0xb4d0
jmp 0xfcb3
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0x35d39(%rip), %rdx     # 0x459e1
movq %rbx, %rdi
movq %rdx, %rsi
callq 0x31a82
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::operator<<(std::ostream&, Catch::pluralise const&)
std::ostream& operator << ( std::ostream& os, pluralise const& pluraliser ) {
        os << pluraliser.m_count << " " << pluraliser.m_label;
        if( pluraliser.m_count != 1 )
            os << "s";
        return os;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq (%rsi), %rsi
callq 0xb300
movq %rax, %r15
leaq 0x349df(%rip), %rsi     # 0x4498f
movl $0x1, %edx
movq %rax, %rdi
callq 0xb530
movq 0x8(%r14), %rsi
movq 0x10(%r14), %rdx
movq %r15, %rdi
callq 0xb530
cmpq $0x1, (%r14)
je 0xffe7
leaq 0x34e2b(%rip), %rsi     # 0x44e05
movl $0x1, %edx
movq %rbx, %rdi
callq 0xb530
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::throwLogicError(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, Catch::SourceLineInfo const&)
void throwLogicError( std::string const& message, SourceLineInfo const& locationInfo ) {
        std::ostringstream oss;
        oss << locationInfo << ": Internal Catch error: '" << message << "'";
        if( alwaysTrue() )
            throw std::logic_error( oss.str() );
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x198, %rsp            # imm = 0x198
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x20(%rsp), %r15
movq %r15, %rdi
callq 0xb5f0
movq %r15, %rdi
movq %r14, %rsi
callq 0xd423
leaq 0x3481d(%rip), %rsi     # 0x44991
leaq 0x20(%rsp), %rdi
movl $0x19, %edx
callq 0xb530
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
leaq 0x20(%rsp), %rdi
callq 0xb530
leaq 0x3508b(%rip), %rsi     # 0x45226
movl $0x1, %edx
movq %rax, %rdi
callq 0xb530
movl $0x10, %edi
callq 0xb1f0
movq %rax, %rbx
leaq 0x28(%rsp), %rsi
movq %rsp, %rdi
callq 0xb6f0
movb $0x1, %bpl
movq %rsp, %rsi
movq %rbx, %rdi
callq 0xb680
xorl %ebp, %ebp
movq 0x4fdef(%rip), %rsi     # 0x5ffc8
movq 0x4fdb8(%rip), %rdx     # 0x5ff98
movq %rbx, %rdi
callq 0xb7d0
movq %rax, %r14
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x10206
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
testb %bpl, %bpl
jne 0x10210
jmp 0x1021d
movq %rax, %r14
movq %rbx, %rdi
callq 0xb360
jmp 0x1021d
movq %rax, %r14
movq 0x4fd64(%rip), %rsi     # 0x5ff88
leaq 0x20(%rsp), %rdi
callq 0xb220
leaq 0x90(%rsp), %rdi
callq 0xb120
movq %r14, %rdi
callq 0xb820
nop
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::Section::~Section()
Section::~Section() {
        if( m_sectionIncluded ) {
            SectionEndInfo endInfo( m_info, m_assertions, m_timer.getElapsedSeconds() );
            if( std::uncaught_exception() )
                getResultCapture().sectionEndedEarly( endInfo );
            else
                getResultCapture().sectionEnded( endInfo );
        }
    }

// Assembly:
pushq %r14
pushq %rbx
subq $0x88, %rsp
movq %rdi, %rbx
leaq 0x4d54c(%rip), %rax     # 0x5d9b8
movq %rax, (%rdi)
cmpb $0x1, 0xa8(%rdi)
jne 0x10536
movq %rsp, %r14
movq %r14, %rdi
xorl %esi, %esi
callq 0xb710
imull $0xf4240, (%r14), %eax  # imm = 0xF4240
addl 0x8(%r14), %eax
subl 0xb0(%rbx), %eax
cvtsi2sd %rax, %xmm0
divsd 0x33b61(%rip), %xmm0    # 0x44008
leaq 0x90(%rbx), %rdx
leaq 0x8(%rbx), %rsi
movq %rsp, %rdi
callq 0x15390
callq 0xb060
testb %al, %al
je 0x104cf
callq 0xc1bc
movl $0x28, %ecx
jmp 0x104d9
callq 0xc1bc
movl $0x20, %ecx
movq (%rax), %rdx
movq %rsp, %rsi
movq %rax, %rdi
callq *(%rdx,%rcx)
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x10500
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x30(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1051b
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x10536
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x70(%rbx), %rdi
leaq 0x80(%rbx), %rax
cmpq %rax, %rdi
je 0x10551
movq (%rax), %rsi
incq %rsi
callq 0xb4a0
movq 0x48(%rbx), %rdi
leaq 0x58(%rbx), %rax
cmpq %rax, %rdi
je 0x10569
movq (%rax), %rsi
incq %rsi
callq 0xb4a0
movq 0x28(%rbx), %rdi
leaq 0x38(%rbx), %rax
cmpq %rax, %rdi
je 0x10581
movq (%rax), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rbx), %rdi
addq $0x18, %rbx
cmpq %rbx, %rdi
je 0x10599
movq (%rbx), %rsi
incq %rsi
callq 0xb4a0
addq $0x88, %rsp
popq %rbx
popq %r14
retq
movq %rax, %rdi
callq 0x14d37
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::Detail::rawMemoryToString[abi:cxx11](void const*, unsigned long)
std::string rawMemoryToString( const void *object, std::size_t size )
    {
        // Reverse order for little endian architectures
        int i = 0, end = static_cast<int>( size ), inc = 1;
        if( Endianness::which() == Endianness::Little ) {
            i = end-1;
            end = inc = -1;
        }

        unsigned char const *bytes = static_cast<unsigned char const *>(object);
        std::ostringstream os;
        os << "0x" << std::setfill('0') << std::hex;
        for( ; i != end; i += inc )
             os << std::setw(2) << static_cast<unsigned>(bytes[i]);
       return os.str();
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x178, %rsp            # imm = 0x178
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
movq %rsp, %r12
movq %r12, %rdi
callq 0xb5f0
leaq 0x343be(%rip), %rsi     # 0x449c5
movl $0x2, %edx
movq %r12, %rdi
callq 0xb530
movq (%rsp), %rax
movq -0x18(%rax), %rcx
leaq (%rsp,%rcx), %r12
cmpb $0x0, 0xe1(%r12)
jne 0x10645
movq %r12, %rdi
movl $0x20, %esi
callq 0xb460
movb $0x1, 0xe1(%r12)
movq (%rsp), %rax
movb $0x30, 0xe0(%r12)
movq -0x18(%rax), %rax
movl 0x18(%rsp,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%rsp,%rax)
movslq %r15d, %rax
movq %rsp, %r15
movq %rax, %r12
subq $0x1, %r12
jb 0x10693
movq (%rsp), %rcx
movq -0x18(%rcx), %rcx
movq $0x2, 0x10(%rsp,%rcx)
movzbl -0x1(%r14,%rax), %esi
movq %r15, %rdi
callq 0xb300
movq %r12, %rax
jmp 0x10669
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0xb6f0
movq 0x4f8e1(%rip), %rsi     # 0x5ff88
movq %rsp, %rdi
callq 0xb220
leaq 0x70(%rsp), %rdi
callq 0xb120
movq %rbx, %rax
addq $0x178, %rsp            # imm = 0x178
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x106cd
movq %rax, %rbx
movq 0x4f8b1(%rip), %rsi     # 0x5ff88
movq %rsp, %rdi
callq 0xb220
leaq 0x70(%rsp), %rdi
callq 0xb120
movq %rbx, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::toString(std::__cxx11::basic_string<wchar_t, std::char_traits<wchar_t>, std::allocator<wchar_t>> const&)
std::string toString( std::wstring const& value ) {

    std::string s;
    s.reserve( value.size() );
    for(size_t i = 0; i < value.size(); ++i )
        s += value[i] <= 0xff ? static_cast<char>( value[i] ) : '?';
    return Catch::toString( s );
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq $0x0, -0x8(%r12)
movb $0x0, (%r12)
movq 0x8(%rsi), %rsi
leaq 0x8(%rsp), %rdi
callq 0xb6e0
cmpq $0x0, 0x8(%r14)
je 0x10bd1
xorl %r13d, %r13d
movl $0x3f, %ebp
leaq 0x8(%rsp), %r15
movq (%r14), %rax
movl (%rax,%r13,4), %eax
cmpl $0x100, %eax            # imm = 0x100
cmovgel %ebp, %eax
movsbl %al, %esi
movq %r15, %rdi
callq 0xb3e0
incq %r13
cmpq 0x8(%r14), %r13
jb 0x10bae
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x106f1
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x10bf5
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rbx, %rax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x10c09
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x10c23
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rbx, %rdi
callq 0xb820
// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::toString[abi:cxx11](int)
std::string toString( int value ) {
    std::ostringstream oss;
    oss << value;
    if( value > Detail::hexThreshold )
        oss << " (0x" << std::hex << value << ")";
    return oss.str();
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x180, %rsp            # imm = 0x180
movl %esi, %ebp
movq %rdi, %rbx
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0xb5f0
movq %r14, %rdi
movl %ebp, %esi
callq 0xb7e0
cmpl $0x100, %ebp            # imm = 0x100
jl 0x10e27
leaq 0x33be0(%rip), %rsi     # 0x449c3
leaq 0x8(%rsp), %rdi
movl $0x4, %edx
callq 0xb530
leaq 0x8(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
movl 0x20(%rsp,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x20(%rsp,%rax)
movl %ebp, %esi
callq 0xb7e0
leaq 0x33b6d(%rip), %rsi     # 0x44987
movl $0x1, %edx
movq %rax, %rdi
callq 0xb530
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0xb6f0
movq 0x4f14d(%rip), %rsi     # 0x5ff88
leaq 0x8(%rsp), %rdi
callq 0xb220
leaq 0x78(%rsp), %rdi
callq 0xb120
movq %rbx, %rax
addq $0x180, %rsp            # imm = 0x180
popq %rbx
popq %r14
popq %rbp
retq
movq %rax, %rbx
movq 0x4f120(%rip), %rsi     # 0x5ff88
leaq 0x8(%rsp), %rdi
callq 0xb220
leaq 0x78(%rsp), %rdi
callq 0xb120
movq %rbx, %rdi
callq 0xb820