// File: /workspace/github_cpp_makefile_star2_O1/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 0x5cbde
xorl %r13d, %r13d
xorl %r12d, %r12d
movq %r14, %rdi
movl %r12d, %esi
callq 0x51124
movq %rax, %rbp
movl (%rax), %eax
decl %eax
cmpl $0x1, %eax
ja 0x5cb7c
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x17d3f(%rip), %rsi     # 0x74663
callq 0xd600
testl %r13d, %r13d
jne 0x5c97f
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
movq %rax, %r15
movl $0x1, %edx
movq %rax, %rdi
leaq 0x17d0e(%rip), %rsi     # 0x74660
callq 0xd600
movl $0x8, %edx
movq %r15, %rdi
leaq 0x18585(%rip), %rsi     # 0x74eeb
callq 0xd600
movl $0x5, %edx
movq %r15, %rdi
leaq 0x17ca5(%rip), %rsi     # 0x7461f
callq 0xd600
movq 0x10(%rbp), %rsi
testq %rsi, %rsi
je 0x5c98c
movq 0x8(%rbp), %rsi
movl 0x28(%rbp), %edx
leaq 0x28(%rsp), %rdi
callq 0x4858e
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 0x155e4
movq %r15, %rdi
leaq 0x14720(%rip), %rsi     # 0x710e7
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 0x5ca00
movq %rdx, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x5ca06
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 0x5a586
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x5ca4c
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0x5ca68
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 0x17bc0(%rip), %rsi     # 0x7464c
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 0x17b9c(%rip), %rsi     # 0x74651
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 0x17b7e(%rip), %rsi     # 0x74662
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 0x17b59(%rip), %rsi     # 0x74666
callq 0xd600
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0xd600
movl $0x3, %edx
movq %rax, %rdi
leaq 0x17b43(%rip), %rsi     # 0x74676
callq 0xd600
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x5cb5d
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x5cb79
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 0x5c8fa
testl %r13d, %r13d
leaq 0x18(%rsp), %r15
jle 0x5cbde
leaq 0x1453c(%rip), %rsi     # 0x710e7
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x1682f(%rip), %rsi     # 0x73400
movl $0x1, %edx
movq %rax, %rdi
callq 0xd600
leaq 0x14502(%rip), %rsi     # 0x710e7
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 0x17a50(%rip), %rsi     # 0x74678
movl $0x1, %edx
movq %rax, %rdi
callq 0xd600
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0x5cc4c
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x5cc63
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 0x5cc8d
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
jne 0x5cd1e
jmp 0x5cd2b
movq %rax, %rbx
jmp 0x5cd2b
movq %rax, %rbx
jmp 0x5cd0a
jmp 0x5cc9e
jmp 0x5ccd8
movq %rax, %rbx
jmp 0x5ccc2
movq %rax, %rbx
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x5ccc2
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0x5cd0a
movq 0x58(%rsp), %rsi
jmp 0x5cd02
movq %rax, %rbx
leaq 0x18(%rsp), %r15
jmp 0x5cd2b
movq %rax, %rbx
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x5cd0a
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x18(%rsp), %r15
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x5cd2b
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x5cd42
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
callq 0xda70