// File: /workspace/github_cpp_makefile_star2_O3/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::JunitReporter::writeSection(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, Catch::CumulativeReporterBase::SectionNode const&)
void writeSection(  std::string const& className,
                            std::string const& rootName,
                            SectionNode const& sectionNode ) {
            std::string name = trim( sectionNode.stats.sectionInfo.name );
            if( !rootName.empty() )
                name = rootName + "/" + name;

            if( !sectionNode.assertions.empty() ||
                !sectionNode.stdOut.empty() ||
                !sectionNode.stdErr.empty() ) {
                XmlWriter::ScopedElement e = xml.scopedElement( "testcase" );
                if( className.empty() ) {
                    xml.writeAttribute( "classname", name );
                    xml.writeAttribute( "name", "root" );
                }
                else {
                    xml.writeAttribute( "classname", className );
                    xml.writeAttribute( "name", name );
                }
                xml.writeAttribute( "time", Catch::toString( sectionNode.stats.durationInSeconds ) );

                writeAssertions( sectionNode );

                if( !sectionNode.stdOut.empty() )
                    xml.scopedElement( "system-out" ).writeText( trim( sectionNode.stdOut ), false );
                if( !sectionNode.stdErr.empty() )
                    xml.scopedElement( "system-err" ).writeText( trim( sectionNode.stdErr ), false );
            }
            for( SectionNode::ChildSections::const_iterator
                    it = sectionNode.childSections.begin(),
                    itEnd = sectionNode.childSections.end();
                    it != itEnd;
                    ++it )
                if( className.empty() )
                    writeSection( name, "", **it );
                else
                    writeSection( className, name, **it );
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rcx, %r15
movq %rdx, %r12
movq %rsi, 0x50(%rsp)
movq %rdi, 0x58(%rsp)
leaq 0x18(%rcx), %rsi
leaq 0x68(%rsp), %rdi
callq 0xfc3a
movq 0x8(%r12), %rdx
testq %rdx, %rdx
je 0x2d154
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%r12), %rsi
addq %rsi, %rdx
leaq 0x30(%rsp), %rdi
callq 0x319ec
leaq 0x178d8(%rip), %rsi     # 0x4498a
leaq 0x30(%rsp), %rdi
callq 0xb8b0
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
leaq 0x30(%rsp), %rdi
callq 0xb110
leaq 0x18(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2d0f7
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x2d0fd
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %r12
movq %rdx, 0x8(%r12)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x68(%rsp), %rdi
movq %r12, %rsi
callq 0xb590
movq (%r12), %rdi
cmpq %rbx, %rdi
je 0x2d13d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0x2d154
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0xc0(%r15), %rax
cmpq 0xc8(%r15), %rax
jne 0x2d17c
cmpq $0x0, 0xe0(%r15)
jne 0x2d17c
cmpq $0x0, 0x100(%r15)
je 0x2d4af
leaq 0x18(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x187dc(%rip), %rsi     # 0x45968
leaq 0x187dd(%rip), %rdx     # 0x45970
leaq 0x8(%rsp), %rdi
callq 0x31a82
movq 0x58(%rsp), %rax
leaq 0xc8(%rax), %r12
movq %r12, 0x60(%rsp)
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x2c086
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d1d2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x50(%rsp), %rax
cmpq $0x0, 0x8(%rax)
je 0x2d251
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x18784(%rip), %rsi     # 0x45971
leaq 0x18786(%rip), %rdx     # 0x4597a
callq 0x31a82
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
movq 0x50(%rsp), %rdx
callq 0x2c138
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d222
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x17cdd(%rip), %rsi     # 0x44f0e
leaq 0x17cda(%rip), %rdx     # 0x44f12
callq 0x31a82
leaq 0x8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
movq %r12, %rdi
callq 0x2c138
jmp 0x2d2c4
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x18711(%rip), %rsi     # 0x45971
leaq 0x18713(%rip), %rdx     # 0x4597a
callq 0x31a82
leaq 0x8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
movq %r12, %rdi
callq 0x2c138
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d295
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x17c6a(%rip), %rsi     # 0x44f0e
leaq 0x17c67(%rip), %rdx     # 0x44f12
callq 0x31a82
leaq 0x186c4(%rip), %rdx     # 0x4597b
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x2d684
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d2db
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x18040(%rip), %rsi     # 0x4532a
leaq 0x1803d(%rip), %rdx     # 0x4532e
callq 0x31a82
movsd 0x98(%r15), %xmm0
leaq 0x30(%rsp), %rdi
movl $0xa, %esi
callq 0x15467
leaq 0x8(%rsp), %rsi
leaq 0x30(%rsp), %rdx
movq %r12, %rdi
callq 0x2c138
leaq 0x40(%rsp), %rbp
movq -0x10(%rbp), %rdi
cmpq %rbp, %rdi
je 0x2d33b
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d352
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq 0xc0(%r15), %r13
movq 0xc8(%r15), %rbx
cmpq %rbx, %r13
je 0x2d37b
movq 0x58(%rsp), %rdi
movq %r13, %rsi
callq 0x2d772
addq $0x108, %r13            # imm = 0x108
jmp 0x2d360
cmpq $0x0, 0xe0(%r15)
je 0x2d410
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x18552(%rip), %rsi     # 0x458ea
leaq 0x18555(%rip), %rdx     # 0x458f4
callq 0x31a82
movq %r12, 0x28(%rsp)
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x2c086
leaq 0xd8(%r15), %rsi
leaq 0x30(%rsp), %rdi
callq 0xfc3a
movq 0x28(%rsp), %rdi
leaq 0x30(%rsp), %rsi
xorl %edx, %edx
callq 0x2c52a
movq 0x30(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2d3ef
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x28(%rsp), %rdi
callq 0x2c39c
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d410
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
cmpq $0x0, 0x100(%r15)
je 0x2d4a5
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x184c8(%rip), %rsi     # 0x458f5
leaq 0x184cb(%rip), %rdx     # 0x458ff
callq 0x31a82
movq %r12, 0x28(%rsp)
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x2c086
leaq 0xf8(%r15), %rsi
leaq 0x30(%rsp), %rdi
callq 0xfc3a
movq 0x28(%rsp), %rdi
leaq 0x30(%rsp), %rsi
xorl %edx, %edx
callq 0x2c52a
movq 0x30(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2d484
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x28(%rsp), %rdi
callq 0x2c39c
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d4a5
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
leaq 0x60(%rsp), %rdi
callq 0x2c39c
movq 0xa8(%r15), %rbp
movq 0xb0(%r15), %rbx
cmpq %rbx, %rbp
movq 0x50(%rsp), %rsi
je 0x2d543
leaq 0x18(%rsp), %r14
leaq 0x1850e(%rip), %r15     # 0x459e1
leaq 0x8(%rsp), %r12
leaq 0x68(%rsp), %r13
cmpq $0x0, 0x8(%rsi)
je 0x2d4f7
movq (%rbp), %rcx
movq 0x58(%rsp), %rdi
movq %r13, %rdx
callq 0x2d054
jmp 0x2d535
movq %r14, 0x8(%rsp)
movq %r12, %rdi
movq %r15, %rsi
movq %r15, %rdx
callq 0x31a82
movq (%rbp), %rcx
movq 0x58(%rsp), %rdi
movq %r13, %rsi
movq %r12, %rdx
callq 0x2d054
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d535
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
addq $0x8, %rbp
cmpq %rbx, %rbp
movq 0x50(%rsp), %rsi
jne 0x2d4dd
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2d55e
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xb4a0
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2d5e9
jmp 0x2d64e
jmp 0x2d5e9
jmp 0x2d64e
jmp 0x2d584
jmp 0x2d5a7
jmp 0x2d5a7
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2d5aa
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x2d5aa
jmp 0x2d64e
jmp 0x2d5a7
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x2c39c
jmp 0x2d5ec
jmp 0x2d64e
jmp 0x2d5e9
jmp 0x2d64e
jmp 0x2d5e9
jmp 0x2d64e
movq %rax, %rbx
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2d5ec
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x2d5ec
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d651
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x2d651
jmp 0x2d64e
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x2c39c
jmp 0x2d635
jmp 0x2d65d
jmp 0x2d61a
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0x2d660
movq 0x40(%rsp), %rsi
jmp 0x2d644
jmp 0x2d65d
jmp 0x2d65d
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2d660
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb4a0
jmp 0x2d660
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x2c39c
jmp 0x2d660
movq %rax, %rbx
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2d67b
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xb4a0
movq %rbx, %rdi
callq 0xb820
nop