// File: /workspace/github_cpp_makefile_star2_O3/halfflat[P]tinyopt/test/googletest/googletest/src/gtest.cc
// Function: testing::internal::XmlUnitTestResultPrinter::OutputXmlTestSuiteForTestResult(std::ostream*, testing::TestResult const&)
void XmlUnitTestResultPrinter::OutputXmlTestSuiteForTestResult(
    ::std::ostream* stream, const TestResult& result) {
  // Output the boilerplate for a minimal test suite with one test.
  *stream << "  <testsuite";
  OutputXmlAttribute(stream, "testsuite", "name", "NonTestSuiteFailure");
  OutputXmlAttribute(stream, "testsuite", "tests", "1");
  OutputXmlAttribute(stream, "testsuite", "failures", "1");
  OutputXmlAttribute(stream, "testsuite", "disabled", "0");
  OutputXmlAttribute(stream, "testsuite", "skipped", "0");
  OutputXmlAttribute(stream, "testsuite", "errors", "0");
  OutputXmlAttribute(stream, "testsuite", "time",
                     FormatTimeInMillisAsSeconds(result.elapsed_time()));
  OutputXmlAttribute(
      stream, "testsuite", "timestamp",
      FormatEpochTimeInMillisAsIso8601(result.start_timestamp()));
  *stream << ">";

  // Output the boilerplate for a minimal test case with a single test.
  *stream << "    <testcase";
  OutputXmlAttribute(stream, "testcase", "name", "");
  OutputXmlAttribute(stream, "testcase", "status", "run");
  OutputXmlAttribute(stream, "testcase", "result", "completed");
  OutputXmlAttribute(stream, "testcase", "classname", "");
  OutputXmlAttribute(stream, "testcase", "time",
                     FormatTimeInMillisAsSeconds(result.elapsed_time()));
  OutputXmlAttribute(
      stream, "testcase", "timestamp",
      FormatEpochTimeInMillisAsIso8601(result.start_timestamp()));

  // Output the actual test result.
  OutputXmlTestResult(stream, result);

  // Complete the test suite.
  *stream << "  </testsuite>\n";
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x60, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x1c433(%rip), %rsi     # 0x72439
movl $0xc, %edx
callq 0xd600
leaq 0x50(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1c41c(%rip), %rsi     # 0x7243c
leaq 0x1c41e(%rip), %rdx     # 0x72445
leaq 0x40(%rsp), %rdi
callq 0x1558a
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x1c465(%rip), %rsi     # 0x724a7
leaq 0x1c462(%rip), %rdx     # 0x724ab
leaq 0x20(%rsp), %rdi
callq 0x1558a
leaq 0x10(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1c3e3(%rip), %rsi     # 0x72446
leaq 0x1c3ef(%rip), %rdx     # 0x72459
movq %rsp, %rdi
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x5609d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x560b4
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x560cb
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c362(%rip), %rsi     # 0x7243c
leaq 0x1c364(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1b4d3(%rip), %rsi     # 0x715c8
leaq 0x1b4d1(%rip), %rdx     # 0x715cd
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x17ea1(%rip), %rsi     # 0x6dfaf
leaq 0x17e9b(%rip), %rdx     # 0x6dfb0
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x56145
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x5615c
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x56173
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c2ba(%rip), %rsi     # 0x7243c
leaq 0x1c2bc(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1cd5e(%rip), %rsi     # 0x72efb
leaq 0x1cd5f(%rip), %rdx     # 0x72f03
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x17df9(%rip), %rsi     # 0x6dfaf
leaq 0x17df3(%rip), %rdx     # 0x6dfb0
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x561ed
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x56204
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x5621b
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c212(%rip), %rsi     # 0x7243c
leaq 0x1c214(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c215(%rip), %rsi     # 0x7245a
leaq 0x1c216(%rip), %rdx     # 0x72462
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1caaa(%rip), %rsi     # 0x72d08
leaq 0x1caa4(%rip), %rdx     # 0x72d09
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x56295
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x562ac
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x562c3
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c16a(%rip), %rsi     # 0x7243c
leaq 0x1c16c(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c176(%rip), %rsi     # 0x72463
leaq 0x1c176(%rip), %rdx     # 0x7246a
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1ca02(%rip), %rsi     # 0x72d08
leaq 0x1c9fc(%rip), %rdx     # 0x72d09
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x5633d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x56354
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x5636b
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c0c2(%rip), %rsi     # 0x7243c
leaq 0x1c0c4(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c0d6(%rip), %rsi     # 0x7246b
leaq 0x1c0d5(%rip), %rdx     # 0x72471
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1c95a(%rip), %rsi     # 0x72d08
leaq 0x1c954(%rip), %rdx     # 0x72d09
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x563e5
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x563fc
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x56413
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c01a(%rip), %rsi     # 0x7243c
leaq 0x1c01c(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1b1f1(%rip), %rsi     # 0x7162e
leaq 0x1b1ee(%rip), %rdx     # 0x71632
callq 0x1558a
movq 0x78(%r14), %rsi
movq %rsp, %rdi
callq 0x54dd6
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x56480
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x56497
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x564ae
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1bf7f(%rip), %rsi     # 0x7243c
leaq 0x1bf81(%rip), %rdx     # 0x72445
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1bf9a(%rip), %rsi     # 0x72472
leaq 0x1bf9c(%rip), %rdx     # 0x7247b
callq 0x1558a
movq 0x70(%r14), %rsi
movq %rsp, %rdi
callq 0x54f2a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x5651b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x56532
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x56549
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x1bfc1(%rip), %rsi     # 0x72511
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x1bf18(%rip), %rsi     # 0x7247c
movl $0xd, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1bf01(%rip), %rsi     # 0x72481
leaq 0x1bf02(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1bf0c(%rip), %rsi     # 0x724a7
leaq 0x1bf09(%rip), %rdx     # 0x724ab
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x18a21(%rip), %rdx     # 0x6efd5
movq %rdx, %rsi
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x565e7
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x565fe
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x56615
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1be5d(%rip), %rsi     # 0x72481
leaq 0x1be5e(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1be4b(%rip), %rsi     # 0x7248a
leaq 0x1be4a(%rip), %rdx     # 0x72490
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1be88(%rip), %rsi     # 0x724e0
leaq 0x1be84(%rip), %rdx     # 0x724e3
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x5668f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x566a6
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x566bd
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1bdb5(%rip), %rsi     # 0x72481
leaq 0x1bdb6(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1bdaa(%rip), %rsi     # 0x72491
leaq 0x1bda9(%rip), %rdx     # 0x72497
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1bd98(%rip), %rsi     # 0x72498
leaq 0x1bd9a(%rip), %rdx     # 0x724a1
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x56737
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x5674e
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x56765
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1bd0d(%rip), %rsi     # 0x72481
leaq 0x1bd0e(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1bd13(%rip), %rsi     # 0x724a2
leaq 0x1bd15(%rip), %rdx     # 0x724ab
callq 0x1558a
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1882d(%rip), %rdx     # 0x6efd5
movq %rdx, %rsi
callq 0x1558a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x567db
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x567f2
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x56809
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1bc69(%rip), %rsi     # 0x72481
leaq 0x1bc6a(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1adfb(%rip), %rsi     # 0x7162e
leaq 0x1adf8(%rip), %rdx     # 0x71632
callq 0x1558a
movq 0x78(%r14), %rsi
movq %rsp, %rdi
callq 0x54dd6
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x56876
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x5688d
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x568a4
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1bbce(%rip), %rsi     # 0x72481
leaq 0x1bbcf(%rip), %rdx     # 0x72489
callq 0x1558a
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1bba4(%rip), %rsi     # 0x72472
leaq 0x1bba6(%rip), %rdx     # 0x7247b
callq 0x1558a
movq 0x70(%r14), %rsi
movq %rsp, %rdi
callq 0x54f2a
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x55cee
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x56911
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x56928
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x5693f
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
movq %r14, %rsi
callq 0x56a66
leaq 0x1bb5b(%rip), %rsi     # 0x724ac
movl $0xf, %edx
movq %rbx, %rdi
callq 0xd600
addq $0x60, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
jmp 0x56a07
jmp 0x56a22
jmp 0x56a3e
jmp 0x56a5a
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x56a25
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x56a25
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x56a41
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x56a41
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x56a5d
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x56a5d
movq %rax, %rbx
movq %rbx, %rdi
callq 0xda70
nop