// File: /workspace/github_cpp_makefile_star2_O1/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 0x1cad5(%rip), %rsi     # 0x74429
movl $0xc, %edx
callq 0xd600
leaq 0x50(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1cabe(%rip), %rsi     # 0x7442c
leaq 0x1cac0(%rip), %rdx     # 0x74435
leaq 0x40(%rsp), %rdi
callq 0x15892
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x1cb07(%rip), %rsi     # 0x74497
leaq 0x1cb04(%rip), %rdx     # 0x7449b
leaq 0x20(%rsp), %rdi
callq 0x15892
leaq 0x10(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1ca85(%rip), %rsi     # 0x74436
leaq 0x1ca91(%rip), %rdx     # 0x74449
movq %rsp, %rdi
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x579eb
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57a02
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57a19
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1ca04(%rip), %rsi     # 0x7442c
leaq 0x1ca06(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1bb75(%rip), %rsi     # 0x735b8
leaq 0x1bb73(%rip), %rdx     # 0x735bd
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x18573(%rip), %rsi     # 0x6ffcf
leaq 0x1856d(%rip), %rdx     # 0x6ffd0
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57a93
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57aaa
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57ac1
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c95c(%rip), %rsi     # 0x7442c
leaq 0x1c95e(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1d400(%rip), %rsi     # 0x74eeb
leaq 0x1d401(%rip), %rdx     # 0x74ef3
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x184cb(%rip), %rsi     # 0x6ffcf
leaq 0x184c5(%rip), %rdx     # 0x6ffd0
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57b3b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57b52
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57b69
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c8b4(%rip), %rsi     # 0x7442c
leaq 0x1c8b6(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c8b7(%rip), %rsi     # 0x7444a
leaq 0x1c8b8(%rip), %rdx     # 0x74452
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1d14c(%rip), %rsi     # 0x74cf8
leaq 0x1d146(%rip), %rdx     # 0x74cf9
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57be3
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57bfa
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57c11
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c80c(%rip), %rsi     # 0x7442c
leaq 0x1c80e(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c818(%rip), %rsi     # 0x74453
leaq 0x1c818(%rip), %rdx     # 0x7445a
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1d0a4(%rip), %rsi     # 0x74cf8
leaq 0x1d09e(%rip), %rdx     # 0x74cf9
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57c8b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57ca2
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57cb9
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c764(%rip), %rsi     # 0x7442c
leaq 0x1c766(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c778(%rip), %rsi     # 0x7445b
leaq 0x1c777(%rip), %rdx     # 0x74461
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1cffc(%rip), %rsi     # 0x74cf8
leaq 0x1cff6(%rip), %rdx     # 0x74cf9
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57d33
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57d4a
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57d61
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c6bc(%rip), %rsi     # 0x7442c
leaq 0x1c6be(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1b893(%rip), %rsi     # 0x7361e
leaq 0x1b890(%rip), %rdx     # 0x73622
callq 0x15892
movq 0x78(%r14), %rsi
movq %rsp, %rdi
callq 0x56733
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57dce
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57de5
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57dfc
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c621(%rip), %rsi     # 0x7442c
leaq 0x1c623(%rip), %rdx     # 0x74435
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c63c(%rip), %rsi     # 0x74462
leaq 0x1c63e(%rip), %rdx     # 0x7446b
callq 0x15892
movq 0x70(%r14), %rsi
movq %rsp, %rdi
callq 0x56887
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57e69
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57e80
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57e97
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x1c663(%rip), %rsi     # 0x74501
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x1c5ba(%rip), %rsi     # 0x7446c
movl $0xd, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c5a3(%rip), %rsi     # 0x74471
leaq 0x1c5a4(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c5ae(%rip), %rsi     # 0x74497
leaq 0x1c5ab(%rip), %rdx     # 0x7449b
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x190f6(%rip), %rdx     # 0x70ff8
movq %rdx, %rsi
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57f35
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57f4c
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x57f63
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c4ff(%rip), %rsi     # 0x74471
leaq 0x1c500(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c4ed(%rip), %rsi     # 0x7447a
leaq 0x1c4ec(%rip), %rdx     # 0x74480
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1c52a(%rip), %rsi     # 0x744d0
leaq 0x1c526(%rip), %rdx     # 0x744d3
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x57fdd
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x57ff4
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x5800b
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c457(%rip), %rsi     # 0x74471
leaq 0x1c458(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c44c(%rip), %rsi     # 0x74481
leaq 0x1c44b(%rip), %rdx     # 0x74487
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x1c43a(%rip), %rsi     # 0x74488
leaq 0x1c43c(%rip), %rdx     # 0x74491
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x58085
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x5809c
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x580b3
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c3af(%rip), %rsi     # 0x74471
leaq 0x1c3b0(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c3b5(%rip), %rsi     # 0x74492
leaq 0x1c3b7(%rip), %rdx     # 0x7449b
callq 0x15892
movq %rsp, %rdi
movq %r13, (%rdi)
leaq 0x18f02(%rip), %rdx     # 0x70ff8
movq %rdx, %rsi
callq 0x15892
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x58129
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x58140
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x58157
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c30b(%rip), %rsi     # 0x74471
leaq 0x1c30c(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1b49d(%rip), %rsi     # 0x7361e
leaq 0x1b49a(%rip), %rdx     # 0x73622
callq 0x15892
movq 0x78(%r14), %rsi
movq %rsp, %rdi
callq 0x56733
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x581c4
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x581db
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x581f2
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x40(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x1c270(%rip), %rsi     # 0x74471
leaq 0x1c271(%rip), %rdx     # 0x74479
callq 0x15892
leaq 0x20(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x1c246(%rip), %rsi     # 0x74462
leaq 0x1c248(%rip), %rdx     # 0x7446b
callq 0x15892
movq 0x70(%r14), %rsi
movq %rsp, %rdi
callq 0x56887
leaq 0x40(%rsp), %rsi
leaq 0x20(%rsp), %rdx
movq %rsp, %rcx
movq %rbx, %rdi
callq 0x5763a
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x5825f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x58276
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x5828d
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
movq %r14, %rsi
callq 0x583b4
leaq 0x1c1fd(%rip), %rsi     # 0x7449c
movl $0xf, %edx
movq %rbx, %rdi
callq 0xd600
addq $0x60, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
jmp 0x58355
jmp 0x58370
jmp 0x5838c
jmp 0x583a8
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x58373
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x58373
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x5838f
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x5838f
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x583ab
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x583ab
movq %rax, %rbx
movq %rbx, %rdi
callq 0xda70
nop