// File: /workspace/github_cpp_makefile_star2_O1/halfflat[P]tinyopt/test/googletest/googletest/src/gtest.cc
// Function: testing::internal::InsertSyntheticTestCase(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, testing::internal::CodeLocation, bool)
void InsertSyntheticTestCase(const std::string& name, CodeLocation location,
                             bool has_test_p) {
  const auto& ignored = *GetIgnoredParameterizedTestSuites();
  if (ignored.find(name) != ignored.end()) return;

  const char kMissingInstantiation[] =  //
      " is defined via TEST_P, but never instantiated. None of the test "
      "cases "
      "will run. Either no INSTANTIATE_TEST_SUITE_P is provided or the only "
      "ones provided expand to nothing."
      "\n\n"
      "Ideally, TEST_P definitions should only ever be included as part of "
      "binaries that intend to use them. (As opposed to, for example, being "
      "placed in a library that may be linked in to get other utilities.)";

  const char kMissingTestCase[] =  //
      " is instantiated via INSTANTIATE_TEST_SUITE_P, but no tests are "
      "defined via TEST_P . No test cases will run."
      "\n\n"
      "Ideally, INSTANTIATE_TEST_SUITE_P should only ever be invoked from "
      "code that always depend on code that provides TEST_P. Failing to do "
      "so is often an indication of dead code, e.g. the last TEST_P was "
      "removed but the rest got left behind.";

  std::string message =
      "Parameterized test suite " + name +
      (has_test_p ? kMissingInstantiation : kMissingTestCase) +
      "\n\n"
      "To suppress this error for this test suite, insert the following line "
      "(in a non-header) in the namespace it is defined in:"
      "\n\n"
      "GTEST_ALLOW_UNINSTANTIATED_PARAMETERIZED_TEST(" +
      name + ");";

  std::string full_name = "UninstantiatedParameterizedTestSuite<" + name + ">";
  RegisterTest(  //
      "GoogleTestVerification", full_name.c_str(),
      nullptr,  // No type parameter.
      nullptr,  // No value parameter.
      location.file.c_str(), location.line, [message, location] {
        return new FailureTest(location, message,
                               kErrorOnUninstantiatedParameterizedTest);
      });
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x428, %rsp            # imm = 0x428
movl %edx, %ebp
movq %rsi, %rbx
movq %rdi, %r14
callq 0x4a8ea
movq 0x4ba5e(%rip), %r15     # 0x969e0
leaq 0x130(%r15), %rdi
movq %r14, %rsi
callq 0x6af12
addq $0x138, %r15            # imm = 0x138
cmpq %r15, %rax
jne 0x4b584
leaq 0x2a848(%rip), %rsi     # 0x757f0
leaq 0x2a0(%rsp), %r15
movl $0x17a, %edx            # imm = 0x17A
movq %r15, %rdi
callq 0xd410
leaq 0x2a9ac(%rip), %rsi     # 0x75970
leaq 0x140(%rsp), %r12
movl $0x15c, %edx            # imm = 0x15C
movq %r12, %rdi
callq 0xd410
leaq 0x287fb(%rip), %rsi     # 0x737db
leaq 0x90(%rsp), %r13
movq %r13, %rdi
movq %r14, %rdx
callq 0x2198f
testb %bpl, %bpl
cmovneq %r15, %r12
movq %r13, %rdi
movq %r12, %rsi
callq 0xdb40
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4b02c
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x4b033
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x28980(%rip), %rsi     # 0x739d6
callq 0xdb40
leaq 0xc0(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4b08c
movq %rdx, 0xb0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xc0(%rsp)
jmp 0x4b094
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq 0xb0(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
callq 0xd180
leaq 0x58(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4b0e6
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
jmp 0x4b0ee
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq 0x48(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x286e4(%rip), %rsi     # 0x737f5
callq 0xdb40
leaq 0x130(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4b146
movq %rdx, 0x120(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x130(%rsp)
jmp 0x4b14c
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x128(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x4b17e
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0xb0(%rsp), %rdi
cmpq %r12, %rdi
je 0x4b19b
movq 0xc0(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x4b1b2
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0xa0(%rsp), %r15
movq -0x10(%r15), %rdi
cmpq %r15, %rdi
je 0x4b1d3
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x2861e(%rip), %rsi     # 0x737f8
leaq 0x48(%rsp), %rdi
movq %r14, %rdx
callq 0x2198f
leaq 0x29313(%rip), %rsi     # 0x74501
leaq 0x48(%rsp), %rdi
callq 0xdb40
movq %r15, 0x90(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4b224
movq %rdx, 0x90(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xa0(%rsp)
jmp 0x4b22b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x98(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x4b25d
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x90(%rsp), %r14
movq (%rbx), %r15
movl 0x20(%rbx), %ebp
leaq 0xe8(%rsp), %rax
movq %rax, -0x10(%rax)
movq 0x120(%rsp), %rsi
movq 0x128(%rsp), %rdx
addq %rsi, %rdx
leaq 0xd8(%rsp), %rdi
callq 0x155e4
leaq 0xf8(%rsp), %rdi
leaq 0x108(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
callq 0x155e4
movl 0x20(%rbx), %eax
movl %eax, 0x118(%rsp)
leaq 0x28(%rsp), %rdi
leaq 0x27(%rsp), %rdx
movq %r15, %rsi
callq 0x208e8
leaq 0xb0(%rsp), %rdi
leaq 0xc0(%rsp), %rax
movq %rax, (%rdi)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
addq %rsi, %rdx
callq 0x155e4
movl %ebp, 0xd0(%rsp)
movl $0x50, %edi
callq 0xd500
movq %r13, 0x48(%rsp)
movq 0xd8(%rsp), %rcx
leaq 0xe8(%rsp), %r15
cmpq %r15, %rcx
je 0x4b33b
movq %rcx, 0x48(%rsp)
movq 0xe8(%rsp), %rcx
movq %rcx, 0x58(%rsp)
jmp 0x4b344
movups (%r15), %xmm0
movups %xmm0, (%r13)
movq 0xe0(%rsp), %rcx
movq 0xf8(%rsp), %rdx
leaq 0x78(%rsp), %rbx
movq %rcx, -0x28(%rbx)
movq %r15, 0xd8(%rsp)
movq $0x0, 0xe0(%rsp)
movb $0x0, 0xe8(%rsp)
movq %rbx, -0x10(%rbx)
cmpq %r12, %rdx
je 0x4b396
movq %rdx, 0x68(%rsp)
movq 0x108(%rsp), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x4b39e
movups (%r12), %xmm0
movups %xmm0, (%rbx)
movq 0x100(%rsp), %rdx
movq %rdx, 0x70(%rsp)
movq %r12, 0xf8(%rsp)
movq $0x0, 0x100(%rsp)
movb $0x0, 0x108(%rsp)
movl 0x118(%rsp), %esi
movl %esi, 0x88(%rsp)
leaq 0x4a254(%rip), %rdi     # 0x95630
movq %rdi, (%rax)
leaq 0x18(%rax), %rdi
movq %rdi, 0x8(%rax)
movq 0x48(%rsp), %r8
cmpq %r13, %r8
je 0x4b400
movq %r8, 0x8(%rax)
movq 0x58(%rsp), %rdi
movq %rdi, 0x18(%rax)
jmp 0x4b408
movups (%r13), %xmm0
movups %xmm0, (%rdi)
movq %rcx, 0x10(%rax)
movq %r13, 0x48(%rsp)
movq $0x0, 0x50(%rsp)
movb $0x0, 0x58(%rsp)
movq %rax, %rcx
addq $0x38, %rcx
movq %rcx, 0x28(%rax)
movq 0x68(%rsp), %rdi
cmpq %rbx, %rdi
je 0x4b443
movq %rdi, 0x28(%rax)
movq 0x78(%rsp), %rcx
movq %rcx, 0x38(%rax)
jmp 0x4b449
movups (%rbx), %xmm0
movups %xmm0, (%rcx)
movq %rdx, 0x30(%rax)
movq %rbx, 0x68(%rsp)
movq $0x0, 0x70(%rsp)
movb $0x0, 0x78(%rsp)
movl %esi, 0x48(%rax)
movq %rax, 0x10(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, (%rsp)
leaq 0x283a8(%rip), %rdi     # 0x7381e
leaq 0x4b593(%rip), %r9      # 0x96a10
leaq 0xb0(%rsp), %r8
movq %r14, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0x52594
movq 0x68(%rsp), %rdi
cmpq %rbx, %rdi
je 0x4b4a8
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x4b4bf
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0xb0(%rsp), %rdi
leaq 0xc0(%rsp), %rax
cmpq %rax, %rdi
je 0x4b4e4
movq 0xc0(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x4b500
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0xf8(%rsp), %rdi
cmpq %r12, %rdi
je 0x4b51d
movq 0x108(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0xd8(%rsp), %rdi
cmpq %r15, %rdi
leaq 0xa0(%rsp), %rbx
je 0x4b542
movq 0xe8(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x90(%rsp), %rdi
cmpq %rbx, %rdi
je 0x4b55f
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x120(%rsp), %rdi
leaq 0x130(%rsp), %rax
cmpq %rax, %rdi
je 0x4b584
movq 0x130(%rsp), %rsi
incq %rsi
callq 0xd530
addq $0x428, %rsp            # imm = 0x428
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0x4b716
jmp 0x4b5a8
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
leaq 0xc0(%rsp), %rax
cmpq %rax, %rdi
je 0x4b5d2
movq 0xc0(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x4b5d2
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x4b5f3
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x4b5f3
movq %rax, %rbx
leaq 0xd8(%rsp), %rdi
callq 0x4b716
jmp 0x4b62f
movq %rax, %rbx
movq 0xd8(%rsp), %rdi
leaq 0xe8(%rsp), %rax
cmpq %rax, %rdi
je 0x4b62f
movq 0xe8(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x4b62f
movq %rax, %rbx
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x4b66d
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x4b66d
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x4b66d
movq 0x58(%rsp), %rsi
jmp 0x4b64c
movq %rax, %rbx
movq 0x120(%rsp), %rdi
leaq 0x130(%rsp), %rax
cmpq %rax, %rdi
je 0x4b70e
movq 0x130(%rsp), %rsi
jmp 0x4b706
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x4b6af
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x4b6af
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
cmpq %r12, %rdi
je 0x4b6d1
movq 0xc0(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x4b6d1
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x4b6ed
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x4b6ed
movq %rax, %rbx
leaq 0xa0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4b70e
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
callq 0xda70