LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/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 0xc640
movq %r14, %rdi
movl %ebp, %esi
callq 0xc810
cmpl $0x100, %ebp            # imm = 0x100
jl 0xfeb9
leaq 0x25b4e(%rip), %rsi     # 0x359cf
leaq 0x8(%rsp), %rdi
callq 0xc4d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
movl %ebp, %esi
callq 0xc810
leaq 0x25ae2(%rip), %rsi     # 0x35993
movq %rax, %rdi
callq 0xc4d0
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0xc720
leaq 0x8(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rax
addq $0x180, %rsp            # imm = 0x180
popq %rbx
popq %r14
popq %rbp
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::toString[abi:cxx11](unsigned long)
std::string toString( unsigned long value ) {
    std::ostringstream oss;
    oss << value;
    if( value > Detail::hexThreshold )
        oss << " (0x" << std::hex << value << ")";
    return oss.str();
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x180, %rsp            # imm = 0x180
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0xc640
movq %r15, %rdi
movq %r14, %rsi
callq 0xc340
cmpq $0x100, %r14            # imm = 0x100
jb 0xff67
leaq 0x25aa1(%rip), %rsi     # 0x359cf
leaq 0x8(%rsp), %rdi
callq 0xc4d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
movq %r14, %rsi
callq 0xc340
leaq 0x25a34(%rip), %rsi     # 0x35993
movq %rax, %rdi
callq 0xc4d0
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0xc720
leaq 0x8(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rax
addq $0x180, %rsp            # imm = 0x180
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::toString[abi:cxx11](long long)
std::string toString( long long value ) {
    std::ostringstream oss;
    oss << value;
    if( value > Detail::hexThreshold )
        oss << " (0x" << std::hex << value << ")";
    return oss.str();
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x180, %rsp            # imm = 0x180
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0xc640
movq %r15, %rdi
movq %r14, %rsi
callq 0xc180
cmpq $0x100, %r14            # imm = 0x100
jl 0x10118
leaq 0x258f0(%rip), %rsi     # 0x359cf
leaq 0x8(%rsp), %rdi
callq 0xc4d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
movq %r14, %rsi
callq 0xc180
leaq 0x25883(%rip), %rsi     # 0x35993
movq %rax, %rdi
callq 0xc4d0
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0xc720
leaq 0x8(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rax
addq $0x180, %rsp            # imm = 0x180
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::toString[abi:cxx11](unsigned long long)
std::string toString( unsigned long long value ) {
    std::ostringstream oss;
    oss << value;
    if( value > Detail::hexThreshold )
        oss << " (0x" << std::hex << value << ")";
    return oss.str();
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x180, %rsp            # imm = 0x180
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0xc640
movq %r15, %rdi
movq %r14, %rsi
callq 0xc330
cmpq $0x100, %r14            # imm = 0x100
jb 0x101c7
leaq 0x25841(%rip), %rsi     # 0x359cf
leaq 0x8(%rsp), %rdi
callq 0xc4d0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movl 0x18(%rax,%rcx), %edx
andl $-0x4b, %edx
orl $0x8, %edx
movl %edx, 0x18(%rax,%rcx)
movq %rax, %rdi
movq %r14, %rsi
callq 0xc330
leaq 0x257d4(%rip), %rsi     # 0x35993
movq %rax, %rdi
callq 0xc4d0
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0xc720
leaq 0x8(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rax
addq $0x180, %rsp            # imm = 0x180
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::ResultBuilder::captureExpectedException(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
void ResultBuilder::captureExpectedException( std::string const& expectedMessage ) {
        if( expectedMessage.empty() )
            captureExpectedException( Matchers::Impl::Generic::AllOf<std::string>() );
        else
            captureExpectedException( Matchers::Equals( expectedMessage ) );
    }

// Assembly:
pushq %r14
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
cmpq $0x0, 0x8(%rsi)
je 0x10589
movq %rsp, %r14
movq %r14, %rdi
xorl %edx, %edx
callq 0x1ab80
movq %rbx, %rdi
movq %r14, %rsi
callq 0x105de
movq %rsp, %rdi
callq 0x117a8
jmp 0x105b6
movq %rsp, %rsi
andl $0x0, 0x8(%rsi)
leaq 0x42da9(%rip), %rax     # 0x53340
movq %rax, (%rsi)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rsi)
andq $0x0, 0x20(%rsi)
movq %rbx, %rdi
callq 0x105de
movq %rsp, %rdi
callq 0x12e9c
addq $0x38, %rsp
popq %rbx
popq %r14
retq
movq %rax, %rbx
movq %rsp, %rdi
callq 0x12e9c
jmp 0x105d6
movq %rax, %rbx
movq %rsp, %rdi
callq 0x117a8
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::ResultBuilder::captureExpectedException(Catch::Matchers::Impl::Matcher<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>> const&)
void ResultBuilder::captureExpectedException( Matchers::Impl::Matcher<std::string> const& matcher ) {

        assert( m_exprComponents.testFalse == false );
        AssertionResultData data = m_data;
        data.resultType = ResultWas::Ok;
        data.reconstructedExpression = m_assertionInfo.capturedExpression;

        std::string actualMessage = Catch::translateActiveException();
        if( !matcher.match( actualMessage ) ) {
            data.resultType = ResultWas::ExpressionFailed;
            data.reconstructedExpression = actualMessage;
        }
        AssertionResult result( m_assertionInfo, data );
        handleResult( result );
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x120, %rsp            # imm = 0x120
cmpb $0x0, 0xb8(%rdi)
jne 0x10693
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x70(%rdi), %rsi
leaq 0x20(%rsp), %r15
movq %r15, %rdi
callq 0x1271e
andl $0x0, 0x40(%r15)
leaq 0x48(%rbx), %rsi
movq %r15, %rdi
callq 0xc260
movq %rsp, %rdi
callq 0xe183
movq (%r14), %rax
movq %rsp, %rsi
movq %r14, %rdi
callq *0x28(%rax)
testb %al, %al
jne 0x1064b
leaq 0x20(%rsp), %rdi
movl $0x11, 0x40(%rdi)
movq %rsp, %rsi
callq 0xc260
leaq 0x68(%rsp), %rdi
leaq 0x20(%rsp), %rdx
movq %rbx, %rsi
callq 0xe6c6
leaq 0x68(%rsp), %rsi
movq %rbx, %rdi
callq 0x106e8
leaq 0x68(%rsp), %rdi
callq 0xe6fc
movq %rsp, %rdi
callq 0xc978
leaq 0x20(%rsp), %rdi
callq 0x1275c
addq $0x120, %rsp            # imm = 0x120
popq %rbx
popq %r14
popq %r15
retq
leaq 0x25340(%rip), %rdi     # 0x359da
leaq 0x2535d(%rip), %rsi     # 0x359fe
leaq 0x25366(%rip), %rcx     # 0x35a0e
movl $0x1fc2, %edx           # imm = 0x1FC2
callq 0xc310
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0xe6fc
jmp 0x106cd
jmp 0x106ca
jmp 0x106c5
movq %rax, %rbx
jmp 0x106d5
movq %rax, %rbx
movq %rsp, %rdi
callq 0xc978
leaq 0x20(%rsp), %rdi
callq 0x1275c
movq %rbx, %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::ResultBuilder::handleResult(Catch::AssertionResult const&)
void ResultBuilder::handleResult( AssertionResult const& result )
    {
        getResultCapture().assertionEnded( result );

        if( !result.isOk() ) {
            if( getCurrentContext().getConfig()->shouldDebugBreak() )
                m_shouldDebugBreak = true;
            if( getCurrentContext().getRunner()->aborting() || (m_assertionInfo.resultDisposition & ResultDisposition::Normal) )
                m_shouldThrow = true;
        }
    }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %r14
movq %rdi, %rbx
callq 0xce4c
movq (%rax), %rcx
movq %rax, %rdi
movq %r14, %rsi
callq *0x10(%rcx)
testb $0x10, 0xb0(%r14)
je 0x10779
movl 0x68(%r14), %eax
andl $0x8, %eax
jne 0x10779
callq 0xe453
movq (%rax), %rcx
leaq 0x8(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq *0x30(%rcx)
movq (%r14), %rdi
movq (%rdi), %rax
callq *0x40(%rax)
movl %eax, %ebp
leaq 0x8(%rsp), %rdi
callq 0x11ae6
testb %bpl, %bpl
je 0x10751
movb $0x1, 0x298(%rbx)
callq 0xe453
movq (%rax), %rcx
movq %rax, %rdi
callq *0x18(%rcx)
movq (%rax), %rcx
movq %rax, %rdi
callq *0x10(%rcx)
testb %al, %al
jne 0x10772
testb $0x1, 0x68(%rbx)
je 0x10779
movb $0x1, 0x299(%rbx)
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x11ae6
movq %rbx, %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TagAliasRegistry::find(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) const
Option<TagAlias> TagAliasRegistry::find( std::string const& alias ) const {
        std::map<std::string, TagAlias>::const_iterator it = m_registry.find( alias );
        if( it != m_registry.end() )
            return it->second;
        else
            return Option<TagAlias>();
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x8(%rsi), %rdi
movq %rdx, %rsi
callq 0x28dc2
addq $0x10, %r14
cmpq %r14, %rax
je 0x10c3a
addq $0x40, %rax
movq %rbx, %rdi
movq %rax, %rsi
callq 0x12ef2
jmp 0x10c3e
andq $0x0, (%rbx)
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TagAliasRegistry::expandAliases(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) const
std::string TagAliasRegistry::expandAliases( std::string const& unexpandedTestSpec ) const {
        std::string expandedTestSpec = unexpandedTestSpec;
        for( std::map<std::string, TagAlias>::const_iterator it = m_registry.begin(), itEnd = m_registry.end();
                it != itEnd;
                ++it ) {
            std::size_t pos = expandedTestSpec.find( it->first );
            if( pos != std::string::npos ) {
                expandedTestSpec =  expandedTestSpec.substr( 0, pos ) +
                                    it->second.tag +
                                    expandedTestSpec.substr( pos + it->first.size() );
            }
        }
        return expandedTestSpec;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq %rdx, %rsi
callq 0xc650
movq 0x20(%r14), %r15
addq $0x10, %r14
movq %r14, (%rsp)
leaq 0x48(%rsp), %r12
cmpq (%rsp), %r15
je 0x10d30
leaq 0x20(%r15), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0xc940
cmpq $-0x1, %rax
je 0x10d20
movq %rax, %r13
movq %rbx, %rsi
movq %r12, %rbp
movq %r12, %rdi
xorl %edx, %edx
movq %rax, %rcx
callq 0xc520
leaq 0x40(%r15), %rdx
leaq 0x8(%rsp), %rdi
movq %rbp, %rsi
callq 0x12791
addq 0x28(%r15), %r13
leaq 0x28(%rsp), %rbp
movq %rbp, %rdi
movq %rbx, %rsi
movq %r13, %rdx
pushq $-0x1
popq %rcx
callq 0xc520
leaq 0x68(%rsp), %r14
movq %r14, %rdi
leaq 0x8(%rsp), %r13
movq %r13, %rsi
movq %rbp, %rdx
callq 0x12b34
movq %rbx, %rdi
movq %r14, %rsi
callq 0xc5d0
movq %r14, %rdi
callq 0xc978
movq %rbp, %rdi
callq 0xc978
movq %r13, %rdi
callq 0xc978
movq %r12, %rdi
callq 0xc978
movq %r15, %rdi
callq 0xc570
movq %rax, %r15
jmp 0x10c7a
movq %rbx, %rax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
leaq 0x28(%rsp), %rdi
callq 0xc978
jmp 0x10d61
movq %rax, %r14
jmp 0x10d75
movq %rax, %r14
jmp 0x10d6b
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x48(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0xc978
movq %r14, %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::RegistrarForTagAliases::RegistrarForTagAliases(char const*, char const*, Catch::SourceLineInfo const&)
RegistrarForTagAliases::RegistrarForTagAliases( char const* alias, char const* tag, SourceLineInfo const& lineInfo ) {
        try {
            TagAliasRegistry::get().add( alias, tag, lineInfo );
        }
        catch( std::exception& ex ) {
            Colour colourGuard( Colour::Red );
            Catch::cerr() << ex.what() << std::endl;
            exit(1);
        }
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r15
callq 0x1119a
leaq 0x433d4(%rip), %rdi     # 0x54618
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x10d86
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
cmpl $0x1, %edx
jne 0x112bb
movq %rbx, %rdi
callq 0xc1c0
movq %rax, %rbx
movb $0x0, 0xf(%rsp)
pushq $0x2
popq %rdi
callq 0xe4b0
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x10(%rax)
movq 0x42d5c(%rip), %rdi     # 0x53fe8
movq %rax, %rsi
callq 0xc4d0
movq %rax, %rdi
callq 0xc220
pushq $0x1
popq %rdi
callq 0xc5c0
movq %rax, %rbx
leaq 0xf(%rsp), %rdi
callq 0xe5a2
jmp 0x112b6
movq %rax, %rbx
callq 0xc790
movq %rbx, %rdi
callq 0xc840
movq %rax, %rdi
callq 0x12660
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::(anonymous namespace)::PosixColourImpl::use(Catch::Colour::Code)
virtual void use( Colour::Code _colourCode ) {
            switch( _colourCode ) {
                case Colour::None:
                case Colour::White:     return setColour( "[0m" );
                case Colour::Red:       return setColour( "[0;31m" );
                case Colour::Green:     return setColour( "[0;32m" );
                case Colour::Blue:      return setColour( "[0:34m" );
                case Colour::Cyan:      return setColour( "[0;36m" );
                case Colour::Yellow:    return setColour( "[0;33m" );
                case Colour::Grey:      return setColour( "[1;30m" );

                case Colour::LightGrey:     return setColour( "[0;37m" );
                case Colour::BrightRed:     return setColour( "[1;31m" );
                case Colour::BrightGreen:   return setColour( "[1;32m" );
                case Colour::BrightWhite:   return setColour( "[1;37m" );

                case Colour::Bright: throw std::logic_error( "not a colour" );
            }
        }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
cmpl $0x17, %esi
ja 0x11a77
movl %esi, %eax
leaq 0x23634(%rip), %rcx     # 0x35038
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x24268(%rip), %rdi     # 0x35c7c
jmp 0x11a6e
leaq 0x24294(%rip), %rdi     # 0x35cb1
jmp 0x11a6e
leaq 0x24284(%rip), %rdi     # 0x35caa
jmp 0x11a6e
leaq 0x24290(%rip), %rdi     # 0x35cbf
jmp 0x11a6e
leaq 0x24248(%rip), %rdi     # 0x35c80
jmp 0x11a6e
leaq 0x2424d(%rip), %rdi     # 0x35c8e
jmp 0x11a6e
leaq 0x2424b(%rip), %rdi     # 0x35c95
jmp 0x11a6e
leaq 0x24234(%rip), %rdi     # 0x35c87
jmp 0x11a6e
leaq 0x2425c(%rip), %rdi     # 0x35cb8
jmp 0x11a6e
leaq 0x24237(%rip), %rdi     # 0x35c9c
jmp 0x11a6e
leaq 0x24235(%rip), %rdi     # 0x35ca3
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x11ac2
addq $0x8, %rsp
popq %rbx
popq %r14
retq
pushq $0x10
popq %rdi
callq 0xc230
movq %rax, %rbx
leaq 0x24235(%rip), %rsi     # 0x35cc6
movq %rax, %rdi
callq 0xc680
movq 0x42528(%rip), %rsi     # 0x53fc8
movq 0x424f1(%rip), %rdx     # 0x53f98
movq %rbx, %rdi
callq 0xc800
movq %rax, %r14
movq %rbx, %rdi
callq 0xc390
movq %r14, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::RunContext::RunContext(Catch::Ptr<Catch::IConfig const> const&, Catch::Ptr<Catch::IStreamingReporter> const&)
explicit RunContext( Ptr<IConfig const> const& _config, Ptr<IStreamingReporter> const& reporter )
        :   m_runInfo( _config->name() ),
            m_context( getCurrentMutableContext() ),
            m_activeTestCase( CATCH_NULL ),
            m_config( _config ),
            m_reporter( reporter )
        {
            m_context.setRunner( this );
            m_context.setConfig( m_config );
            m_context.setResultCapture( this );
            m_reporter->testRunStarting( m_runInfo );
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdx, %r13
movq %rsi, %r15
movq %rdi, %r14
leaq 0x41448(%rip), %rax     # 0x530c0
movq %rax, (%rdi)
leaq 0x414ae(%rip), %rax     # 0x53130
movq %rax, 0x8(%rdi)
movq (%rsi), %rsi
movq (%rsi), %rax
leaq 0x28(%rsp), %rdi
callq *0x30(%rax)
leaq 0x10(%r14), %rbx
leaq 0x28(%rsp), %rsi
movq %rbx, %rdi
callq 0xc650
leaq 0x28(%rsp), %rdi
callq 0xc978
callq 0xe453
movq %rax, 0x30(%r14)
andq $0x0, 0x38(%r14)
leaq 0x50(%r14), %r12
movq %r12, %rdi
callq 0xe680
movq %r12, 0x20(%rsp)
movq (%r15), %rdi
movq %rdi, 0x108(%r14)
testq %rdi, %rdi
je 0x11ce3
movq (%rdi), %rax
callq *0x10(%rax)
leaq 0x108(%r14), %r12
xorps %xmm0, %xmm0
movups %xmm0, 0x130(%r14)
movups %xmm0, 0x120(%r14)
movups %xmm0, 0x110(%r14)
movq (%r13), %rdi
movq %rdi, 0x140(%r14)
testq %rdi, %rdi
je 0x11d1e
movq (%rdi), %rax
callq *0x10(%rax)
xorps %xmm0, %xmm0
leaq 0x140(%r14), %r13
movups %xmm0, 0x148(%r14)
andq $0x0, 0x158(%r14)
leaq 0x160(%r14), %rbp
movq %rbp, %rdi
callq 0x1266c
leaq 0x8(%r14), %rsi
leaq 0x1d0(%r14), %rax
movq %rax, 0x18(%rsp)
leaq 0x1e8(%r14), %rax
movq %rax, 0x10(%rsp)
leaq 0x200(%r14), %r15
xorps %xmm0, %xmm0
movups %xmm0, 0x200(%r14)
movups %xmm0, 0x1f0(%r14)
andl $0x0, 0x210(%r14)
movups %xmm0, 0x1e0(%r14)
movups %xmm0, 0x1d0(%r14)
movq 0x30(%r14), %rdi
movq (%rdi), %rax
callq *0x40(%rax)
movq 0x30(%r14), %rdi
movq (%rdi), %rax
movq %r12, %rsi
callq *0x48(%rax)
movq 0x30(%r14), %rdi
movq (%rdi), %rax
movq %r14, %rsi
callq *0x38(%rax)
movq (%r13), %rdi
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x30(%rax)
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, 0x8(%rsp)
jmp 0x11e41
movq %rax, 0x8(%rsp)
jmp 0x11e49
movq %rax, 0x8(%rsp)
jmp 0x11e2a
movq %rax, 0x8(%rsp)
leaq 0x28(%rsp), %rdi
jmp 0x11e56
movq %rax, 0x8(%rsp)
jmp 0x11e5b
movq %rax, 0x8(%rsp)
jmp 0x11e53
movq %rax, 0x8(%rsp)
movq %r15, %rdi
callq 0x1644e
movq 0x10(%rsp), %rdi
callq 0x16468
movq 0x18(%rsp), %rdi
callq 0x15cee
movq %rbp, %rdi
callq 0x126a4
addq $0x148, %r14            # imm = 0x148
movq %r14, %rdi
callq 0x130ec
movq %r13, %rdi
callq 0x11b00
movq %r12, %rdi
callq 0x11ae6
movq 0x20(%rsp), %rdi
callq 0xe6fc
movq %rbx, %rdi
callq 0xc978
movq 0x8(%rsp), %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestSpecParser::parse(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
TestSpecParser& parse( std::string const& arg ) {
            m_mode = None;
            m_exclusion = false;
            m_start = std::string::npos;
            m_arg = m_tagAliases->expandAliases( arg );
            for( m_pos = 0; m_pos < m_arg.size(); ++m_pos )
                visitChar( m_arg[m_pos] );
            if( m_mode == Name )
                addPattern<TestSpec::NamePattern>();
            return *this;
        }

// Assembly:
pushq %r14
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
andl $0x0, (%rdi)
movb $0x0, 0x4(%rdi)
orq $-0x1, 0x8(%rdi)
movq %rsi, %rdx
movq 0x68(%rdi), %rsi
movq (%rsi), %rax
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq *0x18(%rax)
leaq 0x18(%rbx), %rdi
movq %r14, %rsi
callq 0xc5d0
movq %r14, %rdi
callq 0xc978
xorl %eax, %eax
movq %rax, 0x10(%rbx)
cmpq 0x20(%rbx), %rax
jae 0x11f30
movq 0x18(%rbx), %rcx
movsbl (%rcx,%rax), %esi
movq %rbx, %rdi
callq 0x17990
movq 0x10(%rbx), %rax
incq %rax
jmp 0x11f0d
cmpl $0x1, (%rbx)
jne 0x11f3d
movq %rbx, %rdi
callq 0x17ab4
movq %rbx, %rax
addq $0x28, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestSpec::matches(Catch::TestCaseInfo const&) const
bool matches( TestCaseInfo const& testCase ) const {
            // A TestSpec matches if any filter matches
            for( std::vector<Filter>::const_iterator it = m_filters.begin(), itEnd = m_filters.end(); it != itEnd; ++it )
                if( it->matches( testCase ) )
                    return true;
            return false;
        }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq (%rdi), %rcx
movq 0x8(%rdi), %r15
movq %rcx, %r14
cmpq %r15, %rcx
je 0x1243a
movq %r14, %rdi
movq %rbx, %rsi
callq 0x18f34
leaq 0x18(%r14), %rcx
testb %al, %al
je 0x1241f
cmpq %r15, %r14
setne %al
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::extractClassName(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
inline std::string extractClassName( std::string const& classOrQualifiedMethodName ) {
        std::string className = classOrQualifiedMethodName;
        if( startsWith( className, "&" ) )
        {
            std::size_t lastColons = className.rfind( "::" );
            std::size_t penultimateColons = className.rfind( "::", lastColons-1 );
            if( penultimateColons == std::string::npos )
                penultimateColons = 1;
            className = className.substr( penultimateColons, lastColons-penultimateColons );
        }
        return className;
    }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
callq 0xc650
leaq 0x2370b(%rip), %rsi     # 0x35c65
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x11b1a
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0xe8e2
movl %eax, %ebp
leaq 0x10(%rsp), %rdi
callq 0xc978
testb %bpl, %bpl
je 0x125e5
leaq 0x236d9(%rip), %rsi     # 0x35c67
pushq $-0x1
popq %rdx
movq %rbx, %rdi
callq 0xc7e0
movq %rax, %r14
leaq -0x1(%rax), %rdx
leaq 0x236c0(%rip), %rsi     # 0x35c67
movq %rbx, %rdi
callq 0xc7e0
cmpq $-0x1, %rax
pushq $0x1
popq %rdx
cmovneq %rax, %rdx
subq %rdx, %r14
leaq 0x10(%rsp), %rdi
movq %rbx, %rsi
movq %r14, %rcx
callq 0xc520
leaq 0x10(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0xc5d0
movq %r14, %rdi
callq 0xc978
movq %rbx, %rax
addq $0x30, %rsp
popq %rbx
popq %r14
popq %rbp
retq
jmp 0x12606
jmp 0x12606
jmp 0x12606
movq %rax, %r14
leaq 0x10(%rsp), %rdi
callq 0xc978
jmp 0x12609
movq %rax, %r14
movq %rbx, %rdi
callq 0xc978
movq %r14, %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::parseSpecialTag(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
inline TestCaseInfo::SpecialProperties parseSpecialTag( std::string const& tag ) {
        if( startsWith( tag, "." ) ||
            tag == "hide" ||
            tag == "!hide" )
            return TestCaseInfo::IsHidden;
        else if( tag == "!throws" )
            return TestCaseInfo::Throws;
        else if( tag == "!shouldfail" )
            return TestCaseInfo::ShouldFail;
        else if( tag == "!mayfail" )
            return TestCaseInfo::MayFail;
        else
            return TestCaseInfo::None;
    }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
leaq 0x244e4(%rip), %rsi     # 0x36ce8
leaq 0x10(%rsp), %r14
leaq 0xf(%rsp), %rdx
movq %r14, %rdi
callq 0x11b1a
movq %rbx, %rdi
movq %r14, %rsi
callq 0xe8e2
testb %al, %al
jne 0x12838
leaq 0x234a8(%rip), %rsi     # 0x35cd4
movq %rbx, %rdi
callq 0x12e35
testb %al, %al
je 0x1284e
leaq 0x10(%rsp), %rdi
callq 0xc978
pushq $0x2
popq %rax
addq $0x30, %rsp
popq %rbx
popq %r14
popq %rbp
retq
leaq 0x2347e(%rip), %rsi     # 0x35cd3
movq %rbx, %rdi
callq 0x12e35
movl %eax, %ebp
leaq 0x10(%rsp), %rdi
callq 0xc978
testb %bpl, %bpl
jne 0x12842
leaq 0x23464(%rip), %rsi     # 0x35cd9
movq %rbx, %rdi
callq 0x12e35
testb %al, %al
je 0x12885
pushq $0x10
jmp 0x12844
leaq 0x23455(%rip), %rsi     # 0x35ce1
movq %rbx, %rdi
callq 0x12e35
testb %al, %al
je 0x1289c
pushq $0x4
jmp 0x12844
leaq 0x2344a(%rip), %rsi     # 0x35ced
movq %rbx, %rdi
callq 0x12e35
movzbl %al, %eax
shll $0x3, %eax
jmp 0x12845
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::enforceNotReservedTag(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, Catch::SourceLineInfo const&)
inline void enforceNotReservedTag( std::string const& tag, SourceLineInfo const& _lineInfo ) {
        if( isReservedTag( tag ) ) {
            {
                Colour colourGuard( Colour::Red );
                Catch::cerr()
                    << "Tag name [" << tag << "] not allowed.\n"
                    << "Tag names starting with non alpha-numeric characters are reserved\n";
            }
            {
                Colour colourGuard( Colour::FileName );
                Catch::cerr() << _lineInfo << std::endl;
            }
            exit(1);
        }
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
callq 0x1a549
testb %al, %al
jne 0x128e3
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movb $0x0, 0x7(%rsp)
pushq $0x2
popq %rdi
callq 0xe4b0
movq 0x416f1(%rip), %rdi     # 0x53fe8
leaq 0x233f8(%rip), %rsi     # 0x35cf6
callq 0xc4d0
movq %rax, %rdi
movq %r14, %rsi
callq 0xc430
leaq 0x233ec(%rip), %rsi     # 0x35d01
movq %rax, %rdi
callq 0xc4d0
leaq 0x233ed(%rip), %rsi     # 0x35d11
movq %rax, %rdi
callq 0xc4d0
leaq 0x7(%rsp), %rdi
callq 0xe5a2
movb $0x0, 0x6(%rsp)
pushq $0x17
popq %rdi
callq 0xe4b0
movq 0x4169e(%rip), %rdi     # 0x53fe8
movq %rbx, %rsi
callq 0xdb57
movq 0x4168f(%rip), %rdi     # 0x53fe8
callq 0xc220
leaq 0x6(%rsp), %rdi
callq 0xe5a2
pushq $0x1
popq %rdi
callq 0xc5c0
movq %rax, %rbx
leaq 0x6(%rsp), %rdi
jmp 0x12982
movq %rax, %rbx
leaq 0x7(%rsp), %rdi
callq 0xe5a2
movq %rbx, %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> Catch::fpToString<double>(double, int)
std::string fpToString( T value, int precision ) {
    std::ostringstream oss;
    oss << std::setprecision( precision )
        << std::fixed
        << value;
    std::string d = oss.str();
    std::size_t i = d.find_last_not_of( '0' );
    if( i != std::string::npos && i != d.size()-1 ) {
        if( d[i] == '.' )
            i++;
        d = d.substr( 0, i+1 );
    }
    return d;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x1a0, %rsp            # imm = 0x1A0
movl %esi, %ebp
movsd %xmm0, (%rsp)
movq %rdi, %rbx
leaq 0x28(%rsp), %r14
movq %r14, %rdi
callq 0xc640
movq (%r14), %rax
movq -0x18(%rax), %rcx
movslq %ebp, %rdx
movq %rdx, 0x30(%rsp,%rcx)
movq -0x18(%rax), %rax
movl $0xfffffefb, %ecx       # imm = 0xFFFFFEFB
andl 0x40(%rsp,%rax), %ecx
orl $0x4, %ecx
movl %ecx, 0x40(%rsp,%rax)
movq %r14, %rdi
movsd (%rsp), %xmm0
callq 0xc750
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0xc720
pushq $0x30
popq %rsi
pushq $-0x1
popq %rdx
movq %rbx, %rdi
callq 0xc350
cmpq $-0x1, %rax
je 0x12d04
movq 0x8(%rbx), %rcx
decq %rcx
cmpq %rcx, %rax
je 0x12d04
movq (%rbx), %rcx
xorl %edx, %edx
cmpb $0x2e, (%rcx,%rax)
sete %dl
leaq (%rax,%rdx), %rcx
incq %rcx
leaq 0x8(%rsp), %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0xc520
leaq 0x8(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0xc5d0
movq %r14, %rdi
callq 0xc978
leaq 0x28(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rax
addq $0x1a0, %rsp            # imm = 0x1A0
popq %rbx
popq %r14
popq %rbp
retq
movq %rax, %r14
movq %rbx, %rdi
callq 0xc978
jmp 0x12d2d
movq %rax, %r14
leaq 0x28(%rsp), %rdi
callq 0xc0e0
movq %r14, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::Session::Session()
Session()
        : m_cli( makeCommandLineParser() ) {
            if( alreadyInstantiated ) {
                std::string msg = "Only one instance of Catch::Session can ever be used";
                Catch::cerr() << msg << std::endl;
                throw std::logic_error( msg );
            }
            alreadyInstantiated = true;
        }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rdi, %r14
leaq 0x401a5(%rip), %rax     # 0x53450
movq %rax, (%rdi)
leaq 0x8(%rdi), %rbx
movq %rbx, %rdi
callq 0x1b2e4
xorps %xmm0, %xmm0
movups %xmm0, 0x68(%r14)
andq $0x0, 0x78(%r14)
leaq 0x80(%r14), %r15
movq %r15, %rdi
callq 0x1c3b0
andq $0x0, 0x138(%r14)
cmpb $0x1, 0x412b5(%rip)     # 0x5459a
je 0x132fc
movb $0x1, 0x412ac(%rip)     # 0x5459a
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x22a5e(%rip), %rsi     # 0x35d61
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x11b1a
movq 0x40ccf(%rip), %rdi     # 0x53fe8
leaq 0x10(%rsp), %rsi
callq 0xc430
movq %rax, %rdi
callq 0xc220
pushq $0x10
popq %rdi
callq 0xc230
movq %rax, %r13
leaq 0x10(%rsp), %rsi
movq %rax, %rdi
callq 0xc6c0
movq 0x40c7e(%rip), %rsi     # 0x53fc8
movq 0x40c47(%rip), %rdx     # 0x53f98
movq %r13, %rdi
callq 0xc800
movq %rax, %r12
movq %r13, %rdi
callq 0xc390
jmp 0x13369
movq %rax, %r12
leaq 0x10(%rsp), %rdi
callq 0xc978
jmp 0x13378
movq %rax, %r12
leaq 0x68(%r14), %r13
addq $0x138, %r14            # imm = 0x138
movq %r14, %rdi
callq 0x1c414
movq %r15, %rdi
callq 0x1c42e
movq %r13, %rdi
callq 0x1c46a
movq %rbx, %rdi
callq 0x1c48c
movq %r12, %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::WildcardPattern::matches(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) const
virtual bool matches( std::string const& str ) const {
            switch( m_wildcard ) {
                case NoWildcard:
                    return m_pattern == adjustCase( str );
                case WildcardAtStart:
                    return endsWith( adjustCase( str ), m_pattern );
                case WildcardAtEnd:
                    return startsWith( adjustCase( str ), m_pattern );
                case WildcardAtBothEnds:
                    return contains( adjustCase( str ), m_pattern );
            }

#ifdef __clang__
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wunreachable-code"
#endif
            throw std::logic_error( "Unknown enum" );
#ifdef __clang__
#pragma clang diagnostic pop
#endif
        }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x20, %rsp
movl 0xc(%rdi), %eax
cmpq $0x3, %rax
ja 0x13916
movq %rsi, %rdx
movq %rdi, %rbx
leaq 0x2179d(%rip), %rcx     # 0x35010
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x10(%rbx), %r14
movq %rsp, %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x18448
movq %r14, %rdi
movq %r15, %rsi
callq 0x12a23
movl %eax, %ebx
movq %r15, %rdi
jmp 0x13905
movq %rsp, %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x18448
addq $0x10, %rbx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xe8e2
jmp 0x13900
movq %rsp, %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x18448
addq $0x10, %rbx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xf415
movl %eax, %ebx
movq %r14, %rdi
jmp 0x13905
movq %rsp, %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0x18448
addq $0x10, %rbx
movq %r14, %rdi
movq %rbx, %rsi
callq 0xf3cb
movl %eax, %ebx
movq %rsp, %rdi
callq 0xc978
movl %ebx, %eax
addq $0x20, %rsp
popq %rbx
popq %r14
popq %r15
retq
pushq $0x10
popq %rdi
callq 0xc230
movq %rax, %r14
leaq 0x22cc2(%rip), %rsi     # 0x365ea
movq %rax, %rdi
callq 0xc680
movq 0x40691(%rip), %rsi     # 0x53fc8
movq 0x4065a(%rip), %rdx     # 0x53f98
movq %r14, %rdi
callq 0xc800
movq %rax, %rbx
movq %r14, %rdi
callq 0xc390
jmp 0x13960
jmp 0x13955
movq %rax, %rbx
movq %rsp, %rdi
callq 0xc978
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestCaseTracking::TrackerBase::close()
virtual void close() CATCH_OVERRIDE {

            // Close any still open children (e.g. generators)
            while( &m_ctx.currentTracker() != this )
                m_ctx.currentTracker().close();

            switch( m_runState ) {
                case NotStarted:
                case CompletedSuccessfully:
                case Failed:
                    throw std::logic_error( "Illogical state" );

                case NeedsAnotherRun:
                    break;;

                case Executing:
                    m_runState = CompletedSuccessfully;
                    break;
                case ExecutingChildren:
                    if( m_children.empty() || m_children.back()->isComplete() )
                        m_runState = CompletedSuccessfully;
                    break;

                default:
                    throw std::logic_error( "Unexpected state" );
            }
            moveToParent();
            m_ctx.completeCycle();
        }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x30(%rbx), %rax
movq 0x8(%rax), %rdi
cmpq %rbx, %rdi
je 0x13b48
movq (%rdi), %rax
callq *0x50(%rax)
jmp 0x13b33
movl 0x58(%rbx), %eax
cmpq $0x5, %rax
ja 0x13bb7
leaq 0x214c8(%rip), %rcx     # 0x35020
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x48(%rbx), %rax
cmpq %rax, 0x40(%rbx)
je 0x13b79
movq -0x8(%rax), %rdi
movq (%rdi), %rax
callq *0x28(%rax)
testb %al, %al
je 0x13b80
movl $0x4, 0x58(%rbx)
movq %rbx, %rdi
callq 0x21a60
movq 0x30(%rbx), %rax
movl $0x2, 0x10(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
pushq $0x10
popq %rdi
callq 0xc230
movq %rax, %rbx
leaq 0x22a94(%rip), %rsi     # 0x36641
movq %rax, %rdi
callq 0xc680
jmp 0x13bd1
pushq $0x10
popq %rdi
callq 0xc230
movq %rax, %rbx
leaq 0x22a88(%rip), %rsi     # 0x36651
movq %rax, %rdi
callq 0xc680
movq 0x403f0(%rip), %rsi     # 0x53fc8
movq 0x403b9(%rip), %rdx     # 0x53f98
movq %rbx, %rdi
callq 0xc800
jmp 0x13be9
movq %rax, %r14
movq %rbx, %rdi
callq 0xc390
movq %r14, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestCaseTracking::TrackerBase::fail()
virtual void fail() CATCH_OVERRIDE {
            m_runState = Failed;
            if( m_parent )
                m_parent->markAsNeedingAnotherRun();
            moveToParent();
            m_ctx.completeCycle();
        }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movl $0x5, 0x58(%rdi)
movq 0x38(%rdi), %rdi
testq %rdi, %rdi
je 0x13c16
movq (%rdi), %rax
callq *0x60(%rax)
movq %rbx, %rdi
callq 0x21a60
movq 0x30(%rbx), %rax
movl $0x2, 0x10(%rax)
popq %rbx
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestCaseTracking::TrackerBase::findChild(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
virtual ITracker* findChild( std::string const& name ) CATCH_OVERRIDE {
            Children::const_iterator it = std::find_if( m_children.begin(), m_children.end(), TrackerHasName( name ) );
            return( it != m_children.end() )
                ? it->get()
                : CATCH_NULL;
        }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movq 0x40(%rdi), %r14
movq 0x48(%rdi), %r15
leaq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0xc650
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x21d23
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0xc978
cmpq 0x48(%rbx), %r14
je 0x13c87
movq (%r14), %rax
jmp 0x13c89
xorl %eax, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestCaseTracking::TrackerBase::openChild()
virtual void openChild() CATCH_OVERRIDE {
            if( m_runState != ExecutingChildren ) {
                m_runState = ExecutingChildren;
                if( m_parent )
                    m_parent->openChild();
            }
        }

// Assembly:
cmpl $0x2, 0x58(%rdi)
je 0x13cc6
movl $0x2, 0x58(%rdi)
movq 0x38(%rdi), %rdi
testq %rdi, %rdi
je 0x13cc6
movq (%rdi), %rax
jmpq *0x78(%rax)
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestRegistry::getAllTestsSorted(Catch::IConfig const&) const
virtual std::vector<TestCase> const& getAllTestsSorted( IConfig const& config ) const {
            if( m_sortedFunctions.empty() )
                enforceNoDuplicateTestCases( m_functions );

            if(  m_currentSortOrder != config.runOrder() || m_sortedFunctions.empty() ) {
                m_sortedFunctions = sortTests( config, m_functions );
                m_currentSortOrder = config.runOrder();
            }
            return m_sortedFunctions;
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq 0x28(%rdi), %rax
cmpq 0x30(%rdi), %rax
jne 0x13d15
leaq 0x8(%rbx), %rdi
callq 0xda1e
leaq 0x28(%rbx), %r15
movl 0x20(%rbx), %ebp
movq (%r14), %rax
movq %r14, %rdi
callq *0x70(%rax)
cmpl %eax, %ebp
jne 0x13d33
movq 0x28(%rbx), %rax
cmpq 0x30(%rbx), %rax
jne 0x13d66
leaq 0x8(%rbx), %rdx
leaq 0x8(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0x21f82
movq %r15, %rdi
movq %r12, %rsi
callq 0x22bb8
movq %r12, %rdi
callq 0x12522
movq (%r14), %rax
movq %r14, %rdi
callq *0x70(%rax)
movl %eax, 0x20(%rbx)
movq %r15, %rax
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TestRegistry::registerTest(Catch::TestCase const&)
virtual void registerTest( TestCase const& testCase ) {
            std::string name = testCase.getTestCaseInfo().name;
            if( name == "" ) {
                std::ostringstream oss;
                oss << "Anonymous test case " << ++m_unnamedCount;
                return registerTest( testCase.withName( oss.str() ) );
            }
            m_functions.push_back( testCase );
        }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x2d0, %rsp            # imm = 0x2D0
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x20(%rsp), %r15
movq %r15, %rdi
callq 0xc650
leaq 0x22c56(%rip), %rsi     # 0x369f2
movq %r15, %rdi
callq 0x12e35
testb %al, %al
je 0x13e2f
leaq 0x158(%rsp), %rdi
callq 0xc640
leaq 0x228dc(%rip), %rsi     # 0x3669c
leaq 0x158(%rsp), %rdi
callq 0xc4d0
movq 0x40(%rbx), %rsi
incq %rsi
movq %rsi, 0x40(%rbx)
movq %rax, %rdi
callq 0xc340
leaq 0x160(%rsp), %rsi
movq %rsp, %rdi
callq 0xc720
leaq 0x40(%rsp), %rdi
movq %rsp, %rdx
movq %r14, %rsi
callq 0xec1a
movq (%rbx), %rax
leaq 0x40(%rsp), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
leaq 0x40(%rsp), %rdi
callq 0x1261a
movq %rsp, %rdi
callq 0xc978
leaq 0x158(%rsp), %rdi
callq 0xc0e0
jmp 0x13e3e
addq $0x8, %rbx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x124f2
leaq 0x20(%rsp), %rdi
callq 0xc978
addq $0x2d0, %rsp            # imm = 0x2D0
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x40(%rsp), %rdi
callq 0x1261a
jmp 0x13e67
movq %rax, %rbx
movq %rsp, %rdi
callq 0xc978
jmp 0x13e7d
jmp 0x13e7a
jmp 0x13e75
movq %rax, %rbx
jmp 0x13e8a
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
callq 0xc0e0
leaq 0x20(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::CumulativeReporterBase::sectionStarting(Catch::SectionInfo const&)
virtual void sectionStarting( SectionInfo const& sectionInfo ) CATCH_OVERRIDE {
            SectionStats incompleteStats( sectionInfo, Counts(), 0, false );
            Ptr<SectionNode> node;
            if( m_sectionStack.empty() ) {
                if( !m_rootSection )
                    m_rootSection = new SectionNode( incompleteStats );
                node = m_rootSection;
            }
            else {
                SectionNode& parentNode = *m_sectionStack.back();
                SectionNode::ChildSections::const_iterator it =
                    std::find_if(   parentNode.childSections.begin(),
                                    parentNode.childSections.end(),
                                    BySectionInfo( sectionInfo ) );
                if( it == parentNode.childSections.end() ) {
                    node = new SectionNode( incompleteStats );
                    parentNode.childSections.push_back( node );
                }
                else
                    node = *it;
            }
            m_sectionStack.push_back( node );
            m_deepestSection = node;
        }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0xc0, %rsp
movq %rsi, %r15
movq %rdi, %rbx
xorps %xmm0, %xmm0
movq %rsp, %r14
movaps %xmm0, (%r14)
andq $0x0, 0x10(%r14)
leaq 0x28(%rsp), %rdi
xorps %xmm0, %xmm0
movq %r14, %rdx
xorl %ecx, %ecx
callq 0x16f8a
andq $0x0, (%r14)
movq 0xb0(%rbx), %rax
cmpq %rax, 0xa8(%rbx)
je 0x13fca
movq -0x8(%rax), %r14
movq 0xa8(%r14), %rdi
movq 0xb0(%r14), %rsi
leaq 0x20(%rsp), %rdx
movq %r15, (%rdx)
callq 0x2304a
cmpq 0xb0(%r14), %rax
je 0x1400d
movq %rsp, %rdi
movq %rax, %rsi
callq 0x23016
jmp 0x14044
leaq 0x98(%rbx), %r14
cmpq $0x0, 0x98(%rbx)
jne 0x14000
movl $0x118, %edi            # imm = 0x118
callq 0xc4e0
movq %rax, %r15
leaq 0x28(%rsp), %rsi
movq %rax, %rdi
callq 0x22f72
movq %r14, %rdi
movq %r15, %rsi
callq 0x22fe2
movq %rsp, %rdi
movq %r14, %rsi
callq 0x23016
jmp 0x14044
movl $0x118, %edi            # imm = 0x118
callq 0xc4e0
movq %rax, %r15
leaq 0x28(%rsp), %rsi
movq %rax, %rdi
callq 0x22f72
movq %rsp, %rdi
movq %r15, %rsi
callq 0x22fe2
addq $0xa8, %r14
movq %rsp, %rsi
movq %r14, %rdi
callq 0x2305c
leaq 0xa8(%rbx), %rdi
movq %rsp, %rsi
callq 0x2305c
addq $0xa0, %rbx
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x23016
movq %rsp, %rdi
callq 0x13152
leaq 0x28(%rsp), %rdi
callq 0x113f6
addq $0xc0, %rsp
popq %rbx
popq %r14
popq %r15
retq
jmp 0x14086
movq %rax, %rbx
movl $0x118, %esi            # imm = 0x118
movq %r15, %rdi
callq 0xc500
jmp 0x1409f
jmp 0x1409c
jmp 0x1409c
movq %rax, %rbx
movq %rsp, %rdi
callq 0x13152
leaq 0x28(%rsp), %rdi
callq 0x113f6
movq %rbx, %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::CumulativeReporterBase::assertionEnded(Catch::AssertionStats const&)
virtual bool assertionEnded( AssertionStats const& assertionStats ) {
            assert( !m_sectionStack.empty() );
            SectionNode& sectionNode = *m_sectionStack.back();
            sectionNode.assertions.push_back( assertionStats );
            return true;
        }

// Assembly:
pushq %rax
movq 0xb0(%rdi), %rax
cmpq %rax, 0xa8(%rdi)
je 0x140df
movl $0xc0, %edi
addq -0x8(%rax), %rdi
callq 0x2344e
movb $0x1, %al
popq %rcx
retq
leaq 0x225cb(%rip), %rdi     # 0x366b1
leaq 0x21911(%rip), %rsi     # 0x359fe
leaq 0x225d5(%rip), %rcx     # 0x366c9
movl $0x2193, %edx           # imm = 0x2193
callq 0xc310
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::CumulativeReporterBase::testCaseEnded(Catch::TestCaseStats const&)
virtual void testCaseEnded( TestCaseStats const& testCaseStats ) CATCH_OVERRIDE {
            Ptr<TestCaseNode> node = new TestCaseNode( testCaseStats );
            assert( m_sectionStack.size() == 0 );
            node->children.push_back( m_rootSection );
            m_testCases.push_back( node );
            m_rootSection.reset();

            assert( m_deepestSection );
            m_deepestSection->stdOut = testCaseStats.stdOut;
            m_deepestSection->stdErr = testCaseStats.stdErr;
        }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movl $0x1b8, %edi            # imm = 0x1B8
callq 0xc4e0
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x238ec
movq %r15, (%rsp)
movq (%r15), %rax
movq %r15, %rdi
callq *0x10(%rax)
movq 0xb0(%r14), %rax
cmpq 0xa8(%r14), %rax
jne 0x1420c
addq $0x1a0, %r15            # imm = 0x1A0
leaq 0x98(%r14), %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x2305c
leaq 0x50(%r14), %rdi
movq %rsp, %rsi
callq 0x2391c
movq %r12, %rdi
callq 0x23956
movq 0xa0(%r14), %rdi
testq %rdi, %rdi
je 0x1422b
leaq 0x148(%rbx), %rsi
addq $0xd8, %rdi
callq 0xc260
addq $0x168, %rbx            # imm = 0x168
movl $0xf8, %edi
addq 0xa0(%r14), %rdi
movq %rbx, %rsi
callq 0xc260
movq %rsp, %rdi
callq 0x2396e
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x22558(%rip), %rdi     # 0x3676b
leaq 0x217e4(%rip), %rsi     # 0x359fe
leaq 0x22565(%rip), %rcx     # 0x36786
movl $0x21a0, %edx           # imm = 0x21A0
callq 0xc310
leaq 0x225a5(%rip), %rdi     # 0x367d7
leaq 0x217c5(%rip), %rsi     # 0x359fe
leaq 0x22546(%rip), %rcx     # 0x36786
movl $0x21a5, %edx           # imm = 0x21A5
callq 0xc310
movq %rax, %rbx
movl $0x1b8, %esi            # imm = 0x1B8
movq %r15, %rdi
callq 0xc500
jmp 0x14267
movq %rax, %rbx
movq %rsp, %rdi
callq 0x2396e
movq %rbx, %rdi
callq 0xc840
nop
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::CumulativeReporterBase::testRunEnded(Catch::TestRunStats const&)
virtual void testRunEnded( TestRunStats const& testRunStats ) CATCH_OVERRIDE {
            Ptr<TestRunNode> node = new TestRunNode( testRunStats );
            node->children.swap( m_testGroups );
            m_testRuns.push_back( node );
            testRunEndedCumulative();
        }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %r15
movq %rdi, %rbx
movl $0x88, %edi
callq 0xc4e0
movq %rax, %r14
movq %rax, %rdi
movq %r15, %rsi
callq 0x2405e
leaq 0x8(%rsp), %r15
movq %r14, (%r15)
movq (%r14), %rax
movq %r14, %rdi
callq *0x10(%rax)
addq $0x70, %r14
leaq 0x68(%rbx), %rsi
movq %r14, %rdi
callq 0x24166
leaq 0x80(%rbx), %rdi
movq %r15, %rsi
callq 0x2408a
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x88(%rax)
leaq 0x8(%rsp), %rdi
callq 0x240c4
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rbx
movl $0x88, %esi
movq %r14, %rdi
callq 0xc500
jmp 0x14398
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x240c4
movq %rbx, %rdi
callq 0xc840
// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::XmlReporter::testRunStarting(Catch::TestRunInfo const&)
virtual void testRunStarting( TestRunInfo const& testInfo ) CATCH_OVERRIDE {
            StreamingReporterBase::testRunStarting( testInfo );
            m_xml.setStream( stream );
            m_xml.startElement( "Catch" );
            if( !m_config->name().empty() )
                m_xml.writeAttribute( "name", m_config->name() );
        }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdi, %rbx
addq $0x20, %rdi
callq 0x22c0a
movq 0x18(%rbx), %rax
movq %rax, 0x218(%rbx)
leaq 0x2241b(%rip), %rsi     # 0x367e8
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %rdx
callq 0x11b1a
leaq 0x1d8(%rbx), %r14
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x243dc
leaq 0x8(%rsp), %rdi
callq 0xc978
movq 0x10(%rbx), %rsi
movq (%rsi), %rax
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq *0x30(%rax)
movq 0x8(%r15), %r12
movq %r15, %rdi
callq 0xc978
testq %r12, %r12
je 0x14468
leaq 0x21af6(%rip), %rsi     # 0x35f1a
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x11b1a
movq 0x10(%rbx), %rsi
movq (%rsi), %rax
leaq 0x28(%rsp), %rdi
callq *0x30(%rax)
leaq 0x8(%rsp), %rsi
leaq 0x28(%rsp), %rdx
movq %r14, %rdi
callq 0x24446
leaq 0x28(%rsp), %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0xc978
jmp 0x1448a
jmp 0x14487
jmp 0x14496
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xc978
jmp 0x14499
movq %rax, %rbx
movq %rbx, %rdi
callq 0xc840
nop