// File: /workspace/github_cpp_makefile_star2_O3/halfflat[P]tinyopt/test/googletest/googletest/src/gtest.cc
// Function: testing::internal::JsonUnitTestResultPrinter::OutputJsonTestResult(std::ostream*, testing::TestResult const&)
void JsonUnitTestResultPrinter::OutputJsonTestResult(::std::ostream* stream,
                                                     const TestResult& result) {
  const std::string kIndent = Indent(10);

  int failures = 0;
  for (int i = 0; i < result.total_part_count(); ++i) {
    const TestPartResult& part = result.GetTestPartResult(i);
    if (part.failed()) {
      *stream << ",\n";
      if (++failures == 1) {
        *stream << kIndent << "\""
                << "failures"
                << "\": [\n";
      }
      const std::string location =
          internal::FormatCompilerIndependentFileLocation(part.file_name(),
                                                          part.line_number());
      const std::string message = EscapeJson(location + "\n" + part.message());
      *stream << kIndent << "  {\n"
              << kIndent << "    \"failure\": \"" << message << "\",\n"
              << kIndent << "    \"type\": \"\"\n"
              << kIndent << "  }";
    }
  }

  if (failures > 0) *stream << "\n" << kIndent << "]";
  *stream << "\n" << Indent(8) << "}";
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x8(%rsp), %rdi
movl $0xa, %esi
movl $0x20, %edx
callq 0xd630
movq 0x40(%r14), %rax
subq 0x38(%r14), %rax
shrq $0x4, %rax
imull $0xb6db6db7, %eax, %eax # imm = 0xB6DB6DB7
testl %eax, %eax
jle 0x5b2a0
xorl %r13d, %r13d
xorl %r12d, %r12d
movq %r14, %rdi
movl %r12d, %esi
callq 0x4f8c0
movq %rax, %rbp
movl (%rax), %eax
decl %eax
cmpl $0x1, %eax
ja 0x5b23e
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x1768d(%rip), %rsi     # 0x72673
callq 0xd600
testl %r13d, %r13d
jne 0x5b041
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x1765c(%rip), %rsi     # 0x72670
callq 0xd600
movl $0x8, %edx
movq %r15, %rdi
leaq 0x17ed3(%rip), %rsi     # 0x72efb
callq 0xd600
movl $0x5, %edx
movq %r15, %rdi
leaq 0x175f3(%rip), %rsi     # 0x7262f
callq 0xd600
movq 0x10(%rbp), %rsi
testq %rsi, %rsi
je 0x5b04e
movq 0x8(%rbp), %rsi
movl 0x28(%rbp), %edx
leaq 0x28(%rsp), %rdi
callq 0x46dff
leaq 0x58(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
addq %rsi, %rdx
leaq 0x48(%rsp), %r15
movq %r15, %rdi
callq 0x152da
movq %r15, %rdi
leaq 0x1403b(%rip), %rsi     # 0x6f0c4
callq 0xdb40
movq 0x50(%rbp), %rsi
movq %r15, %rdi
callq 0xdb40
leaq 0x78(%rsp), %rsi
movq %rsi, 0x68(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5b0c2
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x5b0c8
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x70(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x88(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x58c38
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x5b10e
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0x5b12a
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
movq %rax, %r15
movl $0x4, %edx
movq %rax, %rdi
leaq 0x1750e(%rip), %rsi     # 0x7265c
callq 0xd600
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0xd600
movq %rax, %r15
movl $0x10, %edx
movq %rax, %rdi
leaq 0x174ea(%rip), %rsi     # 0x72661
callq 0xd600
movq 0x88(%rsp), %rsi
movq 0x90(%rsp), %rdx
movq %r15, %rdi
callq 0xd600
movq %rax, %r15
movl $0x3, %edx
movq %rax, %rdi
leaq 0x174cc(%rip), %rsi     # 0x72672
callq 0xd600
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0xd600
movq %rax, %r15
movl $0xf, %edx
movq %rax, %rdi
leaq 0x174a7(%rip), %rsi     # 0x72676
callq 0xd600
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0xd600
movl $0x3, %edx
movq %rax, %rdi
leaq 0x17491(%rip), %rsi     # 0x72686
callq 0xd600
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x5b21f
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x5b23b
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
incl %r13d
movq 0x40(%r14), %rax
subq 0x38(%r14), %rax
incl %r12d
shrq $0x4, %rax
imull $0xb6db6db7, %eax, %eax # imm = 0xB6DB6DB7
cmpl %eax, %r12d
jl 0x5afbc
testl %r13d, %r13d
leaq 0x18(%rsp), %r15
jle 0x5b2a0
leaq 0x13e57(%rip), %rsi     # 0x6f0c4
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x1617d(%rip), %rsi     # 0x71410
movl $0x1, %edx
movq %rax, %rdi
callq 0xd600
leaq 0x13e1d(%rip), %rsi     # 0x6f0c4
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x38(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x28(%rsp), %rdi
movl $0x8, %esi
movl $0x20, %edx
callq 0xd630
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x1739e(%rip), %rsi     # 0x72688
movl $0x1, %edx
movq %rax, %rdi
callq 0xd600
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0x5b30e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x5b325
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x5b34f
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
jne 0x5b3e0
jmp 0x5b3ed
movq %rax, %rbx
jmp 0x5b3ed
movq %rax, %rbx
jmp 0x5b3cc
jmp 0x5b360
jmp 0x5b39a
movq %rax, %rbx
jmp 0x5b384
movq %rax, %rbx
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x5b384
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0x5b3cc
movq 0x58(%rsp), %rsi
jmp 0x5b3c4
movq %rax, %rbx
leaq 0x18(%rsp), %r15
jmp 0x5b3ed
movq %rax, %rbx
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x5b3cc
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x18(%rsp), %r15
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x5b3ed
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x5b404
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
callq 0xda70